Monomial Buchsbaum ideals in \({\mathbb{P}}^ r\)
type: Item
instance of: scholarly article
title: Monomial Buchsbaum ideals in \({\mathbb{P}}^ r\)
zbMATH Open document ID: 0547.13014
DOI: 10.1007/BF01174589
author: H. Bresinsky
published in: Manuscripta Mathematica
publication date: 1984-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/155007
review text: Let N denote the nonnegative integers, let \(\{n_ 1,...,n_ r\}\subseteq N\) with \(g.c.d.(n_ 1,...,n_ r)=1. S_ 1=<n_ 1,...,n_ r>\) denotes the numerical semigroup \(\{v| v=\sum^{r}_{i=1}z_ in_ i,z_ i\in N\cup\{0\}\}, S_ 0=<n_ r- n_{r-1},...,n_ r-n_ 1,n_ r>.\) The set \(A(n_ r,S_ 1)=\{w(0)=0<w(1)<...<w(n_ r-1)\}\) of smallest elements of \(S_ 1\) in respective congruence classes mod n\({}_ r\) defines the Apery sequence of \(S_ 1\) mod n\({}_ r\). If \(v=\sum^{r}_{i=1}z_ in_ i\in S_ 1, \sum^{r}_{i=1}z_ i\) minimal, then \(\partial (v)=\sum^{r}_{i=1}z_ i\) is called the degree of v. \(P(n_ 1,...,n_ r)=P\) denotes the prime ideal in the polynomial ring \(k[x_ 0,...x_ r]=R\) over an arbitrary field k with generic zero \((t_ 0^{n_ r},t_ 0^{n_ r-n_ 1}t_ 1^{n_ 1},...,t_ 0^{n_ r-n_{r-1}}t_ 1^{n_{r-1}},t_ 1^{n_ r}).\) A local ring A is a Buchsbaum ring (B-ring) if for every parameter ideal (\b{X}) \(\ell (A/(\underline X)A)-e_ 0((\underline X),A)\) is independent of (\b{X}). Here ''\(\ell ''\) denotes length and \(''e_ 0''\) multplicity. \(P(n_ 1,...,n_ r)\) is a Buchsbaum ideal (B-ideal) if \((R/P)_{(x_ 0,...,x_ r)}\) is a B-ring. If P is a B-ideal then the invariant \(i(P)\geq 0\) is the difference between length and multiplicity. As a special case one obtains \(i(P)=0\) iff P is Cohen-Macaulay. - It is the purpose of this paper to characterize B-ideals \(P(n_ 1,...n_ r)\) explicitly by \(A(n_ r,S_ 0)\) and \(A(n_ r,S_ 1)\). This is done in terms of the degrees of the elements in the Apery sequences. From this the B-property is completely determined if either \(1\in S_ i\), \(i\in\{0,1\}\) or \(S_ 0=S_ 1=<n_ 1,n_ 2,...,n_ r>, n_ 1,...,n_{r-1}\) in arithmetic progression. Some other consequences derived are 1. i(P)\(=0\) if \(n_ r>\max_{i}\{\partial (s_ i')n_{r- 1}-s_ i'\}, 0\neq s_ i'\in A(n_{r-1},<n_ 1,...,n_{r-1}>).\) 2. A generalization of theorem 2.1 in ''Projections of one-dimensional Veronese varieties'', Math. Nachrichten 118, 47-67 (1984) by \textit{Ngô Viêt Trung}…
Mathematics Subject Classification ID: 13H10
Mathematics Subject Classification ID: 14M05
Mathematics Subject Classification ID: 14H45
Mathematics Subject Classification ID: 13F20
zbMATH DE Number: 3871523
zbMATH Keywords: Apery sequence
zbMATH Keywords: Buchsbaum ideal
zbMATH Keywords: B-ideal
MaRDI profile type: Publication
cites work: Minimal free resolutions of monomial curves in \({\mathbb{P}}^ 3_ k\)
cites work: Basisbestimmung Veronesescher Projektionsideale mit allgemeiner Nullstelle (t0m, t0m–rt1r, t0m–st1s, t1m)
cites work: Q3913515
cites work: On the Cohen-Macaulayfication of certain Buchsbaum rings
cites work: Generators and relations of abelian semigroups and semigroup rings
cites work: Q5613258
cites work: Q4124934
cites work: Projections of One-Dimensional Veronese Varieties
OpenAlex ID: W2094539870
description: scientific article; zbMATH DE number 3871523