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 :
|
|
|
fitting into the distinguished triangles
|
|
|
where represents an object in , with . Since by assumption is almost calibrated, we have , hence . Since the central charges satisfy
|
|
|
we must have . The conjectural description of the Bridgeland stability condition requires that has a special Lagrangian representative with constant Lagrangian phase . A weaker requirement which suffices for us is that there exists a representative with Lagrangian angle function satisfying the oscillation bound for any given . 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
|
|
|
Here are all almost calibrated. Suppose for contradiction that . Then , and we can arrange .
The Floer degree formula (63) implies , and in particular . The distinguished triangle splits: . Since is almost calibrated, it lies in , and so must . But implies . Since , we know , contradiction. This proves , subject to the conjectural existence of the Bridgeland stability condition.
A very similar argument, beginning with the Harder-Narasimhan decomposition of , would show .
∎