ScalingStacks

Theorem 4.54 . [02QX]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Theorem 4.54.

Let XΣX_{\Sigma} be a proper toric variety and DΨD_{\Psi} a 𝕋\mathbb{T}-Cartier divisor on XΣX_{\Sigma}.

  1. (1)

    The following properties are equivalent:

    1. (a)

      DΨD_{\Psi} is ample;

    2. (b)

      (DΨ⋅C)>0(D_{\Psi}\cdot C)>0 for every curve CC in XΣX_{\Sigma};

    3. (c)

      (DΨ⋅V⁡(τ))>0(D_{\Psi}\cdot V(\tau))>0 for every τ∈Σn−1\tau\in\Sigma^{n-1}.

  2. (2)

    The following properties are equivalent:

    1. (a)

      DΨD_{\Psi} is generated by its global sections;

    2. (b)

      (DΨ⋅C)≥0(D_{\Psi}\cdot C)\geq 0 for every curve CC in XΣX_{\Sigma};

    3. (c)

      (DΨ⋅V⁡(τ))≥0(D_{\Psi}\cdot V(\tau))\geq 0 for every τ∈Σn−1\tau\in\Sigma^{n-1}.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.