**2**

votes

**1**answer

297 views

### Equivalent forms of the proper base change isomorphism

$\DeclareMathOperator{\Nat}{Nat}$In a current project, I am trying to "commute" $!$ and $*$ functors that are both upper or both lower. (Sheaf-theoretic context: constructible étale sheaves.) ...

**7**

votes

**2**answers

911 views

### The composition of derived functors - commutation fails hazardly?

Hello,
When we have left exact functors $F: A \to B , G: B \to C$ (between abelian categories), we would like sometimes to state that $D(GF)=D(G)D(F)$ (functors between bounded below derived ...

**3**

votes

**1**answer

821 views

### Adjunctions between derived functors

Given an adjunction $F\dashv G$ between functors between Abelian categories, we know that $F$ is right exact and $G$ is left exact so there are derived functors $LF$ and $RG$ between (bounded above, ...

**0**

votes

**1**answer

419 views

### Recollements and global dimension

Let $A, B, C$ be algebras. Suppose that $D^b(A)$ (the bounded derived category of $A$) admits a recollement relative to $D^b(B)$ and $D^b(C)$.
Then, by a result of Alfred Wiedemann's paper "On ...

**0**

votes

**1**answer

622 views

### derived functors and triangulated categories

If you derive a right exact functor $F$ you get a functor normally denoted by $RF$ on the derived category. Similarly, if you start with a left exact functor $G$ you get a functor normally denoted by ...

**7**

votes

**1**answer

509 views

### l-adic vs complex Perverse Sheaves

Let $X$ be a scheme of finite type over $Spec(\mathbb{C})$. Let $X_{an}$ denote the associated complex analytic space. After fixing an isomorphism $\overline{\mathbb{Q}}_l\cong \mathbb{C}$, by ...

**3**

votes

**0**answers

187 views

### Closed Model Category Structure on Chain Complexes Related to A Left-exact Functor

Let $F:A \to B$ be an additive left-exact functor of abelian categories (Do not assume that they have enough injectives / projectives.) Suppose we are given a class of objects $R$ adapted to $F$ (see ...

**5**

votes

**1**answer

533 views

### More questions about Verdier duality (and related math)

The first set of questions can be found here: Understanding (the wiki page on) Verdier duality
I'm fairly confident that I understand something wrong, so I'll write down here clearly what my set of ...

**6**

votes

**2**answers

1k views

### Understanding (the wiki page on) Verdier duality

My familiarity with concepts related to derived categories is only tangential, and little by little I intend to get more comfortable with them. I was playing around with Caldararu's introduction to ...

**2**

votes

**1**answer

295 views

### dual modules in the derived category

Hello,
This question is a follow up to Sasha's comment in Duals and Tensor products.
In the comment there, it is claimed that the given a ring $A$ and modules $M$, $N$, there
is an isomorphism
$$
...

**2**

votes

**1**answer

278 views

### For an l-adic sheaf (F_n), why is the complex F_n of finite Tor dimension?

Let $X$ be a variety and let $\mathcal{F}=(\mathcal{F}_n)_{n\geq 0}$ be a (constructible) $\ell$-adic sheaf on $X$. Let $K_n$ be the object in the derived category $D(X,\mathbf{Z}/\ell^{n+1})$ of ...

**3**

votes

**1**answer

621 views

### Perfect complexes and RGamma(X,F) without mentioning derived categories

Let $A$ be a commutative noetherian ring.
Let $K_{parf}(A)$ be the full subcategory of the homotopy category $K(A)$ of $A$-modules whose objects are bounded complexes of finitely generated ...

**9**

votes

**3**answers

1k views

### Derived categories of (coherent) sheaves of modules: exceptional images, gluing, and proper descent?

I am interested in the properties of (the derived categories) of various categories of (coherent) sheaves of modules (over varieties). I would like to understand in what extent these properties are ...

**6**

votes

**1**answer

688 views

### Do I need to know what an infinity-Gerstenhaber algebra is, and if so, what is it?

I am in the following situation. I have two (rather explicit and specific) dg commutative algebras $R,S$ over a field of characteristic $0$. In fact, $S$ is an $R$-algebra, in that I have a map $R ...

**12**

votes

**1**answer

703 views

### Analytic Torsion in the Derived Category

I recently learned about analytic torsion and about the amazing Cheeger-Muller theorem identifying analytic and Reidemeister torsion for compact Riemannian manifolds.
Now analytic torsion is defined ...

**3**

votes

**3**answers

842 views

### Exceptional collections with many Exts

Background definitions:
Let $D$ be a triangulated category arising in nature (for instance as the cohomology category of a dg category). An object $E$ in $D$ is called exceptional if $RHom(E,E)$ is ...

**6**

votes

**2**answers

621 views

### t-structures on the derived category of finitely generated abelian groups

is it possible to explicitly parametrise all the t-structures
on the derived category of finitely generated abelian groups?

**8**

votes

**1**answer

1k views

### What is the Hochschild cohomology of the dg category of perfect complexes on a variety?

Let $X$ be a quasi-projective variety over a field $k$. Let $D_{qcoh}$ be a dg enhancement of the unbounded derived category of quasi-coherent sheaves over $X$, and $D_{perf}$ its full subcategory of ...

**3**

votes

**1**answer

289 views

### Inverse of a tilting module

Let $k$ be a field, $A$ an associative unital $k$-algebra, $\operatorname{\mathsf{Mod}} A$ the
category of left $A$-modules and $D^b(\operatorname{\mathsf{Mod}} A)$ the bounded derived category. Let
...

**21**

votes

**0**answers

1k views

### Is there a Grothendieck-Riemann-Roch type of theorem generalizing Grothendieck's Lefschetz trace formula

Grothendieck deduced that the L-function of a (constructible) $\ell$-adic sheaf on a variety over $\mathbf{F}_p$ is rational from the generalized trace formula.
My first question is based on the ...

**11**

votes

**5**answers

3k views

### Sheaves without global sections

The line bundle $O(-1)$ on a projective space or $O(-\rho)$ on a flag variety has a property that all its cohomology vanish. Is there a story behind such sheaves?
Here are more precise questions. Let ...

**9**

votes

**4**answers

897 views

### Intuition about the triangulation of a homotopy category K(A)

Let $\cal{A}$ be an additive category. Given a morphism of (cochain) complexes $f:X\rightarrow Y$ we can form the mapping cone $C_f$, which is the complex $X[1]\oplus Y$ with differential given by
...

**7**

votes

**4**answers

2k views

### group of Yoneda extensions and the EXT groups defined via derived category

Given an abelian category C, we can form the Yoneda extensions $YExt^i(X,Y)$ to the equivalent classes of $i$-extensions of X by Y.
Given any abelian category C, we can always formulate the derived ...

**30**

votes

**7**answers

4k views

### A down-to-earth introduction to the uses of derived categories

When I was learning about spectral sequences, one of the most helpful sources I found was Ravi Vakil's notes here. These notes are very down-to-earth and give a kind of minimum knowledge needed about ...

**9**

votes

**0**answers

712 views

### Generating the derived category with line bundles

The following lemma is useful and well-known:
LEMMA If $L^{\pm 1}$ is ample on proper scheme over a field $k$, then some number of powers $\mathcal{O},L,...,L^{m}$ generate the unbounded derived ...

**7**

votes

**1**answer

242 views

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

I am looking for a reference talking about the complete(or not)description of t-structures in bounded derived category of $R-mod$, i.e. $D^b(R-mod)$.where $R$ is commutative ring, in particular, ...

**12**

votes

**2**answers

1k views

### What is a flop (and when are they conjectured to give derived equivalences)?

(1) Is the definition of flop given by Wikipedia the industry standard?
(2) Regardless of the answer to (1), when is it expected that a birational transformation gives rise to a derived ...

**9**

votes

**2**answers

1k views

### Derived Physics

Hello to all,
This question will probably be closed down as being off-topic faster than one can say "string theory", but here it goes: I've noticed that the problems I'm working on -the structure of ...

**6**

votes

**3**answers

1k views

### Is this a definition of equivariant derived category?

Let $X$ be a topological space and $G$ be a topological group acting on $X$, both locally compact Hausdorff. Denote by $D^b(X)$ the derived category of sheaves (say of abelian groups) on $X$. We ...

**8**

votes

**3**answers

863 views

### Are the underlying undirected graphs of two mutation-equivalent acylic quivers isomorphic?

Quiver mutation, defined by Fomin and Zelevinsky, is a combinatorial process. It is important in the representation theory of quivers, in the theory of cluster algebras, and in physics.
We consider ...

**5**

votes

**2**answers

722 views

### Topological homotopy category as derived category

In the Introduction of his
Derived Categories for the working mathematician
Richard Thomas mentions the following theorem of Whitehead.
Suppose that $X,Y$ are simplicial complexes, then
the ...

**2**

votes

**1**answer

621 views

### Number of sheaves in a full exceptional collection

Suppose we have a full exceptional collection (F1,...,Fn) of coherent sheaves on a smooth projective variety X. The number n of sheaves in this collection is equal to the rank of the Grothendieck ...

**9**

votes

**1**answer

774 views

### How to write down the determinant of a quasi-isomorphism?

This question about the determinant of a perfect complex reminded me of an old question that I had.
The construction of the determinant (as in MR1914072 or MR0437541) is a difficult piece of ...

**13**

votes

**1**answer

574 views

### When is every “solid” perfect complex faithful?

Let $R$ be a noetherian commutative ring. Consider $D^{perf}(R)=K^b(R-proj)$ the category of bounded complexes of finitely generated projective $R$-modules, with maps of complexes up to homotopy.
...

**14**

votes

**1**answer

1k views

### Why does the naive definition of compactly supported étale cohomology give the wrong answer?

Illusie's article about étale cohomology available here (in French) mentions that the standard definition of compactly supported cohomology (and higher direct images with compact support) does not ...

**3**

votes

**1**answer

2k views

### Is there a general projection formula for morphisms of ringed topoi?

What's the general projection formula in algebraic geometry, for instance on the level of derived categories of ringed topoi? And what's the reference? I guess it might be in SGA 4, but couldn't find ...

**4**

votes

**2**answers

496 views

### Closed monoidal structure on the derived category of sheaves

Given a topological space X, i'd like to find Der X - the derived category of sheaves of abelian groups on X - to be a closed monoidal category. Hom should be cohomological and the internal-hom should ...

**7**

votes

**1**answer

646 views

### Is an irreducible holomorphic symplectic manifold a simple Lie algebra?

The tangent bundle of a hyper-Kahler manifold gives a quadratic Lie algebra in the derived category. Can this be regarded as a simple Lie algebra according to Vogel's definition?
A point of view that ...

**3**

votes

**2**answers

320 views

### Exceptional collections and cohomological criteria for isomorphism

Suppose that we are given a smooth projective variety $X$ with a full exceptional collection of vector bundles $(F_1, F_2, \ldots, F_k)$ in $D^b(X)$ and two vector bundles $E_1$, $E_2$ on $X$. ...

**3**

votes

**1**answer

429 views

### reference for a result on thick subcategories and t-structures

A thick subcategory of a triangulated category $C$ is essentially one that one can get away with declaring to be zero, i.e. it is the subcategory which sent to 0 when declares that all maps whose ...

**24**

votes

**2**answers

3k views

### How do I know the derived category is NOT abelian?

I have heard the claim that the derived category of an abelian category is in general additive but not abelian. If this is true there should be some toy example of a (co)kernel that should be there ...

**8**

votes

**1**answer

840 views

### Verdier duality via Brown representability?

Hello,
I wonder if the techniques introduced in Neemans paper:
"The Grothendieck duality theorem via Bousfield's techniques and Brown representability "
can be used to establish Verdier duality. More ...

**2**

votes

**1**answer

228 views

### How is this action of monoidal derived category induced?

I am reading a paper concerning the action of monoidal category to another category.
Let $k$ be a commutative ring, $R$ is a k-algebra. $A=R-mod$, $B=R^{e}-mod=R\bigotimes _{k}R^{o}-mod$.
Consider ...

**20**

votes

**6**answers

4k views

### Heuristic behind the Fourier-Mukai transform

What is the heuristic idea behind the Fourier-Mukai transform? What is the connection to the classical Fourier transform?
Moreover, could someone recommend a concise introduction to the subject?

**3**

votes

**0**answers

563 views

### Sebastiani-Thom isomorphism for D-modules

Considering $f:X\to \mathbb{C}$, $g:X\to \mathbb{C}$ and $f\oplus g:(x,y)\mapsto f(x)+g(y)$.
The Sebastiani-Thom isomorphism is an isomorphism $\Phi_{f\oplus g}(M\boxtimes N) = \Phi_{f}(M) \otimes ...

**12**

votes

**0**answers

517 views

### References for a certain generalization of Hochschild cohomology?

Let $C$ be an algebra. Let $E = C^{\otimes 2n}$ be the tensor product (over the ground field) of $2n$ copies of $C$. [EDIT: Or better, $E = C\otimes C^{op}\otimes C\otimes C^{op}\cdots\otimes C ...

**6**

votes

**2**answers

662 views

### What is the geometric meaning of reconstruction of quantum group via Ringel Hall algebra

If I remembered correctly. There are some work done by C.M.Ringel,he defined so called Ringel-Hall algebra on abelian category and then show that Ringel-hall algebra is isomorphic to positive part of ...

**18**

votes

**4**answers

2k views

### determinant of a perfect complex

Say $K_\bullet$ is a bounded complex of vector bundles. I seem to want the determinant of $K_\bullet$ to be the alternating tensor product of the terms of the complex:
$\det(K) = \bigotimes_n ...

**4**

votes

**3**answers

403 views

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

One of the annoying things about derived categories is that they come with a host of different finiteness conditions, which are all subtlely different, and for each situation you want a particular ...

**24**

votes

**9**answers

2k views

### What is a deformation of a category?

I have several naive and possibly stupid questions about deformations of categories. I hope that someone can at least point me to some appropriate references.
What is a deformation of a (linear, dg, ...