ScalingStacks

Definition 2.3 . [047K]

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 2.3.

A Bridgeland stability condition (Z,𝒫)(Z,\mathcal{P}) on a triangulated category π’Ÿ\mathcal{D} consists of a group homomorphism (β€˜central charge’) ZZ from the (numerical) Grothendieck group K⁑(π’Ÿ)K(\mathcal{D}) to β„‚\mathbb{C}, and full additive subcategories 𝒫⁑(Ο•)βŠ‚π’Ÿ\mathcal{P}(\phi)\subset\mathcal{D} for each Ο•βˆˆβ„\phi\in\mathbb{R}, whose objects are called β€˜semistable objects of phase angle π​ϕ\pi\phi’,88 8 In the convention of Bridgeland, the phase is Ο•\phi. We have instead opted to call π​ϕ\pi\phi the phase, which is more naturally identified with the phase angle of special Lagrangians. satisfying the following axioms:

  • β€’

    (Phase) If Lβˆˆπ’«β‘(Ο•)L\in\mathcal{P}(\phi) then Z⁑(L)=m⁑(L)​exp⁑(i​π​ϕ)Z(L)=m(L)\exp(i\pi\phi) for some m⁑(L)>0m(L)>0,

  • β€’

    (Shift) For all Ο•βˆˆβ„\phi\in\mathbb{R}, 𝒫​(Ο•+1)=𝒫​(Ο•)​[1]\mathcal{P}(\phi+1)=\mathcal{P}(\phi)[1],

  • β€’

    (Monotonicity) If Ο•1>Ο•2\phi_{1}>\phi_{2} and Ljβˆˆπ’«β‘(Ο•j)L_{j}\in\mathcal{P}(\phi_{j}), j=1,2j=1,2 then H​o​mπ’Ÿβ€‹(L1,L2)=0Hom_{\mathcal{D}}(L_{1},L_{2})=0,

  • β€’

    For each nonzero object Lβˆˆπ’ŸL\in\mathcal{D} there are a finite sequence of real numbers Ο•1>Ο•2>…>Ο•N\phi_{1}>\phi_{2}>\ldots>\phi_{N} and a Harder-Narasimhan decomposition

    0=β„°0β†’β„°1→…→ℰN=L,0=\mathcal{E}_{0}\to\mathcal{E}_{1}\to\ldots\to\mathcal{E}_{N}=L, (4)

    with distinguished triangles

    β„°iβˆ’1β†’β„°iβ†’Liβ†’β„°iβˆ’1​[1]\mathcal{E}_{i-1}\to\mathcal{E}_{i}\to L_{i}\to\mathcal{E}_{i-1}[1]

    such that Ljβˆˆπ’«β‘(Ο•j)L_{j}\in\mathcal{P}(\phi_{j}).

  • β€’

    (Calibration) For any fixed norm on the finite dimensional vector space K⁑(π’Ÿ)βŠ—β„€β„K(\mathcal{D})\otimes_{\mathbb{Z}}\mathbb{R}, we have a uniform constant CC, such that any semistable object LL satisfies β€–L‖≀C​|Z⁑(L)|.\left\lVert L\right\rVert\leq C|Z(L)|.

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