Example 14.34.8. Going back to the example discussed in Example 14.34.5 our Lemma 14.34.3 signifies that for any ring map A \to B the map of simplicial rings
\xymatrix{ A[A[A[B]]] \ar[d] \ar@<2ex>[r] \ar@<0ex>[r] \ar@<-2ex>[r] & A[A[B]] \ar[d] \ar@<1ex>[r] \ar@<-1ex>[r] \ar@<1ex>[l] \ar@<-1ex>[l] & A[B] \ar[d] \ar@<0ex>[l] \\ B \ar@<2ex>[r] \ar@<0ex>[r] \ar@<-2ex>[r] & B \ar@<1ex>[r] \ar@<-1ex>[r] \ar@<1ex>[l] \ar@<-1ex>[l] & B \ar@<0ex>[l] }
is a homotopy equivalence on underlying simplicial sets. Moreover, the inverse map constructed in Lemma 14.34.3 is in degree n given by
b \longmapsto [\ldots [b]\ldots ]
with obvious notation. In the other direction the lemma tells us that for every set E there is a homotopy equivalence
\xymatrix{ A[A[A[A[E]]]] \ar[d] \ar@<2ex>[r] \ar@<0ex>[r] \ar@<-2ex>[r] & A[A[A[E]]] \ar[d] \ar@<1ex>[r] \ar@<-1ex>[r] \ar@<1ex>[l] \ar@<-1ex>[l] & A[A[E]] \ar[d] \ar@<0ex>[l] \\ A[E] \ar@<2ex>[r] \ar@<0ex>[r] \ar@<-2ex>[r] & A[E] \ar@<1ex>[r] \ar@<-1ex>[r] \ar@<1ex>[l] \ar@<-1ex>[l] & A[E] \ar@<0ex>[l] }
of rings. The inverse map constructed in the lemma is in degree n given by the ring map
\sum a_{e_1,\ldots ,e_ p}[e_1][e_2] \ldots [e_ p] \longmapsto \sum a_{e_1,\ldots ,e_ p}[\ldots [e_1]\ldots ][\ldots [e_2]\ldots ] \ldots [\ldots [e_ p]\ldots ]
(with obvious notation).
Comments (0)
There are also: