DOCSLIB.ORG

Algebraic Curves by Fulton

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Algebraic Curves by Fulton ALGEBRAIC CURVES An Introduction to Algebraic Geometry WILLIAM FULTON January 28, 2008 Preface Third Preface, 2008 This text has been out of print for several years, with the author holding copy- rights. Since I continue to hear from young algebraic geometers who used this as their first text, I am glad now to make this edition available without charge to anyone interested. I am most grateful to Kwankyu Lee for making a careful LaTeX version, which was the basis of this edition; thanks also to Eugene Eisenstein for help with the graphics. As in 1989, I have managed to resist making sweeping changes. I thank all who have sent corrections to earlier versions, especially Grzegorz Bobi´nski for the most recent and thorough list. It is inevitable that this conversion has introduced some new errors, and I and future readers will be grateful if you will send any errors you find to me at [email protected]. Second Preface, 1989 When this book first appeared, there were few texts available to a novice in mod- ern algebraic geometry. Since then many introductory treatises have appeared, in- cluding excellent texts by Shafarevich, Mumford, Hartshorne, Griffiths-Harris, Kunz, Clemens, Iitaka, Brieskorn-Knörrer, and Arbarello-Cornalba-Griffiths-Harris. The past two decades have also seen a good deal of growth in our understanding of the topics covered in this text: linear series on curves, intersection theory, and the Riemann-Roch problem. It has been tempting to rewrite the book to reflect this progress, but it does not seem possible to do so without abandoning its elementary character and destroying its original purpose: to introduce students with a little al- gebra background to a few of the ideas of algebraic geometry and to help them gain some appreciation both for algebraic geometry and for origins and applications of many of the notions of commutative algebra. If working through the book and its exercises helps prepare a reader for any of the texts mentioned above, that will be an added benefit. i ii PREFACE First Preface, 1969 Although algebraic geometry is a highly developed and thriving field of mathe- matics, it is notoriously difficult for the beginner to make his way into the subject. There are several texts on an undergraduate level that give an excellent treatment of the classical theory of plane curves, but these do not prepare the student adequately for modern algebraic geometry. On the other hand, most books with a modern ap- proach demand considerable background in algebra and topology, often the equiv- alent of a year or more of graduate study. The aim of these notes is to develop the theory of algebraic curves from the viewpoint of modern algebraic geometry, but without excessive prerequisites. We have assumed that the reader is familiar with some basic properties of rings, ideals, and polynomials, such as is often covered in a one-semester course in mod- ern algebra; additional commutative algebra is developed in later sections. Chapter 1 begins with a summary of the facts we need from algebra. The rest of the chapter is concerned with basic properties of affine algebraic sets; we have given Zariski’s proof of the important Nullstellensatz. The coordinate ring, function field, and local rings of an affine variety are studied in Chapter 2. As in any modern treatment of algebraic geometry, they play a funda- mental role in our preparation. The general study of affine and projective varieties is continued in Chapters 4 and 6, but only as far as necessary for our study of curves. Chapter 3 considers affine plane curves. The classical definition of the multiplic- ity of a point on a curve is shown to depend only on the local ring of the curve at the point. The intersection number of two plane curves at a point is characterized by its properties, and a definition in terms of a certain residue class ring of a local ring is shown to have these properties. Bézout’s Theorem and Max Noether’s Fundamen- tal Theorem are the subject of Chapter 5. (Anyone familiar with the cohomology of projective varieties will recognize that this cohomology is implicit in our proofs.) In Chapter 7 the nonsingular model of a curve is constructed by means of blow- ing up points, and the correspondence between algebraic function fields on one variable and nonsingular projective curves is established. In the concluding chapter the algebraic approach of Chevalley is combined with the geometric reasoning of Brill and Noether to prove the Riemann-Roch Theorem. These notes are from a course taught to Juniors at Brandeis University in 1967– 68. The course was repeated (assuming all the algebra) to a group of graduate stu- dents during the intensive week at the end of the Spring semester. We have retained an essential feature of these courses by including several hundred problems. The re- sults of the starred problems are used freely in the text, while the others range from exercises to applications and extensions of the theory. From Chapter 3 on, k denotes a fixed algebraically closed field. Whenever con- venient (including without comment many of the problems) we have assumed k to be of characteristic zero. The minor adjustments necessary to extend the theory to arbitrary characteristic are discussed in an appendix. Thanks are due to Richard Weiss, a student in the course, for sharing the task of writing the notes. He corrected many errors and improved the clarity of the text. Professor Paul Monsky provided several helpful suggestions as I taught the course. iii “Je n’ai jamais été assez loin pour bien sentir l’application de l’algèbre à la géométrie. Je n’ai mois point cette manière d’opérer sans voir ce qu’on fait, et il me sembloit que résoudre un probleme de géométrie par les équations, c’étoit jouer un air en tour- nant une manivelle. La premiere fois que je trouvai par le calcul que le carré d’un binôme étoit composé du carré de chacune de ses parties, et du double produit de l’une par l’autre, malgré la justesse de ma multiplication, je n’en voulus rien croire jusqu’à ce que j’eusse fai la figure. Ce n’étoit pas que je n’eusse un grand goût pour l’algèbre en n’y considérant que la quantité abstraite; mais appliquée a l’étendue, je voulois voir l’opération sur les lignes; autrement je n’y comprenois plus rien.” Les Confessions de J.-J. Rousseau iv PREFACE Contents Preface i 1 Affine Algebraic Sets 1 1.1 Algebraic Preliminaries . 1 1.2 Affine Space and Algebraic Sets . 4 1.3 The Ideal of a Set of Points . 5 1.4 The Hilbert Basis Theorem . 6 1.5 Irreducible Components of an Algebraic Set . 7 1.6 Algebraic Subsets of the Plane . 9 1.7 Hilbert’s Nullstellensatz . 10 1.8 Modules; Finiteness Conditions . 12 1.9 Integral Elements . 14 1.10 Field Extensions . 15 2 Affine Varieties 17 2.1 Coordinate Rings . 17 2.2 Polynomial Maps . 18 2.3 Coordinate Changes . 19 2.4 Rational Functions and Local Rings . 20 2.5 Discrete Valuation Rings . 22 2.6 Forms....................................... 24 2.7 Direct Products of Rings . 25 2.8 Operations with Ideals . 25 2.9 Ideals with a Finite Number of Zeros . 26 2.10 Quotient Modules and Exact Sequences . 27 2.11 Free Modules . 29 3 Local Properties of Plane Curves 31 3.1 Multiple Points and Tangent Lines . 31 3.2 Multiplicities and Local Rings . 34 3.3 Intersection Numbers . 36 v vi CONTENTS 4 Projective Varieties 43 4.1 Projective Space . 43 4.2 Projective Algebraic Sets . 44 4.3 Affine and Projective Varieties . 48 4.4 Multiprojective Space . 50 5 Projective Plane Curves 53 5.1 Definitions . 53 5.2 Linear Systems of Curves . 55 5.3 Bézout’s Theorem . 57 5.4 Multiple Points . 59 5.5 Max Noether’s Fundamental Theorem . 60 5.6 Applications of Noether’s Theorem . 62 6 Varieties, Morphisms, and Rational Maps 67 6.1 The Zariski Topology . 67 6.2 Varieties ..................................... 69 6.3 Morphisms of Varieties . 70 6.4 Products and Graphs . 73 6.5 Algebraic Function Fields and Dimension of Varieties . 75 6.6 Rational Maps . 77 7 Resolution of Singularities 81 7.1 Rational Maps of Curves . 81 7.2 Blowing up a Point in A2 ............................ 82 7.3 Blowing up Points in P2 ............................ 86 7.4 Quadratic Transformations . 87 7.5 Nonsingular Models of Curves . 92 8 Riemann-Roch Theorem 97 8.1 Divisors . 97 8.2 The Vector Spaces L(D) ............................ 99 8.3 Riemann’s Theorem . 101 8.4 Derivations and Differentials . 104 8.5 Canonical Divisors . 106 8.6 Riemann-Roch Theorem . 108 A Nonzero Characteristic 113 B Suggestions for Further Reading 115 C Notation 117 Chapter 1 Affine Algebraic Sets 1.1 Algebraic Preliminaries This section consists of a summary of some notation and facts from commuta- tive algebra. Anyone familiar with the italicized terms and the statements made here about them should have sufficient background to read the rest of the notes. When we speak of a ring, we shall always mean a commutative ring with a mul- tiplicative identity. A ring homomorphism from one ring to another must take the multiplicative identity of the first ring to that of the second. A domain, or integral domain, is a ring (with at least two elements) in which the cancellation law holds. A field is a domain in which every nonzero element is a unit, i.e., has a multiplicative inverse. Z will denote the domain of integers, while Q, R, and C will denote the fields of rational, real, complex numbers, respectively.
Load more

Recommended publications
  • THE CUBIC THREEFOLD and FRIENDS 1. Background On
    THE CUBIC THREEFOLD AND FRIENDS 1. Background on Threefolds Fano, around the 1910s, proved that any smooth quartic threefold • is not rational. Later on, in the 1950s, Roth criticised the proof as incomplete. In 1971, Iskovskikh and Manin provide a complete proof. In 1972, Artin and Mumford gave an example of another unirational, • but not rational Fano threefold. This is a certain double cover X of P3 ramified over a singular quartic surface. They showed that H3(X; Z) is a birational invariant and obtained that H3(X; Z) = Z2, from which they concluded that X cannot be rational. At the same time, Clemens and Griffiths showed that any smooth • cubic threefold V over a field of characteristic zero is unirational, but not rational. In the same year, Murre proved the result in char- acteristic p. The idea of Clemens and Griffiths was to consider two auxiliary varieties of a smooth cubic threefold V: The intermediate Jacobian J(V) - a principally polarised abelian variety • playing a role similar to that of the Jacobian for studying divisors on curves. the Fano variety of lines F(V) - a smooth projective surface parametris- • ing lines on V. In order to arrive at the result, they represented J(V) as the Albanese variety of F(V), and studied its theta divisors. 2. The Cohomology of the Cubic Threefold As before, let V be a cubic threefold, i.e. a hypersurface of degree three in P4. A first idea is to compare the cohomology of V with that of P3 and hope that we shall thus find a birational invariant that has different values for V and P3, respectively.
    [Show full text]
  • Bézout's Theorem
    Bézout's theorem Toni Annala Contents 1 Introduction 2 2 Bézout's theorem 4 2.1 Ane plane curves . .4 2.2 Projective plane curves . .6 2.3 An elementary proof for the upper bound . 10 2.4 Intersection numbers . 12 2.5 Proof of Bézout's theorem . 16 3 Intersections in Pn 20 3.1 The Hilbert series and the Hilbert polynomial . 20 3.2 A brief overview of the modern theory . 24 3.3 Intersections of hypersurfaces in Pn ...................... 26 3.4 Intersections of subvarieties in Pn ....................... 32 3.5 Serre's Tor-formula . 36 4 Appendix 42 4.1 Homogeneous Noether normalization . 42 4.2 Primes associated to a graded module . 43 1 Chapter 1 Introduction The topic of this thesis is Bézout's theorem. The classical version considers the number of points in the intersection of two algebraic plane curves. It states that if we have two algebraic plane curves, dened over an algebraically closed eld and cut out by multi- variate polynomials of degrees n and m, then the number of points where these curves intersect is exactly nm if we count multiple intersections and intersections at innity. In Chapter 2 we dene the necessary terminology to state this theorem rigorously, give an elementary proof for the upper bound using resultants, and later prove the full Bézout's theorem. A very modest background should suce for understanding this chapter, for example the course Algebra II given at the University of Helsinki should cover most, if not all, of the prerequisites. In Chapter 3, we generalize Bézout's theorem to higher dimensional projective spaces.
    [Show full text]
  • Moduli Spaces of Quadratic Rational Maps with a Marked Periodic Point
    J. Blanc et al. (2015) “Quadratic Maps with a Marked Periodic Point of Small Order,” International Mathematics Research Notices, Vol. 2015, No. 23, pp. 12459–12489 Advance Access Publication March 10, 2015 doi:10.1093/imrn/rnv063 Moduli Spaces of Quadratic Rational Maps with a Marked Periodic Point of Small Order Downloaded from https://academic.oup.com/imrn/article/2015/23/12459/672405 by guest on 27 September 2021 Jer´ emy´ Blanc1, Jung Kyu Canci1, and Noam D. Elkies2 1Mathematisches Institut, Universitat¨ Basel, Spiegelgasse 1, CH-4051 Basel, Switzerland and 2Department of Mathematics, Harvard University, Cambridge, MA 02138, USA Correspondence to be sent to: [email protected] The surface corresponding to the moduli space of quadratic endomorphisms of P1 with a marked periodic point of order nis studied. It is shown that the surface is rational over Q when n≤ 5 and is of general type for n= 6. An explicit description of the n= 6 surface lets us find several infinite families of quadratic endomorphisms f : P1 → P1 defined over Q with a rational periodic point of order 6. In one of these families, f also has a rational fixed point, for a total of at least 7 periodic and 7 preperiodic points. This is in contrast with the polynomial case, where it is conjectured that no polynomial endomorphism defined over Q admits rational periodic points of order n> 3. 1 Introduction A classical question in arithmetic dynamics concerns periodic, and more generally preperiodic, points of a rational map (endomorphism) f : P1(Q) → P1(Q).Apointp is said to be periodic of order n if f n(p) = p and if f i(p) = p for 0 < i < n.Apointp is said to be preperiodic if there exists a non-negative integer m such that the point f m(p) is periodic.
    [Show full text]
  • INTRODUCTION to ALGEBRAIC GEOMETRY, CLASS 25 Contents 1
    INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 25 RAVI VAKIL Contents 1. The genus of a nonsingular projective curve 1 2. The Riemann-Roch Theorem with Applications but No Proof 2 2.1. A criterion for closed immersions 3 3. Recap of course 6 PS10 back today; PS11 due today. PS12 due Monday December 13. 1. The genus of a nonsingular projective curve The definition I’m going to give you isn’t the one people would typically start with. I prefer to introduce this one here, because it is more easily computable. Definition. The tentative genus of a nonsingular projective curve C is given by 1 − deg ΩC =2g 2. Fact (from Riemann-Roch, later). g is always a nonnegative integer, i.e. deg K = −2, 0, 2,.... Complex picture: Riemann-surface with g “holes”. Examples. Hence P1 has genus 0, smooth plane cubics have genus 1, etc. Exercise: Hyperelliptic curves. Suppose f(x0,x1) is a polynomial of homo- geneous degree n where n is even. Let C0 be the affine plane curve given by 2 y = f(1,x1), with the generically 2-to-1 cover C0 → U0.LetC1be the affine 2 plane curve given by z = f(x0, 1), with the generically 2-to-1 cover C1 → U1. Check that C0 and C1 are nonsingular. Show that you can glue together C0 and C1 (and the double covers) so as to give a double cover C → P1. (For computational convenience, you may assume that neither [0; 1] nor [1; 0] are zeros of f.) What goes wrong if n is odd? Show that the tentative genus of C is n/2 − 1.(Thisisa special case of the Riemann-Hurwitz formula.) This provides examples of curves of any genus.
    [Show full text]
  • Chapter 1 Geometry of Plane Curves
    Chapter 1 Geometry of Plane Curves Definition 1 A (parametrized) curve in Rn is a piece-wise differentiable func- tion α :(a, b) Rn. If I is any other subset of R, α : I Rn is a curve provided that α→extends to a piece-wise differentiable function→ on some open interval (a, b) I. The trace of a curve α is the set of points α ((a, b)) Rn. ⊃ ⊂ AsubsetS Rn is parametrized by α if and only if there exists set I R ⊂ ⊆ such that α : I Rn is a curve for which α (I)=S. A one-to-one parame- trization α assigns→ and orientation toacurveC thought of as the direction of increasing parameter, i.e., if s<t,the direction of increasing parameter runs from α (s) to α (t) . AsubsetS Rn may be parametrized in many ways. ⊂ Example 2 Consider the circle C : x2 + y2 =1and let ω>0. The curve 2π α : 0, R2 given by ω → ¡ ¤ α(t)=(cosωt, sin ωt) . is a parametrization of C for each choice of ω R. Recall that the velocity and acceleration are respectively given by ∈ α0 (t)=( ω sin ωt, ω cos ωt) − and α00 (t)= ω2 cos 2πωt, ω2 sin 2πωt = ω2α(t). − − − The speed is given by ¡ ¢ 2 2 v(t)= α0(t) = ( ω sin ωt) +(ω cos ωt) = ω. (1.1) k k − q 1 2 CHAPTER 1. GEOMETRY OF PLANE CURVES The various parametrizations obtained by varying ω change the velocity, ac- 2π celeration and speed but have the same trace, i.e., α 0, ω = C for each ω.
    [Show full text]
  • Algebraic Geometry Michael Stoll
    Introductory Geometry Course No. 100 351 Fall 2005 Second Part: Algebraic Geometry Michael Stoll Contents 1. What Is Algebraic Geometry? 2 2. Affine Spaces and Algebraic Sets 3 3. Projective Spaces and Algebraic Sets 6 4. Projective Closure and Affine Patches 9 5. Morphisms and Rational Maps 11 6. Curves — Local Properties 14 7. B´ezout’sTheorem 18 2 1. What Is Algebraic Geometry? Linear Algebra can be seen (in parts at least) as the study of systems of linear equations. In geometric terms, this can be interpreted as the study of linear (or affine) subspaces of Cn (say). Algebraic Geometry generalizes this in a natural way be looking at systems of polynomial equations. Their geometric realizations (their solution sets in Cn, say) are called algebraic varieties. Many questions one can study in various parts of mathematics lead in a natural way to (systems of) polynomial equations, to which the methods of Algebraic Geometry can be applied. Algebraic Geometry provides a translation between algebra (solutions of equations) and geometry (points on algebraic varieties). The methods are mostly algebraic, but the geometry provides the intuition. Compared to Differential Geometry, in Algebraic Geometry we consider a rather restricted class of “manifolds” — those given by polynomial equations (we can allow “singularities”, however). For example, y = cos x defines a perfectly nice differentiable curve in the plane, but not an algebraic curve. In return, we can get stronger results, for example a criterion for the existence of solutions (in the complex numbers), or statements on the number of solutions (for example when intersecting two curves), or classification results.
    [Show full text]
  • Trigonometry Cram Sheet
    Trigonometry Cram Sheet August 3, 2016 Contents 6.2 Identities . 8 1 Definition 2 7 Relationships Between Sides and Angles 9 1.1 Extensions to Angles > 90◦ . 2 7.1 Law of Sines . 9 1.2 The Unit Circle . 2 7.2 Law of Cosines . 9 1.3 Degrees and Radians . 2 7.3 Law of Tangents . 9 1.4 Signs and Variations . 2 7.4 Law of Cotangents . 9 7.5 Mollweide’s Formula . 9 2 Properties and General Forms 3 7.6 Stewart’s Theorem . 9 2.1 Properties . 3 7.7 Angles in Terms of Sides . 9 2.1.1 sin x ................... 3 2.1.2 cos x ................... 3 8 Solving Triangles 10 2.1.3 tan x ................... 3 8.1 AAS/ASA Triangle . 10 2.1.4 csc x ................... 3 8.2 SAS Triangle . 10 2.1.5 sec x ................... 3 8.3 SSS Triangle . 10 2.1.6 cot x ................... 3 8.4 SSA Triangle . 11 2.2 General Forms of Trigonometric Functions . 3 8.5 Right Triangle . 11 3 Identities 4 9 Polar Coordinates 11 3.1 Basic Identities . 4 9.1 Properties . 11 3.2 Sum and Difference . 4 9.2 Coordinate Transformation . 11 3.3 Double Angle . 4 3.4 Half Angle . 4 10 Special Polar Graphs 11 3.5 Multiple Angle . 4 10.1 Limaçon of Pascal . 12 3.6 Power Reduction . 5 10.2 Rose . 13 3.7 Product to Sum . 5 10.3 Spiral of Archimedes . 13 3.8 Sum to Product . 5 10.4 Lemniscate of Bernoulli . 13 3.9 Linear Combinations .
    [Show full text]
  • Study of Spiral Transition Curves As Related to the Visual Quality of Highway Alignment
    A STUDY OF SPIRAL TRANSITION CURVES AS RELA'^^ED TO THE VISUAL QUALITY OF HIGHWAY ALIGNMENT JERRY SHELDON MURPHY B, S., Kansas State University, 1968 A MJvSTER'S THESIS submitted in partial fulfillment of the requirements for the degree MASTER OF SCIENCE Department of Civil Engineering KANSAS STATE UNIVERSITY Manhattan, Kansas 1969 Approved by P^ajQT Professor TV- / / ^ / TABLE OF CONTENTS <2, 2^ INTRODUCTION 1 LITERATURE SEARCH 3 PURPOSE 5 SCOPE 6 • METHOD OF SOLUTION 7 RESULTS 18 RECOMMENDATIONS FOR FURTHER RESEARCH 27 CONCLUSION 33 REFERENCES 34 APPENDIX 36 LIST OF TABLES TABLE 1, Geonetry of Locations Studied 17 TABLE 2, Rates of Change of Slope Versus Curve Ratings 31 LIST OF FIGURES FIGURE 1. Definition of Sight Distance and Display Angle 8 FIGURE 2. Perspective Coordinate Transformation 9 FIGURE 3. Spiral Curve Calculation Equations 12 FIGURE 4. Flow Chart 14 FIGURE 5, Photograph and Perspective of Selected Location 15 FIGURE 6. Effect of Spiral Curves at Small Display Angles 19 A, No Spiral (Circular Curve) B, Completely Spiralized FIGURE 7. Effects of Spiral Curves (DA = .015 Radians, SD = 1000 Feet, D = l** and A = 10*) 20 Plate 1 A. No Spiral (Circular Curve) B, Spiral Length = 250 Feet FIGURE 8. Effects of Spiral Curves (DA = ,015 Radians, SD = 1000 Feet, D = 1° and A = 10°) 21 Plate 2 A. Spiral Length = 500 Feet B. Spiral Length = 1000 Feet (Conpletely Spiralized) FIGURE 9. Effects of Display Angle (D = 2°, A = 10°, Ig = 500 feet, = SD 500 feet) 23 Plate 1 A. Display Angle = .007 Radian B. Display Angle = .027 Radiaji FIGURE 10.
    [Show full text]
  • Combination of Cubic and Quartic Plane Curve
    IOSR Journal of Mathematics (IOSR-JM) e-ISSN: 2278-5728,p-ISSN: 2319-765X, Volume 6, Issue 2 (Mar. - Apr. 2013), PP 43-53 www.iosrjournals.org Combination of Cubic and Quartic Plane Curve C.Dayanithi Research Scholar, Cmj University, Megalaya Abstract The set of complex eigenvalues of unistochastic matrices of order three forms a deltoid. A cross-section of the set of unistochastic matrices of order three forms a deltoid. The set of possible traces of unitary matrices belonging to the group SU(3) forms a deltoid. The intersection of two deltoids parametrizes a family of Complex Hadamard matrices of order six. The set of all Simson lines of given triangle, form an envelope in the shape of a deltoid. This is known as the Steiner deltoid or Steiner's hypocycloid after Jakob Steiner who described the shape and symmetry of the curve in 1856. The envelope of the area bisectors of a triangle is a deltoid (in the broader sense defined above) with vertices at the midpoints of the medians. The sides of the deltoid are arcs of hyperbolas that are asymptotic to the triangle's sides. I. Introduction Various combinations of coefficients in the above equation give rise to various important families of curves as listed below. 1. Bicorn curve 2. Klein quartic 3. Bullet-nose curve 4. Lemniscate of Bernoulli 5. Cartesian oval 6. Lemniscate of Gerono 7. Cassini oval 8. Lüroth quartic 9. Deltoid curve 10. Spiric section 11. Hippopede 12. Toric section 13. Kampyle of Eudoxus 14. Trott curve II. Bicorn curve In geometry, the bicorn, also known as a cocked hat curve due to its resemblance to a bicorne, is a rational quartic curve defined by the equation It has two cusps and is symmetric about the y-axis.
    [Show full text]
  • Arxiv:2009.05223V1 [Math.NT] 11 Sep 2020 Fdegree of Eaeitrse Nfidn Function a finding in Interested Are We Hoe 1.1
    COUNTING ELLIPTIC CURVES WITH A RATIONAL N-ISOGENY FOR SMALL N BRANDON BOGGESS AND SOUMYA SANKAR Abstract. We count the number of rational elliptic curves of bounded naive height that have a rational N-isogeny, for N ∈ {2, 3, 4, 5, 6, 8, 9, 12, 16, 18}. For some N, this is done by generalizing a method of Harron and Snowden. For the remaining cases, we use the framework of Ellenberg, Satriano and Zureick-Brown, in which the naive height of an elliptic curve is the height of the corresponding point on a moduli stack. 1. Introduction ′ Let E be an elliptic curve over Q. An isogeny φ : E E between two elliptic curves is said to be cyclic ¯ → of degree N if Ker(φ)(Q) ∼= Z/NZ. Further, it is said to be rational if Ker(φ) is stable under the action of the absolute Galois group, GQ. A natural question one can ask is, how many elliptic curves over Q have a rational cyclic N-isogeny? Henceforth, we will omit the adjective ‘cyclic’, since these are the only types of isogenies we will consider. It is classically known that for N 10 and N = 12, 13, 16, 18, 25, there are infinitely many such elliptic curves. Thus we order them by naive≤ height. An elliptic curve E over Q has a unique minimal Weierstrass equation y2 = x3 + Ax + B where A, B Z and gcd(A3,B2) is not divisible by any 12th power. Define the naive height of E to be ht(E) = max A∈3, B 2 .
    [Show full text]
  • RATIONAL HOMOGENEOUS VARIETIES Giorgio Ottaviani
    RATIONAL HOMOGENEOUS VARIETIES Giorgio Ottaviani Dipartimento di Matematica, Universit`adell'Aquila Current address: Dipartimento di Matematica, Universit`adi Firenze viale Morgagni 67/A 50134 FIRENZE [email protected]fi.it x1. Introduction page 1 x2. Grassmannians and flag varieties 5 x3. Lie algebras and Lie groups 9 x4. The Borel fixed point theorem 18 x5. SL(2) 22 x6. The Cartan decomposition 26 x7. Borel and parabolic subgroups 37 x8. ABC about bundles 40 x9. Homogeneous bundles 47 x10. The theorem of Borel-Weil 51 x11. The theorem of Bott 61 x12. Stability of homogeneous bundles 65 References 69 These notes have been written for distribution to the participants to the summer school in Algebraic Geometry organized by the Scuola Matematica Universitaria in Cortona in the period 13-26 August 1995. The aim was to describe the classification of rational homogeneous varieties and to provide the theorems of Borel-Weil and Bott. Lie algebras are introduced starting from the definition and they are studied as far as it is necessary for the aim. At the other side, the knowledge of basic techniques of algebraic geometry (as sheaf cohomology) and algebraic topology was assumed. I learned most of the material of these notes from many lectures and discussions with Vincenzo Ancona and Alan Huckleberry. I am sincerely grateful to both of them and also to all the participants to the course in Cortona, especially to Raffaella Paoletti and Anke Simon for careful proofreading and for their suggestions. x1. Introduction An algebraic variety is a quasiprojective variety over the field C of complex numbers.
    [Show full text]
  • Topics in Complex Analytic Geometry
    version: February 24, 2012 (revised and corrected) Topics in Complex Analytic Geometry by Janusz Adamus Lecture Notes PART II Department of Mathematics The University of Western Ontario c Copyright by Janusz Adamus (2007-2012) 2 Janusz Adamus Contents 1 Analytic tensor product and fibre product of analytic spaces 5 2 Rank and fibre dimension of analytic mappings 8 3 Vertical components and effective openness criterion 17 4 Flatness in complex analytic geometry 24 5 Auslander-type effective flatness criterion 31 This document was typeset using AMS-LATEX. Topics in Complex Analytic Geometry - Math 9607/9608 3 References [I] J. Adamus, Complex analytic geometry, Lecture notes Part I (2008). [A1] J. Adamus, Natural bound in Kwieci´nski'scriterion for flatness, Proc. Amer. Math. Soc. 130, No.11 (2002), 3165{3170. [A2] J. Adamus, Vertical components in fibre powers of analytic spaces, J. Algebra 272 (2004), no. 1, 394{403. [A3] J. Adamus, Vertical components and flatness of Nash mappings, J. Pure Appl. Algebra 193 (2004), 1{9. [A4] J. Adamus, Flatness testing and torsion freeness of analytic tensor powers, J. Algebra 289 (2005), no. 1, 148{160. [ABM1] J. Adamus, E. Bierstone, P. D. Milman, Uniform linear bound in Chevalley's lemma, Canad. J. Math. 60 (2008), no.4, 721{733. [ABM2] J. Adamus, E. Bierstone, P. D. Milman, Geometric Auslander criterion for flatness, to appear in Amer. J. Math. [ABM3] J. Adamus, E. Bierstone, P. D. Milman, Geometric Auslander criterion for openness of an algebraic morphism, preprint (arXiv:1006.1872v1). [Au] M. Auslander, Modules over unramified regular local rings, Illinois J.
    [Show full text]