Numerical invariants of liaison classes
type: Item
instance of: scholarly article
title: Numerical invariants of liaison classes
zbMATH Open document ID: 0536.13005
DOI: 10.1007/BF01388567
author: Craig Huneke
published in: Inventiones Mathematicae
publication date: 1984-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/143099
review text: The main purpose of this paper is to obtain numerical invariants for liaison classes. If R is a Cohen-Macaulay local ring and \(I\subseteq R\) an ideal such that R/I is unmixed, then there is a polynomial in \({\mathbb{Z}}[t]\), \(P^ R_{R/I}(t)\), such that for any R/J evenly linked to R/I, \(P^ R_{R/I}(t)=P^ R_{R/J}(t).\) If R/I is reduced, \(P^ R_{R/I}(t)=0\) if and only if the Koszul homology modules \(H_ i(I;R)\) are Cohen-Macaulay R/I-modules. Even if R/I is not reduced \(P^ R_{R/I}(t)=0\) if R/I is in the liaison class of a complete intersection. This vanishing result yields interesting consequences for 0-dimensional (or in general non-reduced) algebras in the liaison class of a complete intersection. For instance if R is a formal power series ring over a field k and R/I is Gorenstein and in the liaison class of a complete intersection then \(T^ 2(R/I,k)=0 (T^ i=\cot angent\) functor) - so in particular every deformation is unobstructed.
Mathematics Subject Classification ID: 13H10
Mathematics Subject Classification ID: 14M05
zbMATH DE Number: 3851245
zbMATH Keywords: Cohen-Macaulay ring
zbMATH Keywords: liaison classes
zbMATH Keywords: Koszul homology
zbMATH Keywords: \(P^ R_{R/I}(t)=0\)
MaRDI profile type: Publication
cites work: Codimension and multiplicity
cites work: The Koszul algebra of a codimension 2 embedding
cites work: Algebra Structures for Finite Free Resolutions, and Some Structure Theorems for Ideals of Codimension 3
cites work: What makes a complex exact?
cites work: Generalized Intersection Multiplicities of Modules
cites work: Modules of finite projective dimension with negative intersection multiplicities
cites work: Q5648459
cites work: Euler characteristics over unramified regular local rings
cites work: Properties of Noetherian rings stable under general grade reduction
cites work: Linkage and the Koszul Homology of Ideals
cites work: Q4049183
cites work: Almost complete intersections are not Gorenstein rings
cites work: Deformation and Linkage of Gorenstein Algebras
cites work: On the vanishing of Tor in regular local rings
cites work: Dimension projective finie et cohomologie locale. Applications à la demonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck
cites work: Liaison des variétés algébriques. I
cites work: The Syzygies of the Conormal Module
cites work: A Note on Gorenstein Rings of Embedding Codimension Three
OpenAlex ID: W2011423636
description: scientific article; zbMATH DE number 3851245