Topics in Algebra Elementary Algebraic Geometry

Topics in Algebra Elementary Algebraic Geometry

Topics In Algebra Elementary Algebraic Geometry David Marker Spring 2003 Contents 1 Algebraically Closed Fields 2 2 A±ne Lines and Conics 14 3 Projective Space 23 4 Irreducible Components 40 5 B¶ezout's Theorem 51 1 Let F be a ¯eld and suppose f1; : : : ; fm F [X1; : : : ; Xn]. A central problems of mathematics is to study the solutions to2systems of polynomial equations: f1(X1; : : : ; Xn) = 0 f2(X1; : : : ; Xn) = 0 . fm(X1; : : : ; Xn) = 0 where f ; : : : ; fm F [X ; : : : ; Xn]. Of particular interest are the cases when F 1 2 1 is the ¯eld Q of rational numbers, R of real numbers, C of complex numbers or a ¯nite ¯eld like Zp. For example Fermat's Last Theorem, is the assertion that if x; y; z Q, n > 2 and 2 xn + yn = zn; then at least one of x; y; z is zero. When we look at the solution to systems of polynomials over R (or C), we can consider the geometry of the solution set in Rn (or Cn). For example the solutions to X2 Y 2 = 1 ¡ is a hyperbola. There are many questions we can ask about the solution space. For example: i) The circle X2 + Y 2 = 1 is smooth, while the curve Y 2 = X3 has a cusp at (0; 0). How can we tell if the solution set is smooth? ii) If f; g C[X; Y ] how many solutions are there to the system 2 f(X; Y ) = 0 g(X; Y ) = 0? The main theme of the course will be that there are deep connections between the geometry of the solution sets and algebraic properties of the polynomial rings. 1 Algebraically Closed Fields We will primarily be considering solutions to f(X; Y ) = 0 where f is a polyno- mial in two variables, but we start by looking at equations f(X) = 0 in a single variable. In general if f F [X] there is no reason to believe that f(X) = 0 has 2 a solution in F . For example, X 2 2 = 0 has no solution in Q and X 2 + 1 = 0 ¡ has no solution in R. The ¯elds where every nonconstant polynomial has a solution play an important role. De¯nition 1.1 We say that a ¯eld F is algebraically closed if every nonconstant polynomial has a zero in F . 2 The Complex Numbers Theorem 1.2 (Fundamental Theorem of Algebra) The ¯eld C of com- plex numbers is algebraically closed. Although this is a purely algebraic statement. Most proofs of the Funda- mental Theorem of Algebra use ideas from other areas of mathematics, such as Complex Analysis or Algebraic Topology. We will sketch one proof that relies on a central theorem of Complex Analysis. Recall that if z C and z = a + bi where a; b R, we let z = pa2 + b2. 2 2 j j Theorem 1.3 (Liouville's Theorem) Suppose g : C C is a di®erentiable ! function and there is an M such that g(z) < M for all z C, then g is constant. j j 2 Proof of Fundamental Theorem of Algebra Let f C[X]. Suppose f(z) = 0 for all z C. We must show f is constant. 2 6 2 Let g(z) = 1 . Then g : C C is di®erentiable. Suppose f has degree n f(z) ! and n i n an 1 1 a0 1 ¡ f(X) = aiX = anX 1 + + : : : + n : an X an X i=0 X µ ¶ Then f(z) as z and g(z) 0 as z : Thus we can ¯nd r such thatj gj (!z) 1< 1 forj j !z >1r. Thej setj !z : z jrj !is compact.1 Thus there is j j j j f · g M > 0 such that g(z) M if z r. Thus g is bounded on C. By Liouville's Theorem, g is constanj jt·and hencej j ·f is constanj jt. Existence of Algebraically Closed Fields While the complex numbers is the most natural algebraically closed ¯eld, there are other examples. Indeed every ¯eld has an algebraically closed extension ¯eld. The key idea is that even though a nonconstant polynomial does not have a zero in a ¯eld F it will have one in an extension of F . Theorem 1.4 (Fundamental Theorem of Field Theory) If F is a ¯eld and f F [X] is a nonconstant polynomial, there is an extension ¯eld K F con- taining2 a zero of F . ¶ Sketch of Proof Let p F [X] be an irreducible factor of f. It su±ces to ¯nd a zero of p. Since p is irreducible,2 p is a maximal ideal and K = F [X]= p is a ¯eld. By identifying a F withhai+ p , we can view F as a sub¯eld ofh iK. The element ® = X + p 2is a zero of p.h i h i While this might seem arti¯cial, this construction is really quite natural. Indeed if p is an irreducible polynomial of degree n and ® is a zero of p in K, then n 1 ¡ i F (®) = ai® : a0; : : : ; an 1 F ¡ 2 ( i=0 ) X 3 is an extension ¯eld isomorphic to F [X]= p . Any proof that every ¯eld has an algebraicallyh i closed extension needs a little set theory. We will simplify the set theory involved by only considering the countable case. Recall that a set A is countable if there is an onto function f : N A. In this case f(0); f(1); : : : is a listing of A (possibly with repetitions). ! The next lemma summarizes all we will need about countability. Lemma 1.5 i) If A is countable and f : A B is onto, then B is countable. ! ii) N N is countable. iii) If£A is a countable set, then An is countable. n iv) If A0; A1; : : : are countable then n=0 An is countable. Proof S i) If g : N A is onto and f : A B is onto, then f g is onto. ! ! ± ii) De¯ne Á : N N N as follows if x N we can factor x = 2n3my where neither 2 nor 3 divides! y£. Let Á(x) = (n; m2). Then Á is onto. iii) We prove this by induction on n. It is clearly true for n = 1. Suppose An is countable. There are onto functions f : N A and g : A An. Let ! ! h : N N An+1 be the function £ ! h(n; m) = (f(n); g(n)): Then h is onto. By i) and ii) An+1 is countable. iv) Suppose A ; A ; : : : are all countable sets. Let fn : N An be onto. Let 0 1 ! 1 g : N N An £ ! n=0 [ be the function g(n; m) = fn(m). Then g is onto and n1=0 An is onto. S Corollary 1.6 i) If F is a countable ¯eld and f F [X] is nonconstant, we can ¯nd a countable ¯eld K F containing a zero 2of f. ii) If F is a countable ¯eld,¶ then F [X] is countable. Proof i) Let p be an irreducible factor of F . Let ® be a zero of p in an extension ¯eld. If p has degree n, then n 1 ¡ i F (®) = ai® : a0; : : : ; an 1 F ¡ 2 ( i=0 ) X and the map n 1 ¡ i (a0; : : : ; an 1) ai® ¡ 7! i=0 X 4 is a function from F n onto F (®). ii) Let Pn be the polynomials in F [X] of degree at most n. The map n i (a ; : : : ; an) aiX 0 7! i=0 X n is an function from F onto Pn. Thus Pn is countable and F [X] = n1=0 Pn is countable. S We need one more basic lemma. Lemma 1.7 Suppose F0 F1 F2 : : : are ¯elds. Then F = n1=0 Fn is a ¯eld. ⊆ ⊆ ⊆ S Sketch of Proof We ¯rst note that F is closed under addition and multi- plication. If a; b F we can ¯nd n ; n such that a Fn and b Fn . Let 2 0 1 2 0 2 1 n = max(n0; n1). Then a; b Fn and a + b; ab Fn F . Similarly if a F 2 1 2 ⊆ 2 and a = 0, there is an n such that a Fn and a Fn. It is6 easy to check that all of the ¯eld2 axioms hold.2 For example, if a; b; c F , 2 there is an n such that a; b; c Fn. Since Fn is a ¯eld a + (b + c) = (a + b) + c. All of the ¯eld axioms have analogous2 proofs. Lemma 1.8 If F is a countable ¯eld, there is a countable ¯eld K F such that if f F [X] is a nonconstant polynomial, there is ® K such that¶f(®) = 0. 2 2 Proof Since F [X] is countable, we can ¯nd f0; f1; : : : an enumeration of F [X]. We build a sequence of countable ¯elds F F F : : : 0 ⊆ 1 ⊆ 2 ⊆ as follows. Let F0 = F . Given Fi if fi is a constant polynomial let Fi+1 = Fi, otherwise let Fi Fi be a countable extension ¯eld containing a zero of fi. +1 ¶ This is possible by Corollary 1.6. Let K = i1=0 Fi. Then K is a countable ¯eld extending F . If fi F [X], then fi has a zero in Fi Ki. Thus fi has a zero in K. 2 S ⊆ 5 Theorem 1.9 If F is a ¯eld, then there is an algebraically closed K F . ¶ Proof We will prove this only in case F is countable.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    57 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