André-Quillen homology in degree five

DOI10.1016/0022-4049(94)90033-7MaRDI QIDQ1328774zbMATH OpenOpenAlexFDO

Authors Yves Pitteloud

Publication date 7 August 1994

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

Full work available at URL https://doi.org/10.1016/0022-4049(94)90033-7

zbMATH Keywords

cotangent complexdifferential algebrahomology moduleKoszul homologytorsion module

Mathematics Subject Classification ID

(Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) Modules of differentials (13N05) Categorical algebra (18E99)

Review text

The author studies the homology module \(H_5 (A,B,C,B \otimes C)\) for commutative \(A\)-algebras \(B\) and \(C\). As a consequence he obtains some new results in the theory of cotangent complex. In section 1, series of definitions are given and natural homomorphisms \(\varphi (Y)\), \(\psi (Y)\), \(\alpha (Y)\) and \(\beta (Y)\) are defined for a differential \(\Gamma\)-algebra \(Y\). In section 2, the main theorem, theorem 2.1, is stated whose proof is given in sections 3 and 4. The theorem connects the homology modules \(H_4 (A,B,C,D)\), \(H_5 (A,B,C,D)\) and the torsion module \(\text{Tor}^A_3 (B,C)\) where \(D = B \otimes C\). The following results in the theory of cotangent complex are deduced: (i) If \(I\) is an ideal of \(C\) and \(\tau = \{\tau_m\}\) is a system of generators of \(I\), then there is a connection between \(H_5 (C,C/I,C/I)\) and the Koszul homology module \(H_3 (\tau)\). -- In particular if \(I\) is a principal ideal generated by \(\tau\), then \(H_5 (C,C/I,C/I)\) is expressible in terms of the annihilator of \(\tau\). (ii) If \(I\) is an almost complete intersection ideal in a local ring \(C\), then \(H_5 (C,C/I,C/I)\) is \(C/I\)-isomorphic to \(F(H_1)\) where \(H_1\) is the first Koszul homology module of a minimal set of generators of \(I\).

Recommendations

• Publication:3211434
• Produit tensoriel et complexe cotangent. (Tensor product and cotangent complex)
• André-Quillen homology of commutative algebras
• scientific article; zbMATH DE number 195182

Cites work

• A certain exact sequence
• Autour de la platitude
• Homology of symmetric algebras
• scientific article; zbMATH DE number 3679957 (Why is no real title available?)
• scientific article; zbMATH DE number 3462064 (Why is no real title available?)
• scientific article; zbMATH DE number 3445453 (Why is no real title available?)
• scientific article; zbMATH DE number 3331603 (Why is no real title available?)
• Lois polynomes et lois formelles en théorie des modules
• Méthode simpliciale en algèbre homologique et algèbre commutative
• Produit tensoriel et complexe cotangent. (Tensor product and cotangent complex)

Cited in

(1)

• On the acyclicity of the Tate complex

This page was built for publication: André-Quillen homology in degree five

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