3
$\begingroup$

Suppose I have an $A_{\infty}$-space $X$, such that its unit is only a unit up to homotopy. When the space is well-behaved (well-pointed? What is the weakest condition possible?), I can replace it with a homotopy equivalent version of $X$ that has an honest unit. I read the definition for the classifying space of an $A_{\infty}$-space in Stasheff's papers. He uses honest units. Is it possible to circumvent this somehow?

Is there a functorial definition of the classifying space $BX$ that does not strictify the homotopy unit?

$\endgroup$

1 Answer 1

9
$\begingroup$

For your first question:

If $X$ has the homotopy type of a CW space, then you can replace $X$ by any CW space $Y$ that is homotopy equivalent to it (in the unbased sense).

Then $Y$ is also $A_\infty$ with a good basepoint. Then you can use the homotopy extension property to make the basepoint a strict unit for the multiplication.

As to your last question:

I think the answer is yes. For example, one can use the Boardman and Vogt description of the classifying space; this is a model which doesn't require that the unit be strict.

$\endgroup$
3
  • $\begingroup$ Boardman and Vogt use what they call WA-spaces and they write in Homotopy-Everything H-spaces: "A WA-space (...) is approximately an $A_{\infty}$-space." I don't understand the "approximately"-part. How are these two notions related? $\endgroup$ Nov 8, 2011 at 23:01
  • $\begingroup$ Ulrich, I recommend that you go instead to the introduction of their book--it's explained there. $\endgroup$
    – John Klein
    Nov 8, 2011 at 23:29
  • $\begingroup$ The book seems to be exactly what I was looking for. Thank you! $\endgroup$ Nov 9, 2011 at 7:18

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.