ウィッテン予想

代数幾何学におけるウィッテン予想 (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つのマークした点での λ の値の和に等しいとすることにより辺からの函数 λ へ拡張する。

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

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

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

$t_{i}={\frac {-\operatorname {tr} \Lambda ^{-1-2i}}{1\times 3\times 5\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)はウィッテン予想の一般化である。

参考文献

• Cornalba, Maurizio; Arbarello, Enrico; Griffiths, Phillip A. (2011), Geometry of algebraic curves. Volume II, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 268, Berlin, New York: Springer-Verlag, doi:10.1007/978-3-540-69392-5, ISBN 978-3-540-42688-2, MR2807457 
• Kazarian, M. E.; Lando, Sergei K. (2007), “An algebro-geometric proof of Witten's conjecture”, Journal of the American Mathematical Society 20 (4): 1079–1089, doi:10.1090/S0894-0347-07-00566-8, ISSN 0894-0347, MR2328716, https://doi.org/10.1090/S0894-0347-07-00566-8 
• Kontsevich, Maxim (1992), “Intersection theory on the moduli space of curves and the matrix Airy function”, Communications in Mathematical Physics 147 (1): 1–23, doi:10.1007/BF02099526, ISSN 0010-3616, MR1171758, http://projecteuclid.org/getRecord?id=euclid.cmp/1104250524 
• Lando, Sergei K.; Zvonkin, Alexander K. (2004), Graphs on surfaces and their applications, Encyclopaedia of Mathematical Sciences, 141, Berlin, New York: Springer-Verlag, ISBN 978-3-540-00203-1, MR2036721, http://www.springer.com/cda/content/document/cda_downloaddocument/9783540002031-c1.pdf?SGWID=0-0-45-100940-p13863104 
• Witten, Edward (1991), “Two-dimensional gravity and intersection theory on moduli space”, Surveys in differential geometry (Cambridge, MA, 1990), 1, Bethlehem, PA: Lehigh Univ., pp. 243–310, ISBN 978-0-8218-0168-0, MR1144529 
• Witten, Edward (1993), “Algebraic geometry associated with matrix models of two-dimensional gravity”, in Goldberg, Lisa R.; Phillips, Anthony V., Topological methods in modern mathematics (Stony Brook, NY, 1991), Proceedings of the symposium in honor of John Milnor's sixtieth birthday held at the State University of New York, Stony Brook, New York, June 14–21, 1991., Houston, TX: Publish or Perish, pp. 235–269, ISBN 978-0-914098-26-3, MR1215968