ScalingStacks

Example 3.24 . [03PH]

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

Example 3.24.

Let LL be a graded, immersed Lagrangian in ℂ{\mathbin{\mathbb{C}}} shaped like an ∞\infty sign, not necessarily symmetric, bounding two ‘teardrop’ JJ-holomorphic curves Σ1,Σ2\Sigma_{1},\Sigma_{2}, as shown in Figure 3.4, and let E→LE\rightarrow L be a rank one 𝔽{\mathbin{\mathbb{F}}}-local system, which is classified by its holonomy Hol(∇E)[L]∈𝔽∗\mathop{\rm Hol}\nolimits(\nabla_{E})[L]\in{\mathbin{\mathbb{F}}}^{*} around LL.

Then (L,E)(L,E) has H​F∗HF^{*} obstructed if area(Σ1)≠area(Σ2)\mathop{\rm area}(\Sigma_{1})\neq\mathop{\rm area}(\Sigma_{2}). If area(Σ1)=area(Σ2)\mathop{\rm area}(\Sigma_{1})=\mathop{\rm area}(\Sigma_{2}), there is a unique choice of Hol(∇E)​[L]=±1\mathop{\rm Hol}\nolimits(\nabla_{E})[L]=\pm 1 which makes the obstructions to H​F∗HF^{*} due to Σ1,Σ2\Sigma_{1},\Sigma_{2} cancel, and then (L,E)(L,E) has H​F∗HF^{*} unobstructed.

∙\textstyle{\bullet}Σ1\textstyle{\Sigma_{1}}Σ2\textstyle{\Sigma_{2}}L\textstyle{L}

Figure 3.4: ‘∞\infty sign’ Lagrangian LL in ℂ{\mathbin{\mathbb{C}}}

Consider the immersed Lagrangian MCF (‘curve shortening flow’) {Lt:t∈[0,T)}\{L^{t}:t\in[0,T)\} in ℂ{\mathbin{\mathbb{C}}} starting from L0=LL^{0}=L with first finite time singularity at t=Tt=T. The curve shortening flow is well understood, as in Abresch and Langer [1], Angenent [4, 5], Grayson [21], and others, and we can give a good description of the flow. The difference area(Σ1t)−area(Σ2t)\mathop{\rm area}(\Sigma_{1}^{t})-\mathop{\rm area}(\Sigma_{2}^{t}) is constant during the flow, and both area(Σ1t),area(Σ2t)\mathop{\rm area}(\Sigma_{1}^{t}),\mathop{\rm area}(\Sigma_{2}^{t}) decrease until the smaller becomes zero at t=Tt=T.

∙\textstyle{\bullet}L0\textstyle{L^{0}}→\textstyle{\rightarrow}∙\textstyle{\bullet}Lt,t<T\textstyle{L^{t},\;t<T}↓\textstyle{\downarrow} possible LtL^{t}, t>Tt>T (non-graded)Type II blow up in these regions gives the ‘grim reaper’←\textstyle{\leftarrow}∙\textstyle{\bullet}LT\textstyle{L^{T}}finite timesingularity

Figure 3.5: Lagrangian MCF when area(Σ1t)>area(Σ2t)\mathop{\rm area}(\Sigma_{1}^{t})>\mathop{\rm area}(\Sigma_{2}^{t})

In the case area(Σ1t)>area(Σ2t)\mathop{\rm area}(\Sigma_{1}^{t})>\mathop{\rm area}(\Sigma_{2}^{t}), the flow is sketched in Figure 3.5. The loop bounding Σ2\Sigma_{2} shrinks to a point at t=Tt=T, and the curve develops a cusp singularity. A type II blow up of this singularity sees only the small, highly curved regions indicated, and yields the ‘grim reaper’ translating soliton from Figure 2.1. Note that in this case, the type II blow up only gives a rather incomplete picture of what is happening.

Following Angenent [5], one can continue the flow for t>Tt>T after a surgery at t=Tt=T eliminating the self-intersection point, as in the last picture of Figure 3.5, but then the LtL^{t} for t>Tt>T are non-graded. From the point of view of this paper, this is the wrong thing to do, and only works as dimension m=1m=1 is so simple. A better answer is that after the singularity at t=T,t=T, one cannot continue the flow in graded Lagrangian MCF for t>Tt>T. This does not contradict the programme of §3.2, as the initial Lagrangian LL in Figure 3.4 has H​F∗HF^{*} obstructed in this case. We will discuss this phenomenon further in §3.8.

∙\textstyle{\bullet}L0\textstyle{L^{0}}→\textstyle{\rightarrow}∙\textstyle{\bullet}Lt1,<t1<t2<T\textstyle{L^{t_{1}},\;0\!<\!t_{1}\!<\!t_{2}\!<\!T}↓\textstyle{\downarrow} ∙\textstyle{\bullet}←\textstyle{\leftarrow}∙\textstyle{\bullet}Lt2,<t1<t2<T\textstyle{L^{t_{2}},\;0\!<\!t_{1}\!<\!t_{2}\!<\!T}LT\textstyle{L^{T}}finite timesingularity Type II blow up in these regions gives the ‘grim reaper’

Figure 3.6: Lagrangian MCF when area(Σ1t)=area(Σ2t)\mathop{\rm area}(\Sigma_{1}^{t})=\mathop{\rm area}(\Sigma_{2}^{t})

In the case area(Σ1t)=area(Σ2t)\mathop{\rm area}(\Sigma_{1}^{t})=\mathop{\rm area}(\Sigma_{2}^{t}), the flow is sketched in Figure 3.6. The whole ∞\infty sign shrinks to a point at t=Tt=T. It is not a type I singularity modelled on a Lagrangian MCF shrinker, since this cannot happen in graded Lagrangian MCF as in §2.3. The curve does not rescale homothetically, but as in Figure 3.6 the curve shrinks faster in the vertical than in the horizontal directions. Type II blow ups at either end of the ∞\infty sign yield a ‘grim reaper’ translating soliton, as in Figure 2.1, as indicated. So, in this case of an immersed curve in ℂ{\mathbin{\mathbb{C}}} with H​F∗HF^{*} unobstructed, the whole curve collapses to a point in finite time under Lagrangian MCF.

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