Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.09524

Higher Brin--Thompson groups are Kazhdan

Francesco Fournier-Facio·Roman Sauer·Eduard Schesler
View original source ↗Read source document ↗Export metadata ↓

Abstract

We give an algebraic criterion for certain sequences $(G_n)_{n\in\mathbb{N}}$ of groups to have Kazhdan's property $(T)$ eventually. As a consequence, we prove that the Brin--Thompson groups $nV$ have Kazhdan's property $(T)$ for large $n$. The algebraic criterion provides a uniform proof that $nV$, $\mathrm{Aut}(F_n)$ and $\mathrm{EL}_n(R)$ for a finitely generated associative unital ring $R$ have property $(T)$ for large $n$. In an appendix, written by Francesco Fournier-Facio, it is shown that the group $nV$ for large $n$ is neither hyperlinear, in particular not sofic, nor $\mathrm{MF}$. Further, it is not Schatten $p$-approximable for any $1\le p<\infty$.

Explore related subjects

math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Francesco Fournier-Facio, Roman Sauer, Eduard Schesler. 2026-10-07. Higher Brin--Thompson groups are Kazhdan. https://arxiv.org/abs/2610.09524

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

KEEP EXPLORING

Related papers

arXiv2026

Locally approximating groups of homeomorphisms of manifolds

Let $M$ be a compact, connected manifold of positive dimension, and let $\mathcal G\leq\mathrm{Homeo}(M)$ be locally approximating. If $\mathrm{dim} M\geq 2$, we construct a uniform parameter-free interpretation of standard first-order arithmetic in $\mathcal G$. The same construction applies in dimension one under a component-selection hypothesis, which holds for the usual piecewise-linear and Thompson-group examples, as well as for full homeomorphism and diffeomorphism groups. We also define finite word evaluation and membership in finitely generated subgroups, and derive consequences for finite generation, prime models, and quasi-finite axiomatizability. In dimension one, we construct countable recursively saturated locally approximating groups of homeomorphisms of the interval and circle which do not interpret standard arithmetic, even with parameters. Finally, we prove an action rigidity result: if $M$ is closed and admits a combinatorial triangulation, $\mathcal G\leq\mathrm{Homeo}(M)$ is locally approximating, and $H\equiv\mathcal G$ admits a locally approximating action on a compact connected topological manifold $N$, then $N$ is homeomorphic to $M$.

math.GR↗
arXiv2026

On rational orbits in some prehomogeneous vector spaces

Let $k$ be a field with characteristic different from $2$. In this paper, we describe the $k$-rational orbit spaces in some irreducible prehomogeneous vector spaces $(G,V)$, where $G$ is a connected reductive algebraic group and $V$ is an irreducible rational representation of $G$ with a Zariski dense open orbit over the field $k$. We prove that all composition algebras over $k$ appear as orbit spaces in some of these representations associated to the group $Sp_{6}$. This leads to a parametric description of the reduced Freudenthal algebras of dimensions $6$ and $9$ over $k$ (if $\text{char}(k)\neq 2,3$). In this process, we provide a construction of the irreducible representation of $Sp_{6}$ with dimension $14$ from the split octonion algebra. We also get the orbit decomposition in the irreducible representation of dimension $7$ and the corresponding octonion algebra of any simple connected group of type $G_{2}$, and a parametrization of the isotopes of any Freudenthal algebra over $k$.

math.GR↗
arXiv2026

Resolving Thinness of Degree-Six Symplectic Hypergeometric Monodromy Groups

We prove arithmeticity for two degree-six symplectic hypergeometric monodromy groups and thinness for a third case. These are the three open cases called C-32, C-47, and C-55 in the paper [BDN25] by Bajpai--Dona--Nitsche. This hence settles thinness of primitive integral symplectic hypergeometric monodromy groups of degree-six, according to the tabulation by Bajpai--Dona--Singh--Singh [BDSS21]. The arithmeticity certificates were found with AlphaEvolve and the thinness certificate is a ping pong table found by a harness that was configured to run ChatGPT 5.5. These certificates are then independently verified with exact matrix arithmetic over Q using a computer. We also include illustrations of limit sets of several degree-six symplectic hypergeometric monodromy groups.

math.GR↗