The Stacks project

Lemma 60.16.1. Let $A_*$ be a cosimplicial ring. Let $\varphi _*, \psi _* : K_* \to M_*$ be homomorphisms of cosimplicial $A_*$-modules.

  1. If $\varphi _*$ and $\psi _*$ are homotopic, then

    \[ \varphi _* \otimes 1, \psi _* \otimes 1 : K_* \otimes _{A_*} L_* \longrightarrow M_* \otimes _{A_*} L_* \]

    are homotopic for any cosimplicial $A_*$-module $L_*$.

  2. If $\varphi _*$ and $\psi _*$ are homotopic, then

    \[ \wedge ^ i(\varphi _*), \wedge ^ i(\psi _*) : \wedge ^ i(K_*) \longrightarrow \wedge ^ i(M_*) \]

    are homotopic.

  3. If $\varphi _*$ and $\psi _*$ are homotopic, and $A_* \to B_*$ is a homomorphism of cosimplicial rings, then

    \[ \varphi _* \otimes 1, \psi _* \otimes 1 : K_* \otimes _{A_*} B_* \longrightarrow M_* \otimes _{A_*} B_* \]

    are homotopic as homomorphisms of cosimplicial $B_*$-modules.

  4. If $I_* \subset A_*$ is a cosimplicial ideal, then the induced maps

    \[ \varphi ^\wedge _*, \psi ^\wedge _* : K_*^\wedge \longrightarrow M_*^\wedge \]

    between completions are homotopic.

  5. Add more here as needed, for example symmetric powers.

Proof. Let $h : M_* \longrightarrow \mathop{\mathrm{Hom}}\nolimits (\Delta [1], N_*)$ be the given homotopy. In degree $n$ we have

\[ h_ n = (h_{n, \alpha }) : K_ n \longrightarrow \prod \nolimits _{\alpha \in \Delta [1]_ n} K_ n \]

see Simplicial, Section 14.28. In order for a collection of $h_{n, \alpha }$ to form a homotopy, it is necessary and sufficient if for every $f : [n] \to [m]$ we have

\[ h_{m, \alpha } \circ M_*(f) = N_*(f) \circ h_{n, \alpha \circ f} \]

see Simplicial, Equation ( We also should have that $\psi _ n = h_{n, 0 : [n] \to [1]}$ and $\varphi _ n = h_{n, 1 : [n] \to [1]}$.

In each of the cases of the lemma we can produce the corresponding maps. Case (1). We can use the homotopy $h \otimes 1$ defined in degree $n$ by setting

\[ (h \otimes 1)_{n, \alpha } = h_{n, \alpha } \otimes 1_{L_ n} : K_ n \otimes _{A_ n} L_ n \longrightarrow M_ n \otimes _{A_ n} L_ n. \]

Case (2). We can use the homotopy $\wedge ^ ih$ defined in degree $n$ by setting

\[ \wedge ^ i(h)_{n, \alpha } = \wedge ^ i(h_{n, \alpha }) : \wedge _{A_ n}(K_ n) \longrightarrow \wedge ^ i_{A_ n}(M_ n). \]

Case (3). We can use the homotopy $h \otimes 1$ defined in degree $n$ by setting

\[ (h \otimes 1)_{n, \alpha } = h_{n, \alpha } \otimes 1 : K_ n \otimes _{A_ n} B_ n \longrightarrow M_ n \otimes _{A_ n} B_ n. \]

Case (4). We can use the homotopy $h^\wedge $ defined in degree $n$ by setting

\[ (h^\wedge )_{n, \alpha } = h_{n, \alpha }^\wedge : K_ n^\wedge \longrightarrow M_ n^\wedge . \]

This works because each $h_{n, \alpha }$ is $A_ n$-linear. $\square$

Comments (0)

Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 07KQ. Beware of the difference between the letter 'O' and the digit '0'.