**1**

vote

**0**answers

161 views

### Model structure on the category of chain complexes in an abelian category gives rise to the derived category

Let $\mathcal A$ be an abelian category with enough projectives. Consider a morphism $f \colon X^\bullet \longrightarrow Y^\bullet$ in the category $C(\cal A)$ of chain complexes in $\mathcal A$.
Is ...

**2**

votes

**1**answer

158 views

### admissible subcategories over non algebraically closed fields

Let $X$ be a smooth projective variety over a field $k$ and $D^b(X)$ its bounded derived category. Let $\bar{X}$ the base change to $\bar{k}$. Let $A$ be a triangulated subcategory of $D^b(X)$ that ...

**2**

votes

**0**answers

200 views

### How do I find abelian subcategories of periodic triangulated categories?

If $T$ is a triangulated category, then the formalism of $t$-structures gives a way to find abelian subcategories inside. You're supposed to find two strictly full subcategories, $T^{\le 0}, T^{\ge ...

**2**

votes

**1**answer

139 views

### Bondal counter example to the Jordan-Holder property in derived categories

Can anybody give me the reference where this counter-example is explained in detail?. Consists on the following
Bondal considered a quiver $Q$ with some relations and proved that $D(Q)$ has two ...

**7**

votes

**2**answers

487 views

### What is a good reference (preferably thorough) for the Derived Category of a scheme/orbifold/stack?

I've sort of circled around the idea of derived categories a few times, read a few introductory papers ("Derived Categories for the working mathematician", e.g.), and feel now that this is something ...

**1**

vote

**1**answer

181 views

### Uniqueness of the canonical etale coverings

This is a construction [Definition 6.1] given in the paper D-equivalence and K-equivalence by Kawamata.
Let $X$ be a normal quasiprojective variety such that the canonical divisor $K_X$ is a ...

**1**

vote

**1**answer

221 views

### Derived equivalence of two varieties which are isomorphism over certain open subvarieties

Let $X,Y$ be varieties over $\mathbb{C}$, and $D(X),D(Y)$ be the derived categories of bounded complex of coherent sheaves. Let $U \subset X, V \subset Y$ be open subvarieties， and let $X-U, Y-V$ have ...

**3**

votes

**1**answer

311 views

### Commutativity of Tor

Let $A$ be a commutative ring with $1$ and $M,N$ be $A$-modules. Can you give a quick proof that $\textrm{Tor}_i(M,N) \cong \textrm{Tor}_i(N, M)$ using derived categories?
In his Homological algebra ...

**4**

votes

**1**answer

280 views

### Additive functors and Derived Categories

I have been learning about derived categories from Hartshorne's "Residues and Duality". One of the main theorems, as it is presented there seems to be the canonical isomorphism $RF \circ RG \cong R(F ...

**1**

vote

**1**answer

85 views

### is the orthogonal complement of a saturated sequence saturated?

Suppose I have a smooth projective variety $X$, and a semi-orthogonal decomposition of its bounded derived category:
$$D^b(X)= < A, E_1, E_2, ... , E_n >$$
where the $E_i$ are fully faithful, ...

**3**

votes

**1**answer

147 views

### morphism of injective objects

Let $A,B$ be two bounded below complexes in module category, and $A \longrightarrow I$ (resp. $B \longrightarrow J$) a injective resolution. If $f: A \longrightarrow B$ is a morphism of complexes.
My ...

**2**

votes

**5**answers

496 views

### A statement for a triangulated category generated by a subset

Let $D$ be a triangulated category (the triangulated category in my mind is $D^{b}(X)$, that is the derived category of bounded complex of coherent sheaves on a smooth projective variety), $A \subset ...

**2**

votes

**1**answer

407 views

### Calculate $Hom$ in derived category

Suppose $X$ is a smooth variety over $\mathbb{C}$. Let $K^{b}(X)$ be the homotopy category of bounded complex of coherent sheaves, and $D^{b}(X))$ be the derived category of bounded complex of ...

**9**

votes

**0**answers

330 views

### McKay correspondence and tensor products

The theorem of Bridgeland-King-Reid says that if $M$ is a smooth quasi-projective complex variety of dimension at most $3$ on which a finite group $G$ acts such that the canonical sheaf $\omega_M$ is ...

**1**

vote

**1**answer

172 views

### Compact generator of $D(\mathbb{P}^1)$

I suppose that Beilinson's compact generator (and, in fact, tilting object) $\mathcal{O} \oplus \mathcal{O}(1)$ in $D(\mathbb{P}^1)$ is the most well known example. I have the following simple ...

**3**

votes

**1**answer

211 views

### what are mutations of sheaves all about?

Suppose I have a smooth projective variety $X$ and a semi-orthogonal decomposition of its bounded derived category of coherent sheaves $D^b(X)$. Then I can apply right or left mutations to the full ...

**4**

votes

**0**answers

200 views

### What is the structure of the stack of complexes supported in dimension less than r?

Let $X$ be something. (smooth and projective variety over C are my assumptions)
The stack $M$ parameterising coherent sheaves on $X$ splits as a disjoint union of open and closed substacks $M_\alpha$, ...

**3**

votes

**0**answers

218 views

### Definition of derived category of a stack

In their book, Bernstein an Lunts define the equivariant derived category in several ways. One can be expressed as follows:
Let $X$ be a say complex variety with an action by an algebraic group $G$.
...

**6**

votes

**1**answer

274 views

### Are constructible derived categories invariant up to weak homotopy equivalence?

Let $X$ and $Y$ be two topological spaces and $R$ be commutative ring. Let $D_c^b(X, R)$ and $D_c^b(Y,R)$ be their respective bounded derived categories of constructible sheaves of $R$-modules. I ...

**8**

votes

**2**answers

392 views

### Recovering an abelian category out of its derived category

I'm trying to learn more about derived category stuff and my curiosity has made me to ask these questions. Sorry if I'm being sloppy, I'm a new learner.
In Wikipedia it has been stated that since ...

**4**

votes

**2**answers

432 views

### Examples of tilting objects that don't come from exceptional sequences

This is a question on geometric tilting theory. On smooth projective variety it is possible to define in general tilting object as perfect complex that satisfy some properties, but are there examples ...

**5**

votes

**0**answers

204 views

### Not isomorphic varieties with isomorphic tilting algebras

Let $X$ be a smooth projective variety over a field, than tilting object $T$ on $X$ is a perfect complex that is a compact generator of the derived category $\operatorname{D}(QCoh(X))$ and satisfies ...

**6**

votes

**1**answer

354 views

### A question on the “natural metric” on the space of Bridgeland stability condition

I have a question on the "natural metric" on the space of Bridgeland stability condition.
A stability condition $\sigma=(Z,\mathcal{P})$ on a triangulated category $\mathcal{D}$ consists of a linear ...

**0**

votes

**1**answer

189 views

### Recovering torsion in singular homology from cplx of singular chains

For a simply connected simplicial complex, a theorem of Whitehead (Derived categories for the working mathematician, bottom of page 2) explains that the associated chain complexes with coefficients in ...

**7**

votes

**0**answers

178 views

### Evens norm as a derived functor

In the theory of cohomology of groups there are several important maps between cohomologies: restriction, inflation, transfer and Evens norm. The first three of them can be clearly seen on the level ...

**0**

votes

**0**answers

105 views

### descent of a complex of sheaves

Let X a projective variety over an algebraically closed field on which an abelian variety $A$ acts freely.
Then $X/A$ is a projective variety. Let $f:X\rightarrow X/A$
Let $K\in D_{c}^{\leq ...

**6**

votes

**0**answers

473 views

### On the derived category of constructible étale sheaves

The derived category $D^{\flat}_{c}(X,R)$ of constructible sheaves of $R$-modules on $X_{et}$ is defined as the full subcategory of $D^b(X,R)$ whose cohomology sheaves are all constructible.
Clearly, ...

**5**

votes

**1**answer

380 views

### Geometric intuition behind perverse coherent sheaves?

I would like to know an intuition behind perverse coherent sheaves. I am aware that it is induced by a heart of another t-structure on the derived category. Are there any better, probably more ...

**6**

votes

**2**answers

728 views

### Derived category of varieties and derived category of quiver algebras

I have heard that derived category of coherent sheaves $\mathrm{Coh}(X)$ on any Fano varieties $X$ may be realized as derived category $\mathrm{Coh}(\mathrm{Rep}(Q,W))$ of representation of quiver $Q$ ...

**5**

votes

**2**answers

988 views

### The derived category of the heart of a t-structure

Suppose $\mathcal{D}$ is a triangulated category and that we are given a $t$-structure $(\mathcal{D}^{\leq 0},\mathcal{D}^{\geq 0})$ on $\mathcal{D}$. The heart of the $t$-structure, ...

**0**

votes

**0**answers

96 views

### Periodicity Theorem for D(R)

For a derived category of a Noetherian ring (or perhaps more generally), can we talk about a Periodicity Theorem? We have Thick Subcategory Theorems and Nilpotence Theorems (HPS 91) for D(R), and in ...

**18**

votes

**3**answers

2k views

### Why are derived categories natural places to do deformation theory?

It seems to me that a lot of people do deformation theory (of schemes, sheaves, maps etc) in derived category (of an appropriate abelian category). For example, the cotangent complex of a morphism ...

**5**

votes

**1**answer

552 views

### Kodaira-Spencer map as a “differential”

Using the laguage of derived category, the Kodaira-Spencer map
$\kappa(x) : Ext^1_X(k(x), k(x)) \rightarrow Ext^1_X(\mathcal F_x, \mathcal F_x)$
can be described as a Fourier-Mukai transformation ...

**0**

votes

**0**answers

126 views

### D(R) versus Ho(HR)?

Given an algebraic ring, how is its derived category related to the homotopy category of HR modules?
Thanks. This is essentially a reference request, since I know there may be a lot (or nothing) to ...

**1**

vote

**2**answers

563 views

### Theorem on composition of derived functors, question about proof

I got a question about a proof I found in Gelfand-Manin's "Methods of homological algebra" (Page 200):
Theorem 1. Let $\mathcal{A}, \mathcal{B}, \mathcal{C}$ be three abelian categories, $F: ...

**1**

vote

**0**answers

347 views

### Additive functors preserving quasi-isomorphism

Let $F: \mathcal{A} \rightarrow \mathcal{B}$ be an additive functor between abelian categories (with enough injectives and projectives) and $K^\cdot, L^\cdot$ objects of $\textrm{Ch}(\mathcal{A})$. ...

**2**

votes

**1**answer

297 views

### Showing morphism of sheaves is zero

I work in derived category $D^b(X)$ of constructible sheaves on a reasonable space $X$. Let $j\colon U\to X$ be an open inclusion and $i\colon Y\to X$ the closed complement. Let $M,N\in D^b(X)$ and ...

**4**

votes

**1**answer

459 views

### Unbounded complexes, resolutions and computation of derived functors

Hey guys, let $F: \mathcal{A} \rightarrow \mathcal{B}$ be a left exact functor between abelian categories with enough injectives, let $K \in Kom(\mathcal{A})$ be an unbounded complex, I've heard that ...

**2**

votes

**2**answers

282 views

### Obtaining derived functors from derived functors of similar complexes or “bluntly truncated” unbounded complexes (without adding 0's to the left)

I don't know if I'm actually using the right terminology here, to be clear I'm going to state explicitly what I'm trying to figure out to see if I can be pointed in the right direction:
Let $F: ...

**4**

votes

**0**answers

199 views

### Leray degeneration for smooth projective morphisms and formality of families of compact Kähler manifolds

Let $\pi \colon X \to S$ be a smooth projective morphism of algebraic varieties, say over $\mathbf C$. By Deligne's argument ("Théorème de Lefschetz...", 1968), there is for each $i$ an injection
$$ ...

**3**

votes

**1**answer

435 views

### Semiorthogonal decompositions for Fano 3-folds and 4folds

Let $X$ be a projective Fano 3-fold or 4-fold and let $D^b(X)$ be the bounded derived category of coherent sheaves on $X$. For what $X$ is it known a semi orthogonal decomposition into indecomposable ...

**4**

votes

**0**answers

302 views

### Stability conditions for coherent sheaves and GIT

I am learning stability conditions for derived categories of coherent sheaves, following Bridgeland, and coming from a vector bundles background. $\mu$-stability for vector bundles has a clear GIT ...

**4**

votes

**1**answer

426 views

### (Co)localization of the derived category

Let me start saying that a similar question can be stated for general locally Noetherian Grothendieck categories but I state it for categories of modules as it is simpler. So we fix a right Noetherian ...

**7**

votes

**1**answer

642 views

### got any tricks to build up t-structures on derived categories?

Are there any good tricks to construct a heart of a t-structure? (I'm thinking on the derived category of coherent sheaves of some variety)
I'll start with the only one I know. If $(T,F)$ is a ...

**4**

votes

**2**answers

348 views

### Cone of a morphism in an abelian category when considered as a morphism in derived category. Connection between 4-term exact sequences and distinguished triangles.

Let $\mathcal{A}$ be an abelian category and let
$$
0 \rightarrow E \rightarrow F \rightarrow G \rightarrow 0
$$
be a short exact sequence. Then in $D(\mathcal{A})$, the derived category of ...

**10**

votes

**1**answer

423 views

### Fullness of pullback functor in algebraic geometry

Given $f:X\to Y$ a morphism of schemes (or stacks if it's not harder), I am interested in a geometric reformulation of the condition that the functor $f^*:D^b(Coh(Y))\to D^b(Coh(X))$ is full. I can ...

**7**

votes

**1**answer

409 views

### Lifting isomorphisms between derived categories

(Remark: I first asked this question at math.stackexchange. As it received no answer, I'm posting it here).
Suppose $A$ and $B$ are commutative rings. Let $A\to B$ be a surjective ring homomorphism. ...

**0**

votes

**0**answers

130 views

### functors determined by associated bimodules

When is a Ch-enriched (enriched over the category of chain complexes) functor $F: A \to B$ determined by the bimodule $A^{op} \otimes B \to Ch_{dg}$, $(a,b) \mapsto Hom_B(F(a),b)$. Or in general how ...

**1**

vote

**1**answer

207 views

### When do dg-lifts exist?

Let $\mathcal A$ and $\mathcal B$ be abelian categories (with enough injectives and countable products) and $$F:D^+(\cal A) \rightarrow D^+(\cal B)$$
be a triangulated functor. I am interested ...

**12**

votes

**0**answers

390 views

### The derived category of integral representations of a Dynkin quiver.

Let $Q$ be a Dynkin quiver. Let $\mathbb CQ$ be its complex path algebra. It is defined in a way such that modules over $\mathbb CQ$ are the same as representations of the quiver $Q$. Let's write ...