Questions tagged [derived-functors]
The derived-functors tag has no usage guidance.
16 questions from the last 365 days
3
votes
1
answer
178
views
Left exact functor $F$ preserves quasi-isomorphism between $F$-acyclics
In this math overflow page, the poster gives a proof of the statement "an additive left exact functor $F$ preserves quasi-isomorphisms between $F$-acyclic objects." I'm having trouble ...
4
votes
2
answers
284
views
Does $\mathbf R\text{Hom}_R(k, -)\otimes_R^{\mathbf L} k$ commute with co-products?
Let $(R, \mathfrak m, k)$ be a commutative Noetherian local ring. Then, is it true that $\mathbf R\text{Hom}_R(k, -)\otimes_R^{\mathbf L} k$ commutes with arbitrary co-products?
- 412
11
votes
1
answer
511
views
When does derived tensor product commute with arbitrary products?
Let $R$ be a commutative Noetherian ring. Let $M$ be an $R$-module. It is well-known that $M$ is finitely generated if and only if the functor $M\otimes_R (-)$ preserves arbitrary products (for ...
- 412
3
votes
0
answers
120
views
Derived tensor by perfect complex preserves exact triangle in singularity category?
Let $R$ be a commutative Noetherian ring. Let $\operatorname{D}_{sg}(R)$ be the singularity category of $R$, i.e., the Verdier localization of $D_b(\text{mod } R)$ by the thick subcategory of perfect ...
- 413
2
votes
0
answers
121
views
Singular cohomology as a sheaf of $\infty$-categories
In several expositions of $\infty$-categories, I read that singular cohomology of a topological space with integral coefficients is a sheaf valued in $D(\mathbb{Z})$, if we consider Top and $D(\mathbb{...
3
votes
0
answers
199
views
When a fully faithful functor from an abelian category to itself will be an equivalence
Let $A$ be an abelian category. Suppose $i:A\to A$ is a fully faithful functor from $A$ to itself. I wonder when the functor will be an equivalence.
If $A$ is a "nice" category, I think $i$ ...
- 253
2
votes
0
answers
62
views
Base change for finding fibers of the pushforward of a line bundle along a proper non-flat morphism
Let $f: X \to Y$ be a proper morphism whose fibers have different dimensions, in particular $f$ is not flat. Let $L$ be a line bundle on $X$. What conditions would be sufficient to be able to conclude ...
- 2,964
1
vote
1
answer
61
views
Compatibility condition with the adjunct pair of derived functors
$\def\C{\mathsf{C}}
\def\D{\mathsf{D}}
\def\hoc{\mathsf{HoC}}
\def\hod{\mathsf{HoD}}
\def\L{\mathbf{L}}
\def\R{\mathbf{R}}$I'm a little confused by [R, Remark 6.4.14]. Before stating the remark, I'll ...
5
votes
0
answers
361
views
On a simple alternative correction to Roos' theorem on $\varprojlim^1$
Here is a discussion about an incorrect theorem of Roos, later corrected, some counterexamples and so on. Reading over this, I was a bit shocked because it contradicted something from Weibel's ...
- 1,021
2
votes
0
answers
93
views
Minimal injective resolution and change of rings
Let $R$ be a commutative Noetherian ring. For an $R$-module $M$, let $0\to E^0_R(M)\to E^1_R(M)\to \ldots $ denote the minimal injective resolution of $M$. I have two questions:
(1) If $I$ is an ...
- 480
9
votes
1
answer
265
views
Is there a correction to the failure of geometric morphisms to preserve internal homs?
Given a geometric morphism $$f:\mathscr{F}\to\mathscr{E}$$ where $\mathscr{F},\mathscr{E}$ are toposes, we know that $f^*$ does not preserve internal homs, i.e. $f^*[X,Y]\ncong[f^*X,f^*Y]$. We do have ...
- 171
2
votes
1
answer
498
views
Does anyone have a good example of an injective resolution?
I'm learning about injective resolutions and derived functor sheaf cohomology, and it seems that every source on injective resolutions gives no examples. I feel like just one good example would make ...
- 137
3
votes
1
answer
149
views
(Derived category of) sheaves over an infinite union
The short version of my question is:
Suppose $X$ is a (reasonably nice) topological space such that $X = \bigcup_{n \ge 1} X_n$ for an increasing sequence of (closed) subspaces $X_1 \subset X_2 \...
- 197
3
votes
1
answer
195
views
Image, upto direct summands, of derived push-forward of resolution of singularities
Let $\mathcal C$ be a full subcategory (closed under isomorphism also) of an additive category $\mathcal A$. Then, $\text{add}(\mathcal C)$ is the full subcategory of $\mathcal A$ consisting of all ...
- 480
3
votes
1
answer
273
views
Higher direct images along proper morphisms in the non-Noetherian setting
Let $f : X \to Y$ be a finitely presented proper morphism. Let $\mathcal{F}$ be a quasi-coherent sheaf on $X$. Do the functors $R^i f_* \mathcal{F}$ preserve any of the following properties:
(1) ...
- 3,625
2
votes
1
answer
98
views
A perfect complex over a local Cohen--Macaulay ring whose canonical dual is concentrated in a single degree
Let $R$ be a complete local Cohen--Macaulay ring with dualizing module $\omega$. Let $M$ be a perfect complex over $R$. If the homology of $\mathbf R\text{Hom}_R(M,\omega)$ is concentrated in a ...
- 413