Skip to main content
Capitalise title
Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

decompose a Decompose an unbounded (cochain) complex in the homotopy category

added 108 characters in body; edited title
Source Link
anon
anon

decompose a unbounded (cochain) complex in the homotopy category

Let $\mathcal{A}$ be an abelian category, it is known that any complex $A^{\bullet}$ admits ana distinguished triangle $$B^{\bullet}\rightarrow A^{\bullet}\rightarrow C^{\bullet}\rightarrow B^{\bullet}[1]$$ in the unbounded derived category $D(\mathcal{A})$ for some $B^{\bullet}\in D^-(\mathcal{A})$ and $C^{\bullet}\in D^+(\mathcal{A})$.

In other words, any complex can be decomposed into a complex bounded above and a complex bounded below.

Can we do the same thing in the unbounded homotopy category $K(\mathcal{A})$?

decompose a complex in the homotopy category

Let $\mathcal{A}$ be an abelian category, it is known that any complex $A^{\bullet}$ admits an distinguished triangle $$B^{\bullet}\rightarrow A^{\bullet}\rightarrow C^{\bullet}\rightarrow B^{\bullet}[1]$$ in the unbounded derived category $D(\mathcal{A})$ for some $B^{\bullet}\in D^-(\mathcal{A})$ and $C^{\bullet}\in D^+(\mathcal{A})$.

Can we do the same thing in the unbounded homotopy category $K(\mathcal{A})$?

decompose a unbounded (cochain) complex in the homotopy category

Let $\mathcal{A}$ be an abelian category, it is known that any complex $A^{\bullet}$ admits a distinguished triangle $$B^{\bullet}\rightarrow A^{\bullet}\rightarrow C^{\bullet}\rightarrow B^{\bullet}[1]$$ in the unbounded derived category $D(\mathcal{A})$ for some $B^{\bullet}\in D^-(\mathcal{A})$ and $C^{\bullet}\in D^+(\mathcal{A})$.

In other words, any complex can be decomposed into a complex bounded above and a complex bounded below.

Can we do the same thing in the unbounded homotopy category $K(\mathcal{A})$?

edited body
Source Link
anon
anon

Let $\mathcal{A}$ be an abelian category, it is known that any complex $A^{\bullet}$ admits an distinguished triangle $$B^{\bullet}\rightarrow A^{\bullet}\rightarrow C^{\bullet}\rightarrow B^{\bullet}[1]$$ in the unbounded derived category $D(\mathcal{A})$ for some $B^{\bullet}\in D^+(\mathcal{A})$$B^{\bullet}\in D^-(\mathcal{A})$ and $C^{\bullet}\in D^-(\mathcal{A})$$C^{\bullet}\in D^+(\mathcal{A})$.

Can we do the same thing in the unbounded homotopy category $K(\mathcal{A})$?

Let $\mathcal{A}$ be an abelian category, it is known that any complex $A^{\bullet}$ admits an distinguished triangle $$B^{\bullet}\rightarrow A^{\bullet}\rightarrow C^{\bullet}\rightarrow B^{\bullet}[1]$$ in the unbounded derived category $D(\mathcal{A})$ for some $B^{\bullet}\in D^+(\mathcal{A})$ and $C^{\bullet}\in D^-(\mathcal{A})$.

Can we do the same thing in the unbounded homotopy category $K(\mathcal{A})$?

Let $\mathcal{A}$ be an abelian category, it is known that any complex $A^{\bullet}$ admits an distinguished triangle $$B^{\bullet}\rightarrow A^{\bullet}\rightarrow C^{\bullet}\rightarrow B^{\bullet}[1]$$ in the unbounded derived category $D(\mathcal{A})$ for some $B^{\bullet}\in D^-(\mathcal{A})$ and $C^{\bullet}\in D^+(\mathcal{A})$.

Can we do the same thing in the unbounded homotopy category $K(\mathcal{A})$?

Source Link
anon
anon
Loading