arXiv ScienceSearch

arXiv · 1807.10534

A detailed look on actions on Hochschild complexes especially the degree $1$ co-product and actions on loop spaces

Abstract

We explain our previous results about Hochschild actions [Kau07a, Kau08a] pertaining in particular to the coproduct which appeared in a different form in [GH09] and provide a fresh look at the results. We recall the general action, specialize to the aforementioned coproduct and prove that the assumption of commutativity, made for convenience in [Kau08a], is not needed. We give detailed background material on loop spaces, Hochschild complexes and dualizations, and discuss details and extensions of these techniques which work for all operations of [Kau07a, Kau08a]. With respect to loop spaces, we show that the co--product is well defined modulo constant loops and going one step further that in the case of a graded Gorenstein Frobenius algebra, the co--product is well defined on the reduced normalized Hochschild complex. We discuss several other aspects such as ``time reversal'' duality and several homotopies of operations induced by it. This provides a cohomology operation which is a homotopy of the anti--symmetrization of the coproduct. The obstruction again vanishes on the reduced normalized Hochschild complex if the Frobenius algebra is graded Gorenstein. Further structures such as ``animation'' and the BV structure and a coloring for operations on chains and cochains and a Gerstenhaber double bracket are briefly treated.

Explore related subjects

Keep this discovery

BibTeXRIS

Ralph M. Kaufmann. 2018-07-27. A detailed look on actions on Hochschild complexes especially the degree $1$ co-product and actions on loop spaces. https://arxiv.org/abs/1807.10534

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Homogeneous Milnor fibers and Kato--Matsumoto bounds via simplicial multiwedges

For every $n\geq 3$ and $s\geq 2$, we construct a homogeneous polynomial of degree $n(n+1)/2$ whose Milnor fiber is exactly $2s$-connected and whose rational cohomology contains a strictly defined nontrivial $n$-fold Massey product on classes of degree $2s+1$, implying that the Milnor fiber is non-formal, while attaining the Kato--Matsumoto connectivity bound. Our construction is based on the simplicial multiwedges of the nerve complexes of simple polytopes introduced by Limonchenko, combined with Suciu's realization of weighted homogeneous Milnor fibers. We thereby answer two problems posed by Suciu.

math.AT

The homotopy types of directed path and trace spaces

We construct a saturated directed space with a Hausdorff $\Delta$-generated underlying space and two distinct points such that the trace space between them is homeomorphic to a square, whereas the directed path space has a nontrivial fundamental group. In particular, the canonical quotient map is not a weak homotopy equivalence. The same conclusion holds for regular directed paths modulo increasing homeomorphisms.

math.AT

Moduli spaces of geometric functorial field theories

We develop tools to compute moduli spaces of geometric functorial field theories as mapping spaces of equivariant simplicial presheaves. Given a d-dimensional geometric structure F, presented as a presheaf on the site of smooth families of d-manifolds, we define its Cartesian realization, which is an O(d)-equivariant simplicial presheaf on the site of Cartesian spaces. We use Cartesian realizations to present the moduli space of functorial field theories with geometric structure F as a mapping space between O(d)-equivariant simplicial presheaves. In a companion paper, we use this result to compute the moduli space of smooth one-dimensional oriented Riemannian functorial field theories valued in an arbitrary smooth symmetric monoidal infinity-category.

math.AT