The Stacks project

14.34 Standard resolutions

Some of the material in this section can be found in [Appendix 1, Godement] and [I 1.5, cotangent].

Situation 14.34.1. Let $\mathcal{A}$, $\mathcal{S}$ be categories and let $V : \mathcal{A} \to \mathcal{S}$ be a functor with a left adjoint $U : \mathcal{S} \to \mathcal{A}$.

In this very general situation we will construct a simplicial object $X$ in the category of functors from $\mathcal{A}$ to $\mathcal{A}$. We suggest looking at the examples presented later on before reading the text of this section.

For the construction we will use the horizontal composition as defined in Categories, Section 4.28. The definition of the adjunction morphisms1

\[ d : U \circ V \to \text{id}_\mathcal {A} \quad (\text{counit}) \quad \text{and}\quad \eta : \text{id}_\mathcal {S} \to V \circ U \quad (\text{unit}) \]

in Categories, Section 4.24 shows that the compositions

14.34.1.1
\begin{equation} \label{simplicial-equation-composition} V \xrightarrow {\eta \star 1_ V} V \circ U \circ V \xrightarrow {1_ V \star d} V \quad \text{and}\quad U \xrightarrow {1_ U \star \eta } U \circ V \circ U \xrightarrow {d \star 1_ U} U \end{equation}

are the identity morphisms. Here to define the morphism $\eta \star 1_ V$ we silently identify $V$ with $\text{id}_\mathcal {S} \circ V$ and $1_ V$ stands for $\text{id}_ V : V \to V$. We will use this notation and these relations repeatedly in what follows. For $n \geq 0$ we set

\[ X_ n = (U \circ V)^{\circ (n + 1)} = U \circ V \circ U \circ \ldots \circ U \circ V \]

In other words, $X_ n$ is the $(n + 1)$-fold composition of $U \circ V$ with itself. We also set $X_{-1} = \text{id}_\mathcal {A}$. We have $X_{n + m + 1} = X_ n \circ X_ m$ for all $n, m \geq -1$. We will endow this sequence of functors with the structure of a simplicial object of $\text{Fun}(\mathcal{A}, \mathcal{A})$ by constructing the morphisms of functors

\[ d^ n_ j : X_ n \to X_{n - 1},\quad s^ n_ j : X_ n \to X_{n + 1} \]

satisfying the relations displayed in Lemma 14.2.3. Namely, we set

\[ d^ n_ j = 1_{X_{j - 1}} \star d \star 1_{X_{n - j - 1}} \quad \text{and}\quad s^ n_ j = 1_{X_{j - 1} \circ U} \star \eta \star 1_{V \circ X_{n - j - 1}} \]

Finally, write $\epsilon _0 = d : X_0 \to X_{-1}$.

Lemma 14.34.2. In Situation 14.34.1 the system $X = (X_ n, d^ n_ j, s^ n_ j)$ is a simplicial object of $\text{Fun}(\mathcal{A}, \mathcal{A})$ and $\epsilon _0$ defines an augmentation $\epsilon $ from $X$ to the constant simplicial object with value $X_{-1} = \text{id}_\mathcal {A}$.

Proof. Consider $Y = U \circ V : \mathcal{A} \to \mathcal{A}$. We already have the transformation $d : Y = U \circ V \to \text{id}_\mathcal {A}$. Let us denote

\[ s = 1_ U \star \eta \star 1_ V : Y = U \circ \text{id}_\mathcal {S} \circ V \longrightarrow U \circ V \circ U \circ V = Y \circ Y \]

This places us in the sitation of Example 14.33.1. It is immediate from the formulas that the $X, d^ n_ i, s^ n_ i$ constructed above and the $X, s^ n_ i, s^ n_ i$ constructed from $Y, d, s$ in Example 14.33.1 agree. Thus, according to Lemma 14.33.2 it suffices to prove that

\[ 1_ Y = (d \star 1_ Y) \circ s = (1_ Y \star d) \circ s \quad \text{and}\quad (s \star 1) \circ s = (1 \star s) \circ s \]

The first equal sign translates into the equality

\[ 1_ U \star 1_ V = (d \star 1_ U \star 1_ V) \circ (1_ U \star \eta \star 1_ V) \]

which holds if we have $1_ U = (d \star 1_ U) \circ (1_ U \star \eta )$ which in turn holds by (14.34.1.1). Similarly for the second equal sign. For the last equation we need to prove

\[ (1_ U \star \eta \star 1_ V \star 1_ U \star 1_ V) \circ (1_ U \star \eta \star 1_ V) = (1_ U \star 1_ V \star 1_ U \star \eta \star 1_ V) \circ (1_ U \star \eta \star 1_ V) \]

For this it suffices to prove $(\eta \star 1_ V \star 1_ U) \circ \eta = (1_ V \star 1_ U \star \eta ) \circ \eta $ which is true because both sides are the same as $\eta \star \eta $. $\square$

Before reading the proof of the following lemma, we advise the reader to look at the example discussed in Example 14.34.8 in order to understand the purpose of the lemma.

Lemma 14.34.3. In Situation 14.34.1 the maps

\[ 1_ V \star \epsilon : V \circ X \to V, \quad \text{and}\quad \epsilon \star 1_ U : X \circ U \to U \]

are homotopy equivalences.

Proof. As in the proof of Lemma 14.34.2 we set $Y = U \circ V$ so that we are in the sitation of Example 14.33.1.

Proof of the first homotopy equivalence. By Lemma 14.33.4 to construct a map $h : V \to V \circ X$ right inverse to $1_ V \star \epsilon $ it suffices to construct a map $h_0 : V \to V \circ Y = V \circ U \circ V$ such that $1_ V = (1_ V \star d) \circ h_0$. Of course we take $h_0 = \eta \star 1_ V$ and the equality holds by (14.34.1.1). To finish the proof we need to show the two maps

\[ (1_ V \star \epsilon ) \circ h, 1_ V \star \text{id}_ X : V \circ X \longrightarrow V \circ X \]

are homotopic. This follows immediately from Lemma 14.33.5 (with $G = G' = V$ and $F = F' = \text{id}_\mathcal {S}$).

The proof of the second homotopy equivalence. By Lemma 14.33.4 to construct a map $h : U \to X \circ U$ right inverse to $\epsilon \star 1_ U$ it suffices to construct a map $h_0 : U \to Y \circ U = U \circ V \circ U$ such that $1_ U = (d \star 1_ U) \circ h_0$. Of course we take $h_0 = 1_ U \star \eta $ and the equality holds by (14.34.1.1). To finish the proof we need to show the two maps

\[ (\epsilon \star 1_ U) \circ h, \text{id}_ X \star 1_ U : X \circ U \longrightarrow X \circ U \]

are homotopic. This follows immediately from Lemma 14.33.5 (with $G = G' = \text{id}_\mathcal {A}$ and $F = F' = U$). $\square$

Example 14.34.4. Let $R$ be a ring. As an example of the above we can take $i : \text{Mod}_ R \to \textit{Sets}$ to be the forgetful functor and $F : \textit{Sets} \to \text{Mod}_ R$ to be the functor that associates to a set $E$ the free $R$-module $R[E]$ on $E$. For an $R$-module $M$ the simplicial $R$-module $X(M)$ will have the following shape

\[ X(M) = \left( \ldots \xymatrix{ R[R[R[M]]] \ar@<2ex>[r] \ar@<0ex>[r] \ar@<-2ex>[r] & R[R[M]] \ar@<1ex>[r] \ar@<-1ex>[r] \ar@<1ex>[l] \ar@<-1ex>[l] & R[M] \ar@<0ex>[l] } \right) \]

which comes with an augmentation towards $M$. We will also show this augmentation is a homotopy equivalence of sets. By Lemmas 14.30.8, 14.31.9, and 14.31.8 this is equivalent to asking $M$ to be the only nonzero cohomology group of the chain complex associated to the simplicial module $X(M)$.

Example 14.34.5. Let $A$ be a ring. Let $\textit{Alg}_ A$ be the category of commutative $A$-algebras. As an example of the above we can take $i : \textit{Alg}_ A \to \textit{Sets}$ to be the forgetful functor and $F : \textit{Sets} \to \textit{Alg}_ A$ to be the functor that associates to a set $E$ the polynomial algebra $A[E]$ on $E$ over $A$. (We apologize for the overlap in notation between this example and Example 14.34.4.) For an $A$-algebra $B$ the simplicial $A$-algebra $X(B)$ will have the following shape

\[ X(B) = \left( \ldots \xymatrix{ A[A[A[B]]] \ar@<2ex>[r] \ar@<0ex>[r] \ar@<-2ex>[r] & A[A[B]] \ar@<1ex>[r] \ar@<-1ex>[r] \ar@<1ex>[l] \ar@<-1ex>[l] & A[B] \ar@<0ex>[l] } \right) \]

which comes with an augmentation towards $B$. We will also show this augmentation is a homotopy equivalence of sets. By Lemmas 14.30.8, 14.31.9, and 14.31.8 this is equivalent to asking $B$ to be the only nonzero cohomology group of the chain complex of $A$-modules associated to $X(B)$ viewed as a simplicial $A$-module.

Example 14.34.6. In Example 14.34.4 we have $X_ n(M) = R[R[\ldots [M]\ldots ]]$ with $n + 1$ brackets. We describe the maps constructed above using a typical element

\[ \xi = \sum \nolimits _ i r_ i\left[\sum \nolimits _ j r_{ij}[m_{ij}]\right] \]

of $X_1(M)$. The maps $d_0, d_1 : R[R[M]] \to R[M]$ are given by

\[ d_0(\xi ) = \sum \nolimits _{i, j} r_ ir_{ij}[m_{ij}] \quad \text{and}\quad d_1(\xi ) = \sum \nolimits _ i r_ i\left[\sum \nolimits _ j r_{ij}m_{ij}\right]. \]

The maps $s_0, s_1 : R[R[M]] \to R[R[R[M]]]$ are given by

\[ s_0(\xi ) = \sum \nolimits _ i r_ i\left[\left[\sum \nolimits _ j r_{ij}[m_{ij}]\right]\right] \quad \text{and}\quad s_1(\xi ) = \sum \nolimits _ i r_ i\left[\sum \nolimits _ j r_{ij}[[m_{ij}]]\right]. \]

Example 14.34.7. In Example 14.34.5 we have $X_ n(B) = A[A[\ldots [B]\ldots ]]$ with $n + 1$ brackets. We describe the maps constructed above using a typical element

\[ \xi = \sum \nolimits _ i a_ i [x_{i, 1}] \ldots [x_{i, m_ i}] \in A[A[B]] = X_1(B) \]

where for each $i, j$ we can write

\[ x_{i, j} = \sum a_{i, j, k} [b_{i, j, k, 1}] \ldots [b_{i, j, k, n_{i, j, k}}] \in A[B] \]

Obviously this is horrendous! To ease the notation, to see what the $A$-algebra maps $d_0, d_1 : A[A[B]] \to A[B]$ are doing it suffices to see what happens to the variables $[x]$ where

\[ x = \sum a_ k [b_{k, 1}] \ldots [b_{k, n_ k}] \in A[B] \]

is a general element. For these we get

\[ d_0([x]) = x = \sum a_ k [b_{k, 1}] \ldots [b_{k, n_ k}] \quad \text{and}\quad d_1([x]) = \left[\sum a_ k b_{k, 1} \ldots b_{k, n_ k}\right] \]

The maps $s_0, s_1 : A[A[B]] \to A[A[A[B]]]$ are given by

\[ s_0([x]) = \left[\left[\sum a_ k [b_{k, 1}] \ldots [b_{k, n_ k}]\right]\right] \quad \text{and}\quad s_1([x]) = \left[\sum a_ k [[b_{k, 1}]] \ldots [[b_{k, n_ k}]]\right] \]

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

[1] We can't use $\epsilon $ for the counit of the adjunction because we want to use $\epsilon $ for the augmentation of our simplicial obejct.

Comments (6)

Comment #6003 by on

Definition of X_n near the top is U o V o ... o U but it should end in a V.

Just above displayed equation 08NB I have "Undefined control sequence \footnote"

Comment #7525 by weng yixiang on

I think you reversed the unit and counit at the beginning.

Comment #7869 by Mingchen on

In the definition of before 08NC, you used the notations i and F. Do you mean V and U?


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 08N8. Beware of the difference between the letter 'O' and the digit '0'.