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 is a Calabi–Yau -fold and a compact, immersed, graded Lagrangian in with unobstructed, then graded Lagrangian MCF with surgeries with should exist for all time. But if has obstructed, the author expects that Lagrangian MCF can develop finite time singularities at such that one cannot continue the flow for , even after a surgery.
In dimension , we met an example of this in Example 3.24: if is the ‘ sign’ Lagrangian in from Figure 3.4 with , then Lagrangian MCF starting from 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 -obstructed Lagrangian MCF. I expect they should be impossible in -unobstructed flow, and so the obstructions should be present locally as the singularity forms. As in §2.5–§2.6, obstructions to for a Lagrangian or brane are caused by ‘bad’ -holomorphic discs in with boundary in , of two kinds:
- (i)
For embedded, moduli spaces of -holomorphic discs with area and one boundary marked point, whose virtual classes are nonzero in . (This is oversimplified.)
- (ii)
For immersed, of type (i), and also ‘teardrop-shaped’ -holomorphic discs of the form shown in Figure 2.3, with one corner at , and with , where are the local sheets of intersecting at .
Thus an obvious guess is that the singularities we are interested in occur when such a ‘bad’ shrinks to a point, and . As is graded, of type (i) have constant area under Lagrangian MCF, so they are not relevant. For of type (ii), as for (3.7) under Lagrangian MCF we have
so will decrease under Lagrangian MCF if .
Therefore we propose:
Principle 3.29.
In contrast to §3.2, Lagrangian MCF of compact, immersed, graded Lagrangians or branes with obstructed in a Calabi–Yau -fold may develop finite time singularities at such that one cannot continue the flow for in graded LMCF, even after a surgery.
A typical way in which this occurs is that for there exists a ‘teardrop’ -holomorphic curve with boundary in of the form shown in Figure 2.3, and as where causes to have obstructed if is small enough.
In dimension this should be possible for with arbitrarily small phase variation.
Note that this is exactly what happens in Example 3.24 in dimension .
Remark 3.30.
We are restricting to graded Lagrangians, so as above, discs 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 is -graded rather than -graded. In this case, curves of type (i) can cause singularities. For non-graded , the area of curves of type (i) change under Lagrangian MCF by
| (3.11) |
where is the Maslov class from §2.1, and . As the r.h.s. of (3.11) is independent of , if then unless other singularities happen first, the area of shrinks to zero at time . So in the non-graded analogue of Principle 3.29, we should also include shrinking of type (i) discs . Groh, Schwarz, Smoczyk and Zehmisch [22] used this idea to study singularities of Lagrangian MCF for monotone Lagrangians in .
Example 3.31.
Wolfson [72] constructed an example of a Calabi–Yau 2-fold (a surface) with the following properties:
- (i)
There exists with , such that every compact, immersed Lagrangian in has .
- (ii)
There exists an immersed Lagrangian two-sphere in with .
- (iii)
There does not exist a compact, immersed SL 2-fold in with homology class (even if one allows branch point singularities in ).
Here (iii) is proved as follows: must be connected, as we cannot split for homology classes represented by SL 2-folds. Suppose has genus , and for simplicity has transverse self-intersection points. An easy calculation shows that . But and .
So we can ask: what happens to Lagrangian MCF in with ? I expect that has obstructed, and that a finite time singularity develops at after which one cannot continue the (graded) flow, as in Principle 3.29. As evidence for this, note that if Lagrangian MCF with surgeries existed for all time, one would expect to be an SL 2-fold in homology class , 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 in a Calabi–Yau 2-fold in a fixed homology class and taking a limit, one can construct a singular Lagrangian with minimal volume in homology class , such that 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 in for These are Hamiltonian stationary, but not Maslov zero, or graded.
If there are only singular points of type (a), then is special Lagrangian. Wolfson deduces [72, Th. 3.3] that in his example, the minimizer must have singular points of type (b). But then is not graded, so it is not a possible limit 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 in given in equation (2.10), asymptotic to the union of two Lagrangian planes intersecting in . We have sketched in Figure 3.9 (not easy to draw in only two dimensions).
We indicate the intersection of with the -axis, the curve
which bounds a noncompact -holomorphic curve in the -axis as shown.
We will try and describe a type II singularity of Lagrangian MCF with a singularity at modelled on these LMCF translators , using Principle 3.9(b). Identifying with near , each should to ‘first order’ approximate an LMCF translator from Example 2.16, and as these LMCF translators should slowly shrink homothetically, as well as translate. What interests us is the ‘second order’ changes to which cause this shrinking.
Far to the right in Figure 3.9, the LMCF translator approximates two non-intersecting affine Lagrangian planes in from (2.11), just as far to the right in Figure 2.1, the ‘grim reaper’ approximates two non-intersecting parallel lines in . I suggest that to ‘second order’ in , the two planes should be bent towards each other by a small angle, introducing a new immersed self-intersection point, and so that the noncompact -holomorphic curve becomes a compact ‘teardrop’ as in Figure 2.3, which makes obstructed. This modification of is sketched in Figure 3.10.
I expect that this ‘bending’ of towards one another is both the ‘outside influence’ in Principle 3.9(b) which makes shrink and causes the finite time singularity, and also the cause of the self-intersection point, the ‘teardrop’ curve , and the obstructions to .
Conjecture 3.33.
In dimension Example 3.32 describes a possible finite time singularity of graded, immersed Lagrangian MCF with 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 develops such a singularity, then so does Lagrangian MCF starting from any sufficiently small Hamiltonian perturbation of .
All this is possible for Lagrangians with arbitrarily small phase variation.