jagomart
digital resources
picture1_Geometry Pdf 168133 | Bruce631notes


 182x       Filetype PDF       File size 0.22 MB       Source: www.math.lsa.umich.edu


File: Geometry Pdf 168133 | Bruce631notes
algebraic geometry i base on lectures given by prof karen e smith notes by david j bruce thesenotesfollowafirstcourseinalgebraicgeometrydesignedforsecondyeargraduatestudents at the university of michigan the recommended texts accompanying this course include ...

icon picture PDF Filetype PDF | Posted on 25 Jan 2023 | 2 years ago
Partial capture of text on file.
                                                                Algebraic Geometry I
                                                        Base on lectures given by: Prof. Karen E. Smith
                                                                    Notes by: David J. Bruce
                    Thesenotesfollowafirstcourseinalgebraicgeometrydesignedforsecondyeargraduatestudents
                        at the University of Michigan. The recommended texts accompanying this course include Basic
                         Algebriac Geometry I by Igor R. Shafarevich, Algebraic Geometry, A First Course by Joe Harris, An
                      Invitation to Algebraic Geometry by Karen Smith, and Algebraic Geometry by Robin Hartshorne. These
                     notesweretypedduringclassandtheneditedsomewhat,andsotheymaynotbeerrorfree. Please
                              email me any comments, corrections, or suggestions you have at djbruce@umich.edu.
                                                             University of Michigan , Fall 2013
                                                                    TableofContents
                    1 FirstPrinciples                                                                                                          2
                        1.1   Introductory Remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .           2
                        1.2   Algebraic Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .         2
                        1.3   SomeAlgebraicRemarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .               5
                        1.4   TheZariski Topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .            6
                    2 BuildingOurAlgebra-GeometryDictionary                                                                                    8
                        2.1   Functions vs. Expressions        . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .     8
                        2.2   Coordinate Rings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .           9
                        2.3   Hilbert’s Nullstellensatz      . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .   10
                                                                                 1
               2                                                                                   DavidJ. Bruce
                                                    1.   First Principles
               1.1   IntroductoryRemarks
               What is algebraic geometry? A short answer to this question is that algebraic geometry is the study of
               algebraic varieties. Of course this begs the question: What is an algebraic variety?
               Roughly speaking an algebraic variety is a geometric object modeled on zero sets of polynomials. By geo-
               metric object we mean that it is a topological space with some additional structure. A few examples of
               geometric objects are:
                    • smooth manifolds whose additional structure is a differentiable structure–the ability to differenti-
                       ate functions and talk about tangent spaces.
                    • complexmanifoldswhoseadditionalstructureisaholomorphicstructure,
                    • RiemannianmanifoldswhoseadditionalstructureisaRiemannmetric
               Asaslightforeshadowingofthingstocome,wenotethatthesefirsttwoobjectscanbedescribedsuccinctly
               as a topological space with a sheaf of rings of functions on that space. A sheaf R of rings of functions on
               a topological space X is simply a way to assign to each open set U some natural class of functions R(U).
               ThesetR(U)shouldformaring(undertheusualfunctionpointwiseadditionandmultiplication),andthe
               restriction of a function in R(U) to a smaller open set V should be in R(V). One additional axiom—the
               sheaf axiom— is imposed to ensure that are functions are defined by “local properties”. Without getting
               formal, we look at a few examples:
               Example 1.1.1. If X is a topological space then the continuous functions (say, to R) form a sheaf of rings
               C0. For every open subset U ⊂ X, the set of continuous real valued functions on U, denoted C0(U), forms
                 X                                                                                    X
               a ring under pointwise addition and multiplication of functions. The restriction of a continuous function
               to a smaller open set is also continuous. Finally, the sheaf axiom in this case says that a function U → R is
               continuous if and only if if it continuous in a neighborhood of each point of U. The sheaf C0 captures a lot
                                                                                                  X
               of the geometry of a topological space. In fact, if X is a mildly nice space, say compact and Hausdorff, then
               entire space and its topology is determined solely by C0(X)!
                                                                 R
               Example 1.1.2. If X is not just a topological space, but is also a smooth manifold then there is a sheaf of
               rings of smooth R-valued functions on X. If U ⊂ X is an open subset, then the set of smooth R-valued
               functions on U denoted C∞(U) has a natural ring structure, and restriction provided a natural ring homo-
                           ∞        ∞ X
               morphism C (U) → C (V) whenever V ⊂ U are open sets. Again, the sheaf axiom is satisfied because a
                           X        X
               function U → R is smooth if and only if it is smooth in a neighborhood of each point in U. Of course, in
               this above example we could replace smooth with k-times continuously differentiable function.
               Example1.1.3. Let A be the sheaf of analytic functions on C (or any complex manifold), assigning to each
               opensetU theringofanalyticfunctionsA(U)onU. Again,restrictiontoasmallersetwillalsobeanalytic,
               so we have natural ring homomorphism A(U) → A(V), and the sheaf axiom is satisfied since analyticity
               canbecheckedlocallyinaneighborhoodofeachpoint.
               In a similar way, we will soon understand an algebraic variety (over, say, the field k) to be a topological
               space X with sheaf of rings of functions (to k) on it, denoted OX, called the sheaf of regular functions.
                                                                                                            n
               However, unlike the case of smooth manifolds, where the local picture is always just an open set in R , an
               algebraic variety can have considerably variable and interesting local structure. So we will spend a good
               deal of time understanding first the local picture of an algebraic variety.
               1.2   AlgebraicSets
               Weneed to formalize and understand what “modeled on zero sets of polynomials” actually means. The
               local picture of an algebraic variety will be an algebraic set:
               Definition 1.2.1. Fix a ground field k. An algebraic set is the common zero set in kn of a collection of
               polynomials {f }   in k[x ,...,x ].
                             λ λ∈Λ     1     n                 2
                MATH631                                                                                              3
                Stated another way, an algebraic set is a subset of kn of the form:
                                       V({f }   ) := {(a ,...,a ) ∈ kn |f (a ,...,a ) = 0, ∀λ ∈ Λ} ⊂ k2
                                           λ λ∈Λ      1     n       λ 1      n
                where {f }    is some subset of polynomials in k[x ,...,x ]. Note that in the definition, this set of polyno-
                        λ λ∈Λ                                    1     n
                mials need not be finite or even countable for that matter.
                Example1.2.1. Manyofthegraphsoffunctionscommontousfromhighschoolalgebraareinfactalgebraic
                sets. For example, the unit circle is given by the algebraic set V(x2 +y2 −1) (see Figure 1). The hyperbola
                y = 1/x is also an algebraic set since it is given by V(xy −1) (see Figure 2). Below we depict what these
                algebraic sets look like if we take out ground field to be the real numbers. In general we would prefer
                to work over an algebraically closed field, and so it is more common for us to be thinking about these as
                algebraic sets in C2. However, picturing C2 or C3 is quite difficult so we want to visualizing algebraic sets
                wewillalmostalwaysdrawourpicturesoverR.
                                                                 y
                                                                                           x
                                                        Figure 1. V(x2+y2−1
                Many familiar three dimensional surfaces are also algebraic sets. For example, the ‘unit’ cone along the
                z-axis is given by the algebraic set V(x2 +y2 −z2) (see Figure 3). Notice at the origin this algebraic set is
                not a smooth manifold since it is singular. This is our first example of showing how the local properties of
                algebraic sets can be quite interesting!
                                                                  3
              4                                                                         DavidJ. Bruce
                                                       y
                                                               (x,1/x)
                                                                              x
                                                                  2
                                               Figure 2. V(xy−1)⊂R
                                                          z
                                             Figure 3. V(x2+y2−z2)⊂R3
                                                        4
The words contained in this file might help you see if this file matches what you are looking for:

...Algebraic geometry i base on lectures given by prof karen e smith notes david j bruce thesenotesfollowafirstcourseinalgebraicgeometrydesignedforsecondyeargraduatestudents at the university of michigan recommended texts accompanying this course include basic algebriac igor r shafarevich a first joe harris an invitation to and robin hartshorne these notesweretypedduringclassandtheneditedsomewhat andsotheymaynotbeerrorfree please email me any comments corrections or suggestions you have djbruce umich edu fall tableofcontents firstprinciples introductory remarks sets somealgebraicremarks thezariski topology buildingouralgebra geometrydictionary functions vs expressions coordinate rings hilbert s nullstellensatz davidj principles introductoryremarks what is short answer question that study varieties begs variety roughly speaking geometric object modeled zero polynomials geo metric we mean it topological space with some additional structure few examples objects are smooth manifolds whose die...

no reviews yet
Please Login to review.