**24**

votes

**2**answers

565 views

### Complete the following sequence: point, triangle, octahedron, . . . in a dg-category

Let $\mathcal C$ be a pre-triangulated dg-category (or a stable $\infty$-category, if you wish).
An object $X$ in $\mathcal C$ gives a "point":
$$X$$
A morphism $X\xrightarrow f Y$ in $\mathcal C$ ...

**12**

votes

**5**answers

1k views

### Tate Cohomology via Stable Categories

Situation
Let $G$ be a finite group and provide $G\text{-mod} := {\mathbb Z}G\text{-mod}$ with the Frobenius structure of ${\mathbb Z}$-split short exact sequences. Denote by $\underline{G\text{-mod}}...

**2**

votes

**2**answers

1k views

### Splitting in triangulated categories

Using the axioms for a triangulated category, is it possible to prove the following:
$A\stackrel{0}{\to}B\to A\oplus B\to$ is a distinguished triangle.
From the first axiom, the map ...

**5**

votes

**3**answers

523 views

### Can one extend a morphism of commutative triangles to a morphism of octahedral diagrams?

Consider two (distinct) octahedral diagrams i.e. diagrams mentioned in the octahedron axioms of triangulated categories (with four 'commutative triangular faces' and four 'distinguished triangular ...

**7**

votes

**3**answers

734 views

### If a colimit of distinguished triangles exists, is it also a distinguished triangle?

Consider the following situation in some triangulated category: We are given a collection of distinguished triangles $A_n \to B_n \to C_n \to A_n[1]$ indexed by the natural numbers, together with maps ...

**1**

vote

**1**answer

229 views

### Does a fully faithful functor between triangulated categories induce embedding of their Grothendieck groups?

Let $\mathcal{A}$, $\mathcal{B}$ be two triangulated categories and $F: \mathcal{A}\to \mathcal{B}$ be a triangulated functor between them. Then $F$ induces an homomorphism between their Grothendieck ...