Abstract
We give an alternative proof of Faltings’s theorem (Mordell’s conjecture): a curve of genus at least two over a number field has finitely many rational points. Our argument utilizes the set-up of Faltings’s original proof, but is in spirit closer to the methods of Chabauty and Kim: we replace the use of abelian varieties by a more detailed analysis of the variation of p-adic Galois representations in a family of algebraic varieties. The key inputs into this analysis are the comparison theorems of p-adic Hodge theory, and explicit topological computations of monodromy. By the same methods we show that, in sufficiently large dimension and degree, the set of hypersurfaces in projective space, with good reduction away from a fixed set of primes, is contained in a proper Zariski-closed subset of the moduli space of all hypersurfaces. This uses in an essential way the Ax–Schanuel property for period mappings, recently established by Bakker and Tsimerman.
Similar content being viewed by others
Notes
Here and in Sect. 10, the symbol p is used abusively to refer to the indexing on a Hodge filtration. We hope this will not cause confusion.
Here, and in other contexts, we will write \(V_{\mathrm {dR}}\) even though we are using the crystalline functor, because in our applications it will be helpful to think of it in terms of de Rham cohomology.
We use \({{\mathbf {F}}}_q^+\) to denote the additive group \({{\mathbf {F}}}_q\).
A priori, the map is defined up to conjugation by the normalizer of \(\mathrm {Aff}(q)\) in \(\mathrm {Sym}({\mathbf {F}}_q)\). This normalizer is equal to \(\mathrm {Aff}(q)\).
One can also give an algebro-geometric argument, as follows. Suppose to the contrary. Now, as in Sect. 7, there is an associated finite covering \(Y' \rightarrow Y\) such that the various \(Z_i\) fit together into a curve fibration \({\mathsf {Z}} \rightarrow Y'\). If (a) were false, the theorem of the fixed part means that the Hodge structure of the fibers of \({\mathsf {Z}} \rightarrow Y'\) are constant, at least over one component of \(Y'\). By Torelli, this means that all the fibers are actually isomorphic. This contradicts de Franchis’s theorem.
It seems likely that we could also deduce the p-adic transcendence result from the complex transcendence result using the Seidenberg embedding theorem, as in [31, Section 2.5]. We thank the referee for bringing this to our attention.
As in Sect. 2.5, we are abusing the symbol p to refer to the indexing on a Hodge filtration.
This is an unrealistically strong assumption. We include this statement simply to make clear the importance of this problem—controlling monodromy drop along subvarieties—for our method.
In Sect. 10.2only, the symbol d represents the degree of a hypersurface, and \(n-1\) its dimension.
We outline how this is done. We may describe the Zariski closure \({\mathbf {Z}}\) in question as the Tannakian group associated to the neutral Tannakian category of \(G_{{{\mathbf {Q}}}_p}\)-modules generated by \({\mathsf {V}}_y \otimes {{\mathbf {Q}}}_p\) (i.e., the automorphisms of the natural fiber functor). By the theory of Fontaine–Laffaile, there is another fiber functor on this category, arising from passing to filtered \(\phi \)-modules; in particular, this gives rise to another Tannakian group \({\mathbf {Z}}' \), which acts on the (primitive part of the) de Rham cohomology of \(X_y \times _{{{\mathbf {Q}}}} {{\mathbf {Q}}}_p\). These two fiber functors become isomorphic over \(\overline{{{\mathbf {Q}}}_p}\) (cf. [11, §3]); in particular there is an isomorphism of \({\mathsf {V}}_y \otimes \overline{{{\mathbf {Q}}}_p}\) with the de Rham cohomology of \(X_y \otimes _{{{\mathbf {Q}}}} \overline{{{\mathbf {Q}}}_p}\), which can be taken to preserve the respective intersection forms, and which carries \({\mathbf {Z}}_{\overline{{{\mathbf {Q}}}_p}}\) to \({\mathbf {Z}}'_{\overline{{{\mathbf {Q}}}_p}}\).
The Hodge filtration gives this fiber functor the structure of a filtered fiber functor; it gives a parabolic subgroup \({\mathbf {P}}' \subset {\mathbf {Z}}'\). Now Wintenberger’s canonical splitting of the Hodge filtration provides a character \(\varphi _W{:}\,{\mathbf {G}}_m \rightarrow {\mathbf {P}}'\).
Now pass to \({{\mathbf {C}}}\) by means of an isomorphism \(\overline{{{\mathbf {Q}}}_p} \simeq {{\mathbf {C}}}\); then \({\mathbf {Z}}'_{{{\mathbf {C}}}}\) acts on the cohomology of \(X_y \otimes _{{{\mathbf {Q}}}} {{\mathbf {C}}}\), as does \(\varphi _0\). We claim that \(\varphi _0\) and \(\varphi _W|_{S^1}\) are conjugate inside \(\mathrm {GAut}(H^d(X_y \otimes _{{{\mathbf {Q}}}} {{\mathbf {C}}})^{\mathrm {prim}})\); but they both preserve the Hodge filtration and induce the same scalar on the successive quotients; the conjugacy then follows by Lemma 2.5.
In more detail: in our reasoning to date, instead of using the finiteness of conjugacy classes of possible \(\rho _y^{\mathrm {ss}}{:}\,G_{{{\mathbf {Q}}}} \rightarrow {\mathbf {G}}'\), we could instead use the stronger finiteness provided by the last sentence of Lemma 2.6. Namely, we fix for each y a parabolic subgroup \({\mathbf {Q}}_y\) containing the image of \(\rho _y\), such that the projection of \(\rho _y\) to its Levi gives the semisimplification, and then use the finiteness up to conjugacy of possible pairs \(({\mathbf {Q}}_y, \rho _y^{\mathrm {ss}})\).
We say here that \((P, \phi _M, F_M)\) is conjugate to \((P', \phi _{M'}, F_{M'})\) when there is \(g \in G\) such that \(\mathrm {Ad}(g) P = P'\), and the induced isomorphism of Levi quotients carries \((\phi _M, F_M)\) to \((\phi _{M'}, F_{M'})\).
References
Bakker, B., Tsimerman, J.: The Ax–Schanuel conjecture for variations of Hodge structures. arXiv:1712.05088
Bate, M., Martin, B., Röhrle, G.: A geometric approach to complete reducibility. Invent. Math. 161(1), 177–218 (2005)
Beauville, A.: Le groupe de monodromie des familles universelles d’hypersurfaces et d’intersections complètes. In: Complex Analysis and Algebraic Geometry (Göttingen, 1985), volume 1194 of Lecture Notes in Mathematics, pp. 8–18. Springer, Berlin (1986)
Berthelot, P.: Cohomologie cristalline des schémas de caractéristique \(p>0\). In: Lecture Notes in Mathematics, vol. 407. Springer, Berlin (1974)
Berthelot, P., Ogus, A.: Notes on Crystalline Cohomology. University of Tokyo Press, Tokyo, Princeton University Press, Princeton (1978)
Borel, A.: Linear Algebraic Groups, Volume 126 of Graduate Texts in Mathematics, 2nd edn. Springer, New York (1991)
Brinon, O., Conrad, B.: CMI summer school notes on p-adic Hodge theory. http://math.stanford.edu/~conrad/papers/notes.pdf. Accessed 1 Jan 2020
Chatterjee, S., Diaconis, P.: A central limit theorem for a new statistic on permutations. Indian J. Pure Appl. Math. 48(4), 561–573 (2017)
de Jong, T., Pfister, G.: Local analytic Geometry. Advanced Lectures in Mathematics. Friedr. Vieweg & Sohn, Braunschweig. Basic Theory and Applications (2000)
Deligne, P.: Théorème de Lefschetz et critères de dégénérescence de suites spectrales. Inst. Hautes Études Sci. Publ. Math. 35, 259–278 (1968)
Deligne, P., Milne, J.S., Ogus, A., Shih, K.: Hodge Cycles, Motives, and Shimura Varieties, volume 900 of Lecture Notes in Mathematics. Springer, Berlin (1982)
Grothendieck, A., Dieudonné, J.: éléments de géométrie algébrique: Iv. étude locale des schémas et des morphismes de schémas, troisième partie. Pub. Math. IHES. 28, 5–255 (1966)
Digne, F., Michel, J.: Representations of Finite Groups of Lie Type. London Mathematical Society Student Texts, vol. 21. Cambridge University Press, Cambridge (1991)
Faltings, G.: Endlichkeitss atze fur abelsche variet aten uber zahlk orpern. Invent. Math. 73, 349–366 (1983)
Faltings, G.: Crystalline cohomology and \(p\)-adic Galois-representations. In: Algebraic Analysis, Geometry, and Number Theory (Baltimore, MD, 1988), pp. 25–80. Johns Hopkins University Press, Baltimore (1989)
Farb, B., Margalit, D.: A Primer on Mapping Class Groups. Princeton University Press, Princeton (2012)
Fontaine, J.-M.: Périodes \(p\)-adiques. In Astérisque, vol. 223. Société Mathématique de France (1994)
Grunewald, F., Larsen, M., Lubotzky, A., Malestein, J.: Arithmetic quotients of the mapping class group. Geom. Funct. Anal. 25, 1493–1542 (2015)
Grothendieck, A.: Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. II. Inst. Hautes Études Sci. Publ. Math. 24, 231 (1965)
Johnson, O., Goldschmidt, C.: Preservation of log-concavity on summation. ESAIM Probab. Stat. 10, 206–215 (2006)
Katz, N.M., Messing, W.: Some consequences of the Riemann hypothesis for varieties over finite fields. Invent. Math. 23, 73–77 (1974)
Katz, N.M., Oda, T.: On the differentiation of de Rham cohomology classes with respect to parameters. J. Math. Kyoto Univ. 8, 199–213 (1968)
Kim, M.: The motivic fundamental group of \({ P}^1\backslash \{0,1,\infty \}\) and the theorem of Siegel. Invent. Math. 161(3), 629–656 (2005)
Kim, M.: The unipotent Albanese map and Selmer varieties for curves. Publ. Res. Inst. Math. Sci. 45(1), 89–133 (2009)
Kim, M.: Tangential localization for Selmer varieties. Duke Math. J. 161(2), 173–199 (2012)
Lawrence, B.: Two results on period maps, Ph.D. Thesis. Stanford University (2017)
Looijenga, E.: Prym representations of mapping class groups. Geom. Dedic. 64(1), 69–83 (1997)
Mazur, B.: Frobenius and the Hodge filtration (estimates). Ann. Math. 98(1), 58–95 (1973)
Mochizuki, S.: The geometry of the compactification of the Hurwitz scheme. Publ. Res. Inst. Math. Sci. 31(3), 355–441 (1995)
Paršin, A.N.: Algebraic curves over function fields. I. Izv. Akad. Nauk SSSR Ser. Mat. 32, 1191–1219 (1968)
Pila, J., Tsimerman, J.: Ax–Schanuel for the \(j\)-function. Duke Math. J. 165(13), 2587–2605 (2016)
Pink, R.: \(l\)-adic algebraic monodromy groups, cocharacters, and the Mumford–Tate conjecture. J. Reine Angew. Math. 495, 187–237 (1998)
Revêtements étales et groupe fondamental (SGA 1), volume 3 of Documents Mathématiques (Paris) [Mathematical Documents (Paris)]. Société Mathématique de France, Paris, 2003. Séminaire de géométrie algébrique du Bois Marie 1960–61. [Algebraic Geometry Seminar of Bois Marie 1960–61], Directed by A. Grothendieck, With two papers by M. Raynaud, Updated and annotated reprint of the 1971 original [Lecture Notes in Math., 224, Springer, Berlin; MR0354651 (50 #7129)]
Ribet, K.A.: Galois action on division points of Abelian varieties with real multiplications. Am. J. Math. 98(3), 751–804 (1976)
Richardson Jr., R.W.: Conjugacy classes in Lie algebras and algebraic groups. Ann. Math. 2(86), 1–15 (1967)
Rivano, N.S.: Catégories Tannakiennes. Lecture Notes in Mathematics, vol. 265. Springer, Berlin (1972)
Salter, N., Tshishiku, B.: Arithmeticity of the monodromy of some Kodaira fibrations. arXiv:1805.06789
Schneebeli, H.R.: Group extensions whose profinite completion is exact. Arch. Math. (Basel) 31(3), 244–253 (1978/79)
Sen, S.: Lie algebras of Galois groups arising from Hodge–Tate modules. Ann. Math. 2(97), 160–170 (1973)
Serre, J.-P.: Géométrie algébrique et géométrie analytique. Ann. Inst. Fourier Grenoble 6, 1–42 (1955–1956)
Serre, J.-P.: Abelian \(l\)-Adic Representations and Elliptic Curves. Advanced Book Classics, 2nd edition. Addison-Wesley Publishing Company, Advanced Book Program, Redwood City, CA (1989). With the collaboration of Willem Kuyk and John Labute
Serre, J.-P.: Galois Cohomology. Springer, Berlin (1997). Translated from the French by Patrick Ion and revised by the author
Serre, J.-P.: Complète réductibilité. Astérisque, (299): Exp. No. 932, viii, 195–217 (2005). Séminaire Bourbaki. Vol. 2003/2004
The Stacks Project Authors. Stacks Project. http://stacks.math.columbia.edu (2018) . Accessed 1 Jan 2020
Weil, A.: On a certain type of characters of the idèle-class group of an algebraic number-field. In: Proceedings of the International Symposium on Algebraic Number Theory, Tokyo & Nikko, 1955, pp. 1–7. Science Council of Japan, Tokyo (1956)
Wintenberger, J.-P.: Un scindage de la filtration de Hodge pour certaines variétés algébriques sur les corps locaux. Ann. Math. (2) 119(3), 511–548 (1984)
Wüstholz, G.: The finiteness theorems of Faltings. In: Rational points (Bonn, 1983/1984), Aspects Math., E6, pp. 154–202. Friedr. Vieweg, Braunschweig (1984)
Acknowledgements
This paper owes, of course, a tremendous debt to the work of Faltings—indeed, all the main tools come from his work. Some of the ideas originated in a learning seminar run at Stanford University on Faltings’s proof [14]. The 2017 Stanford Ph.D. thesis [26] of B.L. contained an earlier version of the arguments of this paper. In particular, that thesis presented a proof of the Mordell conjecture conditional on an assumption about monodromy, and verified that assumption for a certain Kodaira–Parshin family in genus 2. We thank Brian Conrad for many helpful conversations and suggestions. A.V. would like to thank Benjamin Bakker, Andrew Snowden and Jacob Tsimerman for interesting discussions. B.L. would like to thank Zeb Brady, Lalit Jain, Daniel Litt, and Johan de Jong. We received helpful comments and feedback from several people about earlier versions of this paper. We would like to thank, in particular, Dan Abramovich, Pedro A. Castillejo, Raymond Cheng, Brian Conrad, Ulrich Goertz, Sergey Gorchinskiy, Kiran Kedlaya, Aaron Landesman, Siyan Daniel Li, Lucia Mocz, Bjorn Poonen, Jack Sempliner, Will Sawin, and Bogdan Zavyalov. We similarly would like to thank the anonymous referee for his or her time and effort. We thank Brian Conrad for pointing out the proof of Lemma 2.4, and for simplifying the proof of Lemma 9.3. We thank Jordan Ellenberg for an interesting discussion about monodromy. During much of the work on this paper, B.L. was supported by a Hertz fellowship and an NSF fellowship and A.V. was supported by an NSF grant. During the final stages of writing A.V. was an Infosys member at the Institute for Advanced Study. We thank all these organizations for their support of our work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Lawrence, B., Venkatesh, A. Diophantine problems and p-adic period mappings. Invent. math. 221, 893–999 (2020). https://doi.org/10.1007/s00222-020-00966-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-020-00966-7