**6**

votes

**1**answer

290 views

### Derived categories of toric varieties and convex geometry

Toric varieties and convex polyhedra are intimately connected. Some of this can be found in standard text books (the connection between divisors and mixed volumes seems to be a popular example).
One ...

**4**

votes

**0**answers

174 views

### Derived category of toroidal varieties

This question comes from the first reduction step of Theorem 4.2 of Kawamata's paper on K-equivalent implies D-equivalent on toroidal varieties. But my question has little to do with this theorem.
A ...

**1**

vote

**0**answers

183 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

162 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 $\...

**4**

votes

**0**answers

215 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 0}...

**2**

votes

**1**answer

174 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

545 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

189 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

236 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

377 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

321 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

94 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

153 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 ...

**3**

votes

**5**answers

609 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

494 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

353 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

181 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

246 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

222 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

247 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

314 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

464 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

461 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

208 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

404 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

198 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 ...

**8**

votes

**0**answers

195 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

110 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 0}(X,\bar{...

**7**

votes

**0**answers

587 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

452 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

886 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$ ...

**12**

votes

**2**answers

2k 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, $\mathcal{A}=\...

**0**

votes

**0**answers

98 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 ...

**19**

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 $f:...

**5**

votes

**1**answer

593 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

129 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

676 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: \mathcal{...

**1**

vote

**0**answers

409 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})$. ...

**3**

votes

**1**answer

312 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

553 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

292 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

204 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

478 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

334 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 ...

**5**

votes

**1**answer

456 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

763 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

428 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 $\mathcal{...

**10**

votes

**1**answer

482 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

424 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 ...