Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013


 Julius Owen
 3 years ago
 Views:
Transcription
1 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field Tangent spaces and hypersurfaces For any polynomial f k[x 1,..., x n ] and point P = (a 1,..., a n ) A n we define the affine linear form n f f P (x 1,..., x n ) := (P )(x i a i ). x i The zero locus of f P in A n is an affine hyperplane in A n, a subvariety isomorphic to A n 1. Note that f P (P ) = 0, so the zero locus contains P. Definition Let P be a point on an affine variety V. The tangent space of V at P is the variety T P (V ) defined by the ideal {f p : f I(V )}. i=1 It is clear that T p (V ) is a variety; indeed, it is the nonempty intersection of a set of affine hyperplanes in A n and therefore an affine subspace of A n isomorphic to A d, where d = dim T P (V ). Note that the definition of T P (V ) does not require us to choose a set of generators for I(V ), but for practical applications we want to be able to compute T P (V ) in terms of a finite set of generators for I(V ). The following lemma shows that we can do this, and, most importantly, it does not matter which set of generators we pick. Lemma Let P be a point on an affine variety V. If f 1,..., f m generate I(V ), then the corresponding affine linear forms f 1,P,..., f m,p generate I(T P (V )). Proof. Let g = h i f i be an element of I(V ). Applying the product rule and the fact that f i,p (P ) = 0 yields g P = i ( hi (P )f i,p + h i,p f i (P ) ) = h i (P )f i,p, (1) which is an element of the ideal (f 1,P,..., f m,p ). Thus I(T p (V )) = (f 1,P,..., f m,p ). When considering the tangent space of a variety at a particular point P, we may assume without loss of generality that P = (0,..., 0), since we can always translate the ambient affine space A n ; this is just a linear change of coordinates (indeed, this is the very definition of affine space, it is a vector space without a distinguished origin). We can then view the affine subspace T P (V ) A n as a linear subspace of the vector space k n. The affine linear forms f P are then linear forms on k n, equivalently, elements of the dual space (k n ). Recall from linear algebra that the dual space (k n ) is the space of linear functionals λ: k n k. The orthogonal complement S (k n ) of a subspace S k n is the set of linear functionals λ for which λ(p ) = 0 for all P S; it is a subspace of (k n ), and since k n has finite dimension n, we have dim S + dim S = n. Theorem Let P be a point on an affine variety V A n with ideal I(V ) = (f 1,..., f m ). If we identify A n with the vector space k n with origin at P, the subspace of (k n ) spanned by the linear forms f 1,P,..., f m,p is T P (V ), the orthogonal complement of T p (V ). i Andrew V. Sutherland
2 Proof. This follows immediately from Lemma 17.2 and its proof; the set of linear forms in I(T P (V )) is precisely the set of linear forms that vanish at every point in T p (V ), which, by definition, is the orthogonal complement TP. Moreover, we see from (1) that every linear form in I(T P (V )) is a klinear combination of f 1,P..., f m,p. The vector space T P (V ) is called the cotangent space of V at P. As noted above, as a variety, T P (V ) is isomorphic to some A d, where d = dim T P (V ), and it follows that the dimenstion of T P (V ) as a vector space is the same as its dimension as a variety, since dim A d = d = dim k k d. The dimension of T P (V ) is then n d. Recall from Lecture 13 the Jacobian matrix f 1 f x 1 (P ) 1 x m (P ) J P = J P (f 1,..., f m ) :=... f m f x 1 (P ) n x m (P ) For a variety V with I(V ) = (f 1,..., f m ), we defined a point P V to be smooth (or nonsingular) precisely when rank J P = n dim V. Viewing J P as the matrix of a linear transformation from (k n ) to (k n ) whose image is T P (V ), we obtain the following corollary of Theorem Corollary Let P be a point on an affine variety V A n with I(V ) = (f 1,..., f m ), and let J P = J P (f 1,..., f m ). Then dim T P (V ) = rank J P and dim T P (V ) = n rank J P. In particular, the rank of J P does not depend on the choice of generators for I(V ) and P is a smooth point of V if and only if dim T P = dim V. Remark For projective varieties V we defined smooth points P as points that are smooth in all (equivalently, any) affine part containing P. One can also define tangent spaces and Jacobian matrices for projective varieties directly using generators for the homogeneous ideal of V. This is often more convenient for practical computations. Corollary makes it clear that, as claimed in Lecture 13, our notion of a smooth point P V is well defined; it does not depend on which generators f 1,..., f m of I(V ) we use to compute J P, or even on the number of generators. Now we want to consider what can happen when dim T P (V ) dim V. Intuitively, we would should expect that dim T P (V ) is then strictly greater than dim V ; this is easy to see when V is defined by a single equation, since then J P (f) has just one row and its rank is either 0 or 1. We will prove that we always have dim T P (V ) dim V by reducing to this case. Definition A variety V for which I(V ) is a nonzero principal ideal is a hypersurface. Lemma Every hypersurface in A n or P n has dimension n 1. Proof. Let V A n be a hypersurface with I(V ) = (f) for some nonzero f k[x 1,..., x n ]. We must have dim V n 1, since V A n. Let φ: k[x 1,..., x n ] k[x 1,..., x n ]/(f) be the quotient map. We must have f k, since V, so deg xi f > 0 for some x i, say x 1. If dim V < n 1 then the transcendence degree of k(v ) is less than n 1, therefore φ(x 2 ),..., φ(x n ) must be algebraically dependent as elements of k(v ). Thus there exists g k[x 2,..., x n ] such that g(φ(x 2 ),..., φ(x n )) = 0. But then φ(g) = 0, so g ker φ = (f). But this is a contradiction, since deg x1 g = 0. So dim V = n 1. If V P n, then one of its affine parts V i is a hypersurface in A n, and then dim V = dim V i = n 1.
3 The converse to Lemma 17.7 is true; every variety of codimension 1 is a hypersurface. This follows from the general fact that every variety is birationally equivalent to a hypersurface. Recall that a function field F/k if any finitely generated extension; the dimension of a function field is its transcendence degree. Theorem Let F/k be a function field of dimension n. Then there exist algebraically independent elements α 1,..., α n F and an element α n+1 algebraic over k(α 1,..., α m ) such that F = k(α 1,..., α n+1 ). The following proof is adapted from [1, App. 5, Thm. 1]. Proof. Let γ 1,..., γ m be a set of generators for F/k of minimal cardinality m, ordered so that γ 1,..., γ n is a transcendence basis (every set of generators contains a transcendence basis). If m = n then we may take γ n+1 = 0 and we are done. Otherwise γ n+1 is algebraic over k(γ 1,..., γ n ), and we claim that in fact m = n + 1 and we are also done. Suppose m > n + 1. Let f k[x 1,..., x n+1 ] be irreducible with f(γ 1,..., γ n+1 ) = 0; such an f exists since γ 1,..., γ n+1 are algebraically dependent. We must have f/ x i 0 for some x i ; if not than we must have char(k) = p > 0 and f = g(x p 1,..., xp n+1 ) = g p (x 1,..., x n+1 ) for some g k[x 1,..., x n+1 ], but this is impossible since f is irreducible. It follows that γ i is algebraic, and in fact separable, over K = k(γ 1,..., γ i 1, γ i+1,..., γ n+1 ); the irreducible polynomial f(γ 1,..., γ i 1, x i, γ i+1,..., γ n+1 ) has γ i as a root, and its derivative is nonzero. Now γ m is also algebraic over K, and it follows from the primitive element theorem [2, 6.10] that K(γ i, γ m ) = K(δ) for some δ K. 1 But this contradicts the minimality of m, so we must have m = n + 1 as claimed. Remark Theorem 17.8 holds for any perfect field k; it is not necessary for k to be algebraically closed. Theorem Every affine (resp. projective) variety of dimension n is birationally equivalent to a hypersurface in A n+1 (resp. P n+1 ). Proof. Two projective varieties are birationally equivalent if and only if all their nonempty affine parts are, and the projective closure of a hypersurface is a hypersurface, so it suffices to consider affine varieties. Recall from Lecture 15 that varieties are birationally equivalent if and only if their function fields are isomorphic, and it follows from Theorem 17.8 that every function field arises as the function field of a hypersurface: if k(v ) = k(γ 1,..., γ n+1 ) with γ 1,..., γ n ) algebraically independent, then there exists an irreducible polynomial f in k[x 1,..., x n+1 ] for which f(γ 1,..., γ n+1 ) = 0, and then V is birationally equivalent to the zero locus of f in A n+1. Corollary For any point P on an affine variety V we have dim T P (V ) dim V. Corollary The set of singular points of a variety is a closed subset; equivalently, the set of nonsingular points is a dense open subset. Proof. It suffices to prove this for affine varieties. So let V A n be an affine variety with ideal (f 1,..., f m ), and for any P V let J P = J P (f 1,..., f m ) be the Jacobian matrix. Then Sing(V) := {P: dim T P (V) > dim V} = {P: rank J P < n dim V} 1 As noted in [2], to prove K(α, β) = K(δ) for some δ K(α, β), we only need one of α, β to be separable.
4 is the set of singular points on V. Let r = n dim V. We have rank J P < r if and only if every r r minor of J P has determinant zero. If we now consider the matrix of polynomials ( f i / x j ), the determinant of each of its r r minors is a polynomial in k[x 1,..., x n ], and Sing(V) is the intersection of V with the zero locus of all these polynomials. Thus Sing(V) is an algebraic set, hence closed. Recall the onetoone correspondence between points P = (a 1,..., a n ) in A n and maximal ideals M P = (x 1 a 1,..., x n a n ) of k[a n ]. If V A n is an affine variety, then the maximal ideals m P of its coordinate ring k[v ] = k[a n ]/I(V ) are in onetoone correspondence with the maximal ideals M P of k[a n ] that contain I(V ); these are precisely the maximal ideals M P for which P V. If we choose coordinates so that P = (0,..., 0), then M P is a kvector space that contains MP 2 as a subspace, and the quotient space M P /MP 2 is then also a kvector space. Indeed, its elements correspond to (cosets of) linear forms on k n. We may similarly view m P, m 2 P, and m P /m 2 P as kvector spaces, and this leads to the following theorem. Theorem Let P be a point on an affine variety V. Then T P (V ) m P /m 2 P. Proof. As above we assume without loss of generality that P = (0,..., 0). Then M P consists of the polynomials in k[x 1,..., x n ] for which each term has degree at least 1 (equivalently, constant term 0). We now consider the linear transformation D : M P (k n ) that sends f M P to the linear form f P (k n ). This map is surjective, and its kernel is MP 2 ; we have f P = 0 if and only if f/ x i (0) = 0 for i = 1,..., n, and this occurs precisely when every term in f has degree at least 2, equivalently, f MP 2. It follows that M P /M 2 P (k n ). The restriction map (k n ) (T P ) that restricts the domain of a linear form on k n to T P (V ) is surjective, and composing this with D yields a surjective linear transformation d: M P T P (V ) whose kernel we claim is equal to MP 2 + I(V ) (this is a sum of ideals in k[x 1,..., x n ] that is clearly a subset of M P ). A polynomial f M P lies in ker d if and only if the restriction of f P to T P (V ) is the zero function, which occurs if and only if f P = g P for some g I(V ), since T P the zero locus of g P for g I(V ). But this happens if and only if f g lies ker D = MP 2, equivalently, f M P 2 + I(V ). We therefore have T P (V ) M P MP 2 + I(V ) M P /I(V ) (MP 2 + I(V )/I(V ) = M P /I(V ) MP 2 /I(V ) m P /m 2 P. Corollary The smooth points P on a variety V are precisely the points P for which dim m P /m 2 P = dim V = dim k[v ] The three dimensions in the corollary above are, respectively, the dimension of m P /m 2 P as a kvector space, the dimension of V as a variety, and the Krull dimension of the coordinate ring k[v ]; as noted in Lecture 13, we always have dim V = dim k[v ]. The key
5 point is that we now have a completely algebraic notion of smooth points. If R is any affine algebra, the maximal ideals m of R correspond to smooth points on a variety with coordinate ring R, and we can characterize the smooth maximal ideals as those for which dim k m/m 2 = dim R, where k = R m /m is now the residue field of the localization of R at m. Smooth varieties then correspond to affine algebras R in which every maximal ideal is smooth. References [1] I. R. Shafarevich, Basic algebraic geometry, 2nd edition, SpringerVerlag, [2] B. L. van der Waerdan, Algebra, Volume I, 7th edition, Springer, 1991.
Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine nspace the collection A n k of points P = a 1, a,..., a
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #15 10/29/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #15 10/29/2013 As usual, k is a perfect field and k is a fixed algebraic closure of k. Recall that an affine (resp. projective) variety is an
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1
More information(dim Z j dim Z j 1 ) 1 j i
Math 210B. Codimension 1. Main result and some interesting examples Let k be a field, and A a domain finitely generated kalgebra. In class we have seen that the dimension theory of A is linked to the
More information11. Dimension. 96 Andreas Gathmann
96 Andreas Gathmann 11. Dimension We have already met several situations in this course in which it seemed to be desirable to have a notion of dimension (of a variety, or more generally of a ring): for
More informationHere is another way to understand what a scheme is 1.GivenaschemeX, and a commutative ring R, the set of Rvalued points
Chapter 7 Schemes III 7.1 Functor of points Here is another way to understand what a scheme is 1.GivenaschemeX, and a commutative ring R, the set of Rvalued points X(R) =Hom Schemes (Spec R, X) This is
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 14
INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 14 RAVI VAKIL Contents 1. Dimension 1 1.1. Last time 1 1.2. An algebraic definition of dimension. 3 1.3. Other facts that are not hard to prove 4 2. Nonsingularity:
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More information4. Images of Varieties Given a morphism f : X Y of quasiprojective varieties, a basic question might be to ask what is the image of a closed subset
4. Images of Varieties Given a morphism f : X Y of quasiprojective varieties, a basic question might be to ask what is the image of a closed subset Z X. Replacing X by Z we might as well assume that Z
More informationDIVISORS ON NONSINGULAR CURVES
DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce
More information9. Birational Maps and Blowing Up
72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense
More informationResolution of Singularities in Algebraic Varieties
Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.
More informationExercise Sheet 7  Solutions
Algebraic Geometry DMATH, FS 2016 Prof. Pandharipande Exercise Sheet 7  Solutions 1. Prove that the Zariski tangent space at the point [S] Gr(r, V ) is canonically isomorphic to S V/S (or equivalently
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More informationMATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS
MATH 63: ALGEBRAIC GEOMETRY: HOMEWORK SOLUTIONS Problem. (a.) The (t + ) (t + ) minors m (A),..., m k (A) of an n m matrix A are polynomials in the entries of A, and m i (A) = 0 for all i =,..., k if and
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationmult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending
2. The canonical divisor In this section we will introduce one of the most important invariants in the birational classification of varieties. Definition 2.1. Let X be a normal quasiprojective variety
More informationVector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle
Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 79 December 2010 1 The notion of vector bundle In affine geometry,
More informationAN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES
AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES DOMINIC L. WYNTER Abstract. We introduce the concepts of divisors on nonsingular irreducible projective algebraic curves, the genus of such a curve,
More informationCommutative algebra 19 May Jan Draisma TU Eindhoven and VU Amsterdam
1 Commutative algebra 19 May 2015 Jan Draisma TU Eindhoven and VU Amsterdam Goal: Jacobian criterion for regularity 2 Recall A Noetherian local ring R with maximal ideal m and residue field K := R/m is
More informationI(p)/I(p) 2 m p /m 2 p
Math 6130 Notes. Fall 2002. 10. Nonsingular Varieties. In 9 we produced a canonical normalization map Φ : X Y given a variety Y and a finite field extension C(Y ) K. If we forget about Y and only consider
More informationdiv(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:
Algebraic Curves/Fall 015 Aaron Bertram 4. Projective Plane Curves are hypersurfaces in the plane CP. When nonsingular, they are Riemann surfaces, but we will also consider plane curves with singularities.
More information7 Orders in Dedekind domains, primes in Galois extensions
18.785 Number theory I Lecture #7 Fall 2015 10/01/2015 7 Orders in Dedekind domains, primes in Galois extensions 7.1 Orders in Dedekind domains Let S/R be an extension of rings. The conductor c of R (in
More informationHomework 2  Math 603 Fall 05 Solutions
Homework 2  Math 603 Fall 05 Solutions 1. (a): In the notation of AtiyahMacdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an Amodule. (b): By Noether
More informationSPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e in a general complete intersection of multidegree
More information3.1. Derivations. Let A be a commutative kalgebra. Let M be a left Amodule. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY. Throughout these notes all rings will be commutative with identity. k will be an algebraically
INTRODUCTION TO ALGEBRAIC GEOMETRY STEVEN DALE CUTKOSKY Throughout these notes all rings will be commutative with identity. k will be an algebraically closed field. 1. Preliminaries on Ring Homomorphisms
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationMath 203A, Solution Set 6.
Math 203A, Solution Set 6. Problem 1. (Finite maps.) Let f 0,..., f m be homogeneous polynomials of degree d > 0 without common zeros on X P n. Show that gives a finite morphism onto its image. f : X P
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationAlgebraic Varieties. Chapter Algebraic Varieties
Chapter 12 Algebraic Varieties 12.1 Algebraic Varieties Let K be a field, n 1 a natural number, and let f 1,..., f m K[X 1,..., X n ] be polynomials with coefficients in K. Then V = {(a 1,..., a n ) :
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for nonstablerationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationMath 121 Homework 4: Notes on Selected Problems
Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W
More informationSecant varieties. Marin Petkovic. November 23, 2015
Secant varieties Marin Petkovic November 23, 2015 Abstract The goal of this talk is to introduce secant varieies and show connections of secant varieties of Veronese variety to the Waring problem. 1 Secant
More information12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an Amorphism then L = φ O P n
12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an Amorphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s
More informationA course in. Algebraic Geometry. Taught by Prof. Xinwen Zhu. Fall 2011
A course in Algebraic Geometry Taught by Prof. Xinwen Zhu Fall 2011 1 Contents 1. September 1 3 2. September 6 6 3. September 8 11 4. September 20 16 5. September 22 21 6. September 27 25 7. September
More informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationOral exam practice problems: Algebraic Geometry
Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE ABOUT VARIETIES AND REGULAR FUNCTIONS.
ALGERAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE AOUT VARIETIES AND REGULAR FUNCTIONS. ANDREW SALCH. More about some claims from the last lecture. Perhaps you have noticed by now that the Zariski topology
More informationMAKSYM FEDORCHUK. n ) = z1 d 1 zn d 1.
DIRECT SUM DECOMPOSABILITY OF SMOOTH POLYNOMIALS AND FACTORIZATION OF ASSOCIATED FORMS MAKSYM FEDORCHUK Abstract. We prove an ifandonlyif criterion for direct sum decomposability of a smooth homogeneous
More informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationSPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e on a general complete intersection of multidegree
More informationCOMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES
COMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES ROBERT M. GURALNICK AND B.A. SETHURAMAN Abstract. In this note, we show that the set of all commuting dtuples of commuting n n matrices that
More informationALGEBRAIC GEOMETRY I  FINAL PROJECT
ALGEBRAIC GEOMETRY I  FINAL PROJECT ADAM KAYE Abstract This paper begins with a description of the Schubert varieties of a Grassmannian variety Gr(k, n) over C Following the technique of Ryan [3] for
More informationBEZOUT S THEOREM CHRISTIAN KLEVDAL
BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
More informationALGEBRAIC GEOMETRY CAUCHER BIRKAR
ALGEBRAIC GEOMETRY CAUCHER BIRKAR Contents 1. Introduction 1 2. Affine varieties 3 Exercises 10 3. Quasiprojective varieties. 12 Exercises 20 4. Dimension 21 5. Exercises 24 References 25 1. Introduction
More informationAlgebraic Varieties. Brian Osserman
Algebraic Varieties Brian Osserman Preface This book is largely intended as a substitute for Chapter I (and an invitation to Chapter IV) of Hartshorne [Har77], to be taught as an introduction to varieties
More information1 Flat, Smooth, Unramified, and Étale Morphisms
1 Flat, Smooth, Unramified, and Étale Morphisms 1.1 Flat morphisms Definition 1.1. An Amodule M is flat if the (rightexact) functor A M is exact. It is faithfully flat if a complex of Amodules P N Q
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More information5 Dedekind extensions
18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
More informationAlgebraic Geometry (Math 6130)
Algebraic Geometry (Math 6130) Utah/Fall 2016. 2. Projective Varieties. Classically, projective space was obtained by adding points at infinity to n. Here we start with projective space and remove a hyperplane,
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationOn the Waring problem for polynomial rings
On the Waring problem for polynomial rings Boris Shapiro jointly with Ralf Fröberg, Giorgio Ottaviani Université de Genève, March 21, 2016 Introduction In this lecture we discuss an analog of the classical
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationA Field Extension as a Vector Space
Chapter 8 A Field Extension as a Vector Space In this chapter, we take a closer look at a finite extension from the point of view that is a vector space over. It is clear, for instance, that any is a linear
More information1.5.4 Every abelian variety is a quotient of a Jacobian
16 1. Abelian Varieties: 10/10/03 notes by W. Stein 1.5.4 Every abelian variety is a quotient of a Jacobian Over an infinite field, every abelin variety can be obtained as a quotient of a Jacobian variety.
More informationSummer Algebraic Geometry Seminar
Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties
More informationTHE JORDANBROUWER SEPARATION THEOREM
THE JORDANBROUWER SEPARATION THEOREM WOLFGANG SCHMALTZ Abstract. The Classical Jordan Curve Theorem says that every simple closed curve in R 2 divides the plane into two pieces, an inside and an outside
More informationARITHMETICALLY COHENMACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES
ARITHMETICALLY COHENMACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen Macaulay vector bundle
More informationDedekind Domains. Mathematics 601
Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the RiemannRoch theorem. The main theorem shows that if K/F is a finite
More informationModel Theory of Differential Fields
Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Model Theory of Differential Fields DAVID MARKER Abstract. This article surveys the model theory of differentially closed fields, an
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationPure Math 764, Winter 2014
Compact course notes Pure Math 764, Winter 2014 Introduction to Algebraic Geometry Lecturer: R. Moraru transcribed by: J. Lazovskis University of Waterloo April 20, 2014 Contents 1 Basic geometric objects
More informationBasic Algebraic Geometry 1
Igor R. Shafarevich Basic Algebraic Geometry 1 Second, Revised and Expanded Edition SpringerVerlag Berlin Heidelberg New York London Paris Tokyo HongKong Barcelona Budapest Table of Contents Volume 1
More informationMath 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )
Math 762 Spring 2016 Homework 3 Drew Armstrong Problem 1. Yoneda s Lemma. We have seen that the bifunctor Hom C (, ) : C C Set is analogous to a bilinear form on a Kvector space, : V V K. Recall that
More informationMath 6140 Notes. Spring Codimension One Phenomena. Definition: Examples: Properties:
Math 6140 Notes. Spring 2003. 11. Codimension One Phenomena. A property of the points of a variety X holds in codimension one if the locus of points for which the property fails to hold is contained in
More information15 Dirichlet s unit theorem
18.785 Number theory I Fall 2017 Lecture #15 10/30/2017 15 Dirichlet s unit theorem Let K be a number field. The two main theorems of classical algebraic number theory are: The class group cl O K is finite.
More informationk k would be reducible. But the zero locus of f in A n+1
Math 145. Bezout s Theorem Let be an algebraically closed field. The purpose of this handout is to prove Bezout s Theorem and some related facts of general interest in projective geometry that arise along
More informationKernel and range. Definition: A homogeneous linear equation is an equation of the form A v = 0
Kernel and range Definition: The kernel (or nullspace) of A is ker A { v V : A v = 0 ( U)}. Theorem 5.3. ker A is a subspace of V. (In particular, it always contains 0 V.) Definition: A is onetoone
More informationarxiv: v1 [math.ag] 14 Mar 2019
ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIHWEI CHANG AND SHINYAO JOW Abstract. Let be a complete variety of dimension n over an algebraically
More informationDimension Theory. Mathematics 683, Fall 2013
Dimension Theory Mathematics 683, Fall 2013 In this note we prove some of the standard results of commutative ring theory that lead up to proofs of the main theorem of dimension theory and of the Nullstellensatz.
More informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationProjective Varieties. Chapter Projective Space and Algebraic Sets
Chapter 1 Projective Varieties 1.1 Projective Space and Algebraic Sets 1.1.1 Definition. Consider A n+1 = A n+1 (k). The set of all lines in A n+1 passing through the origin 0 = (0,..., 0) is called the
More informationLECTURE 6: THE ARTINMUMFORD EXAMPLE
LECTURE 6: THE ARTINMUMFORD EXAMPLE In this chapter we discuss the example of Artin and Mumford [AM72] of a complex unirational 3fold which is not rational in fact, it is not even stably rational). As
More informationExercises for algebraic curves
Exercises for algebraic curves Christophe Ritzenthaler February 18, 2019 1 Exercise Lecture 1 1.1 Exercise Show that V = {(x, y) C 2 s.t. y = sin x} is not an algebraic set. Solutions. Let us assume that
More informationParameterizing orbits in flag varieties
Parameterizing orbits in flag varieties W. Ethan Duckworth April 2008 Abstract In this document we parameterize the orbits of certain groups acting on partial flag varieties with finitely many orbits.
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationMODULI SPACES OF CURVES
MODULI SPACES OF CURVES SCOTT NOLLET Abstract. My goal is to introduce vocabulary and present examples that will help graduate students to better follow lectures at TAGS 2018. Assuming some background
More informationA SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES
A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X
More informationMath 249B. Geometric Bruhat decomposition
Math 249B. Geometric Bruhat decomposition 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ Φ, and let B be the unique
More information14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski
14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski topology are very large, it is natural to view this as
More information(1) is an invertible sheaf on X, which is generated by the global sections
7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one
More informationOn a theorem of Ziv Ran
INSTITUTUL DE MATEMATICA SIMION STOILOW AL ACADEMIEI ROMANE PREPRINT SERIES OF THE INSTITUTE OF MATHEMATICS OF THE ROMANIAN ACADEMY ISSN 0250 3638 On a theorem of Ziv Ran by Cristian Anghel and Nicolae
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationA BRIEF INTRODUCTION TO LOCAL FIELDS
A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters
More informationALGEBRAIC GEOMETRY I, FALL 2016.
ALGEBRAIC GEOMETRY I, FALL 2016. DIVISORS. 1. Weil and Cartier divisors Let X be an algebraic variety. Define a Weil divisor on X as a formal (finite) linear combination of irreducible subvarieties of
More informationA finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759P.792
Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759P.792 Issue Date 20042 Text Version publisher URL https://doi.org/0.890/838
More informationLINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JANHENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
More informationLinear and Bilinear Algebra (2WF04) Jan Draisma
Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 1 Basics We will assume familiarity with the terms field, vector space, subspace, basis, dimension, and direct sums. If you are not sure what these
More information