ScalingStacks

Theorem 4.95 . [02S9]

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.95.

Let Ξ \Pi be a complete SCR complex in NℝN_{\mathbb{R}} and 𝒳Π{\mathcal{X}}_{\Pi} its associate toric scheme over SS. Let ψ\psi be an H-lattice function on Ξ \Pi and DψD_{\psi} the corresponding 𝕋\mathbb{T}-Cartier divisor on 𝒳Π{\mathcal{X}}_{\Pi}.

  1. (1)

    The following properties are equivalent:

    1. (a)

      DψD_{\psi} is ample;

    2. (b)

      DΟˆβ‹…C>0D_{\psi}\cdot C>0 for every vertical curve CC contained in XΞ ,oX_{\Pi,o};

    3. (c)

      DΟˆβ‹…V⁑(Ξ›)>0D_{\psi}\cdot V(\Lambda)>0 for every (nβˆ’1)(n-1)-dimensional polyhedron Ξ›βˆˆΞ \Lambda\in\Pi;

    4. (d)

      The function ψ\psi is strictly concave on Π\Pi.

  2. (2)

    The following properties are equivalent:

    1. (a)

      DψD_{\psi} is generated by global sections;

    2. (b)

      DΟˆβ‹…Cβ‰₯0D_{\psi}\cdot C\geq 0 for every vertical curve CC contained in XΞ£,oX_{\Sigma,o};

    3. (c)

      DΟˆβ‹…V⁑(Ξ›)β‰₯0D_{\psi}\cdot V(\Lambda)\geq 0 for every (nβˆ’1)(n-1)-dimensional polyhedron Ξ›βˆˆΞ \Lambda\in\Pi;

    4. (d)

      The function ψ\psi is concave.

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