Counting Parabolic Principal G-bundles with Nilpotent Sections over $\mathbb{P}^{1}$

技术摘要：“关于 $\mathbb{P}^1$ 上带有幂零截面的抛物型主 $G$-丛的计数”

问题陈述
本文研究了在射影直线 $\mathbb{P}^1$ 上，配备了在两个标记点（$0$和$\infty$）处的抛物结构以及与之相容的伴随丛的幂零截面的主$G$-丛模空间的$\mathbb{F}q$-有理点计数问题。具体而言，对于有限域$\mathbb{F}q$上的分裂连通还原群$G$，作者寻求一个显式公式，用于计算三元组$(p_0, p\infty, \Psi)$的数量，其中$p_0$和$p\infty$是指定类型的$0$和$\infty$处的抛物结构，而$\Psi$是与这些结构相容的伴随丛$\text{ad}(E_\mu)$ 的幂零截面。

这项工作推广了 A. Mellit [13] 的结果，后者计算了向量丛（即 $G = GL_n$ 的情况）的此类计数，并将其与修正的 Macdonald 多项式联系起来。本文旨在将这一计数问题推广到任意分裂连作为还原群，这是为了理解在一般曲线上有抛物 $G$-Higgs 丛的更广泛计数问题的必要步骤。

方法论
作者采用了几何技术，而非 Mellit 所使用的适用于向量丛但对一般还原群较难处理的 Hall 代数方法。该方法论分为两个主要阶段：

1. 计数广义 Steinberg 簇： 第一步涉及推导广义 Steinberg 簇 $St^H(J_1, J_2)$ 点数的显式公式。这些簇由三元组 $(n, P, Q)$ 组成，其中 $P$ 和 $Q$ 是共轭于标准抛物子群 $P_{J_1}$ 和 $P_{J_2}$ 的抛物子群，$n$ 是它们李代数交集中的一个幂零元素。为了实现这一点，作者在简单根子集的函数格上引入了一个余乘积 $\Delta^H$。该余乘积将广义 Springer 簇的点数与广义 Steinberg 簇的点数联系起来。

2. 通过 Bialynicki–Birula 分解进行分层： 第二步通过利用源自丛 $E_\mu$ 的丛结构（torsor structure）所导出的 $\mathbb{G}_m$-作用，将三元组（模空间 $Trip_\mu(J_0, J_\infty)$）的计数简化为对广义 Steinberg 簇的点数计数。尽管涉及的方案既不是光滑的也不是射影的，但作者应用了一个广义的 Bialynicki–Birula 分解。这使得模空间可以分解为局部闭子集，这些子集是固定点轨道上的仿射纤维化。固定点轨道被证明同构于 Levi 子群 $L_\mu$ 的广义 Steinberg 簇。

核心贡献与结果

• Steinberg 簇的显式公式 (定理 3.1)： 本文提供了广义 Steinberg 簇 $St^H(J_1, J_2)$ 的 $\mathbb{F}_q$-点数的显式公式。它确立了将余乘积 $\Delta^H$ 作用于计数广义 Springer 簇点的函数，会得到计数广义 Steinberg 簇点的函数：$\Delta^H([Sp^H]) = [St^H]$。
• 三元组计数 (定理 3.2 与 推论 3.2.1)： 本文的主要结果是 $|Trip_\mu(J_0, J_\infty)|$ 的显式公式。模空间被分层，其点数表示为 Weyl 群中双陪集的和，并由 $q$ 的幂次以及与 Levi 子群 $L_\mu$ 相关联的广义 Steinberg 簇的点数进行加权。
  • 公式给出为：
    $$[Trip_\mu] = q^{\dim(\text{Aut}(E_\mu)) - \dim(L_\mu)} (\pi_\mu \otimes \pi_\mu)([St^{L_\mu}])$$
    其中 $\pi_\mu$ 是由余乘积结构导出的映射。
• 多项式性质： 推论 3.2.2 表明计数 $|Trip_\mu(J_0, J_\infty)|$ 是一个具有非负整数系数的 $q$ 的多项式。
• 重新推导 Mellit 的结果 (第 7 节)： 对于特定的 $G = GL_n$ 情况，作者使用推导出的方法重新推导了 Mellit 关于带有幂零自同构的抛物向量丛的生成函数。这证实了几何方法与之前的代数结果的一致性，并建立了一个将生成函数与特定对称函数的复式指数（plethystic exponential）联系起来的乘积公式 (命题 7.1)。

意义与范围
本文声称解决了针对任意分裂连通还原群的“第一个非平凡情况”（带有两个标记点的射影直线）的重要计数问题。作者指出，所使用的方法依赖于该情形的特殊特征，即主 $G$-丛在 $\mathbb{P}^1$ 上的分类（它们都是 Zariski 局部平凡的，并由优势共特征标分类）。

本文对其在一般曲线上的直接范围保持谦逊。作者承认，将这些结果扩展到一般曲线 $X$ 上计数半稳定抛物 $G$-Higgs 束，需要诸如复式指数、抛物丛的 Serre 对偶性和积分映射等工具，而这些工具目前在一般还原群中尚缺乏对应物。然而，本文认为，如果能在 $\mathbb{P}^1$ 上带有任意数量标记点的情况下建立类似于命题 7.1 的乘积公式，这将为解决 $\mathbb{P}^1$ 上带有标记点的 $G$-Higgs 束的类似问题铺平道路。

总之，这项工作为一般还原群下 $\mathbb{P}^1$ 上抛物丛上的幂零截面计数提供了一个几何框架，弥补了 $GL_n$ 情况与一般理论之间的鸿沟，同时强调了使之成为可能的特定几何与组合结构（余乘积、Steinberg 簇以及 Bialynicki–Birula 分解）。