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.
290
questions
3
votes
1
answer
141
views
Image, upto direct summands, of derived push-forward of resolution of singularities
Let $\mathcal C$ be a full subcategory (closed under isomorphism also) of an additive category $\mathcal A$. Then, $\text{add}(\mathcal C)$ is the full subcategory of $\mathcal A$ consisting of all ...
3
votes
0
answers
152
views
Derived pushforward of a Schur functor, and bounded derived categories of Grassmannians
Consider Grassmanianns over fields of characteristic zero.
Let $i : Gr_{k-1,n} \rightarrow Gr_{k,n+1}$ be the `direct sum' map between Grassmannians. By universal property of Grassmannian, this map ...
4
votes
1
answer
420
views
Exact sequences in Positselski's coderived category induce distinguished triangles
I am learning about Positselski's co- and contraderived categories. We know that short exact sequences do not generally induce distinguished triangles in the homotopy category but they do in the usual ...
5
votes
1
answer
218
views
Comparing stabilization of stable category modulo injectives and a Verdier localization
Let $\mathcal A$ be an abelian category with enough injectives. Let $\mathcal I$ be the collection of injective objects. Let $\mathcal A/\mathcal I$ be the quotient category whose objects are same as ...
1
vote
1
answer
87
views
When would a left admissible triangulated subcategory be admissible
I'm walking through the proof of [1, Thm 16 at pp. 515] and am stuck at the first sentence after equation (12), where the author states that the decomposition (12) is semiorthogonal when $a\geq 0$. ...
2
votes
0
answers
67
views
From exact triangles in the stable category of maximal Cohen--Macaulay modules to short exact sequences
Let $R$ be a local Gorenstein ring. Let $\underline{\text{CM}}(R)$ be the stable category of maximal Cohen--Macaulay modules, it is known to carry a triangulated structure. My question is: If $M\to N\...
1
vote
1
answer
133
views
Why is this map a split monomorphism?
I have a question regarding a lemma in the proof of Hopkins-Neeman Correspondence.
It is the beginning part of Lemma 1.2 in the The Chromatic Tower for D(R)
Let $Y$ be an object of the derived ...
1
vote
0
answers
131
views
When is a functor of chain complexes triangulated?
Let $\textsf{A}, \textsf{B}$ be abelian categories.
Let $F: \operatorname{Ch}(\textsf{A}) \to \operatorname{Ch}(\textsf{B})$ be an additive functor of chain complexes. If $F$ preserves chain ...
2
votes
0
answers
64
views
What are the epis, monos, and extensions in the Freyd Envelope of a triangulated category?
Let $\mathcal T$ be a triangulated category (or homotopy category of a stable $\infty$-category).
Recall that the Freyd envelope of $\mathcal T$ is an abelian category $\mathcal A$ which is ...
2
votes
0
answers
64
views
Examples of tensor-triangulated categories not satisfying the local-to-global principle
From now on, we will consider only rigid-compactly generated tensor-triangulated categories. Let $(\mathcal{T}, \otimes, 1)$ be one of these categories, it is known that the thick tensor ideals of ...
3
votes
0
answers
103
views
Multiplication map by a ring element on an object vs. all its suspensions in singularity category
Let $R$ be a commutative Noetherian ring, consider the bounded derived category of finitely generated $R$-modules $D^b(R)$ and consider the singularity category $D_{sg}(R):=D^b(R)/D^{perf}(R)$. Let $r\...
3
votes
1
answer
108
views
Vanishing of self-hom in Spanier–Whitehead stabilization category
$\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\SW{SW}$Let $R$ be a commutative Noetherian ring. For $R$-modules $M,N$, let $\mathcal I_R(M,N)$ be the collection of all $f\in \text{Hom}_R(M,N)$ ...
2
votes
0
answers
139
views
Compatibility of different exchange structures $\operatorname{Ex}^*_{\#},\operatorname{Ex}^*_*,\operatorname{Ex}_{\# *}$
Let $\mathcal{Cat}$ denotes the $2$-category of small categories and $\mathscr{S}=\mathrm{Sch}/S$ be some category of schemes over a given scheme $S$, consider a $2$-functor $\mathscr{M}:\mathscr{S}^{...
7
votes
1
answer
273
views
structure in triangulated category similar to t-structure
It’s well known that the heart of a t-structure is an abelian category. My question is that can we find some structure on a triangulated category which can “produce” an exact category in analogy with ...
3
votes
0
answers
159
views
Which "tensor" endofunctors on triangulated categories are essentially exact?
Assume that $T$ is a symmetric monoidal triangulated category, and $X$ is an object in it. Then the functors $X\otimes -$ and $-\otimes X: T\to T$ are not necessarily exact since they send ...
1
vote
0
answers
78
views
Slope-stability, tilt-stability, and Bridgeland stability
Following the definition of slope-stability ($\mu$-stability) and tilt-stability ($\nu$-stability) on page 8 of https://arxiv.org/abs/1410.1585, does an object's tilt-stability imply its slope-...
1
vote
2
answers
280
views
How to compute the higher $K$-theory of a triangulated category having a semi-orthogonal decomposition?
I am starting to learn the $K$-theory of triangulated categories and is stuck with the following.
Let $\mathcal{T}$ be a triangulated category having a semi-orthogonal decomposition $\langle \mathcal{...
3
votes
0
answers
139
views
Direct images commute with homotopy colimits
In Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique (II), Ayoub defined the notion of a stable homotopical algebraic derivators; roughly, for a ...
3
votes
1
answer
237
views
"Essential injectivity" of Balmer spectra
Let $(\mathcal T, \otimes)$ be a tensor tringulated (tt-)category. Balmer defined a functor from the category of tt-categories to the category of locally ringed spaces, called the Balmer spectra or tt-...
2
votes
1
answer
236
views
Triangulated structure on complexes of mixed Hodge structures
I'm trying to read parts of the Peters Tata Lectures on "Motivic Aspects of Mixed Hodge structures"
One aspect I don't really understand is the construction of the ''mixed cone'' for ...
4
votes
2
answers
217
views
Moral reason for negative sign in rotation axiom for triangulated categories
I would like to know if there is a "moral" reason why in the definition of triangulated categories the "rotation axiom" TR2 requires that we have to add a negative sign to an arrow ...
4
votes
1
answer
377
views
Can higher G-theory of Noetherian schemes be computed by derived categories?
Recently I learned from the Stacks project that for every abelian category ${\mathcal A}$, there is a natural isomorphism $K_0({\mathcal A})\cong K_0(D^{b}(\mathcal A))$.
When we set $\mathcal A$ to ...
6
votes
1
answer
162
views
When is an $\infty$-categorical localization of an additive 1-category enriched in topological abelian groups?
Let $\mathcal A$ be an additive 1-category, equipped with some class of weak equivalences $\mathcal W$. Let $\mathcal A[\mathcal W^{-1}]$ be the localization of $\mathcal A$ at $\mathcal W$ (so $\...
22
votes
3
answers
1k
views
Why the stable module category?
Let $R$ be a ring (usually assumed to be Frobenius). The stable module category is what you get when you take the category $\mathsf{Mod}_R$ of $R$-modules, and kill the projective modules. (Of course, ...
0
votes
1
answer
187
views
Generators of triangulated category and Grothendieck groups
Let $\mathcal{T}$ be a triangulated category that is generated by one object, say $A$ in the sense that the smallest triangulated subcategory containing $A$ and closed under coproducts and ...
2
votes
1
answer
172
views
Literature request: $K^b(\text{proj} A)$ Krull-Schmidt for $\text{gl dim}A = \infty$ and general results about its Grothendieck group
I'm interested in the Grothedieck group of the triangulated category $K^b(\text{proj}A)$ when $A$ is a finite dimensional algebra over a field of infinite global dimension.
For this purpose, It would ...
4
votes
1
answer
214
views
Decompose an 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}[...
3
votes
0
answers
319
views
Mapping cone is a functor
It is a well-known general fact that in a triangulated category, the cone $Z$ of a morphism $X \longrightarrow Y$ (that means there exists a distinguished triangle $X \longrightarrow Y \longrightarrow ...
0
votes
0
answers
155
views
Cone of morphism induced by Serre duality
For a smooth projective variety $X$, Serre duality gives an exact autoequivalence on the derived category :
$$
S_X : D^\flat(X) \to D^\flat(X), \hspace{3em} S_X(-) = - \otimes \omega_X[\dim X]
$$
...
3
votes
1
answer
176
views
Autoequivalence group from semiorthogonal decomposition
Suppose we have a semiorthogonal decomposition $\mathcal{D} = \langle \mathcal{A}, \mathcal{B} \rangle$, and suppose we know fully the autoequivalence groups $\mathrm{Aut}(\mathcal{A})$ and $\mathrm{...
3
votes
1
answer
161
views
Can the Picard-graded homotopy of a nonzero object be nilpotent?
Let $\mathcal C$ be a symmetric monoidal stable category such that the thick subcategory generated by the unit is all of $\mathcal C$ -- in particular, every object is dualizable (I'm particularly ...
2
votes
0
answers
105
views
Did anybody study split homotopy cartesian squares in triangulated categories?
Let us call a commutative square
$$ \require{AMScd}
\begin{CD}
A @>{g'}>> B \\
@V{f'}VV @VV{f}V \\
C @>>{g}> D
\end{CD}
$$
in a triangulated category split homotopy ...
4
votes
1
answer
143
views
Rotation axiom for the triangulation on a derivator
I'm having some trouble following an argument in Moritz Groth's paper on Derivators, pointed derivators and stable derivators. More precisely, I'm currently stuck on the rotation axiom of the ...
5
votes
1
answer
249
views
Monoidal triangulated categories
I have a monoidal (not symmetric) triangulated category $(A,\otimes, 1)$ with unit 1.
Define $C$ the localizing subcategory of $A$ generated by the unit 1.
is $(C, \otimes, 1) $ a symmetric monoidal ...
3
votes
2
answers
354
views
Is there an elementary reason that this colocalisation map of complexes is a quasi-isomorphism?
A fact about triangulated categories is that (exact) localisation functors and so-called colocalisation functors come in pairs, making an exact localisation triangle. I've tried to come up with less ...
2
votes
1
answer
303
views
Grothendieck group of triangulated categories
Let $A$ be a full triangulated subcategory of $B$, $u:A\rightarrow B$ the corresponding embedding. Let $f:B\rightarrow A$ be a triangulated functor
satisfying:
$f\circ u = id$
Let $b \in B $, if $f(b)...
1
vote
1
answer
137
views
Finitely generated module, which is a virtually small complex, embeds into a module of finite projective dimension?
Let $R$ be a commutative Noetherian ring, and let $\text{mod } R$ denote the abelian category of finitely generated $R$-module. Consider the bounded derived category $D^b(\text{mod } R) $ which is a ...
4
votes
0
answers
109
views
Classification of 2-periodic triangulated categories
Let $T$ be an algebraic triangulated (k-linear over a field, Hom-finite, idempotent-complete) category. Call $T$ 2-periodic if $\Omega^2(X) \cong X$ for all $X \in T$.
Question 1: Is there a ...
1
vote
1
answer
178
views
When is an object-preserving autoequivalence isomorphic to the identity?
Consider a triangulated category $\mathcal{T}$ and an exact autoequivalence $\Phi:\mathcal{T}\rightarrow \mathcal{T}$ such that $\Phi(F)=F$ for any object $F$ in $\mathcal{T}$, when could we say that $...
8
votes
0
answers
329
views
What is the Balmer spectrum of the p-complete stable homotopy category?
When doing computations with spectra, we first reduce to working at a prime p by using the arithmetic fracture theorem: (the homotopy groups of) a spectrum of finite type can be recovered from its ...
3
votes
2
answers
292
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 ...
3
votes
0
answers
144
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 ...
5
votes
0
answers
292
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 ...
2
votes
1
answer
151
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 ...
4
votes
0
answers
321
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 ...
2
votes
0
answers
88
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
117
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 ...
10
votes
2
answers
1k
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 ...
1
vote
1
answer
157
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$ ....
3
votes
1
answer
455
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 \...