ScalingStacks

Lemma 4.9 . [03C7]

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

Lemma 4.9.

Let us assume that KK is algebraically closed. Let φ\varphi be a model function determined by a vertical Cartier divisor DD on the algebraic K∘{K^{\circ}}-model 𝒳{\mathscr{X}} of XX. We assume that the special fibre 𝒳s{\mathscr{X}}_{s} is reduced. Then φ≥0\varphi\geq 0 if and only if the Cartier divisor DD is effective.

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