The geometry of 1-based minimal types
HTML articles powered by AMS MathViewer
- by Tristram de Piro and Byunghan Kim PDF
- Trans. Amer. Math. Soc. 355 (2003), 4241-4263 Request permission
Abstract:
In this paper, we study the geometry of a (nontrivial) 1-based $SU$ rank-1 complete type. We show that if the (localized, resp.) geometry of the type is modular, then the (localized, resp.) geometry is projective over a division ring. However, unlike the stable case, we construct a locally modular type that is not affine. For the general 1-based case, we prove that even if the geometry of the type itself is not projective over a division ring, it is when we consider a 2-fold or 3-fold of the geometry altogether. In particular, it follows that in any $\omega$-categorical, nontrivial, 1-based theory, a vector space over a finite field is interpretable.References
- Cahit Arf, Untersuchungen über reinverzweigte Erweiterungen diskret bewerteter perfekter Körper, J. Reine Angew. Math. 181 (1939), 1–44 (German). MR 18, DOI 10.1515/crll.1940.181.1
- I. Ben-Yaacov, I. Tomasic and F. O. Wagner, Constructing an almost hyperdefinable group, preprint, 2001.
- Steven Buechler, The geometry of weakly minimal types, J. Symbolic Logic 50 (1985), no. 4, 1044–1053 (1986). MR 820131, DOI 10.2307/2273989
- Steven Buechler, Anand Pillay, and Frank Wagner, Supersimple theories, J. Amer. Math. Soc. 14 (2001), no. 1, 109–124. MR 1800350, DOI 10.1090/S0894-0347-00-00350-7
- Z. Chatzidakis and A. Pillay, Generic structures and simple theories, Ann. Pure Appl. Logic 95 (1998), no. 1-3, 71–92. MR 1650667, DOI 10.1016/S0168-0072(98)00021-9
- G. Cherlin, L. Harrington, and A. H. Lachlan, $\aleph _0$-categorical, $\aleph _0$-stable structures, Ann. Pure Appl. Logic 28 (1985), no. 2, 103–135. MR 779159, DOI 10.1016/0168-0072(85)90023-5
- Jean Doyen and Xavier Hubaut, Finite regular locally projective spaces, Math. Z. 119 (1971), 83–88. MR 278166, DOI 10.1007/BF01110946
- David M. Evans and Frank O. Wagner, Supersimple $\omega$-categorical groups and theories, J. Symbolic Logic 65 (2000), no. 2, 767–776. MR 1771084, DOI 10.2307/2586568
- Bradd Hart, Byunghan Kim, and Anand Pillay, Coordinatisation and canonical bases in simple theories, J. Symbolic Logic 65 (2000), no. 1, 293–309. MR 1782121, DOI 10.2307/2586538
- Ehud Hrushovski, Unimodular minimal structures, J. London Math. Soc. (2) 46 (1992), no. 3, 385–396. MR 1190425, DOI 10.1112/jlms/s2-46.3.385
- John W. Green, Harmonic functions in domains with multiple boundary points, Amer. J. Math. 61 (1939), 609–632. MR 90, DOI 10.2307/2371316
- Ehud Hrushovski, The Mordell-Lang conjecture for function fields, J. Amer. Math. Soc. 9 (1996), no. 3, 667–690. MR 1333294, DOI 10.1090/S0894-0347-96-00202-0
- E. Hrushovski, Simplicity and the Lascar group, preprint (1998).
- Ehud Hrushovski and Saharon Shelah, A dichotomy theorem for regular types, Ann. Pure Appl. Logic 45 (1989), no. 2, 157–169. Stability in model theory, II (Trento, 1987). MR 1044122, DOI 10.1016/0168-0072(89)90059-6
- Byunghan Kim, Forking in simple unstable theories, J. London Math. Soc. (2) 57 (1998), no. 2, 257–267. MR 1644264, DOI 10.1112/S0024610798005985
- Byunghan Kim and Anand Pillay, Simple theories, Ann. Pure Appl. Logic 88 (1997), no. 2-3, 149–164. Joint AILA-KGS Model Theory Meeting (Florence, 1995). MR 1600895, DOI 10.1016/S0168-0072(97)00019-5
- Anand Pillay, Geometric stability theory, Oxford Logic Guides, vol. 32, The Clarendon Press, Oxford University Press, New York, 1996. Oxford Science Publications. MR 1429864
- Saharon Shelah, Simple unstable theories, Ann. Math. Logic 19 (1980), no. 3, 177–203. MR 595012, DOI 10.1016/0003-4843(80)90009-1
- S. Shelah, Classification theory and the number of nonisomorphic models, 2nd ed., Studies in Logic and the Foundations of Mathematics, vol. 92, North-Holland Publishing Co., Amsterdam, 1990. MR 1083551
- I. Tomasic and F. O. Wagner, Applications of the group configuration theorems in simple theories, preprint, 2001.
- E. Vassiliev, Expansions of rank $1$ structures, Ph. D. Thesis, Univ. of Notre Dame (2001).
- Frank O. Wagner, Simple theories, Mathematics and its Applications, vol. 503, Kluwer Academic Publishers, Dordrecht, 2000. MR 1747713, DOI 10.1007/978-94-017-3002-0
- Boris Zilber, Uncountably categorical theories, Translations of Mathematical Monographs, vol. 117, American Mathematical Society, Providence, RI, 1993. Translated from the Russian by D. Louvish. MR 1206477, DOI 10.1090/mmono/117
Additional Information
- Tristram de Piro
- Affiliation: Mathematics Department, Massachusetts Institute of Technology, 77 Massachusetts Ave., Cambridge, Massachusetts 02139
- Email: tdpdp@math.mit.edu
- Byunghan Kim
- Affiliation: Mathematics Department, Massachusetts Institute of Technology, 77 Massachusetts Ave., Cambridge, Massachusetts 02139
- Email: bkim@math.mit.edu
- Received by editor(s): January 4, 2002
- Received by editor(s) in revised form: March 11, 2003
- Published electronically: June 18, 2003
- Additional Notes: The second author was supported by an NSF grant
- © Copyright 2003 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 355 (2003), 4241-4263
- MSC (2000): Primary 03C45
- DOI: https://doi.org/10.1090/S0002-9947-03-03327-0
- MathSciNet review: 1990585