On the Hochschild homology of open Frobenius algebras (Q740106)

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.