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 |
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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^ …
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 …
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 …
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 …
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 …