Uniform small cancellation in torsion-free hyperbolic groups

Olga Kharlampovich; Rizos Sklinos

Home/Archive/arXiv

arXiv · 2610.11100

Uniform small cancellation in torsion-free hyperbolic groups

Olga Kharlampovich·Rizos Sklinos

View original source ↗Read source document ↗Export metadata ↓

Abstract

We establish a uniform small cancellation theorem for non-elementary torsion-free hyperbolic groups: given any prescribed small cancellation constant, finitely many fixed words suffice to produce a small cancellation element from every pair of noncommuting elements. As an application, we prove that the first-order theory of every non-elementary torsion-free hyperbolic group does not admit a model companion.

Explore related subjects

math.GR math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Olga Kharlampovich, Rizos Sklinos. 2026-10-08. Uniform small cancellation in torsion-free hyperbolic groups. https://arxiv.org/abs/2610.11100

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Some questions related to free-by-cyclic groups and tubular groups

We prove that a CAT(0) free-by-cyclic tubular group with a single vertex is virtually special, but many of them cannot virtually act freely and cocompactly on CAT(0) cube complexes. This partially confirms a question of Brady--Soroko \cite[Section 9: Question 1]{BS} and answers a question of Lyman \cite[Question 1]{Ly} in the negative. Furthermore, we provide examples of free-by-cyclic groups amalgamated along cyclic subgroups that are not virtually free-by-cyclic. This answers negatively a question of Hagen--Wise \cite[Remark 3.6]{hw}. Lastly, we exhibit an example of a cyclic-subgroup-separable tubular group that does not have the property (VRC) (i.e. every cyclic subgroup is a virtual retract). This answers a question of Minasyan \cite[Question 11.6]{min} in the negative.

math.GR↗

arXiv2026

Finite quotients of spherical Artin groups

We show the smallest non-abelian quotients of spherical and affine Artin groups are isomorphic to the smallest non-abelian quotients of the corresponding Coxeter groups. We deduce irreducible spherical Artin groups are determined by their finite quotient groups.

math.GR↗

arXiv2026

Soficity of One-Relator Groups and Reducible Presentations

We prove that every one-relator group is sofic, answering a question of Nate Brown. More generally, every group admitting a reducible presentation without proper powers is sofic, with one proper-power relation allowed at the final reducible step. The proof starts from the endpoint-preserving edge replacements of Poulin--Wróbel. We retain the free-group word carried by each terminal replacement and use it to define an \(F(S)\)-valued cocycle repair; in its relative form, the repair preserves the previously chosen generator coordinates while controlling the new relator defect. Coinduction transports the lower cocycle through successive one-relator-product extensions, allowing the construction to be iterated along reducible presentations. For a final relator \(w^m\), cyclic translates of the repaired set amplify a zero-defect set of measure close to \(1/m\) to one of measure close to one. A cocycle criterion then converts arbitrarily small relator defect into finite permutation approximations via a treeable skew-product orbit relation.

math.GR↗