Questions tagged [derived-functors]
The derived-functors tag has no usage guidance.
135
questions
2
votes
1
answer
139
views
Non-cofiltered derived limits
As far as I know, the inverse limit and its derived functors can be defined even in case we are dealing with a functor $F: I \to A$ from a category $I$ that is not cofiltered. I would content myself ...
- 413
1
vote
0
answers
217
views
Fourier-Mukai transform is the derived functor
In Mukai's paper Duality between $D(X)$ and $D(\hat{X})$ with its application to Picard sheaves, Nagoya Math Journal, 1981, there is one sentence that puzzles me.
Let $X$ be an abelian variety over an ...
- 223
7
votes
1
answer
339
views
What properties do the categories $\mathbf{GrpMod}$ and $\mathbf{GrpMod}^*$ of compatible pairs have? Can we do homological algebra with them?
Consider the following category $\mathbf{GrpMod}^*$ of compatible pairs, that is:
an object is a pair $(G,M)$, where $G$ is a group and $M$ is a left $\Bbb Z[G]$-module. A morphism $(G,M) \to (H,N)$ ...
- 582
0
votes
0
answers
183
views
What can be said about the derived functor of a composition between unbounded derived categories?
Let $\mathcal A, \mathcal B,\mathcal C$ be abelian categories and let $F:\mathcal A \to \mathcal B,G: \mathcal B \to \mathcal C$ be left exact functors such that $RF:D(\mathcal A) \to D(\mathcal B), ...
- 582
2
votes
0
answers
68
views
Restricting perverse intermediate extension to closed complement
Consider a scheme $X$ over athe complex numbers, $j:U\to X$ an open subscheme, $i:Z\to X$ its closed complement, and a perverse sheaf $F$ over $U$ with complex coefficients.
The intermediate extension ...
- 435
6
votes
2
answers
196
views
If Serre's intersection multiplicity $\chi(R/I, R/J)$ equals $\operatorname{length}_R (R/(I+J))$, then are $R/I, R/J$ Cohen-Macaulay?
Let $(R,\mathfrak m)$ be a regular local ring. Let $I,J$ be proper ideals of $R$ such that $R/(I+J)$ has finite length i.e. $\sqrt{I+J}=\mathfrak m.$ Since $I+J$ annihilates $\text{Tor}_n^R(R/I, R/J)$ ...
- 161
4
votes
1
answer
186
views
Vanishing of higher limits
Let $I$ be a directed set and let $X_I$ be a corresponding inverse system of, say, (complex) vector spaces or abelian groups (in my case in general not finite-dimensional, resp. not finitely generated)...
- 2,726
6
votes
1
answer
203
views
Is the composite of absolute derived functors a derived functor?
Let me recall the following definition. Let $F: C \to D$ be a functor between homotopical categories. Denote by $\gamma_C: C \to \mathrm{Ho} C$ the localization and similary for $D$. A total left ...
- 255
4
votes
0
answers
60
views
A functor admitting a total, but not point-set derived functor
Mike Shulman, in his article Homotopy limits and colimits and enriched homotopy theory observes (towards the end of page 8) that it may be the case that a functor $F: C \to D$ between homotopical ...
- 255
4
votes
1
answer
324
views
Can we define derived functors in model categories without functorial factorisations?
Let $F: \mathcal{C} \to \mathcal{D}$ be a left Quillen functor between model categories. In Definition 2.16 of Goerss–Schemmerhorn - Model Categories and Simplicial Methods, the left derived functor $...
- 257
1
vote
1
answer
196
views
How to complete $i^*i_*\mathcal{F}\to \mathcal{F}$ into an exact triangle for a smooth divisor $i: X\hookrightarrow Y$?
Let $Y$ be a smooth algebraic variety and $i: X\hookrightarrow Y$ be a smooth divisor. We consider the derived functors $i^*: D^b_{coh}(Y)\to D^b_{coh}(X)$ and $i_*: D^b_{coh}(X)\to D^b_{coh}(Y)$. By ...
- 8,417
1
vote
0
answers
158
views
Do we have a left adjoint of $i^*$ for a closed immersion $i$?
Let $i: X\hookrightarrow Y$ be a closed immersion of varieties. We have the derived pullback functor $i^*: D^b_{coh}(Y)\to D^b_{coh}(X)$.
My questions is: can we construct a left adjoint of $i^*$ in ...
- 8,417
0
votes
1
answer
133
views
What is the cone of $\mathcal{F}\to i_*i^*\mathcal{F}$ for a divisor $i: D\hookrightarrow X$?
Let $X$ be a smooth projective variety of dimension $n$ and $i: D\hookrightarrow X$ be a smooth, anti-canonical divisor in $X$. In other words,$[D]+[\omega_X]=[0]$ where $\omega_X$ is the canonical ...
- 8,417
7
votes
2
answers
293
views
Relative and absolute Ext groups
Given a homomorphism of rings $S \rightarrow R$, for a pair of $R$-modules $M, N$ the machinery of relative homological algebra defines relative $Ext$-groups
$Ext_{R, S}(M, N)$.
These can be defined, ...
- 2,138
4
votes
1
answer
170
views
Higher direct image of coherent sheaf and rigid analytification
Let $k$ be a non-archimedean field of characteristic zero. Then let $$f:X \rightarrow Y$$
be a (proper) morphism of smooth projective varieties over $k$. The GAGA functor (for rigid analytic spaces) ...
- 451
7
votes
1
answer
334
views
Derived functor of functor tensor product
Suppose $\mathcal{A}$ is a Grothendieck abelian category with enough projectives, then $\mathcal{A}$ is tensored and cotensored over $\mathrm{Ab}$ with $\mathbb{Z}^{\oplus S}\otimes X\cong \bigoplus_S ...
3
votes
1
answer
233
views
Derived functors of inverse limit in abelian categories?
I have a finite poset $I$ and an inverse system $A: I^{op}\longrightarrow \mathscr C$ taking values in an abelian category $\mathscr C$.
I suppose that $\mathscr C$ has direct sums. Given that my ...
- 31
0
votes
0
answers
78
views
$\operatorname{Ext}$-group in the category of modules versus in the subcategory of finitely generated ones
I am trying to refine my understanding of derived categories.
Let $\text{Mod}_R$ and $\text{Mod}^f_R$ be respectively the categories of modules and finitely generated modules over a Notherian ring $R$ ...
- 1,345
0
votes
0
answers
259
views
nPOV: Cohomology and derived functors
In the nPOV, cohomology is realized as the connected component of the derived hom space [1]. Namely,
$$H^n(X,Y) = \pi_0 \mathbb{H}(X,B^nY),$$
where $\mathbb{H}$ is an $(\infty,1)$-topos and $B$ is the ...
- 4,560
1
vote
0
answers
135
views
Relation between push forward by diagonal morphism and higher direct image functors
Let $f : X \to Y$ be a morphism between two Noetherian schemes. Then $f_*$(respect to $R^1f_*$) sends coherent sheaves to coherent sheaves if and only if $f$ is universally closed (respect to ...
- 111
2
votes
0
answers
32
views
If a natural transform is an equivalence, under which circumstances is the induced derived natural transform also an equivalence?
More specifically, let A and B be two abelian categories. Suppose $F:A\to B$ is a left exact functor, $G:A\to A$ and $H:B\to B$ are two right exact functors such that $F\circ G=H\circ F$.
With which ...
- 61
2
votes
0
answers
108
views
The cohomology groups corresponding to a modified global sections functor
Let $\mathcal{F}$ be a sheaf on the big etale site of $Sm_k$. I am looking for a way to calculate a modified version of sheaf cohomology. Let $X$ be a smooth scheme and $Z$ a closed sub-scheme. After ...
- 5,607
2
votes
0
answers
175
views
Why are derived functors triangulated?
I am following Verdier's notion of derived functors as Kan extensions along the localization $K(\mathcal{A}) \to D(\mathcal{A})$ of the homotopy category of complexes to the derived category.
In the ...
- 2,549
8
votes
0
answers
712
views
Nonabelian variants of the Breen-Deligne resolution
The Breen-Deligne resolution is an unusual functorial resolution of an abelian group A by finite direct sums of free abelian groups of the form $\Bbb Z[A^n] = Free_{Ab}(A^n)$. It makes several ...
- 49.6k
8
votes
0
answers
235
views
Passing to torsion of an exact sequence
If
$$
\Theta\colon\quad 0\to A\to B\to C\to 0
$$
is an exact sequence of abelian groups, and $n$ is an integer, then one obtains an exact sequence $$
0\to A[n] \to B[n] \to C[n] \stackrel{\delta_n(\...
- 12.7k
3
votes
1
answer
109
views
Derived functor and bi-module
If A and B are finite dimensional k-algebras, k is a field. $_{A}G\in A-mod$ is a Gorenstein projective module, then we have $RHom_{A}(G,A)\simeq Hom(G,A)$ since $Ext_{A}^{i}(G,A)=0$ for any $i\in \...
- 169
2
votes
1
answer
838
views
Conflicting definitions of RHom
I am trying to understand the bifunctor $R\operatorname{Hom} : D(\mathcal{A}) ^{op} \times D(\mathcal{A}) \to D(\operatorname{Ab})$ (I am also interested in the total right derived functor of the ...
5
votes
1
answer
304
views
Questions about $\text{Perf}(A)$ of dg algebra $A$
[ALEXEY ELAGIN AND VALERY A. LUNTS, p.4.] Recall that triangulated category $\text{Perf}(A)$ is defined as the full thick triangulated subcategory of $D(A)$ generated by the dg $A$-module $A$.
[...
- 593
3
votes
1
answer
272
views
Is every middle exact functor a derived functor?
Assume for the sake of simplicity we are working with categories of modules over some ring. Call a functor $F$ middle exact if for an exact sequence $ 0 \to A \to B \to C \to 0 $, we have that $FA \to ...
- 923
3
votes
2
answers
294
views
Reference request: excess normal bundle and derived pullback
Consider a fiber square
$\require{AMScd}$
\begin{CD}
X' @>i'>> Y'\\
@V g V V @VV f V\\
X @>>i> Y,
\end{CD}
where $i$ and $i'$ are regular immersions, and consider the ...
- 641
1
vote
2
answers
333
views
Action on group $\operatorname{Ext}^i(\mathcal{L}, \mathcal{M})$ by scalar multiplication
Let $X$ be a proper scheme over field $k$ and $\mathcal{L}, \mathcal{M}$ two invertible $\mathcal{O}_X$-modules. Then $Hom_{\mathcal{O}_X}(\mathcal{L}, \mathcal{M}) \cong Hom_{\mathcal{O}_X}(\mathcal{...
- 4,994
2
votes
0
answers
64
views
Does direct image via proper map preserve coherence of unbounded complexes?
As for the title, I'm considering a proper map $f : X \rightarrow Y$ of Noetherian schemes and I'm trying to understand whether the direct image $Rf_{\ast} : D_{qc}(X) \rightarrow D_{qc}(Y)$ sends the ...
- 1,295
3
votes
1
answer
160
views
Subspace inclusion with non-vanishing higher direct images
I'm looking for concrete topological intuition for the derived pushforward.
Let $f:X\to Y$ be a continuous map. The derived pushforward $\mathbf Rf_\ast$ takes a sheaf $F$ to the sheafification of ...
- 10.2k
16
votes
1
answer
811
views
Abelian category with enough injectives but not functorially
Let $\mathcal{A}$ be an Abelian category with enough injectives. Is it always possible to make the injective embedding functorial? By this I mean that there should exist a functor $I \colon \mathcal{A}...
- 14.2k
3
votes
0
answers
156
views
Conceptual definition of derived functors allowing for quick proof of comparison theorems for sheaf cohomology
There are several approaches of increasing sophistication and simplicity to defining derived functors. I know of universal $\delta$-functors and Kan extensions along localizations. More definitions ...
- 10.2k
2
votes
0
answers
141
views
Dualizing complex description in Stacks project
The question is closely related to this one this one (more precisely the reference the comment by AGl earner) and is aimed to understand the proof of Lemma 20.2 from notes from Stacks notes from ...
- 4,994
3
votes
0
answers
96
views
Fourier Mukai kernel which gives an equivalence only in one direction
If $X$ and $Y$ are two schemes and $F \in Perf(X \times Y)$, then we can define a functor from $Perf(X)$ to $Perf(Y)$ as the Fourier Mukai transform $\Phi^{X \rightarrow Y} = q_{\ast}(F \otimes p^{\...
- 1,295
6
votes
3
answers
375
views
multiplicative structure of Ext
Basically, I am trying to compute something with the Adams spectral sequence (as a toy example). The $E^2$ page reduced to computing $Ext^{s,t}_{\Gamma} (\mathbb{F}_2, \mathbb{F}_2)$, where $\Gamma = \...
- 225
44
votes
1
answer
2k
views
Existence and uniqueness of Haar measure on compacta; a cohomological approach
I am trying to use a modification of group cohomology to prove the existence and uniqueness of Haar measure on a compact Hausdorff group.
I think the best way of introducing the idea I am pursuing is ...
- 4,532
1
vote
1
answer
111
views
Relative version of the cohomology product
Let $f\colon X\to Y$ be a continuous map of 'nice' topological spaces (e.g. $f$ is a smooth map of smooth manifolds; $f$ might be assumed to be proper although I am not sure it is relevant). Let $\...
- 20.3k
1
vote
0
answers
51
views
Ordered sequence of elements of poset relevant to some filtration -- highest weight category
Let $\mathcal{C}$ be a highest-weight category with $\Lambda$ as a interval-finite poset -- I'm using a definition of the highest-weight category given by Cline, Parshall and Scott and it is presented ...
- 129
1
vote
1
answer
133
views
Computation of extension groups in the category of pairs $(M,f)$
Let $A$ be a unitary commutative ring, and let $B$ be an $A$-algebra. We consider the category whose objects are pairs $\textbf{M}=(M,f)$ where $M$ is an $A$-module and where $f$ is a $B$-linear ...
- 1,345
19
votes
3
answers
1k
views
Unifying "cohomology groups classify extensions" theorems
It is common for the first or second degree of various cohomologies to classify extensions of various sorts. Here are some examples of what I mean:
1) Derived functor of hom, $\text{Ext}^1_R(M, N)$. ...
- 4,532
8
votes
1
answer
725
views
Grothendieck-Verdier duality without the noetherian condition
The Grothendieck-Verdier duality:
$$
Rf_*\big(R\mathcal{H}\textit{om}_X^\bullet(\mathcal{E}^\bullet,f^!\mathcal{F}^\bullet)\big) \cong R\mathcal{H}\textit{om}^\bullet_Y(Rf_*\mathcal{E}^\bullet,\...
- 904
1
vote
1
answer
126
views
Elementary example of right localization of functor
I am learning about a general framework for derived functors from Hotta et al., D-modules, Perverse Sheaves, and Representation Theory, Appendix B.
$\newcommand{\CC}{\mathcal C} \newcommand{\DD}{\...
- 1,350
4
votes
2
answers
577
views
Motivation/intuition behind the definition of delta-functors and related concepts
I originally posted this on Maths SE, but then realised that the question probably fits MO better, as my objective was to gain different perspectives regarding the matter.
Why are $\delta$-functors ...
- 1,393
2
votes
0
answers
132
views
When is $C\text-\mathsf{dg\text-mod}$ determined by the connective base changes?
I'm using cohomological gradings.
For $C\in k\text-\mathsf{cdga}$ (where $k$ can be taken of characteristic 0), a morphism $C\to A$ to a connective dg-algebra $A\in k\text-\mathsf{cdga}_{\leq0}$ ...
- 263
4
votes
1
answer
2k
views
Definition of dualizing complex
Sorry for a not research level question asking for a definition but unfortunately I nowhere found a source which explains the construction presented below in a satisfactory way.
This question refers ...
- 4,994
3
votes
0
answers
235
views
Group cohomology: Why does the trivial Z coefficient produce nontrivial cohomology [closed]
Let $G$ be a group and $M$ be a $G$-module. Then group cohomology $H^q(G,M)$ is defined as the right derived functor $\operatorname{Ext}^q_{\mathbb Z G}(\mathbb Z,M)$. Here $\mathbb Z$ is the trivial $...
- 31
3
votes
0
answers
116
views
Inverse limit and graded functor commute?
I am trying to understand a proof where there are graded algebras and inverse limit involved.
In one of the steps it seems to commute this two elements. Is there any reference where this is stated.
$...
- 131