[論文レビュー] The Index Formula on the Moduli of G-bundles

Constantin Teleman, Christopher T. Woodward|ArXiv.org|Dec 8, 2003

Advanced Algebra and Geometry参考文献 26被引用数 17

ひとこと要約

この論文は、滑らかな射影的曲線上のG-バンドルのモジュライスタックにおけるK理論的クラスの一般化されたインデックス公式を証明し、Verlindeの公式を有限和によるねじれK理論を介してベクトルバンドルへと拡張する。主な結果は、ボットの反射とヘッケ対応を用いた解析的・トポロジカルインデックスの等式を確立し、ウィッテンの積分における収束問題を解決し、半安定Gバンドルのモジュライ空間における高次チャーン類の消滅に関するニューベスト＝ラマナン予想を証明する。

ABSTRACT

We prove the formulae conjectured by the first author for the index of K-theory classes over the moduli stack of algebraic G-bundles on a smooth projective curve. The formulae generalise Verlinde's for line bundles and have Witten's integrals over the moduli space of stable bundles as their large level limits. As an application, we prove the Newstead-Ramanan conjecture on the vanishing of high Chern classes of certain moduli spaces of stable G-bundles.

研究の動機と目的

• 曲線上のGバンドルのモジュライスタックにおけるラインバンドルのヴェルリンデの公式をベクトルバンドルへと拡張すること。
• トポロジカルK理論における有限インデックス公式を定式化することで、ウィッテンの特徴的コホホロジー積分における収束問題を解決すること。
• 半安定Gバンドルのモジュライ空間における高次チャーン類の消滅に関するニューベスト＝ラマナン予想を証明すること。
• 分離コホホロジーと等配分K理論を用いて、無限型のモジュライスタックにおける解析的＝トポロジカルインデックス定理を確立すること。
• 無限型設定下においても、適切なK理論的クラスのインデックスが有限次元のフロベニウス代数によって制御されることを示すこと。

提案手法

• モジュライスタックのシャッツ分離を用いて、適切なK理論的クラスのコホホロジーとインデックスを定義する。
• ねじれK理論におけるアティヤ＝ボットの固定点定理法を適用し、最大トーラスとワイル分母を用いてトポロジカルインデックスを計算する。
• ボットの反射議論のループ群版とヘッケ対応を用いて、スタック上のインデックスに隠された対称性を明らかにする。
• ワイル分母を逆数化した後、局所化公式を用いてインデックス計算をTバンドルのスタックに還元する。
• モジュライスタックの有限型開部分スタックの逆極限構成を用いて有理数K理論を定義し、等配分K理論と整合性を保つ。
• 特にπ₁Gが自由である場合に、ポアンカレ双対性とチャーン写像技術を用いて有理数K理論とコホホロジーを関係づける。

実験結果

リサーチクエスチョン

• RQ1 ラインバンドルのヴェルリンデの公式を、曲線上のGバンドルのモジュライスタックにおけるベクトルバンドルへ一般化できるか？
• RQ2 無限型のGバンドルモジュライスタック上での適切なK理論的クラスの解析的インデックスは、有限で正則化された表現をもつのか？
• RQ3 スタック上のインデックスは、大きなレベル極限におけるウィッテンの特徴的コホホロジー積分とどのように関係するか？
• RQ4 インデックス理論的手法を用いて、ニューベスト＝ラマナン予想（高次チャーン類の消滅）を証明できるか？
• RQ5 ベクトルバンドルのモジュライスタックにおけるインデックスの背後には、有限次元のフロベニウス代数構造が存在するか？

主な発見

• Gバンドルモジュライスタック上での適切なK理論的クラスの解析的インデックスは、共役類の有限和として与えられ、ウィッテンの手法における収束問題を解決する。
• このインデックス公式は、ねじれK理論とアティヤ＝ボットの固定点定理によるトポロジカルインデックスと一致し、解析的＝トポロジカルインデックス定理を確立する。
• インデックスはヘッケ対応に関して不変であり、半安定バンドルの有限型モジュライ空間には存在しない対称性を明らかにする。
• π₁Gが自由である単連結Gに対して、インデックス公式は最大トーラスTとワイル分母Δを用いて表現される。
• ニューベスト＝ラマナン予想が証明された：すべての半安定バンドルが安定であるとき、半安定Gバンドルのモジュライ空間の高次チャーン類は消える。
• π₁Gが自由であるとき、モジュライスタックの有理数K理論は、H•(BG;Q)とH•(ΩG;Q)成分に類似した分解をもつ。