ScalingStacks

Proof. [04GN]

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) The existence of a special Lagrangian representative should imply Thomas-Yau semistability (cf. Conjecture 3.31). By the Thomas-Yau existence conjecture 5.21 this implies the Solomon functional has a minimizer L′L^{\prime}, which must be a special Lagrangian. Then the Thomas-Yau uniqueness conjecture 5.24 implies L=L′L=L^{\prime} as currents. ∎

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