Math 2.0

Algebraic geometry Definition

Nef line bundle

Builds on Invertible sheafProper morphismAlgebraic curveAmple line bundle

Definition

Let XX be a scheme that is proper over a field kk, and let ℒ\mathcal{L} be an invertible sheaf on XX. For a closed integral curve C⊆XC \subseteq X, proper over kk, let deg⁡(ℒ∣C)\deg(\mathcal{L}|_C) be the degree of the restriction of ℒ\mathcal{L} to CC, also written (ℒ⋅C)(\mathcal{L} \cdot C). The sheaf ℒ\mathcal{L} is nef if (ℒ⋅C)≥0(\mathcal{L} \cdot C) \ge 0 for every closed integral curve C⊆XC \subseteq X.

Remarks

A Cartier divisor DD is nef when 𝒪X(D)\mathcal{O}_X(D) is nef, that is, D⋅C≥0D \cdot C \ge 0 for all curves CC.

Example: every ample ℒ\mathcal{L} is nef. Some power ℒ⊗m\mathcal{L}^{\otimes m} is very ample, so m (ℒ⋅C)m \, (\mathcal{L} \cdot C) is the degree of CC in a projective embedding, which is positive. The trivial bundle 𝒪X\mathcal{O}_X is nef, with degree 00 on every curve, and it is not ample when dim⁡X≥1\dim X \ge 1 and XX is projective.

Non-example: on ℙk1\mathbb{P}^1_k, 𝒪(−1)\mathcal{O}(-1) is not nef, since its degree on the curve C=ℙk1C = \mathbb{P}^1_k itself is −1-1.

On a projective scheme, Kleiman's criterion says that ℒ\mathcal{L} is nef if and only if (ℒdim⁡V⋅V)≥0(\mathcal{L}^{\dim V} \cdot V) \ge 0 for every closed subvariety VV. It also says that the nef cone is the closure of the ample cone.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Algebraic curve concept
  2. Ample line bundle concept
  3. Invertible sheaf concept
  4. Proper morphism concept
  5. Nef line bundle definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Nef_line_bundle
About this page
Tag4TCFNSTXAD
URIm2://4TCFNSTXAD
Kinddefinition
WritingW0 stub
MSC14C20, 14C17
DefinesNef line bundle
UsesInvertible sheaf, Proper morphism, Algebraic curve, Ample line bundle

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.