ALGORITHMS FOR ALGEBRAIC CURVES
|
|
- Lesley Cox
- 5 years ago
- Views:
Transcription
1 ALGORITHMS FOR ALGEBRAIC CURVES SUMMARY OF LECTURE 7 I consider the problem of computing in Pic 0 (X) where X is a curve (absolutely integral, projective, smooth) over a field K. Typically K is a finite field. In that case Pic 0 (X) is finite. 1. HOW IS X GIVEN? There are several options. We will assume that we are given a plane, projective, possibly singular, curve C. The equation of C is E(X, Y, Z) = 0 where E is an homogeneous, absolutely irreducible polynomial of degree d. We assume that i : X C is the desingularization map. So i is everywhere locally an isomorphism, except above the singularities of C. We do not ask for a fully explicit description of X and i. We only need, for every branch P X above every singular point S C, A local parameter (a uniformizing parameter) t P at P. The expansions of affine coordinates (e.g. x = X/Z and y = Y/Z) as series in K[[t P ]]. Example : Take (1) E(X, Y, Z) = Y 2 Z X 2 (X + Z). Let U be the open subset of C given by the inequality Z 0. We have an affine equation E U (x, y) = y 2 x 2 (x + 1) for the affine curve U. To find the singularities on X we solve the system E = 0, (2) The only singularity is E X = 0, E Y = 0, E Z = 0. S = (0 : 0 : 1) in that case. This point lyes in U. To desingularize at S we set t = y x, 1
2 2 SUMMARY OF LECTURE 7 and find These equations define a morphism x = t 2 1, y = t 3 t. i : A 1 = Spec K[t] U, that extends to i : X = P 1 C. We set V = i ( 1) (U) = A 1. We have two points P and Q on V X above S C. These are the two branches above the singularity S. They correspond to the ideals (t 1) and (t + 1) in K[t]. A uniformizing parameter at P is thus t P = t 1, and the expansions of x and y at P are x = 2t P + t 2 P, Similarly, a uniformizing parameter at Q is y = 2t P + 3t 2 P + t 3 P. t Q = t + 1, and the expansions of x and y at Q are x = 2t Q + t 2 Q, y = 2t Q 3t 2 Q + t 3 Q. We have finite expansions here. But it will not be always the case. In general one founds the singular points on C using elimination theory to solve the system in (2). To find the uniformizing parameter and series expansion one may use the Puiseux-Newton algorithm [PotRyb], at least when the characteristic is zero or large enough. One also can use a generic algorithm to compute normal closures such as the Round 2 algorithm. This works without restriction on the base field. See for example Diem s habilitation thesis [Die]. 2. POINTS, PLACES, DIVISORS Smooth points on C are given by their projective coordinates. For example the point T = ( 1 : 0 : 1) on the curve C given by Equation (1) is smooth. There is a single point on X above it. The branches above singular points are listed. There are finitely many such branches. For each of them we have a local parameter and expansions of the affine coordinates as series in this local parameter. Places of degree bigger than one may be given in two different but equivalent ways. If the place is contained in some affine open subset V X, we may describe it by a generating set for the corresponding ideal in O X (V ). Assuming that the place lyes above a smooth place of
3 ALGORITHMS FOR ALGEBRAIC CURVES 3 C, we would rather give a generating set for the corresponding ideal in O C (U), where U is an affine open subset of C. If we come back to our example we may consider the ideal I = (x 1, y 2 2) O C (U) = K[x, y]/e U (x, y). This is a place of degree two if 2 is not a square in K. We may also describe a place by its splitting field and a list of the geometric points in the place. If we come back to the example above we may consider the splitting field L = K[u]/(u 2 2) and the two geometric points (1 : u : 1) and (1 : u : 1). We then characterize the place as the Zariski closure of any of these two geometric points. Divisors are given as linear combinations of places. 3. LOCAL PARAMETER AT A SMOOTH POINT It will often be necessary to compute a uniformizing parameter at a point P on X. We assume here that P lyes above a smooth point on C, which we will call S. Without loss of generality we may assume that S belongs to the open subset U with equation Z 0. Then either x x S or y y S is a local parameter at P. Indeed if ( ) E U x (S) 0 then y ys is a local parameter at S. And if ( ) E U y (S) 0 then x xs is a local parameter at S. Example : on the curve given by Equation (1) the point T = ( 1, 0) U is smooth since ( ) EU (T ) = 3x 2 T 2x T = 1 0. x And y y T = y is a local parameter at T. We set t T = y y T = y. We can easily express u = x x T = x + 1 as a series u = u 0 + u 1 t T + u 2 t 2 T + K[[t T ]] in the local parameter t T. This amounts to computing the root of the polynomial u 3 2u 2 + u t 2 T in K[[t T ]] having zero constant term. Such a root exists and is unique according to Hensel s lemma. Indeed the proof of this lemma also gives a linear algebra algorithm to compute the successive coefficients in the series u. We compute this expansion using the following commands in MAGMA >Q := RationalField(); >L<t> := PowerSeriesRing(Q); >R<u> := PolynomialRing(L); >f:=u^3-2*u^2+u-t^2; >Roots(f); [ <t^2 + 2*t^4 + 7*t^6 + 30*t^ *t^ *t^ *t^ *t^ *t^ *t^20 + O(t^22), 1>, <1 - t - 1/2*t^2-5/8*t^3 - t^4-231/128*t^5-7/2*t^6-7293/1024*t^7-15*t^ /32768*t^9-143/2*t^ /262144*t^11-364*t^ / *t^ *t^ / *t^ *t^ / *t^ /2*t^ / *t^19 + O(t^20), 1>, <1 + t - 1/2*t^2 + 5/8*t^3 - t^ /128*t^5-7/2*t^ /1024*t^7-15*t^ /32768*t^9-143/2*t^ /262144*t^11 -
4 4 SUMMARY OF LECTURE 7 ] 364*t^ / *t^ *t^ / *t^ *t^ / *t^ /2*t^ / *t^19 + O(t^20), 1> The series we are interested in is the first one u = x + 1 = y 2 + 2y 4 + 7y y y y y 14 + O(t 16 ). 4. FORMS AND FUNCTIONS ON X Let h be a positive integer. The K-vector space of homogeneous polynomials in X, Y, Z, with degree h, is H 0 (P 2, O P 2(h)). It has dimension (h + 1)(h + 2)/2. Any function on P 2 is the quotient of two forms of the same degree. Any function on X is the the quotient of two forms F/G of the same degree, such that G restricted to X is non zero (G is not a multiple of the equation E of C). So a function on X can be given as the quotient of two homogeneous polynomials in the projective coordinates X, Y, and Z. Given such a function, it will often be useful to compute its divisor. For example if C is the projective curve given by Equation (1) then we consider the function y = Y Z and look for its divisor (y) on X. The support of the positive part (y) + of (y) lies above the intersection locus of C with the line Y = 0. Such an intersection can be computed using elimination theory (e.g. resultants). We find that it consists of the two points S = (0 : 0 : 1) and T = ( 1 : 0 : 1). We have two branches (called P and Q) on X above S. And one single branch above T. At each of these three branches, we know a uniformizing parameter and expansions of x and y in this parameter. So we can embed y in these three local rings and compute the valuations. The support of the negative part (y) of (y) lies above the intersection locus of C with the line Z = 0. We find that this intersection consists of the one points O = (0 : 1 : 0). This is a smooth point. We have a single branch above it. In the end we find that the divisor of y is (y) = P + Q + T 3O. 5. LINEAR SERIES ON X Let h be a positive integer. The K-vector space of homogeneous polynomials in X, Y, Z, with degree h, is H 0 (P 2, O P 2(h)). It has dimension (h + 1)(h + 2)/2. Let F in H 0 (P 2, O P 2(h)) be such that the pull back f of F onto X is non-zero. This condition means that F is not a multiple of the equation E of X. Let = (f) be the divisor of f. This is the (pull back on X of the) intersection divisor between C and the projective curve D with degree h and equation F (X, Y, Z) = 0. So is an effective divisor of degree dh according to Bézout s theorem. If G
5 ALGORITHMS FOR ALGEBRAIC CURVES 5 is another form in H 0 (P 2, O P 2(h)), we denote by g the pull back of G on X. Then the quotient G/F defines a function on P 2. And the quotient g/f is a function on X. We thus obtain a map (3) H 0 (P 2, O P 2(h)) H 0 (X, O X ( )) G It is natural to ask if this map is surjective. In other words, do we obtain a complete linear series by pulling back homogeneous forms onto X? The answer is no in general, but we have a partial result called the Brill-Noether theorem. The image of the map in (3) contains H 0 (X, O X ( C)) where C is a divisor on X called the conductor. The conductor C is an effective divisor on X. It is the closed subscheme of X defined by the sheaf of O X -ideals g f. C = Ann OC (O X /O C ). Locally, for U an affine open subset of C, and V = i ( 1) (U) X, the O X (V )-ideal C(V ) is the annihilator C(U) = Ann OC (U)(O X (V )/O C (U)). This is an ideal of O C (U) by definition. This is also an ideal of O X (V ). Indeed, let c be in C(U) and let b be in O X (V ). Then we prove that bc lyes in C(U). First of all bc belongs to O C (U) because b is in O X (V ) and c is in the annihilator of the quotient O X (V )/O C (U). Then bc lies in this annihilator also because for every b in O X (V ) the product bcb = c(bb ) belongs to O C (U) because bb is in O X (V ) and c is in the annihilator of the quotient O X (V )/O C (U). In fact C(U) is the largest ideal in O C (U) O X (V ) that is also an ideal of O X (V ). The degree of C is 2δ where (d 1)(d 2) δ = g 2 is the difference between the arithmetic genus of C and the geometric genus g of X. The support of C is the set of branches on X above singular points on C. Computing the multiplicity of C at a given branch may be a bit difficult, see [Gor], but we have at least an upper bound for these multiplicities, namely (d 1)(d 2). The conductor measures how singular C is. A practical consequence of all that is that we can compute the complete linear series H 0 (X, O X ( D)) for any divisor D such that D C, and any intersection divisor = C.D between C and a degree h 1 projective curve D. We start from a basis G 1, G 2,..., G I of H 0 (P 2, O P 2(h)). We can take for (G i ) 1 i I the set of all monomial X a Y b Z c with a + b + c = h. We evaluate every G i at every place in D and obtain a matrix with I columns and deg(d) lines. Let H 1, H 2,..., H J be a basis for the kernel of this matrix. Then the H j /F form a basis of H 0 (X, O X ( D)).
6 6 SUMMARY OF LECTURE 7 Notice that in order to evaluate the G i at every place in the support of D, we use the expansions of the affine coordinates as series in the local parameters at these places. Note also that the dimension of H 0 (X, O X ( D)) is at least dh deg(d) g + 1 and is equal to this number when it is g. Example : we come back to the curve given by Equation (1). The only singularity is S = (0, 0) U = Spec K[x, y]/e U (x, y). The inverse image of U by i is V = A 1 = Spec K[t] X = P 1. So O X (V ) = K[t] and O C (U) = K[x, y] and the map i induces the inclusion K[x, y] K[t] with x = t 2 1 and y = t 3 t. We look for the ideal annihilator C(V ) of the K[t 3 t, t 2 1]-module K[t]/K[t 3 t, t 2 1]. This is a K[t 3 t, t 2 1]-ideal. And also a K[t]-ideal. Its support must be contained in {(t 1), (t+1)}. Indeed, if we invert t 2 1, the quotient module K[t]/K[t 3 t, t 2 1] becomes trivial. So C(V ) = (t 1) a (t + 1) b where a and b are two positive integers. A basis for the K-vector space K[t]/K[t 3 t, t 2 1] is (1, t). If we multiply 1 by t 2 1 we find t 2 1 which is in K[t 3 t, t 2 1]. If we multiply t by t 2 1 we find t 3 t which is in K[t 3 t, t 2 1] also. So t 2 1 belongs to C(V ). We note that C(V ) cannot be equal to (t 1) or to (t + 1) because t does not belong to K[t 3 t, t 2 1]. So we have found the conductor C(V ) = (t 2 1)K[t] K[t 3 t, t 2 1] K[t]. The degree of the conductor is 2 and indeed g = 0 and (d 1)(d 2)/2 = COMPUTING ANY COMPLETE LINEAR SERIES Given two effective divisors A and B on X, we want to compute H 0 (X, O X (A B)). We may assume that deg(a) deg(b), otherwise the linear space is trivial. We pick a large enough integer h and compute H 0 (X, O X ( C)) where C is the conductor and is the divisor of any form of degree h having non-zero pull-back on X. We use the methods in section 5 to compute this space. We compute H 0 (X, O X ( C A)) as a subspace of H 0 (X, O X ( C)). To this end we pick a basis f 1,..., f I of H 0 (X, O X ( C)) and we evaluate each f i at every place in A. We thus obtain a matrix with deg(a) lines and I columns. Computing the kernel of this matrix gives H 0 (X, O X ( C A)). The dimension of this latter space is dh deg(c) deg(a) g + 1. We assume that we have chosen h large enough to ensure that dh deg(c) + deg(a) + g. So the dimension of H 0 (X, O X ( C A)) is positive. We pick a non-zero function f in H 0 (X, O X ( C A)) and compute is divisor (f) = + C + A + D,
7 ALGORITHMS FOR ALGEBRAIC CURVES 7 where D is an effective divisor of degree dh deg(c) deg(a). We now compute H 0 (X, O X ( C D B)) as a subspace of H 0 (X, O X ( C)). We proceed as before. The map H 0 (X, O X ( C D B)) H 0 (X, O X (A B)) is a bijection. g g f, 7. COMPUTING IN Pic 0 (X) We choose a degree g origin divisor D 0. For example we may take D 0 = go where O is a point in X(K). Every class x in Pic 0 (X) contains a divisor of the form D x D 0 where D x is a degree g effective divisor. Indeed let E be any divisor in x. It has degree zero. So H 0 (X, O X (E + D 0 )) has dimension g g + 1. Let f be a non-zero function in this space. Let (f) = E D 0 + D x be the divisor of f. The divisor D x is a degree g effective divisor and D x D 0 is linearly equivalent to E. So it belongs to x. So every class in Pic 0 (X) will be represented as a difference D x D 0. This representation might not be unique. To test whether D x D 0 is linearly equivalent to D y D 0 we compute the linear space H 0 (X, O X (D x D y )). This space is non-zero if and only if D x is linearly equivalent to D y. Now we want to compute the class of the sum D x D 0 + D y D 0. We want a divisor of the form D z D 0 in this class, with D z effective of degree g. To find such a D z we compute the linear space H 0 (X, O X (D x + D y D 0 )) and pick a non-zero function (f) in it. The divisor of f is (f) = D x D y + D 0 + D z where D z is an effective degree g divisor such that D z D 0 is linearly equivalent to D x D 0 + D y D 0. This is exactly what we want. Finally, we want to compute the opposite of the class of D x D 0. We want a divisor of the form D y D 0 in this opposite class, where D y is effective of degree g. To find such a D y we compute the linear space H 0 (X, O X (2D 0 D x )) and pick a non-zero function (f) in it. The divisor of f is (f) = 2D 0 + D x + D y where D y is an effective degree g divisor such that D y D 0 is linearly equivalent to D 0 D x. This is exactly what we want. 8. DISCRETE LOGARITHM? We may try to compute discrete logarithms in Pic 0 (X). We are given two classes u and v in Pic 0 (X) and look for an integer k such that v = ku. Note that Pic 0 (X) is commutative but not necessarily cyclic. We try to mimic the linear sieve algorithm. We assume, to simplify, that X has a K-rational point O. We choose a positive integer b g and consider all places p 1, p 2,..., p I of degree b on X. For every place p i we call w i the class of p i deg(p i )O in Pic 0 (X). We call B the set of all w i for 1 i I. We look for the module of relations Λ Z 2+I between u, v, and the (w i ) 1 i I.
8 8 SUMMARY OF LECTURE 7 We pick uniform random independent variables e, f, (k i ) 1 i I in [0, o[ where o is the order of Pic 0 (X) if we know it. If we don t know the order of Pic 0 (X), we take for o a large enough integer (much larger than the upper-bound (q q) g for the cardinality of Pic 0 (X)). We compute the sum eu + fv + k i w i = x Pic 0 (X), 1 i I using the methods in Section 7 and fast exponentiation. The result x is given as the class of D x go where D x is an effective degree g divisor. We hope that D x is a b-smooth divisor. This means that all the places in the support of D x have degree b. In that case x is a sum of elements in B. So we obtain a relation in Λ. We collect enough such relations. If we have obtained a generating set for Λ, we compute the Hermite normal and deduce the cardinality o of Pic 0 (X) and the discrete logarithm Log u v if it exists. The running time of this algorithms depends on the density of b-smooth divisors among effective divisors of degree g. It is natural to choose b = g. For a fixed finite F q and letting the genus of X tend to infinity, Florian Hess [Hes] has proven that this running time is exp(g 1/2+o(1) ). REFERENCES [Coh] H. Cohen. A course in computational algebraic number theory. Graduate Texts in Mathematics, 138. Springer, Berlin, [Die] C. Diem. On arithmetic and the discrete logarithm problem in class groups of curves. Available on-line at: [Gor] D. Gorenstein. An arithmetic theory of adjoint plane curves. Trans. Amer. Math. Soc. 72 (1952), [Gat] J. Von Zur Gathen and J. Gerhard. Modern Computer Algebra. Cambridge University Press. [Hes] F. Hess. Computing relations in divisor class groups of algebraic curves over finite fields. Available on-line at: [Liu] Q. Liu. Algebraic geometry and arithmetic curves. Oxford University Press. [PotRyb] A. Poteaux and M. Rybowicz. Complexity Bounds for the rational Newton-Puiseux Algorithm over Finite Fields. Applicable Algebra in Engineering, Communication and Computing, Volume 22, Issue 3, May 2011, Pages
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
More informationCOMPLEX 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
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 informationIntroduction 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 informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 41
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 41 RAVI VAKIL CONTENTS 1. Normalization 1 2. Extending maps to projective schemes over smooth codimension one points: the clear denominators theorem 5 Welcome back!
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 informationPorteous s Formula for Maps between Coherent Sheaves
Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for
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 information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More information12. 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
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 k-algebra. In class we have seen that the dimension theory of A is linked to the
More informationALGEBRAIC 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.
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 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 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 information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
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 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 informationNéron Models of Elliptic Curves.
Néron Models of Elliptic Curves. Marco Streng 5th April 2007 These notes are meant as an introduction and a collection of references to Néron models of elliptic curves. We use Liu [Liu02] and Silverman
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 informationHYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA
HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA OFER GABBER, QING LIU, AND DINO LORENZINI Abstract. Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique
More informationINTERSECTION THEORY CLASS 6
INTERSECTION THEORY CLASS 6 RAVI VAKIL CONTENTS 1. Divisors 2 1.1. Crash course in Cartier divisors and invertible sheaves (aka line bundles) 3 1.2. Pseudo-divisors 3 2. Intersecting with divisors 4 2.1.
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 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 informationLecture 7: Etale Fundamental Group - Examples
Lecture 7: Etale Fundamental Group - Examples October 15, 2014 In this lecture our only goal is to give lots of examples of etale fundamental groups so that the reader gets some feel for them. Some of
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 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 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 informationAlgebraic 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......................
More informationAN INTRODUCTION TO AFFINE SCHEMES
AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,
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 informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationCORRESPONDENCE BETWEEN ELLIPTIC CURVES IN EDWARDS-BERNSTEIN AND WEIERSTRASS FORMS
CORRESPONDENCE BETWEEN ELLIPTIC CURVES IN EDWARDS-BERNSTEIN AND WEIERSTRASS FORMS DEPARTMENT OF MATHEMATICS AND STATISTICS UNIVERSITY OF OTTAWA SUPERVISOR: PROFESSOR MONICA NEVINS STUDENT: DANG NGUYEN
More informationLecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman
Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Integral Domains and Fraction Fields 0.1.1 Theorems Now what we are going
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 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 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 informationTHE MODULI SPACE OF CURVES
THE MODULI SPACE OF CURVES In this section, we will give a sketch of the construction of the moduli space M g of curves of genus g and the closely related moduli space M g,n of n-pointed curves of genus
More informationMA 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
More informationPreliminary Exam Topics Sarah Mayes
Preliminary Exam Topics Sarah Mayes 1. Sheaves Definition of a sheaf Definition of stalks of a sheaf Definition and universal property of sheaf associated to a presheaf [Hartshorne, II.1.2] Definition
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationOFER GABBER, QING LIU, AND DINO LORENZINI
PERIOD, INDEX, AND AN INVARIANT OF GROTHENDIECK FOR RELATIVE CURVES OFER GABBER, QING LIU, AND DINO LORENZINI 1. An invariant of Grothendieck for relative curves Let S be a noetherian regular connected
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about
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 informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More information4. 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
More information1. 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.
More informationCHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES
CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES BRIAN OSSERMAN The purpose of this cheat sheet is to provide an easy reference for definitions of various properties of morphisms of schemes, and basic results
More informationALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3
ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3 IZZET COSKUN AND ERIC RIEDL Abstract. We prove that a curve of degree dk on a very general surface of degree d 5 in P 3 has geometric
More informationElliptic Curves and Public Key Cryptography (3rd VDS Summer School) Discussion/Problem Session I
Elliptic Curves and Public Key Cryptography (3rd VDS Summer School) Discussion/Problem Session I You are expected to at least read through this document before Wednesday s discussion session. Hopefully,
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 informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
More informationPROBLEMS, 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
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface
More informationAn Algorithm for computing Isomorphisms of Algebraic Function Fields
An Algorithm for computing Isomorphisms of Algebraic Function Fields F. Hess Technical University of Berlin, Faculty II, Institute of Mathematics, Secr. MA8-1, Straße des 17. Juni 136, 10623 Berlin, Germany
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 informationAlgebraic Curves and Riemann Surfaces
Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex
More informationCurves on an algebraic surface II
Curves on an algebraic surface II Dylan Wilson October 1, 2014 (1) Last time, Paul constructed Curves X and Pic X for us. In this lecture, we d like to compute the dimension of the Picard group for an
More informationMath 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
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27 RAVI VAKIL CONTENTS 1. Proper morphisms 1 2. Scheme-theoretic closure, and scheme-theoretic image 2 3. Rational maps 3 4. Examples of rational maps 5 Last day:
More informationCurves on P 1 P 1. Peter Bruin 16 November 2005
Curves on P 1 P 1 Peter Bruin 16 November 2005 1. Introduction One of the exercises in last semester s Algebraic Geometry course went as follows: Exercise. Let be a field and Z = P 1 P 1. Show that the
More informationMATH 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)
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 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 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 non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
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 informationOn Mordell-Lang in Algebraic Groups of Unipotent Rank 1
On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 Paul Vojta University of California, Berkeley and ICERM (work in progress) Abstract. In the previous ICERM workshop, Tom Scanlon raised the question
More informationVERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP
VERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP CHRISTIAN PAULY AND ANA PEÓN-NIETO Abstract. Let X be a smooth complex projective curve of genus g 2 and let K be its canonical bundle. In this note
More informationAlgebraic Geometry I Lectures 14 and 15
Algebraic Geometry I Lectures 14 and 15 October 22, 2008 Recall from the last lecture the following correspondences {points on an affine variety Y } {maximal ideals of A(Y )} SpecA A P Z(a) maximal ideal
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 information1 Existence of the Néron model
Néron models Setting: S a Dedekind domain, K its field of fractions, A/K an abelian variety. A model of A/S is a flat, separable S-scheme of finite type X with X K = A. The nicest possible model over S
More informationProjective 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
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 informationA MORE GENERAL ABC CONJECTURE. Paul Vojta. University of California, Berkeley. 2 December 1998
A MORE GENERAL ABC CONJECTURE Paul Vojta University of California, Berkeley 2 December 1998 In this note we formulate a conjecture generalizing both the abc conjecture of Masser-Oesterlé and the author
More informationWe can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationTIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH
TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH 1. Introduction Throughout our discussion, all rings are commutative, Noetherian and have an identity element. The notion of the tight closure
More information214A HOMEWORK KIM, SUNGJIN
214A HOMEWORK KIM, SUNGJIN 1.1 Let A = k[[t ]] be the ring of formal power series with coefficients in a field k. Determine SpecA. Proof. We begin with a claim that A = { a i T i A : a i k, and a 0 k }.
More informationExtended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module
Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f - listings ending in f give the page where the term is defined commutative
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 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 K-vector space, : V V K. Recall that
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 quasi-projective variety
More informationarxiv: 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
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 informationwhere Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset
Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring
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 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 informationAnother proof of the global F -regularity of Schubert varieties
Another proof of the global F -regularity of Schubert varieties Mitsuyasu Hashimoto Abstract Recently, Lauritzen, Raben-Pedersen and Thomsen proved that Schubert varieties are globally F -regular. We give
More informationOn the vanishing of Tor of the absolute integral closure
On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent
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 informationON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF
ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF MATTHEW H. BAKER AND JÁNOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing sheaf and the canonical
More informationMath 203A - Solution Set 3
Math 03A - Solution Set 3 Problem 1 Which of the following algebraic sets are isomorphic: (i) A 1 (ii) Z(xy) A (iii) Z(x + y ) A (iv) Z(x y 5 ) A (v) Z(y x, z x 3 ) A Answer: We claim that (i) and (v)
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationApril 20, 2006 ALGEBRAIC VARIETIES OVER PAC FIELDS
April 20, 2006 ALGEBRAIC VARIETIES OVER PAC FIELDS A field is called PAC (pseudo algebraically closed) if every geometrically integral k-variety has a k-point. (A k-variety X is called geometrically integral
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 7-9 December 2010 1 The notion of vector bundle In affine geometry,
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationGrothendieck ring of varieties I.
Grothendieck ring of varieties I. Eckart Viehweg, informal notes for a seminar talk, Essen 6.0.08 Based on [Nic] and on some of the references given there.. Basic definitions Definition.. Let S be a noetherian
More informationπ 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.
More informationRATIONAL LINEAR SPACES ON HYPERSURFACES OVER QUASI-ALGEBRAICALLY CLOSED FIELDS
RATIONAL LINEAR SPACES ON HYPERSURFACES OVER QUASI-ALGEBRAICALLY CLOSED FIELDS TODD COCHRANE, CRAIG V. SPENCER, AND HEE-SUNG YANG Abstract. Let k = F q (t) be the rational function field over F q and f(x)
More informationRiemann s goal was to classify all complex holomorphic functions of one variable.
Math 8320 Spring 2004, Riemann s view of plane curves Riemann s goal was to classify all complex holomorphic functions of one variable. 1) The fundamental equivalence relation on power series: Consider
More information