Questions tagged [triangulated-categories]

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.

Filter by
Sorted by
Tagged with
2 votes
2 answers
144 views

How to construct $X \oplus \Sigma X$ from $X \oplus \Sigma X \oplus \Sigma X \oplus \Sigma^2 X$ without splitting an idempotent?

Let $Z$ be an object in a stable (or triangulated/whatever) category $\mathcal C$. I believe it follows from Thomason's theorem (see The classification of triangulated subcategories) that the ...
  • 51k
3 votes
0 answers
70 views

Is the intersection of two compactly generated localizing subcategories still compactly generated?

Suppose we have a compactly generated triangulated category $\mathcal{T}$ such that the subcategory of compact objects $\mathcal{T}^c$ is essentially small. Let us take $\mathcal{A}, \mathcal{B}$ two ...
  • 705
4 votes
0 answers
204 views

Is the Balmer spectrum of the derived category of the Balmer spectrum of finite spectra the Balmer spectrum of finite spectra?

$\DeclareMathOperator\Spec{Spec}\DeclareMathOperator\SH{SH}\DeclareMathOperator\Mod{Mod}\newcommand{\fin}{\mathrm{fin}}\newcommand{\cc}{\mathrm{c}}$I'm mainly interested in the dynamics of the Balmer ...
  • 647
2 votes
1 answer
106 views

triangulated hull and thick hull of $\mathcal{O}_X,\dots,\mathcal{O}_X(n)$

Here I am dealing with the difference of triangulated hull and thick hull. Let $\mathcal{D}$ be a triangulated category and $\mathcal{E}\subset\mathcal{D}$ be a collection of objects. The triangulated ...
's user avatar
4 votes
0 answers
237 views

Voevodsky's motives and Deligne's systems of realizations

$\newcommand{\gm}{\mathrm{gm}}$Let $\mathbf{DM}_{\gm}(\mathbb{Q},\mathbb{Z})$ be Voevodsky's category of geometric motives over $\mathbb{Q}$ with coefficients in $\mathbb{Z}$ (e.g. as on p.124 of ...
  • 14.2k
0 votes
0 answers
52 views

Example: orthogonal complement of an admissible subcategory is not admissible

This question is closely related to https://mathoverflow.net/questions/190952/is-the-orthogonal-complement-of-an-admissible-subcategory-admissible-itself Do we have a known example for an admissible ...
's user avatar
2 votes
0 answers
77 views

Find a Morita equivalent finite cell DG category

I am trying to understand the following statement: Suppose that $\mathcal{E}$ is a pre-triangulated proper DG category with a full exceptional collection. Then $\mathcal{E}$ is Morita equivalent to a ...
2 votes
0 answers
86 views

Cogenerators in a triangulated category

Let $\mathscr{T}$ be a triangulated category and $[1]$ be the shift functor in $\mathscr{T}$ and $X\in \mathscr{T}$ be a cogenerator i.e. if $Hom(Y,X[i])=0,i\in\mathbb{Z}$, then we have $Y=0$. My ...
7 votes
2 answers
465 views

Understanding Balmer spectra

$\DeclareMathOperator\Spec{Spec}\newcommand{\perf}{\mathrm{perf}}\DeclareMathOperator\SHC{SHC}$I have just finished reading the paper "The spectrum of prime ideals in tensor triangulated ...
  • 705
1 vote
1 answer
123 views

Verdier localisation

$\newcommand{\Perf}{\operatorname{Perf}}$This is a toy example that I want to understand, I will be grateful for any help. Given a ring $R$ and $A=\Perf(R)$ the category of perfect complexes over $R$ ....
  • 893
2 votes
1 answer
187 views

Yoneda Ext theorem and extensions

Consider the category of chain complexes over a ring $R$. We can show that $\text{Ext}^1(M, N)$ classifies extensions using the triangulated category structure: the homotopy kernel of a map $N \...
1 vote
1 answer
133 views

Inducing an equivalence of $G$-equivariant categories

Suppose we have an equivalence of triangulated categories $\Phi : \mathcal{A} \to \mathcal{B}$. Let $G$ be a finite group. Are there any methods/conditions for specifying when one has an induced ...
  • 223
4 votes
0 answers
142 views

On the not so clear relationship between torsion theories and localization for a newcomer

Given an hereditary torsion theory $(\mathcal{T}, \mathcal{F})$ on an abelian category $\mathcal{A}$, how we can relate this to a localization (i.e Ore localization). This is mentioned with not so ...
  • 81
2 votes
0 answers
109 views

When semi-simple subcategories "extend" to hearts of t-structures?

Let $A$ be a semi-simple abelian subcategory of a triangulated category $C$ that "generates" $A$ (that is, $C$ equals its own smallest triangulated subcategory that is closed under direct ...
9 votes
1 answer
505 views

Any news about equivalences of periodic triangulated or $\infty$-categories?

There is a very old question (October 2009) Equivalence of derived categories which is not Fourier-Mukai which has been bumped by improving links to the literature in one of the answers and attracted ...
4 votes
1 answer
179 views

When is a thick subcategory the preimage of a weak Serre class under a homological functor?

Let $\pi : \mathcal T \to \mathcal A$ be a homological functor from a stable / triangulated category to an abelian category, and let $\mathcal C \subseteq \mathcal A$ be a weak Serre subcategory. Let $...
  • 51k
2 votes
0 answers
98 views

Minus sign in rotated triangles in Triangulated categories

Let $T$ be a triangulated category and $$ X \xrightarrow{u} Y \xrightarrow{v} Z \xrightarrow{w} X[1]$$ an exact triangle (or distinguished triangle). TR 2 implies that then the two rotated triangles $$...
1 vote
0 answers
83 views

Terminology: are there any names for "quotients" of cellular towers in stable categories?

A cellular tower in SH or in a "more general stable homotopy category" is a chain of morphisms $\dots X^{(n)}\stackrel{g^n}{\to} X^{(n+1)}\to \dots$ along with some more data and conditions; ...
3 votes
1 answer
112 views

On the definition and an example of silting/tilting subcategories in a triangulated categories according to a paper by Aihara and Iyama

In the paper "Silting mutation in triangulated categories" by Aihara and Iyama, I stumbled upon this nice definition( Definition 2.1) of a tilting/silting subcategory of a triangulated ...
  • 81
2 votes
0 answers
128 views

construction of $K_0$-group and Karoubian completion

Let $A$ be a ring. The $K_0$ group of $A$ can be defined in most old fashioned way as the Grothendieck group of the set of isomorphism classes of its finitely generated projective $R$ modules, ...
4 votes
1 answer
265 views

How to prove a lemma of Rouquier on the dimension of triangulated categories?

In the paper of Rouquier on the dimension of triangulated categories (found here) lemma 3.5 says: Lemma Let $\mathcal{T}$ be a triangulated category and let $\mathcal{T}_1$ and $\mathcal{T}_2$ be ...
  • 228
4 votes
1 answer
123 views

Antisymmetric product of complexes

Usually when one has a short exact sequence of bundles, \begin{eqnarray} 0\rightarrow A \rightarrow B\rightarrow C\rightarrow 0, \end{eqnarray} then there is an associated long exact sequence, \begin{...
  • 93
8 votes
2 answers
480 views

What is a most natural categorification of a vector space?

Few days ago I became excited when I learned from an answer to Examples of simple vertex operator algebras (VOAs) that The irreducible modules of the rank $d$ free boson are naturally parametrized by ...
1 vote
0 answers
66 views

What fails in constructing a homotopy category out of candidate triangles in a triangulated category?

Following Neeman's article "New axioms for triangulated categories", for a triangulated category $\mathscr T$ let $CT(\mathscr T)$ denote the category of candidate triangles, i.e. diagrams \...
1 vote
1 answer
91 views

Rigid, maximal rigid and cluster-tilting objects

Let $\mathcal{D}$ be a $k$-linear, Hom-finite triangulated category with a Serre functor $\mathbb{S}$. An important class of objects in $\mathcal{D}$ are the cluster-tilting objects, which have many ...
  • 553
1 vote
1 answer
219 views

localizing subcategories of a nice triangulated category

Suppose that $D(A)$ is the derived category of of a ring A. Let $b\in D(A)$ be a compact object and $B$ the localizing subcategory generated by b (having arbitrary coproduct). Does the inclusion ...
  • 441
5 votes
1 answer
182 views

Non-uniqueness of $C$ with $f_!(C) = f_*(1_{\mathcal{C}})$

$\newcommand{\Cc}{\mathcal{C}}$ $\newcommand{\Dd}{\mathcal{D}}$ $\newcommand{\Z}{\mathbb{Z}}$ $\newcommand{\Q}{\mathbb{Q}}$ $\newcommand{\tensor}{\otimes}$ $\newcommand{\colim}{\rm colim}$ $\...
5 votes
0 answers
132 views

Which t-structure extend from subcategories of compact objects uniquely?

Let $T$ be a compactly generated triangulated category, that is, $T$ is closed with respect to small coproducts and equals its own smallest triangulated subcategory closed with respect to coproducts ...
7 votes
2 answers
323 views

Comparison: Formal Wirthmüller isomorphism of Fausk-Hu-May vs. Balmer et. al

$\newcommand{\Cc}{\mathcal{C}}$ $\newcommand{\Dd}{\mathcal{D}}$ $\newcommand{\tensor}{\otimes}$ $\DeclareMathOperator{\Sp}{Sp}$ This question is about comparing the approaches for a formal Wirthmüller ...
2 votes
1 answer
126 views

Subcategory of compactly generated triangulated category

Let T be a compactly generated triangulated category and let T' be a localizing subcategory. Is it automatic that T' is comapctly generated by $T^c \cap T'$, where $T^c$ is compact objects of $T$? ...
4 votes
1 answer
215 views

Bousfield localization of triangulated categories:equivalent conditions

In these notes on pages 60-64 Daniel Murfet proves the equivalence of 6 conditions of what it means for the Verdier quotient to be Bousfield localization. I, however, do not understand certain steps ...
  • 1,055
2 votes
0 answers
87 views

Semi-stable bundles as a heart of a t-structure

Given an algebraic curve, the category of semi-stable vector bundles of fixed slope forms an abelian category see here page 2. This is surprising as the vector bundles themselves are not an abelian ...
  • 5,333
12 votes
2 answers
1k views

Magic behind idempotent-complete categories a.k.a. why (sometimes) be Karoubian is sexier than be Abelian

It is well know that Karoubian categories (also called idempotent-complete categories) are living between additive and Abelian categories. While one of the most famous advantages to work with ...
9 votes
0 answers
289 views

3x3 lemma in triangulated categories

I am currently reading Le Stum's Rigid Cohomology and have encountered the following passage (proof of Proposition 5.2.16): The deduction made here seems to be purely "triangulated category-...
  • 24.3k
20 votes
3 answers
1k views

Are functor categories with triangulated codomains themselves triangulated?

I'm fairly confident that the following assertion is true (but I will confess that I did not verify the octahedral axiom yet): Let $T$ be a triangulated category and $C$ any category (let's say small ...
  • 14.8k
4 votes
0 answers
103 views

Higher version of 3x3 lemma

Consider a category of complexes over some additive category, and suppose we have a square that commutes up to homotopy. Then, one can consider mapping cones over all edges of the square, and obtain a ...
5 votes
1 answer
248 views

Questions about $\text{Perf}(A)$ of dg algebra $A$

[ALEXEY ELAGIN AND VALERY A. LUNTS, p.4.] Recall that triangulated category $\text{Perf}(A)$ is defined as the full thick triangulated subcategory of $D(A)$ generated by the dg $A$-module $A$. [...
  • 553
2 votes
1 answer
93 views

$T$ is a generator of $\mathcal{T}$ iff. the ideal of $T$-ghost maps is contained in the Jacobson radical of $\mathcal{T}$

Definitions Let $\mathcal{T}$ be a triangulated category with translation functor $\Sigma$. Generator: An object $T$ of $\mathcal{T}$ is a generator of $\mathcal{T}$ if $\mathcal{T}(\Sigma^n T,A)=0$ ...
  • 553
1 vote
1 answer
210 views

Computing Ext groups in a functor stable $\infty$-category

Let $I$ be a small category and $\mathcal{D}=D^b_\infty(\mathbb{Z})$ the bounded derived $\infty$-category of abelian groups. Consider the $\infty$-category $\mathcal{C}:=\mathrm{Fun}(I,\mathcal{D})$. ...
1 vote
0 answers
132 views

Can morphisms of Mayer-Vietoris triangles be completed into a $3\times 3$ square?

Let $(X,\mathcal{O}_X)$ be a topological ringed space and $(U,V)$ be an open covering of $X$ (i.e. $U$ and $V$ are two open subsets of $X$ such that $U\cup V=X$). Let $\mathcal{F}$ and $\mathcal{F}'$ ...
  • 1,335
2 votes
0 answers
88 views

Cone of a morphism of complexes that are concentrated in degree $0$ and $1$

Let $R$ be a ring and $f:A\to A'$ and $g:B\to B'$ be morphisms of $R$-modules. Let $h:C_{\bullet}\to C_{\bullet}'$ be a morphism of $R$-module complexes fitting in a morphism of distinguished ...
  • 1,335
3 votes
1 answer
117 views

Smallness condition for augmented algebras

I'm not sure this question is research level question. Sorry in advance. Hypothesis $k$ is a commutative ring. $A$ is an augmented $k$-algebra. $A^e$ is defined as the $k$-algebra $A\otimes_{k}A^{op}$...
  • 501
3 votes
0 answers
166 views

Who introduced the heart ($\mathcal{C}^\heartsuit$) notation in the context of $t$-structures on triangulated categories?

In the context of $t$-structures ([Wikipedia], [nLab], [Notes I], [Notes II], [HA, Definition 1.2.1.11)], [BBD, Définition 1.3.1]), one often writes $\mathcal{C}^\heartsuit$ for the heart of a ...
  • 6,478
1 vote
1 answer
590 views

Homotopy equivalences and Mapping Cones

Edit: Version 2: Suppose that $A,B,C$ are chain complexes and $f: A \rightarrow B$ is a chain map. Suppose that there is a homotopy equivalence $$ \text{Cone}(f: A \rightarrow B) \simeq C.$$ The chain ...
6 votes
1 answer
469 views

"Universal" triangulated category

Let $\mathcal{C}$ be some category. One way to map this category into a triangulated category is to take the category of simplicial objects $s\mathcal{C}$ (which is an $\infty$-category), take its ...
5 votes
0 answers
271 views

Proof in the realm of $\infty$ categories

I have recently started learning the language of $\infty$-categories. My approach is more to their use, rather than for their own sake. For this reason, as I feel I reached a good understanding of the ...
4 votes
1 answer
215 views

Does localization at quasi-isomorphisms imply homotopy invariance?

Usually, the derived category of some abelian category $A$ (I'm happy already with $A$-mod) is defined first taking chain complexes up to homotopy, and then localize at quasi-isomorphisms. My question ...
2 votes
1 answer
148 views

Admissibility of intersection of subcategories

Let $\mathscr{T}$ be a triangulated category, and $\mathscr{A}$ be a right admissible subcategory, which means that $i_{\mathscr{A}} : \mathscr{A} \rightarrow \mathscr{T}$ has a right adjoint $i_{\...
7 votes
2 answers
1k views

idea and intuition behind triangulated category

I have some trouble in understanding the significance of some axiom of triangulated category. If someone could explain to me each axiom with some intuition, and explain to me the intuition behind the ...
2 votes
1 answer
366 views

Why are Serre functors always exact?

Let $k$ be a field and $\mathcal{T}$ be a $k$-linear triangulated category with finite dimensional spaces of morphisms. Bondal and Kapranov proved that every Serre functor on $\mathcal{T}$ is exact (...
  • 142

1
2 3 4 5 6