Showing 1–15 of 15 results for author: Rossmann, T

Ask zeta functions of joins of graphs

Authors: Tobias Rossmann, Christopher Voll

Abstract: In previous work (arXiv:1908.09589), we studied rational generating functions ("ask zeta functions") associated with graphs and hypergraphs. These functions encode average sizes of kernels of generic matrices with support constraints determined by the graph or hypergraph in question, with applications to the enumeration of linear orbits and conjugacy classes of unipotent groups. In the present art… ▽ More In previous work (arXiv:1908.09589), we studied rational generating functions ("ask zeta functions") associated with graphs and hypergraphs. These functions encode average sizes of kernels of generic matrices with support constraints determined by the graph or hypergraph in question, with applications to the enumeration of linear orbits and conjugacy classes of unipotent groups. In the present article, we turn to the effect of a natural graph-theoretic operation on associated ask zeta functions. Specifically, we show that two instances of rational functions, $W^-_Γ(X,T)$ and $W^\sharp_Γ(X,T)$, associated with a graph $Γ$ are both well-behaved under taking joins of graphs. In the former case, this has applications to zeta functions enumerating conjugacy classes associated with so-called graphical groups. △ Less

Submitted 15 May, 2025; originally announced May 2025.

Comments: 60 pages

MSC Class: 11M41; 05C50; 15B33; 05A15; 11S80; 20D15; 20E45

Coloured shuffle compatibility, Hadamard products, and ask zeta functions

Authors: Angela Carnevale, Vassilis Dionyssis Moustakas, Tobias Rossmann

Abstract: We devise an explicit method for computing combinatorial formulae for Hadamard products of certain rational generating functions. The latter arise naturally when studying so-called ask zeta functions of direct sums of modules of matrices or class- and orbit-counting zeta functions of direct products of nilpotent groups. Our method relies on shuffle compatibility of coloured permutation statistics… ▽ More We devise an explicit method for computing combinatorial formulae for Hadamard products of certain rational generating functions. The latter arise naturally when studying so-called ask zeta functions of direct sums of modules of matrices or class- and orbit-counting zeta functions of direct products of nilpotent groups. Our method relies on shuffle compatibility of coloured permutation statistics and coloured quasisymmetric functions, extending recent work of Gessel and Zhuang. △ Less

Submitted 8 April, 2025; v1 submitted 1 July, 2024; originally announced July 2024.

Comments: 21 pages; to appear in Bull. Lond. Math. Soc

MSC Class: 05A15; 11M41; 20D15; 20E45; 05E05; 15B33

On the enumeration of orbits of unipotent groups over finite fields

Authors: Tobias Rossmann

Abstract: We show that the enumeration of linear orbits and conjugacy classes of $\mathbf{Z}$-defined unipotent groups over finite fields is "wild" in the following sense: given an arbitrary scheme $Y$ of finite type over $\mathbf{Z}$ and integer $n\geqslant 1$, the numbers $\# Y(\mathbf{F}_q) \bmod q^n$ can be expressed, uniformly in $q$, in terms of the numbers of linear orbits (or numbers of conjugacy cl… ▽ More We show that the enumeration of linear orbits and conjugacy classes of $\mathbf{Z}$-defined unipotent groups over finite fields is "wild" in the following sense: given an arbitrary scheme $Y$ of finite type over $\mathbf{Z}$ and integer $n\geqslant 1$, the numbers $\# Y(\mathbf{F}_q) \bmod q^n$ can be expressed, uniformly in $q$, in terms of the numbers of linear orbits (or numbers of conjugacy classes) of finitely many $\mathbf{Z}$-defined unipotent groups over $\mathbf{F}_q$ and finitely many Laurent polynomials in $q$. △ Less

Submitted 25 July, 2024; v1 submitted 9 August, 2022; originally announced August 2022.

Comments: 15 pages; to appear in Proc. Amer. Math. Soc

MSC Class: 20D15; 20E45; 05A15; 11G25

Enumerating conjugacy classes of graphical groups over finite fields

Authors: Tobias Rossmann

Abstract: Each graph and choice of a commutative ring gives rise to an associated graphical group. In this article, we introduce and investigate graph polynomials that enumerate conjugacy classes of graphical groups over finite fields according to their sizes. Each graph and choice of a commutative ring gives rise to an associated graphical group. In this article, we introduce and investigate graph polynomials that enumerate conjugacy classes of graphical groups over finite fields according to their sizes. △ Less

Submitted 11 March, 2022; v1 submitted 12 July, 2021; originally announced July 2021.

Comments: 20 pages; to appear in Bull. Lond. Math. Soc

MSC Class: 20D15; 20E45; 05A15; 05C25; 05C31

Linear relations with disjoint supports and average sizes of kernels

Authors: Angela Carnevale, Tobias Rossmann

Abstract: We study the effects of imposing linear relations within modules of matrices on average sizes of kernels. The relations that we consider can be described combinatorially in terms of partial colourings of grids. The cells of these grids correspond to positions in matrices and each defining relation involves all cells of a given colour. We prove that imposing such relations arising from "admissible"… ▽ More We study the effects of imposing linear relations within modules of matrices on average sizes of kernels. The relations that we consider can be described combinatorially in terms of partial colourings of grids. The cells of these grids correspond to positions in matrices and each defining relation involves all cells of a given colour. We prove that imposing such relations arising from "admissible" partial colourings has no effect on average sizes of kernels over finite quotients of discrete valuation rings. This vastly generalises the known fact that average sizes of kernels of general square and traceless matrices of the same size coincide over such rings. As a group-theoretic application, we explicitly determine zeta functions enumerating conjugacy classes of finite $p$-groups derived from free class-$3$-nilpotent groups for $p \geqslant 5$. △ Less

Submitted 9 February, 2022; v1 submitted 2 September, 2020; originally announced September 2020.

Comments: 51 pages; to appear in J. Lond. Math. Soc

MSC Class: 05A15; 11M41; 20E45; 20D15; 15B33

Groups, graphs, and hypergraphs: average sizes of kernels of generic matrices with support constraints

Authors: Tobias Rossmann, Christopher Voll

Abstract: We develop a theory of average sizes of kernels of generic matrices with support constraints defined in terms of graphs and hypergraphs. We apply this theory to study unipotent groups associated with graphs. In particular, we establish strong uniformity results pertaining to zeta functions enumerating conjugacy classes of these groups. We deduce that the numbers of conjugacy classes of… ▽ More We develop a theory of average sizes of kernels of generic matrices with support constraints defined in terms of graphs and hypergraphs. We apply this theory to study unipotent groups associated with graphs. In particular, we establish strong uniformity results pertaining to zeta functions enumerating conjugacy classes of these groups. We deduce that the numbers of conjugacy classes of $\mathbf{F}_q$-points of the groups under consideration depend polynomially on $q$. Our approach combines group theory, graph theory, toric geometry, and $p$-adic integration. Our uniformity results are in line with a conjecture of Higman on the numbers of conjugacy classes of unitriangular matrix groups. Our findings are, however, in stark contrast to related results by Belkale and Brosnan on the numbers of generic symmetric matrices of given rank associated with graphs. △ Less

Submitted 5 August, 2021; v1 submitted 26 August, 2019; originally announced August 2019.

Comments: 114 pages; to appear in Mem. Amer. Math. Soc

MSC Class: 11M41; 20D15; 20E45; 15B33; 05A15; 05C50; 14M25; 11S80

The average size of the kernel of a matrix and orbits of linear groups, II: duality

Authors: Tobias Rossmann

Abstract: Define a module representation to be a linear parameterisation of a collection of module homomorphisms over a ring. Generalising work of Knuth, we define duality functors indexed by the elements of the symmetric group of degree three between categories of module representations. We show that these functors have tame effects on average sizes of kernels. This provides a general framework for and a g… ▽ More Define a module representation to be a linear parameterisation of a collection of module homomorphisms over a ring. Generalising work of Knuth, we define duality functors indexed by the elements of the symmetric group of degree three between categories of module representations. We show that these functors have tame effects on average sizes of kernels. This provides a general framework for and a generalisation of duality phenomena previously observed in work of O'Brien and Voll and in the predecessor of the present article. We discuss applications to class numbers and conjugacy class zeta functions of $p$-groups and unipotent group schemes, respectively. △ Less

Submitted 26 August, 2019; v1 submitted 3 July, 2018; originally announced July 2018.

Comments: 32 pages; sequel to arXiv:1704.02668

MSC Class: 20D15; 20E45; 05A15; 15B33; 13E05; 11M41

The average size of the kernel of a matrix and orbits of linear groups

Authors: Tobias Rossmann

Abstract: Let $\mathfrak{O}$ be a compact discrete valuation ring of characteristic zero. Given a module $M$ of matrices over $\mathfrak{O}$, we study the generating function encoding the average sizes of the kernels of the elements of $M$ over finite quotients of $\mathfrak{O}$. We prove rationality and establish fundamental properties of these generating functions and determine them explicitly for various… ▽ More Let $\mathfrak{O}$ be a compact discrete valuation ring of characteristic zero. Given a module $M$ of matrices over $\mathfrak{O}$, we study the generating function encoding the average sizes of the kernels of the elements of $M$ over finite quotients of $\mathfrak{O}$. We prove rationality and establish fundamental properties of these generating functions and determine them explicitly for various natural families of modules $M$. Using $p$-adic Lie theory, we then show that special cases of these generating functions enumerate orbits and conjugacy classes of suitable linear pro-$p$ groups. △ Less

Submitted 25 April, 2018; v1 submitted 9 April, 2017; originally announced April 2017.

Comments: 50 pages; expanded version

MSC Class: 15B33; 05A15; 11M41; 11S80; 20D60; 20D15; 20E45

Enumerating submodules invariant under an endomorphism

Authors: Tobias Rossmann

Abstract: We study zeta functions enumerating submodules invariant under a given endomorphism of a finitely generated module over the ring of ($S$-)integers of a number field. In particular, we compute explicit formulae involving Dedekind zeta functions and establish meromorphic continuation of these zeta functions to the complex plane. As an application, we show that ideal zeta functions associated with ni… ▽ More We study zeta functions enumerating submodules invariant under a given endomorphism of a finitely generated module over the ring of ($S$-)integers of a number field. In particular, we compute explicit formulae involving Dedekind zeta functions and establish meromorphic continuation of these zeta functions to the complex plane. As an application, we show that ideal zeta functions associated with nilpotent Lie algebras of maximal class have abscissa of convergence $2$. △ Less

Submitted 1 June, 2016; originally announced June 2016.

Comments: 25 pages

MSC Class: 11M41; 15A04; 15A21; 17B30

Computing local zeta functions of groups, algebras, and modules

Authors: Tobias Rossmann

Abstract: We develop a practical method for computing local zeta functions of groups, algebras, and modules in fortunate cases. Using our method, we obtain a complete classification of generic local representation zeta functions associated with unipotent algebraic groups of dimension at most six. We also determine the generic local subalgebra zeta functions associated with $\mathfrak{gl}_2(\mathbf{Q})$. Fin… ▽ More We develop a practical method for computing local zeta functions of groups, algebras, and modules in fortunate cases. Using our method, we obtain a complete classification of generic local representation zeta functions associated with unipotent algebraic groups of dimension at most six. We also determine the generic local subalgebra zeta functions associated with $\mathfrak{gl}_2(\mathbf{Q})$. Finally, we introduce and compute examples of graded subobject zeta functions. △ Less

Submitted 2 February, 2016; originally announced February 2016.

Comments: 38 pages

MSC Class: 11M41; 20F69; 20G30; 20F18; 20C15

Primitive finite nilpotent linear groups over number fields

Authors: Tobias Rossmann

Abstract: Building upon the author's previous work on primitivity testing of finite nilpotent linear groups over fields of characteristic zero, we describe precisely those finite nilpotent groups which arise as primitive linear groups over a given number field. Our description is based on arithmetic conditions involving invariants of the field. Building upon the author's previous work on primitivity testing of finite nilpotent linear groups over fields of characteristic zero, we describe precisely those finite nilpotent groups which arise as primitive linear groups over a given number field. Our description is based on arithmetic conditions involving invariants of the field. △ Less

Submitted 2 June, 2015; originally announced June 2015.

Comments: 20 pages

MSC Class: 20D15; 20H20

Stability results for local zeta functions of groups and related structures

Authors: Tobias Rossmann

Abstract: Various types of local zeta functions studied in asymptotic group theory admit two natural operations: (1) change the prime and (2) perform local base extensions. Often, the effects of both of these operations can be expressed simultaneously in terms of a single explicit formula. We show that in these cases, the behaviour of local zeta functions under variation of the prime in a set of density 1 i… ▽ More Various types of local zeta functions studied in asymptotic group theory admit two natural operations: (1) change the prime and (2) perform local base extensions. Often, the effects of both of these operations can be expressed simultaneously in terms of a single explicit formula. We show that in these cases, the behaviour of local zeta functions under variation of the prime in a set of density 1 in fact completely determines these functions for almost all primes and, moreover, it also determines their behaviour under local base extensions. We discuss applications to topological zeta functions, functional equations, and questions of uniformity. △ Less

Submitted 16 April, 2015; originally announced April 2015.

Comments: 15 pages

MSC Class: 11M41; 20F69

Topological representation zeta functions of unipotent groups

Authors: Tobias Rossmann

Abstract: Inspired by work surrounding Igusa's local zeta function, we introduce topological representation zeta functions of unipotent algebraic groups over number fields. These group-theoretic invariants capture common features of established $p$-adic representation zeta functions associated with pro-$p$ groups derived from unipotent groups. We investigate fundamental properties of the topological zeta fu… ▽ More Inspired by work surrounding Igusa's local zeta function, we introduce topological representation zeta functions of unipotent algebraic groups over number fields. These group-theoretic invariants capture common features of established $p$-adic representation zeta functions associated with pro-$p$ groups derived from unipotent groups. We investigate fundamental properties of the topological zeta functions considered here. We also develop a method for computing them under non-degeneracy assumptions. As an application, among other things, we obtain a complete classification of topological representation zeta functions of unipotent algebraic groups of dimension at most six. △ Less

Submitted 6 March, 2015; originally announced March 2015.

Comments: 27 pages

MSC Class: 11M41; 20F69; 20G30; 20F18; 20C15; 14M25

Computing topological zeta functions of groups, algebras, and modules, II

Authors: Tobias Rossmann

Abstract: Building on our previous work (arXiv:1405.5711), we develop the first practical algorithm for computing topological zeta functions of nilpotent groups, non-associative algebras, and modules. While we previously depended upon non-degeneracy assumptions, the theory developed here allows us to overcome these restrictions in various interesting cases. Building on our previous work (arXiv:1405.5711), we develop the first practical algorithm for computing topological zeta functions of nilpotent groups, non-associative algebras, and modules. While we previously depended upon non-degeneracy assumptions, the theory developed here allows us to overcome these restrictions in various interesting cases. △ Less

Submitted 17 September, 2014; originally announced September 2014.

Comments: 33 pages; sequel to arXiv:1405.5711

MSC Class: 11M41; 20F69; 14M25

Computing topological zeta functions of groups, algebras, and modules, I

Authors: Tobias Rossmann

Abstract: We develop techniques for computing zeta functions associated with nilpotent groups, not necessarily associative algebras, and modules, as well as Igusa-type zeta functions. At the heart of our method lies an explicit convex-geometric formula for a class of $p$-adic integrals under non-degeneracy conditions with respect to associated Newton polytopes. Our techniques prove to be especially useful f… ▽ More We develop techniques for computing zeta functions associated with nilpotent groups, not necessarily associative algebras, and modules, as well as Igusa-type zeta functions. At the heart of our method lies an explicit convex-geometric formula for a class of $p$-adic integrals under non-degeneracy conditions with respect to associated Newton polytopes. Our techniques prove to be especially useful for the computation of topological zeta functions associated with algebras, resulting in the first systematic investigation of their properties. △ Less

Submitted 22 May, 2014; originally announced May 2014.

Comments: 42 pages

MSC Class: 11M41; 20F69; 14M25