ScalingStacks

Proof. [034H]

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.

By the change of variables formula one gets

V​o​lω​(fj​K)=∫fj​Kωn≥1dtj​∫K(fj)∗​ωn=1dtj​∫K|JF​S​(fj)|2​ωn,Vol_{\omega}(f^{j}K)=\int_{f^{j}K}\omega^{n}\geq\frac{1}{d_{t}^{j}}\int_{K}(f^{j})^{*}\omega^{n}=\frac{1}{d_{t}^{j}}\int_{K}|J_{FS}(f^{j})|^{2}\omega^{n},

where dt=λnd_{t}=\lambda^{n} denotes the topological degree of ff and JF​S​(f)J_{FS}(f) stands for the jacobian of ff with respect to the Fubini-Study volume form. Observe that log⁡|JF​S​(f)|=u−v\log|J_{FS}(f)|=u-v is a difference of two qpsh functions u,v∈P​S​H​(X,A​ω)u,v\in PSH(X,A\omega) for some A=A⁡(λ,n)A=A(\lambda,n). Moreover by the chain rule,

1λj​log⁡|JF​S​(fj)|=∑l=0j−11λj​log⁡|JF​S​(f)∘fl|.\frac{1}{\lambda^{j}}\log|J_{FS}(f^{j})|=\sum_{l=0}^{j-1}\frac{1}{\lambda^{j}}\log|J_{FS}(f)\circ f^{l}|.

Since λ−l​log⁡|JF​S​(f)∘fl|\lambda^{-l}\log|J_{FS}(f)\circ f^{l}| is relatively compact in L1​(ℂ​ℙn)L^{1}(\mathbb{C}\mathbb{P}^{n}) (previous corollary), the concavity of the log yields

1V​o​lω​(K)​∫K|JF​S​(fj)|2​ωn≥exp⁡(2​λjV​o​lω​(K)​∫K1λj​log⁡|JF​S​(fj)|​ωn)≥γλj.\frac{1}{Vol_{\omega}(K)}\int_{K}|J_{FS}(f^{j})|^{2}\omega^{n}\geq\exp\left(\frac{2\lambda^{j}}{Vol_{\omega}(K)}\int_{K}\frac{1}{\lambda^{j}}\log|J_{FS}(f^{j})|\omega^{n}\right)\geq\gamma^{\lambda^{j}}.

Decreasing slightly the value of γ\gamma if necessary, this yields the desired inequality. ∎

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