Maximal Subgroup Zeta Function

• Maximal Subgroup Zeta Function is a specialized Dirichlet series that encodes refined enumerative data on maximal and parabolic subgroups in compact Lie and reductive groups over function fields.
• It employs explicit polynomial forms and Harish–Chandra structure to relate spherical representation dimensions with classical zeta functions and spectral invariants.
• Its applications span quantum field theory and arithmetic geometry, linking Yang–Mills partition functions to non-abelian mass-decomposition and rationality conjectures.

The maximal subgroup zeta function serves as a central object in the spectral, representation-theoretic, and arithmetic study of both compact Lie groups and reductive groups over function fields, encoding refined enumerative data associated to their maximal subgroups or parabolic subgroups. In the context of compact symmetric spaces, it takes the form of the so-called type I Witten zeta function, which arises naturally in harmonic analysis on quotients $U/K$ where $U$ is a compact simple Lie group and $K$ a maximal subgroup. For reductive groups over function fields, the group zeta is attached to a pair $(G, P)$ consisting of a split reductive group and a maximal parabolic. These zeta functions generalize classical objects, such as the Riemann zeta function and the Artin zeta of curves, and connect representation theory, algebraic geometry, and quantum field theory.

1. Dirichlet Series Construction in Symmetric Space Context

Let $X = U/K$ be a compact Riemannian symmetric space of type I, with $U$ a compact simple Lie group and $K$ a maximal subgroup. Spherical irreducible representations of $U$ determine dominant $K$-spherical (class-one) weights, parameterized as $$v \leftrightarrow (n_1,\ldots, n_r) \in \mathbb{N}^r$$ where $r = \operatorname{rank} X$. The maximal subgroup zeta function is the Dirichlet series

$$\zeta_{U/K}(s) = \sum_{v\in T^+(U/K)} (\dim V_v)^{-s},$$

where each $v$ corresponds to a unique irreducible spherical representation and $T^+(U/K)$ is the set of class-one weights. Writing explicitly in Dynkin coordinates,

$$\zeta_{U/K}(s) = \sum_{(n_1,\ldots,n_r)\in\mathbb{N}^r} \left(\prod_{\alpha\in R^+_X} P_\alpha(n_\alpha)\right)^{-s},$$

where $R^+_X$ denotes the restricted positive roots and $P_\alpha(n)$ is an explicit polynomial (in Harish–Chandra form) with degree determined by the multiplicity $m_\alpha=\dim\mathfrak{g}_\alpha$ of the root space. The explicit structure of each summand is governed by the geometry of $X$ and the representation theory of $U$ and $K$ (Levin et al., 2023).

2. Quantum Field Theory and the Migdal–Witten Partition Function Connection

Type I Witten zeta functions have direct significance in two-dimensional Yang–Mills (YM) theory with gauge symmetry breaking. For a closed surface $\Sigma_g$ of genus $g$, the 2d YM partition function with gauge group $U$ spontaneously broken to maximal subgroup $K$ via partial gauge fixing yields, via the Migdal–Witten lattice approach,

$$Z_I(U,\Sigma_g;q) = \sum_{v\in T^+(U/K)} [\dim V_v]^{2g-1}\, q^{c_2(v)},\quad q=e^{-\epsilon},$$

where $c_2(v)$ is the quadratic Casimir for $V_v$. In the weak-coupling limit $q \to 1$, this relates exactly to the maximal subgroup zeta function at integer arguments,

$$\zeta_{U/K}(2g-1) = \lim_{q \to 1} Z_I(U, \Sigma_g; q) = \sum_{v\in T^+(U/K)} [\dim V_v]^{-(2g-1)}.$$

Thus, the zeta values encode the distribution of spherical irreducible representations at levels dictated by topological invariants of the surface (Levin et al., 2023).

3. Explicit Formulas and Harish–Chandra Structure

For general real rank $r$, the spherical representation dimensions factor as

$d_v = \prod_{\alpha\in R^+_X} d_\alpha(n_\alpha),$

where each factor $d_\alpha(n)$ is an explicitly given polynomial determined by the root multiplicities and representation shifts. The full Harish–Chandra-type formula,

$$d_v = \prod_{\alpha\in R^+_X} \frac{ \Gamma(\tfrac12 m_\alpha + \langle \rho_X + n \alpha, \alpha^\vee \rangle) \Gamma(\tfrac12 m_\alpha + \langle -\rho_X - n \alpha, \alpha^\vee \rangle) }{ \Gamma(\tfrac12 m_\alpha + \langle \rho_X, \alpha^\vee \rangle) \Gamma(\tfrac12 m_\alpha + \langle -\rho_X, \alpha^\vee \rangle) } \cdot (\text{analogous terms for } m_{2\alpha}),$$

with $$\rho_X = \frac12 \sum_{\alpha\in R^+_X} m_\alpha \alpha$$, governs the representation dimensions and hence the weight of each term in the Dirichlet series. This polynomial structure enables a broad range of concrete calculations and asymptotic analyses (Levin et al., 2023).

4. Analytic and Arithmetic Aspects: Rank-One Case and Riemann Zeta Relation

In the case of real rank one, i.e., $X=U/K$ with $\operatorname{rank} X=1$, the maximal subgroup zeta function simplifies to

$\zeta_X(s) = \sum_{n=0}^\infty d(n)^{-s},$

where, for spheres and Grassmannians, explicit formulas for $d(n)$ are given. For example, for $S^m = \mathrm{SO}(m+1)/\mathrm{SO}(m)$, $d(n)=\binom{n+m-1}{m-1}(2n+m-1)$, and for $\mathbb{CP}^m$, $d(n)=\binom{n+m-1}{m-1}(n+1)$. The generating function

$\mathcal{Z}(K;T)=\sum_{n=0}^\infty (n+K)^{-1-T}$

satisfies

$$\mathcal{Z}(K;T)=\zeta(T+1)-\sum_{m=1}^{K-1}m^{-(T+1)},$$

thus expressing all special values of the maximal subgroup zeta function at odd integers as explicit rational combinations of Riemann zeta values. This establishes a direct analytic link between representation-theoretic and classical zeta-functions (Levin et al., 2023).

5. Maximal Subgroup Zeta Functions in Function Field Theory

Non-abelian (group) zeta functions are attached to a split reductive group $G$ over the function field $F=\mathbb{F}_q(X)$ of a curve $X$ and a maximal parabolic subgroup $P$. Defined via the period $\omega_X^G(\lambda)$, a $W$-averaged product involving the root system and the Artin zeta $\zeta_X(s)$, the partial zeta $\omega_X^{(G,P)}(s)$ is obtained by taking residues along hyperplanes corresponding to the non-parabolic simple roots. Clearing Artin zeta denominators yields the group zeta

$$\widehat\zeta_X^{G,P}(s) = \left[\prod_{i=1}^{I(G,P)}\zeta_X(a_i s+b_i)\right] \cdot \omega_X^{(G,P)}(s),$$

which is a meromorphic function with rationality and functional equation properties. For example,

$$\widehat\zeta_X^{G,P}(-c_P-s) = \widehat\zeta_X^{G,P}(s),$$

where $c_P$ is twice the pairing of the Weyl vector $\rho$ with the simple coroot corresponding to $P$ (Weng, 2012).

6. Rationality, Functional Equation, and Conjectural Properties

The group zeta $\widehat\zeta_X^{G,P}(s)$ is a rational function in $T=q^{-s}$. For $G=SL_n$ and the standard maximal parabolics, its degree is explicitly $2g$ (the genus of $X$). A central conjecture asserts a “Riemann Hypothesis:” if the numerator polynomial

$$R_{G,P}(T) = R_{G,P}(0) \prod_{j=1}^{2g}(1-\omega_j T)$$

then $|\omega_j|=q^{1/2}$, so all nontrivial zeros of the group zeta lie on the central line $\operatorname{Re}\,s=-\frac12 c_P$, generalizing the Artin zeta Riemann Hypothesis. A further conjecture posits that, up to rational prefactor and linear change of variable, all such group zetas for different reductive groups and maximal parabolics reduce to the standard case of $\mathrm{SL}_r$ and its minimal parabolic (Weng, 2012).

7. Non-Abelian Geometry and Mass-Decomposition

These zeta functions are fundamentally non-abelian, as they count semi-stable principal $G$-bundles on $X$, refined by parabolic reduction. The decomposition of the moduli mass of such bundles across parabolic strata connects directly to the rational factors in the denominator of the group zeta, encoding non-commutative geometric information. The function field analog of Siegel’s volume formula features parabolic terms, establishing the group zeta as a generating function for the non-commutative mass of semi-stable $G$-bundles, structured along maximal parabolic subgroups (Weng, 2012).