Uniform Upper Bounds for Conjugacy Separability Growth in Nilpotent Groups

Jonas Deré; Lukas Vandeputte

Home/Archive/arXiv

arXiv · 2610.03074

Uniform Upper Bounds for Conjugacy Separability Growth in Nilpotent Groups

Jonas Deré·Lukas Vandeputte

View original source ↗Read source document ↗Export metadata ↓

Abstract

A group is conjugacy separable if every pair of non-conjugate elements remains non-conjugate in some finite quotient. Virtually polycyclic groups, and hence in particular all finitely generated nilpotent groups, are conjugacy separable. The conjugacy separability growth function measures the complexity of distinguishing non-conjugate elements in finite quotients by giving the smallest order of a finite quotient $Q$ that separates them. Recent work showed that this function admits polynomial upper and lower bounds for nilpotent groups, but these estimates are neither explicit nor optimal. We prove improved polynomial upper bounds whose degree is at most linear in the nilpotency class and at most quadratic in the Hirsch length. For $2$-step nilpotent groups, we obtain sharper estimates and show that these estimates are optimal among bounds depending only on the nilpotency class and Hirsch length. This gives a correction of an error in the existing literature. The main tool is a translation of conjugacy separability growth into Lie rings, generalizing previous work in the case of residual finiteness.

Explore related subjects

math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Jonas Deré, Lukas Vandeputte. 2026-10-02. Uniform Upper Bounds for Conjugacy Separability Growth in Nilpotent Groups. https://arxiv.org/abs/2610.03074

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

KEEP EXPLORING

Related papers

arXiv2026

Groups of Class Transpositions with Prescribed Prime Divisors of the Moduli

For a set $\mathcal P$ of odd primes, let $\operatorname{CT}_{\mathcal P}(\mathbb{Z})$ denote the group generated by all class transpositions whose moduli have no odd prime divisors outside $\mathcal P$. We prove that \[ \bigl\langle \operatorname{CT}_{\mathcal P_1}(\mathbb{Z}),\operatorname{CT}_{\mathcal P_2}(\mathbb{Z}) \bigr\rangle = \operatorname{CT}_{\mathcal P_1\cup\mathcal P_2}(\mathbb{Z}) \] for any sets $\mathcal P_1$ and $\mathcal P_2$ of odd primes. This gives a negative answer to Question 21.75 in the Kourovka Notebook.

math.GR↗

arXiv2026

Asymptotic Schur orthogonality for lattices

Let $π:G\to \mathcal{U}(L^{2}(G/P,ν))$ be the boundary representation of a non-compact connected semisimple Lie group $G$ with finite center on its Furstenberg-Poisson boundary $(G/P,ν)$. Let $Γ\subset G$ be a lattice in $G$ (uniform or not). We show that for any \emph{continuous} functions $φ,ψ,φ',ψ'$ on $G/P$, $$ \lim_{n\to\infty}\frac{1}{|Γ_{n}|}\sum_{γ\in Γ_{n}}\frac{\langleπ(γ)φ,ψ\rangle\overline{\langleπ(γ)φ',ψ'\rangle}}{Ξ^{2}(γ)}=\langle φ,φ'\rangle\overline{\langleψ,ψ'\rangle}, $$ where $Γ_{n}$ is a ball in $Γ$ with radius $n$ relative to a natural length function and with center the identity element of $G$, and $Ξ$ is the restriction to $Γ$ of the Harish-Chandra function of $G$. As a corollary, we deduce that when the real rank of $G$ is one, then the analogous convergence holds for any $φ,ψ,φ',ψ'$ in $L^{2}(G/P,ν)$ if and only if the lattice $Γ$ is uniform.

math.GR↗

arXiv2026

Linear-growth harmonic functions for nonsymmetric random walks on groups of polynomial growth

Let $G$ be a finitely generated group of polynomial growth and let $μ$ be an adapted, Abelian-centered probability measure with a finite exponential moment (not necessarily symmetric or finitely supported). We prove that every $μ$-harmonic function of at most linear growth is globally Lipschitz. In particular, if $G$ is nilpotent, these functions are exactly the affine characters: $$ \mathrm{HF}_1(G,μ)=\operatorname{LHF}(G,μ)=P^1(G). $$ The analytic machinery required for this is a convolution-gradient estimate that is uniform over families of Abelian-centered, finitely supported probability measures satisfying fixed ellipticity and exponential-moment bounds. A quantitative induction-restriction theorem transfers $\operatorname{LHF}$ across finite-index subgroups. We also determine the normed structure of these spaces. In particular, on a nilpotent group, the Lipschitz seminorm of an affine character is exactly the dual stable norm of the word metric. Under the same nonsymmetric hypotheses, linear-growth harmonic functions modulo constants identify canonically with the virtual first cohomology. This identification is an isometry for the asymptotic Lipschitz seminorm. For the ordinary Lipschitz seminorm it is a contraction with bounded inverse; the inverse bound seems to depend on $μ$, as shown by an infinite dihedral group example.

math.GR↗