Valuations dominating regular local rings and proximity relations

We study zero-dimensional valuations dominating a regular local ring of dimension n≥2. For this we introduce the proximity matrix and the multiplicity sequence (extending classical definitions of the case n=2) that are associated with the sequence of the successive quadratic transforms of the ring along the valuation. We describe the precise relations between these invariants and study their properties.     

Valuations determined by quadratic transforms of a regular ring

Let R be a regular noetherian local ring and let V be the ring of a zero-dimensional valuation v of the quotient field of R dominating R. The aim of this paper is to characterize when V can be obtained from R by the sequence of successive quadratic transforms of R along V. We also show some properties of such valuations in terms of the sequence.     

Toroidalization of generating sequences in dimension two function fields of positive characteristic

We give a characteristic free proof of the main result of [L. Ghezzi, H.T. Hà, O. Kashcheyeva, Toroidalization of generating sequences in dimension two function fields, J. Algebra 301 (2) (2006) 838-866. ArXiv:math.AC/0509697.] concerning toroidalization of generating sequences of valuations in dimension two function fields. We show that when an extension of two-dimensional algebraic regular local rings R⊂S satisfies the conclusions of the Strong Monomialization theorem of Cutkosky and Piltant, the map between generating sequences in R and S has a toroidal structure.     

Links between associated additive Galois modules and computation of H for local formal group modules

Using the methods described in the papers (Documenta Math. 5 (2000) 657; Local Leopoldt's problem for ideals in p-extensions of complete discrete valuation fields, to appear), we prove that a cocycle for a formal group in a Galois p-extension of a complete discrete valuation field is a coboundary if and only if the corresponding group algebra elements increase valuations by a number that is sufficiently large. We also calculate the valuation of the splitting element of a coboundary. A special case of the main theorem allows us to determine when a p-extension of a complete discrete valuation fields contains a root of a Kummer equation for a formal group. The theorem of Coates-Greenberg for formal group modules in deeply ramified extensions is generalized to noncommutative formal groups. Some results concerning finite torsion modules for formal groups are obtained.     

Almost slender rings and compact rings

Classical results concerning slenderness for commutative integral domains are generalized to commutative rings with zero divisors. This is done by extending the methods from the domain case and bringing them in connection with results on the linear topologies associated to non-discrete Hausdorff filtrations. In many cases a weakened notion “almost slenderness” of slenderness is appropriate for rings with zero divisors. Special results for countable rings are extended to rings said to be of “bounded type” (including countable rings, ‘small’ rings, and, for instance, rings that are countably generated as algebras over an Artinian ring).More precisely, for a ring R of bounded type it is proved that R is slender if R is reduced and has no simple ideals, or if R is Noetherian and has no simple ideals; moreover, R is almost slender if R is not perfect (in the sense of H. Bass). We use our methods to study various special classes of rings, for instance von Neumann regular rings and valuation rings. Among other results we show that the following two rings are slender: the ring of Puiseux series over a field and the von Neumann regular ring $k^{\mathbb{N}}/k^{(\mathbb{N})}$ over a von Neumann regular ring k.For a Noetherian ring R we prove that R is a finite product of local complete rings iff R satisfies one of several (equivalent) conditions of algebraic compactness. A 1-dimensional Noetherian ring is outside this ‘compact’ class precisely when it is almost slender. For the rings of classical algebraic geometry we prove that a localization of an algebra finitely generated over a field is either Artinian or almost slender. Finally, we show that a Noetherian ring R is a finite product of local complete rings with finite residue fields exactly when there exists a map of R-algebras $R^{\mathbb{N}}\to R$ vanishing on $R^{(\mathbb{N})}$.     

Local rings of minimal length

This paper deals with local rings R possessing an m-canonical ideal ω, R⊆ω. In particular those rings such that the length l_R(ω/R) is as short as possible are studied. The same notion for one-dimensional local Cohen-Macaulay rings was introduced and studied with the name of Almost Gorenstein. Some necessary conditions, that become also sufficient under additional hypotheses, are given and examples are provided also in the non-Noetherian case. The case when the maximal ideal of R is stable is also studied.     

Noetherian varieties in definably complete structures

We prove that the zero-set of a C ^∞ function belonging to a noetherian differential ring M can be written as a finite union of C ^∞ manifolds which are definable by functions from the same ring. These manifolds can be taken to be connected under the additional assumption that every zero-dimensional regular zero-set of functions in M consists of finitely many points. These results hold not only for C ^∞ functions over the reals, but more generally for definable C ^∞ functions in a definably complete expansion of an ordered field. The class of definably complete expansions of ordered fields, whose basic properties are discussed in this paper, expands the class of real closed fields and includes o-minimal expansions of ordered fields. Finally, we provide examples of noetherian differential rings of C ^∞ functions over the reals, containing non-analytic functions.     

THE REGULARITY DEGREE AND EPIMORPHISMS IN THE CATEGORY OF COMMUTATIVE RINGS

Elements of the universal (von Neumann) regular ring T(R) of a commutative semiprime ring R can be expressed as a sum of products of elements of R and quasi-inverses of elements of R. The maximum number of terms required is called the regularity degree, an invariant for R measuring how R sits in T(R). It is bounded below by 1 plus the Krull dimension of R. For rings with finitely many primes and integral extensions of noetherian rings of dimension 1, this number is precisely the regularity degree.

For each n ≥ 1, one can find a ring of regularity degree n + 1. This shows that an infinite product of epimorphisms in the category of commutative rings need not be an epimorphism.

Finite upper bounds for the regularity degree are found for noetherian rings R of finite dimension using the Wiegand dimension theory for Patch R. These bounds apply to integral extensions of such rings as well.     

Two criteria to check whether ideals are direct sums of cyclically presented modules

A famous theorem of commutative algebra due to I. M. Isaacs states that “if every prime ideal of R is principal, then every ideal of R is principal”. Therefore, a natural question of this sort is “whether the same is true if one weakens this condition and studies rings in which ideals are direct sums of cyclically presented modules?” The goal of this paper is to answer this question in the case R is a commutative local ring. We obtain an analogue of Isaacs's theorem. In fact, we give two criteria to check whether every ideal of a commutative local ring R is a direct sum of cyclically presented modules, it suffices to test only the prime ideals or structure of the maximal ideal of R. As a consequence, we obtain: if R is a commutative local ring such that every prime ideal of R is a direct sum of cyclically presented R-modules, then R is a Noetherian ring. Finally, we describe the ideal structure of commutative local rings in which every ideal of R is a direct sum of cyclically presented R-modules.     

Transfer of Gorenstein dimensions along ring homomorphisms

A central problem in the theory of Gorenstein dimensions over commutative noetherian rings is to find resolution-free characterizations of the modules for which these invariants are finite. Over local rings, this problem was recently solved for the Gorenstein flat and the Gorenstein projective dimensions; here we give a solution for the Gorenstein injective dimension. Moreover, we establish two formulas for the Gorenstein injective dimension of modules in terms of the depth invariant; they extend formulas for the injective dimension due to Bass and Chouinard.     

A Class of Auslander-Regular Macaulay Rings

Abstract

For a (left and right) noetherian semilocal ring R we analyse a regularity concept (called weak regularity) based on the equation gld R = dim R. Examples are regular Cohen-Macaulay orders over a regular local ring, localized enveloping algebras of finite dimensional Lie algebras, and the regular rings classified in Rump (2001b). We prove that weakly regular rings are Auslander-regular and Macaulay.     

On G-Regular Local Rings

In this article, we define a G-regular local ring as a commutative, noetherian, local ring, over which all totally reflexive modules are free. We study G-regular local rings and observe that they behave similarly to regular local rings. We extend Eisenbud's matrix factorization theorem and Knörrer's periodicity theorem to G-regular local rings.     

Homological Characterizations of Rings with Property (P)

Abstract

A commutative ring R is said to satisfy property (P) if every finitely generated proper ideal of R admits a non-zero annihilator. In this paper we give some necessary and sufficient conditions that a ring satisfies property (P). In particular, we characterize coherent rings, noetherian rings and Π-coherent rings with property (P).     

Generic noncommutative surfaces

We study a class of noncommutative surfaces, and their higher dimensional analogs, which come from generic subalgebras of twisted homogeneous coordinate rings of projective space. Such rings provide answers to several open questions in noncommutative projective geometry. Specifically, these rings R are the first known graded algebras over a field k which are noetherian but not strongly noetherian: in other words, R⊗_kB is not noetherian for some choice of commutative noetherian extension ring B. This answers a question of Artin, Small, and Zhang. The rings R are also maximal orders, but they do not satisfy all of the χ conditions of Artin and Zhang. In particular, they satisfy the χ₁ condition but not χ_i for i?2, answering a question of Stafford and Zhang and a question of Stafford and Van den Bergh. Finally, we show that the noncommutative scheme R-proj has finite global dimension.     

Ideal semigroups of noetherian domains and Ponizovski decompositions

Let R be an integral domain with quotient field K and L⊃K a finite extension field. By an R-lattice in L we mean a finitely generated R-module containing a basis of L over K. The set of all R-lattices is a commutative multiplicative semigroup. If R is one-dimensional and noetherian, we determine the structure of this semigroup and of the corresponding class semigroup by means of its partial Ponizovski factors. If moreover R is a Dedekind domain and L⊃K is separable, we give criteria for the partial Ponizovski factors to be groups in terms of the different and the conductor of their endomorphism rings.     

Counter-examples to non-noetherian Elkik's approximation theorem

Elkik established a remarkable theorem that can be applied for any noetherian henselian ring. For algebraic equations with a formal solution (restricted by some smoothness assumption), this theorem provides a solution adically close to the formal one in the base ring. In this paper, we show that the theorem would fail for some non-noetherian henselian rings. These rings do not satisfy several conditions weaker than noetherianness, such as weak proregularity (due to Grothendieck et al.) of the defining ideal. We describe the resulting pathologies.     

Starke Kotorsionsmoduln

Suppose that $(R, m)$ is a noetherian local ring and that E is the injective hull of the residue class field $R/m$. Suppose that M is an R-module, $M^0 = {\mbox{\rm Hom}}_R (M, E)$ is the Matlis dual of M and ${\mbox{\rm Coass}(M)} = {\mbox{\rm Ass} (M^0)}$. M is called cotorsion if every prime ideal ${\frak p} \in {\mbox{\rm Coass}}(M)$ is regular; it is called strongly cotorsion if $\cap {\rm Coass}(M)$ is regular. In the first part, we completely describe the structure of the strongly cotorsion modules over R, use this to determine the coassociated prime ideals of the bidual $M^{00}$, and give in the second part criteria for a cotorsion module being strongly cotorsion. Received: 7 March 2002     

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.     

Algebraic series and valuation rings over nonclosed fields

Suppose that k is an arbitrary field. Let k[[x₁,…,x_n]] be the ring of formal power series in n variables with coefficients in k. Let be the algebraic closure of k and . We give a simple necessary and sufficient condition for σ to be algebraic over the quotient field of k[[x₁,…,x_n]]. We also characterize valuation rings V dominating an excellent Noetherian local domain R of dimension 2, and such that the rank increases after passing to the completion of a birational extension of R. This is a generalization of the characterization given by M. Spivakovsky [Valuations in function fields of surfaces, Amer. J. Math. 112 (1990) 107–156] in the case when the residue field of R is algebraically closed.