Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
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.
7
votes
Accepted
A particular morphism being zero in the singularity category
Yes.
More generally, if $\mathcal{T}$ is a triangulated category and $\mathcal{S}$ is a thick subcategory, then any morphism $\varphi:M\to N$ of $\mathcal{T}$ that becomes zero in $\mathcal{T}/\mathca …
3
votes
Comparing stabilization of stable category modulo injectives and a Verdier localization
This follows by applying Theorem 3.8 of Beligiannis' 2000 paper to the opposite
categories.
$\mathcal{I}$ is a full additive subcategory of $\mathcal{A}$, closed under
direct summands. It is covariant …
6
votes
Accepted
Decompose an unbounded (cochain) complex in the homotopy category
Yes. Let
$$\tau^{\leq0}A^\bullet:= \cdots\to A^{-2}\to A^{-1}\to\ker(d^0)\to0\to\cdots$$
be the usual truncation of $A^\bullet$. Then the mapping cone of the inclusion map $\tau^{\leq0}A^\bullet\to A^ …
2
votes
Accepted
Finitely generated module, which is a virtually small complex, embeds into a module of finit...
For every $M$, $M\oplus R$ is virtually small, so your question is equivalent to the question: Does every finitely generated $R$-module embed in a finitely generated module of finite projective dimen …
9
votes
Accepted
Grothendieck group of triangulated categories
Let $A$ be a triangulated category, and let $B=A\times A$, with $A$ regarded as a full triangulated subcategory of $B$ via the embedding $u(X)=(X,0)$, and let $f:B\to A$ be the functor $f(X,Y)=X\oplus …
2
votes
Accepted
On the definition and an example of silting/tilting subcategories in a triangulated categori...
$\operatorname{Hom}_{\mathcal{T}}(\mathcal{M}, \mathcal{M}[>0]) = 0$ means that $\operatorname{Hom}_{\mathcal{T}}\left(X, \Sigma^i(Y)\right) = 0$ for all objects $X,Y$ of $\mathcal{M}$ and all integer …
7
votes
Accepted
How to prove a lemma of Rouquier on the dimension of triangulated categories?
If $\mathcal{T}_{1}=\langle M_{1}\rangle_{d_{1}+1}$ and
$\mathcal{T}_{2}=\langle M_{2}\rangle_{d_{2}+1}$, then
$\mathcal{T}_{1}\ast\mathcal{T}_{2}\subseteq\langle M_{1}\oplus
M_{2}\rangle_{d_{1}+d_{2} …
3
votes
Accepted
Smallness condition for augmented algebras
No.
Let $k$ be a field, and let $A$ be the algebra of upper triangular $2\times 2$ matrices over $k$, with augmentation map $\pmatrix{a&b\\0&c}\mapsto a$.
$A$ and $A^e$ have finite global dimension, s …
3
votes
Accepted
Admissibility of intersection of subcategories
It is possible. Given $\mathscr{T}$, $\mathscr{A}$ and $i_\mathscr{A}^R$, it is often possible to find a subcategory $\mathscr{B}$ of $\mathscr{T}$ so that $\mathscr{A}\cap\mathscr{B}=0$ (and so certa …
5
votes
Accepted
Are hearts of all $t$-structures on smashing triangulated categories closed with respect to ...
This is Proposition 3.1.2 in the thesis of Parra, "Hearts of $t $-structures which are Grothendieck or module categories".
5
votes
Accepted
When is $\Omega^1$ an equivalence?
There's an elementary proof that if $\Omega$ is a self-equivalence of $\underline{C}$ then $C$ also has enough injectives, and projectives and injectives coincide. In particular, this shows that if $C …
5
votes
Accepted
Comparing self-equivalences of a triangulated category and automorphisms of its Grothendieck...
One obstruction is that if all Hom-sets are finite dimensional vector spaces, and for all objects $X$ and $Y$, $\text{Hom}(X,Y[i])=0$ for all but finitely many $i$, then any self-equivalence must pres …
4
votes
Accepted
Generating $K^b(\mathrm{proj})$ as a triangulated category from a full subcategory
It means that $K^b(\text{proj }A)$ is the smallest full triangulated subcategory containing $\text{add}(T)$. This is spelled out more explicitly in Section 5 of the earlier paper "Morita theory for de …
5
votes
Accepted
On various relations between "additional axioms" for AB4 and Grothendieck abelian categories
I don't think (3) implies (1).
For example, the opposite category of the category of abelian groups satisfies (3), but is not AB5.
1
vote
Accepted
On countable homotopy colimits in (the derived categories of) AB3 abelian categories
$\textrm{AB4}$ (and a fortiori $\textrm{AB3}$) is not enough, as it's not true for the opposite category of a module category, which is $\textrm{AB4}$.
Let $R$ be any ring, and consider the inverse s …