Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

 

Good ideals in Gorenstein local rings


Authors: Shiro Goto, Sin-Ichiro Iai and Kei-ichi Watanabe
Journal: Trans. Amer. Math. Soc. 353 (2001), 2309-2346
MSC (2000): Primary 13A30; Secondary 13H10
Published electronically: November 29, 2000
MathSciNet review: 1814072
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract:

Let $I$ be an $\mathfrak{m}$-primary ideal in a Gorenstein local ring ($A$, $\mathfrak{m}$) with $\dim A = d$, and assume that $I$ contains a parameter ideal $Q$ in $A$ as a reduction. We say that $I$ is a good ideal in $A$ if $G = \sum _{n \geq 0} I^{n}/I^{n+1}$ is a Gorenstein ring with $\mathrm{a} (G) = 1 - d$. The associated graded ring $G$ of $I$ is a Gorenstein ring with $\mathrm{a}(G) = -d$ if and only if $I = Q$. Hence good ideals in our sense are good ones next to the parameter ideals $Q$ in $A$. A basic theory of good ideals is developed in this paper. We have that $I$ is a good ideal in $A$ if and only if $I^{2} = QI$ and $I = Q : I$. First a criterion for finite-dimensional Gorenstein graded algebras $A$ over fields $k$ to have nonempty sets $\mathcal{X}_{A}$ of good ideals will be given. Second in the case where $d = 1$ we will give a correspondence theorem between the set $\mathcal{X}_{A}$ and the set $\mathcal{Y}_{A}$ of certain overrings of $A$. A characterization of good ideals in the case where $d = 2$ will be given in terms of the goodness in their powers. Thanks to Kato's Riemann-Roch theorem, we are able to classify the good ideals in two-dimensional Gorenstein rational local rings. As a conclusion we will show that the structure of the set $\mathcal{X}_{A}$ of good ideals in $A$ heavily depends on $d = \dim A$. The set $\mathcal{X}_{A}$ may be empty if $d \leq 2$, while $\mathcal{X}_{A}$ is necessarily infinite if $d \geq 3$ and $A$contains a field. To analyze this phenomenon we shall explore monomial good ideals in the polynomial ring $k[X_{1},X_{2},X_{3}]$ in three variables over a field $k$. Examples are given to illustrate the theorems.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 13A30, 13H10

Retrieve articles in all journals with MSC (2000): 13A30, 13H10


Additional Information

Shiro Goto
Affiliation: Department of Mathematics, School of Science and Technology, Meiji University, 214-8571 Japan
Email: goto@math.meiji.ac.jp

Sin-Ichiro Iai
Affiliation: Department of Mathematics, School of Science and Technology, Meiji University, 214-8571 Japan
Email: s-iai@math.meiji.ac.jp

Kei-ichi Watanabe
Affiliation: Department of Mathematics, Nihon University, 156-8550 Japan
Email: watanabe@math.chs.nihon.-u.ac.jp

DOI: http://dx.doi.org/10.1090/S0002-9947-00-02694-5
PII: S 0002-9947(00)02694-5
Keywords: Rees algebra, associated graded ring, Cohen-Macaulay ring, Gorenstein ring, $\mathrm{a}$-invariant
Received by editor(s): July 25, 1999
Published electronically: November 29, 2000
Additional Notes: The first and third authors are supported by the Grant-in-Aid for Scientific Researches in Japan (C(2), No. 11640049 and 10640042, respectively)
Article copyright: © Copyright 2000 American Mathematical Society