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

Size: px
Start display at page:

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 k-linear 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 one-to-one 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 one-to-one 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 k-vector space that contains MP 2 as a subspace, and the quotient space M P /MP 2 is then also a k-vector 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 k-vector 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 k-vector 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, Springer-Verlag, [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

### 10. 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

### ABSTRACT 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 n-space the collection A n k of points P = a 1, a,..., a

### where 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

### CHEVALLEY 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

### COMPLEX 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

### Introduction 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

### Introduction 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

### (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 k-algebra. In class we have seen that the dimension theory of A is linked to the

### 11. 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

### Here is another way to understand what a scheme is 1.GivenaschemeX, and a commutative ring R, the set of R-valued 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 R-valued points X(R) =Hom Schemes (Spec R, X) This is

### INTRODUCTION 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. Non-singularity:

### Algebraic 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

### 4. Images of Varieties Given a morphism f : X Y of quasi-projective 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 quasi-projective 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

### DIVISORS 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

### 9. 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

### Resolution 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.

### Exercise Sheet 7 - Solutions

Algebraic Geometry D-MATH, 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

### Math 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

### MATH 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

### 12. 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

### mult 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 quasi-projective variety

### Vector 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 7-9 December 2010 1 The notion of vector bundle In affine geometry,

### AN 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,

### Commutative 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

### I(p)/I(p) 2 m p /m 2 p

Math 6130 Notes. Fall 2002. 10. Non-singular 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

### div(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.

### 7 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

### Homework 2 - Math 603 Fall 05 Solutions

Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether

### SPACES 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

### 3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. 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

### INTRODUCTION 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

### NOTES 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

### Math 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

### HARTSHORNE 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

### Algebraic 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 ) :

### LECTURE 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 non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion

### Algebraic 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

### ALGEBRAIC 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

### Math 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

### Secant 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

### 12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism 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 A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s

### A 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

### ADVANCED 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

### 3. 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

### Oral 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

### Course 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...............................

### ALGEBRAIC 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

### MAKSYM 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 if-and-only-if criterion for direct sum decomposability of a smooth homogeneous

### NONSINGULAR 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

### SPACES 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

### COMMUTING 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 d-tuples of commuting n n matrices that

### ALGEBRAIC 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

### BEZOUT 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

### Introduction 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

### ALGEBRAIC GEOMETRY CAUCHER BIRKAR

ALGEBRAIC GEOMETRY CAUCHER BIRKAR Contents 1. Introduction 1 2. Affine varieties 3 Exercises 10 3. Quasi-projective varieties. 12 Exercises 20 4. Dimension 21 5. Exercises 24 References 25 1. Introduction

### Algebraic 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

### 1 Flat, Smooth, Unramified, and Étale Morphisms

1 Flat, Smooth, Unramified, and Étale Morphisms 1.1 Flat morphisms Definition 1.1. An A-module M is flat if the (right-exact) functor A M is exact. It is faithfully flat if a complex of A-modules P N Q

### CHAPTER 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

### 5 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

### Algebraic 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,

### ALGEBRAIC 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

### On 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

### CHAPTER 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

### MATH 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

### A 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

### 1.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.

### Summer 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

### THE JORDAN-BROUWER SEPARATION THEOREM

THE JORDAN-BROUWER 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

### ARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES

ARITHMETICALLY COHEN-MACAULAY 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

### Dedekind 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 Riemann-Roch theorem. The main theorem shows that if K/F is a finite

### Model 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

### Polynomials, 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

### Pure 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

### Basic Algebraic Geometry 1

Igor R. Shafarevich Basic Algebraic Geometry 1 Second, Revised and Expanded Edition Springer-Verlag Berlin Heidelberg New York London Paris Tokyo HongKong Barcelona Budapest Table of Contents Volume 1

### Math 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 K-vector space, : V V K. Recall that

### Math 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

### 15 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.

### k 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

### Kernel and range. Definition: A homogeneous linear equation is an equation of the form A v = 0

Kernel and range Definition: The kernel (or null-space) 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 one-to-one

### arxiv: v1 [math.ag] 14 Mar 2019

ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIH-WEI CHANG AND SHIN-YAO JOW Abstract. Let be a complete variety of dimension n over an algebraically

### Dimension 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.

### Algebraic 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

### Projective 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

### LECTURE 6: THE ARTIN-MUMFORD EXAMPLE

LECTURE 6: THE ARTIN-MUMFORD EXAMPLE In this chapter we discuss the example of Artin and Mumford [AM72] of a complex unirational 3-fold which is not rational in fact, it is not even stably rational). As

### Exercises 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

### Parameterizing 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.

### Math 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

### MODULI 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

### A 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

### Math 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

### 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

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

### (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

### On 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

### APPENDIX 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

### A 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

### ALGEBRAIC 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

### A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.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.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838