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

16
votes
0answers
325 views

Is this a model for $K$-theory of a triangulated category?

The recent question Complete the following sequence: point, triangle, octahedron, . . . in a dg-category reminded me of something I wanted to clarify long time ago; most likely this is now well known ...
16
votes
0answers
317 views

Is there a cotangent bundle of a stable $\infty$-category?

Let $C$ be a stable $\infty$-category. Is there any categorical construction $C \mapsto T^* C$, where $T^* C$ is another stable $\infty$-category, that specializes to the following? When $C$ is the ...
12
votes
0answers
415 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 $\...
10
votes
0answers
172 views

A tensor product for triangulated categories?

Many triangulated categories which show up in mathematics, such as derived categories of various sorts, arise as the homotopy category of a stable $\infty$-category. Stable $\infty$-categories give ...
7
votes
0answers
225 views

Do there exist “non-algebraic tensor products” for “algebraic” triangulated categories?

Let us call a triangulated category algebraic if it admits a differential graded enhancement (i.e., an enrichment in complexes of abelian groups). Certainly, there is a notion of a tensor product on ...
7
votes
0answers
419 views

Use of derivators to the theory of motives?

This is a rather imprecise question but i think this could become a interesting pool of ideas and comments. The theory of motives has evolved to a complex field of research the moment Voevodsky (and ...
7
votes
0answers
191 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 $\mathrm{Ho}(V)$-...
7
votes
0answers
287 views

The residue class functor from a Frobenius category to its stable category induces a functor on cube-shaped diagrams - is it dense?

Let $\mathcal{E}$ be a Frobenius category, i.e. an exact category with sufficiently many bijective objects. (Such as e.g. the category of complexes over an additive category.) Let $\underline{\...
6
votes
0answers
99 views

t-structures on the tensor product of stable $\infty$-categories, II

I fork from this thread, a bunch of questions stemmed from a private conversation about that thread. Speculating a bit on the definition of the tensor operation between t-structures generated some ...
6
votes
0answers
188 views

Compact objects and ind-objects in triangulated categories

question : let $A$ be triangulated category compactly generated by subcategory $A^c$ of compact objects. Consider category of ind-objects $Ind(A^c)$. Is there relation between $A$ and $Ind(A^c)$? ...
5
votes
0answers
101 views

Meaning of the support property in the definition of Bridgeland stability condition

Let $(Z,\mathcal{P})$ be a Bridgeland stability condition on a triangulated category $\mathcal{C}$. It is said to satisfy the support property if there exists a norm on $K(\mathcal{C})\otimes_\mathbb{...
5
votes
0answers
224 views

Do differential objects form triangulated categories?

Let $\mathcal{A}$ be a (fixed) additive category. To a differential object $(A,a)$ for $\mathcal{A}$ (so, $a:A\to A$ and $a^2=0$) one may associate an $\mathcal{A}$-complex $\dots \to A\stackrel{a}{\...
4
votes
0answers
194 views

Can triangulated categories be “approximated by countable subcategories” (that are triangulated but not full!)?

For a given (finite) set of (objects and) morphisms $f_i$ in a triangulated category $C$ I am interested in a (non-full!) triangulated subcategory $C'\subset C$ of "small size" that would contain them....
4
votes
0answers
248 views

On a theorem of Hopkins-Neeman-Thomason on generators of thick subcategories of perfect complexes

Notations and background. Let $R$ be a commutative noetherian local ring and let $D(R)$ denote the derived category of the category of R-modules. A strictly perfect complex on $R$ is a bounded complex ...
4
votes
0answers
187 views

2-periodic derived equivalence

Let $A$ and $B$ be finite-dimensional algebras with finite global dimension over some field (in fact I am thinking of rational incidence algebras of finite posets). Suppose we know that $A$ and $B$ ...
4
votes
0answers
215 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 0}...
4
votes
0answers
367 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 ...
3
votes
0answers
140 views

Can one complete a morphism of commutative triangles to a “commutative cube” in a triangulated category?

This question is a continuation of Can one extend a morphism of commutative triangles to a morphism of octahedral diagrams?. I am deeply grateful for the contributions there; they roughly say that ...
3
votes
0answers
131 views

When there exists some “cone” of a morphism of (ind-representable) cohomological functors?

I am interested in cohomological functors from a certain small triangulated category $C$ to abelian groups. The question is: given a tranformation $F\to G$ of two functors of this sort, is it ...
3
votes
0answers
90 views

About some distributive laws in the Bousfield lattice

It is know that for any $\alpha$-well generated tensor triangulated category $\mathcal{T}$ the collection of Bousfield classes forms a set, furthermore this set is a complete lattice, denoted by $\...
3
votes
0answers
253 views

Functor of points of a tensor triangulated category

Is there is a functor of points approach to tensor triangulated categories parallel to Balmer's theory of prime spectra? Given a tensor triangulated category $\mathcal{T}$ an $R$-point can be ...
3
votes
0answers
161 views

Perf($\mathscr{A}$) and perfect chain complexes

Suppose $\mathscr{A}$ is a dg category and $ \mathcal{D} (\mathscr{A})$ its associated derived category. For an object in $ a \in \mathscr{A}$ there is associated (right )dg $ \mathscr{A}$ module, $ \...
3
votes
0answers
115 views

composition of t-structures “par recollement”

It is a classical result in Beilinson-Bernstein-Deligne's "Faisceaux Pervers" (thm. 1.4.9) that given three triangulated categories $\mathbf{D}_0, \mathbf{D}_1, \mathbf{D}_{01}$ and a recollement ...
3
votes
0answers
134 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 ...
3
votes
0answers
134 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 ...
2
votes
0answers
47 views

An equivalence between projective modules over the preprojective algebra and an orbit category

Let $Q$ be a Dynkin quiver, and let $kQ$ be its path algebra over some field k. Let $\Pi$ be the preprojective algebra of $Q$. Then (c.f. Section 7.3 of Keller's On Triangulated Orbit Categories) the ...
2
votes
0answers
118 views

Full exceptional collections in derived category of coherent sheaves on non-compact varieties

Let $X$ be a smooth algebraic variety over $\mathbb{C}$, and $D^b(X)$ its bounded derived category of coherent sheaves. Then a full exceptional collection will lead to significant simplifications in ...
2
votes
0answers
85 views

TTF triples are recollements

The notion of recollement $$ \mathcal{A}' \stackrel{\overset{i^*}{\longleftarrow}}{\stackrel{\overset{i_*}{\longrightarrow}}{\underset{i^!}{\longleftarrow}}} \mathcal{A}\stackrel{\overset{j_!}{...
2
votes
0answers
100 views

Is there any numerical obstruction for all perfect complexes on a scheme being strictly perfect?

Let $X$ be a scheme and $E^{\cdot}$ be a cochain complex of sheaves of $\mathcal{O}_X$-modules. We call $E^{\cdot}$ a strictly perfect complex if $E^{\cdot}$ is a bounded (in both direction) complex ...
2
votes
0answers
253 views

Towards an enhanced version of homological mirror symmetry for affine varieties

Let $X$ and $X^\vee$ be a mirror pair, homological mirror symmetry relates the symplectic geometry of $X$ to the complex geometry of $X^\vee$ via the equivalence of triangulated categories $D^\pi\...
2
votes
0answers
165 views

Do all full exceptional sequences of a triangulated category have the same length?

Let $\mathcal{D}$ be a $k$-linear triangulated category and $\langle E_n,E_{n-1},\ldots, E_0\rangle$ be a sequence of objects of $\mathcal{D}$. We call $\langle E_n,E_{n-1},\ldots, E_0\rangle$ an $\...
2
votes
0answers
232 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. ...
2
votes
0answers
60 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
0answers
133 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
44 views

When the tensor product of motives that are not $0$-(homotopy)-connective can be $0$-connective?

For $t$ being the homotopy $t$-structure for Voevodsky effective motivic complexes when $M\otimes N\in DM_{eff}^{t\le -1}$ ensures that either $M$ or $N$ belongs to $DM_{eff}^{t\le -1}$ (so, we use ...
1
vote
0answers
117 views

What are some standard operations on the set of localizations of a triangulated category?

Let $C$ be a triangulated category, and $D \subset C$ a triangulated subcategory whose inclusion functor admits a right adjoint. Say that a map $x \to y$ in $C$ is a "D-equivalence" if its cone ...
1
vote
0answers
66 views

Reduced products of (abelian and triangulated) categories: references?

For a filter $U$ on a set $X$ and for a family of categories $C_x$ indexed by $X$ I would like to consider the (corresponding categorical version of) reduced product of $C_x$ (for $x\in X$) with ...
1
vote
0answers
91 views

$n$-recollements and perverse t-structures

A recent preprint on arXiv brought my attention on the notion of $n$-recollement (def. 2) a generalization of the notion of recollement among three abelian or triangulated categories behaving like a "...
1
vote
0answers
84 views

Extending natural transformations of triangulated functors on $D^b(\mathbb P^1)$

Let $\mathcal T = D^b(\mathbb P^1)$, the bounded derived category of $\mathbb P^1$ over a field $k$. It is well known that $\mathcal T$ admits a strong and full exceptional sequence $\{\mathcal O, \...
1
vote
0answers
195 views

Thickness of the category of perfect complexes with finite length homology

Let $R$ be a commutative Noetherian local ring and let $D(R)$ be the derived category of $R$-modules. Recall that a chain complex $C_\bullet$ of modules over $R$ is called perfect if it is isomorphic ...
1
vote
0answers
58 views

Reconstructing an isomorphism of exact triangles in the homotopy cat. of a dg-cat. using a functorially induced isomorphism between cones

This question is strictly related to this other one. Let $\mathcal A$ be a (strongly) pretriangulated dg-category over a field $k$. Let be a diagram in $Z^0(\mathcal A)$, where the rows are ...
1
vote
0answers
257 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
213 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 ...
1
vote
0answers
112 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 (...
1
vote
0answers
120 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
0answers
199 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, (...
1
vote
0answers
42 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 complexes)....
0
votes
0answers
40 views

Equivalence between recollements

Suppose you have a pair of recollements $$ \mathcal{A}' \stackrel{\overset{i^*}{\longleftarrow}}{\stackrel{\overset{i_*}{\longrightarrow}}{\underset{i^!}{\longleftarrow}}} \mathcal{A}\stackrel{\...
0
votes
0answers
565 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. ...