Hostname: page-component-cd9895bd7-p9bg8 Total loading time: 0 Render date: 2024-12-25T02:48:59.395Z Has data issue: false hasContentIssue false
  • English
  • Français

Diophantine Geometry from Model Theory

Published online by Cambridge University Press:  15 January 2014

Thomas Scanlon
Thomas Scanlon*
Affiliation:
Department of Mathematics, University of California, Berkeley, Berkeley, California 94720-3840, USAE-mail: , [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

§1. Introduction. With Hrushovski's proof of the function field Mordell-Lang conjecture [16] the relevance of geometric stability theory to diophantine geometry first came to light. A gulf between logicians and number theorists allowed for contradictory reactions. It has been asserted that Hrushovski's proof was simply an algebraic argument masked in the language of model theory. Another camp held that this theorem was merely a clever one-off. Still others regarded the argument as magical and asked whether such sorcery could unlock the secrets of a wide coterie of number theoretic problems.

In the intervening years each of these prejudices has been revealed as false though such attitudes are still common. The methods pioneered in [16] have been extended and applied to a number of other problems. At their best, these methods have been integrated into the general methods for solving diophantine problems. Moreover, the newer work suggests limits to the application of model theory to diophantine geometry. For example, all such known applications are connected with commutative algebraic groups. This need not be an intrinsic restriction, but its removal requires serious advances in the model theory of fields.

Type
Research Article
Information
Bulletin of Symbolic Logic , Volume 7 , Issue 1 , March 2001 , pp. 37 - 57
Copyright
Copyright © Association for Symbolic Logic 2001

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Abramovich, D., Subvarieties of Abelian varieties and Jacobians of curves, Ph. D. Thesis , Harvard University, 1991.Google Scholar
[2] Baur, W. , Elimination of quantifiers for modules, Israel Journal of Mathematics, vol. 25 (1976), pp. 64–70.Google Scholar
[3] Bouscaren, E., Théorie des modèles et conjecture de Manin-Mumford [d'après Ehud Hrushovski], Seminaire Bourbaki, vol. 52, Expose 870, 03 2000.Google Scholar
[4] Bouscaren, E. (editor), Model theory and algebraic geometry: An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture, Lecture Notes in Mathematics, vol. 1696, Springer-Verlag, New York, 1998.Google Scholar
[5] Boxall, J., Sous-variétés algébriques de variétés semi-abéliennes sur un corps fini, Number theory (Paris, 1992–1993), London Mathematical Society Lecture Note Series, vol. 215, Cambridge University Press, Cambridge, 1995, pp. 69–80.Google Scholar
[6] Buium, A., The abc theorem for abelian varieties, International Mathematical Research Notices, vol. 5 (1994), p. 219 ff.Google Scholar
[7] Chatzidakis, Z., Hrushovskl, E., and Peterzil, Y., Model theory of difference fields II: periodic ideals and the trichotomy in all characteristics, Journal of the London Mathematical Society, to appear.Google Scholar
[8] Denis, L., Gèométrie diophantienne sur les modules de Drinfeld, The arithmetic of function fields (Columbus, Ohio 1991) (Goss, D., editor), 1992, pp. 285–302.Google Scholar
[9] Faltings, G., Endlichkeitssätze für abelsche Varietäten über Zahlkörpen, Inventiones Mathematicae, vol. 73 (1983), no. 3, pp. 349–366.Google Scholar
[10] Faltings, G., The general case of S. Lang's conjecture, Barsotti symposium in algebraic geometry (Abano Terme, 1991), Perspectives in Mathematics, vol. 15, Academic Press, San Diego, California, 1994, pp. 175–182.Google Scholar
[11] Harris, J., Algebraic geometry: A first course, Graduate Texts in Mathematics, vol. 133, Springer-Verlag, New York, 1995.Google Scholar
[12] Hartshorne, R., Algebraic geometry, Graduate Texts in Mathematics, vol. 52, Springer-Verlag, New York, 1977.CrossRefGoogle Scholar
[13] Hrushovski, E., Unimodular minimal structures, Journal of the London Mathematical Society, vol. 46 (1992), no. 3, pp. 385–396.Google Scholar
[14] Hrushovski, E., A new strongly minimal set. stability in model theory, III (Trento, 1991), Annals of Pure and Applied Logic, vol. 62 (1993), no. 2, pp. 147–166.Google Scholar
[15] Hrushovski, E., The Manin-Mumford conjecture and the model theory of difference fields, preprint, 1996.Google Scholar
[16] Hrushovski, E., The Mordell-Lang conjecture for function fields, Journal of the American Mathematical Society, vol. 9 (1996), no. 3, pp. 667–690.Google Scholar
[17] Hrushovski, E., Stability and its uses, Current developments in mathematics, 1996 (Cambridge, massachusetts), International Press, Boston, Massachusetts, 1997, pp. 61–103.Google Scholar
[18] Hrushovski, E. and Itai, M., On model complete differential fields, preprint, 1997.Google Scholar
[19] Hrushovski, E. and Pillay, A., Transcendental points on subvarieties of abelian varieties, to appear in American Journal of Mathematics.Google Scholar
[20] Hrushovski, E. and Pillay, A., Weakly normal groups, Logic colloquium '85 (Orsay 1985), Studies in Logic and the Foundations of Mathematics, vol. 122, North-Holland Publishing Co., Amersterdam-New York, 1987, pp. 233–244.Google Scholar
[21] Hrushovski, E. and Zilber, B., Zariski geometries, Journal of the American Mathematical Society, vol. 9 (1996), no. 1, pp. 1–56.CrossRefGoogle Scholar
[22] Lang, S., Number theory III, Encyclopedia of Mathematics, vol. 60, Springer-Verlag, New York, 1991.Google Scholar
[23] Matiyasevich, Y., Enumerable sets are diophantine, Dokl. Akalt. Nauk. SSSR, vol. 191 (1970), pp. 279–282, in Russian; see Sov. Math. Dokl. , vol. 11 (1970), pp. 354–357 for an English translation.Google Scholar
[24] Monk, , Ph.D.Thesis , University of California at Berkeley, 1976.Google Scholar
[25] Mordell, , On the rational solutions of the indeterminate equation of the third and fourth degrees, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 21 (1922), pp. 179–192.Google Scholar
[26] Pillay, A., Geometric stability theory, Oxford Logic Guides, vol. 32, Oxford University Press, New York, 1996.Google Scholar
[27] Pillay, A., ACFA and the Manin-Mumford conjecture, Algebraic model theory (Toronto, Ontario, 1996), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 496, Kluwer Academic Publishers, Dordrecht, 1997, pp. 195–205.Google Scholar
[28] Pillay, A., Model theory and diophantine geometry, Bulletin of the American Mathematical Society, vol. 34 (1997), no. 4, pp. 405–422.Google Scholar
[29] Pillay, A., Mordell-Lang for complex tori, preprint, 1999.Google Scholar
[30] Raynaud, M., Sous-variétés d'une variété abélienne et points de torsion, Arithmetic and geometry, I, Progress in Mathematics, vol. 35, Birkhäuser Boston, Boston, Massachusetts, 1983, pp. 327–352.CrossRefGoogle Scholar
[31] Scanlon, T., Diophantine consequences of dichotomy theorems in difference and differential fields, 1998, http://www.msri.org/publications/ln/msri/1998/mtf/scanlon/1/index.html.Google Scholar
[32] Scanlon, T., The abc theorem for commutative algebraic groups in characteristic p, International Mathematical Research Notices, vol. 18 (1997), pp. 881–898.Google Scholar
[33] Scanlon, T., The model theory of valued D-fields, Ph. D. Thesis , Harvard University, 05 1997.Google Scholar
[34] Scanlon, T., p-adic distance from torsion points of semi-abelian varieties, Journal für die Reine und Angewandte Mathematik, vol. 499 (1998), pp. 225–236.Google Scholar
[35] Scanlon, T., The conjecture of Tate and Voloch on p-adic proximity to torsion, International Mathematical Research Notices, (1999), no. 17, pp. 909–914.Google Scholar
[36] Scanlon, T., Diophantine geometry of the torsion of a Drinfeld module, preprint, 1999.Google Scholar
[37] Scanlon, T. and Voloch, J. F., Difference algebraic subgroups of commutative algebraic groups over finite fields, Manuscripta Mathematicae, vol. 99 (1999), no. 3, pp. 329–339.Google Scholar
[38] Skolem, T., Einige Sätze über p-adische Potenzreihen mit Anwendung auf gewisse exponentielle Gleichungen, Mathematische Annalen, vol. 111 (1935), no. 3, pp. 399–424.Google Scholar
[39] Tate, J. and Voloch, J. F., Linear forms in p-adic roots of unity, International Mathematical Research Notices, vol. 12 (1996), pp. 589–601.Google Scholar
[40] Vojta, P., Mordell's conjecture over function fields, Inventiones Mathematicae, vol. 98 (1989), no. 1, pp. 115–138.CrossRefGoogle Scholar
[41] Weil, A., L'arithmétique sur les courbes algébriques, Acta Mathematicae, vol. 52 (1928), pp. 281–315.Google Scholar
[42] Zilber, B., Intersecting varieties with tori, preprint, 2000, http://www.maths.ox.ac.uk/~zilber.Google Scholar