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