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.
Source coverage notes 9 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. 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 : K 0 ( 𝒯 ) → ℂ 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 ) e i π ϕ Z([A])=m(A)e^{i\pi\phi}
for some m ( A ) > 0 m(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 A j ∈ 𝒫 ( ϕ j ) A_{j}\in{\mathbin{\cal P}}(\phi_{j}) then
Hom 𝒯 ( A 1 , A 2 ) = 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 = F 0 \textstyle{0=F_{0}\ignorespaces\ignorespaces\ignorespaces\ignorespaces} F 1 \textstyle{F_{1}\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces} F 2 \textstyle{F_{2}\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces} ⋯ \textstyle{\cdots\ignorespaces\ignorespaces\ignorespaces\ignorespaces} F n − 1 \textstyle{F_{n-1}\ignorespaces\ignorespaces\ignorespaces\ignorespaces} F n = F , \textstyle{F_{n}=F,\ignorespaces\ignorespaces\ignorespaces\ignorespaces} A 1 \textstyle{A_{1}\ignorespaces\ignorespaces\ignorespaces\ignorespaces} [ 1 ] \scriptstyle{[1]} A 2 \textstyle{A_{2}\ignorespaces\ignorespaces\ignorespaces\ignorespaces} [ 1 ] \scriptstyle{[1]} A n \textstyle{A_{n}\ignorespaces\ignorespaces\ignorespaces\ignorespaces} [ 1 ] \scriptstyle{[1]}
where the triangles are distinguished and A j ∈ 𝒫 ( ϕ j ) A_{j}\in{\mathbin{\cal P}}(\phi_{j})
for j = 1 , … , n j=1,\ldots,n .
Objects in 𝒫 ( ϕ ) {\mathbin{\cal P}}(\phi) for some ϕ ∈ ℝ \phi\in{\mathbin{\mathbb{R}}} are called semistable .