Processing math: 100%

Monday, 30 October 2006

ag.algebraic geometry - Computing 3 points Gromov-Witten invariants of the Grassmannian

This is from an exercise in Koch, Vainsencher - An invitation to quamtum cohomology.



Background



The exercise asks to compute the 3-points Gromov-Witten invariants of the Grassmannian G=mathopGr(1,mathbbP3)=mathopGr(2,4) via the enumerative interepretation. In particular my problem is with computing the invariant I2(pcdotpcdotp), where p is the class of a point on G. This is the number of rational curves of degree 2 through 3 generic points on G. Here we see G as embedded by the Plucker map, and the degree is defined accordingly.



A rational curve CsubsetG of degree d will sweep out a rational ruled surface S of degree d in mathbbP3; up to here I agree with the hints of the book. The problem is the following hint:




Show that the condition on C of passing through a point qinG corresponds to the condition on S of containing the line in mathbbP3 corresponding to q.




This seems to me plain false. Of course one implication is true, but is absolutely possible that S contains a line without C passing through the corresponding point.



For instance, when d=1, C is a line on the Grassmannian, and it is well-known that these have the form ellmidainellsubsetA, where a is a point and A a plane of mathbbP3. In this case S is the plane A, so it contains many lines which do not pass through a, hence these lines are not parametrized by C.



Similarly, when d=2, the surface S can be a smooth quadric, which has two distinct rulings of lines; one will correspond to lines parametrized by C, but the other one will not. To see that a smooth quadric can actually arise, just invert the construction. Starting from a smooth quadric S take any line ellsubsetS. There is a natural map elltoG given by sending a point qinell to the unique line in the other ruling passing through q. The image of this map is a curve CsubsetG, such that the associated surface is S itself.



Given the hint, the book goes on to say




Show that I2(pcdotpcdotp)=1, by interpreting this number as a count of quadrics containing three lines.




Now I certainly agree that given three generic lines in mathbbP3 there is a unique quadric containing them. To see this, just choose 3 points on each line: a quadric will contain the lines iff it contains the 9 points, and it can be shown that these 9 points give 9 independent conditions.



Still I do no see how this implies the count I2(pcdotpcdotp)=1. What I guess happens is that generically we will have two lines in one ruling and one line in the other, so that the curve CsubsetG which sweeps S will only pass through one or two of the assigned points.



Question



What is the right count? Is there something wrong in what I said above? Is it even true that I2(pcdotpcdotp)=1?

No comments:

Post a Comment