ウィッテン予想

テンプレート:出典の明記 テンプレート:要改訳 代数幾何学におけるウィッテン予想 (Witten conjecture) は、テンプレート:仮リンクの安定類の交点数についての予想であり、テンプレート:Harvs において導入され、テンプレート:Harvtxt において一般化された。ウィッテンの元々の予想は、テンプレート:Harvtxt によって証明された。

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

ステートメント

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

$F(t_0,t_1,\dots )=\sum ⟨{\tau }_0^{k_0}{\tau }_1^{k_1}\cdots ⟩\prod _{i\ge 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}+\cdots$

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

ウィッテン予想は、分配函数 $Z=\exp F$ がテンプレート:仮リンク(KdV hierarchy)の τ函数であるという予想であり、言い替えると、この函数は、i ≥ −1 に対するヴィラソロ代数の元 $L_i$ と対応する一連の偏微分方程式系を満たす。

証明の概略

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

$\sum _{d_1+\cdots +d_n=3g-3+n}⟨{\tau }_{d_1},\dots ,{\tau }_{d_n}⟩\prod _{1\le i\le n}\frac{(2d_i-1)!!}{{\lambda }_i^{2d_i+1}}=\sum _{\mathrm{\Gamma }\in G_{g,n}}\frac{2^{-|X_0|}}{|\mathrm{Aut}\mathrm{\Gamma }|}\prod _{e\in X_1}\frac{2}{\lambda (e)}$

となることを示した。

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

ファインマン・ダイアグラムのテクニックにより、これは、F(t₀,...) は、Λ が無限になるに伴い、

$\log \int \exp (i\text{tr}{X}^3/6)d\mu$

の漸近展開となることを意味する。ここに Λ と Χ は正定値な N×N のエルミート行列であり、t_i は、

$t_i=\frac{-\mathrm{tr}{\mathrm{\Lambda }}^{-1-2i}}{1\times 3\times 5\times \cdots \times (2i-1)}$

により与えられ、正定値なエルミート行列上の確率測度 μ は、

$d\mu =c_{\mathrm{\Lambda }}\exp (-\mathrm{tr}{X}^2\mathrm{\Lambda }/2)dX$

で与えられる。ここの c_Λ は正規化定数である。この測度は、

$\int X_{ij}{X}_{kl}d\mu ={\delta }_{il}{\delta }_{jk}\frac{2}{{\mathrm{\Lambda }}_i+{\mathrm{\Lambda }}_j}$

という性質を持っていて、このことはファインマン・ダイアグラムのことばでの展開がリボングラフのことばでの F の展開を意味する。

このことから、コンツェヴィッチは $\exp F$ が KdV階層の τ-函数であることを導き、従って、ウィッテン予想が証明される。

参照項目

テンプレート:仮リンク(Virasoro conjecture)はウィッテン予想の一般化である。

参考文献

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation