Finite generation of Hochschild homology algebras (Q1977014)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite generation of Hochschild homology algebras |
scientific article |
Statements
Finite generation of Hochschild homology algebras (English)
0 references
5 August 2001
0 references
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\).
0 references
\(DG\)-algebra
0 references
Hochschild homology
0 references
module of Kähler differentials
0 references
smoothness of flat algebra
0 references