# EXCELLENT RINGS WITH SINGLETON FORMAL FIBERS. 1. Introduction. Although this paper focuses on a commutative algebra result, we shall begin by

Size: px
Start display at page:

Download "EXCELLENT RINGS WITH SINGLETON FORMAL FIBERS. 1. Introduction. Although this paper focuses on a commutative algebra result, we shall begin by"

Transcription

1 Furman University Electronic Journal of Undergraduate Mathematics Volume 5, 1 9, 1999 EXCELLENT RINGS WITH SINGLETON FORMAL FIBERS DAN LEE, LEANNE LEER, SHARA PILCH, YU YASUFUKU Abstract. In this paper we construct a non-complete excellent local ring A such that the natural map Spec ba Spec A is bijective. 1. Introduction Although this paper focuses on a commutative algebra result, we shall begin by talking about algebraic geometry and its relationship with commutative algebra. An algebraic variety is a set of common zeroes of a polynomial with coefficients in some field k. Varieties are very important in algebraic geometry, and to study them we analyze the set of regular functions from the variety to k. This set turns out to be an affine ring, that is, a ring of the form k[x 1,..., x n ]/I where I is an ideal. Affine rings have very nice properties, and so a question naturally arises... which of these nice properties are the ones that make affine rings geometrically significant? Algebraists have tried to capture these nice properties by classifying nice rings through a definition. The first attempt at doing this was the definition of Noetherian. A Noetherian ring is a ring in which every ideal is finitely generated. But it turns out that this classification is much too weak and does not capture the properties that were hoped for. So a new definition was needed. In the 1950 s Grothendieck presented the definition of excellent, and this is the latest attempt at answering the above question. Received by the editors September 24, This research was supported by NSF Grant DMS and conducted as part of the Williams College math REU under the guidance of advisor S. Loepp. The authors would like to thank S. Loepp for many helpful conversations and suggestions, and for wonderful guidance and enthusiasm. 1

2 2 DAN LEE, LEANNE LEER, SHARA PILCH, YU YASUFUKU A formal definition of excellent, as well as many other technical definitions, is included in section 3 of this paper, but here we shall attempt to describe the idea behind excellence. Let (A, M) be a local ring. 1 By Cohen s Structure Theorem we know the structure of Â, the M-adic completion of A. In particular, we know that if Â contains a field k, then Â is of the form k [x 1,..., x n ]/I, which is quite geometric as it relates to affine rings. Furthermore, there is a nice relationship between A and Â, namely that any prime of A can be written as p A, for some prime ideal p in Â. This property is called faithful flatness, and it is saying that every prime ideal of A can, in some sense, be described by prime ideals of the completion. So the idea behind excellence is this since we know Â is geometric and that the prime ideals of A can be described by the primes of Â, we hope to carry the geometric properties of Â down to A by controlling which primes of Â map to which primes of A. Since the whole goal is to capture nice geometric properties of rings, to say that A is excellent is to say that it satisfies some nice conditions about which primes of Â map to which primes of A, thereby transferring the geometric properties of Â down to A. The definiton of excellent has proved to be successful in some ways. It ensures that reducedness and normality are preserved by the completion map, that is to say that if A is an excellent reduced (or normal) ring, then Â will be reduced (or normal). This is not always the case when A is not excellent. But excellent rings do seem to fall short of their purpose; they do not appear to capture all the properties of affine rings. Matsumura has shown that if R is an affine ring, then there exist infinitely many maximal elements in the generic formal fiber of A, that is, we can find a countably infinite list of prime ideals p 1, p 2,... of Â such that p i A = (0) for each i, and for any prime ideal q strictly containing any p i, q A (0) [5]. For excellent rings this is not necessarily the case. The following theorem, which was proved in [3] by Loepp, demonstrates how extremely different the situation may be for an excellent ring. 1 In this paper all rings are commutative with unity. When we write (R, M) is a quasi-local ring, we mean that R is a quasi-local ring with maximal ideal M.

3 EXCELLENT RINGS WITH SINGLETON FORMAL FIBERS 3 Theorem 1.1. Let (T, m) be a complete regular local ring of dimension at least two containing the rationals, and let T/m R. Let p m be a prime ideal of T. Then there exists an excellent regular local ring A with the following properties: Â = T. The generic formal fiber of A is local with p its maximal ideal. For all q Spec T, if q p, then (q A)T = q. The above A is very strange for two reasons. First, the generic formal fiber of A has exactly one maximal element, whereas there were infinitely many in the affine case. Second, by the third property of the theorem, there is a one-to-one correspondence between the primes of A and the primes of T not contained in the generic formal fiber of A. Although this property is nice in some sense, it is far from the behavior exhibited by affine rings. Such an odd ring hardly deserves to be called excellent, and yet A is an excellent ring. In this paper, we use the above theorem to help us construct an excellent regular local ring B such that there is a one-to-one correspondence between the primes of B and the primes of B while B B. Since B is excellent, there are strong conditions on the formal fibers of B, and yet all of the formal fibers turn out to be singleton sets. 2. Main Theorem Theorem 2.1. Let T be a complete regular local ring with maximal ideal m such that dim T 2, Q T, and T/m R. Suppose x T is a prime element. Then there exists an excellent regular local ring B such that B = T, the natural map Spec T Spec B is bijective, and x / B. Proof. Since T is a regular local ring, T is a UFD by (20.3) of [4]. Since dim T 2, m is a prime ideal generated by at least two elements, so by factoring the generators into prime elements, we see that there are at least two prime elements in T. Therefore let y x be a prime element. Using Theorem 1.1, we construct A so that its generic formal fiber is {(0), xt }.

4 4 DAN LEE, LEANNE LEER, SHARA PILCH, YU YASUFUKU We now define B = A[xy]m A[xy]. We will prove that this B satisfies the conclusion of the theorem. Clearly B is quasi-local. Moreover, by the Hilbert Basis Theorem, A[xy] is Noetherian, and since the localization of a Noetherian ring is Noetherian, it follows that B is Noetherian. Thus B is local. Obviously, A B, and since elements in A[xy] (m A[xy]) T m are all units in T, it follows that B T. By completeness of T, every Cauchy sequence in T converges in T, so in particular, every Cauchy sequence in B converges in T. Moreover, Â = T implies that every element of T can be written as the limit of a Cauchy sequence in A, and therefore also as the limit of a Cauchy sequence in B. Hence B = T. Also note that B is a regular local ring since T is a regular local ring (see (10.15)(iii) and (11.12)(ii) of [1]). Note that this implies that B is a UFD. Claim 2.1. x / B Proof. Assume x B. Then x = a0+a1xy+ +am(xy)m a 0 +a 1 xy+ +a n (xy)n, where the denominator is not in m. So x(a 0+a 1xy+ +a n(xy) n ) = a 0 +a 1 xy+ + a m (xy) m. So a 0 xt A = (0). Then since T is a domain, we can cancel x on both sides to conclude that a 0 +a 1xy + +a n(xy) n yt m, which is a contradiction. Since T is the completion of B, we know that the map Spec T Spec B is surjective by faithful flatness. We also want to show that it is injective. Claim 2.2. For all p Spec T such that p xt, we have (p B)T = p. Proof. By our construction of A and by Theorem 1.1, we know that (p A)T = p. So p = (p A)T (p B)T p. The only primes contained in xt are (0) and xt, so in order to get injectivity we need to check the following four cases: for all distinct p, q Spec T not contained in xt : (i) p B (0) B (ii) p B xt B (iii) xt B (0) B (iv) p B q B

5 EXCELLENT RINGS WITH SINGLETON FORMAL FIBERS 5 We know p A (0) by the construction of A, so (i) follows. For (ii), suppose p B = xt B. Then by Claim 2.2, p = (p B)T = (xt B)T xt. This is a contradiction, so we have (ii). Clearly xy is nonzero and xy xt B, thus we get (iii). Case (iv) follows directly from Claim 2.2. Therefore Spec T Spec B is a bijection. We also want B to be excellent. Because T is an integral domain and contains Q, it suffices to show that all of its formal fiber rings are regular rings (see excellent in section 3). In fact, we will show that in this case each formal fiber ring is a field. This will complete the proof of the theorem. Fix a prime ideal P of B. Let k(p ) = B P /P B P be the residue field of B P. We need to show that the formal fiber ring at P, T B k(p ), is a field. As noted on page 56 of [2], T B k(p ) = S 1 T/ ( (P T )(S 1 T ) ), where S = B P and the bar denotes saturation (see section 3 for the definition of saturation). Moreover, the prime ideals of this formal fiber ring correspond to the prime ideals of T which contract down to P, so by the (1-1) correspondence proved above, this ring has a unique prime ideal. Thus it suffices to show that for each P Spec B, (P T )(S 1 T ) is a prime ideal of S 1 T. This would show that S 1 T/ ( (P T )(S 1 T ) ) is an integral domain, and therefore the unique prime ideal must be the zero ideal, proving that the formal fiber ring at P is a field. Now we divide into cases depending on p, where p is the unique prime ideal of T such that p B = P. (a) Suppose p = xt. P = xt B is a nonzero prime ideal as it contains xy. Since the completion map is flat, the Going Down Theorem holds (see exercise 5.11 in [1]). This implies that xt B has height at most 1, since xt has height 1. Because xt B is nonzero, it follows that xt B is a height 1 prime, and since B is a UFD, it follows that xt B = bb for some prime element b B. We know that b = xt for some t T and we also know that xy = bb for some b B, since xy xt B = bb. Then we have xy = bb = xtb, so y = tb since T is an integral domain. Further, since y is a prime element in T, it follows that either t or b must be a unit in T. We claim that t can

6 6 DAN LEE, LEANNE LEER, SHARA PILCH, YU YASUFUKU never be a unit. Assume on the contrary that t is a unit. Then xt = b B = A[xy]m A[xy], so we can write xt = a 0 + a 1 xy + + a m (xy) m a 0 + a 1 xy + + a n(xy) n, where the denominator is not in m. Clearing the denominator, we get xt(a 0 + a 1xy + + a n(xy) n ) = a 0 + a 1 xy + + a m (xy) m. Thus, a 0 xt A = (0), so a 0 = 0. Now, observe that the RHS is divisible by y, y is a prime element in T, and y - xt. So a 0+a 1xy+ +a n(xy) n yt m. But this is a contradiction since a 0 +a 1xy + +a n(xy) n was assumed not to be in m. So we have proved that t cannot be a unit. Thus b must be a unit. Now, P T = (xt B)T = bt = xy(b ) 1 T = xyt. Note that yt xt. So by the construction of A, it follows that yt A (0). So let 0 yt A. If yt were in P, then yt P T A xt A = (0), yielding a contradiction. So yt B P, and thus by definition of saturation, y S. Thus, in S 1 T, y is a unit, so (P T )(S 1 T ) = (xyt )(S 1 T ) = (xt )(S 1 T ). Since xt is a prime ideal of T, this is a prime ideal of S 1 T if we can show that xt S =. But this is clear, since if xu S, then xut B P for some t T, so xut xt B = P, giving a contradiction. Thus, we have shown that (P T )(S 1 T ) is a prime ideal, so we are done with this case. (b) Suppose p = (0). Since p = (0), P = (0), and so P T = (0). So (P T )(S 1 T ) = (0) and is therefore prime, since S 1 T is an integral domain. (c) Suppose p xt. Recall that P = p B. Then P T = (p B)T = p by Claim 2.2. Therefore P T is prime in T. Thus, to show that (P T )(S 1 T ) is prime, we only need to show that P T S =. Assume t P T S. Then since t S, tt B P for some t T, which implies tt P T B = P. This is a contradiction. Therefore (P T )(S 1 T ) is prime. This concludes the proof of Theorem 2.1.

7 EXCELLENT RINGS WITH SINGLETON FORMAL FIBERS 7 3. Definitions In this section we define some necessary terms. explanation. ideal. See [7], [1], or [4] for more Spec R: In a ring R, Spec R denotes the set of all prime ideals in R. Quasi-local: A ring R is called quasi-local when it has exactly one maximal Local: A ring R is called local when it is quasi-local and also Noetherian. Localization: Let S be a multiplicatively closed subset of a commutative ring R. Then the ring of fractions S 1 R is the ring we obtain by inverting all elements of S. When S = R P for some P Spec R, we write R P for S 1 R. In this case, R P is a quasi-local ring, called the localization of R at P, with maximal ideal P R P. Saturation: Let S be a multiplicatively closed subset of R. Define the saturation of S to be S = {r R rr S for some r R}. Note that S 1 R = (S) 1 R. Regular Local Ring: Let (R, M) be a local ring. Then (R, M) is called a regular local ring if M can be generated by dim R elements. Regular Ring: A ring R is called a regular ring when the localization at every prime ideal is a regular local ring. Complete: We can define a metric on a local ring (R, M) as follows. For all x, y R, let n be the largest integer such that x y M n, where M 0 = R. Then we define the metric d(x, y) = 1 2 n when n exists and 0 otherwise. A local ring R is called complete when it is complete with respect to the above metric, that is, when all its Cauchy sequences converge. Completion: The completion of a local ring A is the ring of all Cauchy sequences modded out by the following equivalence relation: two Cauchy sequences are equivalent if their difference converges to zero. The completion of A is denoted Â; this is always complete. Formal Fiber: Let (A, m) be a local ring, Â its completion, and P a prime ideal in A. We define the formal fiber of A at P to be the inverse image of P under the map Spec Â Spec A. That is, prime ideals in the formal fiber at a prime ideal P are the prime ideals of Â that lie over P.

8 8 DAN LEE, LEANNE LEER, SHARA PILCH, YU YASUFUKU Generic Formal Fiber: The generic formal fiber of a local integral domain is the formal fiber of (0). Formal Fiber Ring: We call the ring Â A (A P /P A P ) the formal fiber ring of A at P. The prime spectrum of the formal fiber ring of A at P naturally corresponds to the formal fiber of A at P. Flat: Let A be a ring and let M, N, and N be A-modules. We say that M is flat over A if for all injections f : N N, f 1 : N A M N A M is also injective. Faithfully Flat: A ring B is said to be faithfully flat over A if B is flat over A and Spec B Spec A is surjective. For a local ring A, Â is faithfully flat over A. Excellent: Let (A, M) be a local ring. For each P Spec A, let k(p ) denote the field A P /P A P. Then A is said to be excellent if it satisfies the following two conditions: (a) For each P Spec A, the formal fiber ring Â Ak(P ) is geometrically regular over k(p ), that is, (Â A k(p )) k(p ) L = Â A L is regular for every finite field extension L over k(p ), and (b) A is universally catenary. In this paper, it is easier to check excellence because of additional conditions. Specifically, assume that (T, m) is a complete local domain containing Q and let A be a local ring such that T = Â. Then by Theorem 31.6 in [4], condition (b) is automatically satisfied for A. Moreover, since every integer in T is invertible, no integer belongs to m. For P Spec A, P m A m, so it follows that k(p ) = A P /P A P must be a field of characteristic zero. So the only purely inseparable extension of this field is itself. Thus, by Remark 1.3 in [6], for (a), we only need to check that each formal fiber ring Â A (A P /P A P ) is a regular ring.

9 EXCELLENT RINGS WITH SINGLETON FORMAL FIBERS 9 References [1] M. F. Atiyah and I. G. Macdonald, Introduction to Commutative Algebra, Perseus Books, [2] S. Greco and P. Salmon, Topics in m-adic Topologies, Springer-Verlag, [3] S. Loepp, Excellent Rings with Local Generic Formal Fibers, J. Algebra 201 (1998), [4] H. Matsumura, Commutative Ring Theory, Cambridge University Press, [5] H. Matsumura, On the Dimension of Formal Fibres of a Local Ring, Algebraic Geometry and Commutative Algebra in Honor of Masayoshi Nagata, Kinokuniya, 1987, [6] C. Rotthaus, Excellent Rings, Henselian Rings, and the Approximation Property, Rocky Mountain J. Math 27 (1997), [7] R. Y. Sharp, Steps in Commutative Algebra, Cambridge University Press, Dan Lee: Harvard University address: Leanne Leer: Bucknell University address: Shara A. Pilch: Williams College address: Yu Yasufuku: Harvard University address: Sponsored by S. Loepp of Williams College address:

### Local Generic Formal Fibers of Excellent Rings

Local Generic Formal Fibers of Excellent Rings Williams College SMALL REU 2013 Commutative Algebra Group Peihong Jiang, University of Rochester Anna Kirkpatrick, University of South Carolina Sander Mack-Crane,

### ABSTRACT NONSINGULAR CURVES

ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a

### Math 210B. Artin Rees and completions

Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show

### Smooth morphisms. Peter Bruin 21 February 2007

Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,

### 15 Lecture 15: Points and lft maps

15 Lecture 15: Points and lft maps 15.1 A noetherian property Let A be an affinoid algebraic over a non-archimedean field k and X = Spa(A, A 0 ). For any x X, the stalk O X,x is the limit of the directed

### Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module

Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f - listings ending in f give the page where the term is defined commutative

### arxiv: v2 [math.ac] 7 May 2018

INFINITE DIMENSIONAL EXCELLENT RINGS arxiv:1706.02491v2 [math.ac] 7 May 2018 HIROMU TANAKA Abstract. In this note, we prove that there exist infinite dimensional excellent rings. Contents 1. Introduction

### Formal power series rings, inverse limits, and I-adic completions of rings

Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

### Maximal Chains of Prime Ideals of Different Lengths in Unique Factorization Domains

arxiv:1901.02790v1 [math.ac] 9 Jan 2019 Maximal Chains of Prime Ideals of Different Lengths in Unique Factorization Domains S. Loepp and Alex Semendinger January 10, 2019 Abstract We show that, given integers

### 1 Absolute values and discrete valuations

18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions

### On the vanishing of Tor of the absolute integral closure

On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent

### MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can

### Notes on p-divisible Groups

Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete

### MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

### COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski

### NOTES ON DIOPHANTINE APPROXIMATION

NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics

### Math 145. Codimension

Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in

### AN INTRODUCTION TO AFFINE SCHEMES

AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,

### NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

### Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013

18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local

### Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y

### NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY

NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc

### Algebraic Number Theory

TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for

### REGULAR CLOSURE MOIRA A. MCDERMOTT. (Communicated by Wolmer V. Vasconcelos)

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 127, Number 7, Pages 1975 1979 S 0002-9939(99)04756-5 Article electronically published on March 17, 1999 REGULAR CLOSURE MOIRA A. MCDERMOTT (Communicated

### TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH

TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH 1. Introduction Throughout our discussion, all rings are commutative, Noetherian and have an identity element. The notion of the tight closure

### Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

### (dim Z j dim Z j 1 ) 1 j i

Math 210B. Codimension 1. Main result and some interesting examples Let k be a field, and A a domain finitely generated k-algebra. In class we have seen that the dimension theory of A is linked to the

### Ring Theory Problems. A σ

Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional

### Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

### 9. Integral Ring Extensions

80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications

### THE ASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES OVER RINGS OF SMALL DIMENSION. Thomas Marley

THE ASSOCATED PRMES OF LOCAL COHOMOLOGY MODULES OVER RNGS OF SMALL DMENSON Thomas Marley Abstract. Let R be a commutative Noetherian local ring of dimension d, an ideal of R, and M a finitely generated

### MA 252 notes: Commutative algebra

MA 252 notes: Commutative algebra (Distilled from [Atiyah-MacDonald]) Dan Abramovich Brown University February 4, 2017 Abramovich MA 252 notes: Commutative algebra 1 / 13 Rings of fractions Fractions Theorem

### CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic

### HARTSHORNE EXERCISES

HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

### CRing Project, Chapter 7

Contents 7 Integrality and valuation rings 3 1 Integrality......................................... 3 1.1 Fundamentals................................... 3 1.2 Le sorite for integral extensions.........................

### Algebraic Varieties. Chapter Algebraic Varieties

Chapter 12 Algebraic Varieties 12.1 Algebraic Varieties Let K be a field, n 1 a natural number, and let f 1,..., f m K[X 1,..., X n ] be polynomials with coefficients in K. Then V = {(a 1,..., a n ) :

### APPLICATIONS OF LOCAL COHOMOLOGY

APPLICATIONS OF LOCAL COHOMOLOGY TAKUMI MURAYAMA Abstract. Local cohomology was discovered in the 960s as a tool to study sheaves and their cohomology in algebraic geometry, but have since seen wide use

### OPENNESS OF FID-LOCI

OPENNESS OF FID-LOCI YO TAKAHASHI Abstract. Let be a commutative Noetherian ring and M a finite -module. In this paper, we consider Zariski-openness of the FID-locus of M, namely, the subset of Spec consisting

### INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to

### Dedekind Domains. Mathematics 601

Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K/F is a finite

### Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 1. Let R 0 be a commutative ring with 1 and let S R be the subset of nonzero elements which are not zero divisors. (a)

### NOTES ON DIMENSION THEORY OF SCHEMES

NOTES ON DIMENSION THEORY OF SCHEMES BRIAN OSSERMAN In this expository note, we discuss various aspects of the theory of dimension of schemes, in particular focusing on which hypotheses are necessary in

### Quasi-primary submodules satisfying the primeful property II

Hacettepe Journal of Mathematics and Statistics Volume 44 (4) (2015), 801 811 Quasi-primary submodules satisfying the primeful property II Hosein Fazaeli Moghimi and Mahdi Samiei Abstract In this paper

### FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

### 1 Flat, Smooth, Unramified, and Étale Morphisms

1 Flat, Smooth, Unramified, and Étale Morphisms 1.1 Flat morphisms Definition 1.1. An A-module M is flat if the (right-exact) functor A M is exact. It is faithfully flat if a complex of A-modules P N Q

### ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are.

ALGEBRA HW 4 CLAY SHONKWILER (a): Show that if 0 M f M g M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. Proof. ( ) Suppose M is Noetherian. Then M injects into

### ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF

ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF MATTHEW H. BAKER AND JÁNOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing sheaf and the canonical

### Azumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras

Azumaya Algebras Dennis Presotto November 4, 2015 1 Introduction: Central Simple Algebras Azumaya algebras are introduced as generalized or global versions of central simple algebras. So the first part

### 5 Dedekind extensions

18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also

### Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients

### Splitting sets and weakly Matlis domains

Commutative Algebra and Applications, 1 8 de Gruyter 2009 Splitting sets and weakly Matlis domains D. D. Anderson and Muhammad Zafrullah Abstract. An integral domain D is weakly Matlis if the intersection

### Lecture 3: Flat Morphisms

Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a

### ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

### This is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:

Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties

### Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0

1. Show that if B, C are flat and Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 is exact, then A is flat as well. Show that the same holds for projectivity, but not for injectivity.

### Integral Closures of Ideals in Completions of Regular Local Domains

Integral Closures of Ideals in Completions of Regular Local Domains WILLIAM HEINZER, Department of Mathematics, Purdue University, West Lafayette, IN 47907-1395 USA E-mail: heinzer@math.purdue.edu CHRISTEL

### DESCENT OF THE CANONICAL MODULE IN RINGS WITH THE APPROXIMATION PROPERTY

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 6, June 1996 DESCENT OF THE CANONICAL MODULE IN RINGS WITH THE APPROXIMATION PROPERTY CHRISTEL ROTTHAUS (Communicated by Wolmer V. Vasconcelos)

### Exploring the Exotic Setting for Algebraic Geometry

Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 6-10, 2010 1 Introduction In this project, we will describe the basic topology

### Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

### ON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes

ON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes Abstract. Let k[x] (x) be the polynomial ring k[x] localized in the maximal ideal (x) k[x]. We study the Hilbert functor parameterizing ideals

### Math 711: Lecture of September 7, Symbolic powers

Math 711: Lecture of September 7, 2007 Symbolic powers We want to make a number of comments about the behavior of symbolic powers of prime ideals in Noetherian rings, and to give at least one example of

### Homework 4 Solutions

Homework 4 Solutions November 11, 2016 You were asked to do problems 3,4,7,9,10 in Chapter 7 of Lang. Problem 3. Let A be an integral domain, integrally closed in its field of fractions K. Let L be a finite

### DOUGLAS J. DAILEY AND THOMAS MARLEY

A CHANGE OF RINGS RESULT FOR MATLIS REFLEXIVITY DOUGLAS J. DAILEY AND THOMAS MARLEY Abstract. Let R be a commutative Noetherian ring and E the minimal injective cogenerator of the category of R-modules.

### ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)

### RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.

RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis

### 1 Notations and Statement of the Main Results

An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main

### arxiv: v8 [math.ra] 13 Apr 2015

SPECIAL CASES OF THE JACOBIAN CONJECTURE VERED MOSKOWICZ arxiv:1501.06905v8 [math.ra] 13 Apr 2015 Abstract. The famous Jacobian conjecture asks if a morphism f : K[x,y] K[x,y] that satisfies Jac(f(x),f(y))

### 2. Intersection Multiplicities

2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.

### MATRIX LIE GROUPS AND LIE GROUPS

MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either

### CHEVALLEY S THEOREM AND COMPLETE VARIETIES

CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized

### x = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.

ALGEBRAIC NUMBER THEORY LECTURE 7 NOTES Material covered: Local fields, Hensel s lemma. Remark. The non-archimedean topology: Recall that if K is a field with a valuation, then it also is a metric space

### Introduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013

18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and

### Raynaud on F -vector schemes and prolongation

Raynaud on F -vector schemes and prolongation Melanie Matchett Wood November 7, 2010 1 Introduction and Motivation Given a finite, flat commutative group scheme G killed by p over R of mixed characteristic

### MATH 221 NOTES BRENT HO. Date: January 3, 2009.

MATH 22 NOTES BRENT HO Date: January 3, 2009. 0 Table of Contents. Localizations......................................................................... 2 2. Zariski Topology......................................................................

### Preliminary Exam Topics Sarah Mayes

Preliminary Exam Topics Sarah Mayes 1. Sheaves Definition of a sheaf Definition of stalks of a sheaf Definition and universal property of sheaf associated to a presheaf [Hartshorne, II.1.2] Definition

### CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES

CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES BRIAN OSSERMAN The purpose of this cheat sheet is to provide an easy reference for definitions of various properties of morphisms of schemes, and basic results

### MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1

MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 CİHAN BAHRAN I discussed several of the problems here with Cheuk Yu Mak and Chen Wan. 4.1.12. Let X be a normal and proper algebraic variety over a field k. Show

### THE FROBENIUS FUNCTOR AND INJECTIVE MODULES

THE FOBENIUS FUNCTO AND INJECTIVE MODULES THOMAS MALEY Abstract. We investigate commutative Noetherian rings of prime characteristic such that the Frobenius functor applied to any injective module is again

### The most important result in this section is undoubtedly the following theorem.

28 COMMUTATIVE ALGEBRA 6.4. Examples of Noetherian rings. So far the only rings we can easily prove are Noetherian are principal ideal domains, like Z and k[x], or finite. Our goal now is to develop theorems

### 5 Dedekind extensions

18.785 Number theory I Fall 2017 Lecture #5 09/20/2017 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also

### ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.

### On log flat descent. Luc Illusie, Chikara Nakayama, and Takeshi Tsuji

On log flat descent Luc Illusie, Chikara Nakayama, and Takeshi Tsuji Abstract We prove the log flat descent of log étaleness, log smoothness, and log flatness for log schemes. Contents 1. Review of log

### Homework 2 - Math 603 Fall 05 Solutions

Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether

### Rings, Integral Domains, and Fields

Rings, Integral Domains, and Fields S. F. Ellermeyer September 26, 2006 Suppose that A is a set of objects endowed with two binary operations called addition (and denoted by + ) and multiplication (denoted

### Math 248B. Applications of base change for coherent cohomology

Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).

### The primitive root theorem

The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under

### Integral Domains Inside Noetherian Power Series Rings: Constructions and Examples July William Heinzer Christel Rotthaus Sylvia Wiegand

Integral Domains Inside Noetherian Power Series Rings: Constructions and Examples July 2015 William Heinzer Christel Rotthaus Sylvia Wiegand Department of Mathematics, Purdue University, West Lafayette,

### DIVISORS ON NONSINGULAR CURVES

DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce

### 2. Prime and Maximal Ideals

18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let

### Math 210B: Algebra, Homework 1

Math 210B: Algebra, Homework 1 Ian Coley January 15, 201 Problem 1. Show that over any field there exist infinitely many non-associate irreducible polynomials. Recall that by Homework 9, Exercise 8 of

### arxiv:math/ v1 [math.ac] 19 Sep 2002 Ian M. Aberbach

EXTENSION OF WEAKLY AND STRONGLY F-REGULAR RINGS BY FLAT MAPS arxiv:math/0209251v1 [math.ac] 19 Sep 2002 Ian M. Aberbach 1. Introduction Throughout this paper all rings will be Noetherian of positive characteristic

### LOCAL COHOMOLOGY MODULES WITH INFINITE DIMENSIONAL SOCLES

LOCAL COHOMOLOGY MODULES WITH INFINITE DIMENSIONAL SOCLES THOMAS MARLEY AND JANET C. VASSILEV Abstract. In this paper we prove the following generalization of a result of Hartshorne: Let T be a commutative

### SUMS OF VALUES OF A RATIONAL FUNCTION. x k i

SUMS OF VALUES OF A RATIONAL FUNCTION BJORN POONEN Abstract. Let K be a number field, and let f K(x) be a nonconstant rational function. We study the sets { n } f(x i ) : x i K {poles of f} and { n f(x

### Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

### MATH 233B, FLATNESS AND SMOOTHNESS.

MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)

### 7 Orders in Dedekind domains, primes in Galois extensions

18.785 Number theory I Lecture #7 Fall 2015 10/01/2015 7 Orders in Dedekind domains, primes in Galois extensions 7.1 Orders in Dedekind domains Let S/R be an extension of rings. The conductor c of R (in

### Math 120 HW 9 Solutions

Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

### 6 Lecture 6: More constructions with Huber rings

6 Lecture 6: More constructions with Huber rings 6.1 Introduction Recall from Definition 5.2.4 that a Huber ring is a commutative topological ring A equipped with an open subring A 0, such that the subspace