Abstract
It is known that a definably compact group G is an extension of a compact Lie group L by a divisible torsion-free normal subgroup. We show that the o-minimal higher homotopy groups of G are isomorphic to the corresponding higher homotopy groups of L. As a consequence, we obtain that all abelian definably compact groups of a given dimension are definably homotopy equivalent, and that their universal covers are contractible.
Similar content being viewed by others
References
E. Baro and M. Otero, On o-minimal homotopy groups, The Quarterly Journal of Mathematics, to appear. doi:10.1093/qmath/hap011 http://www.uam.es/personal_pdi/ciencias/ebaro/articulos.html
E. Baro and M. Otero, Locally definable homotopy, Annals of Pure and Applied Logic 161 (2010), 488–503.
A. Berarducci, O-minimal spectra, infinitesimal subgroups and cohomology, Journal of Symbolic Logic 72 (2007), 1177–1193.
A. Berarducci, Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup, Journal of Symbolic Logic 74 (2009), 891–900.
A. Berarducci, Zero-groups and maximal tori, in Logic Colloquium 2004 (A. Andretta, et al. eds.), ASL Lecture Notes in Logic, Vol. 29, 2006, pp. 33–45.
A. Berarducci and M. Otero, O-minimal fundamental group, homology and manifolds, Journal of the London Math. Soc. (2) 65 (2002), 257–270.
A. Berarducci, M. Otero, Y. Peterzil and A. Pillay, A descending chain condition for groups definable in o-minimal structures, Annals of Pure and Applied Logic 134 (2005), 303–313.
D. Bump, Lie Groups, Springer-Verlag, New York, 2004.
M. Edmundo and P. Eleftheriou, The universal covering homomorphism in o-minimal expansions of groups, Mathematical Logic Quarterly 53 (2007), 571–582.
M. Edmundo and M. Otero, Definably compact abelian groups, Journal of Mathematical Logic 4 (2004), 163–180.
E. Hrushovski, Y. Peterzil and A. Pillay, Groups, measures and the NIP, Journal of the American Mathematical Society 21 (2008), 563–596.
M. Otero, A survey on groups definable in o-minimal structures, in Model Theory with Applications to Algebra and Analysis (Z. Chatzidakis, D. Macpherson, A. Pillay and A. Wilkie eds.), Vol. 2, LMS LNS 350, Cambridge University Press, Cambridge, 2008, pp. 177–206.
M. Otero and Y. Peterzil, G-linear sets and torsion points in definably compact groups, Archive of Mathematical Logic 48 (2009), 387–402.
Y. Peterzil, A. Pillay and S. Starchenko, Definably simple groups in o-minimal structures, Transactions of the American Mathematical Society 352 (2000), 4397–4419.
Y. Peterzil, A. Pillay and S. Starchenko, Linear Groups Definable in o-Minimal Structures, Journal of Algebra 247 (2002), 1–23.
Y. Peterzil and S. Starchenko, Definable homomorphisms of abelian groups in o-minimal structures, Annals of Pure and Applied Logic 101 (2000), 1–27.
A. Pillay, Type-definability, compact Lie groups, and o-minimality, Journal of Mathematical Logic 4 (2004), 147–162.
E. H. Spanier, Algebraic topology, McGraw-Hill Book Co., New York, 1966.
L. Van den Dries, Tame Topology and O-minimal Structures, Cambridge University press, Cambridge, MA, 1998.
G. W. Whitehead, Elements of Homotopy Theory, Springer-Verlag, New York, 1978.
Author information
Authors and Affiliations
Corresponding author
Additional information
The first author is partially supported by GEOR MTM2005-02568.
Third author is partially supported by GEOR MTM2005-02568 and Grupos UCM 910444.
Rights and permissions
About this article
Cite this article
Berarducci, A., Mamino, M. & Otero, M. Higher homotopy of groups definable in o-minimal structures. Isr. J. Math. 180, 143–161 (2010). https://doi.org/10.1007/s11856-010-0098-6
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-010-0098-6