5
$\begingroup$

The theorem of Zariski-Fujita says the following: Given a line bundle $L$ with base locus $B$ on a projective variety $X$. If $L_{|B}$ is ample on $B$, then $L$ is semiample, i.e. $L^{\otimes m}$ is generated by global sections for some $m>0$.

Does this remain true if we only assume $X$ is complete?

$\endgroup$
1
  • $\begingroup$ Short answer: Yes. This is proved in Fujita's original paper. More generally he proves this result with $X$ just a compact complex analytic space, and this includes all complete algebraic varieties over $\mathbb{C}$. $\endgroup$
    – YangMills
    Aug 19, 2015 at 21:00

1 Answer 1

4
$\begingroup$

Short answer: No.

In his original paper, Fujita posed the question whether we can weaken the assumptions in the theorem. (Fujita 1983, 1.16) There has been one paper written since then with an attempt at improvement.

Let $R$ be a commutative Noetherian ring, $X$ a scheme proper over $R$, and $\mathcal{L}$ a line bundle on $X$. Define

$H^p_\*(\mathcal{F},\mathcal{L}) = H^p(X, \mathcal{F}\otimes\text{Sym}\ \mathcal{L})=\bigoplus_{n\geq0} H^p(X,\mathcal{F}\otimes \mathcal{L}^{\otimes n})$, a module over the graded ring $\Gamma_\*(\mathcal{L}) = H^0(X,\text{Sym} \ \mathcal{L})$.

Then there is

Theorem. (Schröer, 2001) Let $B$ be the stable base locus of $\mathcal{L}$. The following are equivalent:

  1. $\mathcal{L}$ is semi-ample,
  2. For each coherent sheaf $\mathcal{F}$ and $p \geq 0$, $H^p_\*(\mathcal{F},\mathcal{L})$ is finitely generated over $\Gamma_\*(\mathcal{L})$.
  3. For all coherent ideal sheaves $\mathcal{I} \subset \mathcal{O}(B)$, the module $H^1_*(\mathcal{I}, \mathcal{L})$ is finitely generated over $\Gamma_\*(\mathcal{L})$.

Schröer uses this generalization of Zariski-Fujita to characterize contractible curves in 1-dimensional families, where considers $X$ complete (i.e., proper over a base field) in a couple instances.

I think any other attempt will run into the same problem: the best you can do is a cohomological characterization.

Keeler (2003) worked in the setting of schemes with filters of line bundles, rather than a single individual line bundle. (This is again a cohomological condition.) He proved a generalization of Serre's vanishing theorem and some other results in Fujita's paper, but not a very promising lead on your question:

Proposition. (Keeler, 2003) Let $X$ be a complete variety, $\mathcal{L}$ a line bundle on $X$, and suppose the base locus is zero-dimensional or empty. Then $\mathcal{L}$ is nef.

There is also the paper of Ein (2000) where he finds a more elegant proof of Zariski-Fujita using Koszul complexes.


  • Ein, L., Linear systems with removable base loci, Comm. Algebra 28, n. 12 (2000), 5931–-5934
  • Fujita, Takao, Semipositive line bundles, J. Fac. Sci. Univ. Tokyo 30 (1983), 353--378
  • Keeler, Dennis S, Ample filters of invertible sheaves, J. Algebra 259 (2003), 243--283
  • Schroer, Stefan, A characterization of semiampleness and contractions of relative curves, Kodai Math. J. Volume 24, Number 2 (2001), 207--213.
$\endgroup$
3
  • $\begingroup$ This is very informative, but what you're saying is that it's not known in general? I think it should be true in some simple cases like when the dimension of $B$ is $1$ via Chow's lemma and the result for projective varieties. $\endgroup$
    – Parsa
    Dec 10, 2011 at 6:44
  • 1
    $\begingroup$ @Robert K. : can you provide a counterexample ? $\endgroup$ Dec 10, 2011 at 16:15
  • 1
    $\begingroup$ I think it should be true in some other cases as well, for example if there exists a quasiprojective open $U \subset X$ with $B \subset U$. Then there is a projective $X'$ with $\pi X' \rightarrow X$ birational surjective and an isomorphism on $U$. The strict transform $D'$ of $D$ on $X'$ also has base locus $B$ and remains ample on it, so $mD'$ is base point free for some $m>0$ by the Zariski-Fujita theorem. But this means that $mD$ must also be base point free. Right? $\endgroup$
    – Parsa
    Dec 10, 2011 at 22:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.