Higher Dimensional Gromov-Witten Theories - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T00:35:27Z http://mathoverflow.net/feeds/question/9391 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/9391/higher-dimensional-gromov-witten-theories Higher Dimensional Gromov-Witten Theories Charles Siegel 2009-12-19T23:41:39Z 2012-09-05T11:53:48Z <p>So, a basic set-up in modern enumerative geometry is that you have some object $X$ (say, a "nice" stack, for whatever definition of "nice" you need) and then you want to "count" the curve of genus $g$ intersecting a bunch of cohomology classes and of degree $\beta$, so you look at $\bar{\mathcal{M}}_{g,n}(X,\beta)$, then pull back the classes, intersect, and get a Gromov-witten Invariant. Famously, this gives the Kontsevich formula counting rational curves in the projective plane passing through $3d-1$ points. And though GW-invariants can be negative and rational, there are nice cases where they do count something legitimate, such as the genus $0$, $n\geq 3$ case into a homogeneous space.</p> <p>So, enough background, here's my question (and this is largely idle curiosity, so no specific motivation): can we do this in higher dimensions? For instance, given a (smooth?) variety $V$ and marking a bunch of subvarieties $W_1,\ldots,W_n$ (maybe restricting them to points?) can we form $\bar{\mathcal{M}}_{V,(W_1,\ldots,W_n)}(X,\beta)$ a moduli space of stable mappings of varieties deformation equivalent to the one we started with into our space, represented by a given cohomology class $\beta$ and with $W_1,\ldots,W_n$ intersecting some cohomology classes, so that we can get something that can be called higher dimensional Gromov-Witten invariants? If this has been studied, under what conditions does it actually count subvarieties? For instance, if $X$ is $\mathbb{P}^N$ and $V=\mathbb{P}^2$, and maybe if we loosen things to just needing rational maps, could we use something like this to count rational surfaces, satisfying some incidence conditions?</p> http://mathoverflow.net/questions/9391/higher-dimensional-gromov-witten-theories/9398#9398 Answer by David Speyer for Higher Dimensional Gromov-Witten Theories David Speyer 2009-12-20T01:33:34Z 2009-12-20T01:33:34Z <p>Alexeev's and Knutson's moduli space of <a href="http://front.math.ucdavis.edu/0602.5626" rel="nofollow">branch varieties</a> is kind of like a higher dimensional version of the moduli space of stable maps. (Although you should be warned that the moduli space of stable maps is not a special case of the moduli space of branch varieties. In the moduli space of branch varieties, there are never any maps with positive dimensional fibers.) </p> <p>I don't know of anyone whose done serious enumerative work along these lines. I'm looking forward to reading the other answers.</p> http://mathoverflow.net/questions/9391/higher-dimensional-gromov-witten-theories/9417#9417 Answer by Joel Fine for Higher Dimensional Gromov-Witten Theories Joel Fine 2009-12-20T10:48:09Z 2009-12-20T10:48:09Z <p>I know that you are thinking firmly about the integrable world, but I thought it worth adding that for symplectic manifolds, there is no obvious generalisation of Gromov-Witten theory to higher dimensional subvarieties. This is because to define "holomorphic" you use a non-integrable almost complex structure and non-integrability means that there are no higher dimensional holomorphic objects. The fact that there are holomorphic curves can be thought of as an instance of the fact that all almost complex structures over 2-manifolds are automatically integrable. (E.g., since there are no (2,0)-forms, the space where the Nijenhuis tensor should live is zero.)</p> http://mathoverflow.net/questions/9391/higher-dimensional-gromov-witten-theories/29914#29914 Answer by Zsolt Patakfalvi for Higher Dimensional Gromov-Witten Theories Zsolt Patakfalvi 2010-06-29T13:50:02Z 2010-06-29T13:50:02Z <p>The moduli space has been constructed: <a href="http://arxiv.org/abs/alg-geom/9410003" rel="nofollow">http://arxiv.org/abs/alg-geom/9410003</a></p> <p>However, I don't think anyone proved anything more than that. In particular, I don't know if the existence of a virtual fundamental class is known for it. </p> http://mathoverflow.net/questions/9391/higher-dimensional-gromov-witten-theories/33143#33143 Answer by ABayer for Higher Dimensional Gromov-Witten Theories ABayer 2010-07-23T22:11:19Z 2010-07-23T22:11:19Z <p>It seems pretty much impossible that a virtual fundamental class for a moduli space of maps from surfaces to a variety can be constructed with current techniques. In the case of curves, deformations of a map are controlled by $H^0(C, f^* T_X)$, and obstructions by $H^1(C, f^* T_X)$. These two spaces vary nicely over the moduli space, in the sense that there is a two-term complex on the moduli space whose fiber at the point [C, f] has these cohomologies. (It is obtained by pulling back the tangent bundle to the universal curve, then taking its derived push-forward along the projection to the moduli space.) If you do the same with surfaces, you end up with a 3-term complex. In that case, Behrend-Fantechi no longer help you to construct a virtual fundamental class. </p> http://mathoverflow.net/questions/9391/higher-dimensional-gromov-witten-theories/33174#33174 Answer by Michael Thaddeus for Higher Dimensional Gromov-Witten Theories Michael Thaddeus 2010-07-24T06:51:09Z 2010-07-24T06:51:09Z <p>The moduli space of stable maps to a point is the Deligne-Mumford moduli space of curves. The moduli theory of higher-dimensional varieties is extremely complicated: though much has been done, even for surfaces there are many possible stability conditions. So even the "higher Gromov-Witten theory of a point" would be very challenging to define.</p> http://mathoverflow.net/questions/9391/higher-dimensional-gromov-witten-theories/33213#33213 Answer by BS for Higher Dimensional Gromov-Witten Theories BS 2010-07-24T17:36:19Z 2010-07-24T17:36:19Z <p>I don't know if this has any bearing on the question, but R. Vakil has <a href="http://arxiv.org/abs/math/0411469" rel="nofollow">shown</a> that moduli spaces of surfaces with very ample canonical bundle can have "arbitrarily bad" singularities. </p> http://mathoverflow.net/questions/9391/higher-dimensional-gromov-witten-theories/106418#106418 Answer by Allen for Higher Dimensional Gromov-Witten Theories Allen 2012-09-05T11:53:48Z 2012-09-05T11:53:48Z <p>As ABayer said since the domain is no longer a curve, there are higher obsturction and one does not know how to define the virtual cycle. By the way, one can consider a related problem: try to count special lagrangians (in general calibrated submanifolds). It turns out that the deformation of calibrated submanifolds is unobsturcted. But one meets another problem to define a invariant, i.e the compactification issue, one usually does not know how to compactify the moduli space of calibrated submanifolds. </p>