Partially ample line bundles on toric varieties
In this note we study properties of partially ample line bundles on simplicial projective toric varieties. We prove that the cone of q-ample line bundles is a union of rational polyhedral cones, and calculate these cones in examples. We prove a restriction theorem for big q-ample line bundles, and deduce that q-ampleness of the anticanonical bundle is not invariant under flips. Finally we prove a Kodaira-type vanishing theorem for q-ample line bundles.
\section{$q$-ample line bundles}
In the 1950s Serre gave a cohomological characterisation of ample line
bundles: a line bundle is ample if and only if some sufficiently high
power of it kills cohomology of any coherent sheaf in degrees above
zero. This characterisation suggests the following generalisation of
ampleness, introduced by Sommese \cite{Sommese}. (Note that Sommese's
definition requires that some power of the line bundle be globally
generated, but we drop that hypothesis here.) 

\begin{definition} \label{def-naive}
Let $X$ be a projective variety. A line bundle $L$ on $X$ is called
{\it $q$-ample} (for some integer $q \geq 0$) if for any coherent
sheaf $F$ on $X$, there exists a natural number $n_0$ (depending on
$F$) such that
\begin{align*}
H^i(X, L^n \otimes F) &=0 \text{ for all } i>q \text{ and } n \geq n_0.
\end{align*}
\end{definition}
Any line bundle on a variety of dimension $n$ is $n$-ample; by Serre,
$0$-ample is the same as ample. 

At first sight the $q$-ample condition seems hard to check since it
involves tensoring with an arbitrary coherent sheaf. Totaro
\cite[Definition 6.1]{Totaro} introduced the related notion of
{\it $q$-T-ampleness}, which has the key advantage that it is defined by the
vanishing of finitely many cohomology groups:
\begin{definition}
Let $X$ be a projective variety of dimesion $n$, and fix a
Koszul-ample line bundle $\mathcal{O}_X(1)$ on $X$. A line bundle $L$ on $X$ is
called {\it $q$-T-ample} if there exists a natural number $N$ such
that 
\begin{align*}
H^{q+1}(X,L^N(-n-1))=H^{q+2}(X,L^N(-n-2))=\cdots =H^n(X,L^N(-2n+q))=0. 
\end{align*}
\end{definition}
For the definitition of Koszul-ample see \cite{Totaro}; the
precise meaning will not play an important role here. For our purposes
it will be sufficient to know that:
\begin{compactenum} [i)]
\item some sufficiently high power of any ample line
bundle is Koszul-ample \cite{Backelin},
\item the definition of
$q$-T-ampleness is independent of the choice of Koszul-ample line
bundle \cite[Corollary 6.2, Theorem 6.3]{Totaro}.
\end{compactenum}
The significance of this definition is that the two notions of
$q$-ampleness coincide in characteristic zero \cite[Theorem
6.3]{Totaro}:
\begin{theorem}[Totaro] \label{thm-qtample} Let $X$ be a projective
  variety over a field of characteristic zero. Then line bundle $L$ on
  $X$ is $q$-ample if and only if it is $q$-T-ample.
\end{theorem}
So in charactersistic zero we can check $q$-ampleness by looking at
the cohomology of a finite set of line bundles.
 
Following \cite[Section~8]{Totaro}, we define an $\text{\bf R}$-divisor to be
$q$-ample if it is numerically equivalent to a sum $cD + A$ with $D$ a
$q$-ample divisor, $c$ a positive rational number, and $A$ an ample
$\text{\bf R}$-divisor. The $q$-ample cone $Amp_q(X)$ is the cone of classes of
$q$-ample $\text{\bf R}$-divisors in $N^1(X)$.  (Here $N^1(X)$ denotes the real
vector space $\left( \mathrm{Div}(X)/ \equiv \right) \otimes \text{\bf R}$,
where $\mathrm{Div}(X)$ is the group of all Cartier divisors on $X$,
and $\equiv$ denotes numerical equivalence.)  We emphasise that
$Amp_q(X)$ is not a convex cone in general: typically the tensor
product of two $q$-ample line bundles is only $2q$-ample, not
$q$-ample.

We will use Theorem~\ref{thm-qtample} to show that the $q$-ample cone
of a simplicial (equivalently, $\text{\bf Q}$-factorial) projective toric
variety in characteristic zero is the interior of a finite union of
rational polyhedral cones. Roughly speaking, each vanishing condition
in the definition of $q$-T-ample defines a polyhedral region, and
these regions combine to give the $q$-ample cone.

For later reference we state Totaro's result \cite[Theorem
8.3]{Totaro} (building on work of Demailly--Peternell--Schneider) that
$q$-ampleness is an open condition in the space of line bundles up to
numerical equivalence. 
\begin{theorem}[Demailly--Peternell--Schneider,
  Totaro] \label{thm-open} Let $X$ be a projective variety over a
  field of characteristic zero. Then the $q$-ample cone $Amp_q(X)$ is
  open in $N^1(X)$.
\end{theorem}
 




\section{Cohomology of line bundles on toric varieties} \label{sect-2}

In this section we outline the description \cite{Broomhead} of
cohomology of line bundles on toric varieties in terms of
constructible sheaves on the polytope. We work over an algebraically
closed field $\mathbf{k}$ of characteristic zero.

Let $X = X(\Delta)$ be a simplicial projective $n$-dimensional toric
variety, corresponding to some complete fan $\Delta$ in a lattice $N
\cong \text{\bf Z}^n$.  We denote the primitive generators of the rays of
$\Delta$ by $\{v_i \in N \mid i \in I \}$. There is a one-to-one
correspondence between prime torus-invariant divisors and rays of
$\Delta$ \cite[Chapter 3]{Fulton}. We denote these divisors by $\{E_i
\mid i \in I\}$ and the free group generated by them by $\text{\bf Z}^{I}$. The
dual space $\text{\bf Z}_I$ is generated by the dual basis $\{e_i \mid i \in
I\}$.

Let $ M := \operatorname{Hom}(N, \text{\bf Z}) \cong \text{\bf Z}^n$ be the
dual lattice to $N$, with pairing $ \langle \cdot , \cdot \rangle
$. We have the following commutative diagram with exact
rows

\begin{equation} \label{eqn:seseq} \xymatrix{
0 \ar[r] & M  \ar@{=}[d]      \ar[r] & \mathrm{Div}_T(X)   \ar@{^{(}->}[d]    \ar[r] & \Pic(X) \ar@{^{(}->}[d] \ar[r] & 0 \\
0 \ar[r] & M  \ar[r] & \text{\bf Z}^{I}  \ar[r]^{[-]} & Cl(X) \ar[r] & 0 \\
} \end{equation}
where $\mathrm{Div}_T(X)$ is the group of torus-invariant Cartier
divisors, and $Cl(X)$ is the class group. Applying the functor
$-\otimes_{\text{\bf Z}} \text{\bf R}$ and using the fact that simplicial toric varieties
are $\text{\bf Q}$-factorial, we obtain the following exact sequence
\begin{equation} \label{eqn:seseq2} \xymatrix{
0 \ar[r] & M_\text{\bf R}  \ar[r] & \text{\bf R}^{I}  \ar[r]^{[-]} & N^1(X) \ar[r] & 0 \\
} \end{equation}
where $N^1(X)$ denotes $\Pic(X) \otimes \text{\bf R}$.

We denote the polytope of the toric variety $X$ by $P_X$. To fix
notation, let us recall how this polytope is constructed. For an
ample divisor $A = \sum_{i \in I} a_i E_i$. on $X$, there is an
associated $n$-dimensional polytope in $M_\text{\bf R}$ given by
\begin{equation*}
P_A := \{u \in M_\text{\bf R} \mid \langle u , v_i \rangle \geq -a_i \; \forall i \in I\}.
\end{equation*}
This has $(n-1)$-dimensional faces
\[
F_i:= \{u \in M_\text{\bf R} \mid \langle u , v_i \rangle = -a_i \text{
  and } \; \langle u , v_j \rangle \geq -a_j \; \forall j \in
I\backslash \{i\} \}
 \]
 indexed by the rays of $\Delta$. The combinatorial structure of this
 polytope is independent of the choice of ample divisor $A$
 \cite[p. 72]{Fulton}, so we define $P_X$ to be the polytope $P_A$
 for any ample divisor $A$. 

~\newline
If $D$ is any torus-invariant Cartier divisor on $X$, its cohomology
$H^p(X,\mathcal{O}(D))$ splits into a direct sum of weight spaces indexed
by the lattice $M$ \cite[Section 3.5, Proposition]{Fulton}:
\begin{equation}
  \label{dsd} H^p(X,\mathcal{O}(D)) \cong \bigoplus_{m \in
    M}H^p(X,\mathcal{O}(D))_m.
\end{equation} 
There are several known descriptions of these weight spaces, for
example Demazure's description \cite{Demazure} in terms of local
cohomology groups. Here we will use the description from
\cite{Broomhead} in terms of cohomology of a constructible sheaf on
the polytope $P_X$. More precisely, if $D = \sum_{i \in I} d_i E_i$ is
the torus-invariant divisor, then for each $m \in M$ we define a closed
subset of $P_X$ by
\begin{align*}
  Z(m,D):= \bigcup_{ \{i \in I \mid \langle m , v_i \rangle < -d_i \}
  } F_{i}  \quad = \quad \bigcup_{ \{i \in I \mid \langle m +D , e_i \rangle < 0 \}
  } \! \! F_{i} \, ,
\end{align*}
a union of closed maximal dimensional faces of $P_X$, and denote by
$W(m,D):= P_X \setminus Z(m,D)$ the complementary open subset of
$P_X$.

Let $j:W(m,D)\hookrightarrow P_X $ be the inclusion of $W(m,D)$ into
$P_X$ and $ \text{\bf k}_{W}$ be the constant sheaf on $W$ with values in the
ground field. Then \cite[Theorem~1.1]{Broomhead} states that for all
$p \geq 0$ there are canonical isomorphisms
\begin{equation} \label{eqn:pieces}
H^p(X,\mathcal{O}(D))_m \cong H^p(P_X,j_! \text{\bf k}_{W(m,D)}).
\end{equation}  
This leads to a practical method of computation as follows. There is a
short exact sequence of constructible sheaves
\begin{equation*} \label{seseq3} 0 \lra{}
  {j}_!{j}^*\text{\bf k}_{P_X} \lra{} \text{\bf k}_{P_X} \lra{}
  {i}_*{i}^*\text{\bf k}_{P_X} \lra{} 0
\end{equation*} 
where $i$ is the inclusion of $Z(m,D)$ into $P_X$, which induces a
long exact sequence of cohomology
\begin{equation*} \label{long} \dots \lra{} H^{p-1}(Z(m,D), \text{\bf k}) \lra{}
  H^{p}(P_X,j_! \text{\bf k}_{W(m,D)}) \lra{} H^{p}(P_X, \text{\bf k}) \lra{}
  \dots
\end{equation*}
Using this together with Equation~(\ref{eqn:pieces}) and observing
that $P_X$ is contractible, we conclude that for all $p \geq 0$ we have
\begin{equation}\label{reduced}
H^p(X,\mathcal{O}(D))_m  =  \widetilde{H}^{p-1}(Z(m,D), \text{\bf k})
\end{equation}
where $\widetilde{H}$ denotes reduced cohomology. (We use the
convention that $\widetilde{H}^{-1}(Z, \text{\bf k})=0$ except when $Z =
\emptyset$, and $\widetilde{H}^{-1}(\emptyset, \text{\bf k})=\text{\bf k}$.)



In order to compute cohomology groups it is therefore important to
understand the sets $Z(m,D)$. For each subset $\alpha \subseteq I$, we
define the set
\[ Z_\alpha := \bigcup_{ i \in \alpha } F_{i} \] and note that each
$Z(m,D)$ is of this form. Given $\alpha \subseteq I$ we define a
corresponding orthant in $\text{\bf R}^I$ as follows
\[ O_\alpha := \{ D=\sum_{i \in I} d_i E_i \in \text{\bf R}^I \mid d_i < 0 \;
\forall i\in \alpha, \; d_i \geq 0 \; \forall i\in I\backslash \alpha
\}. \] 
With these definitions the following lemma is immediate:
\begin{lemma}\label{orthlemm} $Z(m,D) = Z_\alpha$ if and only if $D+m
  \in O_\alpha$.
\end{lemma} 



\section{The $q$-ample cone of a toric variety}
In this section we will prove our main theorem. First we collect a few
basic facts about rational cones that we will need for the proof.

A subset of a vector space is a (closed, not necessarily strongly)
convex polyhedral cone if and only if it is the intersection of a
finite number of closed half-spaces. We will refer to the
intersection of a finite number of half-spaces, some of which are
open, as a partially open convex polyhedral cone.

\begin{lemma}\label{orthanttocone}
  The image $[O_\alpha]$ of an orthant $O_\alpha$ in $N^1(X)$ is an
  intersection of a finite number of rational half-spaces (some of which may be
  open). Its closure $\overline{[O_\alpha]}$ is a convex rational
  polyhedral cone of top dimension. \hfill $\square$
\end{lemma} 

\begin{lemma}\label{complementcones}
  Let $C_1, \dots ,C_t$ be convex rational polyhedral cones (some of
  which may be partially open). The complement of their union is also
  a finite union of convex rational polyhedral cones (some of which
  may be partially open).
\end{lemma}
\begin{proof}
  For a single cone $C_1$, we write this as an intersection of half
  spaces. The set of (rational) hyperplanes bounding these half spaces
  split the complement of $C_1$ up into a finite number of convex
  rational polyhedral cones (some of which are partially open). The
  lemma then follows for a finite union $\bigcup_{j=1}^t C_j$ using De
  Morgan's law and the fact that the intersection of two rational
  polyhedral cones is again a rational polyhedral cone.
\end{proof}


Now we can prove our main theorem. 
\begin{theorem} \label{thm-main} The $q$-ample cone of a simplicial
  (equivalently, $\text{\bf Q}$-factorial) projective toric variety $X$ over an
  algebraically closed field of characteristic zero is the interior of
  a union of finitely many rational polyhedral cones.
\end{theorem}
\begin{proof}
  We denote by $n$ the dimension of $X$ and let $\mathcal{L} := \mathcal{O}(A)
  \in \Pic(X)$ be a Koszul-ample line bundle. We start by proving that the set
\[S = \left\{ \mathcal{O}(D) \in \Pic(X) \mid H^i(X,\mathcal{O}(kD+(q-i-n)A) )
  =0, \; \forall i>q, \; \forall k \gg 0 \right\}. \] 
is the set of classes of all $q$-ample Cartier divisors on $X$.
In one direction, the
elements of $S$ satisfy a condition which obviously implies
$q$-$T$-ampleness, and are therefore classes of $q$-ample Cartier divisors by
Theorem~\ref{thm-qtample}

In the other direction, suppose that $D$ is a 
$q$-ample Cartier divisor. Then for any given coherent sheaf $E$ on $X$, there exists
a positive integer $N$ (depending on $E$) such that $H^i(kD+E)=0$ for
all $k \geq N$, in all degrees $i>q$.  Applying this with $E$ chosen
to be $(-n-1)A, (-n-2)A,\dots ,(-2n+q)A$, we get natural numbers $N_1,
N_2,\dots ,N_{n-q}$ such that for each $j$, and each $k \geq N_j$, we
have $H^i(kD+(q-j-n)A)=0$ for all $i>q$.  Now set $N=\mathrm{max
}\left\{N_j \right\}$: then for each $j=q+1,\dots ,n$ and each $k \geq
N$ we have $H^i(kD+(q-j-n)A)=0$ for all $i>q$.  In particular,
choosing $i=j$, we see that the class of $D$ lies in $S$.

Therefore, the $q$-ample cone $Amp_q(X)$ is the cone of $\text{\bf R}$-divisor
classes of the form $[cD +A^\prime]$ where $[D] \in S$, $c$ is a
positive rational number and $A^\prime$ is an ample $\text{\bf R}$-divisor.  It
remains to prove that this is the interior of a finite union of
rational polyhedral cones. Using the weight space decomposition
(\ref{dsd}) and Equation~(\ref{reduced}), we can describe the set $S$
defined above as
\[ S= \left\{ \mathcal{O}(D) \in \Pic(X) \mid
\widetilde{H}^{j}(Z(m,kD+(q-j-n-1)A), \text{\bf k} ) =0, \; \forall m\in M,\;
\forall j \geq q, \; \forall k \gg 0 \right\} .\] Let
$J_i:=\{ \alpha \subseteq I \mid \widetilde{H}^{i}(Z_\alpha, \text{\bf k} ) \neq
0 \}$ be the set indexing orthants which would contribute non-zero
terms to the $i$-th cohomology, and let
\[O_{J_i} := \bigcup_{ \alpha \in J_i } O_\alpha\] be the union of
these orthants. Then using Lemma~\ref{orthlemm} we have
\[S = \left\{ \mathcal{O}(D) \in \Pic(X) \mid (kD+(q-i-n-1)A+M) \cap
O_{J_i} = \emptyset,\; \forall i \geq q, \; \forall k \gg 0
\right\}. \] Furthermore, using the short exact
sequence~(\ref{eqn:seseq}) it is clear that for any divisor
$E$ and subset $U \subseteq \text{\bf Z}^I$ we have
\[ (E+M) \cap U = \emptyset \text{ if and only if } [E] \notin [U] \]
and so
\begin{equation}\label{eqn:amplecone}
  S = \left\{ \mathcal{O}(D) \in \Pic(X) \mid [kD+(q-i-n-1)A] \notin [O_{J_i}] ,\; \forall i \geq q,  \; \forall k \gg 0 \right\}. \end{equation}

Let $$K:= \bigcup_{i \geq q}[O_{J_i}]$$ which, by
Lemma~\ref{orthanttocone}, is a union of (partially open) rational
polyhedral cones in $N^1(X)$ and denote by $K^c$ its complement. By
Lemma~\ref{complementcones} the set $K^c$ is also a union of
(partially open) rational polyhedral cones in $N^1(X)$. We will show
that $Amp_q = (K^c)^\circ$, which proves the theorem. 


First we will show that $Amp_q$ contains the cone $(K^c)^\circ$. Choose
any point $[D^\prime]$ in $(K^c)^\circ$. Since this set is open, we can 
write $[D^\prime]$ in the form $[D + A^\prime]$ where $[D]$ is a rational 
point in $(K^c)^\circ$ and $A^\prime$ is some ample $\text{\bf R}$-divisor. There exists
$\varepsilon>0$ such that the $\varepsilon$-ball $B_\varepsilon([D])$
around $[D]$ is contained in $K^c$. Since $K^c$ is closed under
multiplication by a positive scalar, the cone $\Sigma$ generated by
$B_\varepsilon([D])$ is also contained in $K^c$, and since
$B_\varepsilon([D])$ is convex the cone $\Sigma$ is closed under
addition.





Let 
\[k_0> \operatorname{max}_{q \leq i < n}
\|[D+(q-i-n-1)A]\|/\varepsilon\] so for every $q \leq i < n$ we have
\[[D]+ \frac{1}{k_0}[D+(q-i-n-1)A] \in \Sigma\] and therefore
\[(k_0+1)[D]+(q-i-n-1)[A] \in \Sigma.\] Then, since $\Sigma$ is closed
under addition, for $k>k_0$ we have
\begin{align*}[kD +(q-i-n-1)A]
&= (k-(k_0+1))[D] + ((k_0+1)[D]+(q-i-n-1)[A]) \\
&\in \Sigma \subset K^c. \end{align*} 
In particular, $[kD+(q-i-n-1)A] \notin [O_{J_i}] $ for all $ i \geq q$
and for all $k\gg 0$.  Therefore $D$ is $q$-ample and
 it follows that $(K^c)^\circ \subseteq Amp_q$.

 Next we will show that $Amp_q$ is contained in the cone
 $\overline{K^c}$, the closure of the complement of $K$. To see this,
 suppose for the sake of contradiction that $Amp_q \cap K^\circ \neq
 \emptyset$.  Since $Amp_q$ and $K^\circ$ are both open and the
 rational points are dense, there is a rational point $[D] \in Amp_q
 \cap K^\circ$.
 Choose $\varepsilon_0 > 0$ such that $[D] + \varepsilon [A] \in
 K^\circ$ for all $\epsilon$ with $|\varepsilon|<\varepsilon_0$. In
 fact since $K$ is by definition a finite union of convex sets, for
 all $\varepsilon$ sufficiently close to zero, the point $[D] +
 \varepsilon [A]$ must lie in a given one of these sets, so there
 exists $i \geq q$ and $\widetilde{\varepsilon}_0 >0$ such that $[D] +
 \varepsilon [A] \in [O_{J_i}]$ for all $\varepsilon$ with
 $0<|\varepsilon|<\widetilde{\varepsilon}_0$. Therefore for all $k\gg
 0$, $[D + \frac{(q-i-n-1)}{k} A] \in [O_{J_i}]$ and, multiplying
 through by $k$, it follows that $[D]\notin Amp_q$. This is a
 contradiction, so we conclude that $Amp_q \subseteq \overline{K^c}$.

Putting the last two paragraphs together, we have
\[(K^c)^\circ \subseteq Amp_q \subseteq \overline{K^c}. \] Using
Theorem~\ref{thm-open} which says that $Amp_q$ is open in $N^1(X)$, this
gives
\[\overline{K}^c = (K^c)^\circ \subseteq Amp_q \subseteq
\overline{K^c}^\circ = \overline{K^\circ}^c. \]
Because $K$ is the union of top dimensional convex cones, every point
in the closure is the limit point of a sequence of points in the
interior (using the convexity and the fact that each cone has
non-empty interior) so $\overline{K} = \overline{K^\circ}.$ Therefore
we obtain the following descriptions of $Amp_q$:
\begin{equation}\label{eqn:descriptions}
Amp_q = \overline{K}^c = (K^c)^\circ = \overline{K^c}^\circ = \overline{K^\circ}^c.
\end{equation}
The theorem follows since $\overline{K^c}$ is also a union of finitely
many rational polyhedral cones by Lemma~\ref{complementcones}.
\end{proof}


\section{Example}
To illustrate the theorem, we will calculate the $q$-ample cone of the
blowup of $\text{\bf P}^n$ in a single point, for all $n \geq 2$ and all interesting
values of $q$. 

Let $X$ be the blowup of $\text{\bf P}^n$ in a point, which we may choose to be
the intersection of $n$ of the $n+1$ torus-invariant divisors in
$\text{\bf P}^n$. Then $X$ has $n+2$ torus-invariant divisors and $\Pic(X)$ has
two generators given by $H$, the pullback to $X$ of the hyperplane
class on $\text{\bf P}^n$, and $E$, the class of the exceptional divisor. The
short exact sequence from diagram~(\ref{eqn:seseq}) is

\[ \begin{CD}
0   @>>>      M     @>{\left( \begin{smallmatrix} {\bf I}_{n \times n} \\ -1 \, \dots \, -1 \\ 1 \; \dots \; \; 1 \end{smallmatrix} \right)}>>   \text{\bf Z}^{n+2}     @>{\left( \begin{smallmatrix} \begin{smallmatrix} 1 & \dots & 1 \\ -1 & \dots & -1 \end{smallmatrix} & {\bf I}_{2 \times 2} \end{smallmatrix} \right)}>>   \text{\bf Z}^2        @>>>  0  
\end{CD} \]
The polytope $P_X$ is obtained by ``chopping off'' one vertex of the $n$-simplex. We label
the top-dimensional faces of this polytope by $F_1, \ldots,
F_{n+1}, F_{n+2}$, ordered so that $F_{n+1}$ and $F_{n+2}$ are the two
disjoint faces.

We need to understand the reduced homology groups of the subspaces $Z(m,D)
\subset P_X$ defined in Section \ref{sect-2}.
\begin{lemma}
  Let $Y$ be a union of closed top-dimensional faces of the polytope
  $P_X$. Then its reduced homology groups are
\begin{align*}
\tilde{H}_k(Y) = 
\begin{cases} 
\text{\bf k} & \text{ if } Y=\partial P_X, \, k=n-1  \\
\text{\bf k} & \text{ if } Y = \partial P_X \setminus \left\{ F_{n+1} \cup
  F_{n+2} \right\}, \, k=n-2 \\
\text{\bf k} & \text{ if } Y = F_{n+1} \cup F_{n+2}, \, k=0 \\
\text{\bf k} & \text{ if } Y = \emptyset, \, k=-1 \\
0 & \text{ otherwise. }
\end{cases}
\end{align*}
\end{lemma}
\begin{proof} The proof comes from considering the long exact sequence
of reduced homology associated to a sequence $A \hookrightarrow B
\rightarrow B/A$, where $A$ is a (reasonable) closed subspace of a
topological space $B$. Applying this with $B=Y$, a union of
top-dimensional faces of $P_X$, and $A=Y \cap F_{n+2}$ we reduce the problem to calculating the reduced homology of either a union of faces of a simplex or the disjoint union of a point with a union of faces of a simplex. Using the fact that the union of any proper subset of faces of a simplex has no reduced homology, the result follows.
\end{proof}
This lemma immediately identifies the index sets $J_\alpha$ which give
nonzero contributions to cohomology of a line bundle, as described in
Section \ref{sect-2}. We have
\begin{align*}
J_0 &= \left\{ \alpha \subseteq I =\left\{1,\ldots,n+2\right\} |
  \tilde{H}^0(Z_\alpha,\text{\bf k}) \neq 0 \right\} = \left\{ \left\{n+1,n+2
  \right\} \right\} \\
J_1 &= \cdots = J_{n-3} = \emptyset \\
J_{n-2} &=  \left\{ \alpha \subseteq I |
  \tilde{H}^{n-2}(Z_\alpha,\text{\bf k}) \neq 0 \right\} = \left\{ \left\{1,\ldots,n \right\} \right\} \\
J_{n-1} &= \left\{ \alpha \subseteq I |
  \tilde{H}^{n-1}(Z_\alpha,\text{\bf k}) \neq 0 \right\} = \left\{
  \left\{1,\ldots,n+2 \right\}\right\}. \\
\end{align*}
The corresponding orthants in $\text{\bf Z}^I \cong \text{\bf Z}^{n+2}$ are then
\begin{align*}
  O_{J_0} &= \left\{ \left(d_1,\ldots,d_{n+2} \right) \in \text{\bf Z}^{n+2} \ |
    \ d_{n+1} <0, d_{n+2} <0, d_i \geq 0 \text{ for all } i=1,\ldots,n \right\} \\
  O_{J_1} &= \cdots = O_{J_{n-3}} = \emptyset \\
  O_{J_{n-2}} &= \left\{ \left(d_1,\ldots,d_{n+2} \right) \in \text{\bf Z}^{n+2}
    \ | \ d_{n+1} \geq 0, \, d_{n+2} \geq 0, \, d_i<0 \text{ for all }
    i=1,\ldots,n
  \right\} \\
  O_{J_{n-1}} &= \left\{ \left(d_1,\ldots,d_{n+2} \right) \in \text{\bf Z}^{n+2}
    \ |
    \ d_i<0 \text{ for all } i=1,\ldots,n+2 \right\} \\

\end{align*}
The images of these orthants under the map $\text{\bf Z}^I \rightarrow \Pic(X)$ then
look as in Figure \ref{Fig1}. 

In the proof of Theorem \ref{thm-main} we showed that the $q$-ample
cone is given by $Amp_q=(K^c)^o$, where $K=\bigcup_{i \geq
  q}[O_{J_i}]$. So we can compute the $q$-ample cone for each $q$ by
forming appropriate unions of the regions $\overline{[O_{J_i}]}$ and taking the
complement. The results are shown in Figure \ref{Fig2}.

\begin{figure}
\centering
\begin{tikzpicture}
\draw[thin][draw=white][pattern=north east lines][pattern color=gray] (-2,0) -- (0,0) --
(2,-2) -- (-2,-2) --cycle;

\draw[<->][very thick] (-2.1,0) -- (0,0) -- (2.05,-2.05);
\draw[dotted] (-2,0) -- (2,0) [shift={(0.3,0)}] node{\tiny{$H$}};
\draw[dotted] (0,-2) -- (0,2) [shift={(0,0.3)}] node{\tiny{$E$}};

\draw (-1,-1) node{$\overline{[O_{J_0}]}$};

\draw [shift={(5,0)}][thin][draw=white][pattern=north east lines][pattern color=gray] (-2,2) -- (0,0) --
(2,0) -- (2,2) --cycle;

\draw [shift={(5,0)}][<->][very thick] (-2.1,2.1) -- (0,0) -- (2.1,0);

\draw  [shift={(5,0)}][dotted] (-2,0) -- (2,0) [shift={(0.3,0)}] node{\tiny{$H$}};
\draw  [shift={(5,0)}][dotted] (0,-2) -- (0,2) [shift={(0,0.3)}] node{\tiny{$E$}};
\draw [shift={(5,0)}] (1,1) node{$\overline{[O_{J_{n-2}}]}$};


\draw [shift={(2.5,-5)}][thin][draw=white][pattern=north east lines][pattern color=gray] (-2,2) -- (0,0) --
(0,-2) -- (-2,-2) --cycle;

\draw [shift={(2.5,-5)}][<->][very thick] (-2.1,2.1) -- (0,0) -- (0,-2.1);

\draw  [shift={(2.5,-5)}][dotted] (-2,0) -- (2,0) [shift={(0.3,0)}] node{\tiny{$H$}};
\draw  [shift={(2.5,-5)}][dotted] (0,-2) -- (0,2) [shift={(0,0.3)}] node{\tiny{$E$}};
\draw [shift={(2.5,-5)}] (-1,-1) node{$\overline{[O_{J_{n-1}}]}$};
\end{tikzpicture}
\caption{Orthants of cohomology vanishing} \label{Fig1}
\end{figure}

\begin{figure}
\centering
\begin{tikzpicture}
\draw[thin][draw=white][pattern=north east lines][pattern color=gray]
(2,0) -- (0,0) -- (2,-2) --cycle;

\draw[dotted][<->][very thick] (2.1,0) -- (0,0) -- (2.05,-2.05);
\draw[dotted] (-2,0) -- (2,0) [shift={(0.3,0)}] node{\tiny{$H$}};
\draw[dotted] (0,-2) -- (0,2) [shift={(0,0.3)}] node{\tiny{$E$}};

\draw (2.5,-1) node{$Amp_0$};

\draw [shift={(5,0)}][thin][draw=white][pattern=north east lines][pattern color=gray] (2,0) -- (0,0) --
(0,-2) --cycle;

\draw [shift={(5,0)}][<->][very thick][dotted] (2.1,0) -- (0,0) -- (0,-2.1);
\draw  [shift={(5,0)}][dotted] (-2,0) -- (2,0) [shift={(0.3,0)}] node{\tiny{$H$}};
\draw  [shift={(5,0)}][dotted] (0,-2) -- (0,2) [shift={(0,0.3)}] node{\tiny{$E$}};
\draw [shift={(5,0)}] (2.5,-1.5) node{$Amp_q \, (1 \leq q \leq n-2)$};


\draw [shift={(2.5,-5)}][thin][draw=white][pattern=north east lines][pattern color=gray] (-2,2) -- (0,0) --
(0,-2) -- (2,-2) --(2,2) --cycle;

\draw [shift={(2.5,-5)}][<->][very thick][dotted] (-2.1,2.1) -- (0,0) -- (0,-2.1);

\draw  [shift={(2.5,-5)}][dotted] (-2,0) -- (2,0) [shift={(0.2,0)}] node{\tiny{$H$}};
\draw  [shift={(2.5,-5)}][dotted] (0,-2) -- (0,2) [shift={(0,0.3)}] node{\tiny{$E$}};
\draw [shift={(2.5,-5)}] (1,1) node{$Amp_{n-1}$};
\end{tikzpicture}
\caption{The $q$-ample cones} \label{Fig2}
\end{figure}
We remark that Totaro \cite[Theorem 9.1]{Totaro} showed that $Amp_{n-1}$
is the complement of the negative of the closed effective cone, for
any projective variety in characteristic zero. For $X$ the blowup of
$\text{\bf P}^n$ in a point, it is easy to show that the effective cone is
closed, spanned by $E$ and $H-E$, and the complement of the negative
of that cone is indeed the cone $Amp_{n-1}$ in Figure \ref{Fig2}.

\section{Asymptotic cohomological functions and q-ampleness}

Totaro \cite[Section 10]{Totaro} asked whether the $q$-ample cone
could be characterised by the vanishing of K\"uronya's asymptotic
cohomological functions in degrees above $q$. (For the ample cone,
this was proved by de Fernex--K\"uronya--Lazarsfeld \cite{dFKL}.)

\begin{theorem}
  Let $D$ be a Cartier divisor on a projective toric variety. Then $D$
  is $q$-ample if and only if $\widehat{h}^i$ vanishes identically in an
  open neighbourhood of $[D]$ in $N^1(X)$ for all $i>q$.
\end{theorem}
\begin{proof}
  First assume $D$ is $q$-ample. K\"uronya \cite{Kur} showed that the
  functions $\widehat{h}^i$ are homogeneous of degree equal to the
  dimension of $X$, and continuous in the Euclidean topology on
  $N^1(X)$, so to prove the claim it suffices to show that
  $\widehat{h}^i$ vanishes for all Cartier divisors spanning rays
  which pass sufficiently close to $[D]$. By openness of the $q$-ample
  cone, there exists an open neighbourhood $U$ of $[D]$ in $N^1(X)$
  which also lies in the $q$-ample cone. Any Cartier divisor
  $D^\prime$ lying on a ray which intersects $U$ is $q$-ample, so
  applying Definition \ref{def-naive} with $F=\mathcal{O}_X$ we get $H^i(X,
  \mathcal{O}(nD^\prime))=0$ for $n$ sufficiently large and for
  $i>q$. Therefore $\widehat{h}^i(D^\prime)=0$, as required.

  To prove the converse, suppose $D$ is not $q$-ample. Using the
  description of the $q$-ample cone in the proof of
  Theorem~\ref{thm-main}, we have $[D]\in \overline{K}$. Therefore
  given any open neighbourhood of $[D]$ in $N^1(X)$, it intersects the
  interior of $K$. In fact it follows from the definition of $K$ that
  there exists some $i \geq q$ and $\alpha \in J_i$ such that the
  neighbourhood intersects the interior of $[O_{\alpha}]$. It will
  therefore be sufficient to show that for any Cartier divisor $D'$
  with $[D^\prime] \in [O_{\alpha}]^\circ$ the function
  $\widehat{h}^{i+1}(D^\prime) \neq 0$.  We choose a representative
  divisor $D^\prime$ of the class $[D^\prime]$ which lies in the
  interior of the orthant $O_{\alpha}$.
If $U$ denotes the closed unit hypercube in $M$ we fix a large
enough integer $k$ such that $ D^\prime + \frac{1}{k}U \subset
O_{\alpha}$. It follows that for each positive integer $j$ we have $j
k D^\prime + j U \subset O_{\alpha}$ and so for each $m \in jU$ the
$m$th piece of the cohomology $H^{i+1}(X, \mathcal{O}(j k D^\prime))_m\neq
0$. Therefore $h^{i+1}(X, \mathcal{O}(j k D^\prime)) \geq j^n$ and it
follows that $\widehat{h}^{i+1}(D^\prime) \neq 0$.
\end{proof}


2012-02-15T02:03:08.000
1202
1202.3065
en
https://arxiv.org/abs/1202.3065
In this note we study properties of partially ample line bundles on simplicial projective toric varieties. We prove that the cone of q-ample line bundles is a union of rational polyhedral cones, and calculate these cones in examples. We prove a restriction theorem for big q-ample line bundles, and deduce that q-ampleness of the anticanonical bundle is not invariant under flips. Finally we prove a Kodaira-type vanishing theorem for q-ample line bundles.
Algebraic Geometry (math.AG)
Partially ample line bundles on toric varieties
Qwen/Qwen-72B
1. YES
2. YES