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

DOI10.1016/J.APAL.2020.102915zbMATH Open1498.03085arXiv2004.07479OpenAlexW3097084234MaRDI QIDQ2220487FDOQ2220487

Authors: Denis Osin 

Publication date: 25 January 2021

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

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.

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

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

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)

Cites Work

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

Cited In (4)

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

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)