Locally definable subgroups of semialgebraic groups

DOI10.1142/S0219061320500099zbMATH Open1485.03130arXiv1812.10682OpenAlexW2979795741WikidataQ127121685 ScholiaQ127121685MaRDI QIDQ5118050FDOQ5118050

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

Publication date: 4 September 2020

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

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$.

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

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

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)

Cites Work

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

Cited In (3)

• Groups definable in local fields and pseudo-finite fields
• Title not available (Why is that?)
• Locally definable groups in o-minimal structures

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)