Compactness and genericity [04DH]
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
Compactness and genericity
The question about compactness largely reflects problems we already encountered in the LMCF approach. The essential issue is that without any further condition on the Kähler metric, special Lagrangians may be too singular, so that the McLean deformation theory for special Lagrangians may fail. The natural answer, closely related to the LMCF viewpoint, is that we should only work with generic Kähler structures, and 1-parameter families thereof. According to the philosophy advocated by Joyce [42], the importance of singularities are ranked according to their genericity. For special Lagrangians with first Betti number , the moduli space of deformations is -dimensional, so in a generic 1-parameter family of Kähler structures, one expects to encounter singularities with genericity index up to , and those singularities of index are the most important. 5656 56 Understanding the moduli space of special Lagrangians requires singularities up to index , but if we restrict to Lagrangian deformations with zero Lagrangian flux, then index may suffice in the optimistic view. Before one can seriously pursue the rest of this strategy, it is necessary to have a classification of index special Lagrangian singularities in complex dimension .
Question 9.
In complex dimension 3, classify all special Lagrangian singularities of index 0 and 1, namely all singularities that can occur in a generic 1-parameter family of special Lagrangians when is fixed and varies.
Example 4.8.
The Harvey Lawson -cone is a special Lagrangian cone inside with link , invariant under the diagonal . Explicitly,
Haskins [36, Thm 1] proved that up to unitary transformations, this is the only strictly stable5757 57 Strict stability here is a condition on the Laplacian spectrum of the link. Unfortunately, the word ‘stable’ is overloaded with many standard meanings in the literature. special Lagrangian cone with smooth embedded link diffeomorphic to .
The Harvey-Lawson cone admits three different 1-parameter deformations into smooth embedded special Lagrangians for . Here
and , arise via cyclic permutations of . Notably, there is a holomorphic disc of area with boundary on (and similarly for ),
In particular, for cannot be exact Lagrangians, but have nonzero Lagrangian flux. The limit corresponds to the holomorphic discs shrinking to zero area, or equivalently the Lagrangian flux tends to zero.
Now on a compact special Lagrangian inside an almost Calabi-Yau manifold, the Harvey-Lawson cone can arise as a local model for conical singularities. The gluing results of Joyce [44, section 10] shows that when certain homological conditions are satisfied, then there exist desingularisation families of special Lagrangians locally modelled on , such that the singular special Lagrangians carrying the -cone singularity arise in codimension one, so in this case the -cone is an index one singularity in Joyce’s sense.5858 58 Joyce’s gluing result is quite subtle. Under certain homological conditions, the smoothing can be forbidden, in which case the -cone is an index zero singularity. In other cases, due to some linear dependence of certain homology classes, two -cone singularity may not behave independently, but together behave like an index one singularity. See [44, section 10]. This gluing result is not sensitive to varying . On the other hand, if one restricts to deformations with Lagrangian flux zero, which can be regarded as the analogue of exact isotopies in the mildly singular case, then an isolated local -cone singularity cannot be desingularized, but instead keeps the singularity as it deforms.