ScalingStacks

Verified tagged author-source HTML · 0905.4718v1 · cited publication edition alignment unverified.

00VX

Lemma 3.1. There is a uniform constant CC so that for all 0<t≤10<t\leq 1 we have

(3.1) trω~t​ω0≤C.\textrm{tr}_{\tilde{\omega}_{t}}\omega_{0}\leq C.
00VY

Proof. Recall that we are assuming that ω0=f∗​ωZ\omega_{0}=f^{*}\omega_{Z} where f:X→Zf:X\to Z is a holomorphic map. We can then use the Chern-Lu formula that appears in Yau’s Schwarz lemma computation [Y2, To1] and get

Δω~t​log⁡trω~t​ω0≥−A​trω~t​ω0,\Delta_{\tilde{\omega}_{t}}\log\textrm{tr}_{\tilde{\omega}_{t}}\omega_{0}\geq-A\textrm{tr}_{\tilde{\omega}_{t}}\omega_{0},

for a uniform constant AA. Noticing that

Δω~t​φt=n−trω~t​ωt≤n−trω~t​ω0,\Delta_{\tilde{\omega}_{t}}\varphi_{t}=n-\textrm{tr}_{\tilde{\omega}_{t}}\omega_{t}\leq n-\textrm{tr}_{\tilde{\omega}_{t}}\omega_{0},

we see that

(3.2) Δω~t​(log⁡trω~t​ω0−(A+1)​φt)≥trω~t​ω0−n⁡(A+1).\Delta_{\tilde{\omega}_{t}}(\log\textrm{tr}_{\tilde{\omega}_{t}}\omega_{0}-(A+1)\varphi_{t})\geq\textrm{tr}_{\tilde{\omega}_{t}}\omega_{0}-n(A+1).

Then the maximum principle applied to (3.2), together with the estimate (2.8), gives (3.1). ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.