Abstract

We prove that the average size of the 3-Selmer group of a genus-2 curve with a marked Weierstrass point is 4.

Highlights

  • We prove that the average size of the 3-Selmer group of a genus-2 curve with a marked Weierstrass point is 4

  • In the paper [2], Bhargava and Gross calculated the average size of the 2-Selmer group of the Jacobian of an odd hyperelliptic curve of fixed genus g 2 using a connection with the arithmetic invariant theory of a graded Lie algebra; more precisely, the Z/2Z-graded Lie algebra arising from the element −1 of the automorphism group of a type-A2g root lattice

  • We exploit the stable Z/3Z-grading of a Lie algebra of type E8 in order to study the 3-Selmer groups of odd genus-2 curves

Read more

Summary

Context and method of proof

In the paper [2], Bhargava and Gross calculated the average size of the 2-Selmer group of the Jacobian of an odd hyperelliptic curve of fixed genus g 2 using a connection with the arithmetic invariant theory of a graded Lie algebra; more precisely, the Z/2Z-graded Lie algebra arising from the element −1 of the automorphism group of a type-A2g root lattice. We exploit the stable Z/3Z-grading of a Lie algebra of type E8 in order to study the 3-Selmer groups of odd genus-2 curves. Using an explicit construction of integral representatives in the square-free discriminant case, we extend the objects in this triple to the complement in Spec Zp[u] of finitely many closed points. The problem of constructing integral representatives can be viewed as the problem of showing that a graded analogue of an affine Springer fibre is non-empty From this point of view, attempting to deform the problem to a case where it can be solved directly is a natural strategy. We develop this technique here just in the case of the stable Z/3Z-grading of E8 and its relation to odd genus-2 curves, it is completely general.

Organisation of this paper
Notation
The E8 root lattice
Two stacks
Definition of the morphism
A stable grading of E8
Definition of the grading
Kostant section
Twisting
Spreading out
Measures
Constructing integral orbit representatives
The case of square-free discriminant
The general case
Complements
Counting points
Counting points with finitely many congruence conditions
Counting points with infinitely many congruence conditions
The main theorem

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.