Rational points on certain quintic hypersurfaces
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 .
Dans l’exposé Bourbaki 409, Katz conjecture la méromorphie -adique de la fonction attachée à une variété lisse sur un corps fini () et à un -cristal sur . Si est propre et lisse sur nous prouvons que est rationnelle et fournie par l’expression habituelle utilisant l’action du Frobenius sur la cohomologie cristalline à coefficients dans ; ce résultat n’était connu, via les “conjectures de Weil”, que pour des -cristaux unités particuliers: ceux provenant d’une représentation de...