Groups definable in weakly o-minimal non-valuational structures

arXiv2001.08209MaRDI QIDQ6333335FDOQ6333335

Authors: Pantelis E. Eleftheriou 

Publication date: 22 January 2020

Abstract: Let $mathcalM$ be a weakly o-minimal non-valuational structure, and $mathcalN$ its canonical o-minimal extension (by Wencel). We prove that every group $G$ definable in $mathcalM$ is a subgroup of a group $K$ definable in $mathcalN$, which is canonical in the sense that it is the smallest such group. As an application, we obtain that $G^{00}=Gcap{K}^{00}$, and establish Pillay's Conjecture in this setting: $G/G^{00}$, equipped with the logic topology, is a compact Lie group, and if $G$ has finitely satisfiable generics, then $di{m}_{Lie}(G/G^{00})=dim(G)$.

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64)

This page was built for publication: Groups definable in weakly o-minimal non-valuational structures

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