Rank-sets of indecomposable modules over one-dimensional rings

Let R be a one-dimensional, reduced Noetherian ring with finite normalization, and suppose there exists a positive integer N_R such that, for every indecomposable finitely generated torsion-free R-module M and every minimal prime ideal P of R, the dimension of M_P, as a vector space over the localization R_P (a field), is less than or equal to N_R. For a finitely generated torsion-free R-module M, we call the set of all such vector-space dimensions the rank-set of M. What subsets of the integers arise as rank-sets of indecomposable finitely generated torsion-free R-modules? In this article, we give more information on rank-sets of indecomposable modules, to supplement previous work concerning this question. In particular we provide examples having as rank-sets those intervals of consecutive integers that are not ruled out by an earlier article of Arnavut, Luckas and Wiegand. We also show that certain non-consecutive rank-sets never arise.     

Bounds for indecomposable torsion-free modules

Let M be a finitely generated torsion-free module over a one-dimensional reduced Noetherian ring R with finitely generated normalization. The rank of M is the tuple of vector-space dimensions of M_P over each field R_P (R localized at P), where P ranges over the minimal prime ideals of R. We assume that there exists a bound N_R on the ranks of all indecomposable finitely generated torsion-free R-modules. For such rings, what bounds and ranks occur? Partial answers to this question have been given by a plethora of authors over the past forty years. In this article we provide a final answer by giving a concise list of the ranks of indecomposable modules for R a local ring with no condition on the characteristic. We conclude that if the rank of an indecomposable module M is (r,r,…,r), then r∈{1,2,3,4,6}, even when R is not local.     

Characterizing local rings via homological dimensions and regular sequences

Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If the G_C-dimension of M/aM is finite for all ideals a generated by an R-regular sequence of length at most d−t then either the G_C-dimension of M is at most t or C is a dualizing complex. Analogous results for other homological dimensions are also given.     

Convergence to type I distribution of the extremes of sequences defined by random difference equation

We study the extremes of a sequence of random variables (R_n) defined by the recurrence R_n=M_nR_n−1+q, n≥1, where R₀ is arbitrary, (M_n) are iid copies of a non-degenerate random variable M, 0≤M≤1, and q>0 is a constant. We show that under mild and natural conditions on M the suitably normalized extremes of (R_n) converge in distribution to a double-exponential random variable. This partially complements a result of de Haan, Resnick, Rootzén, and de Vries who considered extremes of the sequence (R_n) under the assumption that P(M>1)>0.     

Gorenstein injective modules and Auslander categories

In this paper, we study Gorenstein injective modules over a local Noetherian ring R. For an R-module M, we show that M is Gorenstein injective if and only if Hom _R (Ȓ,M) belongs to Auslander category B(Ȓ), M is cotorsion and Ext ⁱ _R (E,M) = 0 for all injective R-modules E and all i > 0. Received: 24 August 2006 Revised: 30 October 2006     

Relative copure injective and copure flat modules

Let R be a ring, n a fixed nonnegative integer and I_n (F_n) the class of all left (right) R-modules of injective (flat) dimension at most n. A left R-module M (resp., right R-module F) is called n-copure injective (resp., n-copure flat) if (resp., ) for any N∈I_n. It is shown that a left R-module M over any ring R is n-copure injective if and only if M is a kernel of an I_n-precover f:A→B of a left R-module B with A injective. For a left coherent ring R, it is proven that every right R-module has an F_n-preenvelope, and a finitely presented right R-module M is n-copure flat if and only if M is a cokernel of an F_n-preenvelope K→F of a right R-module K with F flat. These classes of modules are also used to construct cotorsion theories and to characterize the global dimension of a ring under suitable conditions.     

n-almost prime submodules

Let R be a commutative ring with identity. A proper submodule N of an R-module M will be called prime [resp. n-almost prime], if for r ∈ R and a ∈ M with ra ∈ N [resp. ra ∈ N \ (N: M) ^n?1 N], either a ∈ N or r ∈ (N: M). In this note we will study the relations between prime, primary and n-almost prime submodules. Among other results it is proved that:

1. If N is an n-almost prime submodule of an R-module M, then N is prime or N = (N: M)N, in case M is finitely generated semisimple, or M is torsion-free with dim R = 1.
2. Every n-almost prime submodule of a torsion-free Noetherian module is primary.
3. Every n-almost prime submodule of a finitely generated torsion-free module over a Dedekind domain is prime.
4. There exists a finitely generated faithful R-module M such that every proper submodule of M is n-almost prime, if and only if R is Von Neumann regular or R is a local ring with the maximal ideal m such that m ² = 0.
5. If I is an n-almost prime ideal of R and F is a flat R-module with IF ≠ F, then IF is an n-almost prime submodule of F.

     

Valuations, equimultiplicity and normal flatness

Let R be a regular noetherian local ring of dimension n≥2 and (R_i)≡R=R₀⊂R₁⊂R₂⊂?⊂R_i⊂? be a sequence of successive quadratic transforms along a regular prime ideal p of R (i.e if p_i is the strict transform of p in R_i, then p_i≠R_i, i≥0). We say that p is maximal for (R_i) if for every non-negative integer j≥0 and for every prime ideal q_j of R_j such that (R_i) is a quadratic sequence along q_j with p_j⊂q_j, we have p_j=q_j. We show that p is maximal for (R_i) if and only if V=∪_i≥0R_i/p_i is a valuation ring of dimension one. In this case, the equimultiple locus at p is the set of elements of the maximal ideal of R for which the multiplicity is stable along the sequence (R_i), provided that the series of real numbers given by the multiplicity sequence associated with V diverges. Furthermore, if we consider an ideal J of R, we also show that is normally flat along at the closed point if and only if the Hironaka’s character ν^∗(J,R) is stable along the sequence (R_i). This generalizes well known results for the case where p has height one (see [B.M. Bennett, On the characteristic functions of a local ring, Ann. of Math. Second Series 91 (1) (1970) 25-87]).     

Gorenstein dimension of modules over homomorphisms

Given a homomorphism of commutative noetherian rings R→S and an S-module N, it is proved that the Gorenstein flat dimension of N over R, when finite, may be computed locally over S. When, in addition, the homomorphism is local and N is finitely generated over S, the Gorenstein flat dimension equals , where E is the injective hull of the residue field of R. This result is analogous to a theorem of André on flat dimension.     

Complete intersection dimensions and Foxby classes

Let R be a local ring and M a finitely generated R-module. The complete intersection dimension of M-defined by Avramov, Gasharov and Peeva, and denoted -is a homological invariant whose finiteness implies that M is similar to a module over a complete intersection. It is related to the classical projective dimension and to Auslander and Bridger’s Gorenstein dimension by the inequalities .Using Blanco and Majadas’ version of complete intersection dimension for local ring homomorphisms, we prove the following generalization of a theorem of Avramov and Foxby: Given local ring homomorphisms φ:R→S and ψ:S→T such that φ has finite Gorenstein dimension, if ψ has finite complete intersection dimension, then the composition ψ°φ has finite Gorenstein dimension. This follows from our result stating that, if M has finite complete intersection dimension, then M is C-reflexive and is in the Auslander class A_C(R) for each semidualizing R-complex C.     

Primary decomposition II: Primary components and linear growth

We study the following properties about primary decomposition over a Noetherian ring R: (1) For finitely generated modules N⊆M and a given subset X={P₁,P₂,…,P_r}⊆Ass(M/N), we define an X-primary component of N?M to be an intersection Q₁∩Q₂∩?∩Q_r for some P_i-primary components Q_i of N⊆M and we study the maximal X-primary components of N⊆M; (2) We give a proof of the ‘linear growth’ property of Ext and Tor, which says that for finitely generated modules N and M, any fixed ideals I₁,I₂,…,I_t of R and any fixed integer i∈N, there exists a k∈N such that for any there exists a primary decomposition of 0 in (or 0 in ) such that every P-primary component Q of that primary decomposition contains (or ), where .     

Representations of matroids and free resolutions for multigraded modules

Let k be a field, let R=k[x₁,…,xm] be a polynomial ring with the standard Zm-grading (multigrading), let L be a Noetherian multigraded R-module, and let be a finite free multigraded presentation of L over R. Given a choice S of a multihomogeneous basis of E, we construct an explicit canonical finite free multigraded resolution T_•(Φ,S) of the R-module L. In the case of monomial ideals our construction recovers the Taylor resolution. A main ingredient of our work is a new linear algebra construction of independent interest, which produces from a representation ? over k of a matroid M a canonical finite complex of finite dimensional k-vector spaces T_•(?) that is a resolution of Ker?. We also show that the length of T_•(?) and the dimensions of its components are combinatorial invariants of the matroid M, and are independent of the representation map ?.     

Local cohomology modules with respect to an ideal containing the irrelevant ideal

Let R=?_n≥0R_n be a homogeneous Noetherian ring, let M be a finitely generated graded R-module and let R₊=?_n>0R_n. Let b?b₀+R₊, where b₀ is an ideal of R₀. In this paper, we first study the finiteness and vanishing of the n-th graded component of the i-th local cohomology module of M with respect to b. Then, among other things, we show that the set becomes ultimately constant, as n→−∞, in the following cases:

(i)

and (R₀,m₀) is a local ring;

(ii)

dim(R₀)≤1 and R₀ is either a finite integral extension of a domain or essentially of finite type over a field;

(iii)

i≤g_b(M), where g_b(M) denotes the cohomological finite length dimension of M with respect to b.

Also, we establish some results about the Artinian property of certain submodules and quotient modules of .     

On the asymptotic properties of the Rees powers of a module

Let R be a commutative ring and G a free R-module with finite rank e>0. For any R-submodule E⊂G one may consider the image of the symmetric algebra of E by the natural map to the symmetric algebra of G, and then the graded components E_n, n≥0, of the image, that we shall call the n-th Rees powers of E (with respect to the embedding E⊂G). In this work we prove some asymptotic properties of the R-modules E_n, n≥0, which extend well known similar ones for the case of ideals, among them Burch’s inequality for the analytic spread.     

Star-critical Ramsey numbers

The graph Ramsey numberR(G,H) is the smallest integer r such that every 2-coloring of the edges of K_r contains either a red copy of G or a blue copy of H. We find the largest star that can be removed from K_r such that the underlying graph is still forced to have a red G or a blue H. Thus, we introduce the star-critical Ramsey numberr_∗(G,H) as the smallest integer k such that every 2-coloring of the edges of K_r−K_1,r−1−k contains either a red copy of G or a blue copy of H. We find the star-critical Ramsey number for trees versus complete graphs, multiple copies of K₂ and K₃, and paths versus a 4-cycle. In addition to finding the star-critical Ramsey numbers, the critical graphs are classified for R(T_n,K_m), R(nK₂,mK₂) and R(P_n,C₄).     

Stable closed characteristics on partially symmetric convex hypersurfaces

Let n be a positive integer and P=diag(−I_n−κ,I_κ,−I_n−κ,I_κ) for some integer κ∈[0,n]. In this paper, we prove that for any convex compact smooth hypersurface Σ in R²ⁿ with n?2 there always exists at least one closed characteristic on Σ which possesses at least 2n−4κ Floquet multipliers on the unit circle of the complex plane, provided Σ is P-symmetric, i.e., x∈Σ implies Px∈Σ.     

Connections on modules over singularities of finite CM representation type

Let A be a commutative k-algebra, where k is an algebraically closed field of characteristic 0, and let M be an A-module. We consider the following question: Under what conditions is it possible to find a connection on M?We consider the maximal Cohen-Macaulay (MCM) modules over complete CM algebras that are isolated singularities, and usually assume that the singularities have finite CM representation type. It is known that any MCM module over a simple singularity of dimension d≤2 admits an integrable connection. We prove that an MCM module over a simple singularity of dimension d≥3 admits a connection if and only if it is free. Among singularities of finite CM representation type, we find examples of curves with MCM modules that do not admit connections, and threefolds with non-free MCM modules that admit connections.Let A be a singularity not necessarily of finite CM representation type, and consider the condition that A is a Gorenstein curve or a -Gorenstein singularity of dimension d≥2. We show that this condition is sufficient for the canonical module ω_A to admit an integrable connection, and conjecture that it is also necessary. In support of the conjecture, we show that if A is a monomial curve singularity, then the canonical module ω_A admits an integrable connection if and only if A is Gorenstein.     

Wakamatsu tilting modules with finite injective dimension

Let R be a left Noetherian ring, S a right Noetherian ring and _R ω a Wakamatsu tilting module with S = End( _R ω). We introduce the notion of the ω-torsionfree dimension of finitely generated R-modules and give some criteria for computing it. For any n ? 0, we prove that l.id _R (ω) = r.id _S (ω) ? n if and only if every finitely generated left R-module and every finitely generated right S-module have ω-torsionfree dimension at most n, if and only if every finitely generated left R-module (or right S-module) has generalized Gorenstein dimension at most n. Then some examples and applications are given.     

On trivialities of Stiefel-Whitney classes of vector bundles over highly connected complexes

It is a classical theorem of Milnor that for every vector bundle over Sn, all the Stiefel-Whitney classes vanish if and only if n≠1,2,4,8. We describe a space B as W-trivial (except for one dimension) if for every vector bundle over B, all the Stiefel-Whitney classes vanish (except for a single fixed dimension). We establish theorems which state that certain high-connectivities of B imply these trivialities as well as a theorem which states that there are infinitely many “W-trivial except for one dimension” spaces.     

Set theoretic complete intersection for curves in a smooth affine algebra

Let A be a regular ring of dimension d (d≥3) containing an infinite field k. Let n be an integer such that 2n≥d+3. Let I be an ideal in A of height n and P be a projective A-module of rank n. Suppose P⊕A≈Aⁿ⁺¹ and there is a surjection α: P→I. It is proved in this note that I is a set theoretic complete intersection ideal. As a consequence, a smooth curve in a smooth affine C-algebra with trivial conormal bundle is a set theoretic complete intersection if its corresponding class in the Grothendieck group is torsion.