MathOverflow is a question and answer site for professional mathematicians. 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

Suppose that $X$ is a smooth projective algebraic variety over a perfect field $k$ of characteristic $p > 0$ (I'm also interested in the non-smooth case).

Suppose that $D$ is a divisor or possibly a $\mathbb{Q}/\mathbb{R}$-divisor on $X$ that is ample (I'd also be happy to consider weaker notions of positivity, big, semi-ample, nef, etc).

Now, consider the Frobenius map $$F : \mathcal{O}_X(-D) \to \mathcal{O}_X(-pD)$$ (or more generally to $\mathcal{O}_X(-p^eD)$ for $e \gg 0$). If $X$ is a $\mathbb{Q}$-divisor, then for this map, I mean $\mathcal{O}_X(\lfloor -D \rfloor) \to \mathcal{O}_X(\lfloor -p^eD \rfloor)$.

Take cohomology and consider $$H^i(X, \mathcal{O}_X(-D))\to H^i(X, \mathcal{O}(-p^eD)) $$ for $i \neq 0$. I'm particularly interested in the top cohomology, (notice that for $e \gg 0$, the lower cohomologies are uninteresting by Serre vanishing as Donu pointed out).

Question: Can I say anything about where $D$ lives in the nef/ample cone based on the dimension of the kernel of that map (ie, the rank of that map)? In particular, has this been written down somewhere? Even for surfaces?

Question: More generally, do the set of classes in the ample cone which have a kernel of dimension $\geq n$ representative, (ie a "bad" (low rank in the above sense)) live in a region with any nice (connectivity/convexity?) properties.

I'm somewhat aware of some of the various statements that can be made in this direction for curves (ie, Tango curves), but if someone has something interesting to say that also illuminates the higher dimensional picture, I'd be quite interested!

Maybe I'm asking the wrong questions too, so I'd be happy to hear what the right questions are.

EDIT: I should point out that for $D$ sufficiently ample Weil divisor, that the picture is very uninteresting (Serre vanishing applies).

share|cite|improve this question
Karl, the picture is also uninteresting when $e\gg 0$ for the same reason. What sort of description were you hoping for in general? – Donu Arapura Apr 11 '11 at 15:56
... but maybe the nonvanishing locus for $H^(X,\mathcal{O}(-D))$ is interesting to you. – Donu Arapura Apr 11 '11 at 15:58
$H^($ -> $H^i($ – Donu Arapura Apr 11 '11 at 15:59
Donu, you are right about it being uninteresting for $e \gg 0$ for $i < \dim X$, but it is still interesting for $i = \dim X$ (that's actually the situation I've been thinking most about). Let me add a comment to that effect. – Karl Schwede Apr 11 '11 at 16:11
I guess the region you describe should be empty sometimes. Consider the case where $X$ is Frobenius split, i.e., there is a projection $\F_*O_X\to O_X$ such that $O_X\to \F_*O_X\to O_X$ is the identity. In this case it is not hard to see that for any line bundle $L$ on $X$ the map $ H^i(X,L)\to H^i(X,L\otimes F_*O_X)=H^i(X,L^p) $ is injective (in fact, this gives a proof of the Kodaira vanishing theorem). In particular, there is no kernel for any line bundle $L$. – J.C. Ottem Apr 12 '11 at 7:17

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.