Abstract
We work in the category of locally definable groups in an o-minimal expansion of a field. Eleftheriou and Peterzil conjectured that every definably generated abelian connected group \(G\) in this category is a cover of a definable group. We prove that this is the case under a natural convexity assumption inspired by the same authors, which in fact gives a necessary and sufficient condition. The proof is based on the study of the zero-dimensional compatible subgroups of \(G\). Given a locally definable connected group \(G\) (not necessarily definably generated), we prove that the \(n\)-torsion subgroup of \(G\) is finite and that every zero-dimensional compatible subgroup of \(G\) has finite rank. Under a convexity hypothesis, we show that every zero-dimensional compatible subgroup of \(G\) is finitely generated.
Similar content being viewed by others
References
Baro, E., Otero, M.: Locally definable homotopy. Ann. Pure Appl. Logic 161(4), 488–503 (2010)
Berarducci, A., Otero, M.: O-minimal fundamental group, homology and manifolds. J. Lond. Math. Soc. 2(65), 257–270 (2002)
Berarducci, A., Otero, M., Peterzil, Y., Pillay, A.: A descending chain condition for groups definable in o-minimal structures. Ann. Pure Appl. Log. 134(2–3), 303–313 (2005)
Dold, A.: Lectures on Algebraic Topology, Reprint of the 1980 ed, p. 377+XI. Springer, Berlin (1995)
Edmundo, M.J.: On Torsion Points of Locally Definable Groups in o-minimal Structures, Preprint 2003, Revised 11 Feb. 2005, pp. 1–26 (http://www.ciul.ul.pt/edmundo/)
Edmundo, M.J.: Covers of groups definable in o-minimal structures. Ill. J. Math. 49(1), 99–120 (2005)
Edmundo, M.J.: Locally definable groups in o-minimal structures. J. Algebra 301(1), 194–223 (2006)
Edmundo, Mário J., Eleftheriou, Pantelis E.: The universal covering homomorphism in o-minimal expansions of groups. Math. Log. Q. 53(6), 571–582 (2007)
Edmundo, M.J., Otero, M.: Definably compact abelian groups. J. Math. Log. 4(2), 163–180 (2004)
Eleftheriou, P.E.: Non-standard lattices and o-minimal groups, Preprint, Jan. 24, 2012, pp. 1–16 (2012)
Eleftheriou, P.E., Peterzil, Y.: Definable quotients of locally definable groups. Selecta Mathematica 18, 885–903 (2012)
Eleftheriou, P.E., Peterzil, Y.: Lattices in locally definable subgroups of \(\langle R^{n},+\rangle \), Preprint Feb. 11 (2012), 1–12. To appear in Notre Dame Journal of Formal Logic
Hrushovski, E., Peterzil, Y., Pillay, A.: Groups, measures, and the NIP. J. Am. Math. Soc. 21(02), 563–597 (2008)
Peterzil, Ya’acov, Starchenko, Sergei: Definable homomorphisms of abelian groups in o-minimal structures. Ann. Pure Appl. Log. 101(1), 1–27 (2000)
Mimura, M., Toda, H.: Topology of Lie Groups I and II. American Mathematical Society, 1991 edition, pp. 451+iii
Pillay, Anand: On groups and fields definable in o-minimal structures. J. Pure Appl. Algebra 53(3), 239–255 (1988)
Shelah, Saharon: Can the fundamental (homotopy) group of a space be the rationals? Proc. Am. Math. Soc. 103(2), 627–632 (1988)
Tent, K., Ziegler, M.: A Course in Model Theory, p. x+248. Cambridge University Press, Cambridge (2012)
van den Dries, L.: Tame Topology and o-minimal Structures, London Mathematical Society Lecture Note Series, 248, p. x+180. Cambridge University Press, Cambridge (1998)
Whitehead, G.W.: Elements of Homotopy Theory, p. 744+xxi. Springer, Berlin (1978)
Acknowledgments
The main results of this paper have been presented on February 2, 2012 at the Logic Seminar of the Mathematical Institute in Oxford. The first author thanks Jonathan Pila for the kind invitation. We also thank Margarita Otero, Pantelis Eleftheriou, Kobi Peterzil, and the anonymous referee for their comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Partially supported by PRIN 2009WY32E8_003: O-minimalità, teoria degli insiemi, metodi e modelli non standard e applicazioni.
Partially supported by Fundação para a Ciência e a Tecnologia PEst OE/MAT/UI0209/2011.
Partially supported by Fundação para a Ciência e a Tecnologia grant SFRH/BPD/73859/2010.
Rights and permissions
About this article
Cite this article
Berarducci, A., Edmundo, M. & Mamino, M. Discrete subgroups of locally definable groups. Sel. Math. New Ser. 19, 719–736 (2013). https://doi.org/10.1007/s00029-013-0123-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00029-013-0123-9