Chapter 1 Varieties

Chapter 1 Varieties

Chapter 1 Varieties Outline: 1. Affine varieties and examples. 2. The basics of the algebra-geometry dictionary. 3. Define Zariski topology (Zariski open and closed sets) 4. Primary decomposition and decomposition into components. Combinatorial defini- tion of dimension. 5. Regular functions. Complete the algebraic-geometric dictionary (equivalence of cat- egories). A whisper about schemes. 6. Rational functions. 7. Projective Varieties 8. Do projection and elimination. Use it to define the dimension of a variety. Prove the weak Nullstellensatz. 9. Appendix on Algebra. 1.1 Affine Varieties The richness of algebraic geometry as a mathematical discipline comes from the interplay of algebra and geometry, as its basic objects are both geometrical and algebraic. The vivid intuition of geometry is expressed with precision via the language of algebra. Symbolic and numeric manipulation of algebraic objects give practical tools for applications. Let F be a field, which for us will be either the complex numbers C, the real numbers R, or the rational numbers Q. These different fields have their individual strengths and weaknesses. The complex numbers are algebraically closed; every univariate polnomial 1 2 CHAPTER 1. VARIETIES has a complex root. Algebraic geometry works best when using an algebraically closed field, and most introductory texts restrict themselves to the complex numbers. However, quite often real number answers are needed, particularly in applications. Because of this, we will often consider real varieties and work over R. Symbolic computation provides many useful tools for algebraic geometry, but it requires a field such as Q, which can be represented on a computer. The set of all n-tuples (a1,...,an) of numbers in F is called affine n-space and written n n n n A or AF when we want to indicate our field. We write A rather than F to emphasize that we are not doing linear algebra. Let x1,...,xn be variables, which we regard as n coordinate functions on A and write F[x1,...,xn] for the ring of polynomials in the variables x1,...,xn with coefficients in the field F. We may evaluate a polynomial f n ∈ F[x1,...,xn] at a point a A to get a number f(a) F, and so polynomials are also functions on An. We make∈ the main definition of this book.∈ Definition. An affine variety is the set of common zeroes of a collection of polynomials. Given a set S F[x1,...,xn] of polynomials, the affine variety defined by S is the set ⊂ (S) := a An f(a) = 0 for f S . V { ∈ | ∈ } This is a (affine) subvariety of An or simple a variety. If X and Y are varieties with Y X, then Y is a subvariety of X. The empty set = (1) and affine⊂ space itself An = (0) are varieties. Any linear or affine subspace L∅ of VAn is a variety. Indeed, L has anV equation Ax = b, where A is a matrix and b is a vector, and so L = (Ax b) is defined by the linear polynomials which form the rows of Ax b. An importantV − special case of this is when L = a is a n − { } point of A . Writing a =(a1,...,an), then L is defined by the equations xi ai = 0 for − i = 1,...,n. Any finite subset Z A1 is a variety as Z = (f), where ⊂ V f := (x z) − z∈Z Y is the monic polynomial with simple zeroes in Z. A non-constant polynomial p(x, y) in the variables x and y defines a plane curve 2 1 1 (p) A . Here are the plane cubic curves (p + 20 ), (p), and (p 20 ), where pV(x, y)⊂ := y2 x3 x2. V V V − − − 1.1. AFFINE VARIETIES 3 The set of four points ( 2, 1), ( 1, 1), (1, 1), (1, 2) in A2 is a variety. It is the intersection of an ellipse ({x2−+y2− xy −3) and a− hyperbola} (3x2 y2 xy+2x+2y 3). V − − V − − − (3x2 y2 xy + 2x + 2y 3) V − − − (1, 2) ( 1, 1) (x2 + y2 xy 3) − V − − ( 2, 1) (1, 1) − − − A quadric is a variety defined by a single quadratic polynomial. In A2, these are the plane conics (circles, ellipses, parabolas, and hyperbolas in R2) and in R3, these are the spheres, ellipsoids, paraboloids, and hyperboloids. Figure 1.1 shows a hyperbolic paraboloid (xy + z) and a hyperboloid of one sheet (x2 x + y2 + yz). V V − z z x x (xy + z) y (x2 x + y2 + yz) y V V − Figure 1.1: Two hyperboloids. These last three examples, finite subsets of A1, plane curves, and quadrics, are varieties defined by a single polynomial and are called hypersurfaces. Any variety is an intersection of hypersurfaces, one for each polynomial defining the variety. The quadrics of Figure 1.1 meet in the variety (xy + z, x2 x + y2 + yz), which is shown on the right in Figure 1.2. This intersectionV is the union− of two space curves. One is the line x = 1, y + z = 0, while the other is the cubic space curve which has parametrization (t2, t,t3). − 2 3 2 2 1 2 2 2 The intersection of the hyperboloid x +(y 2 ) z = 4 with the sphere x +y +z = 4 is a single space curve (drawn on the sphere).− If we− instead intersect the hyperboloid with the sphere centred at the origin having radius 1.9, then we obtain the space curve on the 4 CHAPTER 1. VARIETIES z z x x y y Figure 1.2: Intersection of two quadrics. right below. The product V W of two varieties V and W is again a variety. Suppose that V An × m ⊂ is defined by the polynomials f1,...,fs F[x1,...,xn] and the variety W A is defined ∈ n m ⊂n+m by the polynomials g1,...,gt F[y1,...,ym]. Then X Y A A = A is defined ∈ × ⊂ × by the polynomials f1,...,fs,g1,...,gt F[x1,...,xn, y1,...,ym]. ∈ The set Matn×n or Matn×n(F) of n n matrices with entries in F is identified with the 2 affine space An . The special linear group× is the set of matrices with determinant 1, SLn := M Matn×n det M = 1 = (det 1) . { ∈ | } V − 2 We will show that SLn is smooth, irreducible, and has dimension n 1. (We must first, of course, define these notions.) − We also point out some subsets of An which are not varieties. The set Z of integers is not a variety. The only polynomial vanishing at every integer is the zero polynomial, whose variety is all of A1. The same is true for any other infinite subset of A1, for example, the infinite sequence 1 n = 1, 2,... is not a subvariety of A1. { n | } Other subsets which are not varieties (for the same reasons) include the unit disc in 1.2. THE ALGEBRA-GEOMETRY DICTIONARY I: IDEAL-VARIETY CORRESPONDENCE5 R2, (x, y) R2 x2 + y2 1 or the complex numbers with positive real part. { ∈ | ≤ } y 1 i x 10 1 z Re(z) 0 1 1 − { | ≥ } − 1 R2 i C − − unit disc Sets like these last two which are defined by inequalities involving real polynomials are called semi-algebraic. We will study them later. 1.2 The algebra-geometry dictionary I: ideal-variety correspondence We defined varieties (S) associated to sets S F[x1,...,xn] of polynomials, V ⊂ (S) = a An f(a) = 0 for all f S . V { ∈ | ∈ } We would like to invert this association. Given a subset Z of An, consider the collection of polynomials that vanish on Z, (Z) := f F[x1,...,xn] f(z) = 0 for all z Z . I { ∈ | ∈ } The map reverses inclusions so that Z Y implies (Z) (Y ). TheseI two inclusion-reversing maps ⊂ I ⊃ I V n Subsets S of F[x1,...,xn] −−→ Subsets Z of A (1.1) { } ←−−I { } form the basis of the algebra-geometry dictionary of affine algebraic geometry. We will refine this correspondence to make it more precise. An ideal is a subset I F[x1,...,xn] which is closed under addition and under ⊂ muntiplication by polynomials in F[x1,...,xn]: If f,g I then f + g I and if we ∈ ∈ also have h F[x1,...,xn], then hf I. The ideal S generated by a subset S of ∈ ∈ h i F[x1,...,xn] is the smallest ideal containing S. This is the set of all expressions of the form h1f1 + + hmfm ··· where f1,...,fm S and h1,...,hm F[x1,...,xn]. We work with ideals because of f, g, and h are polynomials∈ and a An∈ with f(a) = g(a) = 0, then (f + g)(a) = 0 and ∈ (hf)(a) = 0. Thus (S)= ( S ), and so we may restrict to the ideals of F[x1,...,xn]. In fact, we lose nothingV if weV restricth i the left-hand-side of theV correspondence (1.1) to the ideals of F[x1,...,xn]. 6 CHAPTER 1. VARIETIES n Lemma 1.2.1 For any subset S of A , (S) is an ideal of F[x1,...,xn]. I Proof. Let f,g (S) be two polynomials which vanish at all points of S. Then f + g ∈ I vanishes on S, as does hf, where h is any polynomial in F[x1,...,xn]. This shows that (S) is an ideal of F[x1,...,xn]. I When S is infinite, the variety (S) is defined by infinitely many polynomials. Hilbert’s V basis Theorem tells us that only finitely many of these polynomials are needed. Hilbert’s Basis Theorem. Every ideal of F[x1,...,xn] is finitely generated. I We defer the proof of this fundamental result until we discuss Gr¨obner bases.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    24 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us