arXiv Science⌕ Search

arXiv · 2610.24836

An example of a non-sofic hyperbolic group

Abstract

We construct a torsion-free, two-dimensional, word-hyperbolic group which is not sofic. Our construction builds on OpenAI's construction of a non-residually finite hyperbolic group, see OpenAI 252.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Harjas Sandhu, Andreas Thom. 2026-10-17. An example of a non-sofic hyperbolic group. https://arxiv.org/abs/2610.24836

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

KEEP EXPLORING

Related papers

On the quasi-isometric classification of permutational wreath products

In this article, we initiate the study of the large-scale geometry of permutational wreath products of the form $F\wr_{H/N}H$, where $H$ is finitely presented and where $N$ is a normal subgroup of $H$ satisfying a certain assumption of non coarse separation. The main result is a complete classification of such permutational wreath products up to quasi-isometry, building up on previous works from Genevois and Tessera. For instance, we show that, for $d\ge k\ge 2$, $\mathbb{Z}_{n}\wr_{\mathbb{Z}^{k}} \mathbb{Z}^d$ and $\mathbb{Z}_{m}\wr_{\mathbb{Z}^{k}}\mathbb{Z}^d$ are quasi-isometric if and only if $n$ and $m$ are powers of a common number. We also discuss biLipschitz equivalences between permutational wreath products, their scaling groups, as well as the quasi-isometric classification of other halo products built out of such permutational lamplighters.

math.GR↗

A zero-one law for the spectral gap property of pairs in SU(2)

For $n \ge 2$, Gamburd, Jakobson, and Sarnak [J. Eur. Math. Soc. 1, 51-85 (1999)] conjectured that almost every $n$-tuple in $\mathrm{SU}(2)$ has a spectral gap. Toward this conjecture, Fisher [Int. Math. Res. Not. (2006)] established a zero-one law for $n \ge 3$, but obtained only a partial result for $n=2$. In this paper, we prove that the zero-one law also holds for $n=2$. We also remark that a Baire categorical analogue of this result holds.

math.GR↗

On the class-breadth conjecture for $p$-groups

The class-breadth conjecture of Leedham-Green, Neumann and Wiegold states that the nilpotency class of any $p$-group is at most $b(G) + 1$, where $\displaystyle{b(G) = \max_{g\in G}\log_p[G:Z_G(g)]}$ denotes the breadth of a group $G$. While several counter-examples to this conjecture have been found for $p = 2$, it is still open in general for $p > 2$. This article is dedicated to the general case $p > 2$ of the conjecture.

math.GR↗