Loading [MathJax]/extensions/tex2jax.js

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

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.

View Lemma 60.16.1 as pdf