[論文レビュー] Mathematical results inspired by physics

Kefeng Liu|ArXiv.org|Apr 28, 2003

Algebraic Geometry and Number Theory参考文献 31被引用数 6

ひとこと要約

本稿は、局所化技法を用いて理論物理学にインspiredされた3つの主要な数学的結果を提示する：(1) 同変Pontrjagin類の条件を満たすスピン多様体上のWitten特徴類の消失定理、(2) Wittenの予想を証明するための熱核局所化を用いたモジュライ空間の交差数の計算、(3) 有理型関数列を用いたCalabi-Yau多様体内の曲線の数え上げのためのミラー原理。主な貢献は、モジュラー形式、熱核、同変局所化を通じて、物理学に由来する予想と深い幾何的・位相的定理を統一する枠組みを確立することにある。

ABSTRACT

I will discuss results of three different types in geometry and topology. (1) General vanishing and rigidity theorems of elliptic genera proved by using modular forms, Kac-Moody algebras and vertex operator algebras. (2) The computations of intersection numbers of the moduli spaces of flat connections on a Riemann surface by using heat kernels. (3) The mirror principle about counting curves in Calabi-Yau and general projective manifolds by using hypergeometric series.

研究の動機と目的

• Witten特徴類と同変インデックス理論を用いて、Atiyah-Hirzebruchの消失定理のループ空間版を確立すること。
• 熱核局所化を用いて、リーマン面上の平坦接続のモジュライ空間上の交差数を計算し、Wittenの予想を検証すること。
• 有理型関数列と局所化を用いて、Calabi-Yau多様体および一般の射影多様体内の正則曲線の数え上げのためのミラー原理を構築すること。
• 局所化とモジュラー不変性を通じて、特に弦理論およびミラーマニフォールド理論に由来する物理的予想と、厳密な数学的定理を統一すること。
• 局所化技法を非アーベル群作用、高Genus曲線、およびLagrangian braneなどのオープンストリング幾何に拡張すること。

提案手法

• ループ空間上のディラック作用素に、Atiyah-Bott-Segal-Singerの固定点公式を適用し、Witten特徴類を導出し、その同変インデックスを研究すること。
• モジュラー形式およびヤコビ形式を用いて、同変第一Pontrjagin類に条件が課された場合のWitten特徴類の消失定理を証明すること。
• 平坦接続のモジュライ空間における熱核局所化を用いて交差数を計算し、Wittenの予想を確認すること。
• 安定写像のモジュライ空間に仮想局所化公式を構築し、コラプス写像を通じて線形および非線形のシグマモデルを関連させること。
• モジュライ空間内の滑らかな固定点における局所化から有理型関数列を導出し、Gromov-Witten不変量を符号化すること。
• Eulerデータと生成関数を用いて、特性類および数を有理型関数の形で表現し、明示的計算を可能にすること。

実験結果

リサーチクエスチョン

• RQ1 非自明なS¹作用を持つスピン多様体に対して、Witten特徴類がどのような幾何的条件下で消失するか？
• RQ2 熱核と局所化を用いて、リーマン面上の平坦接続のモジュライ空間上の交差数をどのように計算できるか？
• RQ3 有理型関数列を用いて、安定写像のモジュライ空間上の特性類および数を計算するミラー原理をどのように定式化できるか？
• RQ4 モジュラー不変性および頂点演算子代数は、楕円的特徴類の剛性および消失定理の証明において果たす役割は何か？
• RQ5 局所化技法をどのようにして、高Genus曲線の数え上げおよびLagrangian部分多様体などのオープンストリング幾何に拡張できるか？

主な発見

• 非自明なS¹作用を持つスピン多様体に対して、同変第一Pontrjagin類がp₁(M)_{S¹} = nπ*u²を満たすとき、Witten特徴類は消失する。これは、Atiyah-Hirzebruch定理をループ空間へ一般化するものである。
• 平坦接続のモジュライ空間上の交差数は、熱核局所化を用いて計算され、Wittenの予想された式が証明され、Verlindeの公式に関連するものも含む。
• ミラー原理により、総コホコロジー類やオイラー数といった特性類が有理型関数列を用いて計算され、Candelasの公式は生成関数の係数間の関係として再定式化される。
• 局所ミラーマニフォールドの場合、バンドルが凹であるとき、Seiberg-Witten曲線がミラーマニフォールドとして現れ、周期が有理型関数列で与えられる。
• 安定写像のモジュライ空間に仮想局所化公式を構築することで、EulerデータおよびGromov-Witten不変量が有理型関数の形で導出可能となる。
• 本フレームワークは、Candelas, Vafa, Witten, Greeneらの物理的予想を、局所化とモジュラー不変性を通じて、厳密な数学的結果と統一的に結びつけることに成功した。