Splitting definably compact groups in o-minimal structures

DOI10.2178/JSL/1309952529MaRDI QIDQ3173535zbMATH OpenOpenAlexFDO

Authors Marcello Mamino

Publication date 10 October 2011

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

fibre bundleso-minimalitydefinable groups

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Sectioning fiber spaces and bundles in algebraic topology (55S40)

Abstract: An argument of A.Borel shows that every compact connected Lie group is homeomorphic to the Cartesian product of its derived subgroup and a torus. We prove a parallel result for definably compact definably connected groups definable in an o-minimal expansion of a real closed field. As opposed to the Lie case, however, we provide an example showing that the derived subgroup may not have a definable semidirect complement.

Recommendations

• A reduction to the compact case for groups definable in o-minimal structures
• Maximal compact subgroups in the o-minimal setting
• The derived subgroup of linear and simply-connected o-minimal groups
• On the homotopy type of definable groups in an o-minimal structure
• On central extensions and definably compact groups in o-minimal structures

Cites work

• scientific article; zbMATH DE number 3086604 (Why is no real title available?)
• Definable Compactness and Definable Subgroups of o-Minimal Groups
• Euler characteristic in semialgebraic and other o-minimal groups
• Higher homotopy of groups definable in o-minimal structures
• ON O-MINIMAL HOMOTOPY GROUPS
• On groups and fields definable in o-minimal structures
• One-dimensional Nash groups
• Sous-groupes commutatifs et torsion des groupes de Lie compacts connexes

Cited in

(10)

• On divisibility in definable groups
• The derived subgroup of linear and simply-connected o-minimal groups
• Maximal compact subgroups in the o-minimal setting
• A reduction to the compact case for groups definable in o-minimal structures
• Generic sets in definably compact groups
• Definability in the group of infinitesimals of a compact Lie group
• Zero-groups and maximal tori
• Constructing a group-interval in \(O\)-minimal structures
• Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions
• On Levi subgroups and the Levi decomposition for groups definable in \(o\)-minimal structures

This page was built for publication: Splitting 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 Q3173535)