An algorithm for calculating Betti numbers of manageable modules
type: Item
instance of: scholarly article
title: An algorithm for calculating Betti numbers of manageable modules
zbMATH Open document ID: 0978.18008
author: Shou-Te Chang
published in: Taiwanese Journal of Mathematics
publication date: 2002-02-04T00:00:00Z
review text: This paper deals with the free resolution of an \(R\)-module \(M\) of finite length \(l\), where \((R,m,k)\) is a noetherian local ring, of any characteristic. More precisely, \(M\) is supposed to be the cokernel of a matrix of the form \[ A=\left( \begin{matrix} {\mathfrak x} & {\mathfrak r}_{12} & \cdots & {\mathfrak r}_{1l} \\ & {\mathfrak r}_{23} & \cdots & {\mathfrak r}_{2l}\\ & &\cdots & \cdots\\ & & & {\mathfrak x}\end{matrix} \right), \] where \({\mathfrak x}= ^t(x_1,\dots,x_n)\) is the column vector of a minimal set of generators of \(m\), defining an \(R\)-regular sequence. Under a condition involving a set of matrices \(A_i\), \(1\leq i\leq n\), built starting from the matrices of the Koszul complex \(K({\mathfrak x},R)\) and the matrix \(A\), the author proves that a (non necessarily minimal) resolution of \(M\) is given by a complex of the form: \[ K.=\dots R^{{n\choose i}l}@>A_i>> R^{{n \choose i-1}l} \to\dots. \] The last part of the paper is devoted to an application of this results in the case: \(M=R/m^{N+1}+(\sum^N_ix_k^N)\), where \({\mathfrak x}=(x_1, \dots,x_n)\) is a minimal set of generators of the maximal ideal of a regular local ring \(R\). This computation leads to verify Horrocks' conjecture on \(r_i(M)\) in this special case.
Mathematics Subject Classification ID: 18G10
Mathematics Subject Classification ID: 13C99
zbMATH DE Number: 1370641
zbMATH Keywords: \(R\)-regular sequence
zbMATH Keywords: free resolution
zbMATH Keywords: Koszul complex
zbMATH Keywords: Horrocks' conjecture
reviewed by: Carla Massaza
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.11650/twjm/1500407135
OpenAlex ID: W4235541757
DOI: 10.11650/TWJM/1500407135
description: scientific article; zbMATH DE number 1370641