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

There are also:

• 4 comment(s) on Section 14.34: Standard resolutions

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