arXiv Science⌕ Search

arXiv · 0707.4118

The Hochschild cohomology of a Poincaré algebra

Abstract

In this note, we define the notion of a cactus set, and show that its geometric realization is naturally an algebra over Voronov's cactus operad, which is equivalent to the framed 2-dimensional little disks operad $\mathcal{D}_2$. Using this, we show that the Hochschild cohomology of a Poincaré algebra A is an algebra over (the chain complexes of) $\mathcal{D}_2$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Po Hu. 2007-07-27. The Hochschild cohomology of a Poincaré algebra. https://arxiv.org/abs/0707.4118

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

KEEP EXPLORING

Related papers

On the structure of abelian Hopf algebras

We study the structure of the category of graded, connected, countable-dimensional, commutative and cocommutative Hopf algebras over a perfect field $k$ of characteristic $p$. Every $p$-torsion object in this category is uniquely a direct sum of explicitly given indecomposables. This gives rise to a similar classification of not necessarily $p$-torsion objects that are either free as commutative algebras or cofree as cocommutative coalgebras. We also completely classify those objects that are indecomposable modulo $p$.

math.AT↗

Galois and separable extensions of Tambara functors

For a map of Tambara functors $R \rightarrow T$ we define when $T$ is separable over $R$ and if $T$ carries an action by some finite group $H$ that fixes $R$ we also define when $R \rightarrow T$ is an $H$-Galois extension of Tambara functors. We show that flat and separable extensions are (formally) étale in the sense of Hill and that Galois extensions are separable. We prove that the Burnside Tambara functor is separably closed and we express Nullstellensatzian Tambara functors as filtered colimits of Galois extensions.

math.AT↗

From configuration spaces to graph complexes via FA-modules

Work of Gadish and Hainaut (after Petersen) models the compactly supported cohomology of a wedge of circles as a polynomial functor. We identify the coefficients of this functor, $Φ[n,m]$, via a cobar construction of $\mathbf{FA}$-modules. This identification formally implies that these coefficients will arise in computations of graph homology, and we use this result to give examples of graph complexes whose homology may be embedded in $H_c^\ast(F(S^1\vee S^1,n))$. This includes the Payne-Willwacher marked graph complex in genus 2, for which we give a new, explicit decomposition in terms of $\mathbf{FA}$-modules. This allows us to describe $\mathsf{gr}_{11}H_c^{\ast}(\mathcal{M}_{2,n})$ as the cohomology of a complex of decorated trees and to show, for example, $\mathsf{gr}_{11}H_c^{n+1}(\mathcal{M}_{2,n})=0$.

math.AT↗