## Koszul duality for n-algebras

Below there is a construction that from any augmented dg algebra over the operad of chains on framed little -discs produces a coalgebra over the same operad.

This construction generalizes the Koszul duality, for this is the usual Koszul duality for algebras.

Another case of this duality is from topology. Take a topological space . Then is a module over framed little -discs. The union of symmetric powers of is a comodule over the (trivial) operad and thus over framed discs (I am grateful to Victor Turchin for this observation). (Co)chains of this (co)modules over operads are dual to each other in our sence. This explains why one may calculate homology of mapping spaces from a -manifold to either by means of the generalization of the higher Hochschild homology or the spherical homology.

It seems that it is connected with work in progress of M. Ching and P. Salvatore “Geometric self-duality for the little discs operads” (I found it on the homepage of Michael Ching).

**UPD:** This Koszul duality is mentioned in the draft of J. Lurie’s “Higher algebra”(see e.g. example 7.3.6.7). Unfortunately, details are postponed for future work. See also “Moduli Problems for Ring Spectra”.

Suppose , the generalization is straightforward. Let be a dg (=chains on framed little 2-discs)-algebra and be an augmentation that is a one-dimensional module over it. “Module” means that is closed under all operations. Let be the Hochschild complex of considered as an algebra, see this post.Then is a left and right module over (ibid.) and the composition gives a morphism that is also an augmentation. Define .

Let us show that this is a -coalgebra. The reasoning is similar to the one about the action of the operad of framed little discs on a multiloop space. Let be the closed disc. One may present as the complex (we use notations from here) modulo relations given by the operad action and modulo the augmentation ideal for copies of lying on the border:

Instead of placing the augmentation on the border on can put it on a closed subset of the disc that is the supplement to the union of non-intersecting discs:

The corresponding homology is the tensor product of ‘s by the number of white discs. The augmentation map gives the map from to the tensor product:

This defines the map , where is the complex of chains on the space of framed discs. Dually this defines a -structure on . In fact it gives only a -algerbra, but it is natural to propose that it be lifted to . In presence of an augmentation the difference between and is not so big, I hope to discuss it somewhere.

Natural constructions of dual -algebras are dual to each others: S-homology for a compact surface are dual (call it the *Poincare-Koszul duality*), Hochschild homology are Koszul dual and so on. As an example consider a Lie bialgebra. Its Chevalley complex is (nearly) a BV algebra, the formality theorem gives a -algebra. The spherical homology of this -algebra equals to the tensor product of the Chevalley complex and the complex dual to the Chevalley complex of the dual bialgebra.The dual -algebra is the one corresponding to the dual bialgebra. Thus spherical homologies of dual algebras are dual, that fits in with the statement above.

I guess that this duality plays an important role in something like string theory. For example, one may propose, that BV algebras coming from A and B models for a given Calabi-Yau manifold are dual to each other.

An interesting question is to describe an algebra Koszul dual to the one coming from the string topology.

leave a comment