Filter-regular sequences and multiplicity of blow-up rings of ideals of the principal class (Q1323249)

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 567069
Language Label Description Also known as
default for all languages
No label defined
    English
    Filter-regular sequences and multiplicity of blow-up rings of ideals of the principal class
    scientific article; zbMATH DE number 567069

      Statements

      Filter-regular sequences and multiplicity of blow-up rings of ideals of the principal class (English)
      0 references
      0 references
      16 June 1994
      0 references
      Let \(R\) be a graded algebra generated by finitely many forms of degree one over a field \(k\) and \(I\) a homogeneous ideal of \(R\) of principal class, that is, \(I\) is generated by ht\((I)\) homogeneous elements. This paper computes the multiplicity of the associated graded ring gr\(_ I(R)\), the Rees algebra \(R[It]\), and the extended Rees algebra \(R[It,t^{-1}]\). Suppose that \(a_ 1, \dots, a_ n\) are the degrees of the elements of a homogeneous minimal basis (of length ht\((I))\) of \(I\). Then the multiplicity of gr\(_ I(R)\) is given by \(e(\text{gr}_ I(R)) = a_ 1 \cdots a_ n e(R)\). (Here \(e(\;)\) denotes the multiplicity with respect to the maximal homogeneous ideal.) To compute the multiplicities of the other two algebras, it is further assumed that \(I\) is generated by a homogeneous filter-regular sequence \(x_ 1, \dots, x_ n\) with respect to \(I\) where \(a_ 1 \leq \cdots \leq a_ n\) \((a_ i = \deg x_ i)\). (A sequence \(x_ 1, \dots, x_ n\) is a filter-regular sequence with respect to \(I\) if \(x_ i \notin p\) for all associated primes \(p \nsupseteq I\) of \((x_ 1, \dots, x_{i-1})\), \(i = 1, \dots, n\).) Then \(e(R[It]) = (1 + \sum^{n-1}_{i=1} a_ 1 \cdots a_ i) e(R)\) and \(e(R[It,t^{-1}]) = (1 + \sum^{n-1}_{i=l} a_ 1 \cdots a_ i) e(R)\) where \(l\) is the largest integer for which \(a_ l = 1\) \((l = 0\) and \(a_ 1 \cdots a_ l = 1\) if \(a_ i > 1\) for all \(i = 1, \dots, n)\).
      0 references
      graded algebra
      0 references
      multiplicity
      0 references
      associated graded ring
      0 references
      extended Rees algebra
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references