DOCSLIB.ORG

Week 1, Two Classes.)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Week 1, Two Classes.) (Week 1, two classes.) Abstract. This is the note for Math 511 that I am teaching in UIUC in 2009. The class is moved to 9-10:20 TR in room 57 Everitt. 1. Goal of the lecture. Alexander Grothendieck (born March 28, 1928 in Berlin, Germany) is considered to be one of the greatest mathematicians of the 20th century. He is the chief designer of modern algebraic geometry. Now he is almost 81, and it is my great honor to present here an introduction to modern algebraic geometry which has been greatly influence by his work. Some textbook on introduction of algebraic geometry (or any field of mathematics) tries to minimize or erase the trace of history. This is some sense is reasonable: a science should be coherent and be independent of who have discovered it. Calculus is a typical example. We barely remember who have contributed to the development of it. Calculus has been born for more than 300 years if we count from Newton and Leibniz, and it becomes so mature and standard that it is easily accessed by a high school student. But algebraic geometry, on the other hand, is not old enough to forget about how it was created by force, and in my point of view, is not yet mature. (One evidence is that we are still stuck in curve, surface and dimension 3 manifold and barely know anything in higher dimensional; the other evidence is that the new objects kept born: manifolds, varieties, schemes, algebraic spaces, stacks, etc; third evidence, I did not successfully explained to my wife what is algebraic geometry, and I believe that algebraic geometry is far from accessible to general audience.) So in this class we follow instead the order of history, and that is roughly what Hartshorne did in his book. Start from varieties, and when we are familiar with their properties, we proceed to schemes. My suggestion for the class: be skeptical to the material, always ask me or yourself, if it is necessary, is there a better approach? On the other hand, you should be open minded, do not refuse to accept a concept simply because it is complicated or ugly. You might appreciate it when you are used to it :-) This class is not complex algebraic geometry, hence almost no transcendental method will be introduced, and I believe you have learned or will learn something like Hodge theory in other classes. Exercise are essential to understand the material. Some exercises you should do it at least once in your lifetime instead of simply believe it. Asking the following: affine varieties and projective varieties, Zariski topology, rational maps, birational equivalence, blow-up, valuation rings, Hilbert polynomials, sheaves, schemes, coherent sheaves, divisors, invertible sheaves, ample line bundles(invertible sheaves), linear system, derived functors, cohomology of a sheaf, Cech cohomology, Ext functor and Serre duality, higher direct images. CHAPTER 1 Varieties 1. Affine varieties It is simply the set of points that is defined by one or several polynomial equations. For example, let k be your favorite field, consider a parabola in k2 defined by y − x2 = 0. The polynomial y − x2 is in k[x, y]. We should expected that to study the zero locus of a polynomial is closely related to the study of the polynomial in the ring k[x, y]. Indeed, to understand the interplay between the geometry and algebra is the central goal of algebraic geometry. We will see today such a relation. n Let k be an algebraic closed field, the most common choice is C. We call it the base field. Ak (or n n n A ) is the affine n-space, or k if you like. The polynomials on A form a ring, say A = k[x1, . , xn], n it is called the coordinate ring of A , xi are called coordinates. Given any subset T of A, we define the zero set of T to be the common zeros of all elements in T , i.e. n Z(T ) = {P ∈ A |f(P ) = 0, ∀f ∈ T } It is obvious that if a is the ideal generated by T , then Z(a) = Z(T ). Example:(1) x2 + y2 = 0. (2) x and x2. (3) the defining equations for (t3, t4, t5). n Definition 1.1. A subset Y of A is an algebraic set if Y = Z(T ) for some subset T ⊆ A. Remark:T = ∅, T = (1), etc. Proposition 1.2. The union of finite many algebraic set is an algebraic set. The intersection of any family of algebraic set is algebraic set. Example:The union of a point (0, 0) and the line x = 1. Now notice each algebraic set is determined by not necessarily unique subset T . For example, (x, y) and (x, y2) and (x2, xy, y2) in k[x, y]. Can one specify a canonical subset? The answer is yes by the following. n Theorem 1.3. There is a one-one correspondence between algebraic sets in A and radical ideals in A, given by Y 7→ I(Y ) := {f ∈ A|f(P ) = 0, ∀P ∈ Y } and a 7→ Z(a). √ Proof. Enough to show that (1) for any ideal a, I(Z(a) = a and (2) for any algebraic set Y , Z(I(Y )) = Y . For (2), if not equal, then ∃f ∈ I(Y ), z ∈ Z(I(Y )), s.t. f(z) 6= 0, this is impossible. (1) is the famous Hilbert’s Nullstellensatz. Theorem 1.4 (Hilbert’s Nullstellensatz (German: “theorem of zeros”)). Let k be an alge- braically closed field, a be an ideal in A = k[x1, . , xn], then √ I(Z(a)) = a. 3 4 1. VARIETIES A special case: when a is maximal, hence proper, Z(a) is not empty, suppose (a1, . , an) ∈ Z(a), then (x1 − a1, . , xn − an) ⊇ a, by the maximality of a, equality holds. Theorem 1.5 (Weak Nullstellensatz). Let k be an algebraically closed field, the maximal ideal in A = k[x1, . , xn] are the ideals (x1 − a1, . , xn − an). Remark:Note it is not true when k is not algebraically closed, say R, the nullstellensatz is not 2 true. Eg. (x + 1) is maximal in R[x]. On the other hand, the√ weak Nullstellensatz implies the strong one, by the following proof. It is easy to see I(Z(a)) ⊇ a, so we need to show the inclusion in the other direction. If we take a finite set of generators f1, . , fm of a, then we need to show that, if g ∈ k[x1, . , xn] vanishes at ` P the zero locus f1 = ··· = fm = 0, then g = hifi. Here is the lifting trick of Zariski: consider k[x1, . , xn+1]. Define ideal b = ak[x1, . , xn+1] + (1 − gxn+1). We first show that b must be (1). Otherwise it is proper, by weak Nullstellensatz it is in a maximal ideal m = (x1 − a1, . , xn+1 − an+1). Then 1 − gxn+1 is in the maximal ideal m, so are f1, . , fm. But this is impossible since f1 = ··· = fm = 0 at (a1, . , an) implies g(a1, . , an) = 0. Now since 1 ∈ b, 1 = h1f1 +···+hmfm +hm+1(1−gxn+1). Plug in xn+1 = 1/g, then eliminate ` P 0 the denominator, we will obtain g = hifi. Now we need to prove Theorem 1.5, we need Noether’s Normalization Lemma: let k be any field. R be an integral domain finitely generated over k. There are algebraically independent elements x1, . , xn in R, such that R is an integral extension of k[x1, . , xn]. (I am not suppose to say it now, but geometrically, the Lemma says that any variety is a branched covering of an affine space.) Proof of Theorem 1.5. Let m be a maximal ideal. Then R = k[x1, . , xn]/m is a field. Let d be its transcendental degree over k. Then S = k[y1, . , yd] ⊂ R such that R is integral over S and is a field. This easily implies S itself is a field (check it!), which is only possible if d = 0. Then R is integral over k, but k is algebraically closed (!), so R = k, hence k+m = k[x1, . , xn], in particular ai + mi = xi for each i = 1, . , n. So m ⊇ (m1, . , mn) = (x1 − a1, . , xn − an), but the right hand side is already maximal, so equality holds. Now we introduce Zariski topology and irreducibility, and define variety. n n Definition 1.6. The Zariski topology on A is defined as follows: a closed set in A is to be n a algebraic set. The Zariski topology on an algebraic set in A is induced from the Zariski topology n of A . (Check it is a topology.) Definition 1.7. A nonempty subset Y of a topological space X is irreducible if it cannot be expressed as the union Y = Y1 ∪ Y2 where Y1 and Y2 are closed proper subsets of Y . The empty set is not considered to be irreducible. 1. AFFINE VARIETIES 5 Example:Open subset of an irreducible space. Closure of a irreducible subset. n Definition 1.8. An affine (algebraic) variety is an irreducible closed subset of A . An open subset of an affine variety is a quasi-affine variety. n Proposition 1.9. An algebraic set Y on A is a variety iff I(Y ) is prime. Now is more about topology: Definition 1.10. A topological space X is noetherian if it satisfies descending chain condition for closed subsets. (Note that it is dual to the definition of noetherian rings or modules.) Homework: any algebraic set is noetherian. Proposition 1.11.
Load more

Recommended publications
  • A Zariski Topology for Modules
    A Zariski Topology for Modules∗ Jawad Abuhlail† Department of Mathematics and Statistics King Fahd University of Petroleum & Minerals [email protected] October 18, 2018 Abstract Given a duo module M over an associative (not necessarily commutative) ring R, a Zariski topology is defined on the spectrum Specfp(M) of fully prime R-submodules of M. We investigate, in particular, the interplay between the properties of this space and the algebraic properties of the module under consideration. 1 Introduction The interplay between the properties of a given ring and the topological properties of the Zariski topology defined on its prime spectrum has been studied intensively in the literature (e.g. [LY2006, ST2010, ZTW2006]). On the other hand, many papers considered the so called top modules, i.e. modules whose spectrum of prime submodules attains a Zariski topology (e.g. [Lu1984, Lu1999, MMS1997, MMS1998, Zah2006-a, Zha2006-b]). arXiv:1007.3149v1 [math.RA] 19 Jul 2010 On the other hand, different notions of primeness for modules were introduced and in- vestigated in the literature (e.g. [Dau1978, Wis1996, RRRF-AS2002, RRW2005, Wij2006, Abu2006, WW2009]). In this paper, we consider a notions that was not dealt with, from the topological point of view, so far. Given a duo module M over an associative ring R, we introduce and topologize the spectrum of fully prime R-submodules of M. Motivated by results on the Zariski topology on the spectrum of prime ideals of a commutative ring (e.g. [Bou1998, AM1969]), we investigate the interplay between the topological properties of the obtained space and the module under consideration.
    [Show full text]
  • Lecture 1 Course Introduction, Zariski Topology
    18.725 Algebraic Geometry I Lecture 1 Lecture 1: Course Introduction, Zariski topology Some teasers So what is algebraic geometry? In short, geometry of sets given by algebraic equations. Some examples of questions along this line: 1. In 1874, H. Schubert in his book Calculus of enumerative geometry proposed the question that given 4 generic lines in the 3-space, how many lines can intersect all 4 of them. The answer is 2. The proof is as follows. Move the lines to a configuration of the form of two pairs, each consists of two intersecting lines. Then there are two lines, one of them passing the two intersection points, the other being the intersection of the two planes defined by each pair. Now we need to show somehow that the answer stays the same if we are truly in a generic position. This is answered by intersection theory, a big topic in AG. 2. We can generalize this statement. Consider 4 generic polynomials over C in 3 variables of degrees d1; d2; d3; d4, how many lines intersect the zero sets of each polynomial? The answer is 2d1d2d3d4. This is given in general by \Schubert calculus." 4 3. Take C , and 2 generic quadratic polynomials of degree two, how many lines are on the common zero set? The answer is 16. 4. For a generic cubic polynomial in 3 variables, how many lines are on the zero set? There are exactly 27 of them. (This is related to the exceptional Lie group E6.) Another major development of AG in the 20th century was on counting the numbers of solutions for n 2 3 polynomial equations over Fq where q = p .
    [Show full text]
  • 1 Affine Varieties
    1 Affine Varieties We will begin following Kempf's Algebraic Varieties, and eventually will do things more like in Hartshorne. We will also use various sources for commutative algebra. What is algebraic geometry? Classically, it is the study of the zero sets of polynomials. We will now fix some notation. k will be some fixed algebraically closed field, any ring is commutative with identity, ring homomorphisms preserve identity, and a k-algebra is a ring R which contains k (i.e., we have a ring homomorphism ι : k ! R). P ⊆ R an ideal is prime iff R=P is an integral domain. Algebraic Sets n n We define affine n-space, A = k = f(a1; : : : ; an): ai 2 kg. n Any f = f(x1; : : : ; xn) 2 k[x1; : : : ; xn] defines a function f : A ! k : (a1; : : : ; an) 7! f(a1; : : : ; an). Exercise If f; g 2 k[x1; : : : ; xn] define the same function then f = g as polynomials. Definition 1.1 (Algebraic Sets). Let S ⊆ k[x1; : : : ; xn] be any subset. Then V (S) = fa 2 An : f(a) = 0 for all f 2 Sg. A subset of An is called algebraic if it is of this form. e.g., a point f(a1; : : : ; an)g = V (x1 − a1; : : : ; xn − an). Exercises 1. I = (S) is the ideal generated by S. Then V (S) = V (I). 2. I ⊆ J ) V (J) ⊆ V (I). P 3. V ([αIα) = V ( Iα) = \V (Iα). 4. V (I \ J) = V (I · J) = V (I) [ V (J). Definition 1.2 (Zariski Topology). We can define a topology on An by defining the closed subsets to be the algebraic subsets.
    [Show full text]
  • Algebraic Geometry Part III Catch-Up Workshop 2015
    Algebraic Geometry Part III Catch-up Workshop 2015 Jack Smith June 6, 2016 1 Abstract Algebraic Geometry This workshop will give a basic introduction to affine algebraic geometry, assuming no prior exposure to the subject. In particular, we will cover: • Affine space and algebraic sets • The Hilbert basis theorem and applications • The Zariski topology on affine space • Irreducibility and affine varieties • The Nullstellensatz • Morphisms of affine varieties. If there's time we may also touch on projective varieties. What we expect you to know • Elementary point-set topology: topological spaces, continuity, closure of a subset etc • Commutative algebra, at roughly the level covered in the Rings and Modules workshop: rings, ideals (including prime and maximal) and quotients, algebras over fields (in particular, some familiarity with polynomial rings over fields). Useful for Part III courses Algebraic Geometry, Commutative Algebra, Elliptic Curves 2 Talk 2.1 Preliminaries Useful resources: • Hartshorne `Algebraic Geometry' (classic textbook, on which I think this year's course is based, although it's quite dense; I'll mainly try to match terminology and notation with Chapter 1 of this book). • Ravi Vakil's online notes `Math 216: Foundations of Algebraic Geometry'. • Eisenbud `Commutative Algebra with a view toward algebraic geometry' (covers all the algebra you might need, with a geometric flavour|it has pictures). 1 • Pelham Wilson's online notes for the `Preliminary Chapter 0' of his Part III Algebraic Geometry course from last year cover much of this catch-up material but are pretty brief (warning: this year's course has a different lecturer so will be different).
    [Show full text]
  • Chapter 2 Affine Algebraic Geometry
    Chapter 2 Affine Algebraic Geometry 2.1 The Algebraic-Geometric Dictionary The correspondence between algebra and geometry is closest in affine algebraic geom- etry, where the basic objects are solutions to systems of polynomial equations. For many applications, it suffices to work over the real R, or the complex numbers C. Since important applications such as coding theory or symbolic computation require finite fields, Fq , or the rational numbers, Q, we shall develop algebraic geometry over an arbitrary field, F, and keep in mind the important cases of R and C. For algebraically closed fields, there is an exact and easily motivated correspondence be- tween algebraic and geometric concepts. When the field is not algebraically closed, this correspondence weakens considerably. When that occurs, we will use the case of algebraically closed fields as our guide and base our definitions on algebra. Similarly, the strongest and most elegant results in algebraic geometry hold only for algebraically closed fields. We will invoke the hypothesis that F is algebraically closed to obtain these results, and then discuss what holds for arbitrary fields, par- ticularly the real numbers. Since many important varieties have structures which are independent of the field of definition, we feel this approach is justified—and it keeps our presentation elementary and motivated. Lastly, for the most part it will suffice to let F be R or C; not only are these the most important cases, but they are also the sources of our geometric intuitions. n Let A denote affine n-space over F. This is the set of all n-tuples (t1,...,tn) of elements of F.
    [Show full text]
  • 1. Affine Varieties
    6 Andreas Gathmann 1. Affine Varieties As explained in the introduction, the goal of algebraic geometry is to study solutions of polynomial equations in several variables over a fixed ground field, so we will start by making the corresponding definitions. In order to make the correspondence between geometry and algebra as clear as possible (in particular to allow for Hilbert’s Nullstellensatz in Proposition 1.10) we will restrict to the case of algebraically closed ground fields first. In particular, if we draw pictures over R they should always be interpreted as the real points of an underlying complex situation. Convention 1.1. (a) In the following, until we introduce schemes in Chapter 12, K will always denote a fixed algebraically closed ground field. (b) Rings are always assumed to be commutative with a multiplicative unit 1. If J is an ideal in a ring R we will write this as J E R, and denote the radical of J by p k J := f f 2 R : f 2 J for some k 2 Ng: The ideal generated by a subset S of a ring will be written as hSi. (c) As usual, we will denote the polynomial ring in n variables x1;:::;xn over K by K[x1;:::;xn], n and the value of a polynomial f 2 K[x1;:::;xn] at a point a = (a1;:::;an) 2 K by f (a). If there is no risk of confusion we will often denote a point in Kn by the same letter x as we used for the formal variables, writing f 2 K[x1;:::;xn] for the polynomial and f (x) for its value at a point x 2 Kn.
    [Show full text]
  • Arxiv:1509.06425V4 [Math.AG] 9 Dec 2017 Nipratrl Ntegoercraiaino Conformal of Gen Realization a Geometric the (And in Fact Role This Important Trivial
    TRIVIALITY PROPERTIES OF PRINCIPAL BUNDLES ON SINGULAR CURVES PRAKASH BELKALE AND NAJMUDDIN FAKHRUDDIN Abstract. We show that principal bundles for a semisimple group on an arbitrary affine curve over an algebraically closed field are trivial, provided the order of π1 of the group is invertible in the ground field, or if the curve has semi-normal singularities. Several consequences and extensions of this result (and method) are given. As an application, we realize conformal blocks bundles on moduli stacks of stable curves as push forwards of line bundles on (relative) moduli stacks of principal bundles on the universal curve. 1. Introduction It is a consequence of a theorem of Harder [Har67, Satz 3.3] that generically trivial principal G-bundles on a smooth affine curve C over an arbitrary field k are trivial if G is a semisimple and simply connected algebraic group. When k is algebraically closed and G reductive, generic triviality, conjectured by Serre, was proved by Steinberg[Ste65] and Borel–Springer [BS68]. It follows that principal bundles for simply connected semisimple groups over smooth affine curves over algebraically closed fields are trivial. This fact (and a generalization to families of bundles [DS95]) plays an important role in the geometric realization of conformal blocks for smooth curves as global sections of line bundles on moduli-stacks of principal bundles on the curves (see the review [Sor96] and the references therein). An earlier result of Serre [Ser58, Th´eor`eme 1] (also see [Ati57, Theorem 2]) implies that this triviality property is true if G “ SLprq, and C is a possibly singular affine curve over an arbitrary field k.
    [Show full text]
  • Positivity in Algebraic Geometry I
    Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics 48 Positivity in Algebraic Geometry I Classical Setting: Line Bundles and Linear Series Bearbeitet von R.K. Lazarsfeld 1. Auflage 2004. Buch. xviii, 387 S. Hardcover ISBN 978 3 540 22533 1 Format (B x L): 15,5 x 23,5 cm Gewicht: 1650 g Weitere Fachgebiete > Mathematik > Geometrie > Elementare Geometrie: Allgemeines Zu Inhaltsverzeichnis schnell und portofrei erhältlich bei Die Online-Fachbuchhandlung beck-shop.de ist spezialisiert auf Fachbücher, insbesondere Recht, Steuern und Wirtschaft. Im Sortiment finden Sie alle Medien (Bücher, Zeitschriften, CDs, eBooks, etc.) aller Verlage. Ergänzt wird das Programm durch Services wie Neuerscheinungsdienst oder Zusammenstellungen von Büchern zu Sonderpreisen. Der Shop führt mehr als 8 Millionen Produkte. Introduction to Part One Linear series have long stood at the center of algebraic geometry. Systems of divisors were employed classically to study and define invariants of pro- jective varieties, and it was recognized that varieties share many properties with their hyperplane sections. The classical picture was greatly clarified by the revolutionary new ideas that entered the field starting in the 1950s. To begin with, Serre’s great paper [530], along with the work of Kodaira (e.g. [353]), brought into focus the importance of amplitude for line bundles. By the mid 1960s a very beautiful theory was in place, showing that one could recognize positivity geometrically, cohomologically, or numerically. During the same years, Zariski and others began to investigate the more complicated be- havior of linear series defined by line bundles that may not be ample.
    [Show full text]
  • MATH 763 Algebraic Geometry Homework 2
    MATH 763 Algebraic Geometry Homework 2 Instructor: Dima Arinkin Author: Yifan Wei September 26, 2019 Problem 1 Prove that a subspace of a noetherian topological space is noetherian in the induced topology. Proof Because in the subspace X the closed sets are exactly restrictions from the ambient space, a descending chain of closed sets in X takes the form · · · ⊃ Ci \ X ⊃ · · · , taking closure in the ambient space we get a descending chain which stablizes to, say Cn \ X, and we have for all i Ci \ X ⊂ Cn \ X. And the inequality can clearly be restricted to X, which means the chain in X stablizes. Problem 2 Show that a topological space is noetherian if and only if all of its open subsets are quasi-compact. Proof If the space X is noetherian, then any open subset is noetherian hence quasi-compact. Conversely, if we have a descending chain of closed subsets C1 ⊃ C2 ⊃ · · · , then we have an open covering (indexed by n): \ [ [ X − Ci = X − Ci; n i≤n S − \ − By quasi-compactness we have X Ci is equal to i≤n X Ci for some n, which means the descending chain stablizes to Cn. Problem 3 Let S ⊂ k be an infinite subset (for instance, S = Z ⊂ k = C.) Show that the Zariski closure of the set X = f(s; s2)js 2 Sg ⊂ A2 1 is the parabola Y = f(a; a2)ja 2 kg ⊂ A2: Proof Consider the morphism ϕ : k[x; y] ! k[t] sending x to t and y to t2, its kernel is precisely the vanishing ideal of the parabola Y .
    [Show full text]
  • Commutative Algebra
    Commutative Algebra Andrew Kobin Spring 2016 / 2019 Contents Contents Contents 1 Preliminaries 1 1.1 Radicals . .1 1.2 Nakayama's Lemma and Consequences . .4 1.3 Localization . .5 1.4 Transcendence Degree . 10 2 Integral Dependence 14 2.1 Integral Extensions of Rings . 14 2.2 Integrality and Field Extensions . 18 2.3 Integrality, Ideals and Localization . 21 2.4 Normalization . 28 2.5 Valuation Rings . 32 2.6 Dimension and Transcendence Degree . 33 3 Noetherian and Artinian Rings 37 3.1 Ascending and Descending Chains . 37 3.2 Composition Series . 40 3.3 Noetherian Rings . 42 3.4 Primary Decomposition . 46 3.5 Artinian Rings . 53 3.6 Associated Primes . 56 4 Discrete Valuations and Dedekind Domains 60 4.1 Discrete Valuation Rings . 60 4.2 Dedekind Domains . 64 4.3 Fractional and Invertible Ideals . 65 4.4 The Class Group . 70 4.5 Dedekind Domains in Extensions . 72 5 Completion and Filtration 76 5.1 Topological Abelian Groups and Completion . 76 5.2 Inverse Limits . 78 5.3 Topological Rings and Module Filtrations . 82 5.4 Graded Rings and Modules . 84 6 Dimension Theory 89 6.1 Hilbert Functions . 89 6.2 Local Noetherian Rings . 94 6.3 Complete Local Rings . 98 7 Singularities 106 7.1 Derived Functors . 106 7.2 Regular Sequences and the Koszul Complex . 109 7.3 Projective Dimension . 114 i Contents Contents 7.4 Depth and Cohen-Macauley Rings . 118 7.5 Gorenstein Rings . 127 8 Algebraic Geometry 133 8.1 Affine Algebraic Varieties . 133 8.2 Morphisms of Affine Varieties . 142 8.3 Sheaves of Functions .
    [Show full text]
  • A Course in Commutative Algebra
    Graduate Texts in Mathematics 256 A Course in Commutative Algebra Bearbeitet von Gregor Kemper 1. Auflage 2010. Buch. xii, 248 S. Hardcover ISBN 978 3 642 03544 9 Format (B x L): 0 x 0 cm Gewicht: 1200 g Weitere Fachgebiete > Mathematik > Algebra Zu Inhaltsverzeichnis schnell und portofrei erhältlich bei Die Online-Fachbuchhandlung beck-shop.de ist spezialisiert auf Fachbücher, insbesondere Recht, Steuern und Wirtschaft. Im Sortiment finden Sie alle Medien (Bücher, Zeitschriften, CDs, eBooks, etc.) aller Verlage. Ergänzt wird das Programm durch Services wie Neuerscheinungsdienst oder Zusammenstellungen von Büchern zu Sonderpreisen. Der Shop führt mehr als 8 Millionen Produkte. Chapter 1 Hilbert’s Nullstellensatz Hilbert’s Nullstellensatz may be seen as the starting point of algebraic geom- etry. It provides a bijective correspondence between affine varieties, which are geometric objects, and radical ideals in a polynomial ring, which are algebraic objects. In this chapter, we give proofs of two versions of the Nullstellensatz. We exhibit some further correspondences between geometric and algebraic objects. Most notably, the coordinate ring is an affine algebra assigned to an affine variety, and points of the variety correspond to maximal ideals in the coordinate ring. Before we get started, let us fix some conventions and notation that will be used throughout the book. By a ring we will always mean a commutative ring with an identity element 1. In particular, there is a ring R = {0},the zero ring,inwhich1=0.AringR is called an integral domain if R has no zero divisors (other than 0 itself) and R ={0}.Asubring of a ring R must contain the identity element of R, and a homomorphism R → S of rings must send the identity element of R to the identity element of S.
    [Show full text]
  • Choomee Kim's Thesis
    CALIFORNIA STATE UNIVERSITY, NORTHRIDGE The Zariski Topology on the Prime Spectrum of a Commutative Ring A thesis submitted in partial fulllment of the requirements for the degree of Master of Science in Mathematics by Choomee Kim December 2018 The thesis of Choomee Kim is approved: Jason Lo, Ph.D. Date Katherine Stevenson, Ph.D. Date Jerry Rosen, Ph.D., Chair Date California State University, Northridge ii Dedication I dedicate this to my beloved family. iii Acknowledgments With deep gratitude and appreciation, I would like to rst acknowledge and thank my thesis advisor, Professor Jerry Rosen, for all of the support and guidance he provided during the past two years of my graduate study. I would like to extend my sincere appreciation to Professor Jason Lo and Professor Katherine Stevenson for serving on my thesis committee and taking time to read and advise. I would also like to thank the CSUN faculty and cohort, especially Professor Mary Rosen, Yen Doung, and all of my oce colleagues, for their genuine friendship, encouragement, and emotional support throughout the course of my graduate study. All this has been truly enriching experience, and I would like to give back to our students and colleagues as to become a professor who cares for others around us. Last, but not least, I would like to thank my husband and my daughter, Darlene, for their emotional and moral support, love, and encouragement, and without which this would not have been possible. iv Table of Contents Signature Page.................................... ii Dedication...................................... iii Acknowledgements.................................. iv Table of Contents.................................. v Abstract........................................ vii 1 Preliminaries..................................
    [Show full text]