Witten conjecture

In algebraic geometry, the Witten conjecture is a conjecture about intersection numbers of stable classes on the moduli space of curves, introduced by Witten (1991), and generalized in Witten (1993). Witten's original conjecture was proved by Kontsevich (1992).

Witten's motivation for the conjecture was that two different models of 2-dimensional quantum gravity should have the same partition function. The partition function for one of these models can be described in terms of intersection numbers on the moduli stack of algebraic curves, and the partition function for the other is the logarithm of the τ-function of the KdV hierarchy. Identifying these partition functions gives Witten's conjecture that a certain generating function formed from intersection numbers should satisfy the differential equations of the KdV hierarchy.

Statement

Suppose that Mg,n is the moduli stack of compact Riemann surfaces of genus g with n distinct marked points x1,...,xn, and Mg,n is its Deligne–Mumford compactification. There are n line bundles Li on Mg,n, whose fiber at a point of the moduli stack is given by the cotangent space of a Riemann surface at the marked point xi. The intersection index 〈τd1, ..., τdn〉 is the intersection index of Π c1(Li)di on Mg,n where Σdi = dimMg,n = 3g – 3 + n, and 0 if no such g exists, where c1 is the first Chern class of a line bundle. Witten's generating function

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} + \cdots

encodes all the intersection indices as its coefficients.

Witten's conjecture states that the partition function Z = exp F is a τ-function for the KdV hierarchy, in other words it satisfies a certain series of partial differential equations corresponding to elements Li for i≥–1 of the Virasoro algebra.

Proof

Kontsevich used a combinatorial description of the moduli spaces in terms of ribbon graphs to show that \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|}}{|\text{Aut} \Gamma|}\prod_{e\in X_1}\frac{2}{\lambda(e)}

Here the sum on the right is over the set Gg,n of ribbon graphs X of compact Riemann surfaces of genus g with n marked points. The set of edges e and points of X are denoted by X 0 and X1. The function λ is thought of as a function from the marked points to the reals, and extended to edges of the ribbon graph by setting λ of an edge equal to the sum of λ at the two marked points corresponding to each side of the edge.

By Feynman diagram techniques, this implies that F(t0,...) is an asymptotic expansion of

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

as Λ lends to infinity, where Λ and Χ are positive definite N by N hermitian matrices, and ti is given by

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

and the probability measure μ on the positive definite hermitian matrices is given by

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

where cΛ is a normalizing constant. This measure has the property that

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

which implies that its expansion in terms of Feynman diagrams is the expression for F in terms of ribbon graphs.

From this he deduced that exp F is a τ-function for the KdV hierarchy, thus proving Witten's conjecture.

See also

The Witten conjecture is a special case of a more general relation between integrable systems of Hamiltonian PDEs and the geometry of certain families of 2D topological field theories (axiomatized in the form of the so-called cohomological field theories by Kontsevich and Manin), which was explored and studied systematically by B. Dubrovin and Y. Zhang, A. Givental, C. Teleman and others.

The Virasoro conjecture is a generalization of the Witten conjecture.

References

This article is issued from Wikipedia - version of the Saturday, April 09, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.