Lemma 21.34.4 (0A93)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 1: Preliminaries
Chapter 21: Cohomology on Sites
Section 21.34: Hom complexes
Lemma 21.34.4 (cite)

numberstags

Lemma 21.34.4. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Given complexes $\mathcal{K}^\bullet , \mathcal{L}^\bullet , \mathcal{M}^\bullet $ of $\mathcal{O}$-modules there is a canonical morphism

\[ \mathcal{K}^\bullet \longrightarrow \mathop{\mathcal{H}\! \mathit{om}}\nolimits ^\bullet (\mathcal{L}^\bullet , \text{Tot}(\mathcal{K}^\bullet \otimes _\mathcal {O} \mathcal{L}^\bullet )) \]

of complexes of $\mathcal{O}$-modules functorial in both complexes.

Proof. Omitted. Hint: This is proved in exactly the same way as More on Algebra, Lemma 15.71.5. $\square$

Comments (0)

There are also:

2 comment(s) on Section 21.34: Hom complexes

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment