ScalingStacks

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 (Lt)(L_{t}) starting from the unobstructed Lagrangian LL, and take the infinite time limit (6) to obtain the limiting special Lagrangians L1,…,LNL_{1},\ldots,L_{N} with angles θ^1>θ^2>…>θ^N\hat{\theta}_{1}>\hat{\theta}_{2}>\ldots>\hat{\theta}_{N}, assuming L1,…​LNL_{1},\ldots L_{N} have enough regularity to be admitted as objects of Db​F​u​k​(X)D^{b}Fuk(X). It is expected that L1,…​LNL_{1},\ldots L_{N} generate LL in Db​F​u​k​(X)D^{b}Fuk(X) 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 supLtθ\sup_{L_{t}}\theta is nonincreasing in time (resp. infLtθ\inf_{L_{t}}\theta is nondecreasing). Comparing the initial time with the infinite time limit, this suggests supθL≥θ^1\sup\theta_{L}\geq\hat{\theta}_{1} and infθL≤θ^N\inf\theta_{L}\leq\hat{\theta}_{N}.

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

Vol​(L)≥∑1NVol​(Li)=∑1N|Z⁡(Li)|=∑1N|∫LiΩ|.\text{Vol}(L)\geq\sum_{1}^{N}\text{Vol}(L_{i})=\sum_{1}^{N}|Z(L_{i})|=\sum_{1}^{N}|\int_{L_{i}}\Omega|.

Under the Calabi-Yau metric, the volume of the Lagrangian LL agrees with the JJ-volume:

Vol​(L)=∫Le−i​θ​Ω=∫L|Ω|.\text{Vol}(L)=\int_{L}e^{-i\theta}\Omega=\int_{L}|\Omega|.

so (36) follows. ∎

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