Gorenstein rings and modules with high numbers of generators (Q1063073)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Gorenstein rings and modules with high numbers of generators |
scientific article |
Statements
Gorenstein rings and modules with high numbers of generators (English)
0 references
1984
0 references
The purpose of the paper is to prove two criteria for a local Cohen- Macaulay ring to be Gorenstein. Let R be a Cohen-Macaulay ring which is a factor ring of a regular local ring, and assume that there is a finite morphism from R to a locally factorial and locally Cohen-Macaulay ring S with kernel I. Then the author proves that R is Gorenstein if and only if \(R_ q\) is Gorenstein for some q in Ass(R/I) and \(Ext^ i_ R(S,R)=0\) for dim R-dim S\(<i\leq \dim R\). This result gives a simple proof of \textit{C. J. Rego}'s theorem [J. Pure Appl. Algebra 12, 111-115 (1978; Zbl 0374.13016)]: For a one-dimensional analytically unramified local ring R with conductor c, R is Gorenstein if and only if \(Ext^ 1_ R(c,R)=0\). Let M be a Cohen-Macaulay ring R. Then we have the following upper bound for the minimal number \(\nu\) (M) of generators for M with positive rank \(\nu\) (M)\(\leq e(R) rank(M)\) where e(R) is the multiplicity of R. The author proves that if a local Cohen-Macaulay ring R has a finitely generated module M with positive rank such that \(2\nu (M)>e(R) rank(M)\) and \(Ext^ i_ R(M,R)=0\) for \(1\leq i\leq \dim R\) then R is Gorenstein. He asks whether there always exists a Cohen-Macaulay R-module M with positive rank such that \(\nu (M)=e(R) rank(M)\). As a corollary to the above result, the author shows: Let R be a local Cohen-Macaulay ring and I an ideal which is a generically complete intersection. Then I is a complete intersection if and only if \(Ext^ i_ R(I^ n,R)=0\) for ht(I)\(\leq i\leq \dim R\) and infinitely many n. Using a similar method, the author shows that Cohen-Macaulay algebras with linear resolution can not be strongly nonobstructed except in some trivial cases.
0 references
Gorensteinness
0 references
minimal number of generators
0 references
Cohen-Macaulay ring
0 references
complete intersection
0 references
0 references
0 references