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

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↗

arXiv2026

Near full groups of bounded type, II

Containment of the AF alternating group of the tail groupoid is the AF input in our full-group completion theorem for groups satisfying the finite singular germ condition. We give a sufficient criterion for this containment, in which selectors separate inherited diagonal actions, and an exact criterion for finite regular coverings. We then identify a class of fragmentations that produce the required selectors. In the covering case, the intersection with the AF alternating group is the centralizer of the subgroup of deck transformations commuting with the adjoined AF permutations. This yields finitely generated examples with minimal actions and identical groupoids of germs but different intersections with the AF alternating group. Consequently, containment of the AF alternating group is not determined by the groupoid of germs alone. As an application, we show that a fragmentation group of the modified Fabrykowski--Gupta group contains the AF alternating group and, by the completion theorem, has index four in its topological full group.

math.GR↗

arXiv2026

Finite permutation groups that act with fixity 4

Motivated by the theory of Riemann surfaces and specifically the significance of Weierstrass points, we prove general structure results about finite groups that have a faithful transitive action with fixity 4. We also explain examples for many different possibilities of such actions.

math.GR↗