Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Motivated by my ignorance here, if $X$ is a projective toric variety, is $$H^m(X, \mathcal O_X) \cong \begin{cases} 0 & m > 0 \\ \mathbb C & m = 1 \end{cases} $$ as for $\mathbb P^n$?

share|cite|improve this question
I take it $H^m$ means dimension of m-th cohomology? – Matt Dec 2 '10 at 21:25
Whoops, I fixed it. – James Davidoff Dec 2 '10 at 23:11
up vote 7 down vote accepted

Yes, this is true, at least for varieties over the complex numbers $\mathbb{C}$. Indeed, a toric variety over an algebraically closed field is rational (i.e., birational to projective space). In characteristic zero, rational connectedness is a birational invariant, so toric varieties are rationally connected. Finally, any rationally connected variety is $\mathcal{O}$-acyclic, which is the name for the conclusion that you want. See e.g. here for this last implication.

The conclusion might well hold more generally; I am not an expert in these matters. You may want to ask your question on MathOverflow if you are not satisfied with this answer.

share|cite|improve this answer
It's true in finite characteristic as well. See section 3.5 in Fulton's "Toric Varieties" book for how to compute cohomology of line bundles on toric varieties over any field. I don't think he singles out the case of the trivial line bundle; but it is easy to plug it in and see that you get 0. – David Speyer Apr 28 '11 at 19:39

Your Answer


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.