On the height constant for curves of genus two
This is an extended version of an invited lecture I gave at the Journées Arithmétiques in St. Étienne in July 2009. We discuss the state of the art regarding the problem of finding the set of rational points on a (smooth projective) geometrically integral curve over . The focus is on practical aspects of this problem in the case that the genus of is at least , and therefore the set of rational points is finite.
For any abelian variety J over a global field k and an isogeny ϕ: J → J, the Selmer group is a subgroup of the Galois cohomology group , defined in terms of local data. When J is the Jacobian of a cyclic cover of ℙ¹ of prime degree p, the Selmer group has a quotient by a subgroup of order at most p that is isomorphic to the ‘fake Selmer group’, whose definition is more amenable to explicit computations. In this paper we define in the same setting the ‘explicit Selmer group’, which is isomorphic...
Page 1