I'm having trouble filling in a detail in Goerss and Jardine's book Simplicial homotopy theory. Their Proposition 4.2 claims that two classes of monomorphisms $\mathbf{B}_2\subset\mathbf{B}_3$ in the category of simplicial sets define the same saturated class, in their notation, $M_{\mathbf{B}_2}=M_{\mathbf{B}_3}$.

How do you prove $M_{\mathbf{B}_2}=M_{\mathbf{B}_3}$?

I'm following their proof suggestion. The first few paragraphs are to introduce notation; there is a specific point that I don't see how to deal with (see the highlighted bit at the end).

$\mathbf{B}_2$ is the class of all inclusions $$\Delta^1\times\partial\Delta^n\underset{e\times\Delta^n}{\cup}e\times\Delta^n\;\hookrightarrow\; \Delta^1\times\Delta^n$$ (simply written $\Delta^1\times\partial\Delta^n \cup e\times\Delta^n\hookrightarrow\Delta^1\times\Delta^n$) with $e=0,1$, while

$\mathbf{B}_3$ is the class of all inclusions $$\Delta^1\times A\cup e\times X\;\hookrightarrow\; \Delta^1\times X$$ again, $e=0,1$, where $A\hookrightarrow X$ is an arbitrary monomorphism.

Obvisouly $M_{\mathbf{B}_2}\subset M_{\mathbf{B}_3}$. The text provides an indication as to how to prove the reverse inclusion: for every inclusion $A\subset X$, $X$ is obtained from $A$ by adjoining cells. Inspired by the proof of Corollary 4.6, I tried to prove that the class $\cal C$ of all monomorphisms $A\hookrightarrow X$ such that $\left(\Delta^1\times A\cup e\times X\;\hookrightarrow\; \Delta^1\times X\right)\in M_{\mathbf{B}_2}$ is a saturated class (minus the stability by retracts part).

By definition of $M_{\mathbf{B}_2}$, $\cal C$ contains all boundary inclusions $\partial\Delta^n\subset\Delta^n$. Also, every inclusion $A\hookrightarrow X$, $X$ can be recovered as a colimit of complexes $X^{(n)}$, $n\geq -1$, with $X^{(-1)}=A$ and $X^{(n)}$ is obtained from $X^{(n-1)}$ by adjoining cells, i.e. as a pushout diagram $$\begin{matrix} \coprod\partial\Delta^n & \hookrightarrow & \coprod\Delta^n\\ \downarrow &&\downarrow\\ X^{(n-1)} &\rightarrow & X^{(n)} \end{matrix}$$ (the coproduct is taken over all non-degenerate $n$-simplices in $X$ that aren't already in $A$) Then stability by transfinite composition of $\cal C$ would guarantee that the inclusion $$A\hookrightarrow\mathrm{colim}_n X^{(n)}$$ is in $\cal C$, but this inclusion is isomorphic to the original inclusion $A\hookrightarrow X$ and so $\cal C$ would be the class of all monomorphisms, proving $M_{\mathbf{B}_3}\subset M_{\mathbf{B}_2}$

I can prove that $\cal C$ contains all isomorphisms, is closed under pushouts and arbitrary coproducts, but I don't see why it is stable under countable compositions (I don't think I need stability under retracts).


Ok, the solution isn't that bad. Consider an infinite sequence of monomorphisms in $\cal C$ $$A=A_1\overset{i_1}{\hookrightarrow}A_2\overset{i_2}{\hookrightarrow}A_3\overset{i_3}{\hookrightarrow}\cdots\hookrightarrow\mathrm{colim}_n\,A_n=X$$ We need to prove that the inclusion $A\hookrightarrow X$ is still in $\cal C$, that is, that the inclusion $$\Delta^1\times A\cup e\times X\;\hookrightarrow\;\Delta^1\times X$$ is in $M_{\mathbf{B}_2}$, for $e=0,1$. But this is because for any $n$, the square below is a pushout: $$\begin{matrix} \Delta^1\times A_n\cup e\times A_{n+1} & \hookrightarrow & \Delta^1\times A_{n+1}\\ \downarrow&&\downarrow\\ \Delta^1\times A_n\cup e\times X &\to&\Delta^1\times A_{n+1}\cup e\times X \end{matrix}$$ and since the top morphism is in $M_{\mathbf{B}_2}$ by hypothesis, so is the monomorphism $$\underbrace{\Delta^1\times A_n\cup e\times X}_{B_n} \;\hookrightarrow\;\underbrace{\Delta^1\times A_{n+1}\cup e\times X}_{B_{n+1}}$$ By construction, $B_1=\Delta^1\times A\cup e\times X$, and $\mathrm{colim}_n\,B_n=\Delta^1\times X$, and the stability by countable compositions of $M_{\mathbf{B}_2}$ implies that the inclusion $$\left(\Delta^1\times A\cup e\times X\,\hookrightarrow\,\Delta^1\times X\right)\in M_{\mathbf{B}_2}$$ i.e. $\left(A\hookrightarrow X\right)\in\cal C$.

Everything about this proof still works for a general inclusion $K\subset L$ rather than the two inclusions $d^0,d^1:\Delta^0\hookrightarrow\Delta^1$, or for a collection of inclusions.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.