Deformation theory of co-$A_\infty$ structures. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T15:20:15Z http://mathoverflow.net/feeds/question/50503 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/50503/deformation-theory-of-co-a-infty-structures Deformation theory of co-$A_\infty$ structures. John Klein 2010-12-27T17:35:21Z 2011-07-30T09:22:11Z <p>The following question is related to my previous post on co-$A_\infty$ spaces (http://mathoverflow.net/questions/50298/co-a-infty-spaces), but goes in a somewhat different direction. </p> <p><b>Some Background: </b></p> <p>In trying to classify $A_\infty$ structures on a space $X$, one is led to obstructions living in Hochschild cohomology. One way to get this (I think), is to look at the tower</p> <p>$$\cdots \to A_n\text{-spaces} \to A_{n-1}\text{-spaces} \to \cdots \to A_2\text{-spaces,}$$</p> <p>and one notes that the $n$-th layer is given by $\Omega^{n-2} F(X^{[n]},X)$, which is the $(n-2)$-fold loop space of the function space of based maps from the $n$-fold smash product of $X$ to $X$. Then the $k$-invariants (aka the maps inducing the $d^1$-differential in the homotopy spectral sequence) $$\Omega^{n-2} F(X^{[n-1]},X) \to \Omega^{n-2} F(X^{[n]},X), \qquad n \ge 2$$ can be computed explicitly and the formula for these is reminiscent of the Hochschild cohomology differential. More, precisely, if $X = \Omega Y$, and we look at stabilized versions of these function spaces, what I think one gets is the differential for topological Hochschild cohomology of the "group ring" $S[\Omega Y]$ (where $S =$ sphere spectrum; please correct me if I'm bungling this). </p> <p><b> My Question:</b></p> <p><i> What is the algebraic structure that arises when one tries to do deformation theory of co-$A_\infty$ (or suspension) structures on a space? </i></p> <p>In this instance one has a tower as above, with "$A_n$" replaced by "co-$A_n$" at the $n$-th stage. But now the $k$-invariants in this case (at least in the stable range) are maps of spectra of the form: $$\Omega^{n-2} F(X,W_{n-1}\wedge X^{[n-1]}) \to \Omega^{n-2} F(X,W_n \wedge X^{[n]})$$ where $W_n$ is $(n-1)!$-copies of the $(1-n)$-sphere spectrum (yes, this is related to the Goodwillie tower of the identity functor). </p> <p>So, my question amounts to the following: </p> <p><i> What is the algebraic structure associated with this $k$-invariant? </i>Is it some kind of "co-Hochschild" theory (whatever that means) of co-algebras? (where the co-algebra in this case is $X = \Sigma Y$). </p> http://mathoverflow.net/questions/50503/deformation-theory-of-co-a-infty-structures/50842#50842 Answer by jim stasheff for Deformation theory of co-$A_\infty$ structures. jim stasheff 2011-01-01T01:48:47Z 2011-01-01T01:48:47Z <p>You wrote: the tower</p> <p>⋯→An-spaces→An−1-spaces→⋯→A2-spaces,</p> <p>I'm not sure how to interpret that A_n-spaces means the cat of A_n-spaces?? OR A_n-space means X together with the structure maps OR A_n-space X&lt;--> XP(n), the projective space but then XP(n)\subset XP(n+1) ??? but for none of these do I see Ωn−2F(X[n],X)???</p> <p>what am I missing?</p> <p>and one notes that the n-th layer is given by Ωn−2F(X[n],X), which is the (n−2)-fold loop space of the function space of based maps from the n-fold smash product of X to X. Then the k-invariants (aka the maps inducing the d1-differential in the homotopy spectral sequence) Ωn−2F(X[n−1],X)→Ωn−2F(X[n],X),n≥2 can be computed explicitly and the formula for these is reminiscent of the Hochschild cohomology differential.</p> http://mathoverflow.net/questions/50503/deformation-theory-of-co-a-infty-structures/50843#50843 Answer by jim stasheff for Deformation theory of co-$A_\infty$ structures. jim stasheff 2011-01-01T01:53:36Z 2011-01-01T01:53:36Z <p>As far as a Hochschild like differential there are the differentials `in the bar construction' p.44+ in LNM 161: H-spaces from a homotopy point of view and on p.54 description of the k-invariants of an A_n-space</p>