arXiv ScienceSearch

arXiv · 1302.6534

On algebraic structures of the Hochschild complex

Abstract

We first review various known algebraic structures on the Hochschild (co)homology of a differential graded algebras under weak Poincar{\'e} duality hypothesis, such as Calabi-Yau algebras, derived Poincar{\'e} duality algebras and closed Frobenius algebras. This includes a BV-algebra structure on $HH^*(A,A^\vee)$ or $HH^*(A,A)$, which in the latter case is an extension of the natural Gerstenhaber structure on $HH^*(A,A)$. As an example, after proving that the chain complex of the Moore loop space of a manifold $M$ is a CY-algebra and using Burghelea-Fiedorowicz-Goodwillie theorem we obtain a BV-structure on the homology of the free space. In Sections 6 we prove that these BV/coBVstructures can be indeed defined for the Hochschild homology of a symmetric open Frobenius DG-algebras. In particular we prove that the Hochschild homology and cohomology of a symmetric open Frobenius algebra is a BV and coBV-algebra. In Section 7 we exhibit a BV structure on the shifted relative Hochschild homology of a symmetric commutative Frobenius algebra. The existence of a BV-structure on the relative Hochschild homology was expected in the light of Chas-Sullivan and Goresky-Hingston results for free loop spaces. In Section 8 we present an action of Sullivan diagrams on the Hochschild (co)chain complex of a closed Frobenius DG-algebra. This recovers Tradler-Zeinalian \cite{TZ} result for closed Froebenius algebras using the isomorphism $C^*(A ,A) \simeq C^*(A,A^\vee)$.

Explore related subjects

Keep this discovery

BibTeXRIS

Hossein Abbaspour. 2013-02-26. On algebraic structures of the Hochschild complex. https://arxiv.org/abs/1302.6534

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