ウィッテン予想

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

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

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

ステートメント[編集]

M_{g,n}n 個の異るマークした点 x1,...,xn を持つ種数 g のコンパクトリーマン面のモジュライスタックとして、\widetilde{M}_{g,n} をそのドリーニュ–マンフォードコンパクト化とすると、\widetilde{M}_{g,n} 上に n 個のラインバンドル L_i が存在し、そのモジュライスタックの点でのファイバーは、マークした点 xi でのリーマン面の余接空間であるようにすることができる。交叉指数(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 とする。また c1 はラインバンドルの第一チャーン類とする。ウィッテンの母函数

F(t_0,t_1,\ldots) 
= \sum\langle\tau_0^{k_0}\tau_1^{k_1}\cdots\rangle\prod_{i\ge 0} \frac{t_i^{k_i}}{k_i!}
=\frac{t_0^3}{6}+ \frac{t_1}{24} + \frac{t_0t_2}{24} + \frac{t_1^2}{24}+ \frac{t_0^2t_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\le i\le 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 の集合 Gg,n を渡る和である。辺(edge)の集合 eX の点の集合は、X 0X1 で表される。函数 λ はマークした点から実数への函数と考えられ、辺の両側に対応する 2つのマークした点での λ の値の和に等しいとすることにより辺からの函数 λ へ拡張する。

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

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

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

 t_i = \frac{- \operatorname{tr} \Lambda^{-1-2i}}{1\times3\times5\times\dotsm\times (2i-1)}

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

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

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

\int X_{ij}X_{kl}d\mu = \delta_{il}\delta_{jk}\frac{2}{\Lambda_i+\Lambda_j}

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

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

参照項目[編集]

ヴィラソロ予想英語版(Virasoro conjecture)はウィッテン予想の一般化である。

参考文献[編集]