Searcharxiv⌕ Search

arXiv subjects

Benjamin Klopsch

Publications and source records attributed to Benjamin Klopsch.

At least 37 records · Page 2Linked to original sources

Embedding properties of hereditarily just infinite profinite wreath products

We study infinitely iterated wreath products of finite permutation groups with respect to product actions. In particular, we prove that, for every non-empty class of finite simple groups $\mathcal{X}$, there exists a finitely generated hereditarily just infinite profinite group $W$ with composition factors in $\mathcal{X}$ such that any countably based profinite group with composition factors in $\mathcal{X}$ can be embedded into $W$. Additionally we investigate when infinitely iterated wreath products of finite simple groups with respect to product actions are co-Hopfian or non-co-Hopfian.

math.GR↗

Abstract quotients of profinite groups, after Nikolov and Segal

In this expanded account of a talk given at the Oberwolfach Arbeitsgemeinschaft "Totally Disconnected Groups", October 2014, we discuss results of Nikolay Nikolov and Dan Segal on abstract quotients of compact Hausdorff topological groups, paying special attention to the class of finitely generated profinite groups. Our primary source is a paper, entitled "Generators and commutators in finite groups; abstract quotients of compact groups", that was published by Nikolov and Segal in 2012. Sidestepping all difficult and technical proofs, we present a selection of accessible arguments to illuminate key ideas in the subject.

math.GR↗

Maximal subgroups of multi-edge spinal groups

A multi-edge spinal group is a subgroup of the automorphism group of a regular p-adic rooted tree, generated by one rooted automorphism and a finite number of directed automorphisms sharing a common directing path. We prove that torsion multi-edge spinal groups do not have maximal subgroups of infinite index. This generalizes a result of Pervova for GGS-groups.

math.GR↗

A family of class-2 nilpotent groups, their automorphisms and pro-isomorphic zeta functions

The pro-isomorphic zeta function of a finitely generated nilpotent group $Γ$ is a Dirichlet generating function that enumerates finite-index subgroups whose profinite completion is isomorphic to that of $Γ$. Such zeta functions can be expressed as Euler products of $p$-adic integrals over the $p$-adic points of an algebraic automorphism group associated to $Γ$. In this way they are closely related to classical zeta functions of algebraic groups over local fields. We describe the algebraic automorphism groups for a natural family of class-$2$ nilpotent groups; these groups can be viewed as generalizations of $D^*$-groups of odd Hirsch length. General $D^*$-groups, that is `indecomposable' finitely generated, torsion-free class-$2$ nilpotent groups with central Hirsch length $2$, were classified up to commensurability by Grunewald and Segal. We calculate the local pro-isomorphic zeta functions for our groups and obtain, in particular, explicit formulae for the local pro-isomorphic zeta functions associated to $D^*$-groups of odd Hirsch length. From these we deduce local functional equations; for the global zeta functions we describe the abscissae of convergence and find meromorphic continuations. We deduce that the spectrum of abscissae of convergence for pro-isomorphic zeta functions of class-2 nilpotent groups contains infinitely many cluster points. For instance, the global abscissae of convergence of the pro-isomorphic zeta functions of $D^*$-groups of odd Hirsch length are determined and yield the cluster point $6$.

math.GR↗

Arithmetic groups, base change, and representation growth

Consider an arithmetic group $\mathbf{G}(O_S)$, where $\mathbf{G}$ is an affine group scheme with connected, simply connected absolutely almost simple generic fiber, defined over the ring of $S$-integers $O_S$ of a number field $K$ with respect to a finite set of places $S$. For each $n \in \mathbb{N}$, let $R_n(\mathbf{G}(O_S))$ denote the number of irreducible complex representations of $\mathbf{G}(O_S)$ of dimension at most $n$. The degree of representation growth $α(\mathbf{G}(O_S)) = \lim_{n \rightarrow \infty} \log R_n(\mathbf{G}(O_S)) / \log n$ is finite if and only if $\mathbf{G}(O_S)$ has the weak Congruence Subgroup Property. We establish that for every $\mathbf{G}(O_S)$ with the weak Congruence Subgroup Property the invariant $α(\mathbf{G}(O_S))$ is already determined by the absolute root system of $\mathbf{G}$. To show this we demonstrate that the abscissae of convergence of the representation zeta functions of such groups are invariant under base extensions $K \subset L$. We deduce from our result a variant of a conjecture of Larsen and Lubotzky regarding the representation growth of irreducible lattices in higher rank semi-simple groups. In particular, this reduces Larsen and Lubotzky's conjecture to Serre's conjecture on the weak Congruence Subgroup Property, which it refines.

math.GR↗

Similarity classes of integral $p$-adic matrices and representation zeta functions of groups of type $A_2$

We compute explicitly Dirichlet generating functions enumerating finite-dimensional irreducible complex representations of various $p$-adic analytic and adelic profinite groups of type $\mathsf{A}_2$. This has consequences for the representation zeta functions of arithmetic groups $Γ\subset \mathbf{H}(k)$, where $k$ is a number field and $\mathbf{H}$ a $k$-form of $\mathsf{SL}_3$: assuming that $Γ$ possesses the strong Congruence Subgroup Property, we obtain precise, uniform estimates for the representation growth of $Γ$. Our results are based on explicit, uniform formulae for the representation zeta functions of the $p$-adic analytic groups $\mathsf{SL}_3(\mathfrak{o})$ and $\mathsf{SU}_3(\mathfrak{o})$, where $\mathfrak{o}$ is a compact discrete valuation ring of characteristic $0$. These formulae build on our classification of similarity classes of integral $\mathfrak{p}$-adic $3\times3$ matrices in $\mathfrak{gl}_3(\mathfrak{o})$ and $\mathfrak{gu}_3(\mathfrak{o})$, where $\mathfrak{o}$ is a compact discrete valuation ring of arbitrary characteristic. Organising the similarity classes by invariants which we call their shadows allows us to combine the Kirillov orbit method with Clifford theory to obtain explicit formulae for representation zeta functions. In a different direction we introduce and compute certain similarity class zeta functions. Our methods also yield formulae for representation zeta functions of various finite subquotients of groups of the form $\mathsf{SL}_3(\mathfrak{o})$, $\mathsf{SU}_3(\mathfrak{o})$, $\mathsf{GL}_3(\mathfrak{o})$, and $\mathsf{GU}_3(\mathfrak{o})$, arising from the respective congruence filtrations; these formulae are valid in case that the characteristic of $\mathfrak{o}$ is either $0$ or sufficiently large. Analysis of some of these formulae leads us to observe $p$-adic analogues of `Ennola duality'.

math.GR↗

A nilpotent group without local functional equations for pro-isomorphic subgroups

The pro-isomorphic zeta function of a torsion-free finitely generated nilpotent group G enumerates finite index subgroups H such that H and G have isomorphic profinite completions. It admits an Euler product decomposition, indexed by the rational primes. We manufacture the first example of a torsion-free finitely generated nilpotent group G such that the local Euler factors of its pro-isomorphic zeta function do not satisfy functional equations. The group G has nilpotency class 4 and Hirsch length 25. It is obtained, via the Malcev correspondence, from a Z-Lie lattice L with a suitable algebraic automorphism group Aut(L).

math.GR↗

The representation zeta function of a FAb compact p-adic Lie group vanishes at -2

Let G by compact p-adic Lie group and suppose that G is FAb, i.e., that H/[H,H] is finite for every open subgroup H of G. The representation zeta function Z(G,s) encodes the distribution of continuous irreducible complex characters of G. Here s denotes a complex variable and Z(G,s) is defined as the Dirichlet generating function whose nth coefficient is equal to the number of irreducible characters of G of degree n. For p greater than 2 it is known that Z(G,s) defines a meromorphic function on the complex plane. Wedderburn's structure theorem for semisimple algebras implies that ZG,-2) = |G| for finite G. We complement this classic result by proving that Z(G,-2) = 0 for infinite G, assuming that p is greater than 2.

math.GR↗

Groups with a base property analogous to that of vector spaces

A B-group is a group such that all its minimal generating sets (with respect to inclusion) have the same size. We prove that the class of finite B-groups is closed under taking quotients and that every finite B-group is solvable. Via a complete classification of Frattini-free finite B-groups we obtain a general structure theorem for finite B-groups. Applications include new proofs for the characterization of finite matroid groups and the classification of finite groups with the basis property.

math.GR↗

A characterisation of uniform pro-p groups

Let p be a prime. Uniform pro-p groups play a central role in the theory of p-adic Lie groups. Indeed, a topological group admits the structure of a p-adic Lie group if and only if it contains an open pro-p subgroup which is uniform. Furthermore, uniform pro-p groups naturally correspond to powerful Lie lattices over the p-adic integers and thus constitute a cornerstone of p-adic Lie theory. In the present paper we propose and supply evidence for the following conjecture, aimed at characterising uniform pro-p groups. Suppose that p > 2 and let G be a torsion-free pro-p group of finite rank. Then G is uniform if and only if its minimal number of generators is equal to the dimension of G as a p-adic manifold, i.e., d(G) = dim(G). In particular, we prove that the assertion is true whenever G is soluble or p > dim(G).

math.GR↗

Representation growth and representation zeta functions of groups

We give a short introduction to the subject of representation growth and representation zeta functions of groups, omitting all proofs. Our focus is on results which are relevant to the study of arithmetic groups in semisimple algebraic groups, such as the special linear group of degree n over the ring of integers. In the last two sections we state several results which were recently obtained in joint work with N. Avni, U. Onn and C. Voll.

math.GR↗

Deformations and rigidity of lattices in solvable Lie groups

Let $G$ be a simply connected, solvable Lie group and $Γ$ a lattice in $G$. The deformation space $\mathcal{D}(Γ,G)$ is the orbit space associated to the action of $\Aut(G)$ on the space $\mathcal{X}(Γ,G)$ of all lattice embeddings of $Γ$ into $G$. Our main result generalises the classical rigidity theorems of Mal'tsev and Saitô for lattices in nilpotent Lie groups and in solvable Lie groups of real type. We prove that the deformation space of every Zariski-dense lattice $Γ$ in $G$ is finite and Hausdorff, provided that the maximal nilpotent normal subgroup of $G$ is connected. This implies that every lattice in a solvable Lie group virtually embeds as a Zariski-dense lattice with finite deformation space. We give examples of solvable Lie groups $G$ which admit Zariski-dense lattices $Γ$ such that $\mathcal{D}(Γ,G)$ is countably infinite, and also examples where the maximal nilpotent normal subgroup of $G$ is connected and simultaneously $G$ has lattices with uncountable deformation space.

math.DG↗

Representation zeta functions of compact p-adic analytic groups and arithmetic groups

We introduce new methods from p-adic integration into the study of representation zeta functions associated to compact p-adic analytic groups and arithmetic groups. They allow us to establish that the representation zeta functions of generic members of families of p-adic analytic pro-p groups obtained from a global, `perfect' Lie lattice satisfy functional equations. In the case of `semisimple' compact p-adic analytic groups, we exhibit a link between the relevant p-adic integrals and a natural filtration of the locus of irregular elements in the associated semisimple Lie algebra, defined by centraliser dimension. Based on this algebro-geometric description, we compute explicit formulae for the representation zeta functions of principal congruence subgroups of the groups SL_3(O), where O is a compact discrete valuation ring of characteristic 0, and of the corresponding unitary groups. These formulae, combined with approximative Clifford theory, allow us to determine the abscissae of convergence of representation zeta functions associated to arithmetic subgroups of algebraic groups of type A_2. Assuming a conjecture of Serre on the Congruence Subgroup Problem, we thereby prove a conjecture of Larsen and Lubotzky on lattices in higher-rank semisimple groups for algebraic groups of type A_2 defined over number fields.

math.GR↗

Representation zeta functions of some compact p-adic analytic groups

Using the Kirillov orbit method, novel methods from p-adic integration and Clifford theory, we study representation zeta functions associated to compact p-adic analytic groups. In particular, we give general estimates for the abscissae of convergence of such zeta functions. We compute explicit formulae for the representation zeta functions of some compact p-adic analytic groups, defined over a compact discrete valuation ring O of characteristic 0. These include principal congruence subgroups of SL_2(O), without any restrictions on the residue field characteristic of O, as well as the norm one group SL_1(D) of a non-split quaternion algebra D over the field of fractions of O and its principal congruence subgroups. We also determine the representation zeta functions of principal congruence subgroups of SL_3(O) in the case that O has residue field characteristic 3 and is unramified over Z_3.

math.GR↗

On representation zeta functions of groups and a conjecture of Larsen and Lubotzky

We study zeta functions enumerating finite-dimensional irreducible complex linear representations of compact p-adic analytic and of arithmetic groups. Using methods from p-adic integration, we show that the zeta functions associated to certain p-adic analytic pro-p groups satisfy functional equations. We prove a conjecture of Larsen and Lubotzky regarding the abscissa of convergence of arithmetic groups of type A_2 defined over number fields, assuming a conjecture of Serre on lattices in semisimple groups of rank greater than 1.

math.GR↗

On w-maximal groups

Let $w = w(x_1,..., x_n)$ be a word, i.e. an element of the free group $F = $ on $n$ generators $x_1,..., x_n$. The verbal subgroup $w(G)$ of a group $G$ is the subgroup generated by the set $\{w (g_1,...,g_n)^{\pm 1} | g_i \in G, 1\leq i\leq n \}$ of all $w$-values in $G$. We say that a (finite) group $G$ is $w$-maximal if $|G:w(G)|> |H:w(H)|$ for all proper subgroups $H$ of $G$ and that $G$ is hereditarily $w$-maximal if every subgroup of $G$ is $w$-maximal. In this text we study $w$-maximal and hereditarily $w$-maximal (finite) groups.

math.GR↗

Generating abelian groups by addition only

We define the positive diameter of a finite group $G$ with respect to a generating set $A\subset G$ to be the smallest non-negative integer $n$ such that every element of $G$ can be written as a product of at most $n$ elements of $A$. This invariant, which we denote by $\diam_A^+(G)$, can be interpreted as the diameter of the Cayley digraph induced by $A$ on $G$. In this paper we study the positive diameters of a finite abelian group $G$ with respect to its various generating sets $A$. More specifically, we determine the maximum possible value of $\diam_A^+(G)$ and classify all generating sets for which this maximum value is attained. Also, we determine the maximum possible cardinality of $A$ subject to the condition that $\diam_A^+(G)$ is "not too small". Conceptually, the problems studied are closely related to our earlier work and the results obtained shed a new light on the subject. Our original motivation came from connections with caps, sum-free sets, and quasi-perfect codes.

math.GR↗