Betti numbers of modules of essentially monomial type (Q4955780)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 1449901
Language Label Description Also known as
default for all languages
No label defined
    English
    Betti numbers of modules of essentially monomial type
    scientific article; zbMATH DE number 1449901

      Statements

      Betti numbers of modules of essentially monomial type (English)
      0 references
      0 references
      22 May 2000
      0 references
      module of essentially monomial type
      0 references
      syzygy module
      0 references
      Betti number
      0 references
      Let \({\mathbf u}=u_1, \dots,u_n\) be indeterminates. A finite subset \(T\) of monomials in \({\mathbf u}\) is called an \({\mathbf u}\)-segment if \(f\), \(h\in T\) and \(f|g\), \(g|h\) implies \(g\in T\). Let \({\mathbf x}=x_1, \dots,x_n\) be a regular sequence in a local ring \(R\), \(T\) a \({\mathbf u}\)-segment with \(|T|=l\), and \(F\) a free \(R\)-module of rank \(l\) with basis \(\{w_f;f\in T\}\). A module \(F/N\), where \(N\) is generated by \(\{x_kw_f- w_{u_kf}; f\in T,\;u_kf\in T\}\cup \{x_kw_f; f\in T,\;u_kf\notin T\}\) is called a module of essentially monomial type. Free resolutions for such modules are described, which gives the main results of the paper: If \(M\) is a module of essentially monomial type with respect to an \(R\)-sequence of length \(n\), then \(r_i(M)\geq {n-1 \choose i-1}\) and \(\beta_i(M)\geq {n\choose i}\), where \(r_i(M)\) is the rank of the \(i\)th syzygy module of \(M\) and \(\beta_i(M)\) is the \(i\)th Betti number of \(M\). Examples of modules of essentially monomial type are \(R/I\), where \(\sqrt I=\sqrt{(x_1, \dots,x_n)}\) for some \(R\)-sequence \({\mathbf x}\), in particular if \(I=(x_1,\dots, x_n)^t\).
      0 references

      Identifiers