A topological zero-one law and elementary equivalence of finitely generated groups

DOI10.1016/J.APAL.2020.102915MaRDI QIDQ2220487zbMATH OpenOpenAlexFDO

Authors Denis Osin

Publication date 25 January 2021

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

zero-one lawhyperbolic groupselementary equivalencethe space of finitely generated marked groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Generators, relations, and presentations of groups (20F05) Geometric group theory (20F65) Hyperbolic groups and nonpositively curved groups (20F67) Descriptive set theory (03E15) Other infinitary logic (03C75)

Abstract: Let $mathcalG$ denote the space of finitely generated marked groups. We give equivalent characterizations of closed subspaces $mathcalSsubseteqmathcalG$ satisfying the following zero-one law: for any sentence $sigma$ in the infinitary logic $mathcal{L}_{omeg{a}_1,omega}$, the set of all models of $sigma$ in $mathcalS$ is either meager or comeager. In particular, we show that the zero-one law holds for certain natural spaces associated to hyperbolic groups and their generalizations. As an application, we obtain that generic torsion-free lacunary hyperbolic groups are elementarily equivalent; the same claim holds for lacunary hyperbolic groups without non-trivial finite normal subgroups. Our paper has a substantial expository component. We give streamlined proofs of some known results and survey ideas from topology, logic, and geometric group theory relevant to our work. We also discuss some open problems.

Recommendations

• The space of finitely generated groups
• Generic algebraic properties in spaces of enumerated groups
• Elementary equivalence vs. commensurability for hyperbolic groups
• Limit groups as limits of free groups.
• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group

Cites work

• scientific article; zbMATH DE number 5012619 (Why is no real title available?)
• scientific article; zbMATH DE number 5343235 (Why is no real title available?)
• scientific article; zbMATH DE number 4031953 (Why is no real title available?)
• scientific article; zbMATH DE number 3661591 (Why is no real title available?)
• scientific article; zbMATH DE number 51735 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1759397 (Why is no real title available?)
• scientific article; zbMATH DE number 1385418 (Why is no real title available?)
• scientific article; zbMATH DE number 3227055 (Why is no real title available?)
• A Glimm-Effros Dichotomy for Borel Equivalence Relations
• A geometric zero-one law
• A minimal Cantor set in the space of 3-generated groups.
• AN UNCOUNTABLE FAMILY OF 3-GENERATED GROUPS WITH ISOMORPHIC PROFINITE COMPLETIONS
• Acylindrical accessibility for groups
• Acylindrically hyperbolic groups with exotic properties
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• An interpolation theorem for denumerably long formulas
• Chain conditions, elementary amenable groups, and descriptive set theory
• Combinatorial group theory.
• Corrigendum to: ``Conjugacy growth of finitely generated groups
• Counting the number of equivalence classes of Borel and coanalytic equivalence relations
• DEGREES OF GROWTH OF FINITELY GENERATED GROUPS, AND THE THEORY OF INVARIANT MEANS
• Dehn filling in relatively hyperbolic groups.
• Dehn's algorithm for the word problem
• Describing Groups
• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• Direct products and the Hopf property
• ELEMENTARY SUBGROUPS OF RELATIVELY HYPERBOLIC GROUPS AND BOUNDED GENERATION
• Elementary theory of free non-abelian groups.
• Extending group actions on metric spaces
• Groups acting acylindrically on hyperbolic spaces
• Homomorphisms to acylindrically hyperbolic groups. I: Equationally Noetherian groups and families
• Hyperbolic structures on groups
• Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces
• Infinitary logics and 0-1 laws
• Invariant Borel sets
• Isomorphism of finitely generated solvable groups is weakly universal.
• Iterated monodromy groups
• Lacunary hyperbolic groups. With an appendix by Michael Kapovich and Bruce Kleiner.
• Lectures on Infinitary Model Theory
• Limite d'ensembles et géométrie des nombres
• Non-Hopfian Groups
• ON RESIDUALING HOMOMORPHISMS AND G-SUBGROUPS OF HYPERBOLIC GROUPS
• ON THE IMPOSSIBILITY OF STRENGTHENING CERTAIN RESULTS OF GREENDLINGER AND LYNDON
• ON THE NOVIKOV-ADYAN THEOREM
• On Residualizing Homomorphisms Preserving Quasiconvexity<sup>#</sup>
• On the Bass-Lubotzky question about quotients of hyperbolic groups
• On the Universal Theory of Torsion and Lacunary Hyperbolic Groups
• On the complexity of the isomorphism relation for finitely generated groups
• On the concept of ``largeness in group theory.
• Peripheral fillings of relatively hyperbolic groups.
• Probabilities on finite models
• Profinite completions and isomorphic finite quotients
• Quasi‐isometric diversity of marked groups
• Random groups do not split.
• Relative hyperbolicity and relative quasiconvexity for countable groups.
• Relatively hyperbolic groups: intrinsic geometry, algebraic properties, and algorithmic problems
• Rigidity of commensurators and irreducible lattices
• Small cancellation in acylindrically hyperbolic groups
• Small cancellations over relatively hyperbolic groups and embedding theorems.
• The SQ-universality and residual properties of relatively hyperbolic groups.
• The space of finitely generated groups
• The verbal topology of a group
• Three dimensional manifolds, Kleinian groups and hyperbolic geometry
• Tight geodesics in the curve complex

Cited in

(4)

• Finitely presented condensed groups
• Descriptive complexity of subsets of the space of finitely generated groups
• Condensed groups in product varieties
• Cohomology of group theoretic Dehn fillings. II

This page was built for publication: A topological zero-one law and elementary equivalence of finitely generated groups

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