a question about Gromov-Witten invariant

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Do the Gromov-Witten invariants count the morphisms from a curve to a variety over $\mathbb{C}$?

-

4
fpqc, don't be a jerk. I'm sure you're aware that many mathematicians and grad students aren't native English speakers, cut them some slack. – Charles Siegel Dec 8 2009 at 5:40

3
@fpqc: there are many non-native speakers of English in the site, myself included. Instead of making fun of people, you could suggest a way of rewriting it in a manner that is more correct. – Alberto García-Raboso Dec 8 2009 at 5:41
You're right. I was trying to point out that the way the question was worded didn't make any sense while trying to also be funny. I'm sorry, HYYY and Alberto. I didn't mean anything by it. – Harry Gindi Dec 8 2009 at 6:15

2 Answers

HYYY, the answer is a qualified "yes." I'm not an expert (read a few papers at the beginning of the year before deciding that enumerative geometry wasn't going to be my area) and I know that the answer is a definitive yes for rational curves in homogeneous spaces. However, more generally than that, the Kontsevich moduli space of stable maps isn't a manifold, but merely an orbifold, and so has rational cohomology but not integral. So you get rational numbers. Worse, if your curves aren't rigid, they might count negatively, so there will be rational and negative Gromov-Witten invariants, in general.

This paper is a great introduction, and works out the first big theorem that GW invariants proved, in a case where they do, in fact, count curves.

-

For more on negative GW invariants, see this question mathoverflow.net/questions/7823/… – Kevin Lin Dec 8 2009 at 12:57

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

To further qualify Charles's yes: that these moduli spaces are orbifolds instead of manifolds does result in rational numbers, but this is quite natural and not much of a problem. The orbifolds here are just resulting because we're counting things that have automorphisms, here, for instance, the map from P^1 to P^1 given by the polynomial z^d has Z_d as its automorphisms: we can multiply a point in P^1 by a dth root of unity and not change where it maps to). Whenever you count things with automorphisms it's quite natural to count each thing weighted by 1/(the size of its automorphism groups), or to rigidify the things we're counting by adding some kind of extra structure so they no longer have automorphisms.

As an example: Cayley's formula that there are n^(n-2) trees on n labeled vertices - the labeling of the vertices guarantees that the objects we're counting do not have automorphisms, and we get an integer - we've rigidified the problem. If we wanted to count the number of trees on n unlabeled vertices, the problem is much more difficult. However, if we weight each such tree by the inverse of its automorphism group, then the problem has a nice answer again: it's simply n^(n-2)/n!. My point is: the rationality is not the ugly part of what's going on.

The ugly part is that these moduli spaces of maps are not even orbifolds: they have much worse singularities, and can have different components of different dimension. From deformation theory, we expect these moduli spaces to have a certain dimension. To get a finite number, we put conditions on the map that cut this dimension down until its zero. Geometrically, you should think of each of these conditions as a cycle on the moduli space, and we want to intersect them. Doing this intersection naively doesn't work when the space is singular, and furthermore the moduli space might be smooth but have a dimension different than what we were expecting. But a lot of hard work shows that these spaces have a "virtual fundamental class" of the dimension that we expect, and using this we can proceed as above to get a number. But in doing this, we've lost the sense in that we're counting something.

But it strikes me that perhaps that's not necessarily what the questioner was after; most typically this is done for smooth, projective varieties of C, but somehow the part that really matters is the symplectic structure: Gromov-Witten invariants can be defined for any symplectic manifold - they will all have almost complex structures J that "play nicely" with the symplectic form omega, and we're "counting" these maps. Or: all this works for orbifolds (which are really smooth objects), but not singular spaces.

The over $\mathbb{C}$ bit is pretty necessary, I think - people have looked a little at doing in positive characteristic, but one big problem is that the orbifold stuff, which I was just telling you isn't really a problem, can be a big problem in positive characteristic if the order of your automorphisms aren't coprime with the characteristic.

-

Paul, my understanding is that it's still conjectural that algebraic GW and symplectic GW give equivalent info, along with pretty much every other curve-counting scheme.  If they've been shown to be the same (even, say, for genus 0, where things don't get SO bad) could you provide a reference? – Charles Siegel Dec 8 2009 at 12:50
Charles: See this paper by Siebert arxiv.org/abs/math/9804108 and this paper by Li-Tian arxiv.org/abs/alg-geom/9712035 – Kevin Lin Dec 8 2009 at 12:55
Charles: I think there has been a lot of recent progress in showing equivalence of Gromov-Witten, Donaldson-Thomas, and Pandharipande-Thomas theories, but I don't know much about this stuff and I don't know any references off the top of my head. – Kevin Lin Dec 8 2009 at 13:00
The equivariant GW/DT correspondence has been proven for toric 3-folds in MOOP: front.math.ucdavis.edu/0809.3976.  There's been a huge explosion in the study of the DT-type sheaf theories recently - the names here are Joyce and Kontsevich-Soibelman - but I know less about this than I should, and any link I'd give you would be almost random.  – Paul Johnson Dec 8 2009 at 13:19
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 2, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9537027478218079, "perplexity_flag": "middle"}