Tangent cones at curve and surface singularities
type: Item
instance of: scholarly article
title: Tangent cones at curve and surface singularities
zbMATH Open document ID: 0834.13010
DOI: 10.1016/0022-4049(94)90073-6
published in: Journal of Pure and Applied Algebra
publication date: 1995-12-03T00:00:00Z
review text: Let \((R,m)\) be a Gorenstein local ring, analytically unramified, \(I \subset R\) an \(m\)-primary ideal of \(R\), \(\overline I\) the integral closure of \(I\) and \(\delta (I)\) the reduction number of \(I\). There are some integers \(\{\overline e_d (I)\}\) such that \[ \text{length} (R/ \overline {I^{n + 1}}) = \overline e_0 (I) {n + d \choose d} - \overline e_1 (I) {n + d - 1 \choose d - 1} + \cdots + (- 1)^d \overline e_d (I) \] for sufficiently large \(n\). The paper gives sufficient conditions in terms of these invariants under which \(G(I) = R/I \oplus I/I^2 \oplus \ldots\) is Cohen-Macaulay or Gorenstein. -- Suppose \(\dim R = 1\), \(I\) is integrally closed and \(\overline e_1 (m) + \text{length} (R/ \overline m) = 1 + e(R)\). If \(e(R) = 2\) then \(G(I)\) is Gorenstein if and only if either \(I = m\), or \(I\) is the conductor \(C = (R : \overline R)\) of \(R\). If \(e(R) \leq 3\) then \(G(I)\) is Gorenstein if and only if either \(I = m\), or \(I = C\), or \(\delta (I) \leq 1\) and \(\text{length} (R/I) = e(R) - 1\). -- Now suppose \(\dim R = 2\). Then \(p_g (R) = \sup \{\overline e_2 (I) \mid I\) is an \(m\)-primary ideal\} is the geometric genus of \(R\). If \(R\) is pseudo-rational, that is \(p_g (R) = 0\), then the following conditions are equivalent: (i) \(G(I)\) is Gorenstein, (ii) \(\delta (I) \leq 1\) and \(e(I) = 2\cdot {length} (R/I)\). (iii) \(I\) is integrally closed and \(e(I) = 2\cdot {length} (R/I)\). If \(R\) is elliptic, that is \(p_g (R) = 1\) and \(I\) is integrally closed, then \(G(I)\) is Gorenstein if and only if either \(I = m\), or \(\delta (I) \leq 1\) and \(e(I) = 2\cdot {length} (R/I)\). -- If \(p_g (R) = 2\) then either \(e(R) = 2\), or \(\text{emb} (R) = e(R)\) and \(G(m)\) is Gorenstein. -- If \(p_g (R) = 3\) then \(G(m)\) is Gorenstein if and only if \(R\) is a quadratic hypersurface, a quartic hypersurface, or \(\text{emb} (R) = e(R)\).
Mathematics Subject Classification ID: 13A30
Mathematics Subject Classification ID: 14H45
Mathematics Subject Classification ID: 14J17
zbMATH DE Number: 681818
zbMATH Keywords: multiplicity
zbMATH Keywords: Cohen-Macaulay property
zbMATH Keywords: Gorenstein property
zbMATH Keywords: associated graded ring
zbMATH Keywords: elliptic curve
zbMATH Keywords: Gorenstein local ring
zbMATH Keywords: reduction number
zbMATH Keywords: quadratic hypersurface
zbMATH Keywords: quartic hypersurface
author: Akira Ooishi
MaRDI profile type: Publication
full work available at URL: 0022-4049(94)90073-6
OpenAlex ID: W2052518682
cites work: Integral closedness of complete-intersection ideals
cites work: On the canonical module of the Rees algebra and the associated graded ring of an ideal
cites work: Reduction numbers for ideals of higher analytic spread
cites work: Hilbert functions and symbolic powers
cites work: Integral closures of ideals generated by regular sequences
cites work: Coefficients of normal Hilbert polynomials
cites work: On the length formula of Hoskin and Deligne and associated graded rings of two-dimensional regular local rings
cites work: On Minimally Elliptic Singularities
cites work: Stable Ideals and Arf Rings
cites work: Rational singularities, with applications to algebraic surfaces and unique factorization
cites work: Desingularization of two-dimensional schemes
cites work: Q5829838
cites work: Castelnuovo's regularity of graded rings and modules
cites work: Genera and arithmetic genera of commutative rings
cites work: \(\Delta\)-genera and sectional genera of commutative rings
cites work: Reductions of graded rings and pseudo-flat graded modules
cites work: Genera of curve singularities
cites work: Normal genera of two-dimensional local rings
cites work: Stable ideals in Gorenstein local rings
cites work: On the Gorenstein property of the associated graded ring and the Rees algebra of an ideal
cites work: Hilbert Functions and Pseudo-Rational Local Rings of Dimension Two
cites work: Q4170834
cites work: Good embedding dimensions for Gorenstein singularities
cites work: On the Cohen-Macaulayness of the fiber cone of an ideal
cites work: On the Hilbert function of a graded Cohen-Macaulay domain
cites work: On form rings which are Cohen-Macaulay
Wikidata QID: Q126583094
description: scientific article; zbMATH DE number 681818