ScalingStacks

3.8 What goes wrong in LMCF of obstructed Lagrangians [03PM]

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

3.8 What goes wrong in LMCF of obstructed Lagrangians

The programme of §3.2 claims that if (M,J,g,Ω)(M,J,g,\Omega) is a Calabi–Yau mm-fold and LL a compact, immersed, graded Lagrangian in MM with H​F∗HF^{*} unobstructed, then graded Lagrangian MCF with surgeries {Lt:t∈[0,∞)}\{L^{t}:t\in[0,\infty)\} with L0=LL^{0}=L should exist for all time. But if LL has H​F∗HF^{*} obstructed, the author expects that Lagrangian MCF {Lt:t∈[0,T)}\{L^{t}:t\in[0,T)\} can develop finite time singularities at t=Tt=T such that one cannot continue the flow for t>Tt>T, even after a surgery.

In dimension m=1m=1, we met an example of this in Example 3.24: if LL is the ‘∞\infty sign’ Lagrangian in ℂ{\mathbin{\mathbb{C}}} from Figure 3.4 with area(Σ1)≠area(Σ2)\mathop{\rm area}(\Sigma_{1})\neq\mathop{\rm area}(\Sigma_{2}), then Lagrangian MCF starting from LL has a finite time singularity after which one cannot continue in graded Lagrangian MCF (though in this case one can continue in non-graded Lagrangian MCF after a surgery).

We now discuss the nature of these terminal singularities of H​F∗HF^{*}-obstructed Lagrangian MCF. I expect they should be impossible in H​F∗HF^{*}-unobstructed flow, and so the obstructions should be present locally as the singularity forms. As in §2.5–§2.6, obstructions to H​F∗HF^{*} for a Lagrangian LL or brane (L,E)(L,E) are caused by ‘bad’ JJ-holomorphic discs Σ\Sigma in MM with boundary in LL, of two kinds:

  • (i)

    For LL embedded, moduli spaces ℳ¯1A{\mathbin{\smash{\,\,\overline{\!\!\mathcal{M}\!}\,}}}_{1}^{A} of JJ-holomorphic discs Σ\Sigma with area A>0A>0 and one boundary marked point, whose virtual classes [[ℳ¯1A]]virt\bigl[\bigl[{\mathbin{\smash{\,\,\overline{\!\!\mathcal{M}\!}\,}}}_{1}^{A}\bigr]{}_{\rm virt}\bigr] are nonzero in Hm−2​(L,ℚ)H_{m-2}(L,{\mathbin{\mathbb{Q}}}). (This is oversimplified.)

  • (ii)

    For LL immersed, Σ\Sigma of type (i), and also ‘teardrop-shaped’ JJ-holomorphic discs Σ\Sigma of the form shown in Figure 2.3, with one corner at q∈Mq\in M, and with μL+,L−​(q)=2\mu_{L_{+},L_{-}}(q)=2, where L±L_{\pm} are the local sheets of LL intersecting at qq.

Thus an obvious guess is that the singularities we are interested in occur when such a ‘bad’ Σ\Sigma shrinks to a point, and area(Σ)→0\mathop{\rm area}(\Sigma)\rightarrow 0. As LL is graded, Σ\Sigma of type (i) have constant area under Lagrangian MCF, so they are not relevant. For Σ\Sigma of type (ii), as for (3.7) under Lagrangian MCF we have

dd​tarea(Σ)=−∫∂ΣdθL=θL−(q)−θL+(q),\frac{{\rm d}}{{\rm d}t}\mathop{\rm area}(\Sigma)=-\int_{\partial\Sigma}{\rm d}\theta_{L}=\theta_{L_{-}}(q)-\theta_{L_{+}}(q),

so area(Σ)\mathop{\rm area}(\Sigma) will decrease under Lagrangian MCF if θL+​(q)>θL−​(q)\theta_{L_{+}}(q)>\theta_{L_{-}}(q).

Therefore we propose:

Principle 3.29.

In contrast to §3.2, Lagrangian MCF {Lt:t∈[0,T)}\{L^{t}:t\in[0,T)\} of compact, immersed, graded Lagrangians LL or branes (L,E)(L,E) with H​F∗HF^{*} obstructed in a Calabi–Yau mm-fold may develop finite time singularities at t=T,t=T, such that one cannot continue the flow for t>Tt>T in graded LMCF, even after a surgery.

A typical way in which this occurs is that for t∈(T−ϵ,T),t\in(T-\epsilon,T), there exists a ‘teardrop’ JJ-holomorphic curve Σt\Sigma^{t} with boundary in LtL^{t} of the form shown in Figure 2.3, and area(Σt)→0\mathop{\rm area}(\Sigma^{t})\rightarrow 0 as t→T,t\rightarrow T, where Σt\Sigma^{t} causes LtL^{t} to have H​F∗HF^{*} obstructed if area(Σt)\mathop{\rm area}(\Sigma^{t}) is small enough.

In dimension m⩾2,m\geqslant 2, this should be possible for L0L^{0} with arbitrarily small phase variation.

Note that this is exactly what happens in Example 3.24 in dimension m=1m=1.

Remark 3.30.

We are restricting to graded Lagrangians, so as above, discs Σ\Sigma of type (i) have constant area under the flow, and cannot cause singularities.

We could generalize the programme of §3.2 to oriented Lagrangians rather than graded Lagrangians, so that H​F∗​((L,E,b),(L′,E′,b′))HF^{*}\bigl((L,E,b),(L^{\prime},E^{\prime},b^{\prime})\bigr) is ℤ2{\mathbin{\mathbb{Z}}}_{2}-graded rather than ℤ{\mathbin{\mathbb{Z}}}-graded. In this case, curves of type (i) can cause singularities. For non-graded LL, the area of curves Σ\Sigma of type (i) change under Lagrangian MCF by

dd​tarea(Σt)=−μL⋅[∂Σt],\frac{{\rm d}}{{\rm d}t}\mathop{\rm area}(\Sigma^{t})=-\mu_{L}\cdot[\partial\Sigma^{t}], (3.11)

where μL∈H1​(L,ℝ)\mu_{L}\in H^{1}(L,{\mathbin{\mathbb{R}}}) is the Maslov class from §2.1, and [∂Σt]∈H1​(L,ℝ)[\partial\Sigma^{t}]\in H_{1}(L,{\mathbin{\mathbb{R}}}). As the r.h.s. of (3.11) is independent of tt, if μL⋅[∂Σ0]>0\mu_{L}\cdot[\partial\Sigma^{0}]>0 then unless other singularities happen first, the area of Σt\Sigma^{t} shrinks to zero at time T=area(Σ0)/(μL⋅[∂Σ0])T=\mathop{\rm area}(\Sigma^{0})/(\mu_{L}\cdot[\partial\Sigma^{0}]). So in the non-graded analogue of Principle 3.29, we should also include shrinking of type (i) discs Σ\Sigma. Groh, Schwarz, Smoczyk and Zehmisch [22] used this idea to study singularities of Lagrangian MCF for monotone Lagrangians in ℂm{\mathbin{\mathbb{C}}}^{m}.

Example 3.31.

Wolfson [72] constructed an example of a Calabi–Yau 2-fold (M,J,g,Ω)(M,J,g,\Omega) (a K​3K3 surface) with the following properties:

  • (i)

    There exists α∈H2​(M,ℤ)\alpha\in H_{2}(M,{\mathbin{\mathbb{Z}}}) with α⋅α=−4\alpha\cdot\alpha=-4, such that every compact, immersed Lagrangian LL in MM has [L]∈ℤ⋅α⊂H2(M,ℤ)[L]\in{\mathbin{\mathbb{Z}}}\cdot\alpha\subset H_{2}(M,{\mathbin{\mathbb{Z}}}).

  • (ii)

    There exists an immersed Lagrangian two-sphere LL in MM with [L]=α[L]=\alpha.

  • (iii)

    There does not exist a compact, immersed SL 2-fold L′L^{\prime} in MM with homology class α\alpha (even if one allows branch point singularities in L′L^{\prime}).

Here (iii) is proved as follows: L′L^{\prime} must be connected, as we cannot split α=β+γ\alpha=\beta+\gamma for β≠0≠γ\beta\neq 0\neq\gamma homology classes represented by SL 2-folds. Suppose L′L^{\prime} has genus gg, and for simplicity has kk transverse self-intersection points. An easy calculation shows that [L′]⋅[L′]=2​g+2​k−2⩾−2[L^{\prime}]\cdot[L^{\prime}]=2g+2k-2\geqslant-2. But [L′]=α[L^{\prime}]=\alpha and α⋅α=−4\alpha\cdot\alpha=-4.

So we can ask: what happens to Lagrangian MCF {Lt:t∈[0,T)}\{L^{t}:t\in[0,T)\} in MM with L0=LL^{0}=L? I expect that LL has H​F∗HF^{*} obstructed, and that a finite time singularity develops at t=Tt=T after which one cannot continue the (graded) flow, as in Principle 3.29. As evidence for this, note that if Lagrangian MCF with surgeries {Lt:t∈[0,∞)}\{L^{t}:t\in[0,\infty)\} existed for all time, one would expect L′=limt→∞LtL^{\prime}=\lim_{t\rightarrow\infty}L^{t} to be an SL 2-fold in homology class α\alpha, which is excluded by (iii).

Wolfson uses his example to prove something different. Schoen and Wolfson [61] show that by minimizing volume amongst (not necessarily graded) compact, immersed, oriented Lagrangians LL in a Calabi–Yau 2-fold in a fixed homology class α\alpha and taking a limit, one can construct a singular Lagrangian L′L^{\prime} with minimal volume in homology class α\alpha, such that L′L^{\prime} is Hamiltonian stationary and has finitely many singular points of two kinds:

  • (a)

    Branch points, like those of Riemann surfaces, and

  • (b)

    Singularities modelled on certain Lagrangian cones Cp,p+1C_{p,p+1} in ℂ2{\mathbin{\mathbb{C}}}^{2} for p⩾1.p\geqslant 1. These Cp,p+1C_{p,p+1} are Hamiltonian stationary, but not Maslov zero, or graded.

If there are only singular points of type (a), then L′L^{\prime} is special Lagrangian. Wolfson deduces [72, Th. 3.3] that in his example, the minimizer L′L^{\prime} must have singular points of type (b). But then L′L^{\prime} is not graded, so it is not a possible limit limt→∞Lt\lim_{t\rightarrow\infty}L^{t} for graded Lagrangian MCF.

The next example gives a heuristic description of how the author expects the finite time singularities in Principle 3.29 may form geometrically.

Example 3.32.

Example 2.16 described a family of Lagrangian MCF translators LL in ℂm{\mathbin{\mathbb{C}}}^{m} given in equation (2.10), asymptotic to the union of two Lagrangian planes Π0,Πϕ≅ℝm\Pi_{0},\Pi_{\boldsymbol{\phi}}\cong{\mathbin{\mathbb{R}}}^{m} intersecting in ℝ{\mathbin{\mathbb{R}}}. We have sketched LL in Figure 3.9 (not easy to draw in only two dimensions).

⟶\textstyle{\longrightarrow}direction oftranslationintersection of LL with zmz_{m}-axisJJ-holomorphic curve Σ\SigmaΠ~0\textstyle{\tilde{\Pi}_{0}}Π~ϕ\textstyle{\tilde{\Pi}_{\boldsymbol{\phi}}}L\textstyle{L}

Figure 3.9: Joyce–Lee–Tsui Lagrangian MCF translator from Example 2.16

We indicate the intersection of LL with the zmz_{m}-axis, the curve

L∩\displaystyle L\,\cap\, {(0,…,0,zm):zm∈ℂ}={(0,…,0,\displaystyle\bigl\{(0,\ldots,0,z_{m}):z_{m}\in{\mathbin{\mathbb{C}}}\bigr\}=\bigl\{\bigl(0,\ldots,0,
12y2−iα∑j=1m−1ψj(y)−iαarg(y+iP(y)−1/2)):y∈ℝ},\displaystyle{\textstyle\frac{1}{2}}y^{2}-\textstyle\frac{i}{\alpha}\sum_{j=1}^{m-1}\psi_{j}(y)-\textstyle\frac{i}{\alpha}\arg(y+iP(y)^{-1/2})\bigr):y\in{\mathbin{\mathbb{R}}}\bigr\},

which bounds a noncompact JJ-holomorphic curve Σ\Sigma in the zmz_{m}-axis as shown.

We will try and describe a type II singularity of Lagrangian MCF {Lt:t∈[0,T)}\{L^{t}:t\in[0,T)\} with a singularity at x∈Mx\in M modelled on these LMCF translators LL, using Principle 3.9(b). Identifying MM with TxM≅ℂmT_{x}M\cong{\mathbin{\mathbb{C}}}^{m} near x∈Mx\in M, each LtL^{t} should to ‘first order’ approximate an LMCF translator LL from Example 2.16, and as t→Tt\rightarrow T these LMCF translators should slowly shrink homothetically, as well as translate. What interests us is the ‘second order’ changes to LL which cause this shrinking.

Far to the right in Figure 3.9, the LMCF translator LL approximates two non-intersecting affine Lagrangian planes Π~0,Π~ϕ\tilde{\Pi}_{0},\tilde{\Pi}_{\boldsymbol{\phi}} in ℂm{\mathbin{\mathbb{C}}}^{m} from (2.11), just as far to the right in Figure 2.1, the ‘grim reaper’ approximates two non-intersecting parallel lines in ℂ{\mathbin{\mathbb{C}}}. I suggest that to ‘second order’ in LtL^{t}, the two planes Π~0,Π~ϕ\tilde{\Pi}_{0},\tilde{\Pi}_{\boldsymbol{\phi}} should be bent towards each other by a small angle, introducing a new immersed self-intersection point, and so that the noncompact JJ-holomorphic curve Σ\Sigma becomes a compact ‘teardrop’ as in Figure 2.3, which makes H​F∗HF^{*} obstructed. This modification L~\tilde{L} of LL is sketched in Figure 3.10.

∙\textstyle{\bullet}⟶\textstyle{\longrightarrow}direction oftranslationintersection of L~\tilde{L} with zmz_{m}-axisJJ-holomorphic curve Σ\SigmaΠ~0\textstyle{\tilde{\Pi}_{0}}Π~ϕ\textstyle{\tilde{\Pi}_{\boldsymbol{\phi}}}L~\textstyle{\tilde{L}}

Figure 3.10: Modification L~\tilde{L} of Joyce–Lee–Tsui LMCF translator

I expect that this ‘bending’ of Π~0,Π~ϕ\tilde{\Pi}_{0},\tilde{\Pi}_{\boldsymbol{\phi}} towards one another is both the ‘outside influence’ in Principle 3.9(b) which makes LL shrink and causes the finite time singularity, and also the cause of the self-intersection point, the ‘teardrop’ curve Σ\Sigma, and the obstructions to H​F∗HF^{*}.

Conjecture 3.33.

In dimension m⩾2,m\geqslant 2, Example 3.32 describes a possible finite time singularity of graded, immersed Lagrangian MCF with H​F∗HF^{*} obstructed, after which one cannot continue the flow in graded Lagrangian MCF.

Such finite time singularities admit type II blow ups, as in Theorem 2.12, which are Lagrangian MCF translators from Example 2.16.

This is a generic singularity of Lagrangian MCF, that is, if Lagrangian MCF starting from L0L^{0} develops such a singularity, then so does Lagrangian MCF starting from any sufficiently small Hamiltonian perturbation L~0\tilde{L}^{0} of L0L^{0}.

All this is possible for Lagrangians with arbitrarily small phase variation.

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