Skip to main content
fixed typos since it was on the front page anyway
Source Link
David White
  • 30.3k
  • 9
  • 153
  • 250

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},\mathcal{D}$. Suppose that the natural functor between the derived category $D(\mathcal{C})$ and the category $D_C(\mathcal{D}):=\{X\in D(\mathcal{D}) \, | \, H^i(X) \in \mathcal{C}\}$ is an equivalence of categories.

Let $F:\mathcal{D} \rightarrow \mathcal{E}$ be a right exact functor, that has derived functor $DF:D(\mathcal{D}) \to D(\mathcal{E})$. Does this imply that the restriction of $DF$ to $D(\mathcal{C})$ is the derived functor of the restriction of $F$ to $\mathcal{C}$?

The derived categories can bounded unbounded or semi-bounded, Whatever make the answer simpler.

A typical example is when $\mathcal D$ is the category of abelian groups and $\mathcal C$ is the category of finitfinite abelian groups.

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},\mathcal{D}$. Suppose that the natural functor between the derived category $D(\mathcal{C})$ and the category $D_C(\mathcal{D}):=\{X\in D(\mathcal{D}) \, | \, H^i(X) \in \mathcal{C}\}$ is an equivalence of categories.

Let $F:\mathcal{D} \rightarrow \mathcal{E}$ be a right exact functor, that has derived functor $DF:D(\mathcal{D}) \to D(\mathcal{E})$. Does this imply that the restriction of $DF$ to $D(\mathcal{C})$ is the derived functor of the restriction of $F$ to $\mathcal{C}$?

The derived categories can bounded unbounded or semi-bounded, Whatever make the answer simpler.

A typical example is when $\mathcal D$ is the category of abelian groups and $\mathcal C$ is the category of finit abelian groups.

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},\mathcal{D}$. Suppose that the natural functor between the derived category $D(\mathcal{C})$ and the category $D_C(\mathcal{D}):=\{X\in D(\mathcal{D}) \, | \, H^i(X) \in \mathcal{C}\}$ is an equivalence of categories.

Let $F:\mathcal{D} \rightarrow \mathcal{E}$ be a right exact functor, that has derived functor $DF:D(\mathcal{D}) \to D(\mathcal{E})$. Does this imply that the restriction of $DF$ to $D(\mathcal{C})$ is the derived functor of the restriction of $F$ to $\mathcal{C}$?

The derived categories can bounded unbounded or semi-bounded, Whatever make the answer simpler.

A typical example is when $\mathcal D$ is the category of abelian groups and $\mathcal C$ is the category of finite abelian groups.

Source Link
Rami
  • 2.6k
  • 18
  • 29

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},\mathcal{D}$. Suppose that the natural functor between the derived category $D(\mathcal{C})$ and the category $D_C(\mathcal{D}):=\{X\in D(\mathcal{D}) \, | \, H^i(X) \in \mathcal{C}\}$ is an equivalence of categories.

Let $F:\mathcal{D} \rightarrow \mathcal{E}$ be a right exact functor, that has derived functor $DF:D(\mathcal{D}) \to D(\mathcal{E})$. Does this imply that the restriction of $DF$ to $D(\mathcal{C})$ is the derived functor of the restriction of $F$ to $\mathcal{C}$?

The derived categories can bounded unbounded or semi-bounded, Whatever make the answer simpler.

A typical example is when $\mathcal D$ is the category of abelian groups and $\mathcal C$ is the category of finit abelian groups.