## co-$A_\infty$ spaces

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

A co-$A_n$ space is a based space $Y$ equipped with a co-action by the Stasheff associahedron operad $K_\bullet$. This means that $Y$ is comes with certain maps $c_n: Y \times K_n \to Y^{\vee n}$, $n = 2,3,\dots$ that are inductively described (the definition of $c_n$ uses $c_{n-1}$ as input; the map $c_2$ is a co-$H$ structure). The suspension of a based space $X$ has the structure of a co-$A_\infty$ space.

Assume $Y$ is $2$-connected and has the homotopy type of a finite complex. Then Schwaenzl, Vogt and I showed that a co-$A_\infty$ space $Y$ desuspends to a space $X$ in the sense that there's a weak equivalence $\Sigma X \simeq Y$.

However we didn't try to check that the given weak equivalence is compatible in the co-$A_\infty$ sense. Part of the problem is that a morphism $f: Y \to Z$ of co-$A_\infty$ spaces should amount a co-$A_\infty$-structure on its mapping cylinder restricting to the given ones on $X \times 1$ and $Y$. However, this doesn't form a category: it's an $\infty$-category.

Now to my questions:

Question 1: is there a documented proof somewhere that the functor which assigns to a based space $X$ its suspension (considered as an co-$A_\infty$ space) induces an equivalence between the homotopy category of $1$-connected spaces and $2$-connected co-$A_\infty$ spaces?

Presumably, such a proof should be Hilton-Eckmann dual to one of the main results in the Book of Boardman and Vogt.

Question 2: Do function spaces coincide up to weak equivalence under this functor? That is, is the map $$\hom_{\text{Top}_*}(X,X') \to \hom_{\text{co-}A_\infty}(\Sigma X,\Sigma X')$$ A weak equivalence under suitable hypotheses on $X$ and $X'$?

By $\hom$ in each case, I mean topologized mapping spaces.

How would one go about proving a result like this?

-

1
Prof. Klein, there was some discussion of questions related to this here (but in a number of respects it seems you are already more informed): mathoverflow.net/questions/4117/… Also, welcome! – Tyler Lawson Dec 24 2010 at 21:00

1
Thanks Tyler, I wasn't aware of that discussion (and you can call me John if you wish). The two references that speak about matters in this direction are: 1. Hopkins, M.J. Formulations of cocategory and the iterated suspension. Algebraic homotopy and local algebra (Luminy, 1982), 212–226, Astérisque, 113-114, Soc. Math. France, Paris, 1984 2. Klein, J.; Schwänzl, R.; Vogt, R. M. Comultiplication and suspension. Topology Appl. 77 (1997), no. 1, 1–18 The first of these gives a Segal-type approach to desuspension (by finding a model for a cobar construction) which isn't operadic. – John Klein Dec 24 2010 at 21:33

## 1 Answer

I have the feeling many of us would agree those statements `should' be true, but I can't think of anyone who wrote things down publicly. Why not ask at alg-top? overflow requires active logging in alg-top doesn't

jim

-
{"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": 34, "mathjax_display_tex": 1, "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.935797929763794, "perplexity_flag": "middle"}