DOCSLIB.ORG

Algebraic Geometry Lecture Notes 14 February 2005 Noetherian

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Algebraic Geometry Lecture Notes 14 February 2005 Noetherian Algebraic Geometry Lecture notes 14 February 2005 Noetherian topological spaces (end of §1) In these notes, k is an algebraically closed field, and for n ≥ 0 we let An = An(k) be kn with the Zariski topology. Definition. A topological space X is called Noetherian if for every descending chain Y1 ⊃ Y2 ⊃ · · · of closed subsets of X there exists n > 0 such that Yn = Yn+1 = ···. Equivalently, X is Noetherian iff every non-empty collection S of closed subsets of X contains a minimal element Y with respect to inclusion, i.e. ∀ Z ∈ S: Z ⊂ Y ⇒ Z = Y . Example. An is Noetherian because of the bijection n {closed subsets of A } ↔ {radical ideals of k[x1, . , xn]}. Furthermore, all (quasi-)affine algebraic varieties are Noetherian. Proposition 1.5. Let X be a Noetherian topological space, and let Y ⊂ X be a closed subset. Then there exist r ≥ 0 and closed subsets Y1,...,Yr of Y such that Y = Y1 ∪ · · · ∪ Yr. Moreover, if we demand Yi 6⊂ Yj for i 6= j, then the Yi are unique (up to permutation). Proof . Hartshorne, Prop. 1.5. §2. Projective varieties For n ≥ 0, we define projective n-space over k to be Pn = Pn(k) := (kn+1 − {0})/ ∼, where the equivalence relation ∼ is defined by x ∼ y ⇐⇒ ∃λ ∈ k×: y = λx (equivalently, x ∼ y ⇐⇒ kx = ky). More generally, if V is a k-vector space, then k× acts on V − {0} by scalar multiplication, and we can define P(V ) := (V − {0})/k×. This means that our definition of Pn n n+1 n+1 n amounts to P = P(A ). The equivalence class of a point (x0, . , xn) ∈ A − {0} in P is denoted by (x0 : x1 : ··· : xn). The projective spaces can be described as follows in terms of their set structure (` means disjoint union): P0 = {(1)} (a single point) 1 P = {(x0 : x1) | (x0, x1) 6= (0, 0)} ` = {(x0 : 1) | x0 ∈ k} {(1 : 0)} = A1 ` {∞} ··· n P = {(x0 : ··· : xn−1 : 1) | x0, . , xn−1 ∈ k} ` {(x0 : ··· : xn−1 : 0) | (x0, . , xn−1) 6= 0} = An ` Pn−1, so that Pn = An ` An−1 ` ··· ` A0. 1 This set-theoretic description of Pn has no topological meaning. A better way to do geometry is to use charts. For 0 ≤ i ≤ n, we define Ui := {(x0 : ··· : xn) | xi 6= 0} = {(x0 : ··· : xi−1 : 1 : xi+1 : ··· : xn) | x0, . , xi−1, xi+1, . , xn ∈ k} and map it bijectively to An: n φi: Ui −→ A x0 xi−1 xi+1 xn (x0 : ··· : xn) 7−→ ,..., , ,..., . xi xi xi xi n n Note that P = ∪i=0Ui. The Zariski topology of Pn n n+1 In this section we view P in relation to A , and we take A = k[x0, . , xn]. The Zariski topology on Pn is defined as the quotient topology on (An+1 − {0})/k×. Here An+1 − {0} has the induced topology from An+1 with its Zariski topology. Let q: An+1 − {0} −→ Pn be the quotient map. Then Y ⊂ Pn is closed if and only if q−1Y is closed in An+1 − {0}, i.e. if there exists an ideal a ⊂ A such that Z(a) ∩ (An+1 − {0}) = q−1Y. In order to make a similar connection between closed subsets of Pn and ideals of A as we did for affine space, we note that we have the following bijections, sending Y ⊂ Pn to q−1Y ⊂ An+1 − {0}, and to (q−1Y ∪ {0}) ⊂ An+1: {closed subsets of Pn} ↔ {closed k×-invariant subsets of An+1 − {0}} ↔ {closed k×-invariant subsets of An+1 containing 0} × ↔ {k -invariant radical ideals of A contained in (x0, . , xn)}. × × To clarify what a k -invariant ideal is, we let k act on A by (λ, f(x0, . , xn)) 7→ f(λx0, . , λxn). An ideal a ⊂ A is k×-invariant iff × f(λx0, . , λxn) ∈ a for all f ∈ A, λ ∈ k . We will see that these ideals are precisely the homogeneous ideals of A, which shall be defined below. Corollary. Pn is a Noetherian topological space. Proof . This follows directly from the fact that A is a Noetherian ring. Definition. A projective algebraic variety is an irreducible closed subset of Pn with the induced topology. A quasi-projective algebraic variety is a non-empty open subset of a projective algebraic variety. Proposition. The quotient map q: An+1 − {0} −→ Pn is open. (It is not closed unless n = 0.) Proof . This is a general fact about continuous group actions. Let U ⊂ An+1 − {0} be open. Then [ q−1qU = λU λ∈k× is open, hence qU is open. Proposition. Let Y ⊂ Pn be closed. Then Y is irreducible if and only if q−1Y is irreducible. Proof . ⇐: Since q is surjective, we have qq−1Y = Y , and the image of an irreducible space is irreducible (exercise). 2 ⇒: Let Y ⊂ Pn be closed and irreducible, so q−1Y 6= ∅. Let U, V ⊂ q−1Y be non-empty open subsets of q−1Y . Then qU, qV ⊂ Y are also non-empty and open, hence qU ∩ qV 6= ∅. This means that we can choose a ∈ An+1 − {0} such that q(a) ∈ qU ∩ qV . Then k×a = q−1{q(a)} intersects both U and V . Consider the map φ: k× ,→ An+1 λ 7→ λa, where k× has the induced topology from A1. This map is continuous, because every closed set of An+1 is an intersection of sets of the form Z(f) with f ∈ k[x0, x1, . , xn] and the inverse image of such a set under φ is −1 × φ Z(f(x0, x1, . , xn)) = Z(f(λx0, . , λxn) ∈ k[λ]) ∩ k , which is closed. Hence φ−1U and φ−1V are non-empty open subsets of k×, and from the irreducibility of k× it follows that U ∩ V 6= ∅. n Proposition. The map φi: Ui → A is a homeomorphism. Proof . Hartshorne, Prop. 2.2. Let Y ⊂ Pn be a closed subset. Then we write S(Y ) = A/I(q−1Y ∪ {0}) for the homogeneous coordinate ring of Y . The elements of S(Y ) are not functions on Y , as in the affine case, but they are functions on the cone of Y : q−1Y ∪ {0}. Graded rings and homogeneous ideals The ring A = k[x0, . , xn] is a graded ring: it can be written as a direct sum ∼ M A = Ad d≥0 of k-vector spaces, where Ad := {f ∈ A | f is homogeneous of degree d}. P This means that for any f ∈ A, there is a unique way to write f = d≥0 fd with fd ∈ Ad for all d (note that fd = 0 for almost all d). We write prd for the canonical projection A → Ad which maps f to fd. For × n+1 d all f ∈ Ad, λ ∈ k and a ∈ A , we have f(λa) = λ f(a). Proposition. Let a ⊂ A be an ideal. Then the following are equivalent: 1. a is k×-invariant. 2. ∀ f ∈ a ∀ d ≥ 0: fd ∈ a. L 3. a = prd a. Ld≥0 4. a = a ∩ Ad. d≥0 S 5. a is generated by homogeneous elements, i.e. by a subset of d≥0 Ad. An ideal satisfying these equivalent conditions is called a homogeneous ideal. P × Proof . 1 ⇒ 2: Let f ∈ a. Take N > 0 sufficiently large such that f = 0≤d<N fd. Then for all λ ∈ k , we P d × have 0≤d<N λ fd ∈ a. Now take λ1, λ2, . , λN ∈ k distinct (this is possible because k is algebraically P d closed, hence infinite), and set gi := 0≤d<N λi fd for 1 ≤ i ≤ N. Then N−1 g1 1 λ1 ··· λ1 f0 . . .. . . = . . N−1 gN 1 λN ··· λN fN−1 and because the gi are in a and the (Vandermonde) matrix formed by the powers of the λi is invertible, the fd are also in a. 3 L L 2 ⇒ 3 and 2 ⇒ 4: The inclusions d≥0(a ∩ Ad) ⊂ a ⊂ d≥0 prd a are automatic, and the reverse inclusions follow directly from 2. 3 ⇒ 5 and 4 ⇒ 5: Both implications are trivially verified. P 5 ⇒ 1: Suppose T is a set of homogeneous generators for a, i.e. a = t∈T A · t with t ∈ Adt . Then for all × P dt λ ∈ k we have λ · a = t∈T A · λ t = a. Definition. For a homogeneous element f ∈ A we define n Zproj(f) := {(a0 : ··· : an) ∈ P | f(a0, . , an) = 0}. S For T ⊂ d≥0 Ad a subset of A consisting of homogeneous elements, we set \ Zproj(T ) := Z(f). f∈T Corollary. The closed subsets of Pn are the sets of the form n+1 Zproj(a) = q Z(a) ∩ (A − {0}) = {(a0 : ··· : an) | f(a0, . , an) = 0 for all homogeneous f ∈ a}, where a is a homogeneous ideal of A. 4.
Load more

Recommended publications
  • Arxiv:1810.04493V2 [Math.AG]
    MACAULAYFICATION OF NOETHERIAN SCHEMES KĘSTUTIS ČESNAVIČIUS Abstract. To reduce to resolving Cohen–Macaulay singularities, Faltings initiated the program of “Macaulayfying” a given Noetherian scheme X. For a wide class of X, Kawasaki built the sought Cohen–Macaulay modifications, with a crucial drawback that his blowing ups did not preserve the locus CMpXq Ă X where X is already Cohen–Macaulay. We extend Kawasaki’s methods to show that every quasi-excellent, Noetherian scheme X has a Cohen–Macaulay X with a proper map X Ñ X that is an isomorphism over CMpXq. This completes Faltings’ program, reduces the conjectural resolution of singularities to the Cohen–Macaulay case, and implies thatr every proper, smoothr scheme over a number field has a proper, flat, Cohen–Macaulay model over the ring of integers. 1. Macaulayfication as a weak form of resolution of singularities .................. 1 Acknowledgements ................................... ................................ 5 2. (S2)-ification of coherent modules ................................................. 5 3. Ubiquity of Cohen–Macaulay blowing ups ........................................ 9 4. Macaulayfication in the local case ................................................. 18 5. Macaulayfication in the global case ................................................ 20 References ................................................... ........................... 22 1. Macaulayfication as a weak form of resolution of singularities The resolution of singularities, in Grothendieck’s formulation, predicts the following. Conjecture 1.1. For a quasi-excellent,1 reduced, Noetherian scheme X, there are a regular scheme X and a proper morphism π : X Ñ X that is an isomorphism over the regular locus RegpXq of X. arXiv:1810.04493v2 [math.AG] 3 Sep 2020 r CNRS, UMR 8628, Laboratoirer de Mathématiques d’Orsay, Université Paris-Saclay, 91405 Orsay, France E-mail address: [email protected].
    [Show full text]
  • INTRODUCTION to ALGEBRAIC GEOMETRY, CLASS 3 Contents 1
    INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 3 RAVI VAKIL Contents 1. Where we are 1 2. Noetherian rings and the Hilbert basis theorem 2 3. Fundamental definitions: Zariski topology, irreducible, affine variety, dimension, component, etc. 4 (Before class started, I showed that (finite) Chomp is a first-player win, without showing what the winning strategy is.) If you’ve seen a lot of this before, try to solve: “Fun problem” 2. Suppose f1(x1,...,xn)=0,... , fr(x1,...,xn)=0isa system of r polynomial equations in n unknowns, with integral coefficients, and suppose this system has a finite number of complex solutions. Show that each solution is algebraic, i.e. if (x1,...,xn) is a solution, then xi ∈ Q for all i. 1. Where we are We now have seen, in gory detail, the correspondence between radical ideals in n k[x1,...,xn], and algebraic subsets of A (k). Inclusions are reversed; in particular, maximal proper ideals correspond to minimal non-empty subsets, i.e. points. A key part of this correspondence involves the Nullstellensatz. Explicitly, if X and Y are two algebraic sets corresponding to ideals IX and IY (so IX = I(X)andIY =I(Y),p and V (IX )=X,andV(IY)=Y), then I(X ∪ Y )=IX ∩IY,andI(X∩Y)= (IX,IY ). That “root” is necessary. Some of these links required the following theorem, which I promised you I would prove later: Theorem. Each algebraic set in An(k) is cut out by a finite number of equations. This leads us to our next topic: Date: September 16, 1999.
    [Show full text]
  • Emmy Noether, Greatest Woman Mathematician Clark Kimberling
    Emmy Noether, Greatest Woman Mathematician Clark Kimberling Mathematics Teacher, March 1982, Volume 84, Number 3, pp. 246–249. Mathematics Teacher is a publication of the National Council of Teachers of Mathematics (NCTM). With more than 100,000 members, NCTM is the largest organization dedicated to the improvement of mathematics education and to the needs of teachers of mathematics. Founded in 1920 as a not-for-profit professional and educational association, NCTM has opened doors to vast sources of publications, products, and services to help teachers do a better job in the classroom. For more information on membership in the NCTM, call or write: NCTM Headquarters Office 1906 Association Drive Reston, Virginia 20191-9988 Phone: (703) 620-9840 Fax: (703) 476-2970 Internet: http://www.nctm.org E-mail: [email protected] Article reprinted with permission from Mathematics Teacher, copyright March 1982 by the National Council of Teachers of Mathematics. All rights reserved. mmy Noether was born over one hundred years ago in the German university town of Erlangen, where her father, Max Noether, was a professor of Emathematics. At that time it was very unusual for a woman to seek a university education. In fact, a leading historian of the day wrote that talk of “surrendering our universities to the invasion of women . is a shameful display of moral weakness.”1 At the University of Erlangen, the Academic Senate in 1898 declared that the admission of women students would “overthrow all academic order.”2 In spite of all this, Emmy Noether was able to attend lectures at Erlangen in 1900 and to matriculate there officially in 1904.
    [Show full text]
  • NOETHERIAN RINGS and Their Applications =11 MATHEMATICAL SURVEYS It ,11 and MONOGRAPHS
    http://dx.doi.org/10.1090/surv/024 NOETHERIAN RINGS and their applications =11 MATHEMATICAL SURVEYS It ,11 AND MONOGRAPHS fr==iJll NUMBER 24 NOETHERIAN RINGS and their applications LANCE W. SMALL, EDITOR American Mathematical Society Providence, Rhode Island 1980 Mathematics Subject Classification (1985 Revision). Primary 16A33; Secondary 17B35, 16A27. Library of Congress Cataloging-in-Publication Data Noetherian rings and their applications. (Mathematical surveys and monographs, 0076-5376; no. 24) Largely lectures presented during a conference held at the Mathematisches Forschungsinstitut Oberwolfach, Jan. 23-29, 1983. Includes bibliographies. 1. Noetherian rings—Congresses. 2. Universal enveloping algebras- Congresses. 3. Lie algebras-Congresses. I. Small, Lance W., 1941 — II. Mathematisches Forschungsinstitut Oberwolfach. III. Series. QA251.4.N64 1987 512'.55 87-14997 ISBN 0-8218-1525-3 (alk. paper) Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this pub­ lication (including abstracts) is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Executive Director, American Mathematical Society, P.O. Box 6248, Providence, Rhode Island 02940. The owner consents to copying beyond that permitted by Sections 107 or 108 of the U.S. Copyright Law, provided that a fee of $1.00 plus $.25 per page for each copy be paid directly to the Copyright Clearance Center, Inc., 21 Congress Street, Salem, Massachusetts 01970.
    [Show full text]
  • Valuation Rings
    Valuation Rings Recall that a submonoid Γ+ of a group Γ defines an ordering on Γ, where x ≥ y iff x − y ∈ Γ+. The set of elements x such that x and −x both belong to Γ+ is a subgroup; dividing by this subgroup we find that in the quotient x ≥ y and y ≥ x implies x = y. If this property holds already in Γ and if in addition, for every x ∈ Γ either x or −x belongs to Γ+, the ordering defined by Γ+ is total. A (non-Archimedean) valuation of a field K is a homomorphism v from K∗ onto a totally ordered abelian group Γ such that v(x+y) ≥ min(v(x), v(y)) for any pair x, y of elements whose sum is not zero. Associated to such a valuation is R =: {x : v(x) ∈ Γ+} ∪ {0}; one sees immediately that R is a subring of K with a unique maximal ideal, namely {x ∈ R : v(x) 6= 0}. This R is called the valuation ring associated with the valuation R. Proposition 1 Let R be an integral domain with fraction field K. Then the following are equivalent: 1. There is a valuation v of K for which R is the associated valuation ring. 2. For every element a of K, either a or a−1 belongs to R. 3. The set of principal ideals of R is totally ordered by inclusion. 4. The set of ideals of R is totally ordered by inclusion. 5. R is local and every finitely generated ideal of R is principal.
    [Show full text]
  • RING THEORY 1. Chain Conditions We Now Begin a More Systematic
    CHAPTER XIII MORE RING THEORY 1. Chain Conditions We now begin a more systematic treatment of ring theory. There is a substantial difference between the directions which the theory takes in the commuative and non-commutative case. In this course, we shall concentrate mainly on the non-commutative case, but we shall also develop some of the important basic ideas of commutative algebra. We start now with the topic of chain conditions which has relevance both for commutative and non-commutative algebra. Proposition. Let S be a partially ordered set. The following two assertions are equivalent. (i) Every nondecreasing sequence x1 ≤ x2 ≤···≤xi ≤... eventually stabilizes, i.e., there is an n such that xm = xn for m ≥ n. (ii) Every non-empty subset of S has a maximal element. Proof. Assume (i). Let T be any non-empty subset of S.Choosex1∈T.Ifx1is maximal, we are done. Otherwise, choose x2 ∈ T with x1 <x2.Ifx2is maximal, we are done. Keep going in this way. We can construct a strictly increasing sequence of elements of T —which contradicts (i)—unless we eventually come upon a maximal element. Conversely, suppose (ii) is true. The set of elements in a non-decreasing sequence must have a maximal element and it is clear that the sequence must stabilize with that element. A partially ordered set with these properties is said to satisfy the ascending chain condition. A partially ordered set which satisfies the corresponding conditions for the reversed order —i.e., every nonincreasing chain stabilizes and every non-empty set has a minimal element—is said to satisfy the descending chain condition.
    [Show full text]
  • On Nonnil-S-Noetherian Rings
    mathematics Article On Nonnil-S-Noetherian Rings Min Jae Kwon and Jung Wook Lim* Department of Mathematics, College of Natural Sciences, Kyungpook National University, Daegu 41566, Korea; [email protected] * Correspondence: [email protected] Received: 27 July 2020; Accepted: 24 August 2020; Published: 26 August 2020 Abstract: Let R be a commutative ring with identity, and let S be a (not necessarily saturated) multiplicative subset of R. We define R to be a nonnil-S-Noetherian ring if each nonnil ideal of R is S-finite. In this paper, we study some properties of nonnil-S-Noetherian rings. More precisely, we investigate nonnil-S-Noetherian rings via the Cohen-type theorem, the flat extension, the faithfully flat extension, the polynomial ring extension, and the power series ring extension. Keywords: nonnil-S-Noetherian ring; S-Noetherian ring; S-finite ideal; SFT ring MSC: 13A15; 13B25; 13E99; 13F25 1. Introduction The concept of Noetherian rings is one of the most important topics that is widely used in many areas including commutative algebra and algebraic geometry. The Noetherian property was originally due to the mathematician Noether who first considered a relation between the ascending chain condition on ideals and the finitely generatedness of ideals. More precisely, she showed that if R is a commutative ring with identity, then the ascending chain condition on ideals of R holds if and only if every ideal of R is finitely generated. This equivalence plays a significant role in simplifying the ideal structure of a ring. Due to the importance of Noetherian rings, many mathematicians have tried to use Noetherian properties in several classes of rings and attempted to generalize the notion of Noetherian rings.
    [Show full text]
  • Hilbert-Serre Theorem on Regular Noetherian Local Rings
    HILBERT-SERRE THEOREM ON REGULAR NOETHERIAN LOCAL RINGS YONG-QI LIANG Abstract. The aim of this work is to prove a theorem of Serre(Noetherian local ring is regular i® global dimension is ¯nite). The proof follows that one given by Nagata simpli¯ed by Grothendieck without using Koszul com- plex. 1. Regular Rings In this section, basic de¯nitions related to regular rings and some basic properties which are needed in the proof of the main theorem are given. Proofs can be found in [3] or [2]. Let A be a ring and M be an A-module. De¯nition 1.1. The set Ass(M) of associated prime ideals of M contains prime ideals satisfy the following two equivalent conditions: (i)there exists an element x 2 M with ann(x) = p; (ii)M contains a submodule isomorphic to A=p. De¯nition 1.2. Let (A; m; k) be a Noetherian local ring of Krull dimension d, it is called regular if it satis¯es the following equivalent conditions: » (i)Grm(A) = k[T1; ¢ ¢ ¢ ;Td]; 2 (ii)dimk(m=m ) = d; (iii)m can be generated by d elements. In this case, the d generators of m is called a regular system of parameters of A. (see [3]) 2 Remark 1.3. It is always true that dim(A) · dimk(m=m ), equality holds if and only if A is regular.(see [3]) Proposition 1.4. Let (A; m) be a Noetherian local ring, t 2 m, then the following conditions are equivalent: (i)A=tA is regular and t is not zero divisor of A; (ii)A is regular and t2 = m2.
    [Show full text]
  • GAGA THEOREMS 1. Introduction Let X Be a Noetherian Scheme
    GAGA THEOREMS JACK HALL Abstract. We prove a new and unified GAGA theorem. This recovers all analytic and formal GAGA results in the literature, and is also valid in the relative and non-noetherian setting. Our method can also be used to establish various Lefschetz theorems. 1. Introduction Let X be a noetherian scheme. Frequently associated to X is a flat morphism of locally ringed spaces: c: X ! X; where X is some type of analytic space with coherent structure sheaf. When X is proper over Spec R, where R is a suitable noetherian ring (usually connected to the construction of the analytic object X), there is frequently an induced comparison isomorphism on cohomology of coherent sheaves: Hi(X; F ) ' Hi(X; c∗F ) and an equivalence of abelian categories of coherent sheaves: c∗ : Coh(X) ' Coh(X): Since Serre's famous paper [GAGA], such results have been called \GAGA the- orems". Restricting these comparison isomorphisms and equivalences to specific subcategories of sheaves (e.g., vector bundles or finite ´etalealgebras) leads to both local and global \Lefschetz Theorems" [SGA2]. We briefly recall some examples of these phenomena below. 1.1. Archimedean analytification. Assume X is locally of finite type over Spec C. Naturally associated to X is an analytic space Xan. This consists of endowing the C-points of X with its Euclidean topology and its sheaf of holomorphic functions. This is the setting of the original GAGA theorem proved by Serre [GAGA]. This was all generalized to proper schemes over Spec C in [SGA1, XII.4.4] and to proper Deligne{Mumford stacks in To¨en'sthesis [To¨e99,5.10].
    [Show full text]
  • Prime Ideals in Noetherian Rings: a Survey
    PRIME IDEALS IN NOETHERIAN RINGS: A SURVEY ROGER WIEGAND AND SYLVIA WIEGAND Abstract. We consider the structure of the partially ordered set of prime ideals in a Noetherian ring. The main focus is Noetherian two-dimensional integral domains that are rings of polynomials or power series. 0. Introduction The authors have been captivated by the partially ordered set of prime ideals for about four decades. Their initial motivation was interest in Kaplansky's question, phrased about 1950: \What partially ordered sets occur as the set of prime ideals of a Noetherian ring, ordered under inclusion?" This has turned out to be an extremely di±cult question, perhaps a hopeless one. Various mathematicians have studied Kaplansky's question and related ques- tions. In 1971, M. Hochster [12] characterized the topological spaces X such that X =» Spec(R) for some commutative ring R, where Spec(R) is considered as a topological space with the Zariski topology. In this topology, the sets of the form V(I) := fP 2 Spec(R) j P ¶ Ig, where I is an ideal of R, are the closed sets. Of course the topology determines the partial ordering, since P ⊆ Q if and only if Q 2 fP g. In 1973, W. J. Lewis showed that every ¯nite partially ordered set is the prime spectrum of a commutative ring R, and, in 1976, Lewis and J. Ohm found necessary and su±cient conditions for a partially ordered set to be the prime spectrum of a B¶ezoutdomain [19],[20]. In [42], S. Wiegand showed that for every rooted tree U, there is a B¶ezoutdomain R having prime spectrum order-isomorphic to U and such that each localization Rm of R at a maximal ideal m of R is a maximal valuation domain.
    [Show full text]
  • Commutative Algebra Regular Local Rings June 16, 2020 Throughout
    Commutative Algebra Regular Local Rings June 16, 2020 Throughout this lecture A will be a noetherian local ring with maximal ideal m and residue field k = A=m. We have seen that 2 dim A = ht m ≤ dimk m=m : 2 Definition 1: The noetherian local ring A is called regular if dim A = dimk m=m . 2 Exercise (i). Show that C[x]=(x ) is not regular. Example 1. Consider R = C[x; y]=(xy). The maximal ideals of R are in one to one correspon- dence with maximal ideals of C[x; y] that contain the ideal (xy). Let n be the maximal ideal corresponding to (x; y) and let A = Rn and m = nRn. Then 2 2 2 2 2 m = (x ; y ), thus m=m has x; y as basis over C and dimC m=m = 2. On the other hand dim A = ht n ≤ dim R ≤ 1 by Krull's principal ideal theorem. In fact dim A = 1 since (x) ⊂ (x; y) is a chain in A of length 1. Hence A is not regular. On the other hand consider the maximal ideal n0 of R corresponding to (x; y − a) where a is a 0 0 non-zero complex number. Let B = Rn0 and m = n B. Then we again have dim B = 1. Now (m0)2 = (x2; y2 − 2ay + a2; ax) = (x; y2 − 2ay + a2), so x 2 (m0)2 and just y in this case forms a 0 0 2 0 0 2 basis of m =(m ) over C. Thus dim B = dimC m =(m ) , hence B is regular.
    [Show full text]
  • On Noetherian Spaces
    On Noetherian Spaces Jean Goubault-Larrecq∗ LSV, ENS Cachan, CNRS, INRIA Futurs 61, avenue du président-Wilson, F-94235 Cachan, France [email protected] Abstract For any subset A of X, let Pre∃δ(A) be the preimage x X y A x δ y . The commutation property { ∈ |∃ ∈ · } ∃ A topological space is Noetherian iff every open is com- ensures that the preimage Pre δ(V ) of any upward-closed pact. Our starting point is that this notion generalizes that subset V is again upward-closed (V is upward-closed iff of well-quasi order, in the sense that an Alexandroff-discrete whenever x V and x x′, then x′ V ). Standard ∈ ≤ ∈ ∃∗ space is Noetherian iff its specialization quasi-ordering is arguments then show that one may compute Pre δ(V ), well. For more general spaces, this opens the way to ver- the set of states in X from which we can reach some state ifying infinite transition systems based on non-well quasi in V in finitely many steps: Compute the set Vi of states ordered sets, but where the preimage operator satisfies an from which we can reach some state in V in at most i steps, ∃ additional continuity assumption. The technical develop- backwards, by V0 = V , Vi+1 = Vi Pre δ(Vi): this ∪ ∃∗ ment rests heavily on techniques arising from topology and stabilizes at some stage i, where Vi = Pre δ(V ). domain theory, including sobriety and the de Groot dual of This provides an algorithm for coverability: given two a stably compact space. We show that the category Nthr ′ states x,x X, is there a trace x = x0 δ x1 δ ..
    [Show full text]