# Unobstructedness and dimension of families of Gorenstein algebras.

Collectanea Mathematica (2007)

- Volume: 58, Issue: 2, page 199-238
- ISSN: 0010-0757

## Access Full Article

top## Abstract

top## How to cite

topKleppe, Jan O.. "Unobstructedness and dimension of families of Gorenstein algebras.." Collectanea Mathematica 58.2 (2007): 199-238. <http://eudml.org/doc/41807>.

@article{Kleppe2007,

abstract = {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 defined as the degeneracy locus of a regular section of the dual of some sheaf M 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 ∧r M ≈ KB(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 fixed 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 first Koszul 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 satisfied in this case. Special attention are paid to arithmetically Gorenstein curves in P5.},

author = {Kleppe, Jan O.},

journal = {Collectanea Mathematica},

keywords = {Geometría algebraica; Esquemas; Parametrización; Haces; Algebras conmutativas; Anillos y módulos de Cohen-Macaulay; Gorenstein graded algebra; Hilbert scheme; deformation; parametrization; Cohen-Macaulay module},

language = {eng},

number = {2},

pages = {199-238},

title = {Unobstructedness and dimension of families of Gorenstein algebras.},

url = {http://eudml.org/doc/41807},

volume = {58},

year = {2007},

}

TY - JOUR

AU - Kleppe, Jan O.

TI - Unobstructedness and dimension of families of Gorenstein algebras.

JO - Collectanea Mathematica

PY - 2007

VL - 58

IS - 2

SP - 199

EP - 238

AB - 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 defined as the degeneracy locus of a regular section of the dual of some sheaf M 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 ∧r M ≈ KB(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 fixed 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 first Koszul 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 satisfied in this case. Special attention are paid to arithmetically Gorenstein curves in P5.

LA - eng

KW - Geometría algebraica; Esquemas; Parametrización; Haces; Algebras conmutativas; Anillos y módulos de Cohen-Macaulay; Gorenstein graded algebra; Hilbert scheme; deformation; parametrization; Cohen-Macaulay module

UR - http://eudml.org/doc/41807

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.