Skip to main content

The model-theoretic content of Lang’s conjecture

  • Chapter

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 1696))

Abstract

The rest of this volume is dedicated to explaining Hrushovski’s model-theoretic approach [Hr 96] to the geometric case of a conjecture of Lang. See [Hi] for a presentation of the conjecture and [Bous] for the proof. The purpose of this note is to point out that the use of model-theoretic and stability-theoretic methods should not be so surprising, as the full Lang conjecture itself is equivalent to a purely model-theoretic statement. The structure (ℚ, +,.) is wild (undecidable, definable sets have no “structure” etc.), as is the structure (ℂ, +,.) with a predicate for the rationals. What comes out of the diophantine-type conjectures on the other hand is that certain enrichments of the structure (ℂ, +,.) (more specifically expansions obtained by adding a predicate, not for ℚ itself, but rather for the ℚ-points of certain algebraic groups) are not wild, in particular are stable.

Author partially supported by a grant from the NSF.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E. Bouscaren, Proof of the Mordell-Lang conjecture for function fields, this volume.

    Google Scholar 

  2. J.H. Evertse, The Subspace Theorem of W.M.Schmidt, in Diophantine Approximation and Abelian Varieties, Springer Lecture Notes 1566, 1993, 31–50.

    Google Scholar 

  3. G. Faltings, The general case of Lang’s conjecture, in Barsotti’s Symposium in Algebraic geometry, Acad. Press, 1994, 175–182.

    Google Scholar 

  4. H.B. Gute and K.K. Reiter, The last word on quantifier elimination in modules, Journal of Symbolic Logic 55 (1990), 670–673.

    Article  MATH  MathSciNet  Google Scholar 

  5. M. Hindry, Autour d’une conjecture de Serge Lang, Inventiones Math. 94 (1988), 575–603.

    Article  MATH  MathSciNet  Google Scholar 

  6. M. Hindry, Introduction to abelian varieties and the Lang Conjecture, this volume.

    Google Scholar 

  7. E. Hrushovski, The Mordell-Lang conjecture for function fields, J.AMS 9 (1996), 667–690.

    MATH  MathSciNet  Google Scholar 

  8. E. Hrushovski and A. Pillay, Weakly normal groups, Logic Colloquium’ 85, North-Holland, 1987, 233–244.

    Google Scholar 

  9. S. Lang, Number Theory III: Diophantine Geometry, Encycopedia of Mathematical Sciences, Springer, 1991.

    Google Scholar 

  10. D. Lascar, ω-stable groups, this volume.

    Google Scholar 

  11. M. Ziegler, Introduction to stability theory and Morley rank, this volume.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Pillay, A. (1998). The model-theoretic content of Lang’s conjecture. In: Bouscaren, E. (eds) Model Theory and Algebraic Geometry. Lecture Notes in Mathematics, vol 1696. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68521-0_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-68521-0_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64863-5

  • Online ISBN: 978-3-540-68521-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics