Lemma 22.7.3 (09JV)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 22: Differential Graded Algebra
Section 22.7: Admissible short exact sequences
Lemma 22.7.3 (cite)

numberstags

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

$\xymatrix{ K \ar[r]_ f \ar[d]_ a & L \ar[d]^ b \\ M \ar[r]^ g & N }$

be a diagram of homomorphisms of differential graded $A$ -modules commuting up to homotopy.

If $f$ is an admissible monomorphism, then $b$ is homotopic to a homomorphism which makes the diagram commute.
If $g$ is an admissible epimorphism, then $a$ is homotopic to a morphism which makes the diagram commute.

Proof. Let $h : K \to N$ be a homotopy between $bf$ and $ga$ , i.e., $bf - ga = \text{d}h + h\text{d}$ . Suppose that $\pi : L \to K$ is a graded $A$ -module map left inverse to $f$ . Take $b' = b - \text{d}h\pi - h\pi \text{d}$ . Suppose $s : N \to M$ is a graded $A$ -module map right inverse to $g$ . Take $a' = a + \text{d}sh + sh\text{d}$ . Computations omitted. $\square$

Comments (0)

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