Quantifier elimination for algebraic -groups

Authors:
Piotr Kowalski and Anand Pillay

Journal:
Trans. Amer. Math. Soc. **358** (2006), 167-181

MSC (2000):
Primary 32C38, 03C60

Published electronically:
January 21, 2005

MathSciNet review:
2171228

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We prove that if is an algebraic -group (in the sense of Buium over a differentially closed field of characteristic , then the first order structure consisting of together with the algebraic -subvarieties of , has quantifier-elimination. In other words, the projection on of a -constructible subset of is -constructible. Among the consequences is that any finite-dimensional differential algebraic group is interpretable in an algebraically closed field.

**[B]**Alexandru Buium,*Differential algebraic groups of finite dimension*, Lecture Notes in Mathematics, vol. 1506, Springer-Verlag, Berlin, 1992. MR**1176753****[Bor]**Armand Borel,*Linear algebraic groups*, 2nd ed., Graduate Texts in Mathematics, vol. 126, Springer-Verlag, New York, 1991. MR**1102012****[Ch]**Z. Chatzidakis, A note on canonical bases and one-based types in supersimple theories, preprint 2002.**[H1]**Ehud Hrushovski,*The Mordell-Lang conjecture for function fields*, J. Amer. Math. Soc.**9**(1996), no. 3, 667–690. MR**1333294**, 10.1090/S0894-0347-96-00202-0**[H2]**Ehud Hrushovski,*Geometric model theory*, Proceedings of the International Congress of Mathematicians, Vol. I (Berlin, 1998), 1998, pp. 281–302 (electronic). MR**1648035****[HP]**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**, 10.1016/S0049-237X(09)70556-7**[M]**D. Marker, M. Messmer, and A. Pillay,*Model theory of fields*, Lecture Notes in Logic, vol. 5, Springer-Verlag, Berlin, 1996. MR**1477154****[PP]**David Pierce and Anand Pillay,*A note on the axioms for differentially closed fields of characteristic zero*, J. Algebra**204**(1998), no. 1, 108–115. MR**1623945**, 10.1006/jabr.1997.7359**[P1]**Anand Pillay,*Some foundational questions concerning differential algebraic groups*, Pacific J. Math.**179**(1997), no. 1, 179–200. MR**1452531**, 10.2140/pjm.1997.179.179**[P2]**Anand Pillay,*Model-theoretic consequences of a theorem of Campana and Fujiki*, Fund. Math.**174**(2002), no. 2, 187–192. MR**1927236**, 10.4064/fm174-2-3**[P3]**A. Pillay, Two remarks on differential fields, preprint, http://www.math.uiuc.edu/ People/pillay/remarks.difffields.pdf**[P4]**Anand Pillay,*Mordell-Lang conjecture for function fields in characteristic zero, revisited*, Compos. Math.**140**(2004), no. 1, 64–68. MR**2004123**, 10.1112/S0010437X03000186**[P5]**Anand Pillay,*Geometric stability theory*, Oxford Logic Guides, vol. 32, The Clarendon Press, Oxford University Press, New York, 1996. Oxford Science Publications. MR**1429864****[P6]**A. Pillay, Notes on analysability and canonical bases, preprint, http://www.math.uiuc.edu/ People/pillay/remark.zoe.pdf**[PZ]**Anand Pillay and Martin Ziegler,*Jet spaces of varieties over differential and difference fields*, Selecta Math. (N.S.)**9**(2003), no. 4, 579–599. MR**2031753**, 10.1007/s00029-003-0339-1**[Sh]**Igor R. Shafarevich,*Basic algebraic geometry. 1*, 2nd ed., Springer-Verlag, Berlin, 1994. Varieties in projective space; Translated from the 1988 Russian edition and with notes by Miles Reid. MR**1328833****[Zi]**B. Zilber, Model theory and algebraic geometry,*Proceedings of 10th Easter Conference in Berlin*, 1993, Humboldt Univ. of Berlin.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
32C38,
03C60

Retrieve articles in all journals with MSC (2000): 32C38, 03C60

Additional Information

**Piotr Kowalski**

Affiliation:
Department of Mathematics, Wrocław University, pl. Grunwaldzki 2/4, 50-384 Wrocław, Poland

**Anand Pillay**

Affiliation:
Department of Mathematics, University of Illinois at Urbana-Champaign, Urbana, Illinois 61801

DOI:
https://doi.org/10.1090/S0002-9947-05-03820-1

Received by editor(s):
January 5, 2004

Published electronically:
January 21, 2005

Additional Notes:
The first author was supported by a postdoc under NSF Focused Research Grant DMS 01-00979 and the Polish KBN grant 2 P03A 018 24

The second author was partially supported by NSF grants DMS 00-70179 and DMS 01-00979

Article copyright:
© Copyright 2005
American Mathematical Society