Why is the the classifying space of the natural numbers homotopy equivalent to the circle? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T17:09:09Z http://mathoverflow.net/feeds/question/94017 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/94017/why-is-the-the-classifying-space-of-the-natural-numbers-homotopy-equivalent-to-th Why is the the classifying space of the natural numbers homotopy equivalent to the circle? Gao 2Man 2012-04-14T06:19:51Z 2012-04-14T19:40:09Z <p>Is there a direct way to seeing that $B{\mathbb{N}}\simeq S^1$, i.e. the classifying space of the monoid of natural numbers is homotopy equivalent to the circle? </p> <p>Here, since the natural numbers ${\mathbb{N}}$ is not a group, some care is needed to define the classifying space $B{\mathbb{N}}$ properly. One way to do this is to consider ${\mathbb{N}}$ as a discrete simplicial monoid, then set $B{\mathbb{N}}:=|N{\mathbb{N}}|$ to be the geometric realization of its nerve.</p> <p>This fact is a special case of (yet surprisingly, equivalent to) a larger theorem of James, namely that James' construction $J[X]$ on a pointed simplicial set $X$ is weakly equivalent to $\Omega\Sigma |X|$. Here $J[X]$ is the free simplicial monoid on $X$ modulo the basepoint $*$. Take $X=S^0$ gives $|N{\mathbb{N}}|\cong |NJ[S^0]|\simeq B\Omega\Sigma S^\simeq |\Sigma S^0|\simeq S^1$. </p> http://mathoverflow.net/questions/94017/why-is-the-the-classifying-space-of-the-natural-numbers-homotopy-equivalent-to-th/94018#94018 Answer by Spice the Bird for Why is the the classifying space of the natural numbers homotopy equivalent to the circle? Spice the Bird 2012-04-14T06:48:06Z 2012-04-14T07:37:04Z <p>I am not sure if this is the type of direct proof that you are looking for, but here it goes. I will start with a more general theorem: Let $M$ be a CANCELABLE monoid, and $K$ be the left adjoint to the forgetful functor, $U:GROUP\rightarrow MONOID$. Then $BM$ is homotopy equivalent to $BK(M)$. The way I like to see this is to think of both monoids and (therefore groups) as categories. By $B$, I mean the nerve of the category that turns the category into a simplicial set. Now I find these sorts of nerve theorems are much easier to see in the world of simplicial sets. To see this particular theorem, it suffices to try to build a minimal fibration (that is a fibrant replacement). In the case of a monoid, all of the inner horns are filled, and we must only find out how to fill the outer horns. But these will just be adding in the inverse that are not yet in the monoid. Further the minimal fibration condition will ensure that horn fillers are unique. Essentially, what you are doing is to perform a geometric version of the $K$ functor in the category of simplicial sets. As an interesting exercise, it would be good to take the minimal fibration associated to $B\mathbb{N}$ and see that you get the simplicial set, $B\mathbb{Z}$.</p> <p>Now for the James construction that you mention (even though this is not part of your question, it is worth mentioning) their is a simplicial set version of this called the Milnor FK construction. What you do is you start with a reduced simplicial set, $X$ (a simplicial set with one vertex). We then define a simplicial group called $FK(X)$ the n-th group is the free group on the elements of $X_n$ modulo the image of the iterated degeneracey, $s_0^n(pnt)$, where $pnt$ is the vertex. </p> http://mathoverflow.net/questions/94017/why-is-the-the-classifying-space-of-the-natural-numbers-homotopy-equivalent-to-th/94044#94044 Answer by Carl Futia for Why is the the classifying space of the natural numbers homotopy equivalent to the circle? Carl Futia 2012-04-14T17:04:32Z 2012-04-14T19:05:25Z <p>Indirect method:</p> <p>Monoids are categories with one object. A simple calculation shows that the inclusion of categories <strong>N</strong> into <strong>Z</strong> has contractible homotopy fiber (which is the nerve of the category whose objects are the arrows of the one object category <strong>Z</strong> and whose arrows are commutative triangles of <strong>Z</strong> mediated by the elements of <strong>N</strong>). Thus Quillen's theorem A yields a homotopy equivalence of the corresponding nerves arising from the inclusion of underlying categories.</p> <p>Direct method:</p> <p>Consult this paper by Ken Brown: "<a href="http://www.math.cornell.edu/~kbrown/scan/1992.0000.0137.pdf" rel="nofollow">The Geometry of Rewriting Systems</a>"</p> <p>You need only the simplest version of his method. With it one can show that the nerve of <strong>N</strong> and the nerve of <strong>Z</strong> have cellular models which differ only by collapses of simplices and thus have the same (simple) homotopy type.</p> http://mathoverflow.net/questions/94017/why-is-the-the-classifying-space-of-the-natural-numbers-homotopy-equivalent-to-th/94047#94047 Answer by Tyler Lawson for Why is the the classifying space of the natural numbers homotopy equivalent to the circle? Tyler Lawson 2012-04-14T17:56:30Z 2012-04-14T18:02:47Z <p>Method I: Symmetric products.</p> <p>Contained inside the simplicial set $N\mathbb{N}$ is a copy of the simplicial circle $S^1$, generated by the zero-simplex and the 1-simplex $[1]$. This consists of all simplices of the form <code>$e_i = (0,\ldots,0,1,0,\ldots,0)$</code>, together with the basepoint $(0,\cdots,0)$, in the simplicial object.</p> <p>Moreover, $N\mathbb{N}$ is, levelwise, a commutative monoid, and the face and degeneracy maps are maps of commutative monoids. In fact, $N\mathbb{N}$ visibly is, in level $p$, the free commutative monoid on <code>$e_1, \ldots, e_p$</code>, or the infinite symmetric product of the based set <code>$(S^1)_p \subset (N\mathbb{N})_p$</code>. As a simplicial set, then, $N\mathbb{N}$ is the infinite symmetric product of the based simplicial set $S^1$.</p> <p>Geometric realization preserves finite products and quotients by group actions (hence symmetric products), as well as colimits, so the geometric realization is homeomorphic to the map $S^1 \to Sym^\infty S^1$ of topological spaces. On homotopy groups, by the Dold-Thom theorem, this is the map <code>$\pi_* S^1 \to H_* S^1$</code>, which is known to be an isomorphism.</p> <p>Method II: Covering spaces.</p> <p>Consider the auxiliary simplicial set $E$, which is the nerve of the poset $\mathbb{Z}$ under $\leq$. $E$ is contractible, for example because the functions $f(x) \equiv 0$ and $g(x) = max(x,0)$ satisfy $f(x) \leq g(x) \geq id(x)$; these inequalities give rise to natural transformations of categories and thus a two-stage homotopy from the identity to a trivial map.</p> <p>The group $\mathbb{Z}$ acts on $E$ freely (and properly discontinuously on geometric realization) by translation. I claim that the quotient is isomorphic to $N\mathbb{N}$. The p-simplices of $E$ are all of the form <code>$$z \leq (z + n_1) \leq \cdots \leq (z + n_1 + \cdots + n_p)$$</code> and so the quotient can be identified with the collection of tuples <code>$(n_1,\ldots,n_p)$</code>. Composition adds adjacent <code>$n_i$</code> and inserting an identity inserts $0$, so this really is the simplicial set $N\mathbb{N}$.</p> <p>Since geometric realization preserves quotients by group actions, this makes $B\mathbb{N}$ into a $K(\mathbb{Z},1)$, and hence homotopy equivalent to $S^1$.</p> http://mathoverflow.net/questions/94017/why-is-the-the-classifying-space-of-the-natural-numbers-homotopy-equivalent-to-th/94055#94055 Answer by Tom Goodwillie for Why is the the classifying space of the natural numbers homotopy equivalent to the circle? Tom Goodwillie 2012-04-14T19:40:09Z 2012-04-14T19:40:09Z <p>Applying the functor "free $\mathbb Z$-module", the abelian monoid becomes a commutative ring $\mathbb Z[T]$, a polynomial ring in one variable. The bar construction, a simplicial set, becomes a simplicial abelian group: the bar construction for the augmented $\mathbb Z$-algebra. It follows that the homology of the classifying space is $Tor^{\mathbb Z[T]}(\mathbb Z,\mathbb Z)$, which is the homology of the circle. That, plus the fact the fundamental group is what it should be, plus the fact that the classifying space inherits its own commutative mponoid structure, gives the result.</p>