Skip to main content
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
Results tagged with
Search options not deleted user 22989

For questions about the derived categories of various abelian categories and questions regarding the derived category construction itself.

13 votes
Accepted

Lifting isomorphisms between derived categories

Let $A=k[x]$ and $B=k[x]/(x^2)$, let $X$ be the complex $\hskip{.1in}\dots\to 0 \to B\stackrel{x}{\to} B\to 0\to \dots$, and let $Y$ be $\hskip{.1in}\dots\to 0\to k\stackrel{0}{\to}k\to 0\to\dots$. Th …
Jeremy Rickard's user avatar
7 votes

Whether a partial tilting complex has a complement

There's a simple counterexample in Section 8 of Rickard, Jeremy, Morita theory for derived categories, J. Lond. Math. Soc., II. Ser. 39, No. 3, 436-456 (1989). ZBL0642.16034. Let kQ be the path alge …
Jeremy Rickard's user avatar
5 votes
Accepted

Interchanging the tensor product with infinite product

The class of objects with property (P) is a thick subcategory of $\mathbf{D}(R^{op})$ (i.e., a triangulated subcategory closed under taking direct summands), and contains $R$, so it contains all perfe …
Jeremy Rickard's user avatar
4 votes
Accepted

Vanishing natural transformation and strong generator

This isn't really an answer to the question, but an example to show how badly things can go wrong. Let $M$ be any indecomposable object of $D^b(X)$. The functor $\operatorname{Hom}(M,-)$, from $D^b(X …
Jeremy Rickard's user avatar
6 votes

Is the image of a idempotent morphism in $\mathcal{K}(\mathcal{A})$ defined in the naive way?

No. For example, let $A$ be any object of $\mathcal{A}$, let $X$ be the complex $$\dots\to0\to A\oplus A\stackrel{\begin{pmatrix}1&0\end{pmatrix}}{\longrightarrow}A\to0\to\dots$$ and $\alpha:X\to X$ t …
Jeremy Rickard's user avatar
2 votes
Accepted

(Co)localization of the derived category

I think the answer is no in the following very simple example. Let $R$ be the path algebra of the quiver $\bullet\rightarrow\bullet$ over a field $k$. Then since $R$ is hereditary and of finite repre …
Jeremy Rickard's user avatar
5 votes

Obstruction to splitting an object in derived category into a sum of two-term complexes

As pointed out in nikola karabatic's answer, a decomposition of M as a direct sum of two-term complexes induces decompositions $H^i=H^i_a\oplus H^i_b$ for each $i$. These have the property that $\xi_i …
Jeremy Rickard's user avatar
4 votes
Accepted

Indecomposable objects in bounded derived category of $\mathbb C[x]/x^2$-mod

Up to shifts, every indecomposable object is of one of the forms described in the question. I don't know an explicit reference, but here's a sketch of a proof. By induction on the length, it's not h …
Jeremy Rickard's user avatar
4 votes
Accepted

perfect modules over polynomial algebra

Yes. The perfect objects in $\mathbf{D}(R)$ are the objects isomorphic to bounded complexes of finitely generated projective modules, and $\mathbb{k}$ is isomorphic in $\mathbf{D}(R)$ to its minimal p …
Jeremy Rickard's user avatar
4 votes

Yoneda extensions in derived categories

There is such a sequence, but it's not very interesting. Given an element of $\text{Hom}_{D^b(\mathcal{A})}(E,F[i])$, then in the same way you describe, this gives a distinguished triangle $$F\to Z_{i …
Jeremy Rickard's user avatar
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^ …
Jeremy Rickard's user avatar
4 votes
Accepted

Showing that the stable module category of a ring $R$ restricted to maximal Cohen-Macaulay o...

If $M$ is a maximal Cohen-Macaulay module for a Noetherian Gorenstein ring $R$, then it follows easily by induction on the projective dimension of $N$ that $\operatorname{Ext}^i_R(M,N)=0$ for all $i>0 …
Jeremy Rickard's user avatar
9 votes

Is there a compact generated triangulated category which does not have a compact generator?

Possibly the stack example in pbelman's answer is of this form, but an elementary way to construct examples is by taking infinite products. Let $\{\mathcal{C}_i\}_{i\in I}$ be an infinite collection …
Jeremy Rickard's user avatar
20 votes
Accepted

Recovering an abelian category from the Ext of its simple objects

Here's a counterexample that appears in nature. Fix a prime $p$ and a field $k$ of characteristic $p$, and let $G=C_{p^{n}}$ be a cyclic group of order $p^{n}$ (where $n\geq1$ if $p$ is odd, and $n\ge …
Jeremy Rickard's user avatar
6 votes
Accepted

A simple colimit in the derived category?

No, not in general. For example, let $R=k[x]/(x^2)$ for a field $k$ and let $X$ be the object $$\dots\stackrel{x}{\to}R\stackrel{x}{\to}R\stackrel{x}{\to}R\to0\to0\to\dots$$ of the derived category o …
Jeremy Rickard's user avatar

15 30 50 per page