GU(1,n-1) 志村簇在分歧素数处的超特殊轨迹中BT层的上同调：有限辛群的表示论视角

本文聚焦于GU(1,n-1) 志村簇在分歧素数处的超特殊轨迹的几何结构，通过研究其Bruhat–Tits（BT）层的上同调，揭示了有限辛群Sp(2θ, Fq)的不可约表示与Deligne–Lusztig变种的内在联系。作者利用抛物Deligne–Lusztig变种的谱序列和符号组合学，完整刻画了上同调群的Frobenius作用纯性与表示分解，为志村簇的局部几何与Langlands对应提供了新视角。

在数论与代数几何的交叉领域，志村簇（Shimura variety）作为连接自守形式与Galois表示的重要桥梁，其局部几何结构的研究始终备受关注。特别地，当考虑在分歧素数处的超特殊轨迹（supersingular locus）时，其几何性质常能反映对应代数群的表示论特征。对于酉群GU(1, n−1)对应的志村簇，其在分歧素数p下的超特殊轨迹具有由Bruhat–Tits（BT）层构成的精细分层。这些BT层不仅是几何对象，更通过其ℓ进上同调承载了有限辛群Sp(2θ, F_q)的表示信息，其中θ与n的奇偶性相关。然而，这些上同调群的具体结构——包括其作为群表示的分解、Frobenius算子的作用特征，以及其与Deligne–Lusztig理论中定义的变种的联系——长期以来是未解之谜。本文发表于《Canadian Journal of Mathematics》，旨在系统刻画这些BT层S_θ的上同调环，揭示其背后深刻的表示论与数论意义。

为攻克此难题，作者综合运用了多种前沿技术。核心方法包括：利用抛物Deligne–Lusztig变种的谱序列将全局上同调分解为局部诱导表示；通过符号（symbol）组合学分类有限辛群Sp(2θ, F_q)的单能表示（unipotent representation）；构造S_θ的奇点解消（blow-up）以分析Frobenius作用的纯性；并借助相交上同调（intersection cohomology）理论验证了S_θ的仿射层具有期望的拓扑性质。

主要研究结果

BT层的几何与谱序列分解

研究首先明确了BT层S_θ可被分解为一系列抛物Deligne–Lusztig变种X_Iθ′(w_θ′)的并，其中0 ≤ θ′ ≤ θ。这一分层诱导了一个谱序列，其E₁项由Harish-Chandra诱导函子R_LKθ′^{Sp(2θ, F_q)}作用于Coxeter变种X^θ′的上同调而得到。通过计算发现，该谱序列在第二页退化，且其极限项给出的滤过是可分裂的，从而将H^k(S_θ)的计算转化为对各级诱导表示的核与像的分析。

上同调群的群表示结构

研究的核心结论是：S_θ的上同调仅存在于偶数度，且可被完全分解为有限辛群Sp(2θ, F_q)的不可约单能表示的直和。具体地，对每个0 ≤ i ≤ θ，有

H²ⁱ(S_θ) ≅ ⨁_(α,β) ρ_0,α,β ⊕ ⨁_(γ,δ) ρ_1,γ,δ,

其中直和分别取遍所有满足|α| + |β| = θ且|α| = i的二分拆（bipartition）(α,β)，以及满足|γ| + |δ| = θ−2且|γ| = i−1的二分拆(γ,δ)。Frobenius算子在此空间上以特征值qⁱ（对应ρ_0,α,β）和−qⁱ（对应ρ_1,γ,δ）半单作用。

Frobenius作用的纯性与相交上同调

通过构造S_θ在奇点（即F_q-有理点）处的解消，并利用其光滑性，证明了H^k(S_θ)上的Frobenius作用是纯的，权数为2⌊k/2⌋。进一步，通过分析相交复形j_!∗Q_ℓ → Rj_∗Q_ℓ的截断谱序列，发现S_θ的相交上同调IH^•(S_θ)与其普通上同调H^•(S_θ)一致，表明该仿射层虽具奇点，但其上同调表现出类似于光滑射影簇的优良性质（如Poincaré对偶、纯性）。

结论与意义

本文完整刻画了GU(1, n−1)志村簇超特殊轨迹中BT层S_θ的上同调结构，证明其可被有限辛群Sp(2θ, F_q)的单能表示完全描述，且Frobenius作用具有纯性与显式特征值。这一成果建立了志村簇局部几何与群表示论的直接联系：一方面，为通过几何方法构造特定Langlands对应中的表示提供了新途径；另一方面，揭示了非光滑仿射变种上同调可能隐藏的“光滑性”质，为研究类似几何对象的拓扑性质树立了范例。此外，文中发展的符号组合学与抛物诱导计算技巧，可推广至其他类型的群与志村簇，有望在p可除群与模表示论的交叉领域催生新的突破。