Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $R$ be a commutative unital ring and $r\!\in\!R$. Let $A$ and $B$ be $R$-modules. Does $rA\!=\!0$ or $rB\!=\!0$ imply $r\mathrm{Ext}^n_R(A,B)=0$ for all $n\in\mathbb{N}$? For $n=0$ it holds, but I'm not sure about $n\geq1$.

I was thinking about the exact sequences $0\to rM\to M\to M/rM\to0$, $0\to rExt\to Ext\to Ext/rExt\to0$, $0\to Ann M\to R\to R/Ann M\to0$, but they don't seem to tell us anything of use from the long exact Ext sequence.

I've also tried to prove it via the definition of Ext, but so far unsuccessfully. I don't know what happens with $r\cdot$ after Hom is applied to a projective resolution.

share|improve this question
    
The multiplication by $r$ as an $R$-module homomorphism $A\to A$ gives rise to a homomorphism $\mathrm{Ext}^n_R\left(A,B\right) \to \mathrm{Ext}^n_R\left(A,B\right)$ (by functoriality of $\mathrm{Ext}^n_R$), which is easily seen to be multiplication by $r$ again (since $\mathrm{Ext}^n_R$ is an $R$-bilinear bifunctor). Similarly for $B$. Profit. –  darij grinberg Sep 17 '13 at 22:09
    
@darijgrinberg: If $\alpha:A\to A'$ and $\beta:B\to B'$ are $R$-module homomorphisms and $r\in R$, why is $Ext(r\alpha,\beta)=rExt(\alpha,\beta)=Ext(\alpha,r\beta)$? Does this also hold for Tor? Is this implicit in the construction of Ext and Tor when $R$ is commutative? –  Leon Sep 17 '13 at 22:21
    
See Martin's exposition, which is a lot better than anything I'd have produced on this question. Yes, this holds for $\mathrm{Tor}$ as well (over commutative $R$). –  darij grinberg Sep 17 '13 at 23:38

1 Answer 1

up vote 3 down vote accepted

As Darij Grinberg points out, we only have to prove that $\mathrm{Ext}^n$ is $R$-linear in both variables.

For this we have to recall how the action on morphisms is defined: If $f : A' \to A$ is a homomorphism, and $P^* \to A$ and $P'^* \to A'$ are projective resolutions, there is a (unique up to homotopy) homomorphism of complexes $\overline{f} : P'^* \to P^*$ such that

$\begin{array}{c} P'^* & \rightarrow & A' \\ \downarrow && \downarrow \\ P^* & \rightarrow & A \end{array}$

commutes. It induces a homomorphism of complexes $\hom(P^*,B) \to \hom(P'^*,B)$, and then a homomorphism on cohomology $\mathrm{Ext}^n(f,B) : \mathrm{Ext}^n(A,B) \to \mathrm{Ext}^n(A',B)$.

Now, if $r \in R$, then we can multiply the vertical maps in the diagram above with $r$, and see that $r \overline{f}$ is a choice for $\overline{rf}$. The rest of the construction is also compatible with multiplication with $r$. Hence, $\mathrm{Ext}^n(rf,B) = r \mathrm{Ext}^n(f,B)$.

The proof for the other variable is identical. And for $\mathrm{Tor}$ the same proof works.

Since you ask "Is this implicit in the construction of Ext and Tor when R is commutative?", let me add what is really going on here: There are two Ext functors! The first one, which also exists in the non-commutative case, in fact in arbitrary abelian categories with enough injectives, is $\mathrm{Ext}^*(A,-) : \mathsf{Mod}(R) \to \mathsf{Ab}$, the right derived functor of $\hom(A,-) : \mathsf{Mod}(R) \to \mathsf{Ab}$. The second is what I would denote by $\underline{\mathrm{Ext}}^*(A,-)$, the right derived functor of $\underline{\hom}(A,-) : \mathsf{Mod}(R) \to \mathsf{Mod}(R)$. If $U$ denotes the forgetful functor $\mathsf{Mod}(R) \to \mathsf{Ab}$, then we have an isomorphism $U \circ \underline{\mathrm{Ext}}^*(A,-) \cong \mathrm{Ext}^*(A,-)$. You can prove this as follows: They are universal exact $\delta$-functors and agree for $*=0$.

The distinction between $\mathrm{Ext}$ and $\underline{\mathrm{Ext}}$ becomes more important for the category of modules on some ringed space $X$. They are connected by a "local-global" spectral sequence $H^p(X,\underline{\mathrm{Ext}}^q(A,B)) \to \mathrm{Ext}^{p+q}(A,B)$. If $X$ is just a point, the spectral sequence degenerates to the isomorphism above.

share|improve this answer
    
I reckon that $R$-bilinearity holds for Tor as well, hence $\mathrm{Ann}_RA+\mathrm{Ann}_RB\,\subseteq\mathrm{Tor}^R_n(A,B)$? It's just a little suspicious to me that I've only ever seen $\mathrm{Ann}_RA\subseteq\mathrm{Ext}_R^n(A,B)$ in the literature, and not the other inclusions. –  Leon Sep 17 '13 at 22:44
    
Uuu, very interesting, it's always nice to hear about generalizations, of which my problem is a trivial special case. So the $E_2$ term of the spectral sequence is what exactly? It's $E_\infty$ term is $Ext(A,B)$? What book is this from? McCleary? –  Leon Sep 17 '13 at 22:54
1  
Godement for example, actually every book which treats cohomology of sheaves thoroughly ( ... in Hartshorne it is just mentioned). –  Martin Brandenburg Sep 17 '13 at 22:59
    
Thank you very much! –  Leon Sep 17 '13 at 23:00
1  
But of course this is total overkill when you just want to understand why the Ext functor is linear. I just wanted to indicate the big picture. Actually the statement that $Ext$ is linear (in each variable) doesn't make much sense, because $\underline{Ext}$ is linear by definition, and for $Ext$ linearity is not well-defined. –  Martin Brandenburg Sep 17 '13 at 23:02

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.