Questions tagged [derived-functors]
In mathematics, certain functors may be derived to obtain other functors closely related to the original ones.
478
questions
0
votes
0
answers
53
views
derived version of Picard functor as a derived stack
The notation originates from the paper virtual Cartier divisor and derived blow up I read recently, in its proof of proposition 3.2.6, there is a derived stack:
$\\$$\underline{Pic} ^{\simeq}$: $(...
3
votes
1
answer
111
views
Understanding how group cohomology classifies extensions using the derived functor point of view
I am rereading some material about group extensions, in particular because I needed to recall the formula
$$H^2(G;A)\cong \mathcal{E}(G;A).$$
We have that $G$ is some group acting on an abelian group $...
1
vote
0
answers
37
views
Behaviour of graded Betti number of a module
Let $M$ be a graded finitely generated $R=\mathbb{K}[x_1,\dots,x_n]$-module and,
the graded Betti number of $M$ is defined by $\beta_{i,p}^{R}(M)=\mathrm{dim}_{k}(\mathrm{Tor}_i^{R}(M,k)_p)$.
Suppose $...
0
votes
1
answer
53
views
Equivalent conditions of $\textrm{Ext}^2(A,B) = 0$ for all $A$ and $B$
I am studying homological algebra and I am having difficulty proving the equivalences of the following:
(i) If $0 \to A \xrightarrow{f} B$ is exact and $B$ is projective, then $A$ is projective
(ii) ...
1
vote
1
answer
68
views
Prove that for $F$ an additive functor of abelian categories, $R^0F$ is exact iff $R^1F = 0$ iff $R^iF = 0$ for all $i > 0$
I am beginning to study homological algebra. Let $F: \mathcal{A} \to \mathcal{B}$ be an additive functor of abelian categories. Prove that the following are equivalent:
The functor $R^0F$ is exact
$R^...
1
vote
0
answers
34
views
How can Lie algebra cohomology be nontrivial for a semisimple algebra?
Let $\mathfrak{g}$ be a semisimple Lie algebra over an (algebraically closed) field $k$ of characteristic zero. I am going by the definitions in Weibel, chapter 7. Here's my logic:
A finite-...
5
votes
0
answers
55
views
On a possible isomorphism from a spectral sequence coming from derived tensor-hom adjunction
Let $M,N,X$ be modules over a commutative ring $R$. We have the derived tensor-hom adjunction $$\mathbf R\text{Hom}_R(M\otimes_R^{\mathbf L} N,X)\cong \mathbf R\text{Hom}_R(M,\mathbf R\text{Hom}_R(N,...
1
vote
0
answers
17
views
Rank of a D-module and the solution complex
For a $D$-module $M$ it is common to talk about its rank defined as the $\mathbb{C}(x_i)$-dimension of $\mathbb{C}(x_i)\otimes_{\mathbb{C}[x_i]} M$. Kashiwara’s Cauchy–Kovalevskaya theorem then ...
0
votes
1
answer
64
views
Is a finitely generated module over a hereditary ring always finitely presented? When does $Ext^{n}( M, -)$, for $n \geq 0$, commute with direct sum?
In the §6 Appendix II (2) of the article Gorenstein projective modules says that:
Lemma 1 : Let $R$ be a ring. If $M$ is a finitely generated $R$-module, then
$$Ext^{n}( M, \oplus_{i\in I}\ N_{i}) \...
0
votes
0
answers
34
views
Homology defining quasi-isomorphisms vs sheaf cohomology
I don’t understand how the homology groups in regards to the derived category of sheafs on a space X is connected to the cohomology of a sheaf which is calculated with the images/kernels after ...
0
votes
0
answers
46
views
Functoriality of derived tensor product ( Gortz's Algebraic Geometry, Vol.2. )
I am reading Gortz's Algebraic geometry book, Vol.2 , p.207 and some qestion arises. I think that I am begginer of cohomology theory of schemes so please understand.
Let $f:X\to Y$ be a morphism of ...
5
votes
0
answers
101
views
On the two definitions of derived functor in general triangulated category.
I'm learning homological algebra using several references books. But I find two definitions of derived functor in general triangulated category. I wonder to know which definition is more generally ...
9
votes
2
answers
683
views
What is the "goal" of derived functors?
I've been learning about derived functors recently, and I had conceptualized them as fulfilling the following goal:
Suppose that we had a left-exact functor $F:\mathcal{A} \to \mathcal{B}$ between two ...
1
vote
0
answers
71
views
Basic questions of triangulated functors
I am not familiar with triangulated categories so these questions might be too basic (but I did not find any answers by google). Also, the question can be formulated in purely triangulated category ...
1
vote
1
answer
57
views
A faulty "proof" regarding exactness of derived functors
I've been trying to wrap my head around derived functors and have come upon the following chain of arguments, which seems to yield the unreasonabel conclusion that all left derived functors are exact. ...