[论文解读] On the Motive of the Stack of Bundles

Kai Behrend, Ajneet Dhillon|ArXiv.org|Dec 29, 2005

Advanced Algebra and Geometry参考文献 20被引用 4

一句话总结

本文提出了一个关于光滑射影曲线 $C$ 上 $G$-主丛堆的动机的猜想公式，以 $C$ 的 motivic zeta 函数的特殊值来表达。该公式统一了算术几何与拓扑学中的结果：在 $\mathbb{C}$ 上，通过 Poincaré 示性数可恢复 Atiyah-Bott 与 Teleman 的结果；在 $\mathbb{F}_q$ 上，通过计数测度可推出 Tamagawa 数猜想。其关键贡献是 Weil 的 Tamagawa 数猜想的 motivic 提升。

ABSTRACT

Let $G$ be a split connected semisimple group over a field. We give a conjectural formula for the motive of the stack of $G$-bundles over a curve $C$, in terms of special values of the motivic zeta function of $C$. The formula is true if $C=\pp^1$ or $G=\sln$. If $k=\cc$, upon applying the Poincaré or Serre characteristic, the formula reduces to results of Teleman and Atiyah-Bott on the gauge group. If $k=\ffq$, upon applying the counting measure, it reduces to the fact that the Tamagawa number of $G$ over the function field of $C$ is $|π_1(G)|$.

研究动机与目标

• 为光滑射影曲线 $C$ 上 $G$-挠oids 的模堆 $\mathfrak{Bun}_{G,C}$ 提出一个猜想形式的动机表达式。
• 在单一 motivic 框架下统一算术几何与拓扑学中的已知结果——具体而言，通过 $\mathbb{C}$ 上的 Poincaré 示性数与 $\mathbb{F}_q$ 上的计数测度。
• 提出一个 motivic Tamagawa 数 $\tau(G)$，作为未来全局 motivic 积分测度的候选。
• 在特殊情形下为该猜想提供证据：$G = \mathrm{SL}_n$ 与 $C = \mathbb{P}^1$，以及 $\mathbb{C}$ 上的单连通 $G$。

提出的方法

• 通过维度完成 $\widehat{K}_0(\mathrm{Var}_k)$ 与 $\mu(\mathrm{GL}_n)$ 的逆元，为被全局商分层的代数堆 $\mathfrak{X}$ 定义动机 $\mu(\mathfrak{X})$。
• 引入带挠oids关系的修正 $K$-环 $\widehat{K}_0^G(\mathrm{Var}_k)$，以确保所有标准不变量均通过该环。
• 将 $\mathfrak{Bun}_{G,C}$ 的动机表达为 $\mu(\mathfrak{Bun}_{G,C}) = \mathbb{L}^{(g-1)\dim G} \prod_{i=1}^r Z(C, \mathbb{L}^{-d_i})$，其中 $G$ 为单连通群，$d_i$ 为 $G$ 的指数加一。
• 应用 Poincaré 示性数，以恢复 $\mathbb{C}$ 上规范群的 Poincaré 系数生成函数的 Teleman 结果。
• 在 $\mathbb{F}_q$ 上应用计数测度，以恢复 $G$ 在 $C$ 的函数域上的 Tamagawa 数等于 $|\pi_1(G)|$，从而在该情形下证实猜想。
• 通过 [BGL94] 的矩阵除子构造，直接验证 $G = \mathrm{SL}_n$ 的情形；通过 Grothendieck-Harder 对 $G$-挠oids 的显式分类，验证 $C = \mathbb{P}^1$ 的情形。

实验结果

研究问题

• RQ1 在函数域上，$G$-主丛的 Tamagawa 数猜想的 motivic 类比是什么？
• RQ2 如何用曲线 $C$ 的 motivic zeta 函数来表达堆 $\mathfrak{Bun}_{G,C}$ 的动机？
• RQ3 该猜想公式是否统一了通过 Poincaré 示性数得到的拓扑学结果与通过计数测度得到的算术学结果？
• RQ4 该公式是否可在 $G = \mathrm{SL}_n$ 或 $C = \mathbb{P}^1$ 等特殊情形下得到验证？
• RQ5 是否存在对 Tamagawa 数的 motivic 解释，使其在未来全局 motivic 积分理论中可作为测度？

主要发现

• 当 $k = \mathbb{C}$ 时，对猜想公式应用 Poincaré 示性数，可通过 Hodge 结构的纯性恢复 Teleman 关于 $G$ 的规范群 Poincaré 系数生成函数的结果。
• 当 $k = \mathbb{F}_q$ 时，应用计数测度可得 $G$ 在 $C$ 的函数域上的 Tamagawa 数等于 $|\pi_1(G)|$，从而在该情形下证实了猜想。
• 通过 [BGL94] 的矩阵除子构造，已证明 $G = \mathrm{SL}_n$ 情形下该公式成立，从而确立了该情形下的猜想。
• 通过 Grothendieck 与 Harder 对 $G$-挠oids 的显式分类，已证明 $C = \mathbb{P}^1$ 情形下该公式成立。
• 该猜想公式在拓扑与算术设定下均退化为已知结果，为其正确性提供了强有力证据。
• 本文引入 motivic Tamagawa 数 $\tau(G) = \mathbb{L}^{(1-g)\dim G} \mu(\mathfrak{Bun}_{G,C}) \prod_{i=1}^r Z(C, \mathbb{L}^{-d_i})^{-1}$，暗示其在未来全局 motivic 积分理论中的潜在作用。