Special Lagrangian smoothings, Calabi ansatz and stability conditions

TL;DR

This paper constructs examples of special Lagrangian submanifolds with specific intersection properties, analyzes their smoothings via complex structure variations, and relates stability conditions to geometric flows and algebraic categories.

Contribution

It provides new examples of non-compact special Lagrangians satisfying Joyce's smoothing criterion and links stability conditions to geometric flows and Fukaya categories.

Findings

Existence of infinitely many non-compact sLags satisfying Joyce's criterion.

Equivalence of smoothing conditions to stability in Fukaya-Seidel category in dimension two.

Limit of Calabi-symmetric mean curvature flow matches Harder-Narasimhan decomposition in examples.

Abstract

As part of his work on special Lagrangian (sLag) submanifolds with isolated conical singularities, Joyce proved a criterion for the existence of sLag smoothings, along a small variation of complex structure, for the union of two connected, compact, embedded sLags, with the same phase, intersecting transversely. Here we construct infinitely many examples of pairs of non-compact, embedded sLags, of the same phase and with arbitrary dimension, intersecting only at infinity in a non-transverse way, which satisfy Joyce's criterion: along a small variation of complex structure, a sLag smoothing of their union exists on the stable locus where a slope inequality for periods of the holomorphic volume form holds. At least under a natural symmetry assumption, this slope inequality is also necessary for the existence of such smoothing. Our approach uses the Leung-Yau-Zaslow transform and the analysis of deformed Hermitian Yang-Mills connections with Calabi ansatz, due to Jacob and Sheu. In the unstable case, we prove that if a family of Lagrangian smoothings evolving under the natural Calabi-symmetric version of the mean curvature flow (due to Chan and Jacob) admits a limit, then this must be the union of the original sLags. As an application we show that in our examples, in dimension two, the condition for the existence of the sLag smoothing is in fact equivalent to the stability of the corresponding object in the Fukaya-Seidel category, with respect to a known Bridgeland stability condition imported from algebraic geometry, and in the unstable case the limit of the Calabi-symmetric mean curvature flow in our result coincides with the Harder-Narasimhan decomposition, consistently with a general conjecture of Joyce. A similar (although weaker) result also holds in dimension three.