ScalingStacks

Example 3.31 . [03PQ]

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

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