ScalingStacks

Definition 3.1 . [03NN]

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

Definition 3.1.

Let 𝒯{\mathbin{\cal T}} be a triangulated category. A (Bridgeland) stability condition (Z,𝒫)(Z,{\mathbin{\cal P}}) on 𝒯{\mathbin{\cal T}} consists of a group homomorphism Z:K0(𝒯)→ℂZ:K_{0}({\mathbin{\cal T}})\rightarrow{\mathbin{\mathbb{C}}} called the central charge, and full additive subcategories 𝒫(ϕ)⊂𝒯{\mathbin{\cal P}}(\phi)\subset{\mathbin{\cal T}} for each ϕ∈ℝ\phi\in{\mathbin{\mathbb{R}}}, satisfying the following properties:

  • (i)

    If A∈𝒫(ϕ)A\in{\mathbin{\cal P}}(\phi) then Z⁡([A])=m⁡(A)​ei​π​ϕZ([A])=m(A)e^{i\pi\phi} for some m⁡(A)>0m(A)>0.

  • (ii)

    For all ϕ∈ℝ\phi\in{\mathbin{\mathbb{R}}}, 𝒫(ϕ+1)=𝒫(ϕ)[1]{\mathbin{\cal P}}(\phi+1)={\mathbin{\cal P}}(\phi)[1].

  • (iii)

    If ϕ1>ϕ2\phi_{1}>\phi_{2} and Aj∈𝒫(ϕj)A_{j}\in{\mathbin{\cal P}}(\phi_{j}) then Hom𝒯(A1,A2)=0\mathop{\rm Hom}\nolimits_{\mathbin{\cal T}}(A_{1},A_{2})=0.

  • (iv)

    For each nonzero object F∈𝒯F\in{\mathbin{\cal T}} there is a finite sequence of real numbers ϕ1>ϕ2>⋯>ϕn\phi_{1}>\phi_{2}>\cdots>\phi_{n} and a diagram in 𝒯{\mathbin{\cal T}}

    0=F0\textstyle{0=F_{0}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}F1\textstyle{F_{1}\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}F2\textstyle{F_{2}\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}⋯\textstyle{\cdots\ignorespaces\ignorespaces\ignorespaces\ignorespaces}Fn−1\textstyle{F_{n-1}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}Fn=F,\textstyle{F_{n}=F,\ignorespaces\ignorespaces\ignorespaces\ignorespaces}A1\textstyle{A_{1}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}[1]\scriptstyle{[1]}A2\textstyle{A_{2}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}[1]\scriptstyle{[1]}An\textstyle{A_{n}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}[1]\scriptstyle{[1]}

    where the triangles are distinguished and Aj∈𝒫(ϕj)A_{j}\in{\mathbin{\cal P}}(\phi_{j}) for j=1,…,nj=1,\ldots,n.

Objects in 𝒫(ϕ){\mathbin{\cal P}}(\phi) for some ϕ∈ℝ\phi\in{\mathbin{\mathbb{R}}} are called semistable.

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