On the number of generators of modules of homomorphisms (Q2370132)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the number of generators of modules of homomorphisms |
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
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
0.8079082369804382
0 references
0.8038200736045837
0 references
0.7936344146728516
0 references
0.7934386730194092
0 references
0.79105544090271
0 references