ウィッテン予想

代数幾何学におけるウィッテン予想 (Witten conjecture) は、の安定類の交点数についての予想であり、 において導入され、 において一般化された。ウィッテンの元々の予想は、 によって証明された。
ウィッテン予想は、2つの異なる2次元量子重力モデルが同じ分配函数を持つはずであるということに動機がある。これらのモデルの一方の分配函数は、代数曲線のモジュライスタック上の交点数の項で記述することができ、もう一方のモデルの分配函数は(KdV hierarchy)の τ函数の対数である。これらの分配函数を同一視することから、交点数から作られた母函数が KdV階層の微分方程式を満すはずであるというウィッテン予想が得られる。
ステートメント.
formula_1 を "n" 個の異るマークした点 "x"1...,"x""n" を持つ種数 "g" のコンパクトリーマン面のモジュライスタックとして、formula_2 をそのドリーニュ–マンフォードコンパクト化とすると、formula_2 上に "n" 個のラインバンドル formula_4 が存在し、そのモジュライスタックの点でのファイバーは、マークした点 "x""i" でのリーマン面の余接空間であるようにすることができる。交叉指数(intersection index) formula_5 は、formula_2 上の formula_7 の交叉指数である。ここに formula_8 であり、もしそのような "g" が存在しない場合は、この総和は 0 とする。また "c"1 はラインバンドルの第一チャーン類とする。ウィッテンの母函数
は、すべての交叉指数を係数の中にエンコードする。
ウィッテン予想は、分配函数 formula_10 が(KdV hierarchy)の τ函数であるという予想であり、言い替えると、この函数は、"i" ≥ −1 に対するヴィラソロ代数の元 formula_4 と対応する一連の偏微分方程式系を満たす。
証明の概略.
コンツェヴィッチは、リボングラフのことばでのモジュライ空間の組合せ的な記述を用いて、
となることを示した。
ここに右辺は、"n" 個のマークした点を持つ種数 "g" のコンパクトリーマン面のリボングラフ "X" の集合 "G""g","n" を渡る和である。辺(edge)の集合 "e" と "X" の点の集合は、"X" 0 と "X"1 で表される。函数 λ はマークした点から実数への函数と考えられ、辺の両側に対応する 2つのマークした点での λ の値の和に等しいとすることにより辺からの函数 λ へ拡張する。
ファインマン・ダイアグラムのテクニックにより、これは、"F"("t"0...) は、Λ が無限になるに伴い、
の漸近展開となることを意味する。ここに Λ と Χ は正定値な "N"×"N" のエルミート行列であり、"t""i" は、
により与えられ、正定値なエルミート行列上の確率測度 μ は、
で与えられる。ここの "c"Λ は正規化定数である。この測度は、
という性質を持っていて、このことはファインマン・ダイアグラムのことばでの展開がリボングラフのことばでの "F" の展開を意味する。
このことから、コンツェヴィッチは formula_17 が KdV階層の τ-函数であることを導き、従って、ウィッテン予想が証明される。
参照項目.
(Virasoro conjecture)はウィッテン予想の一般化である。