Lemma 22.6.2 (09KD)—The Stacks project

Loading web-font TeX/Main/Regular

Table of contents
Part 1: Preliminaries
Chapter 22: Differential Graded Algebra
Section 22.6: Cones
Lemma 22.6.2 (cite)

previous definition

numberstags

Lemma 22.6.2. Let $(A, \text{d})$ be a differential graded algebra. Suppose that

$\xymatrix{ K_1 \ar[r]_{f_1} \ar[d]_ a & L_1 \ar[d]^ b \\ K_2 \ar[r]^{f_2} & L_2 }$

is a diagram of homomorphisms of differential graded $A$ -modules which is commutative up to homotopy. Then there exists a morphism $c : C(f_1) \to C(f_2)$ which gives rise to a morphism of triangles

$(a, b, c) : (K_1, L_1, C(f_1), f_1, i_1, p_1) \to (K_1, L_1, C(f_1), f_2, i_2, p_2)$

in $K(\text{Mod}_{(A, \text{d})})$ .

Proof. Let $h : K_1 \to L_2$ be a homotopy between $f_2 \circ a$ and $b \circ f_1$ . Define $c$ by the matrix

$c = \left( \begin{matrix} b & h \\ 0 & a \end{matrix} \right) : L_1 \oplus K_1 \to L_2 \oplus K_2$

A matrix computation show that $c$ is a morphism of differential graded modules. It is trivial that $c \circ i_1 = i_2 \circ b$ , and it is trivial also to check that $p_2 \circ c = a \circ p_1$ . $\square$

Comments (0)

There are also:

2 comment(s) on Section 22.6: Cones

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