TY - JOUR

T1 - Gorenstein liaison, complete intersection liaison invariants and unobstructedness

AU - Kleppe, Jan O.

AU - Migliore, Juan C.

AU - Miró-Roig, Rosa

AU - Nagel, Uwe

AU - Peterson, Chris

PY - 2001/11

Y1 - 2001/11

N2 - This paper contributes to the liaison and obstruction theory of subschemes in ℙn having codimension at least three. The first part establishes several basic results on Gorenstein liaison. A classical result of Gaeta on liaison classes of projectively normal curves in ℙ3 is generalized to the statement that every codimension c "standard determinantal scheme" (i.e. a scheme defined by the maximal minors of a t x (t + c-1) homogeneous matrix), is in the Gorenstein liaison class of a complete intersection. Then Gorenstein liaison (G-liaison) theory is developed as a theory of generalized divisors on arithmetically Cohen-Macaulay schemes. In particular, a rather general construction of basic double G-linkage is introduced, which preserves the even G-liaison class. This construction extends the notion of basic double linkage, which plays a fundamental role in the codimension two situation. The second part of the paper studies groups which are invariant under complete intersection linkage, and gives a number of geometric applications of these invariants. Several differences between Gorenstein and complete intersection liaison are highlighted. For example, it turns out that linearly equivalent divisors on a smooth arithmetically Cohen-Macaulay subscheme belong, in general, to different complete intersection liaison classes, but they are always contained in the same even Gorenstein liaison class. The third part develops the interplay between liaison theory and obstruction theory and includes dimension estimates of various Hilbert schemes. For example, it is shown that most standard determinantal subschemes of codimension 3 are unobstructed, and the dimensions of their components in the corresponding Hilbert schemes are computed.

AB - This paper contributes to the liaison and obstruction theory of subschemes in ℙn having codimension at least three. The first part establishes several basic results on Gorenstein liaison. A classical result of Gaeta on liaison classes of projectively normal curves in ℙ3 is generalized to the statement that every codimension c "standard determinantal scheme" (i.e. a scheme defined by the maximal minors of a t x (t + c-1) homogeneous matrix), is in the Gorenstein liaison class of a complete intersection. Then Gorenstein liaison (G-liaison) theory is developed as a theory of generalized divisors on arithmetically Cohen-Macaulay schemes. In particular, a rather general construction of basic double G-linkage is introduced, which preserves the even G-liaison class. This construction extends the notion of basic double linkage, which plays a fundamental role in the codimension two situation. The second part of the paper studies groups which are invariant under complete intersection linkage, and gives a number of geometric applications of these invariants. Several differences between Gorenstein and complete intersection liaison are highlighted. For example, it turns out that linearly equivalent divisors on a smooth arithmetically Cohen-Macaulay subscheme belong, in general, to different complete intersection liaison classes, but they are always contained in the same even Gorenstein liaison class. The third part develops the interplay between liaison theory and obstruction theory and includes dimension estimates of various Hilbert schemes. For example, it is shown that most standard determinantal subschemes of codimension 3 are unobstructed, and the dimensions of their components in the corresponding Hilbert schemes are computed.

KW - Arithmetically

KW - Canonical module

KW - Cohen-Macaulay

KW - Complete intersection

KW - Divisor

KW - Gorenstein

KW - Hilbert scheme

KW - Liaison

KW - Liaison invariants

KW - Linkage

KW - Normal sheaf

KW - Unobstructed schemes

UR - http://www.scopus.com/inward/record.url?scp=33749116442&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33749116442&partnerID=8YFLogxK

U2 - 10.1090/memo/0732

DO - 10.1090/memo/0732

M3 - Article

AN - SCOPUS:33749116442

SN - 0065-9266

VL - 154

JO - Memoirs of the American Mathematical Society

JF - Memoirs of the American Mathematical Society

IS - 732

ER -