[論文レビュー] Analysis of gauged Witten equation

Gang Tian, Guangbo Xu|arXiv (Cornell University)|May 25, 2014

Black Holes and Theoretical Physics参考文献 27被引用数 6

ひとこと要約

本稿は、Wittenのゲージ化線形σモデル（GLSM）の数学的定式化に現れる、ゲージ化Witten方程式—楕円型偏微分方程式系—の基礎的解析的性質を確立する。線形Fredholm性、一様なC⁰-有界性、有限エネルギー解の漸近的挙動、および固定されたrスピン曲線上の一様エネルギー有界性の下でのモジュライ空間のコンパクト性を証明し、GLSMフレームワークにおけるゲージ化Gromov-Witten不変量の定義に向けた基盤を築く。

ABSTRACT

The gauged Witten equation was essentially introduced by Witten in his formulation of gauged linear $σ$-model (GLSM). GLSM is a physics theory which explains the so-called Landau-Ginzburg/Calabi-Yau correspondence. This is the first paper in a series towards a mathematical construction of GLSM. In this paper we study some analytical properties of the gauged Witten equation for a Lagrange multiplier type superpotential. It contains the asymptotic property of finite energy solutions, the linear Fredholm property, the uniform $C^0$-bound, and the compactness of the moduli space of solutions over a fixed smooth $r$-spin curve with uniform energy bound.

研究の動機と目的

• 物理学がランドー＝ギンツブルグ／カラビ＝ヤウ双対性を記述するために用いる、Wittenのゲージ化線形σモデル（GLSM）の厳密な数学的基盤を提供すること。
• ゲージ理論とランドー＝ギンツブルグ理論を統合する一つの枠組みにおいて、シンプレクティックバブル方程式およびWitten方程式の両方を一般化すること。
• GLSMにおける不変量を定義するために必要な解析的性質を確立すること、特に解のモジュライ空間のコンパクト性を目的とする。
• 特異点を伴うオルビフォールド設定において、有理数係数を用いた基本類の概念を拡張し、特異性の存在下での位相的不変量の定義を可能にすること。

提案手法

• 特異点を持つリーマン面におけるラグランジュ乗数型のスーパーポテンシャルを有するゲージ化Witten方程式を分析する。
• 局所的およびシリンダーモデル技術を用いて、特異点およびシリンダーエンド付近での解の挙動を研究する。
• 線形Fredholm理論を適用し、解の周囲における線形化作用素の正則性および指数性質を確立する。
• エネルギー量子化とε-正則性推移を用いて、バブル現象における一様なC⁰-有界性を導出する。
• オルビフォールドチャートと重み付き2セルを用いて、安定化群を考慮した、等変ホモロジーにおける有理数基本類を構成する。
• エネルギー有界性、漸近的解析、および解の安定性条件を組み合わせることで、モジュライ空間のコンパクト性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ゲージ化Witten方程式の有限エネルギー解は、特異点およびシリンダーエンド付近でどのように漸近的に振る舞うか？
• RQ2 ゲージ化Witten方程式の線形化作用素はFredholm性を満たすか？その指数はいかほどか？
• RQ3 一様なエネルギー有界性の下で、解に対して一様なC⁰-有界性を確立できるか？
• RQ4 固定されたrスピン曲線上で、一様にエネルギーが有界な解のモジュライ空間はコンパクトか？
• RQ5 オルビフォールド設定における解に対して、有理数基本類をどのように定義できるか？その位相的意味は何か？

主な発見

• ゲージ化Witten方程式の線形化作用素はFredholm的であり、解の正則性と有限次元核および余核の存在を保証する。
• 解は、シリンダーエンドで制御された漸近的挙動を示し、バブル現象におけるエネルギー量子化が成立する。
• 有限エネルギー解に対して一様なC⁰-有界性が確立され、エネルギー制御のもとで解の崩壊を防ぐ。
• 固定されたrスピン曲線上の解のモジュライ空間は、一様なエネルギー有界性の下でコンパクトである。これは不変量を定義する上で重要な一歩である。
• オルビフォールド解に対して、係数をℤ[r⁻¹]とする等変ホモロジーにおける有理数基本類が構成された。これにより、位相的不変量の定義が可能になる。
• オルビカーブの有理数基本類のプッシュフォワードは、H₂ᴳ(N; ℤ[r⁻¹])にクラスを導く。これは解の不変量の幾何的解釈を提供する。