# Questions tagged [derived-functors]

The derived-functors tag has no usage guidance.

**32**

votes

**4**answers

5k views

### Serre intersection formula and derived algebraic geometry?

Let $X$ be a regular scheme (all local rings are regular). Let $Y,Z$ be two closed subschemes defined by ideals sheaves $\mathcal I,\mathcal J$. Serre gave a beautiful formula to count the ...

**22**

votes

**1**answer

1k views

### Derived functors - homotopical vs homological approach

This question is a crosspost of the second part of this MSE question.
In my first course in homological algebra, derived functors were defined in terms of universal $\delta$-functors. In the text ...

**20**

votes

**1**answer

778 views

### Example of an additive functor admitting no right derived functor

I asked the same question a week ago on Mathematics Stackexchange but got no answer.
What would be a simple example of an additive functor $F:\mathcal C\to\mathcal C'$ of abelian categories such that ...

**18**

votes

**4**answers

4k views

### Singular Homology/Cohomology as a derived functor?

Hello,
Learning some Alg.geometry and Sheaf theory, I got used to the notion that cohomology arises naturally as a derived functor of some sort.
This has led me thinking, singular cohomology, from ...

**16**

votes

**2**answers

729 views

### Grothendieck spectral sequence when one of the functors is contravariant

Let $f \colon X \rightarrow S$ be a morphism of schemes. I am interested in computing the cohomology groups of
$$
\mathbf{R}\mathscr{H}om(\mathbf{R}f_* \mathcal{O}_X, \mathcal{O}_S)
$$
in terms of $\...

**15**

votes

**2**answers

2k views

### How do I get the correct long exact sequence for relative group cohomology in terms of derived functors?

Background:
I want to consider relative group cohomology: the construction is as follows. I have a subgroup $H\subseteq G$ (and note that I don't want to assume that $H$ is normal in $G$), and a $\...

**15**

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

**14**

votes

**3**answers

2k views

### Is Higher K-functor the derived functor of K0?

It might be a stupid question. I wonder whether the derived functor of functor K0 is Quillen Higher K-functor?
If not, is there any relationship between derived functor of K0(or satellites of K0-...

**14**

votes

**2**answers

915 views

### Cosheaf homology and a theorem of Beilinson (in a paper on Mixed Tate Motives)

I'm trying to understand the proof of Theorem 4.1 in the paper Multiple Polylogarithms and Mixed Tate Motives by AB Goncharov (http://arxiv.org/pdf/math/0103059v4.pdf). In it, the author uses cosheaf ...

**11**

votes

**1**answer

229 views

### Fourier-Mukai functors being identity on objects

Let $X$ be a projective variety over $\mathbb{C}$, denote by $D^b(X)$ the bounded derived category of coherent sheaves on $X$. Suppose we have a Fourier-Mukai functor $\Phi_{X\rightarrow X}^\mathcal{P}...

**11**

votes

**0**answers

420 views

### Are the supports of $Ext^i(M,N)$ eventually periodic?

Let $R$ be a Noetherian, commutative ring and $M,N$ be finitely generated $R$-modules.
Question: Do the sets of minimal primes of $\text{Ext}^i_R(M,N)$ (for a fixed pair of $M,N$) become periodic ...

**9**

votes

**2**answers

492 views

### What is integration along the fibers in D-module theory?

In Hotta, Takeuchi, Tanisaki's book on "D-modules, Perverse Sheaves, and Representation theory", for a morphism of smooth algebraic varieties $f:X \to Y$, they use the notation
$$
\int_f:D^b(D_X^{op}) ...

**8**

votes

**2**answers

1k 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 ...

**8**

votes

**1**answer

367 views

### When the restriction of a derived functor to a subcategory is the derived functor of the restriction

Let $\mathcal{D},\mathcal{E}$ be abelian categories and $\mathcal{C}$ be a Serre subcategory of $\mathcal{D}$.
Let $D(\mathcal{C}), \, D(\mathcal{D})$ denote the derived categories of $\mathcal{C},\...

**8**

votes

**1**answer

774 views

### Extraordinary cohomology as a derived functor?

The purpose of this question is to find out whether one can view the Atiyah-Hirzebruch spectral sequence as a particular case of the "composition of derived functors" spectral sequence.
The Leray ...

**8**

votes

**0**answers

248 views

### Is every $R^iF(M)$ isomorphic to some $F(N)$?

Let $A$ and $B$ be abelian categories. Assume that $A$ has enough injectives. Is there a "useful" (take that to mean what you will) condition on $A$ and $B$ such that the following is true?
For all ...

**8**

votes

**0**answers

244 views

### (Reduced) cyclic homology of a free product of unital algebras

Shameless upfloat of 1-year old question - the motivation is that in general the corresponding Banach version is false, so I am trying to see where the proof breaks down, and what (if anything) can be ...

**7**

votes

**7**answers

2k views

### A good place where to learn about derived functors

I would like to learn about derived functors.
Which reference do you advise ?

**7**

votes

**2**answers

944 views

### left derived functors commute with filtered colimits

Let $\mathcal{A}$ be an $\mathbf{AB5}$ category with enough projectives and let $F:\mathcal{A}\rightarrow\mathcal{B}$ be a right exact functor into abelian category that commutes with filtered ...

**7**

votes

**1**answer

1k views

### Derived functors of symmetric powers

What do the derived functors of the symmetric powers look like? I understand that this is related to the homology of the symmetric groups, but I don't know a reference for that.
Namely, I'm ...

**7**

votes

**1**answer

574 views

### Is there a good computer package for working with complexes over non-commutative rings?

I'm interested in doing computations with certain non-commutative rings, most of which involve taking derived tensor products. Does anyone know of a computer algebra package which will find ...

**7**

votes

**1**answer

430 views

### The geometric meaning of the higher quotient by the commutant ideal

The functor that embeds the category of commutative algebras to associative algebras has the left adjoint - the quotient by the commutant ideal.
For any dg-algebra $A$ let $A_{Ab}$ denote the derived ...

**7**

votes

**0**answers

212 views

### Understanding Koszul Duality in BGG and Gelfand, Manin

I'm trying to understand a particular point in the proof of Koszul duality between $D^b(\Lambda(V))$ and $D^b(S(V^*))$ as seen in "Algebraic Bundles over $\mathbb{P}^n$ and Problems of Linear Algebra" ...

**7**

votes

**0**answers

220 views

### Can we “complete” model categories to compute derived functors in the usual way?

Suppose we have a functor between two model categories $F\colon \mathcal{C}\to \mathcal{D}$. Suppose we don't know that it is a part of a Quillen pair. Nevertheless, it can still happen that the ...

**7**

votes

**0**answers

194 views

### Notes by Bousfield

I am looking for a copy of "Operations on derived functors of non-additive functors" by Bousfield. It is referenced in many papers and is supposedly from 1967.
Obviously, and electronic copy would be ...

**6**

votes

**1**answer

156 views

### Question on condition for a sheaf to be locally free in Orlov 2004

In "Triangulated Categories of Singularities and D-Branes in Landau-Ginzburg Models", Orlov twice mentions the following criterion for a sheaf $P_1$ to be locally free:
If for all closed points $t:x ...

**6**

votes

**1**answer

295 views

### The naive approach to deriving profunctors - What's wrong with it?

Let $(\mathcal{C,W})$ be relative category (equipped with a wide subcategory of weak equivalences satisfying 2 out of 3 property). Consider a profunctor $F: \mathcal{C \times D^{op}} \to \mathsf{Set}$ ...

**6**

votes

**1**answer

426 views

### Image of an $F$-acyclic resolution homotopic to a projective resolution?

This is a crosspost of this MSE question according to the recommendation in the comments. I know this question is elementary, but I'm hoping the author of these notes could provide a more detailed ...

**6**

votes

**0**answers

499 views

### functor before cat?

As i read the literature, derived functors were there several years before derive categories - right?

**5**

votes

**1**answer

531 views

### An isomorphism between different Ext's coming from group cohomology

Let $G$ be an abelian group and $M$ a $G$-module with trivial action. It is well-known that $H^2(G,M)$ classifies extensions of $G$ by $M$, which is $\mathrm{Ext}^1_{Ab}(G,M)$.
On the other hand $H^2$...

**5**

votes

**1**answer

364 views

### Different definitions of derived functors

In principle one uses the notion of derived category, and the other doesn't.
Suppose $F: \mathcal A \to \mathcal B$ is a left exact (additive) functor between abelian categories, and suppose the ...

**5**

votes

**1**answer

588 views

### Fourier-Mukai transform for abelian varieties

Let $A$ be an abelian variety over $\mathbb{C}$, $L$ be a very ample line bundle on $A$, then the dual abelian variety is $\hat{A} \cong A/K(L)$ with $K(L)$ the kernel of surjective morphism $A \to ...

**5**

votes

**1**answer

293 views

### The Mittag-Leffler condition as necessary and sufficient

Let $A_1\leftarrow A_2\leftarrow A_3\leftarrow\dotsb$ be a projective system of abelian groups with the projection maps $p_{ij}\colon A_j\to A_i$, $j\ge i$. The derived functor of projective limit $\...

**5**

votes

**1**answer

154 views

### $Lf^*$ is fully faithful

I don't understand the smoothness condition in the following theorem,
Let $f: X\longrightarrow Y$ be a projective morphism of $\underline{smooth}$ projective varieties such that $Rf_*\mathcal{O}_X=\...

**5**

votes

**1**answer

486 views

### A construction of Kähler differentials and Illusie cotangent complex as colimit over embeddings

Let $\Bbbk$ be a field, $X$ affine scheme of finite type over $\Bbbk$. Let $\mathcal C_X$ be the category of closed embeddings of $X$ into (say affine) smooth $Y$'s of finite type over $\Bbbk$, ...

**5**

votes

**0**answers

182 views

### $\mathrm{HH}$ and $\mathrm{HC}$ as two different Taylor expansions at the same point

Let us consider the functors from dg algebras to graded spaces given by Hochshcild homology and cyclic homology. Then it is well known that in degree $0$, both functors are given by $A\longmapsto A/[A,...

**5**

votes

**0**answers

409 views

### The derived version of the Grothendieck spectral sequence

Consider the (very well known) Grothendieck spectral sequence for composition of functors $\mathcal F: \mathcal A \to \mathcal B$ and $\mathcal G: \mathcal B \to \mathcal C$ between abelian categories ...

**5**

votes

**0**answers

327 views

### Description of connecting maps of Derived functors

Let $C$ be an abelian category with enough injectives and $F$ be a left exact additive functor. Consider the short exact sequence $0 \to A' \to A \to A ''\to 0$. Therefore, we have connecting maps $\...

**4**

votes

**2**answers

717 views

### Two basic questions on derived categories

Let $\mathcal{A}, \mathcal{B}$ be two abelian categories with sufficiently many injective objects (in my case these are categories of sheaves of vector spaces on a manifold).
Let $f_*\colon \mathcal{A}...

**4**

votes

**1**answer

386 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

**2**answers

863 views

### Intuition for the satellite of a functor

Occasionally in math I come across constructions or tools that are a bit convoluted. I can look at these constructions and see that they indeed perform the task they were made to do, but sometimes I ...

**4**

votes

**3**answers

337 views

### Deriving the functor $ \int_{\Gamma} F(-,-)$

Suppose that $C$, $D$, and $E$ are combinatorial model categories, so that for any category $\Gamma$, the functor categories $C^{\Gamma}$, $D^{\Gamma}$, and $E^{\Gamma}$ have both the projective and ...

**4**

votes

**1**answer

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

**4**

votes

**1**answer

231 views

### Relating deformations of a scheme to deformations of its singular locus

Let $X$ be a normal scheme with quotient singularities and $Y\subset X$ its singular locus. The first order deformations of $X$ are parametrized by $\mathcal{E}xt^{1}(\Omega_{X},\mathcal{O}_{X})$. ...

**4**

votes

**0**answers

103 views

### Determining whether a morphism is the induced morphism?

Let $F\colon \mathcal A \to \mathcal B$ be a left exact functor between Grothendieck abelian categories. Given a morphism $f\colon A\to B$ in $\mathcal A$ and a morphism $g\colon RF(A)\to RF(B)$ in ...

**3**

votes

**1**answer

196 views

### Derived pullback of the coarse moduli morphism

Let $f: \mathcal{X}\to X$ be a morphism from a smooth DM-stack $\mathcal{X}$ to its coarse moduli space $X$. Assume that $X$ is also smooth. Is it true that $Lf^*$ is fully faithful and induces an ...

**3**

votes

**1**answer

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

**3**

votes

**2**answers

667 views

### Hartshorne Proposition III 8.1

In the proposition mentioned in the title, Hartshorne states that for each $i\geq 0$ the higher direct image sheaf $R^if_*\mathcal F$ is exactly the sheafification of the presheaf given by
$V \mapsto ...

**3**

votes

**1**answer

274 views

### Compatibility of connecting homomorphisms for Tor/Ext

This is a simple question about Tor and Ext functors.
Let $R$ be a commutative ring, and let $0 \to M' \to M \to M'' \to 0$ and $0 \to N' \to N \to N'' \to 0$ be short exact sequences of $R$-modules. ...

**3**

votes

**1**answer

1k 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, ...