## Spherical homology of a Hycomm-algebra

Spherical homology of a homotopy BV algebra was a subject of some previous posts. By Hycomm=BV/Δ, a Hycomm- algebra is a special case af a homotopy BV algebra. Below I discuss how spherical homology of such an algebra looks like.

I will follow the point of view of this post. Denote by a homotopy BV algebra and by the -algebra corresponding to it under the formality quasiisomorphism between BV and f2 operads. Recall that Hochschild homology of being considered as a (homotopy) algebra is equipped with a multiplication and is equipped with a Poisson structure. The former may be considered as a quantization of the latter. Algebra is a homotopy module over , this module structure may be considered as a quantization of the trivial action of on that sends image of Reinhart-Connes-Feigin-Tsygan differential to zero.

Now suppose that comes from a Hycomm algebra. In other words, is homotopically (but not coherently) trivial. This follows that the bracket of the Poisson structure on is trivial. Thus algebra is commutative as it is a quantization of . And moreover it is isomorphic to equipped with the standard commutative multiplication, at least formally by the quantization parameter. So the algebra structure on does not change under the quantization, but the structure of module on does. The element corresponding to this deformation is given by , where is Reinhart-Connes-Feigin-Tsygan differential and is the standart generator of the operad. One may see that the Maurer-Cartan equation follows from relations in .

It seems that in a sense an inverse statement is true: for a commutative Frobenius algebra (that is a finite-dimensional algebra with a non-degenerate pairing) a deformation of it as a module over its Hochschild homology that respects the pairing is equivalent to a deformation of the algebra as a -algebra. Or better one may consider a module with filtration over the Hochschild homology such that the associated graded module is isomorphic to the algebra itself as a module over Hochscild homology. Anyway, given a $Hycomm$-algebra it is worth looking at the pair .

This approach well fits the theory of quantum cohomology as it was discussed in the previous post. There for a compact complex manifold twisted K-theory of the loop space was introduced. Besides there is the usual K-theory of the loop space . is equipped by a product à la Chas-Sullivan. Conjecturally there is an action of on . Algebra equals to the cohomology ring and equals to the Hochschild homology of . In some cases is isomorphic to as a vector space, for example for . I do not know how to define a filtration on such that the associated graded module is , it seems that one have to take into account the circle action. Anyway, as soon as this is done, we have the pair that gives the desired -algebra.

leave a comment