[论文解读] The Atiyah-Bott formula for the cohomology of the moduli space of bundles on a curve

Dennis Gaitsgory|arXiv (Cornell University)|May 10, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 4被引用 18

一句话总结

该论文利用非交换庞加莱对偶性、 Verdier 对偶性以及 Ran 空间上的因子代数，建立了有限域上光滑射影曲线的主 G-丛模空间上同调的 Atiyah-Bott 公式。关键结果是一个欧拉乘积公式，将 Frobenius 在同调上的 Lefschetz 跟踪与闭点上的无穷乘积相等，通过谱序列和 Grothendieck-Lefschetz 跟踪公式证明了其收敛性与等式。

ABSTRACT

This paper is a companion of the paper "Weil's conjecture for function fields" by J. Lurie and the author. We present a different exposition of essentially the same algebro-geometric proof of the Atiyah-Bott for the cohomology of Bun(G), which subsequently leads to the proof of the Tamagawa number formula for the volume of the automorphic space for function fields.

研究动机与目标

• 建立有限域上光滑射影曲线的主 G-丛模堆栈上同调的 Atiyah-Bott 公式。
• 证明一个数值乘积公式，将 Frobenius 在同调上的 Lefschetz 跟踪与闭点上的欧拉乘积相等。
• 展示模空间的同调如何通过非交换庞加莱对偶性，从 Ran 空间上的全局对偶性结构中导出。
• 通过 Verdier 对偶性和因子结构，证明同调乘积公式与数值乘积公式等价。

提出的方法

• 使用非交换庞加莱对偶性，将模堆栈的同调与 Ran 空间上的 chiral 同调联系起来。
• 在预堆栈和广义预堆栈上应用 Verdier 对偶性，以关联对偶复形并建立对偶同构。
• 采用增强版与单位版 Ran 空间构造，定义“移除单位”的函子，从而关联不同版本 Ran 空间上的层。
• 利用因子代数与余代数的形式化，将全局对偶性问题约化为一个局部点态对偶性陈述。
• 应用 Grothendieck-Lefschetz 跟踪公式，计算堆栈 $BG_x$ 上的迹，并将其与局部欧拉因子关联。
• 通过分析 Frobenius 在同调上的 $\tau$-权并使用关于 $t$ 的形式幂级数，建立无穷乘积的收敛性与等式。

实验结果

研究问题

• RQ1 如何从 Ran 空间上的全局对偶性结构推导出 $\mathrm{Bun}_G$ 上同调的 Atiyah-Bott 公式？
• RQ2 模堆栈 $\mathrm{Bun}_G$ 的同调与 Ran 空间上某类层的 chiral 同调之间的确切关系是什么？
• RQ3 如何从全局对偶性与因子结构推导出将 Lefschetz 跟踪表示为闭点上欧拉乘积的数值乘积公式？
• RQ4 Ran 空间——尤其是其单位版与增强版——在实现同调乘积公式中起到什么作用？
• RQ5 能否通过谱序列与 $\tau$-权分析，建立数值乘积公式中收敛性与等式的成立？

主要发现

• 同调 $\mathrm{H}^*(\mathrm{Bun}_G)$ 是有限维的，且 Lefschetz 跟踪 $\sum (-1)^i \tau(\mathrm{Tr}(\mathrm{Frob}^{-1}, \mathrm{H}^i(\mathrm{Bun}_G)))$ 绝对收敛。
• 无穷乘积 $\prod_{x \in |X^0|} \frac{|k_x|^{\dim(G_x)}}{|G(k_x)|}$ 绝对收敛，且等于同调上的 Lefschetz 跟踪。
• Lefschetz 跟踪等于 $\tau(1 / \det(1 - \mathrm{Frob}^{-1}, \mathrm{H}^*(X', M)))$，从而将其与局部系统上同调的对称代数联系起来。
• 通过 Grothendieck-Lefschetz 公式，将对称幂的生成函数与点上的欧拉乘积匹配，从而推导出乘积公式。
• $\mathrm{Frob}^{-1}$ 在 $\mathrm{H}^*(X', M)$ 上的 $\tau$-权 $\leq -2$，确保在 $t=1$ 处级数收敛。
• 通过证明 $\mathrm{Sym}_{{\mathbb{Q}}_\ell}(\mathrm{H}^*(X', M))$ 的生成函数在 $t=1$ 处与欧拉乘积级数一致，确立了迹与乘积的等式。