A triangulated category is an additive category equipped with the additional structure of an autoequivalence (called the translation functor) and a class of of triangles satisfying certain axioms.

learn more… | top users | synonyms

0
votes
1answer
54 views

On two notions of 'generators' for a 'large' triangulated category

Let $C$ be a triangulated category that is closed with respect to arbitrary small coproducts; let $D$ be some class of objects of $C$. Then it would be natural to say that $D$ generates $C$ either if ...
9
votes
1answer
207 views

Verdier localization for stable $\infty$-categories

Verdier localization is one of the more intuitive ways to localize a triangulated category, "killing" a suitable class of objects via a functor which is universal with respect to this property. I ...
4
votes
1answer
341 views

Proof without using Yoneda's lemma?

Let $\mathscr{T}$ be atriangulated category. The third axiom for triangulated categories, namely, if in the diagram $$\begin{array} 0X ...
3
votes
1answer
234 views

Reference for comparison of heart cohomology with standard cohomology

I'm looking for a reference for the following fact (which I believe to be true and should be easy for people who understand how spectral sequences arise from filtrations). Let A,B be two hearts of ...
3
votes
3answers
257 views

Adams Spectral Sequence for Triangulated Categories

We have the Adams SS with $$ E_2^{p,q} = Ext^{p,q} _{E^*(E)}([S,E],[S,E]) $$ where $E$ is the Eilenberg-Maclane Spectrum yielding $\mathbb{Z}/p$ coefficients. I was wondering if there is a SS for ...
5
votes
0answers
142 views

What is Known about the $K$-Theory of Fukaya Categories?

Some Background: In Kontsevich and Soibelman's theory of motivic DT-invariants, one is interested in something like the ``number'' of objects in a 3-Calabi-Yau category $\mathcal{C}$ having a fixed ...
2
votes
2answers
137 views

When is a triangulated category uniquely determined by its generators?

Notation: Let $\mathcal T$ be a triangulated category, and let $\mathcal E$ be a full subcategory of $\mathcal T$. I write $\langle \mathcal E \rangle$ to indicate the smallest strictly full ...
1
vote
0answers
95 views

Bootstrap subcategory abelian?

In the book "K-Theory for Operator Algebras" by Bruce Blackadar, the exercise 23.15.8. on page 246 says: "Let KKN be the full subcategory of KK with objects in N. Show that KKN is abelian category by ...
1
vote
0answers
185 views

Factorization systems in a triangulated/stable category

Google is of little help when questioned about "factorization systems in a triangulated category". Are there informations about them? Are there "natural" (meaning: "obviously defined") OFS/WFS in a ...
0
votes
0answers
67 views

when does a “triangulated” functor factor over the homotopy category?

The setup is as follows: We have the category $C$ of chain complexes over some additive/abelian category and want to pass to the category $K$ of chain complexes modulo homotopy. So we have an ...
3
votes
1answer
207 views

Why should noncommutative CYs be dgas?

For a (commutative) CY manifold of dimension $n$, Serre duality implies that there are ifunctorial isomorphisms $$\operatorname{Hom}_{D^b(X)}(E,F)\cong\operatorname{Hom}_{D^b(X)}(F,E[n])^*$$ in the ...
2
votes
0answers
115 views

Neeman's homotopy limits in stable $\infty$-categories

Related question (I hoped to turn this into an answer for the user, but in the end it became a question on its own right!): this In the book Neeman, Amnon. Triangulated categories. No. 148. ...
4
votes
0answers
87 views

How to show twisted complexes over a DG category is again a DG category?

In Bondal and Kapranov's paper enhanced triangulated categories, a twisted complex over a DG category $A$ is a set $\{(E_i)_{i\in \mathbb Z}, q_{ij}: E_i\to E_j\}$, where $E_i$ are objects in $A$, ...
8
votes
3answers
189 views

Is 'the' homotopy colimit of a sequence of exact triangles an exact triangle?

Let $$ \begin{array}{rccccl} A_0&\to& B_0&\to& C_0&\to\\ \downarrow & &\downarrow&&\downarrow\\ A_1&\to& B_1&\to& C_1&\to\\ \downarrow & ...
3
votes
1answer
188 views

Full exceptional set on flag variety

Define a full exceptional set in a triangulated category to be a partially ordered set of objects $\Delta_i$ which generate the category and such that $\text{Ext}^\bullet(\Delta_i, \Delta_j) = 0$ ...
1
vote
0answers
111 views

The right (not the left 'Suslin complex' one) adjoint to the embedding of $ DM^{eff} $ into $D(ShvTr) $?

Inside the derived category of Nisnevich sheaves with transfers there is the category $DM^{eff} $ of Voevodsky's effective motivic complexes (actually, Voevodsky only considered bounded above ...
1
vote
1answer
292 views

A $2$-torsion version of the motivic stable homotopy category?

For a field $k$ there exists the motivic stable homotopy $SH(k)$; it is compactly generated. My question: does there exist a 'reasonable' functor $p$ from $SH(k)$ to a certain triangulated category ...
2
votes
2answers
192 views

Cool Examples of Localisation in Triangulated Cats Besides the Usual

In the theory of triangulated categories there is a hefty literature on localisation -- the most common example in algebra being (variants of) localising the homotopy category of chain complexes over ...
8
votes
1answer
248 views

Is $\mathcal{D} \bigl( \mathrm{QCoh}(\mathfrak{X}) \bigr)$ compactly generated?

An object $E$ in a triangulated category $\mathcal{T}$ with (small) coproducts is called compact if the functor $\mathrm{Hom}_{\mathcal{T}}(E,-)$ commutes with arbitrary coproducts or, equivalently, ...
4
votes
1answer
203 views

Is the functor $mod(Tw\mathcal{C})\rightarrow mod(\mathcal{C})$ cohomologically full and faithful?

Let $\mathcal{C}$ be a $c$-unital $A_\infty$-category. If $\mathcal{A}$ is a $c$-unital and triangulated $A_\infty$-category, then there is a $c$-unital $A_\infty$- functor $$Tw: ...
3
votes
1answer
180 views

Bousfield localization before and after taking homotopy

The ncatlab says: Under suitable conditions it should be true that for $C$ a model category whose homotopy category $\mathrm{Ho}(C)$ is a triangulated category the homotopy category of a left ...
5
votes
1answer
111 views

Is this a description of the $\aleph_1$-localizing subcategory generated by a compact generator?

This should be obvious but I'm not seeing it: The $\mathfrak T$ be a triangulated category with coproducts and with a compact generator $A$ (that is, the functor $\mathfrak T(A,\_)$ preserves ...
2
votes
0answers
190 views

How do I find abelian subcategories of periodic triangulated categories?

If $T$ is a triangulated category, then the formalism of $t$-structures gives a way to find abelian subcategories inside. You're supposed to find two strictly full subcategories, $T^{\le 0}, T^{\ge ...
3
votes
0answers
124 views

Relationship of additive and triangulated structures in the triangulated cateogry

In the triangulated category $T$, say we have two distinguished triangles: $$X \xrightarrow{f} Y \rightarrow C_f \rightarrow X[1], $$ $$ X \xrightarrow{g} Y \rightarrow C_g \rightarrow X[1]$$ Of ...
2
votes
5answers
393 views

A statement for a triangulated category generated by a subset

Let $D$ be a triangulated category (the triangulated category in my mind is $D^{b}(X)$, that is the derived category of bounded complex of coherent sheaves on a smooth projective variety), $A \subset ...
1
vote
1answer
543 views

Where should one go to learn about triangulated categories?

Lurie's book, higher topos theory describes a new notion of a triangulated category, which is apparently much more natural than the usual definition. Obviously by now a great deal of work has been ...
2
votes
1answer
233 views

Generators of Thick Subcategories

Suppose we are given a thick subcategory of the compact objects in the homotopy category of modules over a ring spectrum $R$. Are there conditions we can place on $R$, or on the category (compact) ...
4
votes
1answer
165 views

Stable equivalence and triangle stable equivalence of selfinjective algebras

Two (finite-dimensional) $k$-algebras $A$ and $B$ are said to be stable equivalent if their stable module categories $\underline{\rm mod}(A)$ and $\underline{\rm mod}(B)$ are equivalent as $k$-linear ...
3
votes
0answers
115 views

Right Notion of Localizing Subcategory in Quasicategory

Given a stable quasicategory $C$, what are the conditions required of a subcategory for it to descend to a localizing subcategory in $Ho(C)$? Is it enough for it to be reflective? Perhaps exact and ...
5
votes
2answers
350 views

Resolutions of unbounded complexes and homotopy (co)limits.

I want to understand once and for all what the resolution of an unbounded complex is. I've been trying to read 'Homotopy limits in triangulated categories' by Marcel Bokstedt and Amnon Neeman and ...
3
votes
0answers
299 views

Good morphisms of distinguished triangles: can Neeman's method be applied to the motivic stable homotopy category?

It is well known that non-uniqueness of a cone for a morphism in a triangulated category $C$ makes constructing exact functors (of triangulated categories) a difficult task. In section 3 of his "Some ...
1
vote
0answers
167 views

The homotopy colimit of a tower of triangles

Set the framework to be a triangulated category with all set indexed coproducts. In "Relative Homological Algebra and Purity in Triangulated Categories", J. of Algebra 227, (2000), pp. 268- 361, ...
3
votes
1answer
249 views

Is the stable homotopy category idempotent complete?

Is the stable homotopy category idempotent complete? I have not been able to prove it, and the proof for abelian groups seems to strongly rely on looking at elements. Thanks, Jon
2
votes
1answer
285 views

Showing morphism of sheaves is zero

I work in derived category $D^b(X)$ of constructible sheaves on a reasonable space $X$. Let $j\colon U\to X$ be an open inclusion and $i\colon Y\to X$ the closed complement. Let $M,N\in D^b(X)$ and ...
7
votes
0answers
162 views

Enriched triangulated categories

If $V$ is a monoidal model category, then its homotopy category $\mathrm{Ho}(V)$ is a monoidal category. Similarly, if $M$ is a $V$-model category, then $\mathrm{Ho}(M)$ is a ...
10
votes
0answers
359 views

The derived category of integral representations of a Dynkin quiver.

Let $Q$ be a Dynkin quiver. Let $\mathbb CQ$ be its complex path algebra. It is defined in a way such that modules over $\mathbb CQ$ are the same as representations of the quiver $Q$. Let's write ...
0
votes
1answer
654 views

Terminology - subcategories of Abelian categories

Hello, I have terminological question. Consider the following properties of a full subcategory $B \subset A$, where $A$ is an abelian category, and we assume $B$ to be closed under finite direct ...
12
votes
3answers
979 views

Stable homotopy category and the moduli space of formal groups

The usual disclaimer applies: I'm new to all this stuff, so be gentle. It seems like the spectrum, as defined by Balmer, of the stable homotopy category of finite complexes is something like ...
2
votes
0answers
57 views

Computing morphisms in localizations of $K(B)$

Let $B$ be an additive category (a small one; one can assume that it is a $\mathbb{Q}$-category, yet not much else is known about it). Given a set of objects $S$ of $K^b(B)$ (or $K(B)$), I consider ...
2
votes
1answer
890 views

Where could I publish an average paper on triangulated categories?

I have a rather abstract paper on triangulated categories; I would say that it is of average size and quality. I want to find an appropriate journal to publish it; I would like it to be accepted in ...
9
votes
3answers
1k views

Derived categories of (coherent) sheaves of modules: exceptional images, gluing, and proper descent?

I am interested in the properties of (the derived categories) of various categories of (coherent) sheaves of modules (over varieties). I would like to understand in what extent these properties are ...
8
votes
1answer
543 views

Cohomological functor from triangulated category

Say we have a cohomological functor F from a triangulated category $C$ to the category $Ab$ of abelian groups, e.g. $F=Hom(x,-)$, where x is an object in $C$. By definition, such a functor transform ...
15
votes
2answers
832 views

Why not define triangulated categories using a mapping cone functor?

Recall that the usual definition of a triangulated category is an additive category equipped with a self equivalence called $[1]$ in which certain diagrams, of the form $X \to Y \to Z \to X[1]$ are ...
15
votes
4answers
1k views

Proof that the homotopy category of a stable $\infty$-category is triangulated

I've been looking at various general strategies for proving that some category is triangulated, and Lurie manages to prove that a huge class of interesting examples of categories that we know about ...
9
votes
2answers
412 views

Does a triangulated category that possesses a subcategory $B$ of generators with no extensions of non-zero degree between them have to be isomorphic to $K^b(B)$?

Suppose that a triangulated category $C$ contains a full additive subcategory $B$ of (strong) generators (i.e. there does not exist a proper strict triangulated subcategory $C'\subset C$ that contains ...
0
votes
0answers
540 views

Neeman's Lemma 1.4.4 (in his book on triangulated categories)

When proving Lemma 1.4.4 in his book on triangulated categories, Neeman asserts that a certain mapping cone splits into a direct sum of three candidate triangles. I'm unable to see why this is so. ...
2
votes
0answers
129 views

On 'graded polarizable' triangulated categories; are there any mixed Galois module analogues known? Also on mixed realizations

There is a construction by Beilinson (in section 3 of "Notes on absolute Hodge cohomology") of the derived category of graded polarizable mixed Hodge complexes; he also proved that this category is ...
1
vote
0answers
39 views

Any examples known of $K^b(B)$ localized by a set of morphisms (i.e. of complexes of length 1)?

I would like to understand the following setting: for an additive $B$ localize $K^b(B)$ by a set of $B$-morphisms (i.e. by a thick triangulated subcategory generated by some set of two-term ...
7
votes
4answers
688 views

Intuition about the triangulation of a homotopy category K(A)

Let $\cal{A}$ be an additive category. Given a morphism of (cochain) complexes $f:X\rightarrow Y$ we can form the mapping cone $C_f$, which is the complex $X[1]\oplus Y$ with differential given by ...
8
votes
4answers
523 views

Glueing triangulated categories

Hello! Given a triangulated category, one can look for semiorthogonal decompositions into (simpler?) triangulated subcategories. I'd like to know if there's a way to attack the opposite problem, ...