Stability conditions on morphisms in a category

Abstract: Let

m a t h r m h m a t h s c r C

be the homotopy category of a stable infinity category

m a t h s c r C

. Then the homotopy category

m a t h r m h m a t h s c r C^{D e l t a^{1}}

of morphisms in the stable infinity category

m a t h s c r C

is also triangulated. Hence the space

m a t h s f S t a b, m a t h r m h m a t h s c r C^{D e l t a^{1}}

of stability conditions on

m a t h r m h m a t h s c r C^{D e l t a^{1}}

is well-defined though the non-emptiness of

m a t h s f S t a b, m a t h r m h m a t h s c r C^{D e l t a^{1}}

is not obvious. Our basic motivation is a comparison of the homotopy type of

m a t h s f S t a b m a t h r m h m a t h s c r C

and that of

m a t h s f S t a b m a t h r m h m a t h s c r C^{D e l t a^{1}}

. Under the motivation we show that functors

d_{0}

and

d_{1} c o l o n m a t h s c r C^{D e l t a^{1}} i g h t r i g h t a r r o w s m a t h s c r C

induce continuous maps from

m a t h s f S t a b m a t h r m h m a t h s c r C

to

m a t h s f S t a b m a t h r m h m a t h s c r C^{D e l t a^{1}}

contravariantly where

d_{0}

(resp.

d_{1}

) takes a morphism to the target (resp. source) of the morphism. As a consequence, if

m a t h s f S t a b m a t h r m h m a t h s c r C

is nonempty then so is

m a t h s f S t a b m a t h r m h m a t h s c r C^{D e l t a^{1}}

. Assuming

m a t h s c r C

is the derived infinity category of the projective line over a field, we further study basic properties of

d_{0}^{*}

and

d_{1}^{*}

. In addition, we give an example of a derived category which does not have any stability condition.

This page was built for publication: Stability conditions on morphisms in a category