ScalingStacks

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 kk, the moduli space of deformations is kk-dimensional, so in a generic 1-parameter family of Kähler structures, one expects to encounter singularities with genericity index up to k+1k+1, and those singularities of index 0,10,1 are the most important. 5656 56 Understanding the moduli space of special Lagrangians requires singularities up to index k+1k+1, but if we restrict to Lagrangian deformations with zero Lagrangian flux, then index ≤1\leq 1 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 0,10,1 special Lagrangian singularities in complex dimension nn.

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 ω\omega is fixed and Ω\Omega varies.

Example 4.8.

The Harvey Lawson T2T^{2}-cone is a special Lagrangian cone inside ℂ3\mathbb{C}^{3} with link T2T^{2}, invariant under the diagonal T2⊂S​U​(3)T^{2}\subset SU(3). Explicitly,

LH​L={(z1,z2,z3)∈ℂ3:|z1|=|z2|=|z3|,Im(z1z2z3)=0,Re(z1z2z3)≥0}.L_{HL}=\{(z_{1},z_{2},z_{3})\in\mathbb{C}^{3}:|z_{1}|=|z_{2}|=|z_{3}|,\quad\text{Im}(z_{1}z_{2}z_{3})=0,\quad\text{Re}(z_{1}z_{2}z_{3})\geq 0\}.

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 T2T^{2}.

The Harvey-Lawson cone admits three different 1-parameter deformations into smooth embedded special Lagrangians Ls1,Ls2,Ls3L_{s}^{1},L_{s}^{2},L_{s}^{3} for s>0s>0. Here

Ls1={(z1,z2,z3)∈ℂ3:|z1|2−s=|z2|2=|z3|2,Im(z1z2z3)=0,Re(z1z2z3)≥0},L_{s}^{1}=\{(z_{1},z_{2},z_{3})\in\mathbb{C}^{3}:|z_{1}|^{2}-s=|z_{2}|^{2}=|z_{3}|^{2},\quad\text{Im}(z_{1}z_{2}z_{3})=0,\quad\text{Re}(z_{1}z_{2}z_{3})\geq 0\},

and Ls2L_{s}^{2}, Ls3L_{s}^{3} arise via cyclic permutations of z1,z2,z3z_{1},z_{2},z_{3}. Notably, there is a holomorphic disc Dt1D_{t}^{1} of area π​s\pi s with boundary on Ls1L_{s}^{1} (and similarly for Ls2,Ls3L_{s}^{2},L_{s}^{3}),

Dt1={(z1,0,0):|z1|2≤s}.D_{t}^{1}=\{(z_{1},0,0):|z_{1}|^{2}\leq s\}.

In particular, LsaL_{s}^{a} for a=1,2,3a=1,2,3 cannot be exact Lagrangians, but have nonzero Lagrangian flux. The s→0s\to 0 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 LsaL_{s}^{a}, such that the singular special Lagrangians carrying the T2T^{2}-cone singularity arise in codimension one, so in this case the T2T^{2}-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 T2T^{2}-cone is an index zero singularity. In other cases, due to some linear dependence of certain homology classes, two T2T^{2}-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 Ω\Omega. 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 T2T^{2}-cone singularity cannot be desingularized, but instead keeps the singularity as it deforms.

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