Friday 17 August 2007

ag.algebraic geometry - GW invariants for varieties with negative first Chern class

EDITED.



The first version of this answer contained correct information, but was answering not the question that was asked:))



So here is the new version of the answer.



1) If a variety with ample canonical bundle does not have rational curves then, indeed, its RATIONAL GW invariants vanish. Because GW invariants can be counted via algebraic geometry and the corresponding moduli spaces will be empty.



But this will not imply that all GW invariants vanish. Indeed, you can take
minimal complex surfaces of general type with $b_+>1$. Then the GW invariant is non-zero, the canonical curve gives a non-zero contribution. But of course it has a non-zero genus.




The following is a discussion of vanishing and non-vanishing of GW invariants of varieties of general type. This was my previous answer. This is not immediately related to the question, but I decided to leave it here because it may be helpfull (for somebody).



Hypersurfaces of degree $2n-1$ and less in $CP^n$ always contain lines. And for $2n-1>n+1$ this will be an example of a manifold with ample canonical bundle.
I think it should be possible to show that for these hypersurfaces their rational GW invariants are non-zero, though I am not aware if such a calculation has been done for all these examples.



There was a related discussion here:



Why is a variety of general type hyperbolic?



Nethertheless "morally" it is ture that for a large part of varieties of general type of dimesnion at least 4 with ample canonical bundle GW invarinats vanish. For example, it is conjectured that a "generic" hypersurfaces of degree $dge 2n+1$ in $CP^n$ does not contain rational curves (you need generic here becasue for every d there will be a hypersurface that contains a line). This is a hard conjecture. But it implies that rational GW invariant of such varieties vanishes.



A different thing that can be said about varieties of general type is that they are not projectively unirulled and this can be seen as vanishing of certain rational GW invariants. This follows from a result of Kollar and Ruan. You can see the discussion on page 4 of the following paper:



SYMPLECTIC BIRATIONAL GEOMETRY



http://arxiv.org/PS_cache/arxiv/pdf/0906/0906.3265v1.pdf

No comments:

Post a Comment