## Manifoldic homology and Chern-Simons formalism

My preprint arXiv:1106.5352v1 is mostly inspired by the perfect explanation of Damien Calaque of the Kevin Costello’s project. Given a -algebra and a compact parallelized -manifold without borders a morphism from homology of the Lie algebra associated with to some manifoldic homology is constructed in the preprint. I guess that for a proper this morphism gives perturbative Chern-Simons invariants of and that this construction is closely connected with the Costello’s approach. Some comments are under the cut.

Let be a -algebra. Then is equipped with a structure of -algebra. Denote this -algebra by . In the preprint I explicitly write down the morphism from homology of to the manifoldic homology of on a parallelized n-manifold without borders. This morphism is the composition , where the first arrow is the tautological morphism and the second arrow is induced by the canonical morphism.

How is it connected with the Chern-Simons perturbative invariants? The point is that for some algebras the space is one-dimensional for any compact without borders, thus we get an invariant of lying in the cohomology of . To get an example of such an algebra consider a commutative algebra , then consider it as -algebra and take its deformation complex . It has a structure of -algebra.

**Conjecture.** For , a compact -manifold without borders and a commutative algebra the manifoldic homology is the shifted derived de Rham complex of . In particular, for the polynomial algebra the manifoldic homology is one-dimensional.

Note that this conjecture is consistent with the rigidity of the manifoldic homology that was discussed here.

For the statement is that Hochschild homology of the ring of differential operators is one-dimensional (it sits in the degree , where is the dimension of the affine space). This fact plays a crucial role the Bressler-Tsygan-Nest proof of the Riemann-Roch theorem cited in the Costello’s paper. Note that the morphism from the homology of the Lie algebra of differential operators to Hochschild homology of differential operators is very important there.

leave a comment