ScalingStacks

Theorem 2.12 . [03N5]

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

Theorem 2.12.

Let (M,J,g,Ω)(M,J,g,\Omega) be a compact Calabi–Yau mm-fold and {Lt:t∈[0,T)}\{L^{t}:t\in[0,T)\} a family of compact, immersed, graded Lagrangians in MM satisfying Lagrangian MCF, with a finite time singularity at t=Tt=T. Then at some singular point x∈Mx\in M of the flow there exists a type II blow up.

That is, identifying MM near xx with TxM≅ℂmT_{x}M\cong{\mathbin{\mathbb{C}}}^{m} near 0,0, there exist sequences (ti)i=1∞(t_{i})_{i=1}^{\infty} in [0,T),[0,T), (xi)i=1∞(x_{i})_{i=1}^{\infty} in MM and (λi)i=1∞(\lambda_{i})_{i=1}^{\infty} in (0,∞),(0,\infty), such that ti→T,t_{i}\rightarrow T, xi→x,x_{i}\rightarrow x, λi→∞\lambda_{i}\rightarrow\infty and λi2​(T−ti)→0\lambda_{i}^{2}(T-t_{i})\rightarrow 0 as i→∞,i\rightarrow\infty, and for each s∈ℝs\in{\mathbin{\mathbb{R}}} the limit

L~s=limi→∞λi⋅(Lti+λi−2​s−xi)\tilde{L}^{s}=\lim_{i\rightarrow\infty}\lambda_{i}\cdot(L^{t_{i}+\lambda_{i}^{-2}s}-x_{i})

exists as a nonempty, noncompact, smooth, closed, immersed, exact, graded Lagrangian in ℂm{\mathbin{\mathbb{C}}}^{m} whose mean curvature A~s\tilde{A}^{s} is nonzero (so that L~s\tilde{L}^{s} is not a union of Lagrangian planes in ℂm{\mathbin{\mathbb{C}}}^{m}). All derivatives of A~s,\tilde{A}^{s}, and the phase function θL~s,\theta_{\smash{\tilde{L}^{s}}}, are uniformly bounded independently of s∈ℝs\in{\mathbin{\mathbb{R}}}. Also L~s\tilde{L}^{s} depends smoothly on s∈ℝ,s\in{\mathbin{\mathbb{R}}}, and {L~s:s∈ℝ}\{\tilde{L}^{s}:s\in{\mathbin{\mathbb{R}}}\} satisfies Lagrangian MCF in ℂm{\mathbin{\mathbb{C}}}^{m}.

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