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 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. is Thomas-Yau semistable.
Conversely, if is not a semistable object in Joyce’s sense, then from its Harder-Narasimhan decomposition we can produce a destabilizing distinguished triangle , with almost calibrated , which violates Thomas-Yau semistability. ∎