Locally definable subgroups of semialgebraic groups

DOI10.1142/S0219061320500099MaRDI QIDQ5118050zbMATH OpenOpenAlexWikidataFDO

Authors Pantelis E. Eleftheriou, Elías Baro, Ya'acov Peterzil

Publication date 4 September 2020

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

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

zbMATH Keywords

latticeslocally definable groupsgeneric setssemialgebraic groupsapproximate groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Abelian groups (20K99) Applications of logic to group theory (20A15)

Abstract: We prove the following instance of a conjecture stated in arXiv:1103.4770. Let $G$ be an abelian semialgebraic group over a real closed field $R$ and let $X$ be a semialgebraic subset of $G$. Then the group generated by $X$ contains a generic set and, if connected, it is divisible. More generally, the same result holds when $X$ is definable in any o-minimal expansion of $R$ which is elementarily equivalent to $mathbb{R}_{an,exp}$. We observe that the above statement is equivalent to saying: there exists an $m$ such that $Sigm{a}_{i=1}^m(X-X)$ is an approximate subgroup of $G$.

Recommendations

• Discrete subgroups of locally definable groups
• Lattices in locally definable subgroups of \(\langle R^{n},+\rangle\)
• Linear groups definable in o-minimal structures
• Simple algebraic and semialgebraic groups over real closed fields
• A note on generic subsets of definable groups

Cites work

• scientific article; zbMATH DE number 2120946 (Why is no real title available?)
• Algebraic differential equations from covering maps
• Approximate subgroups
• Definability of restricted theta functions and families of abelian varieties
• Definable Compactness and Definable Subgroups of o-Minimal Groups
• Definable homomorphisms of abelian groups in o-minimal structures
• Definable quotients of locally definable groups
• Definably compact groups definable in real closed fields
• Discrete subgroups of locally definable groups
• Groups definable in local fields and pseudo-finite fields
• Groups, measures, and the NIP
• Lattices in locally definable subgroups of \(\langle R^{n},+\rangle\)
• Linear groups definable in o-minimal structures
• Locally definable groups in o-minimal structures
• Locally definable homotopy
• On the real exponential field with restricted analytic functions
• On the theory of \(\vartheta\)-functions, the moduli of Abelian varieties, and the moduli of curves
• On torsion-free groups in o-minimal structures
• Stable group theory and approximate subgroups
• The universal covering homomorphism in o‐minimal expansions of groups

Cited in

(6)

• Groups definable in local fields and pseudo-finite fields
• scientific article; zbMATH DE number 4175137 (Why is no real title available?)
• Locally definable groups in o-minimal structures
• Some definability results in abstract Kummer theory
• Discrete subgroups of locally definable groups
• Lattices in locally definable subgroups of \(\langle R^{n},+\rangle\)

This page was built for publication: Locally definable subgroups of semialgebraic groups

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