at.algebraic topology - categorical homotopy colimits

I'll work in CW-complexes.

Consider the diagram $S^1_+ leftarrow *_+ rightarrow S^1_+$, where $X_+$ denotes $X$ with a disjoint basepoint added. Homotopy classes of maps $*_+ to Y$ are path components of $Y$, and homotopy classes of maps $S^1_+ to Y$ are a choice of path component and a conjugacy class of element of $pi_1$ of that path component. Therefore, if this diagram has a pushout in the homotopy category of based spaces it (co?)represents the functor sending $Y$ to a choice of path component and a pair of conjugacy classes in the same path component.

Suppose we had a representing object $X$. Considering $[X,S^0]$, we find $X$ has only two path components. So $X = X_0 coprod X_1$ where $X_0$ is the basepoint component. Each component can, up to homotopy equivalence, be constructed as a CW-complex with one zero-cell, some family of 1-cells, and some family of 2-cells.

Consider $[X, K(pi,1)_+]$ for $pi$ a group. A cell description of $X$ gives rise a description of this functor: an element of $[X, K(pi,1)]_+$ is either trivial (if $X_1$ maps to the basepoint) or is a conjugacy class of homorphism $pi_1(X_1) to pi$, because the maps on $X_1$ are not restricted to basepoint-preserving homotopies.

So it suffices to show that there are no groups $G$ so that conjugacy classes of homomorphism $G to pi$ are in natural bijective correspondence with pairs of conjugacy classes of elements of $pi$.

EDIT: Fixed up the following argument.

Given such a group $G$, the identity map determines a pair of conjugacy classes $[x], [y]$ in $G$, and choosing any representatives $x$ and $y$ determines a group homomorphism $F_2 to G$. Conversely, the conjugacy classes of the generators of $F_2$ determine a map $G to F_2$ splitting this map up to conjugacy. This would imply that the natural tranformation sending simultaneous conjugacy classes of pairs to pairs of conjugacy classes is an inclusion, which is false, e.g. in the symmetric group on 3 letters there are 9 pairs of conjugacy classes and (assuming I counted correctly) 11 simultaneous conjugacy classes of pairs.

• Next ac.commutative algebra - product of all F_p, p prime
• Previous fa.functional analysis - convergence rate in Wiener's approximation theorem