On the number of generators of modules of homomorphisms (Q2370132)

From MaRDI portal





scientific article; zbMATH DE number 5166607
Language Label Description Also known as
default for all languages
No label defined
    English
    On the number of generators of modules of homomorphisms
    scientific article; zbMATH DE number 5166607

      Statements

      On the number of generators of modules of homomorphisms (English)
      0 references
      0 references
      22 June 2007
      0 references
      The paper under review is concerned with the following Conjecture. Let \(R\) be a local Cohen-Macaulay ring. Then there exists a polynomial function \(f(x,y)\) such that for any two finitely generated \(R\)-modules \(A\) and \(B\) \[ \nu(\text{Hom}_R(A,B) \leq f(\text{hdeg}(A), \text{hdeg}(B)), \] where \(\nu\) is the minimum number of generators and \(\text{hdeg}\) is the homological degree function defined in [\textit{W. Vasconcelos}, Trans. Am. Math. Soc. 350, 1167--1179 (1998; Zbl 0903.13007)]. The author proves the conjecture for local Cohen-Macaulay rings of dimension at most two. For these rings, it is worth noting that the polynomial function is of the form \(f(x,y)=c_R xy\), where \(c_R\) is a constant. As special cases of the main conjecture, the author also proves the following: \(\bullet\) If \(R\) is a Gorenstein local ring of dimension \(d\), then the minimum number of generators of the dual \(\text{Hom}_R(A,R)\) is bounded by \((\text{hdeg}(R)+d(d-1)/2) \text{hdeg}(A)\); \(\bullet\) Let \(R\) be a Gorenstein local ring, let \(A\) be a vector bundle of finite projective dimension, and let \(B\) be a finitely generated \(R\)-module. Then \(\nu(\text{Hom}_R(A,B)) \leq c_R \text{hdeg}(A) \text{hdeg}(B)\) for some constant \(c_R\) that only depends on the ring \(R\); \(\bullet\) Let \(R\) be a Gorenstein local ring of dimension 4, let \(A\) be a torsion free \(R\)-module of finite projective dimension, and let \(B\) be a finitely generated \(R\)-module. Then \(\nu(\text{Hom}_R(A,B)) \leq c_R \text{hdeg}(A) \text{hdeg}(B)\) for some constant \(c_R\) that only depends on the ring \(R\).
      0 references
      cohomological degree
      0 references
      homological degree
      0 references
      modules of homomorphisms
      0 references

      Identifiers