The conductor of one-dimensional Gorenstein rings in their blowing-up

Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Multiplicity theory and related topics (13H15) Local structure of morphisms in algebraic geometry: étale, flat, etc. (14B25)

Review text

Let (A,M) be a one-dimensional Cohen-Macaulay local ring with multiplicity \(e>1\), Hilbert function H with \(H(n)=\lambda (M^ n/M^{n+1})\) and first neighbourhood ring B obtained by blowing up M. The note contributes to the study if the conductor \(I=Ann_ A(B/A)\) of A in B in terms of two indices \(\nu =Min\{n| H(n)=e\}\) and \(\mu =Max\{n| H(n)=\left( \begin{matrix} n+r\\ r\end{matrix} \right)\}\), where \(r+1=\lambda (M/M^ 2)\) is the embedding dimension. It is shown that \(M^{e-1}\subseteq M^{\nu}\subseteq I\subseteq M^{\mu}\) and in the extreme cases \((i)\quad I=M^{\mu}\) if, and only if, \(e=\left( \begin{matrix} \nu +r\\ r\end{matrix} \right)\) so \(\mu =\nu\) and H is determined by r and e, and \((ii)\quad M^{e-1}implies\) \(r=1\), the converse of a result of Northcott and Matlis [see \textit{E. Matlis}, ``1-dimensional Cohen-Macaulay rings, Lect. Notes Math. 327 (1973; Zbl 0264.13012)]. In the special case of A Gorenstein the authors prove that \(I\subseteq M^ 2\) or \(I=M\) and \(r=1\); moreover \(I+Ax=Ax:_ AM\) for any superficial element x and if in addition the associated graded ring is Cohen-Macaulay (Gorenstein) then \(I\subseteq M^{\nu}+Ax\) \((I=M^{\nu}).\) The reader should beware of proofs containing misprints.

Recommendations

Cites work

Cited in

(9)

On the conductor of the blowing-up of a one-dimensional Gorenstein local ring
The conductor of one-dimensional local rings with reduced associated graded ring
One-dimensional almost Gorenstein rings
On the biggest maximally generated ideal as the conductor in the blowing up ring
scientific article; zbMATH DE number 4150344 (Why is no real title available?)
ON THE COHEN–MACAULAYNESS OF SOME GRADED RINGS
[[:Publication:3801691|Gorenstein rings as maximal subrings of kX with fixed conductor]]
scientific article; zbMATH DE number 4089714 (Why is no real title available?)
On the length equalities for one-dimensional rings

This page was built for publication: The conductor of one-dimensional Gorenstein rings in their blowing-up

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q921064)