Counting points on generic character varieties

技术摘要：计算一般型特征簇上的点数

问题陈述
本文研究了与穿孔曲面群及正则半单共轭类相关的特征簇的点数计数问题，涉及任意还原群 $G$ 在有限域上的情况。虽然 $GL_n$ 特征簇的几何与拓扑性质已因 Hausel, Letellier, 和 Rodriguez-Villegas [HRV08, HLRV11] 的奠基性工作而得到深入理解，但对于一般还原群的特征簇，目前的理解仍然有限。具体而言，作者旨在确定两种类型的 $\mathbb{F}_q$-点数：乘法特征簇（与穿孔曲面的基本群相关）及其加法类似物（与李代数 $\mathfrak{g}$ 相关）。研究重点在于“一般型”（generic）共轭类元组，这一条件确保了这些簇是光滑且等维的。

方法论
作者结合了有限李群的表示理论、Deligne-Lusztig 理论以及李代数的调和分析。

1. 乘法情形：

   • 出发点是 Frobenius 质量公式（Frobenius Mass Formula），该公式将表示簇上的点数表示为有限群 $G(\mathbb{F}_q)$ 的不可约复特征的函数。
   • 利用共轭类是一般型的且包含强正则元素的假设，作者应用了 Deligne 和 Lusztig [DL76] 的定理。这限制了有贡献的特征仅限于主系列表示（principal series representations）。
   • 通过将表示归类为“类型” $\tau = [L, \rho]$ 来重新组织特征和，其中 $L$ 是一个标准端点群（pseudo-Levi 子群），$\rho$ 是 $L$ 的 Weyl 群的一个不可约特征。
   • 利用在端点群偏序集上的 Möbius 反演来计算特征和。一个关键步骤是分析 Frobenius 作用在对偶环面上的稳定子，这需要进行有限基变换以确保某些分量群发生分裂。

2. 加法情形：

   • 加法特征簇是通过李代数 $\mathfrak{g}$ 和伴随轨道定义的。计数问题通过加法形式的 Frobenius 质量公式来处理，该公式涉及伴随轨道的特征函数的傅里叶变换。
   • 作者利用 Kazhdan 和 Letellier [Let05] 的结果来评估这些傅里叶变换。变换的非零性与李代数中的“分裂”（split）元素相关联。
   • 与乘法情形类似，和被分解为“类型” $\tau = [L, N]$，其中 $L$ 是一个 Levi 子群，$N$ 是一个幂零轨道。
   • 评估依赖于 Green 函数和 Springer 纤维的性质。作者指出，对于含有 $E_8$ 因子的群，可能需要二次基变换以确保点数是一个多项式。

核心贡献与结果

1. 乘法特征簇的多项式计数：

   • 定理 2： 作者证明，对于与还原群 $G$ 相关的泛型特征簇 $X$，存在一个正整数 $r$，使得对于所有 $m \geq 1$，其点数 $|X(\mathbb{F}_{q^{rm}})|$ 由一个多项式 $f_X(q^{rm})$ 给出。
   • 回文性质： 计数多项式 $f_X(t)$ 被证明是回文的（系数对称）。这表明该簇满足一种“奇特”的 Poincaré 对偶性和“奇特”的 Hard Lefschetz 性质，从而支持了这些簇的 $P=W$ 猜想。
   • 连通分支： $X$ 的连通分支数量被确定为 $|\pi_0(Z(\check{G}))|$，其中 $\check{G}$ 是 Langlands 对偶群。
   • 独立性： 多项式 $f_X$ 仅取决于群 $G$、亏格 $g$ 和穿孔数 $n$，而与所选的具体泛型共轭类无关。

2. 加法特征簇的多项式计数：

   • 定理 6： 作者确立了加法特征簇 $Y$ 也是多项式计数的，特别是在经过二次基变换后（即 $|Y(\mathbb{F}_{q^{2m}})| = f_Y(q^{2m})$）。
   • 非负系数： 由于缺乏直接的拟阵簇（quiver varieties）联系（这种联系仅在 $GL_n$ 中存在），虽然缺乏通用的证明，但对于秩小于 7 的群的计算证据表明 $f_Y$ 的系数是非负的。这支持了 $Y$ 的上同调是纯的这一猜想。
   • 连通性： 加法簇 $Y$ 被证明是连通的。

3. 显式公式与示例：

   • 论文提供了关于计数多项式 $f_X$ 和 $f_Y$ 的关于根系数据、Weyl 群特征和 Green 多项式的显式有理函数公式。
   • 第 7 节给出了低秩群（$GL_n, SO_5, G_2, B_3, C_3, D_4, F_4, E_6$）以及特定亏格和穿孔值下的详细表格和显式多项式。

意义与主张
本文声称将 Hausel, Letellier, 和 Rodriguez-Villegas 的卓越成果从 A 型（$GL_n$）推广到了任意还原群。

• 结构洞察： 证明泛型特征簇是多项式计数且具有回文性的事实，为这些簇在还原群设置下的深层拓扑性质（Hodge-Tate 结构、Poincaré 对偶、Hard Lefschetz）提供了强有力的证据，镜像了 $GL_n$ 已知的行为。
• Kac 多项式的还原类比： 加法特征簇的计数多项式被提议为 comet-shaped 拟阵的还原类比 Kac 多项式。其系数的非负性是一个猜想，将加法特征簇的几何学与 Borcherd 代数的表示理论联系起来。
• 未来猜想的基础： 作者指出，他们的结果提供了在还原设置下制定混合 Hodge 多项式猜想所需的数据，类似于 $GL_n$ 中已知的 Macdonald 多项式公式。他们强调，由于缺乏直接的拟阵簇对应关系，证明一般 $G$ 的系数非负性仍然是一个非平凡的开放问题。

该工作高度依赖于中心 $Z(G)$ 是连通的且域的特征对 $G$ 是“良性”（very good）的假设。作者承认，放宽连通中心假设会因为对偶群中不连通的中心化子而使公式变得复杂，且泛型假设对于簇的光滑性和等维性至关重要。