Edge Zeta Functions and Eigenvalues for Buildings of Finite Groups of Lie Type

Basic Information

• Paper ID: 2405.14395
• Title: Edge Zeta Functions and Eigenvalues for Buildings of Finite Groups of Lie Type: A Uniform Hecke Algebra Approach
• Author: SHEN, Jianhao
• Classification: math.CO (Combinatorics), math.NT (Number Theory), math.RT (Representation Theory)
• Publication Date: October 15, 2025 (arXiv v2 on October 13, 2025)
• Paper Link: https://arxiv.org/abs/2405.14395

Abstract

This paper investigates edge zeta functions of Tits buildings B(G) associated with finite groups of Lie type G(F_q), which enumerate edge-geodesic cycles in the 1-skeleton. The author proves that every nonzero edge eigenvalue becomes a power of q after lifting to a bounded exponent k depending on the type of G. The proof employs Hecke algebra methods applied uniformly across all types. This extends previous results on type A and opposition graphs to the complete edge-geodesic setting and all finite groups of Lie type.

Research Background and Motivation

Problem Context

1. Zeta Functions of Spherical Buildings: Zeta functions of spherical buildings reveal deep connections between geometry, combinatorics, and representation theory. They generalize the Ihara zeta function of regular graphs and its two-variable extension to q-regular trees.
2. Limitations of Existing Research:
   • The one-dimensional case (regular graphs) is fully understood through classical Ihara zeta function theory
   • Edge and corridor zeta functions of affine buildings of higher dimension have been extensively studied
   • However, zeta functions of spherical buildings over finite fields remain relatively understudied, with previous work focusing mainly on opposition graphs and their spectra beyond the one-dimensional case
3. Research Motivation:
   • The author previously introduced edge zeta functions for spherical buildings of type A_n and derived closed formulas 18
   • There is a need to generalize this framework to other classical and exceptional types
   • Establishing the representation-theoretic origins of edge eigenvalues for all finite spherical buildings

Core Problem

Study the edge zeta function Z_B(u) of finite thick spherical buildings B(G), which counts primitive closed geodesics in the 1-skeleton of B(G), and determine the algebraic form of its edge eigenvalues.

Core Contributions

1. Main Theorem: Proves that for each edge eigenvalue λ of a finite group of Lie type G over F_q, there exists a positive integer k such that λ^k is an integer power of q
2. Unified Approach: Provides a uniform Hecke algebra method across all finite types, combining Luo's recent decomposition theorem and Springer's theorem on central elements in Iwahori-Hecke algebras
3. Explicit Formulas:
   • Type A: k = 6 for all λ
   • Type B or C: k = 8
   • Type D: k = 6 or 8 (depending on λ)
4. New Explicit Formulas: Derives new closed formulas for the symplectic case (type C) and tabulates corresponding cycle structures and exponents 2m
5. Theoretical Extension: Extends previous results on type A and opposition graphs to the complete edge-geodesic setting and all finite groups of Lie type

Methodology Details

Task Definition

Given a finite group of Lie type G(F_q) and its associated building B(G), define the edge zeta function: $Z(B,u) = \exp\left(\sum_{l=1}^{\infty} \frac{N(l)}{l} u^l\right)$ where N(l) is the number of geodesic cycles of length l. The goal is to determine the algebraic properties of the zeros (edge eigenvalues) of the reciprocal 1/Z(B,u).

Core Methodological Framework

1. From Building Zeta Functions to Group Algebra Problems

• Geodesic Edge Graph X_2(B): Reformulates the problem as a geodesic edge graph whose closed walks correspond to geodesics in B
• Multipartite Decomposition: Decomposes X_2(B) into multipartite components indexed by type orbits, where the spectrum of each component can be studied separately
• Relative Degree Elements (RDE): Expresses component adjacency relations through RDE operators in the group algebra

2. Hecke Algebra Reduction

The core technical innovation lies in reducing long RDE products to simple forms:

Proposition 3.1.1: There exists a positive integer m such that c | 2m, and $D(v_0, v_0, c)^{2m/c} = a_{P_0 w_S P_m} a_{P_0 w_S P_m}$ where P_m and P_0 are opposite standard parabolic subgroups.

3. Application of Luo's Decomposition Theorem

Theorem 3.1.2 (Luo Decomposition): For the Weyl group (W,S) of a reduced root system Φ, given distinct s_0, s_1 ∈ S, define a recursive sequence. There exists a unique positive integer m such that: $w'_0 w_S = (w'_0 w_1)(w'_1 w_2)...(w'_{m-1} w_m)$ with lengths adding: $l(w'_0 w_S) = \sum_{k=1}^m l(w'_{k-1} w_k)$

Technical Innovations

1. Unified Reduction: Reduces complex RDE products to products of two double coset operators via Luo decomposition
2. Application of Springer's Theorem: Utilizes the action of central elements in Iwahori-Hecke algebras to determine eigenvalues
3. Type-Independent Method: Provides a unified treatment applicable to all Lie types

Experimental Setup

Concrete Computational Cases

Type A Review

For G = GL_n(F_q), the building is of type A_:

• Cycle lengths: typically c = 6, balanced case c = 2
• Luo decomposition: 2m = 6
• Eigenvalues: q-powers that are d-th roots where d = 2m/c

Type C New Formula

For G = Sp_{2n}(F_q), the building is of type C_n:

• Geometric description: vertices correspond to i-dimensional totally isotropic subspaces
• Type orbits: C = {(i, i+j), (i+j, j), (j, i+j), (i+j, i)}
• Cycle lengths: c = 4 when j ≠ i, c = 2 when j = i
• Luo decomposition: 2m = 8

Evaluation Metrics

• Algebraicity: Whether eigenvalues become powers of q after lifting
• Uniformity: Whether the method applies to all Lie types
• Explicitness: Whether closed formulas can be obtained

Experimental Results

Main Results

Main Theorem 1.0.1: Let G be a finite group of Lie type over F_q, and B(G) its associated building. For each edge eigenvalue λ, there exists a positive integer k such that λ^k is an integer power of q.

Refined Form (Theorem 3.3.1):

1. For each eigenvalue λ of the c-step operator T_C, the power λ^{2m/c} is an integer power of q
2. The zeta factor has an explicit expression: $Z(X_2(B)|_C, u) = \prod_{\chi:n_\chi \neq 0} \prod_{\zeta^d=1} \frac{1}{(1 - \zeta (Q(w_I)^{-2} q^{f_\chi})^{1/d} u^c)^{m_{C,\chi}(\zeta) d_\chi}}$

Specific Numerical Results

Explicit Formula for Type C

For the case n = 2, (i,j) = (1,1):

• Bipartition (∅,(1,1)): factor $(1 - q^0 u^2)^{1 \times q^4}$
• Bipartition (∅,(2)): factor $(1 + q^1 u^2)^{1 \times \frac{1}{2}q(q^2+1)}$
• Bipartition ((1),(1)): factor $((1 + iq u^2)(1 - iq u^2))^{1 \times \frac{1}{2}q(q+1)^2}$

Cycle Data Table

The paper provides complete cycle data for various Lie types:

• Type A: m = 3
• Type C: m = 4
• Type D: m = 4 (general case), m = 3 (special case)
• Exceptional types: G_2 (m=6), F_4 (m=6), E_6 (m=4,5), E_7 (m=4,5,6), E_8 (m=6,8)

Related Work

Historical Development

1. Classical Theory: Ihara zeta functions and variants for regular graphs
2. Higher-Dimensional Generalizations: Study of edge and corridor zeta functions for affine buildings
3. Spherical Case: Research primarily limited to opposition graphs and spectral studies

Contributions of This Paper

• First unified treatment of all finite spherical buildings
• Establishes representation-theoretic origins of edge eigenvalues
• Extends known results on type A to all types

Conclusions and Discussion

Main Conclusions

1. Universality: Edge eigenvalues of all finite groups of Lie type possess the "power of q" property
2. Uniformity: Hecke algebra methods provide a unified framework across types
3. Computability: The method yields concrete, computable closed formulas

Limitations

1. Type D Complexity: Complete tables for type D are not provided in this paper
2. Computational Complexity: Calculations for certain exceptional types remain quite involved
3. Non-Split Case: Primarily focuses on split cases; non-split groups require additional work

Future Directions

1. Higher-Dimensional Zeta Functions: Extension to higher-dimensional skeleta of buildings
2. Regular Elements: Study of eigenvalue patterns for generalized regular elements
3. Cohomological Connections: Exploration of connections with building cohomology

In-Depth Evaluation

Strengths

1. Theoretical Uniformity: First unified treatment of all Lie types
2. Technical Innovation: Clever combination of Luo decomposition and Springer's theorem
3. Computational Feasibility: Method produces practically computable formulas
4. Completeness: Complete treatment from theory to concrete examples

Weaknesses

1. High Technical Threshold: Requires deep background in Lie groups, building theory, and Hecke algebras
2. Computational Complexity: While theoretically unified, concrete calculations remain complex
3. Application Scope: Primarily theoretical results; practical applications remain unclear

Impact

1. Theoretical Contribution: Provides new tools for building theory and zeta function research
2. Methodological Value: Hecke algebra reduction methods may have broader applications
3. Computational Value: Provides systematic methods for related computations

Applicable Scenarios

• Algebraic combinatorics research
• Building theory and geometric group theory
• Zeta function research in number theory
• Eigenvalue problems in representation theory

References

The paper cites 38 important references, including:

• Ihara's classical work on discrete subgroups of p-adic groups
• Tits' foundational theory of spherical buildings
• Springer's theory on Hecke algebras
• Luo's recent results on Weyl group decompositions
• The author's previous work on type A cases

Overall Assessment: This is a high-quality theoretical mathematics paper making significant contributions at the intersection of building theory, combinatorics, and representation theory. While technically demanding, its unified methodology and profound theoretical insights represent important progress in the field.