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 M_g,n is the moduli stack of compact Riemann surfaces of genus g with n distinct marked points x₁,...,x_n, and M_g,n is its Deligne–Mumford compactification. There are n line bundles L_i on M_g,n, whose fiber at a point of the moduli stack is given by the cotangent space of a Riemann surface at the marked point x_i. The intersection index 〈τ_d₁, ..., τ_{d_n}〉 is the intersection index of Π c₁(L_i)^d_i on M_g,n where Σd_i = dimM_g,n = 3g – 3 + n, and 0 if no such g exists, where c₁ 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 L_i 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 G_g,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₀ and X₁. 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(t₀,...) 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 t_i 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.

References

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, MR 2807457
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, MR 2328716
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, MR 1171758
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, MR 2036721
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, MR 1144529
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, MR 1215968

Topics in algebraic curves

Rational curves

Elliptic curves

Analytic theory	Elliptic function Elliptic integral Fundamental pair of periods Modular form

Arithmetic theory	Counting points on elliptic curves Division polynomials Hasse's theorem on elliptic curves Mazur's torsion theorem Modular elliptic curve Modularity theorem Mordell–Weil theorem Nagell–Lutz theorem Supersingular elliptic curve Schoof's algorithm Schoof–Elkies–Atkin algorithm

Applications	Elliptic curve cryptography Elliptic curve primality

Higher genus

Plane curves

Riemann surfaces

Constructions

Structure of curves

Divisors on curves	Abel–Jacobi map Brill–Noether theory Clifford's theorem on special divisors Gonality of an algebraic curve Jacobian variety Riemann–Roch theorem Weierstrass point Weil reciprocity law

Moduli	ELSV formula Gromov–Witten invariant Hodge bundle Moduli of algebraic curves Stable curve

Morphisms	Hasse–Witt matrix Riemann–Hurwitz formula Prym variety Weber's theorem

Singularities	Acnode Crunode Cusp Delta invariant Tacnode

Vector bundles	Birkhoff–Grothendieck theorem Stable vector bundle Vector bundles on algebraic curves

Witten conjecture

Statement

Proof

See also

References