English

A definability criterion for connected Lie groups

Logic 2020-06-18 v2 Group Theory Representation Theory

Abstract

It has been known since \cite{Pgroupchunk} that any group definable in an oo-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 GG is Lie isomorphic to a group definable in an oo-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 GG has a "good Levi descomposition", we prove that in order for GG to be Lie isomorphic to a definable group it is necessary and sufficient that its solvable radical satisfies the conditions given in \cite{COSsolvable}.

Keywords

Cite

@article{arxiv.1910.11287,
  title  = {A definability criterion for connected Lie groups},
  author = {Alf Onshuus and Sacha Post},
  journal= {arXiv preprint arXiv:1910.11287},
  year   = {2020}
}
R2 v1 2026-06-23T11:54:03.192Z