ウィッテン予想とは - わかりやすく解説 Weblio辞書

ウィキペディア

索引トップ用語の索引ランキングカテゴリー

ウィッテン予想

(Witten conjecture から転送)

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/07/12 16:18 UTC 版)

ナビゲーションに移動検索に移動

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。
出典検索^?: "ウィッテン予想" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2021年2月）

原文と比べた結果、この記事には多数（少なくとも 5 個以上）の誤訳があることが判明しています。情報の利用には注意してください。
正確な表現に改訳できる方を求めています。

代数幾何学におけるウィッテン予想 (Witten conjecture) は、曲線のモジュライ空間（英語版）の安定類の交点数についての予想であり、 Witten (1991) において導入され、Witten (1993) において一般化された。ウィッテンの元々の予想は、Kontsevich (1992) によって証明された。

ウィッテン予想は、2つの異なる2次元量子重力モデルが同じ分配函数を持つはずであるということに動機がある。これらのモデルの一方の分配函数は、代数曲線のモジュライスタック上の交点数の項で記述することができ、もう一方のモデルの分配函数はKdV階層（英語版）(KdV hierarchy)の τ函数の対数である。これらの分配函数を同一視することから、交点数から作られた母函数が KdV階層の微分方程式を満すはずであるというウィッテン予想が得られる。

ステートメント

$M_{g,n}$ を n 個の異るマークした点 x₁,...,x_n を持つ種数 g のコンパクトリーマン面のモジュライスタックとして、 ${\widetilde {M}}_{g,n}$ をそのドリーニュ–マンフォードコンパクト化とすると、 ${\widetilde {M}}_{g,n}$ 上に n 個のラインバンドル $L_{i}$ が存在し、そのモジュライスタックの点でのファイバーは、マークした点 x_i でのリーマン面の余接空間であるようにすることができる。交叉指数(intersection index) $\langle \tau _{d_{1}},\dots ,\tau _{d_{n}}\rangle$ は、 ${\widetilde {M}}_{g,n}$ 上の $\prod c_{1}(L_{i})^{d_{i}}$ の交叉指数である。ここに $\sum d_{i}={\widetilde {M}}_{g,n}=3g-3+n$ であり、もしそのような g が存在しない場合は、この総和は 0 とする。また c₁ はラインバンドルの第一チャーン類とする。ウィッテンの母函数

F(t_{0},t_{1},\ldots )=\sum \langle \tau _{0}^{k_{0}}\tau _{1}^{k_{1}}\cdots \rangle \prod _{i\geq 0}{\frac {t_{i}^{k_{i}}}{k_{i}!}}={\frac {t_{0}^{3}}{6}}+{\frac {t_{1}}{24}}+{\frac {t_{0}t_{2}}{24}}+{\frac {t_{1}^{2}}{24}}+{\frac {t_{0}^{2}t_{3}}{48}}+\dotsb

は、すべての交叉指数を係数の中にエンコードする。

ウィッテン予想は、分配函数 $Z=\exp {F}$ がKdV階層（英語版）(KdV hierarchy)の τ函数であるという予想であり、言い替えると、この函数は、i ≥ −1 に対するヴィラソロ代数の元 $L_{i}$ と対応する一連の偏微分方程式系を満たす。

証明の概略

コンツェヴィッチは、リボングラフのことばでのモジュライ空間の組合せ的な記述を用いて、

\sum _{d_{1}+\cdots +d_{n}=3g-3+n}\langle \tau _{d_{1}},\ldots ,\tau _{d_{n}}\rangle \prod _{1\leq i\leq n}{\frac {(2d_{i}-1)!!}{\lambda _{i}^{2d_{i}+1}}}=\sum _{\Gamma \in G_{g,n}}{\frac {2^{-|X_{0}|}}{|\operatorname {Aut} \Gamma |}}\prod _{e\in X_{1}}{\frac {2}{\lambda (e)}}

となることを示した。

ここに右辺は、n 個のマークした点を持つ種数 g のコンパクトリーマン面のリボングラフ X の集合 G_g,n を渡る和である。辺(edge)の集合 e と X の点の集合は、X₀ と X₁ で表される。函数 λ はマークした点から実数への函数と考えられ、辺の両側に対応する 2つのマークした点での λ の値の和に等しいとすることにより辺からの函数 λ へ拡張する。