Zeta Functions for Spherical Tits Buildings of Finite General Linear Groups

Basic Information

• Paper ID: 2311.17809
• Title: Zeta Functions for Spherical Tits Buildings of Finite General Linear Groups
• Author: SHEN, Jianhao
• Classification: math.CO (Combinatorics), math.RT (Representation Theory)
• Publication Date: April 2, 2024 (arXiv v3)
• Paper Link: https://arxiv.org/abs/2311.17809

Abstract

This paper defines edge zeta functions for spherical buildings associated with finite general linear groups. By introducing and applying sophisticated tools including directed graphs X₀ and X₂, cyclic n-partite graphs, partial transitive group actions, and Springer's theorem on Hecke algebras, the author derives elegant formulas for these zeta functions and reveals patterns in the eigenvalues of these buildings.

Research Background and Motivation

Problem Positioning

This research focuses on zeta functions of spherical Tits buildings, an interdisciplinary area between algebraic geometry and combinatorics. Building theory is an important tool in group theory and geometry, divided into two categories:

1. Bruhat-Tits Buildings: Affine, associated with linear groups over local fields
2. Tits Buildings: Spherical, corresponding to linear groups over finite fields

Research Significance

1. Theoretical Importance: The study of zeta functions for spherical buildings remains relatively underdeveloped, with higher-rank cases largely unexplored except for rank 2
2. Applied Value: Zeta functions reveal spectral properties of buildings, which is crucial for understanding representation theory of finite groups
3. Methodological Innovation: Organic combination of graph theory, representation theory, and building theory

Limitations of Existing Methods

• Zeta functions of affine buildings have been extensively studied, but spherical buildings (particularly rank > 2) remain understudied
• Rank 2 spherical buildings reduce to generalized polygons with complete theory, but higher-rank cases lack systematic approaches
• Absence of unified frameworks for handling buildings of general linear groups and their products

Core Contributions

1. Definition of Edge Zeta Functions: Introduced the concept of edge zeta functions for spherical buildings, generalizing Ihara zeta functions
2. Construction of Key Directed Graphs: Introduced directed graphs X₀(V) and X₂(V) to characterize connectivity and eigenvalues of buildings
3. Establishment of Representation-Theoretic Connections: Linked zeta functions to group representations through Hecke algebras and Springer's theorem
4. Derivation of Explicit Formulas: Obtained elegant expressions for zeta functions, revealing the structure of eigenvalues
5. Proof of Main Theorem: All eigenvalues have the form of roots of unity multiplied by fractional powers of q

Methodology Details

Problem Setup

Given an n-dimensional vector space V over the finite field 𝔽_q, study the edge zeta functions of associated buildings B(V) and B(V₁,...,Vᵣ): $Z(B,u) = \exp\left(\sum_{l=1}^{\infty} \frac{N(l)}{l}u^l\right)$ where N(l) is the number of closed geodesic paths of length l.

Model Architecture

1. Building Structure

• Vertices: Non-trivial proper subspaces of V
• Simplices: Sets of subspaces forming flags
• Dual Vertices: Pairs of subspaces (W,W') satisfying V = W ⊕ W'

2. Key Directed Graph Construction

Directed Graph X₀(V):

• Vertices: Non-trivial proper subspaces of V
• Edges: Connect xW₁ and xW₂ when W₁ ⊕ W₂ = V

Directed Graph X₂(V):

• Vertices: Directed flags F = (W₁,W₂) where W₁ ⊂ W₂ or W₂ ⊂ W₁
• Edges: Connect F₁ = (W₁,W₂) and F₂ = (W₃,W₄) when W₂ = W₃ and (W₁,W₂,W₄) form a geodesic path

3. Group Action Analysis

Utilize partial transitive actions of GLₙ(𝔽_q) on these graphs:

• Preserve dimension or multi-dimension patterns
• Act transitively on each type of vertex
• Characterize walk counts through relative target elements D(u,v,l)

Technical Innovations

1. Cyclic n-Partite Graph Theory

Decompose X₀ and X₂ into disjoint unions of cyclic n-partite graphs, each component corresponding to specific dimension patterns:

• X₀^k: Subspaces with dimensions in equivalence class k = {k, n-k}
• X₂^(a,b): Directed flags with multi-dimensions in equivalence class (a,b)

2. Representation-Theoretic Tools

Establish connections through Hecke algebra H = e_B CG e_B:

• Correspondence between unipotent representations and symmetric group representations
• Springer's Theorem: (e_B w₀ e_B)² acts as a scalar in the center
• Deformation Principle: Connect different representations through q → 1 process

3. Kostka Numbers and Young Tableaux

Utilize Kostka numbers K_λ,μ for multiplicity calculations:

• Counting semi-standard Young tableaux
• Applications of Jacobi-Trudi identities
• q-analogues of hook length formulas

Experimental Setup

Theoretical Verification

This work is primarily theoretical, with results verified through:

1. Special Case Calculations

• Explicit calculations for small dimensions (n ≤ 5)
• Special cases: k = n/2 (X₀) and i = j = k = n/3 (X₂)

2. Consistency Checks

• Agreement with known rank 2 results (generalized polygons)
• Cross-verification of formulas obtained through different methods

Computational Examples

The paper provides concrete zeta function expressions, for example for X₀^{n-i,i}:

$\frac{1}{Z_c(X_0^{[k]}, u)} = \prod_{j=0}^i (1 - q^{-j(n-j+1)+2i(n-i)}u^2)^{d_j}$

where d_j = n choose j_q - n choose j-1_q is the dimension of the corresponding representation.

Experimental Results

Main Results

1. General Case Formulas (Theorems 7.1.1 and 7.2.1)

• X₀ Case: When k ≠ n/2, 1/Z_c(X₀^k, u) can be expressed as a product of factors of the form (1 - q^s u²)
• X₂ Case: When (a,b) ≠ (n/3, 2n/3), 1/Z_c(X₂^(a,b), u) can be expressed as a product of factors of the form (1 - q^s u⁶)

2. Special Case Formulas (Theorems 8.4.3 and 8.5.3)

• X₀ Special Case: When n = 2k, factors have the form (1 ± q^s u)
• X₂ Special Case: When n = 3k, factors involve cubic roots of unity ω = e^{2πi/3}

3. Eigenvalue Structure (Main Theorem 1.3.11)

All nonzero eigenvalues have the form: Roots of unity × fractional powers of q

Concrete Numerical Examples

For small dimensions, the paper provides explicit expressions. For example, when n = 4:

• i = 0: 1 - u²
• i = 1: (1 - q²u²)4 choose 1_q^{-1}(1 - q⁶u²)
• i = 2: Involves more complex combinations of q-binomial coefficients

Experimental Findings

1. Importance of Dimension Patterns

The dimension patterns along walks determine the graph structure, which is key to the analysis

2. Transitivity of Group Actions

The transitive action of GLₙ(𝔽_q) on each type of vertex allows reduction of the problem to analysis of stabilizer subgroups of individual vertices

3. Deep Connections in Representation Theory

The connections established through Hecke algebras not only provide computational tools but also reveal deeper mathematical structures

Related Work

Building Theory Foundations

• Work of Tits and Serre: Established foundational framework of building theory
• Abramenko and Brown: Comprehensive reference for modern building theory

Zeta Function Research

• Affine Buildings: Extensive research by Kang, Li, and others
• Graph Zeta Functions: Ihara zeta functions and their generalizations
• Generalized Polygons: Feit-Higman theorem and spectral analysis by Tanner

Representation-Theoretic Tools

• Hecke Algebras: Systematic theory by Curtis-Reiner
• Representations of Finite Groups of Lie Type: Unipotent representation theory
• Springer Correspondence: Important tool in geometric representation theory

Conclusions and Discussion

Main Conclusions

1. Theoretical Achievements

Established a complete theoretical framework for zeta functions of spherical buildings, organically unifying building theory, graph theory, and representation theory

2. Computational Achievements

Obtained explicit zeta function formulas for buildings associated with GLₙ(𝔽_q) and products of such groups

3. Structural Insights

Revealed the unified structure of eigenvalues: roots of unity multiplied by fractional powers of q

Limitations

1. Restriction to Group Types

Currently only handles type Aₙ and Aₘ × Aₙ; other Lie types (B, C, D, exceptional) remain unexplored

2. Computational Complexity

Explicit calculations become extremely complex for large dimensions

3. Application Scope

Primarily theoretical results; practical applications remain to be explored

Future Directions

1. Extension to Other Lie Types

• Begin with symplectic groups (type C) due to relative simplicity
• Gradually extend to types B, D, and exceptional types

2. Higher-Dimensional Zeta Functions

Explore zeta functions for higher-dimensional analogues of buildings

3. Algorithm Optimization

Develop more efficient computational algorithms for handling large-dimension cases

In-Depth Evaluation

Strengths

1. Theoretical Innovation

• First systematic study of zeta functions for high-rank spherical buildings
• Creative introduction of directed graphs X₀ and X₂ as analytical tools
• Skillful application of representation-theoretic tools to combinatorial problems

2. Methodological Completeness

• Complete logical chain from basic definitions to final formulas
• Appropriate treatment of both general and special cases
• Integration of theoretical analysis and concrete calculations

3. Mathematical Depth

• Reveals deep connections across multiple mathematical disciplines
• Application of Springer's theorem demonstrates sophisticated techniques
• Use of deformation theory exemplifies modern mathematical abstraction

4. Elegance of Expression

The derived formulas exhibit strong symmetry and aesthetic appeal, reflecting the inherent harmony of mathematics

Weaknesses

1. Accessibility Challenges

• Requires deep background knowledge in multiple fields
• Abundant technical details difficult for beginners to follow
• Some proof steps could be more detailed

2. Insufficient Application Orientation

• Primarily pure theoretical research
• Lacks connections to other mathematical problems or practical applications
• Insufficient analysis of computational complexity

3. Limited Verification

• Mainly through theoretical consistency checks
• Lacks independent numerical verification or computer-assisted verification
• Relatively few examples of special cases

Impact

1. Academic Contribution

• Fills important gap in theory of zeta functions for spherical buildings
• Provides powerful tools and framework for subsequent research
• Demonstrates deep connections between different mathematical branches

2. Methodological Value

• Analysis methods for cyclic n-partite graphs have universal applicability
• Combination of group actions and representation theory offers new perspectives
• Application of deformation theory opens new research directions

3. Reproducibility

• Theoretical derivations are logically clear and reproducible
• Main results have explicit mathematical formulations
• Computational processes, though complex, are deterministic

Applicable Scenarios

1. Theoretical Research

• Further development of building theory
• New applications in finite group representation theory
• In-depth study of algebraic combinatorics

2. Related Fields

• Study of zeta functions in algebraic geometry
• Analogous L-function theory in number theory
• Generalizations of spectral theory in graph theory

3. Educational Value

• Demonstrates unity of different branches of modern mathematics
• Provides excellent case study of representation theory applications
• Exemplifies concrete applications of abstract mathematics

References

The paper cites 54 important references, primarily including:

1. Building Theory Foundations: Abramenko & Brown (2008), Serre (2005), Tits (1974)
2. Representation-Theoretic Tools: Curtis & Reiner (1981, 1987), Geck & Pfeiffer (2000)
3. Combinatorics: Sagan (2013), on symmetric functions and Young tableau theory
4. Zeta Functions: Hashimoto (1989), Li (2019), Kang & Li (2014)

These references reflect the author's deep mastery and judicious application of relevant literature.

Overall Assessment: This is a high-quality pure mathematics theoretical paper that achieves significant breakthroughs in the study of zeta functions for spherical buildings. While technically demanding, it makes substantial theoretical contributions with strong methodological innovation, establishing important foundations for related fields. The paper demonstrates the author's profound mathematical expertise and excellent research ability, serving as an exemplary work in the interdisciplinary study of building theory and representation theory.