ScalingStacks

Definition 2.8 . [0389]

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

Let XX be a smooth projective variety over KK and θ∈𝒵1,1​(X)\theta\in\mathcal{Z}^{1,1}(X) with de Rham class {θ}∈N1​(X)\{\theta\}\in N^{1}(X). The θ\theta-psh envelope of u∈C0​(X)u\in C^{0}(X) is the function

(2.2) Pθ​(u):X→ℝ,Pθ​(u)​(x)=sup{φ⁡(x)|φ∈PSH𝒟​(X,θ)∧φ≤u}.{P}_{\theta}(u)\colon X\to\mathbb{R},\,\,{P}_{\theta}(u)(x)=\sup\{\varphi(x)\,|\,\varphi\in{\rm PSH}_{\mathscr{D}}(X,\theta)\wedge\varphi\leq u\}.

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