ScalingStacks

Proof. [04BS]

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) Consider the Harder-Narasimhan decomposition (4) of L1L_{1}:

0=ℰ0→ℰ1→…→ℰN=L1,0=\mathcal{E}_{0}\to\mathcal{E}_{1}\to\ldots\to\mathcal{E}_{N}=L_{1},

fitting into the distinguished triangles

ℰi−1→ℰi→Li′→ℰi−1​[1],\mathcal{E}_{i-1}\to\mathcal{E}_{i}\to L_{i}^{\prime}\to\mathcal{E}_{i-1}[1],

where Li′L_{i}^{\prime} represents an object in 𝒫⁡(ϕi)\mathcal{P}(\phi_{i}), with ϕ1>ϕ2​…>ϕN\phi_{1}>\phi_{2}\ldots>\phi_{N}. Since by assumption L1L_{1} is almost calibrated, we have L1∈𝒫⁡(−12<ϕ<12)L_{1}\in\mathcal{P}(-\frac{1}{2}<\phi<\frac{1}{2}), hence −12<ϕi<12-\frac{1}{2}<\phi_{i}<\frac{1}{2}. Since the central charges satisfy

Z⁡(L1)=∑1NZ⁡(Li′),arg⁡Z⁡(Li)=π​ϕi,Z(L_{1})=\sum_{1}^{N}Z(L_{i}^{\prime}),\quad\arg Z(L_{i})=\pi\phi_{i},

we must have θ^1≤π​ϕ1\hat{\theta}_{1}\leq\pi\phi_{1}. The conjectural description of the Bridgeland stability condition requires that Li′L_{i}^{\prime} has a special Lagrangian representative with constant Lagrangian phase π​ϕi\pi\phi_{i}. A weaker requirement which suffices for us is that there exists a representative Li′L_{i}^{\prime} with Lagrangian angle function θLi′\theta_{L_{i}^{\prime}} satisfying the oscillation bound |θLi′−π​ϕi|<ϵ|\theta_{L_{i}^{\prime}}-\pi\phi_{i}|<\epsilon for any given ϵ>0\epsilon>0. It is expected that this flexibility allows one to assume sufficient smoothness on the Lagrangian.

By combining the distinguished triangles, we obtain a new distinguished triangle

L1′→L→L′′→L1′​[1].L_{1}^{\prime}\to L\to L^{\prime\prime}\to L_{1}^{\prime}[1].

Here L1′,L,L′′L_{1}^{\prime},L,L^{\prime\prime} are all almost calibrated. Suppose for contradiction that supLθL<θ^1\sup_{L}\theta_{L}<\hat{\theta}_{1}. Then supLθL<π​ϕ1\sup_{L}\theta_{L}<\pi\phi_{1}, and we can arrange supLθL<infL1′θL1′\sup_{L}\theta_{L}<\inf_{L_{1}^{\prime}}\theta_{L_{1}^{\prime}}. The Floer degree formula (63) implies C​F0​(L1′,L)=0CF^{0}(L_{1}^{\prime},L)=0, and in particular H​F0​(L1′,L)=0HF^{0}(L_{1}^{\prime},L)=0. The distinguished triangle splits: L′′≃L⊕L1′​[1]L^{\prime\prime}\simeq L\oplus L_{1}^{\prime}[1]. Since L′′L^{\prime\prime} is almost calibrated, it lies in 𝒫⁡(−12<ϕ<12)\mathcal{P}(-\frac{1}{2}<\phi<\frac{1}{2}), and so must L1′​[1]L_{1}^{\prime}[1]. But L1′∈𝒫⁡(ϕ1)L_{1}^{\prime}\in\mathcal{P}(\phi_{1}) implies L1′​[1]∈𝒫⁡(ϕ1+1)L_{1}^{\prime}[1]\in\mathcal{P}(\phi_{1}+1). Since ϕ1+1>12\phi_{1}+1>\frac{1}{2}, we know 𝒫⁡(ϕ1+1)∩𝒫⁡(−12<ϕ<12)=∅\mathcal{P}(\phi_{1}+1)\cap\mathcal{P}(-\frac{1}{2}<\phi<\frac{1}{2})=\emptyset, contradiction. This proves supLθL≥θ^1\sup_{L}\theta_{L}\geq\hat{\theta}_{1}, subject to the conjectural existence of the Bridgeland stability condition.

A very similar argument, beginning with the Harder-Narasimhan decomposition of L2L_{2}, would show infLθL≤θ^2\inf_{L}\theta_{L}\leq\hat{\theta}_{2}. ∎

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