# Algebraic Geometry. Question: What regular polygons can be inscribed in an ellipse?

Size: px
Start display at page:

Download "Algebraic Geometry. Question: What regular polygons can be inscribed in an ellipse?"

Transcription

1 Algebraic Geometry Question: What regular polygons can be inscribed in an ellipse? 1. Varieties, Ideals, Nullstellensatz Let K be a field. We shall work over K, meaning, our coefficients of polynomials and other scalars will lie in K. Definitions. 1. An affine variety X in A n is the zero locus of a collection of polynomials {f(x 1,..., x n )} in K[x 1,..., x n ]. A projective variety X in P n is the zero locus of a collection of homogeneous polynomials {F (Z 0,..., Z n )} in K[Z 0,..., Z n ]. 2. For a given variety X, the set of all polynomials vanishing on X is an ideal, called the ideal of X and denoted by I(X). In other words, I(X) = (..., f α,...) or I(X) = (..., F α,...), depending on whether the variety is affine or projective. In the second case, the ideal is called homogeneous, i.e. generated by homogeneous polynomials. Conversely, for a given ideal I K[x 1,..., x n ] (or homogeneous I K[Z 0,..., Z n ]), the zero locus of I is denoted by Z(I). Projective varieties can be thought of as completions, compactifications, or closures of affine varieties. Their global properties are usually easier to describe than those of affine varieties. Conversely, affine varieties can be thought of as building blocks of projective varieties (indeed, they constitute an open cover), and hence local properties are easier to describe using affine varieties. However, projective varieties vary nicely in families and hence parametrizing and moduli spaces are usually constructed for projective varieties with certain defining common properties. 3. A ring R is called Noetherian if any inscreasing sequence of ideals terminates, i.e. whenever I j s are ideals in R such that I 1 I 2 I j then for some k 1: I k = I k+1 = I k+2 = 4. An ideal I in a ring R is called radical if whenever f m I (f R, m N), then f I. In other words, I contains all (positive integer) roots of its elements. Theorem 1. The polynomial ring R = K[x 1, x 2,..., x n ] is Noetherian. Consequently, any ideal I of R is finitely generated. In particular, for any affine (or projective) variety X, the ideal I of X is generated by finitely many polynomials. 1

3 for some polynomials g 1, g 2,..., g k. Some other strange things happen over fields, which are not algebraically closed. For example, we would like to call a planar curve any variety X in A 2 which is given by 1 polynomial. However, over R, the curve defined by x 2 + y 2 = 0 is really just a point, while over C (or any algebraically closed fields) it is a pair of intersecting lines. Thus, many interesting and intuitive properties of algebraic varieties hold only over algebraically closed fields. There is an analog of Nullstelensatz for projective varieties (for K = K, of course.) There is one subtle point, though. We call Ir = (Z 0,..., Z n ) the irrelevant ideal in K[Z 0, Z 1,..., Z n ]. Note that Ir is radical, and that Z(Ir) =. Yet, Ir is not the whole ideal of : (1) = K[Z 0, Z 1,..., Z n ], the unit ideal, is the ideal of. Thus, we have two radical ideals competing for the : Z(Ir) = Z((1)) =. The bigger one wins, because I( ) = (1), and we state the Nullstelensatz as follows: Theorem 3. There is a one to one correspondence between the set X of projective varieties X P n and the set R of radical homogeneous ideals minus Ir given by i and j from above. In particular, for J J: { J if Z(J) I(Z(J)) = (1) if Z(J) =. Note further that for a (homogeneous) ideal J, Z(J) = iff J = (1) or J = (Z 0, Z 1,..., Z n ). In both cases, J (Z 0, Z 1,..., Z n ), which can be shown to imply J (Z 0, Z 1,..., Z n ) d for some d > 0. Proposition 1. Let J be a homogeneous ideal. Then Z(J) = iff J contains a power of the irrelevant ideal. In other words, a collection of homogeneous polynomials {F α } will have no common zeros iff the ideal generated by the F α s contains all (homogeneous) polynomials of a certain degree d > 0. 3

4 Examples of Varieties Example 1. Let Q be the (smooth) quadric surface in P 3 given as the zero locus of one homogeneous quadratic equation: Q = Z(Z 0 Z 3 Z 1 Z 2 ). The quadric Q consists of two families of lines, each of which sweeps Q on its own: In terms of the matrix {Z 1 = λz 0, Z 3 = λz 2 } and {Z 2 = µz 0, Z 3 = µz 1 }. M = ( ) Z0 Z 1, Z 2 Z 3 Q is the locus where detm = 0, one family of lines consists of lines where the two column satisfy a given linear relation, the other family where the two rows satisfy a given linear relation. Note that two lines in a family do not intersect (they are skew lines in P 3 ), while any two lines from different families intersect in exactly one point. The latter hints at an alternative description of Q namely as the Cartesian product P 1 P 1. More generally, for any two varieties X and Y, there is a (unique) variety X Y with projection maps π 1 : X Y X and π 2 : X Y Y, the fibers of which are correspondingly copies of Y and of X. The uniqueness of such a variety is ensured by some extra (natural) properties coming from category theory such properties are exactly what we would expect from a variety deserving to be called the product of two varieties. 4

5 The actual construction of this product is given by a (seemingly random) map, called the Segre embedding. For starters, to construct the product P n P m, we define the Segre map by σ n,m : P n [X] P m [Y ] P (n+1)(m+1) 1 [Z] σ n,m ([X 0,..., X n ], [Y 0,..., Y m ]) = [X 0 Y 0,..., X i Y j,..., X n Y m ]. If we label the coordinates on P (n+1)(m+1) 1 [Z] = P N by Z ij for 0 i n and 0 j m, then the image of σ n,m is the zero locus of all possible quadratic equations Z ij Z kl = Z il Z kj. Thus, the image of the Segre map is a variety. Factoring into this the injectivity of σ n,m, allows us to identify the set product P n P m with a subvariety of P N, which is define as the product of P n and P m in the category of varieties. One can show that this particular variety satisfies all the required properties of a product, and by virtue of the uniqueness of the product, it is The product variety P n P m. Now it is not hard to construct the product of any two varieties X and Y : if X P n and Y P m, then X Y is the subvariety of P n P m, satisfying the extra equations coming from X and Y. Example 2. The twisted cubic curve C is the zero locus of three polynomials: C = Z(Z 0 Z 3 Z 1 Z 2, Z 0 Z 2 Z 2 1, Z 1 Z 3 Z 2 2). The twisted cubic C lies on the quadric surface Q, and is a curve of type (2, 1) on Q, i.e. C meets every line in one family in 2 points, and every line in the other family - in 1 point (prove this!) Prove also that the zero locus of any two of the three quadratic polynomials defining C is the union of C and a line on Q meeting C in two points (or being tangent to C). How many such tangent lines to C are there in the family consisting generically of lines meeting C in two points? An alternative description of C is the image of the Veronese embedding of P 1 in P 3 : C = {[X 3, X 2 Y, XY 2, Y 3 ] [X, Y ] P 1 } = ν 3 (P 1 ). Show that this is indeed an embedding, and that its image indeed coincides with the twisted cubic curve C. 5

6 Example 3. What are the hyperplane sections of Q, i.e. P 2 Q, as the hyperplane P 2 varies in P 3? The strategy here is to restrict the equation of Q to the hyperplane P 2, and to realize that a homogeneous quadratic polynomial in 3 variables is either irreducible (smooth plane conic hyperplane section of Q), or factors as the product of two homogeneous linear factors (the hyperplane section here is the union of two intersecting lines in P 2 ). Prove that we will never get the quadratic polynomial to factor as a perfect square of a linear form (i.e. no hyperplane in P 3 intesects Q in a double line ). We push the above considerations an inch further to ask the following question: can we construct a variety H Q which in some reasonable way will be the family of all hyperplane sections of Q? In other words, can we separate all hyperplane sections of Q, so that they do not intersect anymore, but stay as fibers of some map? The answer is YES, yet we have to work a bit to construct this variety. For starters, we can construct the universal hyperplane H in P 3 apriori, we want this to be a variety, representing all hyperplanes in P 3, in other words, H should be a family of all hyperplanes in P 3. The first step is to realize what variety parametrizes these hyperplanes this is the dual (P 3 ), which is really P 3 all over again, by with different coordinates. If P 3 has coordinates [Z 0, Z 1, Z 2, Z 3 ], then a hyperplane in P 3 is given by a linear form W 0 Z 0 + W 1 Z 1 + W 2 Z 2 + W 3 Z 3 = 0 for some fixed [W 0, W 1, W 2, W 3 ] (P 3 ). Thus, the dual (P 3 ) has coordinates W 0, W 1, W 2, W 3 ; points in (P 3 ) correspond to hyperplanes in P 3, and hyperlanes in (P 3 ) correspond to points in P 3. Now, the universal hyperplane H should be defined as a set by H = {[p, H] p P 3, H (P 3 ), p H}. Therefore, we naturally consider H P 3 (P 3 ) - it is the zero locus of a single bihomogeneous polynomial: W 0 Z 0 + W 1 Z 1 + W 2 Z 2 + W 3 Z 3 = 0. 6

7 In terms of the coordinates T ij on P 15, in which P 3 (P 3 ) is embedded, this polynomial reads: T 00 + T 11 + T 22 + T 33 = 0. We conclude that H is a subvariety of the product P 3 (P 3 ) ; more precisely, it is a hyperplane section of H inside P 15. Finally, to construct the universal hyperplane section H Q of the quadric Q, we only have to intersect with H: H Q = Q H P 3 (P 3 ). Since the product on the right has two natural projections π 1 and π 2 onto the two factors P 3 and (P 3 ), we can restrict these maps to H Q, and ask what the fibers of π 1 and π 2 are. Prove that the fibers of π 1 are all (isomorphic to) P 3, while the fibers of π 2 are the hyperplane sections of Q what we wanted in the first place. Maps of varieties φ : X Y whose fibers are all isomorphic to some P k are called P k bundles over Y. Sometimes it is important to classify all such bundles over a fixed variety Y this describes additional invariants of Y, which may be used for instance to identify two non isomorphic varieties. Example 4. As we saw above, all hyperplanes in P 3 can be parametrized by the variety (P 3 ) (which is isomorphic to P 3.) In this case, the points of (P 3 ) are in 1 1 correspondence with the hyperplanes in question, and (P 3 ) reflects (in a certain sense) how the hyperplanes vary in P 3 - that is, for any nice family F of hyperplanes in P 3 the subset of (P 3 ) corresponding to F is a subvariety of (P 3 ). (The word nice has a very technical meaning, usually called flatness of families. We shall not discuss this here since it will take us too far afield.) One can easily generalize the above construction to parametrize all hyperplanes in P n by the dual projective space (P n ). A natural question arises: Can we find varieties parametrizing other objects, say, conics in P 2? Such varieties are called parameter spaces. 7

8 Let P be the set of all conics in P 2. If we fix the coordinates of P 2 to be X, Y, Z, then a conic C is determined upto a scalar by a quadratic equation: a 0 X 2 + a 1 Y 2 + a 2 Z 2 + a 3 XY + a 4 Y Z + a 5 ZX = 0. Such an equation determines a projective point [a 0, a 1,..., a 5 ] P 5, and conversely, any point of P 5 determines a unique quadratic polynomial (upto a scalar). Thus, the parameter space for all conics in P 2 is P = P 5. Similarly, the parameter space of all hypersurfaces of degree d in P n (i.e. subvarieties given by single degree d homogeneous polynomials on P n ) is P d,n = P N where N = ( ) n+d d 1. Note a slight technicality here: we have included as points in Pd,n hypersurfaces corresponding to polynomials with multiple factors. For example, in the case of conics in P 2, we included as points in P 2,2 all double lines. One can show that the set of such multiple (or more precisely, non-reduced) hypersurfaces is in fact a subvariety of the corresponding parameter space P d,n. Example 5. Parameter spaces parametrize usually not just objects X sharing some common properties, but also the embeddings of X in projective space. For example, there are really only three types of conics in P 2 the irreducible (smooth) conics, the joins of two different lines, and the double lines. Every irreducible conic can be transformed into any other irreducible conic after a suitable change of variables (coordinate change) on P 2, etc. Thus, in constructing P 2,2, we grossly overcounted the irreducible conics (well, we were parametrizing, therefore, not just the conics, but the pairs (C, φ) where C is a plane conic and φ : C P 2 is an embedding.) The philosophy of viewing a variety as an object with a given embedding in some P n is inherent to XIX century algebraic geometry, especially to the Italian school. XX century changed this view by considering varieties as objects on their own, disregarding particular embeddings in projective space. For example, any irreducible conic in P 2 is really a P 1 embedded in a certain way in P 2 : ν 2 : P 1 P 2, ν 2 ([X, Y ]) = [X 2, XY, Y 2 ]. Similarly, the twisted cubic C in P 3 is isomorphic to P 1 : C = ν 3 (P 3 ). We say that these curves are isomorphic to each other because there exist nicely defined maps via polynomials going back and forth between these varieties, whose compositions are identities. Thus, the intrinsic properties of P 1 are preserved under these isomorphism, and therefore the embeddings do not change the actual variety. Some extrinsic properties, however, change, and these cause the different embeddings of P 1 to look different. For example, define the degree of X = P 1 P n to be the number of points in the intersection of a general hyperplane in P n with X. Thus, the conics in P 2 have degree 2, and will keep their degree if we embed now P 2 as a linear subspace of a bigger P n. However, the twisted cubic C in P 3 has degree 3 (one 8

9 way to see this is to recall that a line in one ruling meets C in 1 point, while a line in the other ruling meets C in 2 points.) While parameter spaces may take into account such extrinsic properties as degrees of varieties, moduli spaces usually parametrize objects according to only their intrinsic properties, and hence are much harder to be constructed. To even state what common instrinsic properties can be characterized will take too much ink on this handout. But let us mention one very famous example the moduli space M g of smooth curves of genus g. 1 These curves do not lie (and cannot be embedded in general) in the same projective space P n. The best we can say is that each such (non hyperelliptic) curve can be embedded in P 2g 3, but we don t care about these embeddings anyways. Yet, M g can be constructed, and it is a variety of dimension 3g 3 for g 2. For g = 1 there is only one such curve P 1, so M 1 is really just one point; for g = 1 the elliptic curves can be effectively parametrized by a certain cross ratio, and hence M 1 = P 1. A further development of this theory is the Deligne-Mumford compactification of M g. Since M g is not a projective variety, one can have a nice family of smooth curves degenerating to a singular curve, but M g does not have any points to reflect the limiting singular member of the family. The question arises what is the minimal set of singular curves must be added to the set of smooth curves in order to obtain a nice moduli space M g, compactifying M g? Deligne and Mumford chose (and for very good reasons) the set of the so called stable curves C of genus g. These are connected curves with at most nodal type of singularities (e.g. take two lines intersecting in P 2 ), and such that if they contain a P 1 component, then the latter must meet at least 3 other components of the curve. The last condition is added to ensure that the curves have finite groups of automorphisms. With this said, M g is the moduli space of all stable curves of genus g. It is a projective variety which contains M g as an open dense set, and it reflects naturally the variation of nice families of stable curves. Moreover, any nice family whose general members are smooth curves, but whose special members can be as nasty as you wish, can be brought in 1 Be forwarned that what follows in this section is littered with too many unexplained terms in order for the text to be self contained. 9

10 an essentially one way to a family with only stable members. This process is called semistable reduction and it is the basis for many related constructions in algebraic geometry. Zariski Topology Definitions. (a) An ideal P of a ring R is called prime if whenever ab P for a, b R, then a P or b P (or both). (b) A variety X is called irreducible if for any decomposition X = X 1 X 2 of X into a union of two subvarieties, either X 1 = X or X 2 = X. In other words, there are no non trivial decompositions of X into smaller varieties. Proposition 2. A variety X is irreducible iff its ideal I(X) is prime. Thus, there exists a one to one correspondence between the set of varieties X and the set of prime (homogeneous if projective X) ideals P in the corresponding polynomial ring. Theorem 4. Any radical ideal I K[x 1,..., x n ] is uniquely expressible as a finite intersection of prime ideals P i with P i P j for i j. Equivalently, any variety X can be uniquely expressed as a finite union of irreducible subvarieties X i with X i X j for i j. The varieties X i appearing in this unique decomposition are called the irreducible components of X. Definition. Let X be a set of points in some space. A topology on X is a set T of designated subsets of X, called the open sets of X, so that the following axioms are satisfied: (a) The union of any collection of open sets is open. (b) The intersection of any finite collection of open sets is open. (c) X and are open. The closed sets in X are the complements of the open sets. We define below the so called Zariski topology on algebraic varieties. If we work over C, every variety can be roughly viewed as a complex manifold X (with the exception of a proper subset of its singular points). Through its embedding in, say, C n, X will inherit the usual complex analytic topology from C n a basis for the open sets on X will consist of the intersections of X with any finite balls in C n. The Zariski topology is a different kind of topology. A basis for the open sets in X is given by the sets U f = {p X f(p) 0} where f ranges over polynomials (homogeneous if projective X). 10

11 Lemma 2. The Zariski topology is indeed a topology on X. Exercise. Show that the Zariski topology on the projective line P 1 C is different from the analytic topology of P 1 C. Many statements in algebraic geometry are true for general points on varieties, i.e. if X is a variety and U is an open dense set of X, then any point p U is called a general point on U. (If X is irreducible, then any nonempty open set will be dense. This, in particular, makes Zariski topology a non-housdorff topology in the latter, one needs for any two points of X to have two nonintersecting open sets containing each one of the points. This confirms once again that the Zariski topology is much coarser than the analytic topology.) 2. Bezout s Theorem Definition. Suppose that X and Y P n are two irreducible varieties and that their intersection has irreducible components Z i. We say that X and Y intersect generically transversally if, for each i, X and Y intersect transversally at a general point p i Z i, i.e., are smooth at p i with tangent spaces spanning T pi (P n ) (the tangent space to P n at p i.) Theorem 5. (Bezout) Let X and Y P n be subvarieties of pure dimensions k and l with k + l n, and suppose they intersect generically transversely. Then deg (X Y ) = deg(x) deg(y ). In particular, if k + l = n, this says that X Y will consist of deg(x) deg(y ) points. A pair of pure dimensional varieties X and Y P n intersect properly if their intersection has the expected dimension, i.e., dim(x Y ) = dim(x) + dim(y ) n. Theorem 6. If X and Y intersect properly, deg(x) deg(y ) = m Z (X, Y ) deg(z) where the sum is over all irreducible subvarieties Z of the appropriate dimension (in effect, over all irreducible components Z of X Y ). Here m Z (X, Y ) is the intersection multiplicity of X and Y along Z: 1. m Z (X, Y ) 1 for all Z X Y (m Z (X, Y ) = 0 otherwise.) 2. m Z (X, Y ) = 1 if X and Y intersect transversely at a general point of Z. 3. m Z (X, Y ) is additive, i.e. m Z (X X, Y ) = m Z (X, Y ) + m Z (X, Y ) for any X and X as long as all three numbers are defined and X and X have no common components. 11

12 In particular, for any subvarieties X and Y of pure dimension in P n properly: deg(x Y ) deg(x) deg(y ). intersecting 12

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

### Institutionen för matematik, KTH.

Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................

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

### Math 418 Algebraic Geometry Notes

Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R

### Algebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014

Algebraic Geometry Andreas Gathmann Class Notes TU Kaiserslautern 2014 Contents 0. Introduction......................... 3 1. Affine Varieties........................ 9 2. The Zariski Topology......................

### Basic facts and definitions

Synopsis Thursday, September 27 Basic facts and definitions We have one one hand ideals I in the polynomial ring k[x 1,... x n ] and subsets V of k n. There is a natural correspondence. I V (I) = {(k 1,

### PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013

PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013 1. Problems on moduli spaces The main text for this material is Harris & Morrison Moduli of curves. (There are djvu files

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

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

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

### π X : X Y X and π Y : X Y Y

Math 6130 Notes. Fall 2002. 6. Hausdorffness and Compactness. We would like to be able to say that all quasi-projective varieties are Hausdorff and that projective varieties are the only compact varieties.

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

### Algebraic Geometry. Andreas Gathmann. Notes for a class. taught at the University of Kaiserslautern 2002/2003

Algebraic Geometry Andreas Gathmann Notes for a class taught at the University of Kaiserslautern 2002/2003 CONTENTS 0. Introduction 1 0.1. What is algebraic geometry? 1 0.2. Exercises 6 1. Affine varieties

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

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

### Local properties of plane algebraic curves

Chapter 7 Local properties of plane algebraic curves Throughout this chapter let K be an algebraically closed field of characteristic zero, and as usual let A (K) be embedded into P (K) by identifying

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

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

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

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

### . HILBERT POLYNOMIALS

CLASSICAL ALGEBRAIC GEOMETRY Daniel Plaumann Universität Konstan Summer HILBERT POLYNOMIALS T An ane variety V A n with vanishing ideal I(V) K[,, n ] is completely determined by its coordinate ring A(V)

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

### MA 206 notes: introduction to resolution of singularities

MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be

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

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

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

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

### 2. Prime and Maximal Ideals

18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let

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

### QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)

Tuesday 10 February 2004 (Day 1) 1a. Prove the following theorem of Banach and Saks: Theorem. Given in L 2 a sequence {f n } which weakly converges to 0, we can select a subsequence {f nk } such that the

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

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

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

### David Eklund. May 12, 2017

KTH Stockholm May 12, 2017 1 / 44 Isolated roots of polynomial systems Let f 1,..., f n C[x 0,..., x n ] be homogeneous and consider the subscheme X P n defined by the ideal (f 1,..., f n ). 2 / 44 Isolated

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

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

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

### Finite affine planes in projective spaces

Finite affine planes in projective spaces J. A.Thas H. Van Maldeghem Ghent University, Belgium {jat,hvm}@cage.ugent.be Abstract We classify all representations of an arbitrary affine plane A of order q

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

### Algebraic varieties. Chapter A ne varieties

Chapter 4 Algebraic varieties 4.1 A ne varieties Let k be a field. A ne n-space A n = A n k = kn. It s coordinate ring is simply the ring R = k[x 1,...,x n ]. Any polynomial can be evaluated at a point

### 12 Hilbert polynomials

12 Hilbert polynomials 12.1 Calibration Let X P n be a (not necessarily irreducible) closed algebraic subset. In this section, we ll look at a device which measures the way X sits inside P n. Throughout

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

### 10. Noether Normalization and Hilbert s Nullstellensatz

10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.

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

### PROBLEMS, MATH 214A. Affine and quasi-affine varieties

PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset

### Riemann surfaces. Paul Hacking and Giancarlo Urzua 1/28/10

Riemann surfaces Paul Hacking and Giancarlo Urzua 1/28/10 A Riemann surface (or smooth complex curve) is a complex manifold of dimension one. We will restrict to compact Riemann surfaces. It is a theorem

### Exploring the Exotic Setting for Algebraic Geometry

Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 6-10, 2010 1 Introduction In this project, we will describe the basic topology

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

### Math 40510, Algebraic Geometry

Math 40510, Algebraic Geometry Problem Set 1, due February 10, 2016 1. Let k = Z p, the field with p elements, where p is a prime. Find a polynomial f k[x, y] that vanishes at every point of k 2. [Hint:

### D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.

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

### Holomorphic line bundles

Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank

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

### ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.

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

18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x

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

### Projective Schemes with Degenerate General Hyperplane Section II

Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111-126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco

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

### 2. Intersection Multiplicities

2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.

### LECTURE 7, WEDNESDAY

LECTURE 7, WEDNESDAY 25.02.04 FRANZ LEMMERMEYER 1. Singular Weierstrass Curves Consider cubic curves in Weierstraß form (1) E : y 2 + a 1 xy + a 3 y = x 3 + a 2 x 2 + a 4 x + a 6, the coefficients a i

### MATH 233B, FLATNESS AND SMOOTHNESS.

MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)

### On Maps Taking Lines to Plane Curves

Arnold Math J. (2016) 2:1 20 DOI 10.1007/s40598-015-0027-1 RESEARCH CONTRIBUTION On Maps Taking Lines to Plane Curves Vsevolod Petrushchenko 1 Vladlen Timorin 1 Received: 24 March 2015 / Accepted: 16 October

### Complex Algebraic Geometry: Smooth Curves Aaron Bertram, First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool

Complex Algebraic Geometry: Smooth Curves Aaron Bertram, 2010 12. First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool for classifying smooth projective curves, i.e. giving

### Mini-Course on Moduli Spaces

Mini-Course on Moduli Spaces Emily Clader June 2011 1 What is a Moduli Space? 1.1 What should a moduli space do? Suppose that we want to classify some kind of object, for example: Curves of genus g, One-dimensional

### COMPLEX ALGEBRAIC SURFACES CLASS 9

COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution

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

### BRILL-NOETHER THEORY. This article follows the paper of Griffiths and Harris, "On the variety of special linear systems on a general algebraic curve.

BRILL-NOETHER THEORY TONY FENG This article follows the paper of Griffiths and Harris, "On the variety of special linear systems on a general algebraic curve." 1. INTRODUCTION Brill-Noether theory is concerned

### MATH32062 Notes. 1 Affine algebraic varieties. 1.1 Definition of affine algebraic varieties

MATH32062 Notes 1 Affine algebraic varieties 1.1 Definition of affine algebraic varieties We want to define an algebraic variety as the solution set of a collection of polynomial equations, or equivalently,

### 1. Algebraic vector bundles. Affine Varieties

0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.

### ROST S DEGREE FORMULA

ROST S DEGREE FORMULA ALEXANDER MERKURJEV Some parts of algebraic quadratic form theory and theory of simple algebras with involutions) can be translated into the language of algebraic geometry. Example

### Each is equal to CP 1 minus one point, which is the origin of the other: (C =) U 1 = CP 1 the line λ (1, 0) U 0

Algebraic Curves/Fall 2015 Aaron Bertram 1. Introduction. What is a complex curve? (Geometry) It s a Riemann surface, that is, a compact oriented twodimensional real manifold Σ with a complex structure.

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

### a double cover branched along the smooth quadratic line complex

QUADRATIC LINE COMPLEXES OLIVIER DEBARRE Abstract. In this talk, a quadratic line complex is the intersection, in its Plücker embedding, of the Grassmannian of lines in an 4-dimensional projective space

### ne varieties (continued)

Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we

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

### MAT4210 Algebraic geometry I: Notes 2

MAT4210 Algebraic geometry I: Notes 2 The Zariski topology and irreducible sets 26th January 2018 Hot themes in notes 2: The Zariski topology on closed algebraic subsets irreducible topological spaces

### Lecture 3: Flat Morphisms

Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a

### 0. Introduction 1 0. INTRODUCTION

0. Introduction 1 0. INTRODUCTION In a very rough sketch we explain what algebraic geometry is about and what it can be used for. We stress the many correlations with other fields of research, such as

### STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY

STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group

### MODULI SPACES AND INVARIANT THEORY 5

MODULI SPACES AND INVARIANT THEORY 5 1. GEOMETRY OF LINES (JAN 19,21,24,26,28) Let s start with a familiar example of a moduli space. Recall that the Grassmannian G(r, n) parametrizes r-dimensional linear

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

### Vector Bundles on Algebraic Varieties

Vector Bundles on Algebraic Varieties Aaron Pribadi December 14, 2010 Informally, a vector bundle associates a vector space with each point of another space. Vector bundles may be constructed over general

### Theorem 6.1 The addition defined above makes the points of E into an abelian group with O as the identity element. Proof. Let s assume that K is

6 Elliptic curves Elliptic curves are not ellipses. The name comes from the elliptic functions arising from the integrals used to calculate the arc length of ellipses. Elliptic curves can be parametrised

### Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99

Yuriy Drozd Intriduction to Algebraic Geometry Kaiserslautern 1998/99 CHAPTER 1 Affine Varieties 1.1. Ideals and varieties. Hilbert s Basis Theorem Let K be an algebraically closed field. We denote by

### Intersecting valuation rings in the Zariski-Riemann space of a field

Intersecting valuation rings in the Zariski-Riemann space of a field Bruce Olberding Department of Mathematical Sciences New Mexico State University November, 2015 Motivation from Birational Algebra Problem:

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

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48 RAVI VAKIL CONTENTS 1. A little more about cubic plane curves 1 2. Line bundles of degree 4, and Poncelet s Porism 1 3. Fun counterexamples using elliptic curves

### 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 248B. Applications of base change for coherent cohomology

Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).

### STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES

STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES DAWEI CHEN AND IZZET COSKUN Contents 1. Introduction 1 2. Preliminary definitions and background 3 3. Degree two maps to Grassmannians 4 4.

### ALGEBRAIC GEOMETRY (NMAG401) Contents. 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30

ALGEBRAIC GEOMETRY (NMAG401) JAN ŠŤOVÍČEK Contents 1. Affine varieties 1 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30 1. Affine varieties The basic objects

### Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally

Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free

### The Reducibility and Dimension of Hilbert Schemes of Complex Projective Curves

The Reducibility and Dimension of Hilbert Schemes of Complex Projective Curves Krishna Dasaratha dasaratha@college.harvard.edu Advisor: Joe Harris Submitted to the Department of Mathematics in partial

### Introduction to Arithmetic Geometry

Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory

### MODEL ANSWERS TO HWK #3

MODEL ANSWERS TO HWK #3 1. Suppose that the point p = [v] and that the plane H corresponds to W V. Then a line l containing p, contained in H is spanned by the vector v and a vector w W, so that as a point

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

### Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti

Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of

### AN INTRODUCTION TO TORIC SURFACES

AN INTRODUCTION TO TORIC SURFACES JESSICA SIDMAN 1. An introduction to affine varieties To motivate what is to come we revisit a familiar example from high school algebra from a point of view that allows