## Does $\pi_1$ have a right adjoint?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Eilenberg and Mac Lane showed that given a group $G$ there exists a pointed topological space $X_G$ such that $\pi(X_G,\bullet)\cong G$. It is obviously a way to "invert direction" to the functor $\pi_1\colon \mathbf{Top}^\bullet\to \mathbf{Grp}$ to a functor $\mathcal K\colon \mathbf{Grp}\to \mathbf{Top}^\bullet$ such that $\pi_1(\mathcal K(G),\bullet)\cong G$ (almost by definition). This is equivalent to say that there exists a natural transformation (equivalence, in this case) between $\pi_1\circ\mathcal K$ and $\mathbf{1}_{\mathbf{Grp}}$, which turns out to resemble some sort of counity.

It would be wonderful if I could define an adjunction between the two categories in exam, given by the two functors. Everytime I try to think about some sort of unity to this hypotetical adjunction I poorly fail: considering the vast literature in the field of algebraic topology, I believe in only two possible cases. The first, nothing interesting arises from this adjunction. The second, there is no sort of adjunction.

The key point, quite trivial, to answer is: it is well known that an adjunction is uniquely determined by one among unity and counity, provided the one is universal. But $\boldsymbol\varepsilon\colon \pi_1\circ\mathcal K\to \mathbf{1}_{\mathbf{Grp}}$ is an equivalence: can I conclude that it is universal?

-

## 2 Answers

In the more general setting the answer is no. Left adjoints preserve colimits and it is not true that $\pi_{1}(X\vee Y)\cong \pi_{1}(X)\ast\pi_{1}(Y)$ for all spaces $X,Y$ (even compact metric spaces). For instance, if $(\mathbb{HE},x)$ is the usual Hawaiian earring, let $X=Y=C\mathbb{HE}=\mathbb{HE}\times I/\mathbb{HE}\times{1}$ be the cone on the Hawaiian earring with basepoint the image of $(x,0)$ in the quotient. It is a theorem of Griffiths that $\pi_{1}(C\mathbb{HE}\vee C\mathbb{HE})$ is uncountable and not the free product of trivial groups.

-

Clear, clear. Thanks. :) – tetrapharmakon Nov 9 2010 at 0:05

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Let $\mathcal{C}$ be the homotopy category of connected pointed CW complexes. Then the functor $\pi_1:\mathcal{C}\to\mathbf{Grp}$ does indeed have a right adjoint. The cleanest way to define it is to use the simplicial classifying space functor $B:\mathbf{Grp}\to\mathcal{C}$. For the unit of the adjunction you need a natural homotopy class of maps $X\to B(\pi_1(X))$. This can be done by obstruction theory, by induction up the skeleta of $X$. Alternatively, one can define a more canonical map from $|SX|$ (the geometric realisation of the singular complex) to $B(\pi_1(X))$ by simplicial methods, and then use the fact that there is a natural map $|SX|\to X$ which is a homotopy equivalence when $X\in\mathcal{C}$. The first place I would look for more details would be Peter May's old book on simplicial objects in algebraic topology.

-

Goerss-Jardine is probably going to be more useful than Peter May's book, which is really outdated. – Harry Gindi Nov 8 2010 at 21:21
That copy of the book is copyright-infringing (not that I care), and it's probably better if you can avoid posting it on MO. – Harry Gindi Nov 9 2010 at 0:58
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 25, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.93374103307724, "perplexity_flag": "head"}