Edge Zeta Functions and Eigenvalues for Buildings of Finite Groups of Lie Type
Pith reviewed 2026-05-24 01:18 UTC · model grok-4.3
The pith
Every nonzero edge eigenvalue of Tits buildings for finite groups of Lie type becomes a power of q after a bounded exponent.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For the Tits building B(G) of a finite group of Lie type G(F_q), every nonzero eigenvalue λ of the edge operator satisfies that λ raised to a bounded exponent k (depending on the type of G) is a power of q. The proof uses a Hecke algebra structure on the edge operators to obtain the result uniformly for all such groups.
What carries the argument
Hecke algebra structure on the edge operators of the Tits building, which encodes adjacency relations and enables uniform eigenvalue analysis across Lie types.
If this is right
- The edge zeta function is determined by roots that are powers of q after the bounded exponent.
- The result holds for the complete collection of finite groups of Lie type rather than isolated cases.
- Counts of edge-geodesic cycles obey algebraic constraints tied to powers of q.
- Spectral methods extend to the full edge-geodesic setting on buildings.
Where Pith is reading between the lines
- The Hecke algebra method may extend to other adjacency operators or zeta functions defined on the same buildings.
- Explicit values of the bound k can be read off from the relations in the Hecke algebra for each fixed Lie type.
- The eigenvalue property links the graph spectrum directly to the representation theory of the underlying finite group of Lie type.
Load-bearing premise
The Tits building of G(F_q) admits a Hecke algebra structure on its edge operators that permits uniform eigenvalue analysis without type-specific adjustments.
What would settle it
An explicit computation of the edge adjacency spectrum for a small example such as the building of SL(3, q) that produces a nonzero eigenvalue whose powers up to the type-dependent bound k are never a power of q.
read the original abstract
For the Tits building B(G) of a finite group of Lie type G(Fq), we study the edge zeta function, which enumerates edge-geodesic cycles in the 1-skeleton. We show that every nonzero edge eigenvalue becomes a power of q after raising to a bounded exponent k depending on the type of G. The proof is uniform across types using a Hecke algebra approach. This extends previous results for type A and for oppositeness graphs to the full edge-geodesic setting and all finite groups of Lie type.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the edge zeta function enumerating edge-geodesic cycles in the 1-skeleton of the Tits building B(G) for a finite group of Lie type G(F_q). It proves that every nonzero eigenvalue λ of the edge adjacency operator satisfies λ^k = q^m for a bounded exponent k (depending only on the Lie type of G) and some integer m; the argument is uniform across types and proceeds via a Hecke algebra on the edge operators. This extends earlier results limited to type A and to oppositeness graphs.
Significance. If the Hecke-algebra construction is valid, the result supplies a uniform, type-independent explanation for the algebraic character of the nonzero edge eigenvalues, strengthening the spectral theory of buildings and their zeta functions. The uniform Hecke-algebra method itself would be a methodological contribution beyond the specific eigenvalue statement.
minor comments (2)
- The abstract states the main theorem clearly, but the manuscript should include an explicit statement of the Hecke algebra generators and relations (presumably in the section developing the algebra) so that the uniformity claim can be checked without reconstructing the operators from context.
- Notation for the edge adjacency operator and the precise definition of 'edge-geodesic cycles' should be fixed early and used consistently; occasional shifts between graph-theoretic and building-theoretic language could be clarified.
Simulated Author's Rebuttal
We thank the referee for the positive summary, assessment of significance, and recommendation for minor revision. No specific major comments appear in the report.
Circularity Check
No significant circularity; derivation self-contained via Hecke algebra
full rationale
The paper's central result—that every nonzero edge eigenvalue λ satisfies λ^k = q^m for bounded k depending on the Lie type—is asserted to follow from a uniform Hecke-algebra construction on the edge operators of the Tits building B(G). The provided abstract and description contain no equations, fitted parameters, or self-citations that reduce this claim to its own inputs by construction. The extension of prior type-A results is presented as an independent generalization rather than a load-bearing self-reference. No enumerated circularity pattern (self-definitional, fitted-input prediction, uniqueness imported from authors, etc.) is exhibited in the given material, so the derivation chain remains non-circular.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction (forces 8-tick period) echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
every nonzero edge eigenvalue λ becomes a power of q after raising to a bounded exponent k=2m depending on the type of G... For types B or C, one may take k=8... Luo’s decomposition theorem... a_{P0 w_S P_m} a_{P_m w_S P0}
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel (J-cost uniqueness) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 3.3.1... Spec((T_C)^{2m/c}) = {Q(w_I)^{-2} q^{f_χ} ...} ... zeta factor Z_C(u) = product over roots of unity
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
The eigenvalues of oppositeness graphs in buildings of spher- ical type
Andries E Brouwer. “The eigenvalues of oppositeness graphs in buildings of spher- ical type”. In:Combinatorics and graphs531 (2010), pp. 1–10
work page 2010
-
[2]
Roger William Carter.Finite groups of Lie type: Conjugacy classes and complex characters. Wiley Classics Library. John Wiley & Sons, 1985
work page 1985
-
[3]
Charles W. Curtis and Irving Reiner.Methods of Representation Theory: With Applications to Finite Groups and Orders, Volume 1. New York: Wiley, 1981
work page 1981
-
[4]
The zeta functions of complexes from Sp (4)
Yang Fang, Wen-Ching Winnie Li, and Chian-Jen Wang. “The zeta functions of complexes from Sp (4)”. In:International Mathematics Research Notices2013.4 (2013), pp. 886–923
work page 2013
-
[5]
The nonexistence of certain generalized poly- gons
Walter Feit and Graham Higman. “The nonexistence of certain generalized poly- gons”. In:Journal of algebra1.2 (1964), pp. 114–131
work page 1964
-
[6]
M. Geck and G. Pfeiffer.Characters of finite Coxeter groups and Iwahori-Hecke algebras. Oxford University Press, 2000
work page 2000
-
[7]
Zeta functions of finite graphs and representations ofp-adic groups
Ki-ichiro Hashimoto. “Zeta functions of finite graphs and representations ofp-adic groups”. In:Automorphic Forms and Geometry of Arithmetic Varieties. Vol. 15. Advanced Studies in Pure Mathematics. Academic Press, 1989, pp. 211–280
work page 1989
-
[8]
On discrete subgroups of the two by two projective linear group overp-adic fields
Yasutaka Ihara. “On discrete subgroups of the two by two projective linear group overp-adic fields”. In:Journal of the Mathematical Society of Japan18.3 (1966), pp. 219–235.doi:10.2969/jmsj/01830219
-
[9]
On some Bruhat decomposition and the structure of the Hecke rings ofp-adic Chevalley groups
Nagayoshi Iwahori and Hideya Matsumoto. “On some Bruhat decomposition and the structure of the Hecke rings ofp-adic Chevalley groups”. In:Publications Math´ ematiques de l’IH ´ES25 (1965), pp. 5–48
work page 1965
-
[10]
Zeta functions and applications of group-based complexes
Ming-Hsuan Kang. “Zeta functions and applications of group-based complexes”. Doctoral dissertation. Pennsylvania State University, 2010
work page 2010
-
[11]
Zeta functions of complexes arising from PGL(3)
Ming-Hsuan Kang and Wen-Ching Winnie Li. “Zeta functions of complexes arising from PGL(3)”. In:Advances in Mathematics256 (2014), pp. 46–103
work page 2014
-
[12]
Zeta functions of finite graphs
Motoko Kotani and Toshikazu Sunada. “Zeta functions of finite graphs”. In:Journal of Mathematical Sciences, The University of Tokyo7.1 (2000), pp. 7–25
work page 2000
-
[13]
Zeta Functions of Group Based Graphs and Complexes
Wen-Ching W Li. “Zeta Functions of Group Based Graphs and Complexes.” In: WIN-Women in Numbers(2011), pp. 225–236
work page 2011
-
[14]
Wen-Ching Winnie Li.Zeta andL-functions in Number Theory and Combinatorics. Vol. 129. American Mathematical Soc., 2019. 38
work page 2019
-
[15]
Alex Lubotzky.Discrete groups, expanding graphs and invariant measures. Vol. 125. Springer Science & Business Media, 1994
work page 1994
-
[16]
Caihua Luo. “Casselman–Shahidi conjecture on the singularity of intertwining op- erators: groups of exceptional type”. In:arXiv preprint arXiv:2207.02694v2(2022)
- [17]
-
[18]
Springer Science & Business Media, 2002
Jean-Pierre Serre.Trees. Springer Science & Business Media, 2002
work page 2002
-
[19]
Zeta functions for spherical Tits buildings of finite general linear groups
Jianhao Shen. “Zeta functions for spherical Tits buildings of finite general linear groups”. In:Advances in Mathematics458 (2024). Available online 4 Oct 2024, p. 109965.doi:10.1016/j.aim.2024.109965
-
[20]
Oppositeness in buildings and simple modules for finite groups of Lie type
Peter Sin. “Oppositeness in buildings and simple modules for finite groups of Lie type”. In:Buildings, Finite Geometries and Groups: Proceedings of a Satellite Conference, International Congress of Mathematicians, Hyderabad, India, 2010. Springer. 2012, pp. 273–286
work page 2010
-
[21]
Regular elements of finite reflection groups
Tonny Albert Springer. “Regular elements of finite reflection groups”. In:Inven- tiones mathematicae25.2 (1974), pp. 159–198
work page 1974
-
[22]
Jacques Tits.Buildings of spherical type and finite BN-pairs. Springer, 1974. 39
work page 1974
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.