Resumen
Hrushovski demostró que la teoría de cuerpos diferenciables de diferencia de característica cero tiene una modelo-compañera. La denotamos DCFA. En este artículo estudiamos los grupos abelianos en un modelo de DCFA. Primero demostramos que tales grupos son isomorfos a un subgrupo de un grupo algebraico. Posteriormente, estudiaremos las propiedades de ser monobasados, estables y establemente inmersibles de grupos definibles abelianos.
Citas
R. Bustamante, Differentially closed fields of characteristic zero with a generic automorphism, Revista de Matemática: Teoría y Aplicaciones 14 (2007), no. 1, 81–100.
R. Bustamante, Algebraic jet spaces and Zilber’s dichotomy in DCFA, Revista de Matemática: Teoría y Aplicaciones 17 (2010), no. 1, 1–12.
R. Bustamante, Rank and dimension in difference-differential fields, Notre Dame Journal of Formal Logic 52 (2011), no. 4, 403–414.
R. Bustamante, Arc spaces and Zilber’s dichotomy in dcfa, submitted, 2019.
Z. Chatzidakis, E. Hrushovski, Model theory of difference fields, Trans. Amer. Math. Soc. 351 (1999), no. 8, 2997–3071.
Z. Chatzidakis, A. Pillay, Generic structures and simple theories, Ann. Pure Appl. Logic 95 (1998), no. 1-3, 71–92.
E. Hrushovski, Unidimensional theories are superstable, Ann. Pure Appl. Logic 50 (1990), no. 2, 117–137.
E. Hrushovski, The Manin-Mumford conjecture and the model theory of difference fields, Ann. Pure Appl. Logic 112 (2001), no. 1, 43–115.
P. Kowalski, A. Pillay, A note on groups definable in difference fields, Proc. Amer. Math. Soc. 130 (2001), no. 1, 205–212.
S. Lang, Abelian Varieties, reprint of the 1959 original, Springer, New York, 1983.
D. Marker, Manin kernels, Connections between model theory and algebraic and analytic geometry, Vol. 6, Dipartimento di Matematica della Seconda Univ. di Napoli, Caserta, 2000.
A. Pillay, Some foundational questions concerning differential algebraic groups, Pacific J. Math. 179 (1997), no. 1, 179–200.
A. Pillay, Definability and definable groups in simple theories, J. Symbolic Logic 63 (1998), no. 3, 788–796.
F. O. Wagner, Simple Theories, Kluwer Academic Publishers, Dordrecht, 2000.
F. O. Wagner, Some remarks on one-basedness, J. Symbolic Logic 69 (2004), no. 1, 34–38.
Comentarios
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-CompartirIgual 4.0.
Derechos de autor 2019 Ronald F. Bustamante-Medina