On the Hochschild homology of open Frobenius algebras

DOI10.4171/JNCG/246MaRDI QIDQ740106zbMATH OpenOpenAlexFDO

Authors Hossein Abbaspour

Publication date 12 August 2016

Published in Journal of Noncommutative Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1309.3384

zbMATH Keywords

BV-structureclosed Frobenius algebracoBV-structureopen Frobenius algebra

Mathematics Subject Classification ID

(Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40) Noncommutative local and semilocal rings, perfect rings (16L30) Loop spaces (55P35) String topology (55P50)

Abstract: We prove that the shifted Hochschild chain complex $C_{\ast }(A,A)[m]$ of a symmetric open Frobenius algebra $A$ of degree $m$ has a natural homotopy coBV-algebra structure. As a consequence $H{H}_{\ast }(A,A)[m]$ and $H{H}^{\ast }(A,A^{v}ee)[-m]$ are respectively coBV and BV algebras. The underlying coalgebra and algebra structure may not be resp. counital and unital. We also introduce a natural homotopy BV-algebra structure on $C_{\ast }(A,A)[m]$ hence a BV-structure on $H{H}_{\ast }(A,A)[m]$. Moreover we prove that the product and coproduct on $H{H}_{\ast }(A,A)[m]$ satisfy the Frobenius compatibility condition i.e. $H{H}_{\ast }(A,A)[m]$ is an open Frobenius algebras. If $A$ is commutative, we also introduce a natural BV structure on the shifted relative Hochschild homology $widetilde{HH}_{\ast }(A)[m-1]$. We conjecture that the product of this BV structure is identical to the Goresky-Hingstoncite{GH} product on the cohomology of free loop spaces when $A$ is a commutative cochain algebra model for $M$.

Review text

The article under review is concerned with algebraic structure on the Hochschild complex of a differential graded algebra. The main example of differential graded algebra is here the singular cochain algebra of a manifold. One main objective is to generalize the structure known to exist for closed manifolds to not necessarily closed manifolds. More precisely, let \((A,\cdot,\delta)\) be a differential graded \textit{open Frobenius algebra}. This means that \((A,\cdot)\) is a unital differential graded associative algebra (with product \(\cdot\) of degree zero), that \((A,\delta)\) is a differential graded coassociative coalgebra of degree \(m\), and that \(\delta:A\to A\otimes A\) is a right and left differential \(A\)-module map (called \textit{Frobenius compatibility condition} between product and coproduct). A differential graded open Frobenius algebra is more general than a differential graded \textit{closed Frobenius algebra}, because the coproduct \(\delta\) need not come from dualization of the product via the symmetric inner product. One of the main examples of a differential graded open Frobenius algebra is the cohomology with compact support of an oriented (not necessarily closed) manifold \(M\), with zero differential. In case \(M\) is closed, this gives a differential graded closed Frobenius algebra. The main constructions of the article are natural BV- and coBV-structures on the (shifted) Hochschild homology of an differential graded open Frobenius algebra, defined even on chain level. Recall that a BV-algebra is a Gerstenhaber algebra with a square zero degree one operator \(\triangle\), the \textit{BV-operator}, whose deviation from being a derivation of the product is the Gerstenhaber bracket. The coBV-structure constructed in the article on the Hochschild complex of an open Frobenius algebra is given by the usual Connes operator \(B\) as coBV-operator on the one hand and a coproduct \(\theta\) obtained by deconcatenation and coproduct on the module part on the other hand. Convolution using \(\theta\) gives back the cup product on the dual in the closed Frobenius case. The closed Frobenius case recovers \textit{T. Tradler}'s result [Ann. Inst. Fourier 58, No. 7, 2351--2379 (2008; Zbl 1218.16004)]. The BV-structure constructed in the article on the Hochschild complex of an open Frobenius algebra is obtained on the one hand again by the Connes operator as BV-operator and on the other hand by a certain product \(\bullet\). This product retains only the coefficient term of one factor which is then comultiplied and multiplied in the reverse order. The last subjects of the paper are the Frobenius compatibility relation for the product \(\bullet\) and the coproduct \(\theta\) and a BV-structure on the relative Hochschild homology for \textit{commutative} symmetric open Frobenius algebras.

Recommendations

• On algebraic structures of the Hochschild complex
• Batalin-Vilkovisky algebra structures on Hochschild cohomology
• Batalin-Vilkovisky coalgebra of string topology
• The Batalin-Vilkovisky algebra on Hochschild cohomology induced by infinity inner products.
• BV differential on Hochschild cohomology of Frobenius algebras

Cites work

• A homotopy theoretic realization of string topology
• A polarized view of string topology
• Batalin-Vilkovisky algebra structures on Hochschild cohomology
• Cyclic homology and equivariant homology
• Hochschild homology of structured algebras
• scientific article; zbMATH DE number 2147295 (Why is no real title available?)
• scientific article; zbMATH DE number 2157082 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• Loop products and closed geodesics
• Moduli space actions on the Hochschild co-chains of a Frobenius algebra. I: Cell operads
• Moduli space actions on the Hochschild co-chains of a Frobenius algebra. II: Correlators
• Notes on A∞-Algebras, A∞-Categories and Non-Commutative Geometry
• On the cyclic Deligne conjecture.
• Rational BV-algebra in string topology
• The Batalin-Vilkovisky algebra on Hochschild cohomology induced by infinity inner products.
• The cohomology structure of an associative ring
• Topological conformal field theories and Calabi-Yau categories
• Two-dimensional topological gravity and equivariant cohomology

Cited in

(14)

• On the complete relative homology and cohomology of Frobenius extensions
• A detailed look on actions on Hochschild complexes especially the degree 1 coproduct and actions on loop spaces
• Nearly Frobenius structures in some families of algebras
• BV differential on Hochschild cohomology of Frobenius algebras
• Frobenius algebras and homotopy fixed points of group actions on bicategories
• scientific article; zbMATH DE number 5119112 (Why is no real title available?)
• Hochschild cohomology of Frobenius algebras
• Gerstenhaber algebra and Deligne's conjecture on the Tate-Hochschild cohomology
• Tree- versus graph-level quasilocal Poincaré duality on \(S^{1}\)
• Nearly Frobenius theory and semisimplicity of bimodules
• Invariance of the Goresky–Hingston algebra on reduced Hochschild homology
• The Hochschild homology and cohomology of A (1)
• String topology in three flavors
• String topology via the coHochschild complex and local intersections

This page was built for publication: On the Hochschild homology of open Frobenius algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q740106)