Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology. (English) Zbl 0968.13007
The paper begins with the introduction of the notion of locally complete intersection (l.c.i) for homomorphisms of noetherian rings.
If \(\varphi:(R,m)\to(S,n)\) is a local homomorphism, then by a previous work of L. L. Avramov, H.-B. Foxby and B. Herzog [J. Algebra 164, No. 1, 124-145 (1994; Zbl 0798.13002)], the composition \(\overline \varphi:R \to\widehat S\) of \(\varphi\) with the completion map \(S\to \widehat{S}\) factors as \(\varphi'\circ \dot\varphi\), \(\dot\varphi :R'\to\widehat S\), \(\varphi': R\to R'\), where \(\dot\varphi\) is flat, \(\varphi'\) is surjective, \(R'\) is complete and the ring \(R'/mR'\) is regular. Then \(\varphi\) is called a complete intersection if \(\text{Ker } \varphi'\) is generated by a regular sequence. A homomorphism of noetherian rings \(\varphi: R\to S\) is l.c.i. if at each prime ideal \(q\) of \(S\) the induced local homomorphism \(\varphi_q: R_{q \cap R}\to S_q\) is a complete intersection.
With this definition, L. Avramov establishes a very general form of a conjecture of Quillen: If \(S\) has a finite resolution by flat \(R\)-modules and the cotangent complex \(L(S/R)\) is quasi-isomorphic to a bounded complex of flat \(S\)-modules, then \(\varphi\) is l.c.i. The proof uses an interplay of commutative algebra and differential homological algebra. The family of l.c.i. homomorphisms is shown to be stable under composition, decomposition, flat base extension, localization and completion.
If \(\varphi:(R,m)\to(S,n)\) is a local homomorphism, then by a previous work of L. L. Avramov, H.-B. Foxby and B. Herzog [J. Algebra 164, No. 1, 124-145 (1994; Zbl 0798.13002)], the composition \(\overline \varphi:R \to\widehat S\) of \(\varphi\) with the completion map \(S\to \widehat{S}\) factors as \(\varphi'\circ \dot\varphi\), \(\dot\varphi :R'\to\widehat S\), \(\varphi': R\to R'\), where \(\dot\varphi\) is flat, \(\varphi'\) is surjective, \(R'\) is complete and the ring \(R'/mR'\) is regular. Then \(\varphi\) is called a complete intersection if \(\text{Ker } \varphi'\) is generated by a regular sequence. A homomorphism of noetherian rings \(\varphi: R\to S\) is l.c.i. if at each prime ideal \(q\) of \(S\) the induced local homomorphism \(\varphi_q: R_{q \cap R}\to S_q\) is a complete intersection.
With this definition, L. Avramov establishes a very general form of a conjecture of Quillen: If \(S\) has a finite resolution by flat \(R\)-modules and the cotangent complex \(L(S/R)\) is quasi-isomorphic to a bounded complex of flat \(S\)-modules, then \(\varphi\) is l.c.i. The proof uses an interplay of commutative algebra and differential homological algebra. The family of l.c.i. homomorphisms is shown to be stable under composition, decomposition, flat base extension, localization and completion.
Reviewer: Y.Felix (Louvain-La-Neuve)
MSC:
13D03 | (Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) |
13H10 | Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) |
14M10 | Complete intersections |
14B25 | Local structure of morphisms in algebraic geometry: étale, flat, etc. |
13E05 | Commutative Noetherian rings and modules |
13B10 | Morphisms of commutative rings |