Real Lie groups and o-minimality
Annalisa Conversano, Alf Onshuus, Sacha Post

TL;DR
This paper characterizes which real Lie groups can be defined within o-minimal structures, providing a classification up to Lie isomorphism.
Contribution
It offers a classification of real Lie groups that are definable in o-minimal expansions of the real field, up to Lie isomorphism.
Findings
Characterization of definable real Lie groups
Classification up to Lie isomorphism
Connection between Lie groups and o-minimal structures
Abstract
We characterize, up to Lie isomorphism, the real Lie groups that are definable in an o-minimal expansion of the real field.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Homotopy and Cohomology in Algebraic Topology · Advanced Topics in Algebra
