On liaison, arithmetical Buchsbaum curves and monomial curves in \(\mathbb P^3\) (Q788785)

The subject matter investigated in the paper are arithmetical Buchsbaum curves in \(\mathbb P^ 3_ K\). A local ring \(A\) is a Buchsbaum ring if for every parameter ideal \(\bar x=(x_ 1,...,x_ d)\), \(\ell(A/_{\bar xA})-e_ 0(\bar xA)=i(A)\) is an invariant. Here \(\ell\) and \(e_ 0\) denote length and multiplicity. A curve in \(\mathbb P_ K^ n\) is arithmetically Buchsbaum if its coordinate ring localized at \((X_ 0,...,X_ n)\) is Buchsbaum. Two ideals \(I\) and \(J\) in a local Gorenstein ring \(A\) are algebraically linked by a complete intersection \(\bar x=(x_ 1,...,x_ g)\subseteq I\cap J\) if (i) \(I\) and \(J\) are ideals of pure height \(g\) and (ii) \(J/_{\bar xA}\simeq \Hom_ A(A/_ I,A/_{\bar xA})\), \(I/_{\bar xA}\simeq \Hom_ A(A/_ J,A/_{\bar xA})\). \(I\) and \(J\) are linked (geometrically) by a complete intersection \(\bar x=(x_ 1,...,x_ g)\) if \(I\) and \(J\) have no common component and \(I\cap J=\bar xA\). The main result of the paper shows that in a Gorenstein ring \(A\), \(\dim A\geq 1\), the Buchsbaum property is preserved under linkage. A projective variety \(V\subseteq\mathbb P^ n_ K\) is said to be ideally the intersection of \(d\) hypersurfaces if there are \(d\) homogeneous elements \(f_ 1,...,f_ d\) in the defining ideal \(I(V)\) of \(V\) and \(I(V)/(f_ 1,...,f_ d)\) is a \(K[X_ 0,...,X_ n]\)-module of finite length. A result of independent interest proven to facilitate the study of monomial Buchsbaum curves in \(\mathbb P^ 3_ K\) is the following equivalence for curves \(C\) in \(\mathbb P^ 3_ K\): (i) \(C\) is arithmetically Buchsbaum (not Cohen-Macaulay) and \(C\) is ideally the intersection of three hypersurfaces \(f_ 1\), \(f_ 2\), \(f_ 3\). (ii) There are homogeneous elements \(f_ 1\), \(f_ 2\), \(f_ 3\), \(f_ 4\) which generate \(I(C)\) minimally, and \(x_ if_ 4\in(f_ 1,f_ 2,f_ 3)\) for \(i=0,1,2,3\). Finally for monomial curves in \(\mathbb P^ 3_ K\), i.e. curves \(C\) in \(\mathbb P^ 3_ K\) given parametrically by \[ \{s^ d,s^ bt^{d-b},s^ at^{d-a},t^ d\},\;d>b>a\geq 1,\;\gcd(d,b,a)=1, \] seven equivalent conditions are stated and proven for \(C\) to be arithmetically Buchsbaum.