A definability criterion for connected Lie groups

DOI10.1112/BLMS.12574MaRDI QIDQ6133258zbMATH OpenOpenAlexWikidataFDO

Authors Alf Onshuus, Sacha Post

Publication date 18 August 2023

Published in Bulletin of the London Mathematical Society (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Homological methods in group theory (20J05) General properties and structure of real Lie groups (22E15)

Abstract: It has been known since cite{Pgroupchunk} that any group definable in an $o$-minimal expansion of the real field can be equipped with a Lie group structure. It is therefore natural to ask when is a Lie group Lie isomorphic to a group definable in such an expansion. Conversano, Starchenko and the first author answered this question in cite{COSsolvable} in the case when the group is solvable. This paper answers similar questions in more general contexts. We first give a complete classification in the case when the group is linear. Specifically, a linear Lie group $G$ is Lie isomorphic to a group definable in an $o$-minimal expansion of the reals if and only if its solvable radical has the same property. We then deal with the general case of a connected Lie group, although unfortunately we cannot achieve a full characterization. Assuming that a Lie group $G$ has a "good Levi descomposition", we prove that in order for $G$ to be Lie isomorphic to a definable group it is necessary and sufficient that its solvable radical satisfies the conditions given in cite{COSsolvable}.

Recommendations

• Real Lie groups and o-minimality
• Linear groups definable in o-minimal structures
• Linearity of groups definable in o-minimal structures
• Groups definable in linear o-minimal structures: the non-compact case
• On Levi subgroups and the Levi decomposition for groups definable in \(o\)-minimal structures

Cites work

• A reduction to the compact case for groups definable in o-minimal structures
• Basic Lie theory
• Commutators in groups definable in o-minimal structures
• Connected components of definable groups and o-minimality. I
• Extensions of Representations of Lie Groups and Lie Algebras, I
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 3212078 (Why is no real title available?)
• Invariance results for definable extensions of groups
• L'application exponentielle dans les groupes de Lie résolubles
• Lie groups and Lie algebras III. Structure of Lie groups and Lie algebras. Transl. from the Russian by V. Minachin
• Linear groups definable in o-minimal structures
• o-MINIMAL FUNDAMENTAL GROUP, HOMOLOGY AND MANIFOLDS
• On groups and fields definable in o-minimal structures
• On Levi subgroups and the Levi decomposition for groups definable in \(o\)-minimal structures
• On the real exponential field with restricted analytic functions
• SOLVABLE LIE GROUPS DEFINABLE IN O-MINIMAL THEORIES
• The universal covering homomorphism in o‐minimal expansions of groups
• The universal covering map in o-minimal expansions of groups

Cited in

(2)

• One Lie group to define them all
• Definable connectedness of randomizations of groups

This page was built for publication: A definability criterion for connected Lie groups

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