Small Cofinite Irreducibles

Extended plus closure in complete local rings

Let Q be a complete local ring which has the same characteristic as its residue field P, and, for the present, let us denote by A the image of a subset A of Q under the natural homomorphism of Q onto P. Then a subfield F of Q is called a coefficient field if = P. It has been shown in [2] and in [3] that a complete equicharacteristic local ring, such as the above, always possesses at least one coefficient field; this is the embedding theorem for the equicharacteristic case.

On Algebraically Closed Models of Theories of Commutative Rings

Contents: Introduction. §1: Computable rings and modules. §2: Ideal membership relation. §3: Effective structured domains. §4: Completion of a local ring as a domain. §5: The recursive completion. Epilogue. References.Introduction. Completion is an important general mathematical device. Often, but not always, a completion takes the following form. Let A be a topological algebraic structure whose topology is derived from a metric. For A, a topological algebra  and an embedding i: A →  are constructed such that  is a complete metric space in which A is densely embedded by i. The long list of structures for which such completions exist begins with Cantor's construction of the real number field and includes objects like the p-adic integers, Baire space, and Boolean algebras. In Bourbaki [6] a careful and thorough account of completions for arbitrary topological groups and fields is given, for which it is important to note that the topological structures need not be metrizable, but must possess a uniformity.The effectiveness of the completion process of a computable structure A cannot be readily studied using the tools of computable algebra, simply because the resulting structure  is almost invariably uncountable. However, in particular cases, it has been possible to define and study the substructure Ak of computable elements of Â; this has been done for the structures mentioned above, starting with the field of recursive real numbers.In this paper we analyse the effectivity of the completion of a local ring R. We do this using structured Scott-Ershov domains. Our study may be considered as a prototype containing methods applicable to a broad class of completions, including all the examples mentioned above, except for the real number field, which needs a generalisation of the domain concept.A Scott-Ershov domain D formalises how a set Dt of possibly “infinite” elements, called total elements, is constructed from a set Dc of “finite” elements, called compact elements. This is achieved by means of an approximation ordering which determines a topology on D and, in particular, on Dt. Our methodology is to associate to a given topological algebra A a structured domain D(A) such that the total elements D(A)t form a topological algebra topologically isomorphic to A. In such circumstances A is said to be domain definable by D(A). The theory of computability for domains is now applied to study the effectivity of the topological algebra A.

Let $(R,m)$ be a complete Noetherian local ring, $I$ a proper ideal of R and $M$, $N$ two finitely generated R-modules such that Supp $(N)\subseteq V(I)$. Let $t\geq 0$ be an integer such that for each $0\leq i\leq t$, the $R$-module $H^i_I(M)$ is in dimension $<n$. Then we show that each element $L$ of the set $\mathfrak{J}$, which is defined as: $$ \{{Ext}^j_R(N,H^i_I(M)):j\ge0 \ and \ 0\le i \le t\} \\ \cup\{{Hom}_R(N,H^{t+1}_I(M)),{Ext}^1_R(N,H^{t+1}_I(M))\} $$ is in dimension $<n-2$ and so as a consequence, it follows that the set $$ {Ass}_R(L)\cap\{{\frak{p}} \in Spec(R): :\,\dim (R/{\frak{p}})\ge n − 2\} $$ is finite. In particular, the set $$ {Ass}_R(\oplus_{i=0}^{t+1}H^i_I(R))\cap \{{\frak{p}}\in \,{Spec}(R)\,:\,\dim(R/{\frak{p}})\geq n-2\} $$ is finite. Also, as an immediately consequence of this result it follows that the $R$-modules ${Ext}^j_R(N,H^i_I(M))$ are in dimension $<n-1$, for all integers $i,j\geq 0$, whenever $\dim(M/IM)=n$. These results generalizes the main results of Huneke-Koh [17], Delfino [10], Chiriacescu [9], Asadollahi-Naghipour [1], Quy [18], Brodmann-Lashgari [7], Bahmanpour-Naghipour [5] and Bahmanpour et al. [6] in thecase of complete local rings.

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.

&lt;p&gt;The goal of this thesis is to study non-commutative deformation rings of representations of algebras. The main motivation is to provide a generalization of the deformation theory over commutative local rings studied by B. Mazur, M. Schlessinger and others. The latter deformation theory has played an important role in number theory, and in particular in the proof of Fermat's Last Theorem.&lt;/p&gt; &lt;p&gt;The thesis is divided into two parts.&lt;/p&gt; &lt;p&gt;In the first part, &lt;em&gt;A&lt;/em&gt; is an arbitrary λ-algebra for a complete local commutative Noetherian ring λ with residue field &lt;em&gt;k&lt;/em&gt;. A category Ĉ is defined whose objects are complete local λ-algebras &lt;em&gt;R&lt;/em&gt; with residue field &lt;em&gt;k&lt;/em&gt; such that &lt;em&gt;R&lt;/em&gt; is a quotient ring of a power series algebra over λ in finitely many non-commuting variables. If &lt;em&gt;V&lt;/em&gt; is a finite dimensional &lt;em&gt;k&lt;/em&gt;-vector space that is also a left &lt;em&gt;A&lt;/em&gt;-module and that satisfies a natural finiteness condition, it is proved that &lt;em&gt;V&lt;/em&gt; has a so-called versal deformation ring &lt;em&gt;R(A,V)&lt;/em&gt;. More precisely, &lt;em&gt;R(A,V)&lt;/em&gt; is an object in Ĉ such that the isomorphism class of every lift of &lt;em&gt;V&lt;/em&gt; over an object &lt;em&gt;R&lt;/em&gt; in Ĉ arises from a morphism α : &lt;em&gt;R(A,V)&lt;/em&gt;→ &lt;em&gt;R&lt;/em&gt; in Ĉ and α is unique if &lt;em&gt;R&lt;/em&gt; is the ring of dual numbers &lt;em&gt;k&lt;/em&gt;[ϵ].&lt;/p&gt; &lt;p&gt;In the second part, two particular examples of λ, &lt;em&gt;A&lt;/em&gt; and &lt;em&gt;V&lt;/em&gt; are studied and the versal deformation ring &lt;em&gt;R(A,V)&lt;/em&gt; is determined in each of these cases. In the first example, λ=&lt;em&gt;k&lt;/em&gt;, &lt;em&gt;A&lt;/em&gt; is a series of non-commutative &lt;em&gt;k&lt;/em&gt;-algebras depending on a parameter &lt;em&gt;r≥2&lt;/em&gt;, and &lt;em&gt;V&lt;/em&gt; is a particular quotient module of &lt;em&gt;A&lt;/em&gt;; it is shown that &lt;em&gt;R(A,V)&lt;/em&gt; is isomorphic to &lt;em&gt;A&lt;/em&gt;. The second example builds on the first example when &lt;em&gt;r=2&lt;/em&gt; and uses that, if additionally the characteristic of &lt;em&gt;k&lt;/em&gt; is 2, then &lt;em&gt;A&lt;/em&gt; is isomorphic to the group ring &lt;em&gt;k[D&lt;sub&gt;8&lt;/sub&gt;]&lt;/em&gt; of a dihedral group &lt;em&gt;D&lt;sub&gt;8&lt;/sub&gt;&lt;/em&gt; of order 8.&lt;/p&gt; &lt;p&gt;It is shown that if &lt;em&gt;k&lt;/em&gt; is perfect and &lt;em&gt;W&lt;/em&gt; is the ring of infinite Witt vectors over &lt;em&gt;k&lt;/em&gt;, then &lt;em&gt;R(W[D&lt;sub&gt;8&lt;/sub&gt;],V)&lt;/em&gt; is isomorphic to &lt;em&gt;W[D&lt;sub&gt;8&lt;/sub&gt;]&lt;/em&gt;.&lt;/p&gt;

A certain set of associated primes of the Matlis duality of any top local cohomology module of a complete filter local ring is characterized. Also, it is proved that the set of associated primes of a finitely generated module over a four-dimensional local ring is finite.

Let M be a finitely generated module of rank r and finite projective dimension over a commutative Noetherian local ring S. We show that M has a free direct summand of rank r if and only if its Buchsbaum–Eisenbud invariant J(M) is a principal ideal. As an application, we consider the problem of finding rigid triples. Recall that the module M is said to be rigid if for each i ≥ 0 and each finitely generated S-module N the condition implies for every j ≥ i. A triple of positive integers b = (b 0, b 1, b 2) is said to be rigid if for every commutative Noetherian local ring S one has that every S-module with minimal free resolution of the form 0 → S b 2 → S b 1 → S b 0 → 0 is rigid. We use our criterion for free direct summands of maximal rank to derive a necessary and sufficient condition for a triple b to be rigid in terms of the rigidity of the universal modules of type b over complete regular local rings. In particular, we exhibit the rigidity of any triple of the form (k, m + 1,m), thus providing a new class of rigid modules.

Local cohomology and support for triangulated categories

Introduction. In the investigation of functors on the category of preschemes, one is led, by Grothendieck [3], to consider the following situation.Let A be a complete noetherian local ring, u, its maximal ideal, and k = A/u.the residue field.(In most applications A is k itself, or a ring of Witt vectors.)Let C be the category of Artin local A-algebras with residue field k.A covariant functor F from C to Sets is called pro-representable if it has the formwhere R is a complete local A-algebra such that R/mn is in C, all n.(m is the maximal ideal in R.)In many cases of interest, F is not pro-representable, but at least one may find an R and a morphism Hom(7?, )-> F of functors such that Hom(.R, A) -> F(A) is surjective for all A in C. If R is chosen suitably "minimal" then R is called a "hull" of F; R is then unique up to noncanonical isomorphism.Theorem 2.11, 2, gives a criterion for F to have a hull, and also a simple criterion for pro-representability which avoids the use of Grothendieck's techniques of nonflat descent [3], in some cases.Grothendieck's program is carried out by Levelt in [4].3 contains a few geometric applications of these results.To avoid awkward terminology, I have used the word " pro-representable " in a more restrictive sense than Grothendieck [3] has.He considers the category of A-algebras of finite length and allows R to be a projective limit of such rings.The methods of this paper are a simple extension of those used by David Mumford in a proof (unpublished) of the existence of formal moduli for polarized Abelian varieties.I am indebted to Mumford and to John Tte for many valuable suggestions.1.The category CA.Let A be a complete noetherian local ring, with maximal ideal u. and residue field k = A/u.. We define C= CA to be the category of Artinian local A-algebras having residue field k. (That is, the "structure morphism" A -> ,4 of such a ring A induces a trivial extension of residue fields.)Morphisms in C are local homomorphisms of A-algebras.

A commutative Noetherian local ring of finite global dimension is a regular local ring and the structure of such a ring is well described 1n many texts (see §1.9). It is perhaps surprising that very little seems to be known about the corresponding non-commutat1ve rings and it is our aim 1n this thesis to examine some of the ways in which the commutative theory can, and cannot be extended to a right Noetherian local ring of finite right global dimension. Chapter 1 contains basic definitions and, in Chapter 2, results are obtained on the projective and Injective dimensions of modules over right Noetherian local rings. Commutative regular local rings are domains and we begin Chapter 3 by considering the question of when a right Noetherian local ring R of finite right global dimension is a prime ring. An example of Stafford's shows that R is not necessarily prime; however, by examining the Nilpotent radical of R, we are able to extend results of Ramras [57] and Walker [75] and show that R is indeed prime when certain prime ideals are localisable. In Chapter 4 we consider the lattice of prime ideals of R when R is an AR-r1ng and provide theorems which generalise some of the basic results from the theory of commutative regular local rings. Section 4.3 contains examples which not only illustrate points arising in Chapters 3 and 4 but also show that some of the techniques which are mainstays of the commutative theory, fall dramatically in a non-commutat1ve setting. In Chapter 5, we generalise the concepts of regular sequences and Cohen Macaulay rings enabling us to prove, in §5.2 and chapter 6, that a right Noetherian local ring of finite right global dimension, which 1s integral over its centre, is a prime ring and exhibits many properties similar to those enjoyed by commutative regular local rings. Examples are provided which show that some alternative approaches are not applicable to the rings considered in these chapters. Regular local rings are Gorensteln rings and, as such, are the subject of an elegant structure theorem due to Bass [5]. In Chapter 7, we generalise his theorem to the situation of rings Integral over their centres. Each chapter begins with a summary of the results contained in that chapter.

The development of the theory of local rings has been greatly stimulated by the importance of the applications to algebraic geometry, but it is none the less true that this stimulus has produced a theory which, on aesthetic grounds, is somewhat unsatisfactory. In the first place, if a local ring Q arises in the ordinary way from a geometric problem, then Qwill have the same characteristic as its residue field. It is partly for this reason that our knowledge of equicharacteristic local rings is much more extensive than it is of those local rings which present the case of unequal characteristics. Again, in the geometric case, the integral closure of Q in its quotient field will be a finite Q-module. Here, once more, we have a special situation which it would be desirable to abandon from the point of view of a general abstract theory.

The versal deformation ring R ( G , V ) R(G,V) of a mod p p representation V V of a profinite group G G encodes all isomorphism classes of lifts of V V to representations of G G over complete local commutative Noetherian rings. We introduce a new technique for determining R ( G , V ) R(G,V) when G G is finite which involves Brauer’s generalized decomposition numbers.

Let R R be an integral domain with field of fractions K K . This paper studies the kernel of the map W ( R ) → W ( K ) W(R) \to W(K) , where W W is the Witt ring functor. In case R R is regular and noetherian, it is shown that the kernel is a nilideal. The kernel is zero if R R is a complete regular local noetherian ring with 2 a unit. Examples are given to show that the regularity assumptions are needed.