边zeta函数与球面建筑的特征值：一种统一的Hecke代数方法

《Advances in Mathematics》：Edge zeta functions and eigenvalues for spherical buildings: A uniform Hecke algebra approach

　　

对于有限李型群G的Tits建筑(B(G))，具有晶体学相对Coxeter系统和标准域参数q，研究人员研究边zeta函数，它枚举1-骨架中的边-测地线环。研究人员证明每个非零边特征值在提升到依赖于G类型的有界指数k后成为q的幂。证明在类型上是统一的，使用Hecke代数方法。这扩展了之前对于类型A和对立图的结果到完整的边-测地线设置。

球面建筑的zeta函数是连接几何、组合与表示论的重要工具，推广了正则图的Ihara zeta函数。在更高秩情形中，建筑的几何反映其Weyl群的结构，对于代数群产生的建筑，还编码了群的基本对称性。1维球面建筑（有限商图）的谱和zeta函数已通过经典Ihara理论完全理解，随后工作扩展到来自局部域上约化群的仿射建筑的更高维类似物，揭示了与p-adic L-函数和自守形式的联系。然而，有限域上球面建筑的zeta函数仍较少探索，之前研究主要集中在类型A和对立图，一般测地线结构未涉及。作者在先前工作中引入了类型A的边zeta函数并推导了闭公式，现需推广到其他经典和例外类型。本文旨在建立统一框架，适用于所有有限李型群相关的有限厚球面建筑，其相对Coxeter系统是晶体学（crystallographic，即所有不可约类型且秩至少为3）。通过研究边zeta函数ZB(u)，枚举1-骨架中的原始封闭测地线，并证明其特征值都是q的幂。论文发表在《Advances in Mathematics》。

研究人员使用的主要关键技术方法包括：1) 将建筑1-骨架中的测地线环问题转化为测地线边图X2(B)中的闭游走计数，从而转化为图论问题；2) 引入类型轨道分解，将图分解为多部图分量，并利用相对目标元素（RDE，relative destination elements）和Hecke代数方法，将长乘积约化为几个双陪集算子；3) 应用Luo的分解定理（将Weyl群的最长元素分解为一段乘积）和Springer关于Iwahori-Hecke代数中心元素的定理，证明特征值是q的幂。

研究结果按以下结构展开：

- **Section 1: Setting and main theorem**：定义了边zeta函数ZB(u)和边特征值λ，并陈述主定理1.1：对于有限李型群G，其标准球面BN-对，相对Coxeter系统是晶体学，则每个边特征值λ在提升到某个整数k>0后成为q的整数幂。对于类型A，k=6；对于类型B/C，k=8；对于类型D，k可为6或8。

- **Section 2: From the building zeta function to a group algebra problem**：通过引理2.1.1将测地线路径条件转化为代数条件，定义测地线边图X2(B)，并证明建筑zeta函数等于X2(B)的闭游走zeta函数。然后通过类型映射将X2(B)分解为类型轨道分量，每个分量是循环c-部图，其zeta函数相乘。利用G的传递作用，引入相对目标元素（RDE）将图的邻接算子表示为Hecke代数中的双陪集算子，从而将问题约化为c-步算子TC的特征值问题。

- **Section 3: Hecke algebra reduction and proof of the main theorem**：通过Luo的分解定理（定理3.1.2）和长度可加性，证明存在整数m使得c|2m，且TC的2m/c次幂等于两个双陪集算子的乘积aP0wSPmaPmwSP0。然后利用Springer定理（定理3.2.1）证明该乘积的特征值是q的幂，从而得到TC的特征值是q的(2m/c)次根。最后给出细化定理3.3.1，包括谱分解和zeta因子的显式表达式。还提供了Luo定理的完整证明。

- **Section 4: Examples: explicit zeta factors for finite buildings**：首先回顾类型A的公式，然后推导类型C（辛群）的显式公式。对于类型C，通过计算表示论不变量（如度数dχ、反射统计fχ、多重性nχ和根分裂mC,χ(ζ)），得到定理4.3.2和4.3.3的闭公式。最后列表给出了所有晶体学类型的轨道环和半长度m（包括例外类型G2, F4, E6, E7, E8）。

讨论部分（Further directions）总结了三个自然扩展方向：1) 定义高维zeta函数，计数高维骨架中的封闭测地线，可能联系到建筑的上同调和Ihara行列式公式的高秩类似；2) 研究正则元素和特征值，观察到在类型C中出现的特征值模式与Coxeter元素或正则元素在Weyl群中的特征值类似，可能提供新的表示论框架；3) 推广到其他相对Coxeter系统。

研究结论翻译：主定理1.1和定理3.3.1表明，对于有限李型群G的球面建筑B(G)，其边zeta函数的非零边特征值在提升到适当指数后都是q的幂。具体地，每个边特征值λ满足λ^k = q^m，其中k=2m依赖于类型和轨道。这一结果统一了类型A和之前的结果，并首次给出了所有晶体学类型的统一证明，证明了Hecke代数表示论对zeta函数的控制作用。