DOCSLIB.ORG

Effective Geometry and Arithmetic of Curves: an Introduction

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Effective Geometry and Arithmetic of Curves: an Introduction Effective geometry and arithmetic of curves: an introduction Online CIMPA course Christophe Ritzenthaler Copyright © 2017 Christophe Ritzenthaler RENNES UNIVERSITY Contents 1 Presentation of the course .....................................7 1.1 Content of the course7 1.2 References7 1.3 Notation7 I Effective geometry of curves 2 Affine and projective varieties: a quick review ................. 11 2.1 Affine varieties 11 2.2 Projective varieties 15 2.3 Maps between projective varieties 19 2.4 Bézout theorem 21 3 Elementary properties of curves ............................... 23 3.1 Uniformizers 23 3.1.1 Construction of functions with specific Laurent tails..................... 24 3.2 Maps between curves 26 3.2.1 Dictionary curves/function fields.................................... 26 3.3 Divisors 29 3.4 Differentials 32 3.4.1 Generalities.................................................... 32 3.4.2 Residue....................................................... 34 4 Riemann-Roch and Riemann-Hurwitz .......................... 37 4.1 Proof of Riemann-Roch theorem 37 4.1.1 Répartitions and H1(D) ........................................... 37 4.1.2 Dual of the space of répartitions.................................... 39 4.1.3 The residue map and Serre duality.................................. 40 4.2 Corollaries 41 4.3 Riemann-Hurwitz theorem 42 5 Description of the curves up to genus 5 ........................ 45 5.1 Genus 0 case 45 5.2 Genus 1 case 46 5.3 Genus 2 case 47 5.4 Interlude: canonical map and hyperelliptic curves 48 5.5 Genus 3 case 50 5.6 Genus 4 case 50 5.7 Genus 5 and beyond 51 II Arithmetic of curves and its Jacobian over finite fields 6 Number of points of curves over finite fields .................... 55 6.1 Weil conjectures for curves 57 6.1.1 Rewriting of Z(C=k;T) ............................................. 58 6.1.2 d0 = 1 ......................................................... 59 6.1.3 Functional equation............................................. 60 6.1.4 Riemann hypothesis.............................................. 60 6.2 Maximal number of points 62 6.2.1 General arguments.............................................. 62 6.2.2 Asymptotics.................................................... 65 6.2.3 The cases g = 1 and 2 ............................................. 65 6.3 Codes 66 6.3.1 Definitions...................................................... 66 6.3.2 AG-codes..................................................... 68 6.3.3 Modular codes................................................. 70 7 Jacobian of curves ........................................... 73 7.1 Abelian varieties: algebraic and complex point of view 74 7.2 Jacobians 78 7.3 Application to cryptography 80 7.4 Construction of curves with many points 82 7.4.1 Weil polynomial vs Frobenius characteristic polynomial.................. 82 7.4.2 A construction of maximal curve of genus 3 over F2n .................... 85 III Appendices 8 Using MAGMA and some (open) problems ..................... 91 8.1 Some basic tools: exercises 91 8.1.1 Wording....................................................... 91 8.1.2 Solutions....................................................... 93 8.2 Some (more) open exercises 95 8.2.1 Isomorphisms between hyperelliptic curves........................... 95 8.2.2 Number of points on plane curves.................................. 95 8.2.3 Good correspondences between curves............................. 95 8.2.4 Constraints on the Weil polynomial for curves.......................... 96 8.2.5 Codes from modular curves....................................... 96 8.2.6 Distribution of curves over finite fields................................ 96 8.2.7 Number of points on a genus 4 curve................................ 96 8.2.8 Number of points on a genus 5 curve................................ 97 8.2.9 Non-special divisors on a curve over a finite field....................... 97 8.3 Good models of curves of genus ≤ 5 97 8.3.1 Wordings...................................................... 97 8.4 Isomorphisms-Automorphisms 100 8.5 Exploring the number of points of curves over finite fields 101 8.5.1 Wordings..................................................... 101 8.5.2 Solutions...................................................... 102 Bibliography ................................................ 105 Articles 105 Books 106 Index ....................................................... 108 1. Presentation of the course 1.1 Content of the course 1.2 References The references for Chapter 2 will be [42, Chap.I] for a fast overview and [38, chap.I, chap.II], [30, Chap.II] or [44, chap.1, 2, 3] for a more exhaustive understanding. Although we are interested in effective aspects, the algorithms behind the systematic computations would bring us too far. We refer to [25] for an introduction to the topic. Chapter 3 follows [42, Chap.II] and partly [41] for the properties of the residue. Chapter 4 is a mix of [41] and [34]. For the models of curves in Chapter 5, there are information in [20], [28], [34] and [33] and part of the underlying theory is also contained in [30, Chap.IV]. The proof of Weil conjecture in Chapter 6 and the consequences for maximal curves are inspired by [8] and [3]. The application to codes is in [46]. Chapter 7 is an overview and the interested reader will be able to learn much more from various sources. For the complex theory [24, chap.IV], [26] and [22] give a deeper and deeper path into the theory. For the general point of view, [24, chap.V] provides a first overview at the general theory whereas [24, chap.VII] focuses on Jacobians. The application to cryptography can be found in various sources, for instance in [23]. The final application to construction of curves takes some arguments from [24, chap.V] and then from [13]. 1.3 Notation In the rest of the course (and unless specified) we will use the following notation • k a perfect field (i.e. all its finite extensions are separable) of characteristic p equal to 0 or a prime. • for varieties V=k, we will write P 2 V instead of P 2 V(k¯). IEffective geometry of curves 2 Affine and projective varieties: a quick re- view ................................ 11 2.1 Affine varieties 2.2 Projective varieties 2.3 Maps between projective varieties 2.4 Bézout theorem 3 Elementary properties of curves ...... 23 3.1 Uniformizers 3.2 Maps between curves 3.3 Divisors 3.4 Differentials 4 Riemann-Roch and Riemann-Hurwitz . 37 4.1 Proof of Riemann-Roch theorem 4.2 Corollaries 4.3 Riemann-Hurwitz theorem 5 Description of the curves up to genus 5 45 5.1 Genus 0 case 5.2 Genus 1 case 5.3 Genus 2 case 5.4 Interlude: canonical map and hyperelliptic curves 5.5 Genus 3 case 5.6 Genus 4 case 5.7 Genus 5 and beyond 2. Affine and projective varieties: a quick review 2.1 Affine varieties Definition 2.1.1 For every n > 0, we define the affine space of dimension n as n n A = f(x1;:::;xn) 2 k g and its k-rational points as n n A (k) = f(x1;:::;xn) 2 k g: n n s s s If P = (a1;:::;an) 2 A = A (k), for every s 2 Gal(k=k), we define P = (a1 ;:::;an ). We see n n that A (k) = fP 2 A ;s.t. P = Ps 8s 2 Gal(k=k)g. This point of view is often useful because it allows to see an arithmetic problem (i.e. over k) as a geometric problem (i.e. over k) plus a Galois action. Let now Rn = k[X1;:::;Xn] and I ⊂ Rn be an ideal. Definition 2.1.2 The affine algebraic set associated to I is the set of points n V(I) = fP 2 A s.t. f (P) = 0 8 f 2 Ig: If I is defined over k (i.e. I can be generated by polynomials with coefficients in k) then the n set of k-rational points of V(I) is the set V(I)(k) = V(I)\A (k) = fP 2 V(I) s.t. P = Ps 8s 2 Gal(k=k)g. The noetherian property of Rn shows that we can assume that I is finitely generated by a set n of polynomials f1;:::; fm. Hence V(I) = fP 2 A s.t. fi(P) = 0 81 ≤ i ≤ mg: We will also denote V = V(( f1;:::; fm)) as the set defined by V : f1 = 0;:::; fm = 0. The action of s 2 Gal(k=k) on elements of Rn (induced by the action on each coefficients) defines an action on the algebraic sets: if V = V(I) for I = ( f1;:::; fm) an ideal of Rn one defines s s s s V = V(( f1 ;:::; fm )). One can prove that V = V for all s if and only if V = V(J) with J defined over k. 12 Chapter 2. Affine and projective varieties: a quick review n Example 2.1 V((1)) = /0and V((0)) = A . Let k = R and let us draw some pictures of algebraic sets in A2 and A3. By the way, the picture behind the title of this chapter is also (the real points of an) algebraic set given by a quartic equation in A3 and called a Kümmer surface. Figure 2.1: V : Y − X2 = 0 Figure 2.2: V : X2Y + XY 4 − X4 −Y 4 = 0 Figure 2.3: V : X2 +Y 2 − Z2 = 0 Figure 2.4: V : Y − X2 = 0;Y = 2 p The last picture defines two points (± 2;2). Note that although V is defined over Q, it has no Q- n rational points. More generally, a point (a1;:::;an) 2 A is defined by I = (X1 − a1;:::;Xn − an). n n 2 Let us fix n ≥ 1 and look at the Q-rational points of Vn : x + y − 1 = 0 in A . Proving that Vn(Q) = f(1;0);(0;1)g when n > 1 is odd and Vn(Q) = f(±1;0);(0;±1)g when n > 2 is even is equivalent to prove Fermat last theorem. One can therefore guess that statements over non- algebraically closed fields are often deep. Note that the underlying idea is that there is also a strong control of the geometry on the arithmetic. It can for instance be proved computing only a geometric invariant of Vn (its genus, see Definition 3.4.5) that its set of Q-rational points must be finite for all n > 4 (consequence of Mordell conjecture proved by Faltings).
Load more

Recommended publications
  • Bernhard Riemann 1826-1866
    Modern Birkh~user Classics Many of the original research and survey monographs in pure and applied mathematics published by Birkh~iuser in recent decades have been groundbreaking and have come to be regarded as foun- dational to the subject. Through the MBC Series, a select number of these modern classics, entirely uncorrected, are being re-released in paperback (and as eBooks) to ensure that these treasures remain ac- cessible to new generations of students, scholars, and researchers. BERNHARD RIEMANN (1826-1866) Bernhard R~emanno 1826 1866 Turning Points in the Conception of Mathematics Detlef Laugwitz Translated by Abe Shenitzer With the Editorial Assistance of the Author, Hardy Grant, and Sarah Shenitzer Reprint of the 1999 Edition Birkh~iuser Boston 9Basel 9Berlin Abe Shendtzer (translator) Detlef Laugwitz (Deceased) Department of Mathematics Department of Mathematics and Statistics Technische Hochschule York University Darmstadt D-64289 Toronto, Ontario M3J 1P3 Gernmany Canada Originally published as a monograph ISBN-13:978-0-8176-4776-6 e-ISBN-13:978-0-8176-4777-3 DOI: 10.1007/978-0-8176-4777-3 Library of Congress Control Number: 2007940671 Mathematics Subject Classification (2000): 01Axx, 00A30, 03A05, 51-03, 14C40 9 Birkh~iuser Boston All rights reserved. This work may not be translated or copied in whole or in part without the writ- ten permission of the publisher (Birkh~user Boston, c/o Springer Science+Business Media LLC, 233 Spring Street, New York, NY 10013, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter de- veloped is forbidden.
    [Show full text]
  • 1 Complex Theory of Abelian Varieties
    1 Complex Theory of Abelian Varieties Definition 1.1. Let k be a field. A k-variety is a geometrically integral k-scheme of finite type. An abelian variety X is a proper k-variety endowed with a structure of a k-group scheme. For any point x X(k) we can defined a translation map Tx : X X by 2 ! Tx(y) = x + y. Likewise, if K=k is an extension of fields and x X(K), then 2 we have a translation map Tx : XK XK defined over K. ! Fact 1.2. Any k-group variety G is smooth. Proof. We may assume that k = k. There must be a smooth point g0 G(k), and so there must be a smooth non-empty open subset U G. Since2 G is covered by the G(k)-translations of U, G is smooth. ⊆ We now turn our attention to the analytic theory of abelian varieties by taking k = C. We can view X(C) as a compact, connected Lie group. Therefore, we start off with some basic properties of complex Lie groups. Let X be a Lie group over C, i.e., a complex manifold with a group structure whose multiplication and inversion maps are holomorphic. Let T0(X) denote the tangent space of X at the identity. By adapting the arguments from the C1-case, or combining the C1-case with the Cauchy-Riemann equations we get: Fact 1.3. For each v T0(X), there exists a unique holomorphic map of Lie 2 δ groups φv : C X such that (dφv)0 : C T0(X) satisfies (dφv)0( 0) = v.
    [Show full text]
  • Riemann Forms
    Riemann Forms Ching-Li Chai∗ The notion of Riemann forms began as a coordinate-free reformulation of the Riemann period relations for abelian functions discovered by Riemann. This concept has evolved with the progress in mathematics in the 150 years after Riemann. Nowadays it is often viewed from the perspective of abstract Hodge theory: a Riemann form gives an alternating pairing on a (pure) Hodge Z-structure of Hodge type f(0;−1);(−1;0)g and weight −1, with values in the “Tate twisted” version Z(1) of Z. Along more algebraic lines, the concept of Riemann forms was extended to abelian varieties over arbitrary base fields, after Weil [8] developed the theory of abelian varieties over an arbitrary base fields. For any (co)homology theory, for instance de Rham, Hodge, etale´ or crystalline cohomology theory, a Riemann form for an abelian variety is an alternating pairing induced by a polarization of A, on the first homology group H1(A) of an abelian variety A, with values in H1(Gm), the first Tate twist of the homology of a point. A synopsis for the case of etale´ cohomology is given in x2. x1. From Riemann matrices to Riemann forms A version of theorem 1.1 appeared in [3, pp. 148–150], preceded by the high praise “il est extremement` remarquable est c’est a` M. le Dr. Riemann, de Gottingue,¨ qu’on doit cette decouverte´ analytique . ” from Hermite. This theorem is stated in terms of period matrices for abelian functions in the article on Riemann bilinear relations; see [7, Ch.
    [Show full text]
  • Of Triangles, Gas, Price, and Men
    OF TRIANGLES, GAS, PRICE, AND MEN Cédric Villani Univ. de Lyon & Institut Henri Poincaré « Mathematics in a complex world » Milano, March 1, 2013 Riemann Hypothesis (deepest scientific mystery of our times?) Bernhard Riemann 1826-1866 Riemann Hypothesis (deepest scientific mystery of our times?) Bernhard Riemann 1826-1866 Riemannian (= non-Euclidean) geometry At each location, the units of length and angles may change Shortest path (= geodesics) are curved!! Geodesics can tend to get closer (positive curvature, fat triangles) or to get further apart (negative curvature, skinny triangles) Hyperbolic surfaces Bernhard Riemann 1826-1866 List of topics named after Bernhard Riemann From Wikipedia, the free encyclopedia Riemann singularity theorem Cauchy–Riemann equations Riemann solver Compact Riemann surface Riemann sphere Free Riemann gas Riemann–Stieltjes integral Generalized Riemann hypothesis Riemann sum Generalized Riemann integral Riemann surface Grand Riemann hypothesis Riemann theta function Riemann bilinear relations Riemann–von Mangoldt formula Riemann–Cartan geometry Riemann Xi function Riemann conditions Riemann zeta function Riemann curvature tensor Zariski–Riemann space Riemann form Riemannian bundle metric Riemann function Riemannian circle Riemann–Hilbert correspondence Riemannian cobordism Riemann–Hilbert problem Riemannian connection Riemann–Hurwitz formula Riemannian cubic polynomials Riemann hypothesis Riemannian foliation Riemann hypothesis for finite fields Riemannian geometry Riemann integral Riemannian graph Bernhard
    [Show full text]
  • Elliptic Curves and Modular Forms
    ALGANT Master Thesis - July 2018 Elliptic Curves and Modular Forms Candidate Francesco Bruzzesi Advisor Prof. Dr. Marc N. Levine Universit´adegli Studi di Milano Universit¨atDuisburg{Essen Introduction The thesis has the aim to study the Eichler-Shimura construction associating elliptic curves to weight-2 modular forms for Γ0(N): this is the perfect topic to combine and develop further results from three courses I took in the first semester of the academic year 2017-18 at Universit¨atDuisburg-Essen (namely the courses of modular forms, abelian varieties and complex multiplication). Chapter 1 gives a brief overview on the algebraic geometry results and tools we will need along the whole thesis. Chapter 2 introduces and develops the theory of elliptic curves, firstly as an algebraic curve over a generic field, and then focusing on the fields of complex and rational numbers, in particular for the latter case we will be able to define an L-function associated to an elliptic curve. As we move to Chapter 3 we shift our focus to the theory of modular forms. We first treat elementary results and their consequences, then we seehow it is possible to define the canonical model of the modular curve X0(N) over Q, and the integrality property of the j-invariant. Chapter 4 concerns Hecke operators: Shimura's book [Shi73 Chapter 3] introduces the Hecke ring and its properties in full generality, on the other hand the other two main references for the chapter [DS06 Chapter 5] and [Kna93 Chapters XIII & IX] do not introduce the Hecke ring at all, and its attributes (such as commutativity for the case of interests) are proved by explicit computation.
    [Show full text]
  • Georg Friedrich Bernhard Riemann
    Georg Friedrich Bernhard Riemann By: Supervised: Sandra Hanbo Dr. Vágó Zsuzsanna Biography • Born in 17 September 1826 in Breselenz, Kingdom of Hannover (Germany now) • Father : Friedrich Bernhard Riemann. Poor Lutheran pastor • Mother: Charlotte Ebell • Wife: Elise Koch and they had a daughter Elda • Universities : University of Göttingen (1846) studying math under Gauss, University of Berlin (1847) continuing study by : Carl Gustav Jacob Jacobi, Peter Gustav Lejeune Dirichlet, Jakob Steiner, and Gotthold Eisenstein • Doctoral supervisor : Carl Friedrich Gauss • Honors awarded to Bernhard Riemann 1. Fellow of the Royal Society: 1866 2. Lunar features: Crater Riemann 3. Popular biographies list: Number 18 • Dead : 20 July 1866 in Selasca (Italy) Some of his Articles • Basics for a general theory of functions of a changeable complex Size.- 1851 • On the Number of Primes Less Than a Given –1859 • On the laws of the distribution of voltage electricity in ponderable bodies, if these are not regarded as perfect conductors or non-conductors, but as reluctant to contain voltage electricity with finite force- - 1854 • On the theory of Nobili's color rings -1855 • Contributions to the theory of the functions that can be represented by the Gaussian series F (α, β, γ,( .- 1857 • Theory of Abel's functions -1857 • About the disappearance of the theta functions - 1866 Some topics named after Riemann • Cauchy–Riemann equations • Riemann form • Riemann Geometry • Riemann mapping theorem • Riemann problem • Riemann surface • Riemann solver • Riemann's differential equation • Riemann's explicit formula Riemann surface for f(z) = z1/2. Image by Leonid 2. • Riemann's minimal surface Famous Scientists – Bernard Riemann And others … References: • Articles: • "Bernhard Riemann." Famous Scientists.
    [Show full text]
  • Basic Theory of Abelian Varieties 1. Definitions
    ABELIAN VARIETIES J.S. MILNE Abstract. These are the notes for Math 731, taught at the University of Michigan in Fall 1991, somewhat revised from those handed out during the course. They are available at www.math.lsa.umich.edu/∼jmilne/. Please send comments and corrections to me at [email protected]. v1.1 (July 27, 1998). First version on the web. These notes are in more primitive form than my other notes — the reader should view them as an unfinished painting in which some areas are only sketched in. Contents Introduction 1 Part I: Basic Theory of Abelian Varieties 1. Definitions; Basic Properties. 7 2. Abelian Varieties over the Complex Numbers. 9 3. Rational Maps Into Abelian Varieties 15 4. The Theorem of the Cube. 19 5. Abelian Varieties are Projective 25 6. Isogenies 29 7. The Dual Abelian Variety. 32 8. The Dual Exact Sequence. 38 9. Endomorphisms 40 10. Polarizations and Invertible Sheaves 50 11. The Etale Cohomology of an Abelian Variety 51 12. Weil Pairings 52 13. The Rosati Involution 53 14. The Zeta Function of an Abelian Variety 54 15. Families of Abelian Varieties 57 16. Abelian Varieties over Finite Fields 60 17. Jacobian Varieties 64 18. Abel and Jacobi 67 Part II: Finiteness Theorems 19. Introduction 70 20. N´eron models; Semistable Reduction 76 21. The Tate Conjecture; Semisimplicity. 77 c 1998 J.S. Milne. You may make one copy of these notes for your own personal use. 1 0J.S.MILNE 22. Geometric Finiteness Theorems 82 23. Finiteness I implies Finiteness II. 87 24.
    [Show full text]
  • Moduli Spaces for Abelian Varieties Over C
    Moduli spaces for abelian varieties over C. Kevin Buzzard April 26, 2012 Last modified August 2005. 1 Introduction. These are some notes I wrote in order to teach myself the classical analytic theory of moduli spaces for abelian varieties. They may well contain mistakes, and they might have a \lop-sided" feel because they emphasize only the parts of the theory that I wasn't so sure about. They contain lots of elementary calculations and a few examples of things. Perhaps the notes as a whole are of some use to other people nonetheless. Thanks to Toby Gee for comments on initial versions of this stuff. References I've used for the general theory include: Swinnerton-Dyer's book on abelian varieties; Mumford's book on abelian varieties; and articles by Rosen and Milne in Cornell-Silverman. I also used various other more specialised references when, for example, trying to fathom out the Hilbert case and so on. My goal was a concrete reference for all the well-known explicit bijections be- tween the complex points of certain Shimura varieties, and isomorphism classes of certain abelian varieties equipped with extra structures (polarizations, endo- morphisms, level structures (which as it happens will always be full here, due to laziness on my part))|up to and including the case of a quaternion algebra with exactly one split infinite place over a totally real field. I didn't quite get this far, but I got far enough to realise that I wasn't scared of this case. The point is that knowing Riemann's theorem makes the whole business of moduli spaces very elementary over C|it just turns the game into linear algebra.
    [Show full text]
  • Abelian Varieties and Moduli
    Abelian Varieties and Moduli Donu Arapura April 19, 2012 A complex abelian variety is a smooth projective variety which happens to be a complex torus. This simplifies many things compared to general varieties, but it also means that one can ask harder questions. Abelian varieties are indeed abelian groups (unlike elliptic curves which aren't ellipses), however the use \abelian" here comes about from the connection with abelian integrals which generalize elliptic integrals. 1 Contents 1 The classical story3 1.1 Elliptic and hyperelliptic integrals.................3 1.2 Elliptic curves.............................5 1.3 Jacobi's Theta function.......................7 1.4 Riemann's conditions.........................9 2 The modern viewpoint 12 2.1 Cohomology of a torus........................ 12 2.2 Line bundles on tori......................... 13 2.3 Theorem of Appell-Humbert..................... 15 2.4 The number of theta functions................... 17 2.5 Lefschetz's embedding theorem................... 19 3 The endomorphism algebra 22 3.1 Poincar´ereducibility......................... 22 3.2 The Rosati involution........................ 23 3.3 Division rings with involution.................... 24 4 Moduli spaces 27 4.1 Moduli of elliptic curves....................... 27 4.2 Moduli functors............................ 28 4.3 Level structure............................ 30 4.4 Moduli stacks............................. 32 4.5 Moduli space of principally polarized abelian varieties...... 34 4.6 Algebraic construction of Ag .................... 37 4.7 Endomorphism rings of generic abelian varieties.......... 39 4.8 Hilbert modular varieties...................... 40 4.9 Some abelian varieties of type II and IV.............. 41 4.10 Baily-Borel-Satake compactification................ 43 2 Chapter 1 The classical story 1.1 Elliptic and hyperelliptic integrals As all of us learn in calculus, integrals involving square roots of quadratic poly- nomials can be evaluated by elementary methods.
    [Show full text]
  • Arxiv:1711.01755V1 [Math.HO] 6 Nov 2017 Obyn H Ahmtcladpyia Etn,Adte a N a Had They Infinitely and the Setting, Physical and Philosophy
    PHYSICS IN RIEMANN’S MATHEMATICAL PAPERS ATHANASE PAPADOPOULOS Abstract. Riemann’s mathematical papers contain many ideas that arise from physics, and some of them are motivated by problems from physics. In fact, it is not easy to separate Riemann’s ideas in mathematics from those in physics. Furthermore, Riemann’s philosophical ideas are often in the back- ground of his work on science. The aim of this chapter is to give an overview of Riemann’s mathematical results based on physical reasoning or motivated by physics. We also elaborate on the relation with philosophy. While we discuss some of Riemann’s philo- sophical points of view, we review some ideas on the same subjects emitted by Riemann’s predecessors, and in particular Greek philosophers, mainly the pre-socratics and Aristotle. AMS Mathematics Subject Classification: 01-02, 01A55, 01A67. Keywords: Bernhard Riemann, space, Riemannian geometry, Riemann sur- face, trigonometric series, electricity, physics. Contents 1. Introduction 1 2. Function theory and Riemann surfaces 11 3. Riemann’s memoir on trigonometric series 20 4. Riemann’s Habilitationsvortrag 1854 – Space and Matter 27 5. The Commentatio and the Gleichgewicht der Electricit¨at 37 6. Riemann’s other papers 39 7. Conclusion 42 References 43 1. Introduction Bernhard Riemann is one of these pre-eminent scientists who considered math- ematics, physics and philosophy as a single subject, whose objective is part of a arXiv:1711.01755v1 [math.HO] 6 Nov 2017 continuous quest for understanding the world. His writings not only are the basis of some of the most fundamental mathematical theories that continue to grow today, but they also effected a profound transformation of our knowledge of nature, in particular through the physical developments to which they gave rise, in mechan- ics, electromagnetism, heat, electricity, acoustics, and other topics.
    [Show full text]
  • 1.3 Abelian Varieties As Complex Tori (10/08/03 Notes for Math 252 by William Stein)
    6 1. Abelian Varieties 1.3 Abelian Varieties as Complex Tori (10/08/03 notes for Math 252 by William Stein) In this section we introduce extra structure on a complex torus T = V/L that will enable us to understand whether or not T is isomorphic to A(C), for some abelian variety A over C. When dim T = 1, the theory of the Weierstrass ℘ function implies that T is always E(C) for some elliptic curve. In contrast, the generic torus of dimension > 1 does not arise from an abelian variety. In this section we introduce the basic structures on complex tori that are needed to understand which tori arise from abelian varieties, to construct the dual of an abelian variety, to see that End0(A) is a semisimple Q-algebra, and to understand the polarizations on an abelian variety. For proofs, including extensive motivation from the one-dimensional case, read the beautifully written book [4] by Swinnerton- Dyer, and for another survey that strongly influenced the discussion below, see Rosen’s [3]. 1.3.1 Hermitian and Riemann Forms Let V be a finite-dimensional complex vector space. Definition 1.3.1 (Hermitian form). A Hermitian form is a conjugate-symmetric pairing H : V × V → C that is C-linear in the first variable and C-antilinear in the second. Thus H is R-bilinear, H(iu, v) = iH(u, v) = H(u, iv), and H(u, v) = H(v, u). Write H = S + iE, where S, E : V × V → R are real bilinear pairings. Proposition 1.3.2.
    [Show full text]
  • The Geometry of Siegel Modular Varieties
    The Geometry of Siegel Modular Varieties K. Hulek and G.K. Sankaran Introduction ....................................... .............. 2 I Siegel modular varieties ............................ .............. 3 I.1 Arithmetic quotients of the Siegel upper half plane . ...... 3 I.2 Compactifications of Siegel modular varieties . ........ 8 II Classification theory .............................. .............. 14 II.1 The canonical divisor ............................ .......... 15 II.2 The Kodaira dimension of (n) ........................... 17 Ag II.3 Fundamental groups .............................. ......... 23 III Abelian surfaces ................................. ............... 24 III.1 The lifting method .............................. ........... 24 III.2 General type results for moduli spaces of abelian surfaces . 28 III.3 Left and right neighbours ........................ .......... 33 IV Projective models ................................. .............. 38 IV.1 The Segre cubic .................................. .......... 39 IV.2 The Burkhardt quartic ............................ ......... 41 IV.3 The Nieto quintic ................................ .......... 44 arXiv:math/9810153v2 [math.AG] 9 Feb 2000 V Non-principal polarizations ........................ .............. 47 V.1 Type (1, 5) and the Horrocks-Mumford bundle ............. 47 V.2 Type (1, 7) ................................................. 50 V.3 Type (1, 11) ................................................ 52 V.4 Other type (1,t) cases .....................................
    [Show full text]