Vasconcelos' conjecture on the conormal module

DOI10.1007/S00222-021-01070-0zbMATH Open1489.13026arXiv2006.04247OpenAlexW3201118933WikidataQ123121484 ScholiaQ123121484MaRDI QIDQ2073767FDOQ2073767

Authors: Benjamin Briggs 

Publication date: 8 February 2022

Published in: Inventiones Mathematicae (Search for Journal in Brave)

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.

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

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

zbMATH Keywords

complete intersectionKoszul homology[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=K%EF%BF%BD%EF%BF%BDhler+differentials&go=Go K��hler differentials]conormal moduleVasconcelos's conjecture

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)

Cites Work

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

Cited In (13)

• 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
• Resolutions in local algebra and singularity theory. Abstracts from the workshop held February 5--11, 2023
• On the standard modules conjecture
• Homology of commutative algebras and an invariant of Simis and Vasconcelos
• Vaught's Conjecture for Modules Over a Dedekind Prime Ring
• Title not available (Why is that?)
• The homotopy Lie algebra of a Tor-independent tensor product
• Bounds on cohomological support varieties
• Title not available (Why is that?)

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)