Vasconcelos' conjecture on the conormal module

DOI10.1007/S00222-021-01070-0MaRDI QIDQ2073767zbMATH OpenOpenAlexWikidataFDO

Authors Benjamin Briggs

Publication date 8 February 2022

Published in Inventiones Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

complete intersectionKoszul homologyconormal moduleVasconcelos's conjectureKähler differentials

Mathematics Subject Classification ID

Complete intersections (14M10) (Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) Homological dimension and commutative rings (13D05)

Abstract: For any ideal $I$ of finite projective dimension in a commutative noetherian local ring $R$, we prove that if the conormal module $I/I^2$ has finite projective dimension over $R/I$, then $I$ must be generated by a regular sequence. This resolves a conjecture of Vasconcelos. We prove a similar result for the first Koszul homology module of $I$. When $R$ is a localisation of a polynomial ring over a field $K$ of characteristic zero, Vasconcelos conjectured that $R/I$ is a reduced complete intersection if the module $Omeg{a}_{(R/I)/K}$ of differentials has finite projective dimension; we prove this contingent on the Eisenbud-Mazur conjecture. The arguments exploit the structure of the homotopy Lie algebra associated to $I$ in an essential way. By work of Avramov and Halperin, if every degree $2$ element of the homotopy Lie algebra is radical, then $I$ is generated by a regular sequence. Iyengar has shown that free summands of $I/I^2$ give rise to central elements of the homotopy Lie algebra, and we establish an analogous criterion for constructing radical elements, from which we deduce our main result.

Recommendations

• The complete intersection locus of certain ideals
• Dimension projective finie et cohomologie locale. Applications à la demonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck
• A generalization of Maloo's theorem on freeness of derivation modules
• The vanishing of intersection multiplicities of perfect complexes
• Free duals and regular sequences
• Finite homological dimension and primes associated to integrally closed ideals
• Special homological dimensions and intersection theorem
• On weak resolutions
• Criteria for prescribed bound on projective dimension
• scientific article; zbMATH DE number 701207

Cites work

• scientific article; zbMATH DE number 3879051 (Why is no real title available?)
• scientific article; zbMATH DE number 3943986 (Why is no real title available?)
• scientific article; zbMATH DE number 1305007 (Why is no real title available?)
• scientific article; zbMATH DE number 3247268 (Why is no real title available?)
• scientific article; zbMATH DE number 3331603 (Why is no real title available?)
• A variation on a theme of Vasconcelos
• Corrigendum to ``Homology of perfect complexes [Adv. Math. 223 (5) (2010) 1731-1781]
• Differentielle und ganz-algebraische Abhängigkeit bei Idealen analytischer Algebres
• Evolutions, Symbolic Squares, and Fitting Ideals
• Free summands of conormal modules and central elements in homotopy Lie algebras of local rings
• Homology of perfect complexes
• Ideals generated by \(R\)-sequences
• Jacobian criteria for complete intersections. The graded case
• Koszul Homology and the Structure of Low Codimension Cohen-Macaulay Ideals
• Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology
• Modular elliptic curves and Fermat's Last Theorem
• On the Cohen-Macaulayness of the conormal module of an ideal
• On the homology of I/I²
• On the non-vanishing of cotangent cohomology
• Support sets of pairs of modules.
• Support varieties and cohomology over complete intersections
• Symbolic powers of ideals
• The Radical of the Homotopy Lie Algebra
• The complete intersection locus of certain ideals
• What Makes Tor R 1 (R/I, I) Free?
• Zur endlichen homologischen Dimension von Differentialmoduln
• Über differentielle Abhängigkeit bei Idealen analytischer Algebren

Cited in

(13)

• scientific article; zbMATH DE number 1740287 (Why is no real title available?)
• Bounds on cohomological support varieties
• CONSTRUCTING NONPROXY SMALL TEST MODULES FOR THE COMPLETE INTERSECTION PROPERTY
• Betti numbers of the conormal module of licci rings
• Homological aspects of derivation modules and critical case of the Herzog-Vasconcelos conjecture
• Rigidity properties of the cotangent complex
• A variation on a theme of Vasconcelos
• On the standard modules conjecture
• Resolutions in local algebra and singularity theory. Abstracts from the workshop held February 5--11, 2023
• Homology of commutative algebras and an invariant of Simis and Vasconcelos
• Vaught's Conjecture for Modules Over a Dedekind Prime Ring
• scientific article; zbMATH DE number 824716 (Why is no real title available?)
• The homotopy Lie algebra of a Tor-independent tensor product

This page was built for publication: Vasconcelos' conjecture on the conormal module

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