Welcome to MathOverflow

Question

4

2

Hi,

this question is related to my question here. Suppose, I have a topological group $G$ and an $A_{\infty}$-space $H$, which is a CW-complex. Furthermore, I have a map $\varphi \colon G \to H$, that induces an isomorphism of groups $[X, G] \to [X,H]$ for finite CW-complexes $X$.

Is this enough to deloop $\varphi$, i.e. does there exist a map $B\varphi \colon BG \to BH$. Or can I at least deduce a weak equivalence between $BG$ and $BH$ from this?

btw.: What is the "standard" reference for $A_{\infty}$-spaces and $H$-spaces nowadays? Or for Segals $\Gamma$-spaces?

edited Jul 26 2011 at 12:41

asked Jul 26 2011 at 8:30

Ulrich Pennig
3,232●1●7●13

1

$H$-spaces may not have classifying spaces. – Torsten Ekedahl Jul 26 2011 at 8:44

I think you should emphasize that the isomorphism $[X, G] \to [X, H]$ is an isomorphism of groups, not just sets. This then yields the condition that $\pi_0(H)$ is a group and that $H$ has a classifying space. – S. Carnahan♦ Jul 26 2011 at 8:58

@Scott: Thank you. I corrected this. @Torsten: Hmm, in the case I have in mind, H is actually a Gamma-space, so it should have a classifying space. What are the conditions for an H-space to have a classifying space? – Ulrich Pennig Jul 26 2011 at 9:10

3

It should have a given $A_\infty$-structure. Note that the actual choice of structure affects what the classifying space would be so you must specify it. A $\Gamma$-structure is stronger but again the choice of $\Gamma$-structure will affect what classifying space you are talking about. – Torsten Ekedahl Jul 26 2011 at 9:46

changed $H$-space to $A_{\infty}$-space according to Torsten's comment – Ulrich Pennig Jul 26 2011 at 12:42

show 1 more comment

Oscar Randal-Williams · Accepted Answer · 2011-07-26 14:46:20Z UTC

4

No, it is not: $S^3$ admits uncountably many loop space structures (c.f. Rector "Loop structures on the homotopy type of $S^3$"), but only $12 (= \vert \pi_6(S^3) \vert)$ H-space structures (c.f. James "Multiplication on spheres (II)").

answered Jul 26 2011 at 14:46

Oscar Randal-Williams
5,409●1●14●28

Delooping maps between H-spaces

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

1 Answer

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.