The Mordell-Lang conjecture for function fields

Hrushovski, Ehud

doi:10.1090/S0894-0347-96-00202-0

The Mordell-Lang conjecture for function fields
HTML articles powered by AMS MathViewer

by Ehud Hrushovski PDF

J. Amer. Math. Soc. 9 (1996), 667-690 Request permission

Abstract:

We give a proof of the geometric Mordell-Lang conjecture, in any characteristic. Our method involves a model-theoretic analysis of the kernel of Manin’s homomorphism and of a certain analog in characteristic $p$.

References

Dan Abramovich and José Felipe Voloch, Toward a proof of the Mordell-Lang conjecture in characteristic $p$, Internat. Math. Res. Notices 5 (1992), 103–115. MR 1162230, DOI 10.1155/S1073792892000126
A. Buium, Intersections in jet spaces and a conjecture of S. Lang, Ann. of Math. (2) 136 (1992), no. 3, 557–567. MR 1189865, DOI 10.2307/2946600
Alexandru Buium, Effective bound for the geometric Lang conjecture, Duke Math. J. 71 (1993), no. 2, 475–499. MR 1233446, DOI 10.1215/S0012-7094-93-07120-7
Alexandru Buium and José Felipe Voloch, Integral points of abelian varieties over function fields of characteristic zero, Math. Ann. 297 (1993), no. 2, 303–307. MR 1241808, DOI 10.1007/BF01459503
Françoise Delon, Idéaux et types sur les corps séparablement clos, Mém. Soc. Math. France (N.S.) 33 (1988), 76 (French, with English summary). MR 986208
Ehud Hrushovski, Unidimensional theories are superstable, Ann. Pure Appl. Logic 50 (1990), no. 2, 117–138. MR 1081816, DOI 10.1016/0168-0072(90)90046-5
U. Hrushovski and A. Pillay, Weakly normal groups, Logic colloquium ’85 (Orsay, 1985) Stud. Logic Found. Math., vol. 122, North-Holland, Amsterdam, 1987, pp. 233–244. MR 895647, DOI 10.1016/S0049-237X(09)70556-7
E. Hrushovski and Z. Sokolovic, Minimal subsets of differentially closed fields, Trans. Amer. Math. Soc. (to appear).
E. Hrushovski and B. Zil’ber, Zariski geometries, J. Amer. Math. Soc. 9 (1996), 1–56.
Ehud Hrushovski and Boris Zilber, Zariski geometries, Bull. Amer. Math. Soc. (N.S.) 28 (1993), no. 2, 315–323. MR 1183999, DOI 10.1090/S0273-0979-1993-00380-X
Serge Lang, Division points on curves, Ann. Mat. Pura Appl. (4) 70 (1965), 229–234. MR 190146, DOI 10.1007/BF02410091
Serge Lang, Number theory. III, Encyclopaedia of Mathematical Sciences, vol. 60, Springer-Verlag, Berlin, 1991. Diophantine geometry. MR 1112552, DOI 10.1007/978-3-642-58227-1
Daniel Lascar, Ranks and definability in superstable theories, Israel J. Math. 23 (1976), no. 1, 53–87. MR 409169, DOI 10.1007/BF02757234
Ju. I. Manin, Algebraic curves over fields with differentiation, Izv. Akad. Nauk SSSR. Ser. Mat. 22 (1958), 737–756 (Russian). MR 0103889
Ju. I. Manin, Rational points on algebraic curves over function fields, Izv. Akad. Nauk SSSR Ser. Mat. 27 (1963), 1395–1440 (Russian). MR 0157971
M. Messmer, Groups and fields interpretable in separably closed fields, preprint.
A. Pillay, Model theory, stability theory, and stable groups, The Model Theory of Groups (A. Nesin and A. Pillay, eds.), Notre Dame Math. Lectures, no. 11, Univ. Notre Dame Press, Notre Dame, IN, 1989, pp. 1–22.
A. Robinson and P. Roquette, On the finiteness theorem of Siegel and Mahler concerning Diophantine equations, J. Number Theory 7 (1975), 121–176. MR 374022, DOI 10.1016/0022-314X(75)90013-X
Gerald E. Sacks, Saturated model theory, Mathematics Lecture Note Series, W. A. Benjamin, Inc., Reading, Mass., 1972. MR 0398817
Z. Sokolovic, Model theory of differential fields, Ph.D. Thesis, Notre Dame, July, 1992.
Morgan Ward, Ring homomorphisms which are also lattice homomorphisms, Amer. J. Math. 61 (1939), 783–787. MR 10, DOI 10.2307/2371336
Carol Wood, Notes on the stability of separably closed fields, J. Symbolic Logic 44 (1979), no. 3, 412–416. MR 540671, DOI 10.2307/2273133