ScalingStacks

Proof. [04BW]

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

Proof.

(Heuristic) If the derived category class of LL is semistable in Joyce’s sense, then we can choose an optimal representative which is a special Lagrangian, or at least has phase oscillation arbitrarily small. By conjecture 3.31, we cannot have any destabilizing distinguished triangle, i.e. LL is Thomas-Yau semistable.

Conversely, if LL is not a semistable object in Joyce’s sense, then from its Harder-Narasimhan decomposition we can produce a destabilizing distinguished triangle L1→L→L2→L1​[1]L_{1}\to L\to L_{2}\to L_{1}[1], with almost calibrated L1,L2L_{1},L_{2}, which violates Thomas-Yau semistability. ∎

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