Invitation to composition

From MaRDI portal



Abstract: In 1963 [Ann. of Math. {�f 78}, 267-288], Gerstenhaber invented a emph{comp(osition)} calculus in the Hochschild complex of an associative algebra. In this paper, the first steps of the Gerstenhaber theory are exposed in an abstract (comp system) setting. In particular, as in the Hochschild complex, a graded Lie algebra and a pre-coboundary operator can be associated to every comp system. A derivation deviation of the pre-coboundary operator over the total composition is calculated in two ways, (the long) one of which is essentially new and can be seen as an example and elaboration of the auxiliary variables method proposed by Gerstenhaber in the early days of the comp calculus.


A ``composition system is a pre-operad (or ``non-symmetric operad), i.e., a graded module \(C\) with partial compositions \[ \circ_i\: C^m\otimes C^n\to C^{m+n-1}, \qquad 0\leq i\leq m-1 \] satisfying certain composition and unitality conditions. \textit{M. Gerstenhaber} [Ann. Math., II. Ser. 78, 267-288 (1963; Zbl 0131.27302)] uncovered such a structure in the Hochschild complex of an associative algebra. As in the Hochschild complex, a cup product, a graded Lie-algebra, a ``pre-coboundary operator, and several other structures can be associated to a pre-operad. A ``derivation deviation of the pre-coboundary operator is calculated in two ways.











This page was built for publication: Invitation to composition

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