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
Archives
 June 2017
 May 2017
 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
 Akshay Venkatesh Ana Caraiani andras schiff Andrew Wiles Bach Bao Le Hung Barry Mazur BLGGT Borel Bourgeois Pig Chess Class Number Problem Coffee completed cohomology cricket CSO cyclotomic integers David Geraghty David Zywina Deligne Dick Gross Elsevier Fermat Fred Diamond Fred Diamond's Beard Galois Representations Gauss George Boxer Glenn Gould Gowers Grothendieck Harvard Hilbert modular forms Ian Agol Intelligentsia Inverse Galois Problem Jack Thorne James Newton Jared Weinstein Joel Specter John Voight Jordan Ellenberg Ktheory KaiWen Lan Ken Ribet Kevin Buzzard Langlands Leopoldt Conjecture Mark Kisin Matthew Emerton Michael Harris MO modular forms Modularity MSRI Music Nonsense Ouroboros Perfectoid Spaces Peter Scholze Puzzle Richard Moy RLT Robert Coleman Schoenberg Schubert Serre subfactors Tate Third Wave Coffee Tilting Toby Gee torsion Vytas Paskunas Zagier
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