ScalingStacks

Proof. [01CR]

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

Proof.

Pick any regular model 𝒳\mathcal{X}. Then the linear map N1​(𝒳/S)→N1​(X)N^{1}(\mathcal{X}/S)\to N^{1}(X) is surjective hence open. It is thus enough to prove the following claim: let θ𝒳∈N1​(𝒳/S)\theta_{\mathcal{X}}\in N^{1}(\mathcal{X}/S) have ample image in N1​(X)N^{1}(X), and assume that θ𝒳\theta_{\mathcal{X}} is the limit of a sequence θm,𝒳∈N1​(𝒳/S)\theta_{m,\mathcal{X}}\in N^{1}(\mathcal{X}/S). If the corresponding forms θm∈𝒵1,1​(X)\theta_{m}\in\mathcal{Z}^{1,1}(X) all satisfy the orthogonality property, then so does θ\theta.

Let f∈C0​(X)f\in C^{0}(X). By Proposition 2.15 we have Pθm​(f)→Pθ​(f)P_{\theta_{m}}(f)\to P_{\theta}(f) uniformly on XX. We claim that

(θm+d​dc​Pθm​(f))n→(θ+d​dc​Pθ​(f))n(\theta_{m}+dd^{c}P_{\theta_{m}}(f))^{n}\to(\theta+dd^{c}P_{\theta}(f))^{n}

with uniformly bounded mass. Since (Pθm​(f)−f)→(Pθ​(f)−f)(P_{\theta_{m}}(f)-f)\to(P_{\theta}(f)-f) uniformly on XX, we have as before

∫(Pθ​(f)−f)​(θ+d​dc​Pθ​(f))n=limm∫(Pθm​(f)−f)​(θ+d​dc​Pθm​(f))n=0\int\left(P_{\theta}(f)-f\right)\left(\theta+dd^{c}\ P_{\theta}(f)\right)^{n}=\lim_{m}\int\left(P_{\theta_{m}}(f)-f\right)\left(\theta+dd^{c}\ P_{\theta_{m}}(f)\right)^{n}=0

which concludes the proof.

To prove the claim, pick any model function g∈𝒟⁡(X)g\in\mathcal{D}(X), and fix ε>0\varepsilon>0. By Corollary 2.12, we can find a θ\theta-psh model function φ\varphi such that sup|φ−Pθ​(f)|≤ε\sup|\varphi-P_{\theta}(f)|\leq\varepsilon. We then have

Im:=|∫g​(θm+d​dc​Pθm​(f))n−∫g​(θ+d​dc​Pθ​(f))n|≤|∫g​(θm+d​dc​Pθm​(f))n−∫g​(θm+d​dc​φ)n|+|∫g​(θm+d​dc​φ)n−∫g​(θ+d​dc​φ)n|+|∫g​(θ+d​dc​φ)n−∫g​(θ+d​dc​Pθ​(f))n|I_{m}:=\left|\int g\,(\theta_{m}+dd^{c}P_{\theta_{m}}(f))^{n}-\int g\,(\theta+dd^{c}P_{\theta}(f))^{n}\right|\leq\\ \left|\int g\,(\theta_{m}+dd^{c}P_{\theta_{m}}(f))^{n}-\int g\,(\theta_{m}+dd^{c}\varphi)^{n}\right|+\left|\int g\,(\theta_{m}+dd^{c}\varphi)^{n}-\int g\,(\theta+dd^{c}\varphi)^{n}\right|+\\ \left|\int g\,(\theta+dd^{c}\varphi)^{n}-\int g\,(\theta+dd^{c}P_{\theta}(f))^{n}\right|

Using integration by parts, the last term can be bounded as follows.

|∫g​(θ+d​dc​φ)n−∫g​(θ+d​dc​Pθ​(f))n|=|∫(φ−Pθ​(f))​d​dc​g∧∑i=0n−1(θ+d​dc​φ)i∧(θ+d​dc​Pθ​(f))n−i−1|≤C​ε\left|\int g\,(\theta+dd^{c}\varphi)^{n}-\int g\,(\theta+dd^{c}P_{\theta}(f))^{n}\right|=\\ \left|\int(\varphi-P_{\theta}(f))\,dd^{c}g\wedge\sum_{i=0}^{n-1}(\theta+dd^{c}\varphi)^{i}\wedge(\theta+dd^{c}P_{\theta}(f))^{n-i-1}\right|\leq C\varepsilon

where ω\omega is a fixed form such that (ω+d​dc​g)(\omega+dd^{c}g) is semipositive, and C=2​{ω}​{θ}n−1C=2\{\omega\}\,\{\theta\}^{n-1}. In a similar way, the first term is bounded from above by

|∫g​(θm+d​dc​Pθm​(f))n−∫g​(θm+d​dc​φ)n|≤C​sup|Pθm​(f)−φ|≤2​C​ε,\left|\int g\,(\theta_{m}+dd^{c}P_{\theta_{m}}(f))^{n}-\int g\,(\theta_{m}+dd^{c}\varphi)^{n}\right|\leq C\,\sup|P_{\theta_{m}}(f)-\varphi|\leq 2C\varepsilon~,

for mm large enough. Finally gg and φ\varphi being model functions, the second term tends to zero as m→∞m\to\infty, and we get lim supmIm≤3​C​ε\limsup_{m}I_{m}\leq 3C\varepsilon. We conclude by letting ε→0\varepsilon\to 0. ∎

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