Rational points on a subanalytic surface
Let be a compact subanalytic surface. This paper shows that, in a suitable sense, there are very few rational points of that do not lie on some connected semialgebraic curve contained in .
Let be a compact subanalytic surface. This paper shows that, in a suitable sense, there are very few rational points of that do not lie on some connected semialgebraic curve contained in .
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.
The rational points on in the case where is a composite number are considered. A computational study of some of the cases not covered by the results of Momose is given. Exceptional rational points are found in the cases and and the -invariants of the corresponding quadratic -curves are exhibited.
Let p be a prime greater than 3. Consider the modular curve X₀(3p) over ℚ and its Jacobian variety J₀(3p) over ℚ. Let (3p) and (3p) be the group of rational torsion points on J₀(3p) and the cuspidal group of J₀(3p), respectively. We prove that the 3-primary subgroups of (3p) and (3p) coincide unless p ≡ 1 (mod 9) and .