请输入您要查询的百科知识：

　

词条 Gorenstein ring
释义

  1. Definitions

  2. Examples

  3. Properties

  4. Notes

  5. References

In commutative algebra, a Gorenstein local ring is a commutative Noetherian local ring R with finite injective dimension as an R-module. There are many equivalent conditions, some of them listed below, often saying that a Gorenstein ring is self-dual in some sense.

Gorenstein rings were introduced by Grothendieck in his 1961 seminar (published in {{harv|Hartshorne|1967}}). The name comes from a duality property of singular plane curves studied by {{harvs|txt|last=Gorenstein|authorlink=Daniel Gorenstein|year=1952}} (who was fond of claiming that he did not understand the definition of a Gorenstein ring{{Citation needed|date=August 2018}}). The zero-dimensional case had been studied by {{harvtxt|Macaulay|1934}}. {{harvtxt|Serre|1961}} and {{harvtxt|Bass|1963}} publicized the concept of Gorenstein rings.

Frobenius rings are noncommutative analogs of zero-dimensional Gorenstein rings. Gorenstein schemes are the geometric version of Gorenstein rings.

For Noetherian local rings, there is the following chain of inclusions.

{{Commutative local ring classes}}

Definitions

A Gorenstein ring is a commutative Noetherian ring such that each localization at a prime ideal is a Gorenstein local ring, as defined above. A Gorenstein ring is in particular Cohen–Macaulay.

One elementary characterization is: a Noetherian local ring R of dimension zero (equivalently, with R of finite length as an R-module) is Gorenstein if and only if HomR(k, R) has dimension 1 as a k-vector space, where k is the residue field of R. Equivalently, R has simple socle as an R-module.[1] More generally, a Noetherian local ring R is Gorenstein if and only if there is a regular sequence a1,...,an in the maximal ideal of R such that the quotient ring R/( a1,...,an) is Gorenstein of dimension zero.

For example, if R is a commutative graded algebra over a field k such that R has finite dimension as a k-vector space, R = k ⊕ R1 ⊕ ... ⊕ Rm, then R is Gorenstein if and only if it satisfies Poincaré duality, meaning that the top graded piece Rm has dimension 1 and the product Ra × Rm−a → Rm is a perfect pairing for every a.[2]

Another interpretation of the Gorenstein property as a type of duality, for not necessarily graded rings, is: for a field F, a commutative F-algebra R of finite dimension as an F-vector space (hence of dimension zero as a ring) is Gorenstein if and only if there is an F-linear map e: R → F such that the symmetric bilinear form (x, y) := e(xy) on R (as an F-vector space) is nondegenerate.[3]

For a commutative Noetherian local ring (R, m, k) of Krull dimension n, the following are equivalent:[4]

  • R has finite injective dimension as an R-module;
  • R has injective dimension n as an R-module;
  • The Ext group for i ≠ n while
  • for some i > n;
  • for all i < n and
  • R is an n-dimensional Gorenstein ring.

A (not necessarily commutative) ring R is called Gorenstein if R has finite injective dimension both as a left R-module and as a right R-module. If R is a local ring, R is said to be a local Gorenstein ring.

Examples

  • Every local complete intersection ring, in particular every regular local ring, is Gorenstein.
  • The ring R = k[x,y,z]/(x2, y2, xz, yz, z2−xy) is a 0-dimensional Gorenstein ring that is not a complete intersection ring. In more detail: a basis for R as a k-vector space is given by: R is Gorenstein because the socle has dimension 1 as a k-vector space, spanned by z2. Alternatively, one can observe that R satisfies Poincaré duality when it is viewed as a graded ring with x, y, z all of the same degree. Finally. R is not a complete intersection because it has 3 generators and a minimal set of 5 (not 3) relations.
  • The ring R = k[x,y]/(x2, y2, xy) is a 0-dimensional Cohen–Macaulay ring that is not a Gorenstein ring. In more detail: a basis for R as a k-vector space is given by: R is not Gorenstein because the socle has dimension 2 (not 1) as a k-vector space, spanned by x and y.

Properties

  • A Noetherian local ring is Gorenstein if and only if its completion is Gorenstein.[5]
  • The canonical module of a Gorenstein local ring R is isomorphic to R. In geometric terms, it follows that the standard dualizing complex of a Gorenstein scheme X over a field is simply a line bundle (viewed as a complex in degree −dim(X)); this line bundle is called the canonical bundle of X. Using the canonical bundle, Serre duality takes the same form for Gorenstein schemes as in the smooth case.

In the context of graded rings R, the canonical module of a Gorenstein ring R is isomorphic to R with some degree shift.[6]

  • For a Gorenstein local ring (R, m, k) of dimension n, Grothendieck local duality takes the following form.[7] Let E(k) be the injective hull of the residue field k as an R-module. Then, for any finitely generated R-module M and integer i, the local cohomology group is dual to in the sense that:

  • Stanley showed that for a finitely generated commutative graded algebra R over a field k such that R is an integral domain, the Gorenstein property depends only on the Cohen–Macaulay property together with the Hilbert series

Namely, a graded domain R is Gorenstein if and only if it is Cohen–Macaulay and the Hilbert series is symmetric in the sense that

for some integer s, where n is the dimension of R.[8]

  • Let (R, m, k) be a Noetherian local ring of embedding codimension c, meaning that c = dimk(m/m2) − dim(R). In geometric terms, this holds for a local ring of a subscheme of codimension c in a regular scheme. For c at most 2, Serre showed that R is Gorenstein if and only if it is a complete intersection.[9] There is also a structure theorem for Gorenstein rings of codimension 3 in terms of the Pfaffians of a skew-symmetric matrix, by Buchsbaum and Eisenbud.[10]

Notes

1. ^Eisenbud (1995), Proposition 21.5.
2. ^Huneke (1999), Theorem 9.1.
3. ^Lam (1999), Theorems 3.15 and 16.23.
4. ^Matsumura (1989), Theorem 18.1.
5. ^Matsumura (1989), Theorem 18.3.
6. ^Eisenbud (1995), section 21.11.
7. ^Bruns & Herzog (1993), Theorem 3.5.8.
8. ^Stanley (1978), Theorem 4.4.
9. ^Eisenbud (1995), Corollary 21.20.
10. ^Bruns & Herzog (1993), Theorem 3.4.1.

References

  • {{Citation | last1=Bass | first1=Hyman | author1-link=Hyman Bass | title=On the ubiquity of Gorenstein rings | doi=10.1007/BF01112819 |mr=0153708 | year=1963 | journal=Mathematische Zeitschrift | issn=0025-5874 | volume=82 | pages=8–28| citeseerx=10.1.1.152.1137 }}
  • {{Citation | last1=Bruns | first1=Winfried | last2=Herzog | first2=Jürgen | title=Cohen–Macaulay rings | publisher=Cambridge University Press | series=Cambridge Studies in Advanced Mathematics | isbn=978-0-521-41068-7 |mr=1251956 | year=1993 | volume=39}}
  • {{Citation | last1=Eisenbud | first1=David | author1-link=David Eisenbud | title=Commutative Algebra with a View toward Algebraic Geometry | publisher=Springer-Verlag | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-94268-1 | mr=1322960 | year=1995 | volume=150 | doi=10.1007/978-1-4612-5350-1}}
  • {{Citation | last1=Gorenstein | first1=Daniel | author1-link=Daniel Gorenstein | title=An arithmetic theory of adjoint plane curves | jstor= 1990710 |mr=0049591 | year=1952 | journal=Transactions of the American Mathematical Society | issn=0002-9947 | volume=72 | pages=414–436 | doi=10.2307/1990710}}
  • {{Citation | mr=0224620 | author1-last=Hartshorne | author1-first=Robin | author1-link=Robin Hartshorne | title=Local Cohomology. A seminar given by A. Grothendieck, Harvard University, Fall 1961|series=Lecture Notes in Mathematics|volume= 41 |publisher=Springer-Verlag|place= Berlin-New York |year=1967}}
  • {{eom|id=Gorenstein_ring}}
  • {{Citation | last1=Huneke | first1=Craig | author1-link=Craig Huneke | chapter=Hyman Bass and ubiquity: Gorenstein rings | title=Algebra, K-Theory, Groups, and Education | pages=55–78 | publisher=American Mathematical Society | year=1999 | mr=1732040 | doi=10.1090/conm/243/03686| arxiv=math/0209199 }}
  • {{Citation | author1-last=Lam | author1-first=Tsit Yuen | author1-link=Tsit Yuen Lam | title=Lectures on modules and rings | publisher=Springer-Verlag | location=Berlin, New York | series=Graduate Texts in Mathematics | volume=189 | isbn=978-0-387-98428-5 | year=1999 | mr=1653294 | doi=10.1007/978-1-4612-0525-8}}
  • {{Citation | last1=Macaulay | first1=Francis Sowerby | author1-link=Francis Sowerby Macaulay | title= Modern algebra and polynomial ideals | doi=10.1017/S0305004100012354 | year=1934 | journal=Mathematical Proceedings of the Cambridge Philosophical Society | issn=0305-0041 | volume=30 | issue=1 | pages=27–46| jfm=60.0096.02| bibcode=1934PCPS...30...27M }}
  • {{Citation | last1=Matsumura | first1=Hideyuki | title=Commutative Ring Theory | publisher=Cambridge University Press | edition=2nd | series=Cambridge Studies in Advanced Mathematics | isbn=978-0-521-36764-6 | year=1989 | mr=0879273}}
  • {{Citation |year=1961| last1=Serre | first1=Jean-Pierre | author1-link=Jean-Pierre Serre | title=Sur les modules projectifs | url=http://www.numdam.org/item?id=SD_1960-1961__14_1_A2_0 | series=Séminaire Dubreil. Algèbre et théorie des nombres | volume=14 | pages=1–16}}
  • {{Citation | author1-last=Stanley | author1-first=Richard P. | author1-link=Richard P. Stanley | title=Hilbert functions of graded algebras | journal=Advances in Mathematics | volume=28 | pages=57–83 | year=1978 | doi=10.1016/0001-8708(78)90045-2 | mr=0485835}}

1 : Commutative algebra
随便看

　

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

　

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间：2024/9/21 14:25:46