ScalingStacks

Definition . [01DJ]

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

Definition.

Let LL be an ample line bundle on an smooth projective KK-analytic variety XX. Fix a model metric ∥⋅∥\|\cdot\| on LL with curvature form θ\theta. A θ\theta-plurisubharmonic function on XX is then a function φ:X→[−∞,+∞)\varphi:X\to[-\infty,+\infty) such that:

  • •

    φ\varphi is upper semicontinuous (usc).

  • •

    φ≤φ∘p𝒳\varphi\leq\varphi\circ p_{\mathcal{X}} for each SNC model 𝒳\mathcal{X}.

  • •

    φ\varphi is a uniform limit on each dual complex Δ𝒳\Delta_{\mathcal{X}} of θ\theta-psh model functions.

A singular semipositive metric is a metric ∥⋅∥e−φ\|\cdot\|e^{-\varphi} with φ\varphi a θ\theta-psh function.

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