Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.37334

Irrationality of the conjugacy growth on Heisenberg groups

Lukas Vandeputte
View original source ↗Read source document ↗Export metadata ↓

Abstract

We demonstrate that the conjugacy growth series for the Heisenberg groups $H_n(\mathbb{Z})$ is never algebraic, irrespective of the generating set. This makes progress towards the conjecture that all finitely presented groups that are not virtually abelian have irrational conjugacy growth series. Contrary to the group $H_3(\mathbb{Z})$, where the conjugacy growth is $n^2\log(n)$, the conjugacy growth of the other Heisenberg groups is polynomial, making these groups the first known nilpotent groups where the irrationality does not follow from the asymptotic growth.

Explore related subjects

math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lukas Vandeputte. 2026-10-27. Irrationality of the conjugacy growth on Heisenberg groups. https://arxiv.org/abs/2610.37334

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

KEEP EXPLORING

Related papers

arXiv2026

The double coset problem for parabolic subgroups of braid groups

We solve the double coset problem for arbitrary parabolic subgroups of the $n$-strand braid group $B_n$, by reducing it to the simultaneous conjugacy problem in the larger group $B_{n+1}$. The resulting decision algorithm is uniform in the braid index and the supplied subgroup generators. We also formulate the reduction for general group embeddings, and apply it to additional commuting constraints, several other spherical Artin types, and finite direct products.

math.GR↗
arXiv2026

Matrix Waring Problem-III

Let $n,k$ be positive integers and $q$ be a prime power. We prove that there exists a real constant $C_k$ depending only on $k$ such that if $ \# M_n(\mathbb{F}_q) > C_k$ then every element in $M_n(\mathbb{F}_q)$ is a sum of two $k$th powers, proving Larsen's conjecture.

math.GR↗
arXiv2026

Failure of the congruence Hasse principle for commutators in orientable surface groups

Ghosh, Meiri and Sarnak showed that the commutator equation over $\mathrm{SL}_2(\mathbb{Z})$ satisfies a profinite local to global principle, and that for a prime $\ell\equiv\pm1$ mod $5$ it fails for $\mathrm{SL}_2(\mathbb{Z}[1/\ell])$ with a reciprocity obstruction. We extend the failure to surface groups. For the genus-$2$ surface group $Γ_2$ we construct an explicit representation $ρ:Γ_2\to\mathrm{SL}_2(\mathcal{O}_{K,S})$, where $K=\mathbb{Q}(\sqrt{5})$ and $\mathcal{O}_{K,S}=\mathbb{Z}[\frac{1+\sqrt{5}}{2},\frac{1}{10}]$, whose quotients modulo the maximal ideals are the full groups $\mathrm{SL}_2(\mathbb{F}_q)$ except in residue characteristic $3$, where the quotient has order $24$. For every $k\ge2$ the word $[a_1,b_1]^k$ is not a commutator in $Γ_2$, while its image is a commutator in every one of these quotients. The same holds for every surface group $Γ_g$ with $g\ge2$.

math.GR↗