Definability in the group of infinitesimals of a compact Lie group

DOI10.5802/CML.58MaRDI QIDQ2074012zbMATH OpenOpenAlexWikidataFDO

Authors Martin Bays, Ya'acov Peterzil

Publication date 4 February 2022

Published in Confluentes Mathematici (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

bi-interpretationcompact Lie groupinfinitesimal subgroupmodel theoryo-minimalityvalued field

Mathematics Subject Classification ID

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

Abstract: We show that for $G$ a simple compact Lie group, the infinitesimal subgroup $G^{00}$ is bi-intepretable with a real closed valued field. We deduce that for $G$ an infinite definably compact group definable in an o-minimal expansion of a field, $G^{00}$ is bi-interpretable with the disjoint union of a (possibly trivial) $mathbbQ$-vector space and finitely many (possibly zero) real closed valued fields. We also describe the isomorphisms between such infinitesimal subgroups, and along the way prove that every {em definable} field in a real closed convexly valued field $R$ is definably isomorphic to $R$.

Recommendations

• Real Lie groups and o-minimality
• TYPE-DEFINABILITY, COMPACT LIE GROUPS, AND o-MINIMALITY
• Splitting definably compact groups in o-minimal structures
• Simple algebraic and semialgebraic groups over real closed fields
• O-minimal spectra, infinitesimal subgroups and cohomology

Cites work

• A trichotomy theorem for o-minimal structures
• Commutators of small elements in compact semisimple groups and Lie algebras
• Definable Compactness and Definable Subgroups of o-Minimal Groups
• Definably simple groups in o-minimal structures
• scientific article; zbMATH DE number 42092 (Why is no real title available?)
• scientific article; zbMATH DE number 47220 (Why is no real title available?)
• scientific article; zbMATH DE number 51906 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• Imaginaries in real closed valued fields
• Lie groups beyond an introduction
• O-minimal spectra, infinitesimal subgroups and cohomology
• On central extensions and definably compact groups in o-minimal structures
• On fields definable in \(Q_ p\)
• On groups and fields definable in o-minimal structures
• On Groups and Rings Definable In O-Minimal Expansions of Real Closed Fields
• Quantum theory, groups and representations. An introduction
• Real closed rings. II. Model theory
• Simple algebraic and semialgebraic groups over real closed fields
• Some Model Theory of Compact Lie Groups
• Stetigkeitssätze für halbeinfache Liesche Gruppen
• TYPE-DEFINABILITY, COMPACT LIE GROUPS, AND o-MINIMALITY
• Type-definable and invariant groups in o-minimal structures
• Valued fields, metastable groups
• Weakly o-minimal structures and real closed fields

Cited in

(7)

• One Lie group to define them all
• Definably compact groups definable in real closed fields
• Interpretable fields in various valued fields
• On the model theory of the logarithmic function in compact Lie groups
• Defining additive subgroups of the reals from convex subsets
• Real Lie groups and o-minimality
• On groups and fields definable in \(1\)-\(\mathrm{h}\)-minimal fields

This page was built for publication: Definability in the group of infinitesimals of a compact Lie group

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