1
$\begingroup$

Let $C$ be a (small) category. One can form the free groupoid $GC$ of $C$ which is the left adjoint construction to the inclusion functor $\mathrm{Groupoid}\rightarrow\mathrm{Category}$. Is then $C$ always homotopy equivalent to $GC$? In other words, are the spaces $BC$ and $B\pi BC$ homotopy equivalent where $B\underline{}$ is the classifying space and $\pi\underline{}$ is the fundamental groupoid?

$\endgroup$
2
  • 1
    $\begingroup$ Which adjoint? The use of the word "free" suggests you mean the left adjoint, but in fact there is also a right adjoint (maximal subgroupoid). $\endgroup$
    – Zhen Lin
    Jun 7, 2013 at 16:13
  • $\begingroup$ Yes the word "free" pins it down: It's the left adjoint. In other words, you localize the category at all morphisms. I also changed the word "forgetful" to "inclusion". $\endgroup$ Jun 7, 2013 at 18:03

1 Answer 1

8
$\begingroup$

No. There is a monoid with trivial group image whose classifying space is a sphere. See Is there a (discrete) monoid M injecting into its group completion G for which BM is not homotopy equivalent to BG?

Basically take the idempotent semigroup with elements $(a,b)$ with a,b either 0 or 1 and multiplication is (a,b)(c,d)=(a,d). Next add an identity. Clearly the fundamental group of this idempotent monoid is trivial. It is known to have classifying space homotopic to a 2-sphere.

$\endgroup$
6
  • $\begingroup$ Thank you for your answer. Do you know whether the Ore condition on $C$ is enough for the statement to be true (you mentioned in the other question that it's true in the case of one object categories). Furthermore, do you even know of an easy to verify condition on $C$ which is equivalent to $C\rightarrow GC$ being an homotopy equivalence? $\endgroup$ Jun 7, 2013 at 15:06
  • $\begingroup$ Ore condition is enough for it to be true. I don't think there is an easy condition in general. When C is a cancellative monoid, the whole game boils down to showing that the homology of the monoid with group ring coefficients vanishes in dimension 2 and up if memory serves. The above question and its references discuss this. $\endgroup$ Jun 7, 2013 at 19:55
  • 1
    $\begingroup$ In fact, you can realize any homotopy type as a nerve of a category. Just take a closed under intersections cover $U$ of topological space $X$ by contractible subspaces. Then the nerve of corresponding poset is equivalent to $X$. On the other hand, groupoids can model only homotopy 1-types, i.e. spaces with $\pi_i (X)=0$ for $i>1$. To get unrestricted equivalence, one needs to consider higher categories and $\infty$-groupoids. $\endgroup$ Jun 7, 2013 at 21:43
  • $\begingroup$ Dusa McDuff in fact proved every CW complex is homotopy equivalent to the classifying space of a monoid. $\endgroup$ Jun 8, 2013 at 7:21
  • $\begingroup$ Minor nitpick: McDuff's result is (obviously) for connected CW complexes, @BenjaminSteinberg. $\endgroup$ Jun 27, 2013 at 14:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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