24 1. A gentle introducti<strong>on</strong> to <strong>moduli</strong> <strong>spaces</strong> <strong>of</strong> <strong>curves</strong>Propositi<strong>on</strong> 1.18 (Dilat<strong>on</strong> equati<strong>on</strong>). For 2g − 2 + n > 0, the psi-class intersecti<strong>on</strong> numbers satisfythe relati<strong>on</strong>〈τ 1 τ α1 τ α2 . . . τ αn 〉 = (2g − 2 + n)〈τ α1 τ α2 . . . τ αn 〉.Observe that the dilat<strong>on</strong> equati<strong>on</strong> reduces a psi-class intersecti<strong>on</strong> number <strong>on</strong> M g,n+1 which hasa ψ k appearing with exp<strong>on</strong>ent <strong>on</strong>e to a psi-class intersecti<strong>on</strong> number <strong>on</strong> M g,n . In fact, fromthe base case 〈τ 1 〉 =24 1 , as well as the string and dilat<strong>on</strong> equati<strong>on</strong>s, all psi-class intersecti<strong>on</strong>numbers in genus 1 can be uniquely determined. To see this, note that every n<strong>on</strong>-zero psi-classintersecti<strong>on</strong> number <strong>on</strong> M 1,n must be <strong>of</strong> the form 〈τ α1 τ α2 . . . τ αn 〉, where |α| = n. So at least<strong>on</strong>e <strong>of</strong> α 1 , α 2 , . . . , α n must be equal to 0 or 1. In the former case, the string equati<strong>on</strong> reducesthe calculati<strong>on</strong> to a sum <strong>of</strong> intersecti<strong>on</strong> numbers <strong>on</strong> M 1,n−1 while in the latter case, the dilat<strong>on</strong>equati<strong>on</strong> reduces the calculati<strong>on</strong> to an intersecti<strong>on</strong> number <strong>on</strong> M 1,n−1 . Therefore, these numberscan be calculated inductively, starting from the base case 〈τ 1 〉 =24 1 . Unfortunately — orperhaps fortunately, depending <strong>on</strong> <strong>on</strong>e’s outlook — there exists no simple closed formula forpsi-class intersecti<strong>on</strong> numbers for the case <strong>of</strong> genus g ≥ 1.Witten’s c<strong>on</strong>jectureOne <strong>of</strong> the landmark results c<strong>on</strong>cerning the intersecti<strong>on</strong> <str<strong>on</strong>g>theory</str<strong>on</strong>g> <strong>on</strong> <strong>moduli</strong> <strong>spaces</strong> <strong>of</strong> <strong>curves</strong> isWitten’s c<strong>on</strong>jecture, now K<strong>on</strong>tsevich’s theorem. In his foundati<strong>on</strong>al paper [57], Witten c<strong>on</strong>jecturedthat a particular generating functi<strong>on</strong> for the psi-class intersecti<strong>on</strong> numbers satisfies theKorteweg–de Vries hierarchy, <strong>of</strong>ten abbreviated to the KdV hierarchy. This sequence <strong>of</strong> partialdifferential equati<strong>on</strong>s begins with the KdV equati<strong>on</strong>, which originally arose in classical physicsto model waves in shallow water. It is now well-known as the prototypical example <strong>of</strong> an exactlysolvable model, whose solit<strong>on</strong> soluti<strong>on</strong>s have attracted tremendous mathematical interestover the past few decades.Interestingly, Witten was led to his c<strong>on</strong>jecture from the analysis <strong>of</strong> a particular model <strong>of</strong> twodimensi<strong>on</strong>alquantum gravity, where <strong>on</strong>e encounters infinite-dimensi<strong>on</strong>al integrals over thespace <strong>of</strong> Riemannian metrics <strong>on</strong> a surface. Arguing <strong>on</strong> physical grounds, such a calculati<strong>on</strong> canbe reduced to finitely many dimensi<strong>on</strong>s in two distinct ways. First, the integral can be localisedto the space <strong>of</strong> c<strong>on</strong>formal classes <strong>of</strong> metrics, which leads directly to computati<strong>on</strong>s <strong>on</strong> <strong>moduli</strong><strong>spaces</strong> <strong>of</strong> <strong>curves</strong>. Sec<strong>on</strong>d, <strong>on</strong>e can produce singular metrics <strong>on</strong> a surface by tiling it with trianglesand declaring them to be equilateral. As the number <strong>of</strong> triangles tends to infinity, thesesingular metrics begin to approximate random metrics and the infinite-dimensi<strong>on</strong>al integralsreduce to asymptotic enumerati<strong>on</strong>s <strong>of</strong> such triangulati<strong>on</strong>s. Enumerati<strong>on</strong>s <strong>of</strong> this kind are performedusing Feynman diagram and matrix model techniques and are known to be governedby the KdV hierarchy.In order to describe Witten’s c<strong>on</strong>jecture explicitly, let t = (t 0 , t 1 , t 2 , . . .) and τ = (τ 0 , τ 1 , τ 2 , . . .)
1.2. <str<strong>on</strong>g>Intersecti<strong>on</strong></str<strong>on</strong>g> <str<strong>on</strong>g>theory</str<strong>on</strong>g> <strong>on</strong> <strong>moduli</strong> <strong>spaces</strong> 25and c<strong>on</strong>sider the generating functi<strong>on</strong> F(t) = 〈exp(t · τ)〉. Here, the expressi<strong>on</strong> is to be expandedas a Taylor series using multilinearity in the variables t 0 , t 1 , t 2 , . . .. Equivalently, defineF(t 0 , t 1 , t 2 , . . .) = ∑d∞∏k=0t d kkd k ! 〈τd 00 τd 11 τd 22 . . .〉where the summati<strong>on</strong> is over all sequences d = (d 0 , d 1 , d 2 , . . .) <strong>of</strong> n<strong>on</strong>-negative integers withfinitely many n<strong>on</strong>-zero terms. Witten c<strong>on</strong>jectured that the formal series U = ∂2 Fsatisfiesthe KdV hierarchy <strong>of</strong> partial differential equati<strong>on</strong>s. More explicitly, Witten’s c<strong>on</strong>jecture canbe stated as follows.Theorem 1.19 (Witten’s c<strong>on</strong>jecture). The generating functi<strong>on</strong> F satisfies the following partial differentialequati<strong>on</strong> for every n<strong>on</strong>-negative integer n.(2n + 1) ∂3 F∂t n ∂t 2 0( ∂=2 ) ( ) ( ) ( )F ∂ 3 F ∂∂t n−1 ∂t 0 ∂t 3 + 3 F ∂ 2 F20∂t n−1 ∂t 2 0∂t 2 + 1 ∂ 5 F40∂t n−1 ∂t 4 0∂t 2 0Given Witten’s c<strong>on</strong>jecture, the string equati<strong>on</strong> and the base case 〈τ0 3 〉 = 1, every intersecti<strong>on</strong>number <strong>of</strong> psi-classes can be obtained. The following example dem<strong>on</strong>strates this via the calculati<strong>on</strong><strong>of</strong> 〈τ 1 〉.Example 1.20. Observe that∂ n F∂t α1 ∂t α2 · · · ∂t αn∣ ∣∣∣t=0= 〈τ α1 τ α2 . . . τ αn 〉,and c<strong>on</strong>sider the equati<strong>on</strong> in Witten’s c<strong>on</strong>jecture with n = 3 evaluated at t = 0. This yieldsthe equality 7〈τ 2 0 τ 3〉 = 〈τ 0 τ 2 〉〈τ 3 0 〉 + 2〈τ2 0 τ 2〉〈τ 2 0 〉 + 1 4 〈τ4 0 τ 2〉. Now use the fact that 〈τ 2 0 〉 = 0and the base case 〈τ0 3〉 = 1 to reduce the relati<strong>on</strong> to 7〈τ2 0 τ 3〉 = 〈τ 0 τ 2 〉 + 1 4 〈τ4 0 τ 2〉. Applyingthe string equati<strong>on</strong> to each term, we obtain 7〈τ 1 〉 = 〈τ 1 〉 + 1 4 〈τ3 0〉 from which it follows that〈τ 1 〉 =24 1 〈τ3 0 〉 = 24 1 . Note that this is in agreement with the calculati<strong>on</strong> <strong>of</strong> 〈τ 1〉 in Example 1.16.A thorough analysis <strong>of</strong> the KdV hierarchy allows Witten’s c<strong>on</strong>jecture to be stated in an alternativeway. Define the sequence <strong>of</strong> Virasoro operators byV −1 = − 1 2∂∂t 0+ 1 2and for positive integers n,(2n + 3)!!V n = −2∂+∂t n+1∞∂∑ t k+1 + t2 0∂tk=0 k 4 , V 0 = − 3 2∞∑k=0(2k + 2n + 1)!!2(2k − 1)!!t k∂+∂t k+n∂∂t 1+ 1 2∑k 1 +k 2 =n−1∞∑k=0∂(2k + 1)t k + 1∂t k 48 ,(2k 1 + 1)!!(2k 2 + 1)!!4∂ 2∂t k1 ∂t k2.The operators are named so because they span a subalgebra <strong>of</strong> the Virasoro Lie algebra. It is