Quantum Cohomology

Now that we know what a Gromov-Witten invariant is (at least, for nice spaces…we’re avoiding stacks for this series, and assuming that everything behaves nicely and that these actually count things…), we can start talking about Quantum Cohomology, which organizes all these invariants together.  In the next (and potentially last) post in the series, we’ll use quantum cohomology to compute the Gromov-Witten invariants of \mathbb{P}^2, and talk about what it means.

Anyway, we need to, once and for all, choose a basis of A^*X.  We’ll take T_0=1, T_1,\ldots,T_p a basis of A^1X, and T_{p+1},\ldots,T_m a basis for the rest.  Now, as we’ve assumed that X is homogeneous, these can be the Schubert classes (we’ll talk more about these in a future post), but we won’t be making use of that, specifically.

Because Gromov-Witten invariants containing T_0,\ldots,T_p can be reduced to those that don’t by the rules from last time, so we define N(n_{p+1},\ldots,n_m,\beta)=I_\beta(T_{p+1}^{n_{p+1}},\ldots,T_m^{n_m}), because these are the only ones we need to know all of them.  However, we’re going to abandon this notation for the moment, though we’ll use it when we actually compute an example next time.

We now define a m\times m matrix with entries g_{ij}=\int_X T_i\cup T_j, and using standard physics notation, we set g^{ij} the entries of the inverse.  These inverses exist becuase choosing a different basis for the cohomology is just a change of basis for the matrix, and if we choose the Schubert classes, we get a permutation matrix.

One thing this gives us is a way to write the cup product:

\begin{array}{rcl}T_i\cup T_j&=&\sum_{e,f}\left(\int_X T_i\cup T_j\cup T_e\right) g^{ef}T_f\\&=&\sum_{e,f}I_0(T_i,T_j,T_e)g^{ef}T_f\end{array}

So we can write cup product in terms of Gromov-Witten invariants.  But the only ones that show up have \beta=0! This suggests that we can try to define a new multiplication somehow using the higher Gromov-Witten invariants.  We’ll do this in several steps:

Define, for \gamma\in A^*X, \Phi(\gamma)=\sum_{n\geq 3}\sum_\beta \frac{1}{n!}I_\beta(\gamma^n).  This will encode all the Gromov-Witten invariants only containing \gamma.

Lemma: Fix n.  There are only finitely many effective classes \beta\in A_1X such that I_\beta(\gamma^n)\neq 0.

Proof: By our homogeneity assumption, the effecitve classes are nonnegative linear combinations of \beta_1,\ldots,\beta_p, eftective and nonzero.  Now, it’s a fact that \int_\beta c_1(T_X)\geq 2, adn so for any fixed N, there are only finitely many \beta with \int_\beta c_1(T_X)\leq N.

Now, for I_\beta(\gamma^n)\neq 0, we must have that \dim M_{0,n}(X,\beta)\leq n\dim X, and so \int_\beta c_1(T_X)\leq (n-1)\dim X+3-n (recall the equation we had last time which was required for them to be nonzero).  QED

Now, if we describe \gamma=\sum y_i T_i, then this lemma makes \Phi(\gamma):=\Phi(y_0,\ldots,y_m) a formal power series in \mathbb{Q}[[y_0,\ldots,y_m]].  We can write it as \Phi(y_0,\ldots,y_m)=\sum_{n_0+\ldots+n_m\geq 3} I_\beta(T_0^{n_0},\ldots,T_m^{n_m})\frac{y_0^{n_0}}{n_0!}\ldots \frac{y_m^{n_m}}{n_m!}.

Next, we set \Phi_{ijk}=\frac{\partial^3\Phi}{\partial y_i\partial y_j \partial y_k}, which would then be \sum_{n\geq0}\sum_\beta \frac{1}{n!} I_\beta(\gamma^n,T_i,T_j,T_k).

Finally, we can define the quantum product, which is the linear extension of

T_i*T_j=\sum_{e,f}\Phi_{ije}g^{ef}T_f

on A^*X\otimes_\mathbb{Z}\mathbb{Q}[[y_0,\ldots,y_m]].

The first thing we can see about this product is that it is commutative.  This is just because mixed partials commute.  The MUCH harder theorem, which is the real theorem lurking at the base of this subject, is that \hphantom{ }*\hphantom{ } is ASSOCIATIVE.  And next time, we’ll see why this is so valuable.

About these ads

About Charles Siegel

Charles Siegel is currently a postdoc at Kavli IPMU in Japan. He works on the geometry of the moduli space of curves.
This entry was posted in Algebraic Geometry, Cohomology, Computational Methods, Curves, Enumerative Geometry. Bookmark the permalink.

2 Responses to Quantum Cohomology

  1. Pingback: Kontsevich’s Formula « Rigorous Trivialities

  2. of course the album Satanic Requiem by the band Sewer has been elected better than Madonna Rihanna and Beyonce
    liberal http://armorgames.com/user/libertari11

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s