ScalingStacks

Proposition 8.2 . [01H6]

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

Proposition 8.2.

Let u,u′∈C0​(X)u,u^{\prime}\in C^{0}(X).

  • (i)

    Pθ​(u)P_{\theta}(u) is θ\theta-psh, and is the largest θ\theta-psh function dominated by uu on XX.

  • (ii)

    PθP_{\theta} is non-decreasing, i.e. u≤v⇒Pθ​(u)≤Pθ​(v)u\leq v\Rightarrow P_{\theta}(u)\leq P_{\theta}(v).

  • (iii)

    Pθ​(u)P_{\theta}(u) is concave in both arguments, i.e.

    Pt​θ+(1−t)​θ′​(t​u+(1−t)​u′)≥t​Pθ​(u)+(1−t)​Pθ′​(u′)P_{t\theta+(1-t)\theta^{\prime}}\left(tu+(1-t)u^{\prime}\right)\geq tP_{\theta}(u)+(1-t)P_{\theta}^{\prime}(u^{\prime})

    for 0≤t≤10\leq t\leq 1.

  • (iv)

    For each c∈𝐑c\in\mathbf{R} we have Pθ​(u+c)=Pθ​(u)+cP_{\theta}(u+c)=P_{\theta}(u)+c.

  • (v)

    For each v∈𝒟⁡(X)v\in\mathcal{D}(X) we have Pθ​(u)=Pθ+d​dc​v​(u−v)+vP_{\theta}(u)=P_{\theta+dd^{c}v}(u-v)+v.

  • (vi)

    PθP_{\theta} is 11-Lipschitz continuous with respect to the sup-norm, i.e. supX|Pθ​(u)−Pθ​(v)|≤supX|u−v|\sup_{X}|P_{\theta}(u)-P_{\theta}(v)|\leq\sup_{X}|u-v|.

  • (vii)

    Given a determination 𝒳\mathcal{X} of θ\theta and a convergent sequence θm→θ\theta_{m}\to\theta in N1​(𝒳/S)N^{1}(\mathcal{X}/S), we have Pθm​(u)→Pθ​(u)P_{\theta_{m}}(u)\to P_{\theta}(u) uniformly on XX.

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