Finite generation of Hochschild homology algebras

DOI10.1007/S002220000051MaRDI QIDQ1977014zbMATH OpenOpenAlexFDO

Authors Luchezar L. Avramov, Srikanth B. Iyengar

Publication date 5 August 2001

Published in Inventiones Mathematicae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002220000051

zbMATH Keywords

\(DG\)-algebraHochschild homologymodule of Kähler differentialssmoothness of flat algebra

Mathematics Subject Classification ID

Linkage, complete intersections and determinantal ideals (13C40) (Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) Modules of differentials (13N05) Ext and Tor, generalizations, Künneth formula (category-theoretic aspects) (18G15)

Review text

The authors, in this paper, attempt to prove the converse of the following classical result due to Hochschild, Kostant and Rosenberg: Let \(S\) be a commutative algebra over a commutative Noetherian ring \(k\). If \(S\) is smooth over \(k\), then the \(S\)-module \(\Omega^1_{S/k}\) of Kähler differentials is projective and the canonical homomorphism \(W^*_{S/k}: \wedge^*_S \Omega^1_{S/k} \to\text{HH}_*(S/k)\) of graded algebras is bijective. The authors prove the following converses of the theorem quoted above. (i) If \(S\) is a flat \(k\)-algebra essentially of finite type over \(k\) and the \(S\)-algebra HH\(_*(S/k)\) is finitely generated, then \(S\) is smooth over \(k\). (ii) If \(S\) is a flat \(k\)-algebra essentially of finite type over \(k\) and if HH\(_{2i-1} (S/k)= 0=\text{HH}_{2j}(S/k)\) for some positive integers \(i,j\), then \(S\) is smooth over \(k\).

Recommendations

• scientific article; zbMATH DE number 40241
• A Hochschild homology criterium for the smoothness of an algebra
• Gaps in Hochschild cohomology imply smoothness for commutative algebras

Cited in

(15)

• Generalized Koszul complexes and Hochschild (co-)homology of complete intersections
• Commutative algebras of finite Hochschild homological dimension
• Finitely generated cohomology Hopf algebras and torsion
• Naïve blowups and canonical birationally commutative factors
• Finite generation in C^*-algebras and Hilbert C^*-modules
• scientific article; zbMATH DE number 40241 (Why is no real title available?)
• scientific article; zbMATH DE number 166492 (Why is no real title available?)
• André–Quillen homology of algebra retracts
• scientific article; zbMATH DE number 824716 (Why is no real title available?)
• Applications of Differential Graded Algebra Techniques in Commutative Algebra
• Monoidal categories and the Gerstenhaber bracket in Hochschild cohomology
• Acyclicity of Tate constructions.
• Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions
• Smooth algebras and vanishing of Hochschild homology
• Gaps in Hochschild cohomology imply smoothness for commutative algebras

This page was built for publication: Finite generation of Hochschild homology algebras

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