Expansions of the real field by discrete subgroups of Gl_n(C)

DOI10.1090/PROC/15382MaRDI QIDQ5856979zbMATH OpenOpenAlexFDO

Authors Philipp Hieronymi, Erik Walsberg, Samantha Xu

Publication date 30 March 2021

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Abstract: Let $Gamma$ be an infinite discrete subgroup of Gl${}_n(mathbbC)$. Then either $(mathbbR,<,+,cdot,Gamma)$ is interdefinable with $(mathbbR,<,+,cdot,lambd{a}^{m}athbbZ)$ for some $lambdainmathbbR$, or $(mathbbR,<,+,cdot,Gamma)$ defines the set of integers. When $Gamma$ is not virtually abelian, the second case holds.

Recommendations

• Expansions of subfields of the real field by a discrete set
• Defining the set of integers in expansions of the real field by a closed discrete set
• On expansions of the real field by complex subgroups
• Defining additive subgroups of the reals from convex subsets
• Lattices in locally definable subgroups of \(\langle R^{n},+\rangle\)

Cites work

• Definability and decision problems in arithmetic
• Definable groups in models of Presburger arithmetic
• Defining the set of integers in expansions of the real field by a closed discrete set
• Dependent pairs
• Distal and non-distal pairs
• Expansions of subfields of the real field by a discrete set
• Free subgroups in linear groups
• Groups of intermediate growth: an introduction.
• Groups of polynomial growth and expanding maps. Appendix by Jacques Tits
• Growth of finitely generated solvable groups
• Growth of finitely generated solvable groups and curvature of Riemannian manifolds
• scientific article; zbMATH DE number 3824080 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1444018 (Why is no real title available?)
• scientific article; zbMATH DE number 3319625 (Why is no real title available?)
• scientific article; zbMATH DE number 2222021 (Why is no real title available?)
• scientific article; zbMATH DE number 3065879 (Why is no real title available?)
• Lectures on analysis on metric spaces
• Linear groups definable in o-minimal structures
• Metric dimensions and tameness in expansions of the real field
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• On expansions of the real field by complex subgroups
• The field of reals with a predicate for the powers of two
• THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
• The model theory of the field of reals with a subgroup of the unit circle
• The real field with an irrational power function and a dense multiplicative subgroup
• Theory of Lie groups
• Wild theories with o-minimal open core

Cited in

(6)

• On expansions of the real field by complex subgroups
• Expansions of the ordered additive group of real numbers by two discrete subgroups
• Expansions of subfields of the real field by a discrete set
• Defining additive subgroups of the reals from convex subsets
• Defining the set of integers in expansions of the real field by a closed discrete set
• Disjoint pairs for \(\text{GL}_n (\mathbb R)\) and \(\text{GL}_n (\mathbb C)\)

This page was built for publication: Expansions of the real field by discrete subgroups of \(\mathrm{Gl}_n(\mathbb{C})\)

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