Showing 1–30 of 30 results for author: Kionke, S

Infinite groups from the profinite point of view

Authors: Holger Kammeyer, Steffen Kionke

Abstract: We survey recent work ranging around the question in how far a group, or a property of a group, is determined by the set of finite quotient groups. Our focus lies on $S$-arithmetic groups, branch groups, and their relatives. We survey recent work ranging around the question in how far a group, or a property of a group, is determined by the set of finite quotient groups. Our focus lies on $S$-arithmetic groups, branch groups, and their relatives. △ Less

Submitted 10 June, 2025; originally announced June 2025.

Comments: 26 pages

MSC Class: 20E18; 22E40

Asymptotic invariants of residually finite just infinite groups

Authors: Andrei Jaikin-Zapirain, Steffen Kionke

Abstract: Recently, Eduard Schesler and the second author constructed examples of finitely generated residually finite, hereditarily just infinite groups with positive first $L^2$-Betti number. In contrast to their result, we show that a finitely generated residually-$p$ just infinite group has trivial first $L^2$-Betti number. Moreover, we prove that the normal homology rank gradient of a finitely generate… ▽ More Recently, Eduard Schesler and the second author constructed examples of finitely generated residually finite, hereditarily just infinite groups with positive first $L^2$-Betti number. In contrast to their result, we show that a finitely generated residually-$p$ just infinite group has trivial first $L^2$-Betti number. Moreover, we prove that the normal homology rank gradient of a finitely generated, residually finite, just infinite group vanishes. △ Less

Submitted 19 December, 2024; originally announced December 2024.

Comments: to appear in a special issue of the European Journal of Mathematics dedicated to Nikolay Vavilov

Profiniteness of higher rank volume

Authors: Holger Kammeyer, Steffen Kionke, Ralf Köhl

Abstract: We show that the covolume of an irreducible lattice in a higher rank semisimple Lie group with the congruence subgroup property is determined by the profinite completion. Without relying on CSP, we additionally show that volume is a profinite invariant of octonionic hyperbolic congruence manifolds. We show that the covolume of an irreducible lattice in a higher rank semisimple Lie group with the congruence subgroup property is determined by the profinite completion. Without relying on CSP, we additionally show that volume is a profinite invariant of octonionic hyperbolic congruence manifolds. △ Less

Submitted 17 December, 2024; originally announced December 2024.

Comments: 19 pages

MSC Class: 22E40; 20E18

On the abscissae of Weil representation zeta functions for procyclic groups

Authors: Steffen Kionke

Abstract: A famous conjecture of Chowla on the least primes in arithmetic progressions implies that the abscissa of convergence of the Weil representation zeta function for a procyclic group $G$ only depends on the set $S$ of primes dividing the order of $G$ and that it agrees with the abscissa of the Dedekind zeta function of $\mathbb{Z}[p^{-1}\mid p \not\in S]$. Here we show that these consequences hold u… ▽ More A famous conjecture of Chowla on the least primes in arithmetic progressions implies that the abscissa of convergence of the Weil representation zeta function for a procyclic group $G$ only depends on the set $S$ of primes dividing the order of $G$ and that it agrees with the abscissa of the Dedekind zeta function of $\mathbb{Z}[p^{-1}\mid p \not\in S]$. Here we show that these consequences hold unconditionally for random procyclic groups in a suitable model. As a corollary, every real number $1 \leq β\leq 2$ is the Weil abscissa of some procyclic group. △ Less

Submitted 6 December, 2024; v1 submitted 19 November, 2024; originally announced November 2024.

Comments: 9 pages. v2: typos fixed, comments still welcome

MSC Class: 20P05; 20E18; 11M41

Hereditarily just-infinite torsion groups with positive first $\ell^2$-Betti number

Authors: Steffen Kionke, Eduard Schesler

Abstract: We present a new method to construct finitely generated, residually finite, infinite torsion groups. In contrast to known constructions, a profinite perspective enables us to control finite quotients and normal subgroups of these torsion groups. As an application, we describe the first examples of residually finite, hereditarily just-infinite groups with positive first $\ell^2$-Betti-number. In ad… ▽ More We present a new method to construct finitely generated, residually finite, infinite torsion groups. In contrast to known constructions, a profinite perspective enables us to control finite quotients and normal subgroups of these torsion groups. As an application, we describe the first examples of residually finite, hereditarily just-infinite groups with positive first $\ell^2$-Betti-number. In addition, we show that these groups have polynomial normal subgroup growth, which answers a question of Barnea and Schlage-Puchta. △ Less

Submitted 16 January, 2024; v1 submitted 9 January, 2024; originally announced January 2024.

MSC Class: 20E26; 20E07; 20E18; 20C05

Gassmann triples with special cycle types and applications

Authors: Holger Kammeyer, Steffen Kionke

Abstract: We show that if one of various cycle types occurs in the permutation action of a finite group on the cosets of a given subgroup, then every almost conjugate subgroup is conjugate. As a number theoretic application, corresponding decomposition types of primes effect that a number field is determined by the Dedekind zeta function. As a geometric application, coverings of Riemannian manifolds with ce… ▽ More We show that if one of various cycle types occurs in the permutation action of a finite group on the cosets of a given subgroup, then every almost conjugate subgroup is conjugate. As a number theoretic application, corresponding decomposition types of primes effect that a number field is determined by the Dedekind zeta function. As a geometric application, coverings of Riemannian manifolds with certain geodesic lifting behaviors must be isometric. △ Less

Submitted 19 September, 2023; originally announced September 2023.

Comments: 11 pages

MSC Class: 20B10 (Primary) 11R42; 58C40 (Secondary)

Journal ref: Proceedings of the Edinburgh Mathematical Society 67 (2024) 1115-1124

From telescopes to frames and simple groups

Authors: Steffen Kionke, Eduard Schesler

Abstract: We introduce the notion of a telescope of groups. Very roughly a telescope is a directed system of groups that contains various commuting images of some fixed group $B$. Telescopes are inspired from the theory of groups acting on rooted trees. Imitating known constructions of branch groups, we obtain a number of examples of $B$-telescopes and discuss several applications. We give examples of $2$-g… ▽ More We introduce the notion of a telescope of groups. Very roughly a telescope is a directed system of groups that contains various commuting images of some fixed group $B$. Telescopes are inspired from the theory of groups acting on rooted trees. Imitating known constructions of branch groups, we obtain a number of examples of $B$-telescopes and discuss several applications. We give examples of $2$-generated infinite amenable simple groups. We show that every finitely generated residually finite (amenable) group embeds into a finitely generated (amenable) LEF simple group. We construct $2$-generated frames in products of finite simple groups and show that there are Grothendieck pairs consisting of amenable groups and groups with property $(τ)$. We give examples of automorphisms of finitely generated, residually finite, amenable groups that are not inner, but become inner in the profinite completion. We describe non-elementary amenable examples of finitely generated, residually finite groups all of whose finitely generated subnormal subgroups are direct factors. △ Less

Submitted 18 April, 2023; originally announced April 2023.

Comments: 41 pages, comments welcome

MSC Class: 20E18 (Primary) 20E08; 20E26; 43A07 (Secondary)

On representations of direct products and the bounded generation property of branch groups

Authors: Steffen Kionke, Eduard Schesler

Abstract: We prove that the minimal representation dimension of a direct product $G$ of non-abelian groups $G_1,\ldots,G_n$ is bounded below by $n+1$ and thereby answer a question of Abért. If each $G_i$ is moreover non-solvable, then this lower bound can be improved to be $2n$. By combining this with results of Pyber, Segal, and Shusterman on the structure of boundedly generated groups we show that branch… ▽ More We prove that the minimal representation dimension of a direct product $G$ of non-abelian groups $G_1,\ldots,G_n$ is bounded below by $n+1$ and thereby answer a question of Abért. If each $G_i$ is moreover non-solvable, then this lower bound can be improved to be $2n$. By combining this with results of Pyber, Segal, and Shusterman on the structure of boundedly generated groups we show that branch groups cannot be boundedly generated. △ Less

Submitted 3 January, 2023; originally announced January 2023.

Comments: 5 pages, comments welcome

MSC Class: 20E08; 20E26

Realizing residually finite groups as subgroups of branch groups

Authors: Steffen Kionke, Eduard Schesler

Abstract: We prove that every finitely generated, residually finite group $G$ embeds into a finitely generated perfect branch group $Γ$ such that many properties of $G$ are preserved under this embedding. Among those are the properties of being torsion, being amenable, and not containing a non-abelian free group. As an application we construct a finitely generated, non-amenable torsion branch group. We prove that every finitely generated, residually finite group $G$ embeds into a finitely generated perfect branch group $Γ$ such that many properties of $G$ are preserved under this embedding. Among those are the properties of being torsion, being amenable, and not containing a non-abelian free group. As an application we construct a finitely generated, non-amenable torsion branch group. △ Less

Submitted 14 December, 2022; originally announced December 2022.

Comments: 12 pages. Comments welcome!

MSC Class: 20E08; 43A07; 20E18; 20E26

Weil zeta functions of group representations over finite fields

Authors: Ged Corob Cook, Steffen Kionke, Matteo Vannacci

Abstract: In this article we define and study a zeta function $ζ_G$ - similar to the Hasse-Weil zeta function - which enumerates absolutely irreducible representations over finite fields of a (profinite) group $G$. The zeta function converges on a complex half-plane for all UBERG groups and admits an Euler product decomposition. Our motivation for this investigation is the observation that the reciprocal va… ▽ More In this article we define and study a zeta function $ζ_G$ - similar to the Hasse-Weil zeta function - which enumerates absolutely irreducible representations over finite fields of a (profinite) group $G$. The zeta function converges on a complex half-plane for all UBERG groups and admits an Euler product decomposition. Our motivation for this investigation is the observation that the reciprocal value $ζ_G(k)^{-1}$ at a positive integer $k$ coincides with the probability that $k$ random elements generate the completed group ring of $G$. The explicit formulas obtained so far suggest that $ζ_G$ is rather well-behaved. A central object of this article is the abscissa of convergence $a(G)$ of $ζ_G$. We calculate the abscissae for free abelian, free abelian pro-$p$, free pro-$p$, free pronilpotent and free prosoluble groups. More generally, we obtain bounds (and sometimes explicit values) for the abscissae of free pro-$\mathfrak{C}$ groups, where $\mathfrak{C}$ is a class of finite groups with prescribed composition factors. We prove that every real number $a \geq 1$ is the abscissa $a(G)$ of some profinite group $G$. In addition, we show that the Euler factors of $ζ_G$ are rational functions in $p^{-s}$ if $G$ is virtually abelian. For finite groups $G$ we calculate $ζ_G$ using the rational representation theory of $G$. △ Less

Submitted 7 December, 2022; originally announced December 2022.

Comments: 43 pages, comments welcome

MSC Class: 20E18; 20C20; 11M41

On upper bounds for the first $\ell^2$-Betti number

Authors: Carsten Feldkamp, Steffen Kionke

Abstract: This article presents a method for proving upper bounds for the first $\ell^2$-Betti number of groups using only the geometry of the Cayley graph. As an application we prove that Burnside groups of large prime exponent have vanishing first $\ell^2$-Betti number. Our approach extends to generalizations of $\ell^2$-Betti numbers, that are defined using characters. We illustrate this flexibility by… ▽ More This article presents a method for proving upper bounds for the first $\ell^2$-Betti number of groups using only the geometry of the Cayley graph. As an application we prove that Burnside groups of large prime exponent have vanishing first $\ell^2$-Betti number. Our approach extends to generalizations of $\ell^2$-Betti numbers, that are defined using characters. We illustrate this flexibility by generalizing results of Thom-Peterson on q-normal subgroups to this setting. △ Less

Submitted 7 February, 2022; v1 submitted 3 February, 2022; originally announced February 2022.

Comments: 10 pages, comments welcome

MSC Class: Primary 20F05; Secondary 20F50; 20F69

Counting irreducible modules for profinite groups

Authors: Ged Corob Cook, Steffen Kionke, Matteo Vannacci

Abstract: This article is concerned with the representation growth of profinite groups over finite fields. We investigate the structure of groups with uniformly bounded exponential representation growth (UBERG). Using crown-based powers we obtain some necessary and some sufficient conditions for groups to have UBERG. As an application we prove that the class of UBERG groups is closed under split extensions… ▽ More This article is concerned with the representation growth of profinite groups over finite fields. We investigate the structure of groups with uniformly bounded exponential representation growth (UBERG). Using crown-based powers we obtain some necessary and some sufficient conditions for groups to have UBERG. As an application we prove that the class of UBERG groups is closed under split extensions but fails to be closed under extensions in general. On the other hand, we show that the closely related probabilistic finiteness property $PFP_1$ is closed under extensions. In addition, we prove that profinite groups of type $FP_1$ with UBERG are always finitely generated and we characterise UBERG in the class of pro-nilpotent groups. Using infinite products of finite groups, we construct several examples of profinite groups with unexpected properties: (1) an UBERG group which cannot be finitely generated, (2) a group of type $PFP_\infty$ which is not UBERG and not finitely generated and (3) a group of type $PFP_\infty$ with superexponential subgroup growth. △ Less

Submitted 13 October, 2021; originally announced October 2021.

Comments: 51 pages, 1 figure

MSC Class: 20E18; 20C20

Amenability and profinite completions of finitely generated groups

Authors: Steffen Kionke, Eduard Schesler

Abstract: This article explores the interplay between the finite quotients of finitely generated residually finite groups and the concept of amenability. We construct a finitely generated, residually finite, amenable group $A$ and an uncountable family of finitely generated, residually finite non-amenable groups all of which are profinitely isomorphic to $A$. All of these groups are branch groups. Moreover,… ▽ More This article explores the interplay between the finite quotients of finitely generated residually finite groups and the concept of amenability. We construct a finitely generated, residually finite, amenable group $A$ and an uncountable family of finitely generated, residually finite non-amenable groups all of which are profinitely isomorphic to $A$. All of these groups are branch groups. Moreover, picking up Grothendieck's problem, the group $A$ embeds in these groups such that the inclusion induces an isomorphism of profinite completions. In addition, we review the concept of uniform amenability, a strengthening of amenability introduced in the 70's, and we prove that uniform amenability indeed is detectable from the profinite completion. △ Less

Submitted 16 June, 2021; originally announced June 2021.

Comments: 19 pages. Comments welcome!

MSC Class: 20E18; 20E08; 20E26; 43A07

Adelic superrigidity and profinitely solitary lattices

Authors: Holger Kammeyer, Steffen Kionke

Abstract: By arithmeticity and superrigidity, a commensurability class of lattices in a higher rank Lie group is defined by a unique algebraic group over a unique number subfield of $\mathbb{R}$ or $\mathbb{C}$. We prove an adelic version of superrigidity which implies that two such commensurability classes define the same profinite commensurability class if and only if the algebraic groups are adelically i… ▽ More By arithmeticity and superrigidity, a commensurability class of lattices in a higher rank Lie group is defined by a unique algebraic group over a unique number subfield of $\mathbb{R}$ or $\mathbb{C}$. We prove an adelic version of superrigidity which implies that two such commensurability classes define the same profinite commensurability class if and only if the algebraic groups are adelically isomorphic. We discuss noteworthy consequences on profinite rigidity questions. △ Less

Submitted 17 February, 2021; v1 submitted 19 October, 2020; originally announced October 2020.

Comments: 21 pages, revised version

MSC Class: 22E40; 20E18

Journal ref: Pacific J. Math. 313 (2021) 137-158

On the profinite rigidity of lattices in higher rank Lie groups

Authors: Holger Kammeyer, Steffen Kionke

Abstract: We investigate which higher rank simple Lie groups admit profinitely but not abstractly commensurable lattices. We show that no such examples exist for the complex forms of type $E_8$, $F_4$, and $G_2$. In contrast, there are arbitrarily many such examples in all other higher rank Lie groups, except possibly $\mathrm{SL}_{2n+1}(\mathbb{R})$, $\mathrm{SL}_{2n+1}(\mathbb{C})$,… ▽ More We investigate which higher rank simple Lie groups admit profinitely but not abstractly commensurable lattices. We show that no such examples exist for the complex forms of type $E_8$, $F_4$, and $G_2$. In contrast, there are arbitrarily many such examples in all other higher rank Lie groups, except possibly $\mathrm{SL}_{2n+1}(\mathbb{R})$, $\mathrm{SL}_{2n+1}(\mathbb{C})$, $\mathrm{SL}_n(\mathbb{H})$, or groups of type $E_6$. △ Less

Submitted 13 April, 2021; v1 submitted 28 September, 2020; originally announced September 2020.

Comments: 19 pages, revised version

MSC Class: 22E40; 20E18

A note on $p$-adic simplicial volumes

Authors: Steffen Kionke, Clara Loeh

Abstract: We define and study generalizations of simplicial volume over arbitrary seminormed rings with a focus on $p$-adic simplicial volumes. We investigate the dependence on the prime and establish homology bounds in terms of $p$-adic simplicial volumes. As the main examples we compute the weightless and $p$-adic simplicial volumes of surfaces. This gives a way to calculate classical simplicial volume of… ▽ More We define and study generalizations of simplicial volume over arbitrary seminormed rings with a focus on $p$-adic simplicial volumes. We investigate the dependence on the prime and establish homology bounds in terms of $p$-adic simplicial volumes. As the main examples we compute the weightless and $p$-adic simplicial volumes of surfaces. This gives a way to calculate classical simplicial volume of surfaces without hyperbolic straightening and shows that surfaces satisfy mod $p$ and $p$-adic approximation of simplicial volume. △ Less

Submitted 24 March, 2020; originally announced March 2020.

Comments: 22 pages, 6 figures. Comments welcome

MSC Class: 57N65

Equivariant Benjamini-Schramm Convergence of Simplicial Complexes and $\ell^2$-Multiplicities

Authors: Steffen Kionke, Michael Schrödl-Baumann

Abstract: We define a variant of Benjamini-Schramm convergence for finite simplicial complexes with the action of a fixed finite group G which leads to the notion of random rooted simplicial G-complexes. For every random rooted simplicial G-complex we define a corresponding $\ell^2$-homology and the $\ell^2$-multiplicity of an irreducible representation of G in the homology. The $\ell^2$-multiplicities gene… ▽ More We define a variant of Benjamini-Schramm convergence for finite simplicial complexes with the action of a fixed finite group G which leads to the notion of random rooted simplicial G-complexes. For every random rooted simplicial G-complex we define a corresponding $\ell^2$-homology and the $\ell^2$-multiplicity of an irreducible representation of G in the homology. The $\ell^2$-multiplicities generalize the $\ell^2$-Betti numbers and we show that they are continuous on the space of sofic random rooted simplicial G-complexes. In addition, we study induction of random rooted complexes and discuss the effect on $\ell^2$-multiplicities. △ Less

Submitted 14 May, 2019; originally announced May 2019.

Comments: 20 pages, 2 figures. Comments welcome!

MSC Class: 57M10; 55N35

Profinite invariants of arithmetic groups

Authors: Holger Kammeyer, Steffen Kionke, Jean Raimbault, Roman Sauer

Abstract: We prove that the sign of the Euler characteristic of arithmetic groups with CSP is determined by the profinite completion. In contrast, we construct examples showing that this is not true for the Euler characteristic itself and that the sign of the Euler characteristic is not profinite among general residually finite groups of type $F$. Our methods imply similar results for $\ell^2$-torsion as we… ▽ More We prove that the sign of the Euler characteristic of arithmetic groups with CSP is determined by the profinite completion. In contrast, we construct examples showing that this is not true for the Euler characteristic itself and that the sign of the Euler characteristic is not profinite among general residually finite groups of type $F$. Our methods imply similar results for $\ell^2$-torsion as well as a strong profiniteness statement for Novikov-Shubin invariants. △ Less

Submitted 21 January, 2019; v1 submitted 4 January, 2019; originally announced January 2019.

Comments: small changes in introduction and proof of prop 2.7

MSC Class: 20E18; 11F75

On $p$-adic limits of topological invariants

Authors: Steffen Kionke

Abstract: The purpose of this article is to define and study new invariants of topological spaces: the $p$-adic Betti numbers and the $p$-adic torsion. These invariants take values in the $p$-adic numbers and are constructed from a virtual pro-$p$ completion of the fundamental group. The key result of the article is an approximation theorem which shows that the $p$-adic invariants are limits of their classi… ▽ More The purpose of this article is to define and study new invariants of topological spaces: the $p$-adic Betti numbers and the $p$-adic torsion. These invariants take values in the $p$-adic numbers and are constructed from a virtual pro-$p$ completion of the fundamental group. The key result of the article is an approximation theorem which shows that the $p$-adic invariants are limits of their classical analogues. This is reminiscent of Lück's approximation theorem for $L^2$-Betti numbers. After an investigation of basic properties and examples we discuss the $p$-adic analog of the Atiyah conjecture: When do the $p$-adic Betti numbers take integer values? We establish this property for a class of spaces and discuss applications to cohomology growth. △ Less

Submitted 1 November, 2018; originally announced November 2018.

Comments: 43 pages, comments welcome

MSC Class: 57M10; 55N35; 20E18; 11S99

Groups acting on rooted trees and their representations on the boundary

Authors: Steffen Kionke

Abstract: We consider groups that act on spherically symmetric rooted trees and study the associated representation of the group on the space of locally constant functions on the boundary of the tree. We introduce and discuss the new notion of locally 2-transitive actions. Assuming local 2-transitivity our main theorem yields a precise decomposition of the boundary representation into irreducible constituen… ▽ More We consider groups that act on spherically symmetric rooted trees and study the associated representation of the group on the space of locally constant functions on the boundary of the tree. We introduce and discuss the new notion of locally 2-transitive actions. Assuming local 2-transitivity our main theorem yields a precise decomposition of the boundary representation into irreducible constituents. The method can be used to study Gelfand pairs and enables us to answer a question of Grigorchuk. To provide examples, we analyse in detail the local 2-transitivity of GGS-groups. Moreover, our results can be used to determine explicit formulae for zeta functions of induced representations defined by Klopsch and the author. △ Less

Submitted 3 April, 2018; v1 submitted 8 January, 2018; originally announced January 2018.

Comments: 20 pages, 2 figures. Version 2: extended introduction, removes a small mistake, restructured

MSC Class: Primary 20E08; Secondary 20E18; 43A65; 22D30

Journal ref: J. Algebra 528 (2019), 260--284

The growth of Betti numbers and approximation theorems

Authors: Steffen Kionke

Abstract: These short lecture notes provide a brief introduction to the field of homology growth. They are composed out of two lectures, which I have given at the Borel seminar 2017 in Les Diablerets. We give a proof of Lück's approximation theorem, discuss generalizations and mention some related open problems. Then we discuss the growth of mod-$p$ Betti numbers, where many problems remain open. We take… ▽ More These short lecture notes provide a brief introduction to the field of homology growth. They are composed out of two lectures, which I have given at the Borel seminar 2017 in Les Diablerets. We give a proof of Lück's approximation theorem, discuss generalizations and mention some related open problems. Then we discuss the growth of mod-$p$ Betti numbers, where many problems remain open. We take a closer look at the special case of $p$-adic analytic towers and discuss an approximation theorem due to Bergeron-Linnell-Lück-Sauer and Calegari-Emerton. △ Less

Submitted 3 September, 2017; originally announced September 2017.

Comments: Borel seminar 2017 (14 pages)

Zeta functions associated to admissible representations of compact p-adic Lie groups

Authors: Steffen Kionke, Benjamin Klopsch

Abstract: Let $G$ be a profinite group. A strongly admissible smooth representation $ρ$ of $G$ over $\mathbb{C}$ decomposes as a direct sum $ρ\cong \bigoplus_{π\in \mathrm{Irr}(G)} m_π(ρ) \, π$ of irreducible representations with finite multiplicities $m_π(ρ)$ such that for every positive integer $n$ the number $r_n(ρ)$ of irreducible constituents of dimension $n$ is finite. Examples arise naturally in the… ▽ More Let $G$ be a profinite group. A strongly admissible smooth representation $ρ$ of $G$ over $\mathbb{C}$ decomposes as a direct sum $ρ\cong \bigoplus_{π\in \mathrm{Irr}(G)} m_π(ρ) \, π$ of irreducible representations with finite multiplicities $m_π(ρ)$ such that for every positive integer $n$ the number $r_n(ρ)$ of irreducible constituents of dimension $n$ is finite. Examples arise naturally in the representation theory of reductive groups over non-archimedean local fields. In this article we initiate an investigation of the Dirichlet generating function \[ ζ_ρ(s) = \sum_{n=1}^\infty r_n(ρ) n^{-s} = \sum_{π\in \mathrm{Irr}(G)} \frac{m_π(ρ)}{(\dim π)^s} \] associated to such a representation $ρ$. Our primary focus is on representations $ρ= \mathrm{Ind}_H^G(σ)$ of compact $p$-adic Lie groups $G$ that arise from finite dimensional representations $σ$ of closed subgroups $H$ via the induction functor. In addition to a series of foundational results - including a description in terms of $p$-adic integrals - we establish rationality results and functional equations for zeta functions of globally defined families of induced representations of potent pro-$p$ groups. A key ingredient of our proof is Hironaka's resolution of singularities, which yields formulae of Denef-type for the relevant zeta functions. In some detail, we consider representations of open compact subgroups of reductive $p$-adic groups that are induced from parabolic subgroups. Explicit computations are carried out by means of complementing techniques: (i) geometric methods that are applicable via distance-transitive actions on spherically homogeneous rooted trees and (ii) the $p$-adic Kirillov orbit method. Approach (i) is closely related to the notion of Gelfand pairs and works equally well in positive defining characteristic. △ Less

Submitted 27 February, 2019; v1 submitted 26 July, 2017; originally announced July 2017.

Comments: 61 pages; small changes, contains an abridged Section 5.3. Final version to be published in Trans. Amer. Math. Soc. (arXiv version contains an additional footnote in Section 5.3)

MSC Class: 20E18 (Primary) 20C15; 20G25; 22E50; 11M41 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 372 (2019), 7677-7733

Characters, $L^2$-Betti numbers and an equivariant approximation theorem

Authors: Steffen Kionke

Abstract: Let $G$ be a group with a finite subgroup $H$. We define the $L^2$-multiplicity of an irreducible representation of $H$ in the $L^2$-homology of a proper $G$-CW-complex. These invariants generalize the $L^2$-Betti numbers. Our main results are approximation theorems for $L^2$-multiplicities which extend the approximation theorems for $L^2$-Betti numbers of Lück, Farber and Elek-Szabó respectively.… ▽ More Let $G$ be a group with a finite subgroup $H$. We define the $L^2$-multiplicity of an irreducible representation of $H$ in the $L^2$-homology of a proper $G$-CW-complex. These invariants generalize the $L^2$-Betti numbers. Our main results are approximation theorems for $L^2$-multiplicities which extend the approximation theorems for $L^2$-Betti numbers of Lück, Farber and Elek-Szabó respectively. The main ingredient is the theory of characters of infinite groups and a method to induce characters from finite subgroups. We discuss applications to the cohomology of (arithmetic) groups. △ Less

Submitted 1 March, 2017; v1 submitted 8 February, 2017; originally announced February 2017.

Comments: 33 pages, minor changes

MSC Class: 55N10; 20J06; 57S30; 11F75

Journal ref: Math. Ann. 371 (2018), 405-444

Positively finitely related profinite groups

Authors: Steffen Kionke, Matteo Vannacci

Abstract: We define and study the class of positively finitely related (PFR) profinite groups. Positive finite relatedness is a probabilistic property of profinite groups which provides a first step to defining higher finiteness properties of profinite groups which generalize the positively finitely generated groups introduced by Avinoam Mann. We prove many asymptotic characterisations of PFR groups, for in… ▽ More We define and study the class of positively finitely related (PFR) profinite groups. Positive finite relatedness is a probabilistic property of profinite groups which provides a first step to defining higher finiteness properties of profinite groups which generalize the positively finitely generated groups introduced by Avinoam Mann. We prove many asymptotic characterisations of PFR groups, for instance we show the following: a finitely presented profinite group is PFR if and only if it has at most exponential representation growth, uniformly over finite fields (in other words: the completed group algebra has polynomial maximal ideal growth). From these characterisations we deduce several structural results on PFR profinite groups. △ Less

Submitted 22 November, 2016; originally announced November 2016.

Comments: 24 pages, comments welcome

MSC Class: 20E18; 20E07; 20E22

Journal ref: Israel J. Math. 225 (2018), 743-770

A geometric approach to divergent points of higher dimensional Collatz mappings

Authors: Steffen Kionke

Abstract: We define generalized Collatz mappings on free abelian groups of finite rank and study their iteration trajectories. Using geometric arguments we describe cones of points having a divergent trajectory and we deduce lower bounds for the density of the set of divergent points. As an application we give examples which show that the iteration of generalized Collatz mappings on rings of algebraic integ… ▽ More We define generalized Collatz mappings on free abelian groups of finite rank and study their iteration trajectories. Using geometric arguments we describe cones of points having a divergent trajectory and we deduce lower bounds for the density of the set of divergent points. As an application we give examples which show that the iteration of generalized Collatz mappings on rings of algebraic integers can behave quite differently from the conjectured behavior in $Z$. △ Less

Submitted 18 November, 2015; originally announced November 2015.

Comments: 11 pages, 1 figure, comments welcome

MSC Class: 11B83; 11H06; 11B37

Journal ref: Monatsh. Math. 182 (2017), 851-863

On geometric aspects of diffuse groups

Authors: Steffen Kionke, Jean Raimbault, Nathan Dunfield

Abstract: Bowditch introduced the notion of diffuse groups as a geometric variation of the unique product property. We elaborate on various examples and non-examples, keeping the geometric point of view from Bowditch's paper. In particular, we discuss fundamental groups of flat and hyperbolic manifolds. The appendix settles an open question by providing an example of a group which is diffuse but not left-or… ▽ More Bowditch introduced the notion of diffuse groups as a geometric variation of the unique product property. We elaborate on various examples and non-examples, keeping the geometric point of view from Bowditch's paper. In particular, we discuss fundamental groups of flat and hyperbolic manifolds. The appendix settles an open question by providing an example of a group which is diffuse but not left-orderable. △ Less

Submitted 2 December, 2014; v1 submitted 24 November, 2014; originally announced November 2014.

Comments: 37 pages, main text by Kionke and Raimbault, appendix by Dunfield. v2 : updated ancillary files and added url to the references

MSC Class: Primary 22E40; Secondary 57M07; 20F65

Journal ref: Documenta Mathematica, Vol. 21 (2016), 873-915

On equivariant Euler-Poincaré characteristic in sheaf cohomology

Authors: Steffen Kionke, Jürgen Rohlfs

Abstract: Let X be a topological Hausdorff space together with a continuous action of a finite group G. Let R be the ring of integers of a number field F. Let E be a G-sheaf of flat R-modules over X and let $Φ$ be a G-stable paracompactifying family of supports on X. We show that under some natural cohomological finiteness conditions the Lefschetz number of the action of g in G on the cohomology… ▽ More Let X be a topological Hausdorff space together with a continuous action of a finite group G. Let R be the ring of integers of a number field F. Let E be a G-sheaf of flat R-modules over X and let $Φ$ be a G-stable paracompactifying family of supports on X. We show that under some natural cohomological finiteness conditions the Lefschetz number of the action of g in G on the cohomology $H_Φ(X,E) \otimes_{R} F$ equals the Lefschetz number of the g-action on $H_Φ(X^g, E_{|X^g}) \otimes_{R} F$, where $X^g$ is the set of fixed points of g in X. More generally, the class $\sum_j (-1)^j [H^j_Φ(X,E) \otimes_R F]$ in the character group equals a sum of representations induced from irreducible F-rational representations $V_λ$ of $H$ where $H$ runs in the set of G-conjugacy classes of subgroups of G. The integral coefficients $m_λ$ in this sum are explicitly determined. △ Less

Submitted 4 July, 2013; originally announced July 2013.

Comments: 7 pages, no figures

MSC Class: 55N30; 54H15

On lower bounds for cohomology growth in p-adic analytic towers

Authors: Steffen Kionke

Abstract: Let p and l be two distinct prime numbers and let G be a group. We study the asymptotic behaviour of the mod-l Betti numbers in p-adic analytic towers of finite index subgroups. If X is a finite l-group of automorphisms of G, our main theorem allows to lift lower bounds for the mod-l cohomology growth in the fixed point group G^X to lower bounds for the growth in G. We give applications to S-arith… ▽ More Let p and l be two distinct prime numbers and let G be a group. We study the asymptotic behaviour of the mod-l Betti numbers in p-adic analytic towers of finite index subgroups. If X is a finite l-group of automorphisms of G, our main theorem allows to lift lower bounds for the mod-l cohomology growth in the fixed point group G^X to lower bounds for the growth in G. We give applications to S-arithmetic groups and we also obtain a similar result for cohomology with rational coefficients. △ Less

Submitted 9 January, 2014; v1 submitted 22 May, 2013; originally announced May 2013.

Comments: 14 pages, final version, to appear in Math. Z. (The final publication is available at link.springer.com)

MSC Class: 20J06; 11F75; 20E15; 57M07

Journal ref: Math. Z., Vol. 277 (3), (2014), 709--723

Lefschetz numbers of symplectic involutions on arithmetic groups

Authors: Steffen Kionke

Abstract: The reduced norm-one group G of a central simple algebra is an inner form of the special linear group, and an involution on the algebra induces an automorphism of G. We study the action of such automorphisms in the cohomology of arithmetic subgroups of G. The main result is a precise formula for Lefschetz numbers of automorphisms induced by involutions of symplectic type. Our approach is based on… ▽ More The reduced norm-one group G of a central simple algebra is an inner form of the special linear group, and an involution on the algebra induces an automorphism of G. We study the action of such automorphisms in the cohomology of arithmetic subgroups of G. The main result is a precise formula for Lefschetz numbers of automorphisms induced by involutions of symplectic type. Our approach is based on a careful study of the smoothness properties of group schemes associated with orders in central simple algebras. Along the way we also derive an adelic reformulation of Harder's Gauss-Bonnet Theorem. △ Less

Submitted 5 February, 2013; originally announced February 2013.

Comments: 35 pages, comments welcome

MSC Class: 11F75

Journal ref: Pacific J. Math. 271 (2014) 369-414

On the growth of the first Betti number of arithmetic hyperbolic 3-manifolds

Authors: Steffen Kionke, Joachim Schwermer

Abstract: We calculate the Lefschetz number of a Galois automorphism in the cohomology of certain arithmetic congruence groups arising from orders in quaternion algebras over number fields. As an application we give a lower bound for the first Betti number of a class of arithmetically defined hyperbolic 3-manifolds and we deduce the following theorem: Given an arithmetically defined cocompact subgroup of SL… ▽ More We calculate the Lefschetz number of a Galois automorphism in the cohomology of certain arithmetic congruence groups arising from orders in quaternion algebras over number fields. As an application we give a lower bound for the first Betti number of a class of arithmetically defined hyperbolic 3-manifolds and we deduce the following theorem: Given an arithmetically defined cocompact subgroup of SL(2,C), provided the underlying quaternion algebra meets some conditions, there is a decreasing sequence of finite index subgroups of such that the first Betti number grows at least as fast as the square root of the index. △ Less

Submitted 17 April, 2012; originally announced April 2012.

Comments: 23 pages

MSC Class: 11F75; 57N10 (Primary); 57M10; 22E40 (Secondary)

Journal ref: Groups Geom. Dyn. 9 (2015), no. 2, 531--565