Proof. [04BY]
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) In Joyce’s conjectural program, the Harder-Narasimhan decomposition is constructed by running the LMCF starting from the unobstructed Lagrangian , and take the infinite time limit (6) to obtain the limiting special Lagrangians with angles , assuming have enough regularity to be admitted as objects of . It is expected that generate in via (4).
A basic feature of LMCF in Calabi-Yau manifolds is that the Lagrangian angle satisfies a heat equation (cf. section 4.1), so is nonincreasing in time (resp. is nondecreasing). Comparing the initial time with the infinite time limit, this suggests and .
Morever, if the ambient metric is Calabi-Yau, then LMCF is a special case of mean curvature flow, so the volume functional decreases in time. This monotonicity is not affected by the surgeries in Joyce’s LMCF. Thus
Under the Calabi-Yau metric, the volume of the Lagrangian agrees with the -volume:
so (36) follows. ∎