[論文レビュー] A simple proof of Witten conjecture through localization

Yon-Seo Kim, Kefeng Liu|ArXiv.org|Aug 20, 2005

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

ひとこと要約

本稿では、$\mathbb{P}^1$ への相対的安定写像のモジュライ空間における仮想関手的局在化を用いて、ウィッテンの予想（コンツェビッチの定理と同値）の新たな簡潔な証明を提示する。線形ホッジ積分の間の再帰的関係の体系を導出し、最初の非自明な関係が、KdV階層を支配するカットアンドジョイント再帰を再現することを示す。これにより、幾何的局在化フレームワークを用いた予想の確立がなされる。

ABSTRACT

We obtain a system of relations between linear Hodge integrals. As an application, we show that its first non-trivial relation implies the Witten's Conjecture/Kontsevich Theorem.

研究の動機と目的

• ホッジ積分の生成関数が $\overline{\mathcal{M}}_{g,n}$ 上で $\mathrm{KdV}$ 階層に等しいことを示す、ウィッテンの予想の代替的で簡素化された証明を提供すること。
• 相対的安定写像のモジュライ空間 $\overline{\mathcal{M}}_g(\mathbb{P}^1, \mu)$ における仮想局在化を用いて、$\lambda$-類を一つ含む線形ホッジ積分の間の再帰的関係の体系を導出すること。
• この体系における最初の非自明な関係が、既知のウィッテンの予想を示すカットアンドジョイント再帰を再現することを示すこと。
• 導出された再帰を経由して、グロモフ＝ウィッテン不変量とバーラソロの制約の間の直接的な関係を確立すること。

提案手法

• 著者らは、$\infty \in \mathbb{P}^1$ における指定された分岐を有する相対的安定写像のモジュライ空間 $\overline{\mathcal{M}}_g(\mathbb{P}^1, \mu)$ に仮想関手的局在化を適用し、ホッジ積分の間の関係の体系を導出する。
• 係数 $\Phi^\bullet_{\mu,\nu}(-\lambda)$ を含む一般再帰公式（定理2.1）を導出し、これは二つの同じサイズの分割 $\mu$ と $\nu$ を関連付ける二重ヒューリッツ数を符号化する。
• $N^{m+1/2}$-層を考察することで、この再帰の特別な場合としてカットアンドジョイント関係が得られ、それがこの体系における最初の非自明な関係に対応する。
• $N^{m+1/2}$-層にラプラス変換を適用し、$\overline{\mathcal{M}}_{g,n}$ 上の積分を $\psi$-類を含む生成関数に変換する。
• 得られた式を代数的に操作して、$s_i^{k_i+1}$ の係数を分離し、ウィッテンの予想の形に一致する再帰を得る。
• 最終段階で、相関関数 $\langle \tilde{\sigma}_n \prod \tilde{\sigma}_k \rangle_g$ を $(2n+1)!!$ 倍された $\psi$-類積分と特定し、再帰 (*) が $\mathrm{KdV}$ 階層と同値であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 ウィッテンの予想は、$\mathbb{P}^1$ への相対的安定写像のモジュライ空間における局在化に基づくアプローチで証明可能か？
• RQ2 導出されたホッジ積分関係の体系における最初の非自明な関係は、単一ヒューリッツ数のカットアンドジョイント再帰を再現するか？
• RQ3 カットアンドジョイント再帰は、トポロジカル重力の相関関数を支配する全般的なウィッテン＝コンツェビッチ再帰関係 (*) を回復するのに十分か？
• RQ4 導出された再帰は、$\tau$-関数に対するバーラソロ制約として表現可能か？
• RQ5 この手法は、任意の非特異的射影多様体に対するバーラソロ予想に一般化可能か？

主な発見

• ホッジ積分関係の体系における最初の非自明な関係は、単一ヒューリッツ数のカットアンドジョイント再帰であり、その再帰型と一致する。
• このカットアンドジョイント関係は、トポロジカル重力の相関関数を支配するウィッテン＝コンツェビッチ再帰関係 (*) を示し、ウィッテンの予想を確認する。
• 再帰 (*) は、$n \geq -1$ に対して $L_n \cdot \tau = 0$ と表されるバーラソロ制約と同値であり、$\tilde{t}_k$ と $\partial / \partial \tilde{t}_k$ を用いて定義された明示的な微分作用素 $L_n$ で表される。
• 証明は、$N^{m+1/2}$-層からのラプラス変換と係数抽出を経由して、グロモフ＝ウィッテン不変量と $\tau$-関数の間の直接的関係を確立する。
• カットアンドジョイント項における $1/2$ の係数は、グラフ数え上げの慣習に起因し、ジョイント項における $2k+1$ の係数は、ジョイントグラフ寄与において欠落している $j$-番目の標識点に対応する。
• この手法は、KdV階層の幾何的実現を局在化を用いて提供し、コンツェビッチの行列モデルやミルザカニの体積アプローチとは異なる新たな視点を提供する。