Jerry Wang gave a nice talk this week on his generalization of Manjul’s work on pointless hyperelliptic curves to hyperelliptic curves with no points over any field of odd degree (equivalently, is pointless). This work (link here) is joint with Manjul and Dick, so the exposition is predictably of high quality. But I wanted to mention a result that arose during the talk which I found quite intriguing. Namely, given the intersection of two quadrics and in projective (2n+1)space, the variety of projective nspaces passing through turns out (over the complex numbers) to be an abelian variety. For this is pretty familiar, but, for general , I hadn’t seen any construction like this before. It gives, for example, explicit constructions of equations for abelian varieties in surprisingly low degree. It brought me back to a lecture I once went to by Beauville as a graduate student when he talked about intermediate Jacobians (wait – perhaps this construction also has to be isomorphic to an intermediate Jacobian…). Is it possible (in some weak sense) to classify all varieties whose variety of maximal linear subspaces is an abelian variety of suitably high dimension? Are there varieties in which this construction gives rise to abelian varieties which are not isogenous to Jacobians? The geometric result is due (independently) to several authors, but, in a solo paper here, Jerry showed that the result is true arithmetically, and, even better, the construction can more precisely be described as giving an explicit torsor for the corresponding Jacobian. This very nicely generalizes the classical picture between pairs of quadrics and 2 and 4descent.

Recent Posts
Categories
Blogroll
Recent Comments
voloch on Virtual coherent cohomology JC on Return to Northwestern Me versus Magnus  P… on What is my Kasparov Numbe… Preston on Pseudorepresentations and the… Kevin on Pseudorepresentations and the… galoisrepresentation… on Erdős Number 3! galoisrepresentation… on Erdős Number 3! Kevin on Erdős Number 3! Akshay Venkatesh on Erdős Number 3! TG on Erdős Number 3! Archives
 April 2017
 March 2017
 February 2017
 January 2017
 December 2016
 November 2016
 October 2016
 August 2016
 June 2016
 May 2016
 April 2016
 March 2016
 October 2015
 September 2015
 August 2015
 July 2015
 June 2015
 May 2015
 April 2015
 March 2015
 February 2015
 January 2015
 December 2014
 November 2014
 October 2014
 September 2014
 August 2014
 July 2014
 June 2014
 May 2014
 April 2014
 March 2014
 February 2014
 January 2014
 December 2013
 November 2013
 October 2013
 September 2013
 August 2013
 July 2013
 June 2013
 May 2013
 April 2013
 March 2013
 February 2013
 January 2013
 December 2012
 November 2012
 October 2012
 Agol Akshay Venkatesh andras schiff Bach Barry Mazur Bergeron Borel Bourgeois Pig Buzzard Chess Class Number Problem Coffee Coleman completed cohomology cricket CSO cyclotomic integers David Geraghty Deligne Ellenberg Elsevier Emerton Fargues Fermat Fred Diamond Fred Diamond's Beard Galois Representations Gauss Gee George Boxer Geraghty Glenn Gould Gowers Gross Grothendieck Hida Hilbert modular forms Intelligentsia Inverse Galois Problem Joel Specter John Voight Jordan Ellenberg Ktheory KaiWen Kevin Buzzard Langlands Leopoldt Conjecture Matthew Emerton Michael Harris MO modular forms MSRI Music Nonsense Ouroboros Peter Scholze Poonen Puzzle Richard Moy RLT Schaeffer Schoenberg Scholze Schubert Serre Soule subfactors Tate Thorne Toby Gee torsion Venkatesh Weinstein Zagier Zywina
Meta
Dear Persiflage,
I cannot resist mentioning my favorite example of this kind of construction, which relates to smooth hyperplane sections H of G(4,8). H has dimension 15; it has primitive cohomology only in the middle degree, which gives a Hodge structure of dimension 6 and level 1. Thus the intermediate Jacobian is a PPAV.
Over the complex numbers, the PPAV which arise this way are exactly the Jacobians of the nonhyperelliptic curves X of genus 3. What about over a general field K of characteristic zero? Then the Jacobian of X arises from a Krational hyperplane section exactly when the curve X has a Krational flex in the canonical embedding.
The variety of P^n1’s in X is indeed an intermediate Jacobian – see e.g. this nice paper: http://archive.numdam.org/article/ASNSP_1980_4_7_2_217_0.pdf