Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let's say that I have a variety I think is interesting, and based on some papers I don't fully understand, I can compute quite explicitly its equivariant quantum cohomology in terms of explicit formulae for multiplying by a degree 2 class.

Being something of a newcomer to quantum cohomology, I'm genuinely a bit unsure of how interesting a result this is, and have doubts about writing a paper whose content is "The quantum cohomology of variety X is blah."

Does it tell me anything particularly interesting? Might it have cool implications in integrable systems or something like that?

share|improve this question
    
This isn't really an answer (so I'm writing it as a comment) but experimentally, it appears that in the particular case of the Hilbert scheme of points on an ADE resolution being able to do the computations you're asking about tells you the codimensions of supports of modules for the corresponding symplectic reflection algebra. I have the impression that something similar should be true for Springer fibers and $W$-algebras (though I'm less sure about this). But this is a topic of ongoing research! So in this sense maybe your question is really an ``open question''? –  GS Jan 8 '10 at 16:27
    
Not that I don't think it's interesting and useful! Do you mind me asking what kind of answer you had in mind? –  GS Jan 8 '10 at 16:37
3  
This is a very mysterious question. sure you should tell people about it. (Unless you want to keep it secret and find remarkable consequences on your own) I suppose nice explicit computations are not so common and are ususally of interest. Also I supose that these computations are some sort of a refinement of formulae of ordinary cohomology. Are these already know?, well know?, interesting? useful? Unless the purpose of the question is to make a point by being vague, why not share us with some details? –  Gil Kalai Jan 8 '10 at 17:09
    
I just want it on record that I'm not claiming that I discovered the connections I mentioned above---other people have told me about them! –  GS Jan 8 '10 at 19:49

4 Answers 4

Hi, I am not really an expert in this field, but I think (equivariant) quantum cohomology rings have a very nice combinatorics and show up at many places. I few month ago I was just finishing a paper (joint with Christian Korff) which connects the somehow completely understood quantum cohomology of the Grassmannian with the Verlinde algebra (which for me is the fusion algebra of certain tilting modules for a quantum group at a root of unity).

Have a look at arXiv:0909.2347!

There are indeed lots of connections with integrable systems. In our work we look somehow at a very easy situation: take the affine Dynkin diagram for affine sl(n) (that means a circle with n points!) Then consider the integrable system where you can place particles at this n places. Either "bosonic" that means however many you want or "fermionic" which means at most one at each place. Now there is the operation of moving a particle to the next place. This defines you linear maps on the space of all particle confugurations fixing the number of total particles. Then we define Schur functors where the variables are these (non-commuting) operators.

Now the quantum cohomology of the Grassmannian Gr(k,n+k) has a basis which we can identify with certain partitions or with fermionic particle configurations on an (n+k)-circle using k particles.

Whereas the fusion algebra at level k has a basis which can again be identified with certain partitions or with bosonic particle configurations on an n-circle.

The funny thing now is that the multiplication in either of the rings is just given by a*b=Schur poly to a viewed as an operator applied to b.

This desription of quantum cohomology was found by Postnikov a few years ago, but he did not connect it to this integrable system. The whole thing reproves and makes explicit an old result due to Witten, Gepner, Vafa and Intrilligator that the fusion ring of gl(n) at level k is isomorphic to the quantum cohomology of the Grassmannian Gr(k,n+k) when we specialise q to 1.

So already in this really boring Baby-example something interesting shows up, so I guess one really should study all sort of equivariant cohomology rings!

share|improve this answer

You might have already found an answer by now but still let me add my motivation for the subject. The reason I am interested in quantum cohomology is that I am thinking about it as the correct version of semi-infinite cohomology of the loop space of the variety in question (this point of view by the way is sometimes very useful for guessing the answer). Personally I find the definition of quantum cohomology rather ugly, but in geometric representation theory this kind of phenomenon is sort of well-known: one way to do "semi-infinite geometry" which formally is not clear how to tackle, is by working with the global curve ${\mathbb P}^1$ instead of the formal disc. For example, one can develop rather non-trivial theory of "semi-infinite flag varieties" using spaces of quasi-maps, which is defined using global ${\mathbb P}^1$ as well. I sort of regard this as a similar phenomenon to why quantum cohomology (which is supposed to be a local object) is defined via a global curve.

A more "physical" explanation of the above phenomenon is this: in 2-dimensional conformal field theory it happens very often that some genus 0 correlators actually coincide with some local objects (like coefficients of the OPE and such things). One example of this is the Kazhdan-Lusztig tensor product for representations of affine Lie algebras. It is actually a local thing, but the Kazhdan-Lusztig definition goes through coinvariants on global ${\mathbb P}^1$.

Let me conclude by saying that while the "global" approach is often useful, because that's the only way to define things regorously, the price you have to pay for this is the fact that calculations become rather difficult and mysterious. Quantum cohomology is probably a good example of this -- many answers there become much more understandable when you think in terms of loop spaces.

share|improve this answer

More generally, why would we (mathematicians, not physicists) want to know anything about any Gromov-Witten invariants at all? For me, they're just interesting invariants of varieties/manifolds. The structure of Gromov-Witten invariants is quite rich and interesting on its own.

Perhaps your computation can tell you something interesting about another variety, via mirror symmetry. And yes, it is often the case that Gromov-Witten invariants make contact with integrable systems, but I seem to have the impression that most of the time, the applications go in the direction of integrable systems helping our understanding of Gromov-Witten theory --- e.g. Witten's conjecture, Virasoro conjecture --- rather than the other way around.

Another thing is that, since Gromov-Witten invariants are not really enumerative invariants, it can sometimes be interesting to try to relate them to "actual" enumerative invariants. Moreover there are various questions about the relationship between Gromov-Witten invariants and other "enumerative" invariants like Donaldson-Thomas invariants. There are sometimes also connections with things like matrix models. For example, this paper of Okounkov-Pandharipande relates Hurwitz numbers ("actual" enumerative invariants), the Gromov-Witten theory of P^1, and matrix models. Okounkov and Pandharipande have written many papers along the lines of "the quantum cohomology of X is blah" or "the Gromov-Witten theory of X is blah".

share|improve this answer

Equivariant quantum cohomology of Grassmannians (presumably not your variety) is closely related to equivariant ordinary cohomology of 2-step flag manifolds. That's some justification, for me...

share|improve this answer
    
That's another good reason I had inexcusably forgotten about! –  GS Jan 8 '10 at 19:46

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.