[论文解读] Yang-Mills theory and Tamagawa numbers

Aravind Asok, Brent Doran+1 more|arXiv (Cornell University)|Jan 30, 2008

Algebraic Geometry and Number Theory参考文献 61被引用 8

一句话总结

本文通过展示黎曼曲面上稳定向量丛模空间的贝蒂数可通过三种等价方法计算——算术（塔马古瓦数）、物理（杨-米尔斯理论中的等变莫尔斯理论）和几何不变量理论（GIT商），建立了杨-米尔斯理论与数论之间的深刻联系。关键贡献是利用 $\mathbb{A}^1$-同伦理论构建了一个统一框架，通过动机上同调将这些方法联系起来，揭示了 $SL_n$ 的塔马古瓦数为 1 的原因可自然地从有限域上矩阵除子簇的点计数中得出。

ABSTRACT

Atiyah and Bott used equivariant Morse theory applied to the Yang-Mills functional to calculate the Betti numbers of moduli spaces of vector bundles over a Riemann surface, rederiving inductive formulae obtained from an arithmetic approach which involved the Tamagawa number of SL_n. This article surveys this link between Yang-Mills theory and Tamagawa numbers, and explains how methods used over the last three decades to study the singular cohomology of moduli spaces of bundles on a smooth complex projective curve can be adapted to the setting of A^1-homotopy theory to study the motivic cohomology of these moduli spaces.

研究动机与目标

• 统一三种不同方法——算术（塔马古瓦数）、物理（杨-米尔斯理论）和几何不变量理论（GIT）——以计算稳定向量丛模空间的贝蒂数。
• 通过 $\mathbb{A}^1$-同伦理论将经典贝蒂数计算推广至动机上同调设定。
• 为 $SL_n$ 的塔马古瓦数为 1 提供几何解释，将其与有限域上矩阵除子簇的点计数联系起来。
• 建立阿蒂亚-博特定理的无限维规范理论构造与通过阿德勒和塔马古瓦测度实现的有限维算术构造之间的直接对应关系。

提出的方法

• 使用 $\mathbb{A}^1$-同伦理论定义并计算 GIT 商 $R_{n,d}/\!\!/{\rm PGL}_m$ 的动机上同调，推广了奇异上同调结果。
• 在光滑丛的联络空间上应用等变上同调技术，利用等变莫尔斯理论计算模空间的上同调。
• 构造从矩阵除子空间 $\mathrm{Div}^{n,\tilde{d}}_{C/k}(D)$ 到 $R_{n,d}$ 的 $GL_m$-等变上同调的映射，在低度上建立同构。
• 在矩阵除子簇上使用比亚林尼克-比鲁 stratification 来计算有限域上的有理点，通过韦伊猜想与塔马古瓦测度建立联系。
• 通过塞加尔定理的推广，建立 $H^j(B\mathcal{G}_\mathbb{C})$ 与 $H^j_{GL_m}(R_{n,d})$ 之间的同构。
• 通过阿德勒语言解释矩阵除子，直接将算术点计数方法与 GIT 商的动机上同调联系起来。

实验结果

研究问题

• RQ1 如何在统一框架下整合三种不同方法——算术（塔马古瓦数）、物理（杨-米尔斯理论）和几何不变量理论（GIT）？
• RQ2 动机上同调在连接阿蒂亚与博特的无限维规范理论构造与有限维算术构造之间起到什么作用？
• RQ3 $SL_n$ 的塔马古瓦数为何为 1？能否通过有限域上矩阵除子簇的点计数从几何角度解释这一现象？
• RQ4 模空间 $\mathcal{M}(n,d)$ 的上同调不变量如何与底层 GIT 商 $R_{n,d}/\!/PGL_m$ 的动机上同调相关联？
• RQ5 杨-米尔斯方法与算术方法之间的等价性能否超越贝蒂数，推广至更高阶的上同调结构（如动机上同调）？

主要发现

• 在度数 $j < (g-1)(n-1)$ 范围内，稳定丛模空间 $\mathcal{M}^s(n,d)$ 的动机上同调与 $R_{n,d}$ 的 $GL_m$-等变动机上同调同构，为经典上同调结果提供了动机化推广。
• $R_{n,d}$ 的 $GL_m$-等变动机上同调与矩阵除子空间 $\mathrm{Div}^{n,\tilde{d}}_{C/k}(D)$ 的动机上同调在任意高权重内同构，建立了几何与算术之间的重要联系。
• $SL_n$ 的塔马古瓦数为 1 被重新解释为有限域上矩阵除子簇点计数的结果，借助比亚林尼克-比鲁分层与韦伊猜想实现。
• 通过推广的塞加尔定理，证明了杨-米尔斯理论中的无限维分类空间构造与有限维 GIT 商构造同构，从而连接了物理与几何方法。
• 三种方法——算术、杨-米尔斯和 GIT——不仅在贝蒂数上结果等价，且在低度上对动机上同调也保持等价，揭示了数学深层结构的统一性。