[論文レビュー] 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

ひとこと要約

本稿は、$\mathrm{SL}_n$ のタマガワ数が 1 であることが、有限体上の行列除数多様体の点数の数え上げから自然に生じることを示すことで、ヤン・ミルズ理論と数論の間に深い接点を確立する。Betti数の計算について、算術的（タマガワ数）、物理的（ヤン・ミルズ理論における等変モース理論）、幾何的不変理論（GIT）の3通りの同等な手法が存在することを示している。主な貢献は、$\mathbf{A}^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.

研究の動機と目的

• 安定なベクトル束のモジュライ空間のBetti数を計算するための3つの別個のアプローチ——算術的（タマガワ数）、物理的（ヤン・ミルズ理論）、幾何的不変理論（GIT）——を統一する枠組みを構築すること。
• 古典的なBetti数の計算を、$\mathbf{A}^1$-ホモトピー理論を用いてモチビックコホモロジーの設定へと拡張すること。
• $\mathrm{SL}_n$ のタマガワ数が 1 である理由を、有限体上の行列除数多様体における点数の数え上げに基づく幾何的説明を提供すること。
• アティヤ＝ボットによる無限次元ゲージ理論的構成と、アーデーレスとタマガワ測度による有限次元算術的構成との間の直接的な対応関係を確立すること。

提案手法

• $\mathrm{GL}_m$-作用をもつ $R_{n,d}/\!/\mathrm{PGL}_m$ のモチビックコホモロジーを、$\mathbf{A}^1$-ホモトピー理論を用いて定義・計算し、特異コホモロジーの結果を一般化する。
• 接続の空間における等変コホモロジー技法を用い、等変モース理論を応用してモジュライ空間のコホモロジーを計算する。
• $\mathrm{Div}^{n,\tilde{d}}_{C/k}(D)$ から $R_{n,d}$ の $\mathrm{GL}_m$-等変コホモロジーへの写像を構成し、低次の次数で同型を確立する。
• 有限体上の行列除数多様体における有理点の数え上げに、バイアリニツキ＝ビルールの層化を適用し、ワイエル予想を介してタマガワ測度と結びつける。
• 有理写像に関するセガールの定理の一般化を用いて、$H^j(B\mathcal{G}_\mathbb{C})$ と $H^j_{\mathrm{GL}_m}(R_{n,d})$ の間の同型を確立する。
• アーデーレスを用いた行列除数の解釈により、算術的点数え上げ法とGIT商のモチビックコホモロジーとの直接的な関係を構築する。

実験結果

リサーチクエスチョン

• RQ1 算術的（タマガワ数）、物理的（ヤン・ミルズ理論）、幾何的不変理論（GIT）という3つの別個の手法を、共通の枠組みで統一することは可能か？
• RQ2 モチビックコホモロジーは、アティヤとボットによる無限次元ゲージ理論的構成と、有限次元の算術的構成とをどのように結びつけるか？
• RQ3 $\mathrm{SL}_n$ のタマガワ数が 1 である理由は何か？ これは、有限体上の行列除数多様体における点数え上げにより幾何的に説明可能か？
• RQ4 モジュライ空間 $\mathcal{M}(n,d)$ のコホモロジー不変量は、基礎となるGIT商 $R_{n,d}/\!/\mathrm{PGL}_m$ のモチビックコホモロジーとどのように関係するか？
• RQ5 ヤン・ミルズ理論と算術的アプローチの等価性は、Betti数を越えて、モチビックコホモロジーのようなより高次のコホモロジー構造へと拡張可能か？

主な発見

• 安定なバンドルのモジュライ空間 $\mathcal{M}^s(n,d)$ のモチビックコホモロジーは、$j < (g-1)(n-1)$ の次数において、$R_{n,d}$ の $\mathrm{GL}_m$-等変モチビックコホモロジーと同型であり、古典的なコホモロジー結果のモチビックな精錬を提供する。
• $R_{n,d}$ の $\mathrm{GL}_m$-等変モチビックコホモロジーは、任意に大きな重みまで、行列除数多様体 $\mathrm{Div}^{n,\tilde{d}}_{C/k}(D)$ のモチビックコホモロジーと同型であり、幾何と算術との間の重要な接続を確立する。
• $\mathrm{SL}_n$ のタマガワ数が 1 であることは、バイアリニツキ＝ビルールの層化とワイエル予想を用いた、有限体上の行列除数多様体における点数え上げの結果として再解釈される。
• ヤン・ミルズ理論における無限次元の分類空間の構成が、一般化されたセガールの定理を介して、有限次元のGIT商構成と同型であることが示され、物理的および幾何的アプローチを結びつける。
• 算術的、ヤン・ミルズ的、GIT的アプローチの3つは、Betti数にとどまらず、低次の次数においてもモチビックコホモロジーにおいて同等の結果をもたらすことが示され、数学のあらゆる分野に深いつながりを持つ構造的統一性を示している。