ScalingStacks

Conjecture 3.5 . [03NS]

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

Conjecture 3.5.

In Definition 3.4, 𝒜¯α{\mathbin{\smash{\,\overline{\!\mathcal{A}}}}}_{\alpha} is the heart of a bounded t-structure on Dbℱ(M),D^{b}{\mathbin{\mathscr{F}}}(M), and so 𝒜α,𝒜¯α{\mathbin{\cal A}}_{\alpha},{\mathbin{\smash{\,\overline{\!\mathcal{A}}}}}_{\alpha} are abelian categories, and (3.3) becomes a short exact sequence in 𝒜α{\mathbin{\cal A}}_{\alpha} or 𝒜¯α{\mathbin{\smash{\,\overline{\!\mathcal{A}}}}}_{\alpha}. Furthermore, the Bridgeland stability condition (Z,𝒫)(Z,{\mathbin{\cal P}}) on Dbℱ(M)D^{b}{\mathbin{\mathscr{F}}}(M) in Conjecture 3.2 may be described as follows: ZZ is defined by (3.1), and 𝒫(α)=∅,{\mathbin{\cal P}}(\alpha)=\emptyset, and for each β∈(α,α+1),\beta\in(\alpha,\alpha+1), 𝒫(β){\mathbin{\cal P}}(\beta) is the full subcategory of semistable objects (L,E,b)(L,E,b) in 𝒜¯α{\mathbin{\smash{\,\overline{\!\mathcal{A}}}}}_{\alpha} with ϕ⁡(L)=π​β\phi(L)=\pi\beta.

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