A matrix computation for the Cohen-Macaulay type of s-lines in affine \((n+1)\)-space
type: Item
instance of: scholarly article
title: A matrix computation for the Cohen-Macaulay type of s-lines in affine \((n+1)\)-space
zbMATH Open document ID: 0548.14015
DOI: 10.1016/0021-8693(83)90114-X
author: Marjory Baruch
author: William C. Brown
published in: Journal of Algebra
publication date: 1983-01-01T00:00:00Z
review text: A system of s distinct lines \(L_ 1,...L_ s\), passing through the origin in the affine space \({\mathbb{A}}_ k^{n+1}\) (k denoting an algebraically closed field), defines a simple curve singularity. The problem of computing the CM type \(t(L_ 1,...L_ s)\) of the local ring at the origin was considered by \textit{A. V. Geramita} and \textit{F. Orecchia} [J. Algebra 70, 116-140 (1981; Zbl 0464.14007)], who mostly dwelled on the case when the ''direction numbers'' \(P_ 1,...P_ s\) of those lines, considered as points of \({\mathbb{P}}^ n\), are in generic s- position. By definition, this means that the \(s\times (_ n^{d+n})\) matrix G(d), obtained by evaluating all degree d monomials on \(n+1\) indeterminates at the homogeneous coordinates of \(P_ 1,...,P_ s\), has maximal possible rank for every \(d\geq 1.-\) The present authors obtain a general formula in the form: \(t(L_ 1,...L_ s)=\sum^{s- 1}_{j=r}\gamma (j)+rk G(s-1)-(_{\quad n}^{n+s-2})\) where the \(\gamma\) (j)'s are - in principle - computable from certain matrices obtained from G by row-transformations (one has also to assume the leading entries of the direction numbers equal to 1, but this is no restriction on the generality); the integer r is the minimal degree of s hypersurface passing through all s points; \(s\geq 2\) and \(n\geq 2.\) This is used to deduce a useful expression in the case of generic s- position: \(t(L_ 1,...,L_ s)=\gamma (r)+s-(_{\quad n}^{r+n-1}).\) Examples are given to show that for s and n fixed, the type can vary even if the lines are in generic s-position.
Mathematics Subject Classification ID: 14M05
Mathematics Subject Classification ID: 13H10
zbMATH DE Number: 3873489
zbMATH Keywords: lines in affine space
zbMATH Keywords: Cohen-Macaulay ring
zbMATH Keywords: Gorenstein ring
zbMATH Keywords: singularity
zbMATH Keywords: lines in generic position
zbMATH Keywords: CM type
zbMATH Keywords: local ring at the origin
reviewed by: Luchezar L. Avramov
MaRDI profile type: Publication
cites work: Relations between the type of a point on an algebraic variety and the type of its tangent cone
cites work: On the ubiquity of Gorenstein rings
cites work: On the Cohen-Macaulay type of s-lines in \(A^{n+1}\)
cites work: Der kanonische Modul eines Cohen-Macaulay-Rings. (The canonical moduls of a Cohen-Macaulay-ring)
description: scientific article; zbMATH DE number 3873489