The multiplicative structure on Hochschild cohomology of a complete intersection

DOI10.1016/J.JPAA.2014.05.002MaRDI QIDQ472986zbMATH OpenOpenAlexFDO

Authors Ragnar-Olaf Buchweitz, Collin Roberts

Publication date 21 November 2014

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

Linkage, complete intersections and determinantal ideals (13C40) (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) Resolutions; derived functors (category-theoretic aspects) (18G10)

Abstract: We determine the product structure on Hochschild cohomology of commutative algebras in low degrees, obtaining the answer in all degrees for complete intersection algebras. As applications, we consider cyclic extension algebras as well as Hochschild and ordinary cohomology of finite abelian groups.

Review text

Let \(K\) be a commutative (base) ring, let \(A\) be a commutative \(K\)-algebra, and let \(A^{\mathrm{ev}}\) be the enveloping algebra of \(A\) (over \(K\)). Consider the map \(s : \mathrm{Der}_K(A,A) = \mathrm{Ext}^1_{A^{\mathrm{ev}}} (A,A) \to \mathrm{Ext}^{2}_{A^{\mathrm{ev}}}(A,A)\) that sends a derivation \(D\) to the class \([D \circ D]\) of its square under the Yoneda product. In this paper, a more detailed description of the map \(s\) is given: If \(A\) is written \(A = P/I\), where \(I\) is an ideal in a polynomial ring \(P\) with coefficients in \(K\), then it is shown that \(s\) factors through \(\mathrm{Hom}_A(I/I^2,A)\). The first map \(q : \mathrm{Der}_K(A,A) \to \mathrm{Hom}_A(I/I^2,A)\) in this factorization is induced by the Hessian map. If \(A\) is projective as a \(K\)-module, then \(\mathrm{Ext}^{*}_{A^{\mathrm{ev}}}(A,A)\) is isomorphic to the Hochschild cohomology ring \(\mathrm{HH}^*(A/K,A)\), so in this case the result gives information about the squaring operation \(s : \mathrm{HH}^1(A/K,A) \to \mathrm{HH}^2(A/K,A)\). In the case where \(A\) is a so-called homological complete intersection algebra, it is proved that \(\mathrm{Ext}^{*}_{A^{\mathrm{ev}}}(A,A)\) can be obtained as the cohomology algebra of a certain DG (Clifford) algebra \((\mathrm{Cliff}(q),\partial)\), whose differential can be described quite explicitly. Again, if \(A\) is projective as a \(K\)-module, then this result gives information about (all) the products in Hochschild cohomology ring \(\mathrm{HH}^*(A/K,A)\).

Recommendations

Cites work

Cited in

(10)

This page was built for publication: The multiplicative structure on Hochschild cohomology of a complete intersection

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