Gromov-Witten and integrability. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T05:29:53Z http://mathoverflow.net/feeds/question/38294 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/38294/gromov-witten-and-integrability Gromov-Witten and integrability. Sasha 2010-09-10T11:45:23Z 2010-09-16T21:25:10Z <p>The generation function of the Gromow-Witten invariants (with descendants) of the point is known to be Kontsevich-Witten tau-function of KdV, partition functions of $P^1$ and equivariant $P^1$ are known to be tau-functions of extended Toda and 2-Toda respectively. Are there any other manifolds (except of orbifolds made of mentioned previously manifolds ) for which generation functions of GW invariants are identified with tau-functions of some integrable hierarchy? </p> http://mathoverflow.net/questions/38294/gromov-witten-and-integrability/39023#39023 Answer by Paul Johnson for Gromov-Witten and integrability. Paul Johnson 2010-09-16T21:25:10Z 2010-09-16T21:25:10Z <p>Short answer: essentially, the point and $P^1$ are the only spaces where the GW generating function is a tau-function. However, you mentioned two variations on this spaces: equivariant orbifold versions. And there are other variations that go a bit further -- twisted and relative invariants, and, a little wilder, Landau-Ginzburg theory. But in all cases, everything seems to be a reduction of either the KP hierarchy or the 2-Today hierarchy.</p> <h2>Twisted Invariants</h2> <p>Let $L_i$ be some line bundles on $X$, and let $B$ be the total space of $\oplus L_i$. The GW theory of $B$ doesn't make sense since it's not compact, and so neither will $\overline{\mathcal{M}}_{g,n}(B, \beta)$, but we can take a $\mathbb{C}^*$ on $B$ that fixes $X$ and just acts on the fibers, and then use localization on $\overline{\mathcal{M}}_{g,n}(B, \beta)$. </p> <p>The fixed point locus will be $\overline{\mathcal{M}}_{g,n}(X, \beta)$, but the invariants will be different because of extra terms coming from the euler class of the normal bundle. We call and so it will make sense to integrate, and we define these to be $GW(B)$, and call them twisted invariants of $X$. </p> <p>A Grothendieck-Riemann-Roch calculation begun by Mumford and extended and expanded by Faber-Pandharipande and Coates-Givental will reduce $GW(B)$ to $GW(X)$, but in a messy way that would for instance change the invariants, and certainly change around the integrable hierarchy.</p> <p>So, for instance, in the case of a point, we'll just get integrals over $\overline{\mathcal{M}}_{g,n}$, the normal bundle will essentially be copies of the Hodge bundle, and so we'll get $\lambda$ classes appearing in our integrals along with the usual $\psi$ classes: these are called Hodge integrals.</p> <p>In the case that there is just one line bundle (so $B=\mathbb{C}$, the integral will be linear in the $\lambda$ classes, and will be the integral appearing in the ELSV formula. <a href="http://arxiv.org/abs/0809.3263" rel="nofollow">Kazarian</a> shows that the resulting GW theory satisfies the KP hierarchy.</p> <p>The case with three line bundles ($B=\mathbb{C}^3$) is the case covered by the topological vertex. As far as I know, there is no known integrable hierarchy satisfying the whole thing. But <a href="http://arxiv.org/abs/math/0310408" rel="nofollow">Zhou</a> has shown that certain specializations lead to KP and 2-Toda type equations. </p> <p>Similarly, we can twist the GW theory of $\mathbb{P}^1$ and hope to get integrable hierarchies here. <a href="http://arxiv.org/abs/1002.0582" rel="nofollow">Brini</a> has made some progress here for the direct sum of two line bundles, so that $B$ is a three-fold. In particular, for the resolved conifold (the total space of $\mathcal{O}(-1)\oplus\mathcal{O}(-1)$, he gets connections with the Ablowitz-Ladik hierarchy, apparently some reduction of 2-Toda.</p> <h2>Relative Invariants</h2> <p>Another variation we can play is to use relative invariants, working relative to a divisor.</p> <p>In dimension zero this doesn't work, but we can work relative to 0 and $\infty$ on $\mathbb{P}^1$. Okounkov and Pandharipande have shown that this flavor also satisfies some 2-Toda type hierarchy.</p> <p>In the paper of Zhou mentioned above, he also sets up certain relative generating functions for toric varieties that satisfy KP and 2-Toda hierarchies.</p> <h2>Landau-Ginzburg</h2> <p>In another direction, if we move slightly away from GW theory we can get more interesting examples. Fan, Jarvis and Ruan have recently finished rigorously constructing a Landau-Ginzburg A-model -- essentially, a Gromov-Witten theory for hypersurface singularities. </p> <p>These theories have a central charge that acts as a dimension. The central charge 0 case has an ADE classification. Witten conjectured that the theory of these should satisfy the corresponding Kac-Wakimoto / Drinfeld-Sokolov reduction of the KP hierarchy. Note that for $A_1$, this is the Gromov-Witten theory of a point, and the usual KdV hierarchy.</p> <p>In the $A_r$ case, the analytic machinery of FJR is not needed to define the theory, and it goes under the name $r$-spin curves -- essentially, we're doing integrals over the moduli space of orbifold curves with an chosen $r$-th root of the canonical bundle. Witten's conjecture was proven here by Faber, Shadrin and Zvonkine. FJRW have recently proven the D and E cases.</p>