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

I would like to know what kind of analogs of Kodaira vanishing theorem are valid for singular varieties. For example, is the following true: let $X$ be a projective Gorenstein variety and let $\omega_X$ be its canonical bundle. Is it true that $H^i(L\otimes \omega_X)=0$ for $i>0$ for an ample line bundle $L$?

share|improve this question
add comment

2 Answers

up vote 16 down vote accepted

No. The following counterexample is due to Sommese:

Let $Y$ be the projective bundle $\pi:\mathbb{P}(O\oplus O(1)^{\oplus 3})\to \mathbb{P}^1$. Let $M$ be the tautological bundle on $Y$ and take a general member $X\in|M\otimes \pi^*O(-1)^{\oplus 4})|$. Then $X$ is a normal, projective, Gorenstein 3-fold. If $L$ is the line budle $M\otimes \pi^*O(1)$, one can also check that $H^1(X,O(K_X+L))=\mathbb{C}$.

However, it is known that the Kodaira vanishing theorem holds if $X$ has log canonical singularities. There are also weaker versions in the theorem in the paper 'D. Arapura and D. B. Jaffe On Kodaira Vanishing for Singular Varieties Proc. A.M.S, 105, No. 4, pp. 911-916, 1989.'

share|improve this answer
1  
Great, that's exactly what I need! –  Alexander Braverman Oct 14 '11 at 13:38
    
Can you give me a reference to this result (Kodaira vanishing for log canonical singularities)? –  Alexander Braverman Oct 14 '11 at 13:39
    
Thanks, I saw your edit. Unfortunately, the results of Arapura and Jaffe are not sufficient for my purposes, but full Kodaira vanishing for log canonical singularities would work. Is this written anywhere, or is it folklore? –  Alexander Braverman Oct 14 '11 at 13:52
    
Alexander: See Corollary 2.43 in Fujino's paper: math.kyoto-u.ac.jp/~fujino/MMP21-s.pdf. I think this was first proved by Sandor Kovacs, so it is probably also found among his papers. –  J.C. Ottem Oct 14 '11 at 14:33
    
Thank you very much! –  Alexander Braverman Oct 14 '11 at 15:04
show 3 more comments

Indeed, as JC Ottem points out, Kodaira holds for log canonical (even semi-log canonical singularities). There's also a way to quickly deduce that Kodaira vanishing holds for Du Bois singularities (either from the Ambro-Fujino machinary or mimicking arguments of Kollar, let me know if you want details, perhaps I should put it on mathoverflow since it's not written down anywhere).

However, I should probably point out that it's totally trivial to see that Kodaira vanishing holds for rational singularities. Here's the proof:

Let $\pi : Y \to X$ be a resolution. Note $R \pi_* O_Y \cong O_X$ and so $R \pi O_Y(-\pi^* L) \cong O_X(-L)$ for any line bundle $L$. Fix $L$ to be ample. By a spectral sequence/composition of derived functors argument:

$$H^i(X, O_X(-L)) = H^i(Y, O_Y(-\pi^* L)).$$

But $\pi^* L$ is nef and big and the vanishing of the right hand side is just Kawamata-Viehweg vanishing and Serre duality.

share|improve this answer
    
Thanks a lot; one comment: I actually need the vanishing of $H^i(\omega_X\otimes L)$ but that is indeed easy to include in your argument. –  Alexander Braverman Oct 14 '11 at 16:11
    
Sure, as you certainly know that follows from either Serre-duality applied directly to $X$ (since $X$ is Cohen-Macaulay) or from the fact that for rational singularities we also have $R \pi_* \omega_Y \cong \omega_X$. –  Karl Schwede Oct 14 '11 at 16:20
add comment

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.