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 310

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

6 votes

Is the homotopy category of a ring also the derived category of another ring?

As Eric and Karol have noted it is usually not the case that there exists such an $S$ (which I'll take to be a dga; I don't know what happens off the top of my head if one asks for $S$ to be an honest …
Greg Stevenson's user avatar
5 votes
Accepted

Classification of t-structures in derived category of R-mod?

Provided $R$ has a dualizing complex an answer is given in this (very nice) preprint of Alonso, Jeremias, and, Saorin in terms of certain filtrations on the spectrum of $R$. Corollary 6.11 is the resu …
Greg Stevenson's user avatar
50 votes
Accepted

How do I know the derived category is NOT abelian?

The following nicely does the trick I think... Lemma Every monomorphism in a triangulated category splits. Proof: Let $T$ be a triangulated category and suppose that $f\colon x\to y$ is a monomorphis …
Greg Stevenson's user avatar
5 votes
Accepted

How is this action of monoidal derived category induced?

The original action takes the form of an additive functor $A \times B \to B$ with notation as in the question (and appropriate coherence conditions giving compatibility with the monoidal structure on …
Greg Stevenson's user avatar
3 votes

Derived category with total cohomology finite dimensional: is there a better name for it?

I'm not sure if this category has a particular name - usually until someone cares enough to give one of these a name or nice notation they just have long unwieldy names. I can suggest some notation th …
Greg Stevenson's user avatar
8 votes

Equivalence of derived categories which is not Fourier-Mukai

I don't know of a counterexample but I can tell you some more situations in which it is true. Ballard has extended Orlov's result (in Equivalences of derived categories of sheaves on quasi-projective …
Greg Stevenson's user avatar
9 votes

distinguished triangles and cohomology

I just wanted to point out that this failure is quite standard rather than pathological. As a starting point it can go wrong more generally than Tyler points out. For instance there exist triangles wh …
Greg Stevenson's user avatar
9 votes
Accepted

Verdier duality via Brown representability?

The category of sheaves of $\mathbb{Q}$ vector spaces on $M$ is a Grothendieck abelian category. It follows that the derived category of such, $D(M)$ in your notation, is a well generated triangulated …
Greg Stevenson's user avatar
2 votes

Higher vanishing cycles

I wouldn't go as far as to say I understand, but what I get from it is the following: One can roughly consider the vanishing cycles functor as coming from gluing data for the recollement associated to …
Greg Stevenson's user avatar
9 votes
Accepted

Freyd-Mitchell for triangulated categories?

There are some things like what you ask for but as Tyler points out one needs restrictions on the categories one can consider. Any algebraic triangulated category which is well generated is equivalen …
Greg Stevenson's user avatar
14 votes
Accepted

Characterization of schemes whose dualizing complex is perfect

As Hailong said in his comment this only happens in the Gorenstein case; here is a sketch of an argument. Suppose $X$ is a quasi-compact quasi-separated scheme with a dualising complex $D$ and let us …
Greg Stevenson's user avatar
5 votes

How to think about model categories?

One can also view model structures as a solution to the problem of when is a localization of a category locally small. In other words when one wants to invert a collection of morphisms the morphisms i …
Greg Stevenson's user avatar