## Classifying operad

In the previous post everything is based on the following observation. Let be an algebra over chains of small discs operad. Then is in particular a homotopy algebra. I propose that on Hochschild homology of there is a natural action of an operad equivalent to the

associative operad (this is essentially proved in M. Brun, Z. Fiedorowicz, R. Vogt “On the multiplicative structure of topological Hochschild homology”). More generally, one may try introduce of action (whatever it means) of an operad equivalent to on the category of twisted (semifree) complexes of and derive the previous action from this one.

Thinking about a proof of this statement I formulated a more general question.

(Below I easily pass from things (operads) to homotopy equivalent ones and ignore the fact that in general.)

Let us start with the category of topological spaces. Let be an operad and be the corresponding monad: . Suppose that a morphism is given. It follows that any -space X is a H-space. One may take the its classifying space BX. Question: if X is a -space, what operad does naturally act on BX? Call this operad (if any) by the **classifying operad** . The monad corresponding to the classsifying should solve equation . Indeed, if X is a space over , then naturally acts on : where the first arrow is the canonical morphism and the second one is given by -action on X. The solution may be easily found. This is a simplicial monad, its components are and structure morphisms are given by the canonical morphism and morphisms and that are compositions of with the multiplication . This is obviously a version of construction from chapter 9 of the May’s book. Classifying space may be represented by simplicial space . One may easily write down the -action on it.

One may ask if there exist a more economical construction of by analogy with classical construction of classifying space.

The monad is not an operad in general, because is not invertible, but it is an operad in the stable homotopy category. But if we are lucky, it is. For example, classifying operad of (the thing equivalent to ) is .

From the ancient times there are two approaches to delooping, -spaces etc.: of May and of Boardman-Vogt (see Adams, Infinite loop spaces 2.4). An important (and mysterious) notion in Boardman-Vogt approach is the tensor product of operads, in particular product with , operad of associative algebras (see J. M. Boardman R. M. Vogt “Homotopy Invariant Algebraic Structures On Topological Spaces” or the mentioned paper and references therein). The classifying operad must correspond to it in the May approach. But it more division by rather than multiplication. That is it is natural to suppose that .

Now let us pass from the category of topological space to category of complexes (taking homology) and try to mimic the construction discussed. So we start with an operad in the category of complexes with a morphism ; algebra over this operad is an algebra proper, in particular. The definition of classifying operad works on the level of homology, i.e. it works for operads in the category of complexes. Example: the classifying operad of chains of small discs operad is homotopy equivalent to operad . Another example: the classifying operad of the Gerstenhaber operad is the operad acting on a Poisson algebra. As the Poisson operad is different from , it proves that, besides the Gerstenhaber operad is homotopy equivalent to chains of small discs operad (by the Tamarkin’s theorem), the equivalence does not respect natural maps from to these operads.

The role of the classifying operad in the category of complexes is not so obvious. That is where does it naturally acts? (Note, that to mimic the definition of “classifying space” of an algebra one need an augmentation map: the “homology of the classifying space” is the homology of the algebra in the augmentation module; it gives an answer on the the question posed for the category of algebras with augmentation.)

I suggest two conjectural solution. Firstly given an algebra (proper) on may organise the category of semi-free modules over it (or category of twisted complexes for -algebras). If the algebra is an algebra over an operad , then the category has additional structure: operad acts on it. The latter is not very clear. The only way I can interpret it is as a morphism from to homology of nerve of category of functors from to such, that… Example: category of modules over a 2-algebra (algebra over chains of the small disks operad) is a (homotopy) tensor category.

The second more promising suggestion is to define an action of on the Hochschild homology of an algebra. Indeed, on the level of topological spaces, Hochschild homology corresponds to taking of free loop space of the classifying space. As the classifying operad acts on the classifying space it acts on its free loop space as well. On Hochschild homology Rinehart-Connes-Feigin-Tsygan-Loday-Quillen differential also acts. It would be extremely interesting to understand how it interacts with the classifying operad. Example: Hochschild homology of a 2-algebra is an algebra (see the mentioned paper).

Finally let me note that it seems natural to start with a PROP. That is given a PROP with a morphism from to it and a space over it. What PROP (or, at least operad) does naturally act on the classifying space of this space? Unfortunately, I know nothing about PROPS.

leave a comment