Bridgeland Stability

In mathematics, and especially algebraic geometry, a Bridgeland stability condition, defined by Tom Bridgeland, is an algebro-geometric stability condition defined on elements of a triangulated category. The case of original interest and particular importance is when this derived category is the derived category of coherent sheaves on a Calabi–Yau manifold, and this situation has fundamental links to string theory and the study of D-branes.

Such stability conditions were introduced in a rudimentary form by Michael Douglas called $\Pi$-stability and used to study BPS B-branes in string theory.Douglas, M.R., Fiol, B. and Römelsberger, C., 2005. Stability and BPS branes. Journal of High Energy Physics, 2005(09), p. 006. This concept was made precise by Bridgeland, who phrased these stability conditions categorically, and initiated their study mathematically.

Definition

The definitions in this section are presented as in the original paper of Bridgeland, for arbitrary triangulated categories. Let $\mathcal$ be a triangulated category.

Slicing of triangulated categories

A slicing $\mathcal$ of $\mathcal$ is a collection of full additive subcategories $\mathcal(\varphi)$ for each $\varphi\in \mathbb$ such that
* \mathcal(\varphi) = \mathcal(\varphi+1) for all $\varphi$, where /math> is the shift functor on the triangulated category,
* if $\varphi_1 > \varphi_2$ and $A\in \mathcal(\varphi_1)$ and $B\in \mathcal(\varphi_2)$, then $\operatorname(A,B)=0$, and
* for every object $E\in \mathcal$ there exists a finite sequence of real numbers $\varphi_1>\varphi_2>\cdots>\varphi_n$ and a collection of triangles
:::
:with $A_i\in \mathcal(\varphi_i)$ for all $i$.

The last property should be viewed as axiomatically imposing the existence of Harder–Narasimhan filtrations on elements of the category $\mathcal$.

Stability conditions

A Bridgeland stability condition on a triangulated category $\mathcal$ is a pair $(Z,\mathcal)$ consisting of a slicing $\mathcal$ and a group homomorphism $Z: K(\mathcal) \to \mathbb$, where $K(\mathcal)$ is the Grothendieck group of $\mathcal$, called a central charge, satisfying
* if $0\ne E\in \mathcal(\varphi)$ then $Z(E) = m(E) \exp(i\pi \varphi)$ for some strictly positive real number $m(E) \in \mathbb_$.

It is convention to assume the category $\mathcal$ is essentially small, so that the collection of all stability conditions on $\mathcal$ forms a set $\operatorname(\mathcal)$. In good circumstances, for example when $\mathcal = \mathcal^b \operatorname(X)$ is the derived category of coherent sheaves on a complex manifold $X$, this set actually has the structure of a complex manifold itself.

Technical remarks about stability condition

It is shown by Bridgeland that the data of a Bridgeland stability condition is equivalent to specifying a bounded t-structure $\mathcal(>0)$ on the category $\mathcal$ and a central charge $Z: K(\mathcal)\to \mathbb$ on the heart $\mathcal = \mathcal((0,1])$ of this t-structure which satisfies the Harder–Narasimhan property above.

An element $E\in\mathcal$ is semi-stable (resp. stable) with respect to the stability condition $(Z,\mathcal)$ if for every surjection $E \to F$ for $F\in \mathcal$, we have $\varphi(E) \le (\text<) \, \varphi(F)$ where $Z(E) = m(E) \exp(i\pi \varphi(E))$ and similarly for $F$.

Examples

From the Harder–Narasimhan filtration

Recall the Harder–Narasimhan filtration for a smooth projective curve $X$ implies for any coherent sheaf $E$ there is a filtration

$0 = E_0 \subset E_1 \subset \cdots \subset E_n = E$

such that the factors $E_j/E_$ have slope $\mu_i=\text/\text$. We can extend this filtration to a bounded complex of sheaves $E^\bullet$ by considering the filtration on the cohomology sheaves E^i = H^i(E^\bullet) i/math> and defining the slope of $E^i_j = \mu_i + j$, giving a function

$\phi : K(X) \to \mathbb$

for the central charge.

Elliptic curves

There is an analysis by Bridgeland for the case of Elliptic curves. He finds there is an equivalence

$\text(X)/\text(X) \cong \text^+(2,\mathbb)/\text(2,\mathbb)$

where $\text(X)$ is the set of stability conditions and $\text(X)$ is the set of autoequivalences of the derived category $D^b(X)$.

References

Papers

* Stability conditions on $A_n$ singularities
* Interactions between autoequivalences, stability conditions, and moduli problems

{{DEFAULTSORT:Bridgeland stability condition
Geometry
String theory
Algebraic geometry