On central extensions and definably compact groups in o-minimal structures

DOI10.1016/J.JALGEBRA.2010.11.001zbMATH Open1220.03033arXiv0811.0089OpenAlexW2963559413MaRDI QIDQ536010FDOQ536010

Anand Pillay, Ehud Hrushovski, Ya'acov Peterzil

Publication date: 16 May 2011

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is elementarily equivalent to (G/G^00, .). We also prove results on the internality of finite covers of G in an o-minimal environment, as well as the full compact domination conjecture. These results depend on key theorems about the interpretability of central and finite extensions of definable groups, in the o-minimal context. These methods and others also yield interpretability results for universal covers of arbitrary definable real Lie groups, from which we can deduce the semialgebraicity of finite covers of Lie groups such as SL(2,R).

Full work available at URL: https://arxiv.org/abs/0811.0089

Recommendations

• Definable groups as homomorphic images of semi-linear and field-definable groups
• Higher homotopy of groups definable in o-minimal structures
• Commutators in groups definable in o-minimal structures
• On the homotopy type of definable groups in an o-minimal structure
• Group covers, o-minimality, and categoricity

zbMATH Keywords

central extensionso-minimalitydefinably compact groupscompact dominationo-minimal expansions of real closed fieldsreal Lie groupssemialgebraic groupsuniversal covers

Mathematics Subject Classification ID

Compact groups (22C05) Model theory of ordered structures; o-minimality (03C64) General properties and structure of real Lie groups (22E15)

Cites Work

• Title not available (Why is that?)
• Model theory of modules
• Title not available (Why is that?)
• Title not available (Why is that?)
• O-minimal spectra, infinitesimal subgroups and cohomology
• Title not available (Why is that?)
• The structure of compact groups. A primer for the student -- a handbook for the expert
• On groups and fields definable in o-minimal structures
• Definably simple groups in o-minimal structures
• Solvable groups definable in o-minimal structures.
• A survey on groups definable in o-minimal structures
• Groups, measures, and the NIP
• Definable homomorphisms of abelian groups in o-minimal structures
• Covers of groups definable in o-minimal structures
• o-MINIMAL FUNDAMENTAL GROUP, HOMOLOGY AND MANIFOLDS
• DEFINABLY COMPACT ABELIAN GROUPS
• The universal covering homomorphism in o‐minimal expansions of groups
• Groups definable in ordered vector spaces over ordered division rings
• Invariance results for definable extensions of groups
• The last word on elimination of quantifiers in modules
• Euler characteristic in semialgebraic and other o-minimal groups
• Generic sets in definably compact groups
• Definable Compactness and Definable Subgroups of o-Minimal Groups
• Simple algebraic and semialgebraic groups over real closed fields
• Covers of abelian varieties as analytic Zariski structures
• Linear groups definable in o-minimal structures
• Returning to semi-bounded sets
• Lie groups and Lie algebras I. Foundations of Lie theory. Lie transformation groups. Transl. from the Russian by A. Kozlowski
• On Groups and Rings Definable In O-Minimal Expansions of Real Closed Fields
• Zero-groups and maximal tori
• A reduction to the compact case for groups definable in o-minimal structures

Cited In (23)

• Invariance results for definable extensions of groups
• Groups definable in two orthogonal sorts
• Nilpotent groups, o-minimal Euler characteristic, and linear algebraic groups
• Non-standard lattices and o-minimal groups
• The derived subgroup of linear and simply-connected o-minimal groups
• A reduction to the compact case for groups definable in o-minimal structures
• Real Lie groups and o-minimality
• Definable groups as homomorphic images of semi-linear and field-definable groups
• One Lie group to define them all
• Interpretable groups are definable
• Variations on a theme of de Aldama and Shelah
• Pillay's conjecture for groups definable in weakly o‐minimal non‐valuational structures
• Commutators in groups definable in o-minimal structures
• Connected components of definable groups and o-minimality. I
• Orthogonal decomposition of definable groups
• Extensions of definable local homomorphisms in o-minimal structures and semialgebraic groups
• Definable topological dynamics and real Lie groups
• Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions
• Cartan subgroups of groups definable in o-minimal structures
• The universal covering homomorphism in o‐minimal expansions of groups
• Definability in the group of infinitesimals of a compact Lie group
• Maximal compact subgroups in the o-minimal setting
• Connected components of definable groups, and o-minimality. II.

This page was built for publication: On central extensions and definably compact groups in o-minimal structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q536010)