Unobstructedness and dimension of families of Gorenstein algebras

The goal of this paper is to develop tools to study maximal families of Gorenstein quotients A of a polynomial ring R. We prove a very general theorem on deformations of the homogeneous coordinate ring of a scheme Proj (A) which is de ned as the degeneracy locus of a regular section of the dual of some sheaf (M) over tilde of rank r supported on say an arithmetically Cohen-Macaulay subscheme Proj (B) of Proj (R). Under certain conditions (notably; M maximally Cohen-Macaulay and boolean AND(r)(M) over tilde similar or equal to (K) over tilde (B)(t) a twist of the canonical sheaf), then A is Gorenstein, and under additional assumptions, we show the unobstructedness of A and we give an explicit formula for the dimension of any maximal family of Gorenstein quotients of R with x ed Hilbert function obtained by a regular section as above. The theorem also applies to Artinian quotients A. The case where M itself is a twist of the canonical module (r = 1) was studied in a previous paper, while this paper concentrates on other low rank cases, notably r = 2 and 3. In these cases regular sections of the rst Koszut homology module and of normal sheaves to licci schemes (of say codimension 2) lead to Gorenstein quotients (of e.g. codimension 4) whose parameter spaces we examine. Our main applications are for Gorenstein quotients of codimension 4 of R since our assumptions are almost always satis ed in this case. Special attention are paid to arithmetically Gorenstein curves in P-5.