38 votes
Accepted

What is a triangle?

To answer your first precise questions: Yes, every distinguished triangle in $D(A)$ comes from a short exact sequence. For every distinguished triangle $X \to Y \to \mathrm{Cone}(f) \stackrel{+1}\to $...
Dan Petersen's user avatar
  • 39.3k
30 votes
Accepted

What is the correct definition of localisation of a category?

Actually, both of these definitions look weird to me. I would say there are two natural ways to define the localization $C[S^{-1}]$ by a universal property, as follows. For any category $D$, let ${\...
Mike Shulman's user avatar
  • 65.1k
23 votes
Accepted

Functorial kernel in derived category

Let $\mathcal{C}$ be a stable $\infty$-category. Then $\mathcal{C}$ has a homotopy category $h \mathcal{C}$, which is triangulated. The collection of morphisms $f: X \rightarrow Y$ of $\mathcal{C}$ ...
Jacob Lurie's user avatar
  • 17.6k
22 votes
Accepted

Constructive homological algebra in HoTT

As regards HoTT, my own current opinion is that the best way to do "homological algebra" therein is by working directly with spectra. With only a working mathematician's knowledge of homological ...
Mike Shulman's user avatar
  • 65.1k
21 votes
Accepted

idea and intuition behind triangulated category

It is risky to give a motivation for any concept in math and worse that of triangulated category that it is in a sense is a transitional concept form usual mathematics to mathematics up to homotopy. ...
Leo Alonso's user avatar
  • 8,944
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\...
Jeremy Rickard's user avatar
20 votes
Accepted

Is the functor from the unbounded derived category of coherent sheaves into the derived category of quasi-coherent sheaves fully faithful?

No, not always. In Positselski, Leonid; Schnürer, Olaf M., Unbounded derived categories of small and big modules: is the natural functor fully faithful?, J. Pure Appl. Algebra 225, No. 11, Article ID ...
Jeremy Rickard's user avatar
17 votes
Accepted

Projective objects in the derived category of chain complexes

In a stable $\infty$-category, there are no nontrivial projectives. Of course, $0$ is always projective. Now let $X$ be an arbitrary projective in some stable $C$, $X\simeq\Sigma \Omega X$ is a ...
Maxime Ramzi's user avatar
  • 13.6k
17 votes
Accepted

Why do we say IndCoh(X) is analogous to the set of distributions on X?

The connection is perhaps a bit more clear if you think about the corresponding $\infty$-categories of compact objects: the claim is that coherent sheaves behave like distributions while perfect ...
G. Stefanich's user avatar
16 votes

Poincare duality on the level of complexes

One way of finding a "fully derived" version of Poincaré duality is Atiyah duality. This says that for any closed manifold $M$ there is an equivalence of spectra (in the sense of algebraic topology) $$...
Denis Nardin's user avatar
  • 16.2k
16 votes
Accepted

Derived categories and classical theorems in homological algebra

Your question might be compacted to someting like: Do I need derived categories to study cohomology of sheaves? Of course, the answer depends on your particular interests. Let me anyway give you some ...
Leo Alonso's user avatar
  • 8,944
16 votes

So what exactly are perverse sheaves anyway?

If you're looking for a more geometric interpretation of perverse sheaves, you might be interested in MacPherson's 1990 lecture notes "Intersection Homology and Perverse Sheaves." As far as I know, I ...
Greg Friedman's user avatar
15 votes
Accepted

Example of an additive functor admitting no right derived functor

Let ${\cal C}$ be the category of finite dimensional ${\bf Z}/2$-vector spaces equipped with a ${\bf Z}/2$ action, let ${\cal C'}$ be the category of finite dimensional ${\bf Z}/2$-vector spaces and ...
Yonatan Harpaz's user avatar
15 votes
Accepted

Splitting of exact triangles in derived category

In any triangulated category, the necessary and sufficient condition for a distinguished triangle $A\to B\to C\to A[1]$ to split is that the morphism $C\to A[1]$ in this distinguished triangle ...
Leonid Positselski's user avatar
15 votes
Accepted

Derived Category of the derived critical locus, is it the category of Matrix Factorizations?

These are indeed related. The first thing to know is that they both ``live'' (i.e., sheafify) over the critical locus (this is not saying much if you assume $W$ has isolated critical points, but ...
G. Stefanich's user avatar
15 votes
Accepted

A concrete example of the deficiency of triangulated categories?

Since I have already given a similar answer recently, I don't want to be branded as the "anti-triangular" guy: the formalism of triangulated categories can be useful in certain settings. That said ...
Denis Nardin's user avatar
  • 16.2k
15 votes

Recovering an abelian category from the Ext of its simple objects

This will only be possible when the abelian category $C$ is "Koszul" or formal in some sense. What will always be true is that the bounded derived category $D^{b}(C)$ (with its $dg$ or ...
user1092847's user avatar
  • 1,327
14 votes

What is a triangle?

You really seem to be looking for intuition for the triangulated structures on derived categories of Abelian categories, so here goes: (Co-)chain complexes are like (Abelianised) pointed homotopy ...
Adrian Clough's user avatar
14 votes
Accepted

Why are the source-target rules of composition always strictly defined?

However, every definition I've seen for higher categories assumes that the source of a composite f;g is equal to the source of f (in diagrammatic notation) and the target of f;g is equal to that of g. ...
Dmitri Pavlov's user avatar
13 votes
Accepted

Different definition of sheaf cohomology

Taking global sections is the same thing as computing the hom from $O_X$. In other words, there is an isomorphism of functors $\Gamma(X,-)\cong\hom(O_X,-)$, so both functors have the same derived ...
Mariano Suárez-Álvarez's user avatar
13 votes
Accepted

Does formation of the derived $\infty$-category preserve pushouts?

A hands-on explanation: Relative tensor products like $B\otimes_AC$ are computed as the colimit of the simplicial object $B\otimes A^{\otimes \bullet} \otimes C$. The functor $\mathsf{Mod}_{(-)}: \...
Dylan Wilson's user avatar
  • 13.2k
13 votes
Accepted

Embedding of a derived category into another derived category

Any fully faithful functor from $D^b(\mathcal{A})$ has adjoints (because $D^b(\mathcal{A})$ is a smooth and proper category), so its image is an admissible subcategory. A recent result from Dmitrii ...
Sasha's user avatar
  • 37.2k
13 votes
Accepted

Computations in condensed mathematics, page 32-34

Correct, as both sides are the $S$-indexed direct sum of copies of $\mathbb{Z}$. For the LHS this holds by the universal property of $\mathbb{Z}[S]$, and for the RHS note that $C(S,\mathbb{Z}) = \...
Dustin Clausen's user avatar
12 votes
Accepted

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

Examples can be found amongst the derived categories of algebraic stacks, see Hall--Rydh: Algebraic groups and compact generation of their derived categories of representations, in particular theorem ...
pbelmans's user avatar
  • 1,486
12 votes

What is the negative cyclic homology of a smooth projective variety?

There are conceptually simple definitions, but they require a more symmetric definition of Hochschild homology. The Hochschild homology of $X/k$ (with coefficients in $\mathcal O_X$) is the homology ...
Marc Hoyois's user avatar
  • 8,692
12 votes
Accepted

Derived category of a quotient

What it is true is that $$ D^*(A/B) \simeq D^*(A)/D_B^*(A), $$ where the category $D_B^*(A)$ is the subcategory of $D^*(A)$ whose homologies lie in $B$. In general it may not agree with $D^*(B)$. ...
Leo Alonso's user avatar
  • 8,944
12 votes

Applications of derived categories to "Traditional Algebraic Geometry"

The global Torelli Theorem for cubic fourfolds says the following. Let $X_1 \subset \mathbb{P}^5$ and $X_2 \subset \mathbb{P}^5$ be smooth cubic fourfolds. The fourfolds $X_1$ and $X_2$ are ...
12 votes

Are eigenvalues preserved under derived equivalence?

Let $A$ be the Nakayama algebra with Kupisch series [3,4], that is $A$ has quiver with two points 1 and 2 and an arrow $a$ from 1 to 2 and an arrow $b$ from 2 to 1 with relations $I=\langle aba\rangle$...
Mare's user avatar
  • 26k
11 votes
Accepted

Complete the following sequence: point, triangle, octahedron, . . . in a dg-category

I believe these are called 'hypersimplices'. See 1) Gelfand, Manin "Methods of homological algebra", Ex. IV.2 1(c), p. 260. 2) Belinson, Bernstein, Deligne "Faisceaux pervers", Remarque 1.1.14, p. ...
Piotr Achinger's user avatar
11 votes
Accepted

Endomorphisms in the derived category

It slightly depends what you mean by "arrange that $X=Y$". As is the statement is not true. There are complexes with endomorphisms which are not realizable. However, what is true is the following: ...
S. carmeli's user avatar
  • 4,064

Only top scored, non community-wiki answers of a minimum length are eligible