Applications of dualizing complexes to Buchsbaum rings

In the first two sections of this chapter, we focus our attention on two special classes of rings, namely, local rings and semilocal rings. By definition, a ring R is local if R/rad R is a division ring, and R is semilocal if R/rad R is a semisimple ring. Thus, local rings include all division rings, and semilocal rings include all left or right artinian rings. The basic properties of local and semilocal rings are developed, respectively, in §19 and §20. We shall see, for instance, that local rings are connected with the problem of the uniqueness of Krull-Schmidt decompositions, and that semilocal rings are connected with the problem of “cancellation” of modules.

Given any local Noetherian ring (R, 𝔪), we study invariants, such as the dimension and multiplicity, of the Sally module S J (I) of any 𝔪-primary ideal I with respect to a minimal reduction J. As a by-product we obtain an estimate for the Hilbert coefficients of 𝔪 that generalizes a bound established by Elias and Valla in a local Cohen–Macaulay setting. We also find sharp estimates for the multiplicity of the special fiber ring ℱ(I) of I, which recover previous bounds established by Polini, Vasconcelos, and the author in the local Cohen–Macaulay case. A particular attention is also paid to Sally modules in local Buchsbaum rings.

On Buchsbaum rings

The content in Chapter 1–3 is a fairly standard one-semester course on local rings with the goal to reach the fact that a regular local ring is a unique factorization domain. The homological machinery is also supported by Cohen–Macaulay rings and depth. In Chapters 4–6 the methods of injective modules, Matlis duality and local cohomology are discussed. Chapters 7–9 are not so standard and introduce the reader to the generalizations of modules to complexes of modules. Some of Professor Iversen's results are given in Chapter 9. Chapter 10 is about Serre's intersection conjecture. The graded case is fully exposed. The last chapter introduces the reader to Fitting ideals and McRae invariants.

Reiten has demonstrated that the trivial Hochschild extension of a Cohen-Macaulay local ring by a canonical module is a Gorenstein local ring. Here it is proved that any commutative extension of a Cohen-Macaulay local ring by a canonical module is a Gorenstein ring. Also Gorenstein extensions of a local Cohen-Macaulay ring by a module are studied.

Given a local ring of positive prime characteristic there is a natural Frobenius action on its local cohomology modules with support at its maximal ideal. In this paper we study the local rings for which the local cohomology modules have only finitely many submodules invariant under the Frobenius action. In particular we prove that F-pure Gorenstein local rings as well as the face ring of a finite simplicial complex localized or completed at its homogeneous maximal ideal have this property. We also introduce the notion of an antinilpotent Frobenius action on an Artinian module over a local ring and use it to study those rings for which the lattice of submodules of the local cohomology that are invariant under Frobenius satisfies the ascending chain condition.

Let $$(R,\mathfrak {m})$$ be a Noetherian local ring of prime characteristic p and Q be an $$\mathfrak {m}$$ -primary parameter ideal. We give criteria for F-rationality of R using the tight Hilbert function $$H^*_Q(n)=\ell (R/(Q^n)^*)$$ and the coefficient $$e_1^*(Q)$$ of the tight Hilbert polynomial $$P^*_Q(n)=\sum _{i=0}^d(-1)^ie_i^*(Q)\left( {\begin{array}{c}n+d-1-i\\ d-i\end{array}}\right) .$$ We obtain a lower bound for the tight Hilbert function of Q for equidimensional excellent local rings that generalizes a result of Goto and Nakamura. We show that if $$\dim R=2 $$ , the Hochster–Huneke graph of R is connected and this lower bound is achieved, then R is F-rational. Craig Huneke asked if the F-rationality of unmixed local rings may be characterized by the vanishing of $$e_1^*(Q).$$ We construct examples to show that without additional conditions, this is not possible. Let R be an excellent, reduced, equidimensional Noetherian local ring and Q be generated by parameter test elements. We find formulas for $$e_1^*(Q), e_2^*(Q), \ldots , e_d^*(Q)$$ in terms of Hilbert coefficients of Q, lengths of local cohomology modules of R, and the length of the tight closure of the zero submodule of $$H^d_{\mathfrak {m}}(R).$$ Using these, we prove: R is F-rational $$\iff e_1^*(Q)=e_1(Q) \iff {\text {depth}}R\ge 2$$ and $$e_1^*(Q)=0.$$

A length formula for the multiplicity of distinguished components of intersections

We define two new homological invariants for a finitely generated module M over a commutative Noetherian local ring R, its Buchsbaum dimension B-dim R M, and its Monomial conjecture dimension MC-dim R M. It will be shown that these new invariants have certain nice properties we have come to expect from homological dimensions. Over a Buchsbaum ring R, every finite module M has B-dim R M < ∞; conversely, if the residue field has finite B-dimension, then the ring R is Buchsbaum. Similarly R satisfies the Hochster Monomial Conjecture if only if MC-dim R k is finite, where k is the residue field of R. MC-dimension fits between the B-dimension and restricted flat dimension Rfd of Christensen et al. [Christensen, L. W., Foxby, H.-B., Frankild, A. (2002). Restricted homological dimensions and Cohen–Macaulayness. J. Algebra 251(1):479–502]. B-dimension itself is finer than CM-dimension of Gerko [Gerko, A. A. (2001). On homological dimensions. Sb. Math. 192(7–8):1165–1179] and we have equality if CM-dimension is finite. It also satisfies an analog of the Auslander–Buchsbaum formula.

Let A be a noetherian commutative ring which is a homomorphic image of a Gorenstein ring.The first result in this note is that A is a Cohen-Macaulay ring if and only if every finitely generated /I-module can be embedded in a finitely generated Amodule T which is pointwise of finite injective dimension (i.e.all localizations of 7"are of finite injective dimension).The second result is that if A is Cohen-Macaulay, then every finitely generated Amodule can be embedded in a finitely generated /(-module of finite projective dimension if and only if A is Gorenstein.Let A denote a commutative noetherian ring.As a running hypothesis we will assume that A is a homomorphic image of a Gorenstein ring (a commutative noetherian ring R is Gorenstein if Rv has finite injective dimension as an /?p-module, for every prime ideal p of R; see [2] for other definitions equivalent to this one).However, this class of noetherian rings is rather extensive, since it contains most of the rings occurring in algebraic geometry, and, in particular, it contains the complete local rings, by Cohen's structure theorem [5].All modules will be finitely generated (f.g.), and for a f.g.A-module M and p g Spec A, depth Mp denotes (as usual) the maximal length of a Mpregular sequence in pAp, while grade M is the maximal length of an /(-regular sequence in Ann M. Furthermore, recall that a f.g.nonzero Amodule Q is said to be a Gorenstein module if Í2 pointwise is of finite injective dimension (i.e.inj dim Op< co for all p e Supp O) and depth Í2p= depth Ap for all p e Supp O. Since A is a homomorphic image of a Gorenstein ring, by assumption, there exists a Gorenstein /1-module which is of rank one (i.e.Hom(i2, D.) = A), if A is a Cohen-Macaulay ring (cf.Sharp [II], and see [10], [6] and [7] for further properties of Gorenstein modules).Theorem I.A is a Cohen-Macaulay ring if and only if every f.g.Amodule can be embedded in a f.g.A-module which pointwise is of finite injective dimension.

One-dimensional stable rings

Inspired by a question raised by Eisenbud–Mustaţă–Stillman regarding the injectivity of maps from ${\operatorname{Ext}}$ modules to local cohomology modules and the work by the third author with Pham, we introduce a class of rings, which we call cohomologically full rings. This class of rings includes many well-known singularities: Cohen–Macaulay rings, Stanley–Reisner rings, F-pure rings in positive characteristics, and Du Bois singularities in characteristics $0$. We prove many basic properties of cohomologically full rings, including their behavior under flat base change. We show that ideals defining these rings satisfy many desirable properties, in particular they have small cohomological and projective dimension. When $R$ is a standard graded algebra over a field of characteristic $0$, we show under certain conditions that being cohomologically full is equivalent to the intermediate local cohomology modules being generated in degree $0$. Furthermore, we obtain Kodaira-type vanishing and strong bounds on the regularity of cohomologically full graded algebras.

For a commutative local ring R, we know that every ideal is a direct sum of local modules if and only if the unique maximal ideal of R is of the form , where and are principal ideal rings and for all γ’s. This motivates us to determine a commutative ring, not necessarily local, in which every (proper) ideal is a direct sum of local modules. We prove that such a ring is exactly a finite direct product of local rings R with the unique maximal ideal in the above mentioned form. Moreover, we characterize more precisely certain commutative rings such as Noetherian rings, reduced rings, Rickart rings, semi-Artinian rings and self-injective rings, in which every (proper) ideal is a direct sum of local modules.

Given a finite (associative, unital) ring R, let K(R) denote the set of polynomials in R[x] that send each element of R to 0 under evaluation. We study K(R) and its elements. We conjecture that K(R) is a two-sided ideal of R[x] for any finite ring R, and prove the conjecture for several classes of finite rings (including commutative rings, semisimple rings, local rings, and all finite rings of odd order). We also examine a connection to sets of integer-valued polynomials.

Let A be a d-dimensional local ring containing a field. We will prove that the highest Lyubeznik number λd,d(A) (defined in [5]) is equal to the number of connected components of the Hochster-Huneke graph (defined in [2]) associated to B, where B = Ash is the completion of the strict Henselization of the completion of A. This was proven by Lyubeznik in characteristic p > 0. Our statement and proof are characteristic-free.