ScalingStacks

Proposition 4.9 . [031G]

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

Assume the same setting as in the Introduction, except that MM need not be projective and MyM_{y} need not be a torus. If we have that

(4.22) ω~t→f∗​ω\tilde{\omega}_{t}\to f^{*}\omega

in Cl​o​c∞​(M\S,ωM)C^{\infty}_{loc}(M\backslash S,\omega_{M}), where ω\omega is as before, then on each fiber MyM_{y} with y∈N\f⁡(S)y\in N\backslash f(S) we have

(4.23) ω~t|Myt→ωS​F,y,\frac{\tilde{\omega}_{t}|_{M_{y}}}{t}\to\omega_{SF,y},

where ωS​F,y\omega_{SF,y} is the unique Ricci–flat metric on MyM_{y} cohomologous to ωM|My\omega_{M}|_{M_{y}} and the convergence is smooth and uniform as yy varies on a compact subset of N\f⁡(S)N\backslash f(S).

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