ScalingStacks

4.2. The Hausdorff convergence [03EI]

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

4.2. The Hausdorff convergence

There is a natural family of complex structures JsJ_{s} on the model torus fibration h:W→Σ\Dh\colon W\to\Sigma\backslash D. Namely, for a given ss we can take d​yi+−1log⁡|s|​d​θidy_{i}+\frac{\sqrt{-1}}{\log|s|}d\theta_{i} to be the holomorphic 1-forms on WW, where {yi}\{y_{i}\} are the affine coordinates on Σ\D\Sigma\backslash D and {θi}\{\theta_{i}\} are the corresponding coordinates on the torus fibers. Also, given a Riemannian metric ∑gi​j​d​yi⊗d​yj\sum g_{ij}dy_{i}\otimes dy_{j} on Σ\D\Sigma\backslash D, one can define the Kähler metric on WW by ωi​j=∑gi​j​(d​yi+−1log⁡|s|​d​θi)⊗(d​yj−−1log⁡|s|​d​θj)\omega_{ij}=\sum g_{ij}(dy_{i}+\frac{\sqrt{-1}}{\log|s|}d\theta_{i})\otimes(dy_{j}-\frac{\sqrt{-1}}{\log|s|}d\theta_{j}). If, in addition, gi​jg_{ij} satisfy the real Monge-Ampère equation: detgi​j≡1\det g_{ij}\equiv 1, then the induced metric on WW is Ricci-flat.

In the second part of the paper we will show that HssmH_{s}^{\mathrm{sm}} embeds into (W,Js)(W,J_{s}) “almost” holomorphically. Moreover, we will construct a family of 𝕋\mathbb{T}-invariant Kähler forms ωs\omega_{s} on XΔνX_{\Delta_{\nu}} in the class [ν]log⁡|s|\frac{[\nu]}{\log|s|}, such that the pairs (Hs,Hssing)(H_{s},H_{s}^{\mathrm{sing}}) with the induced metrics converge in the Gromov-Hausdorff sense to the pair (Σ,D)(\Sigma,D). Here Σ\Sigma will carry a compact metric space structure which will restrict to a Riemannian metric on Σ\D\Sigma\backslash D.

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