DOCSLIB.ORG

Foundations of Arithmetic Differential Geometry

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Mathematical Surveys and Monographs Volume 222 Foundations of Arithmetic Differential Geometry Alexandru Buium American Mathematical Society 10.1090/surv/222 Foundations of Arithmetic Differential Geometry Mathematical Surveys and Monographs Volume 222 Foundations of Arithmetic Differential Geometry Alexandru Buium American Mathematical Society Providence, Rhode Island EDITORIAL COMMITTEE Robert Guralnick Benjamin Sudakov Michael A. Singer, Chair Constantin Teleman MichaelI.Weinstein 2010 Mathematics Subject Classification. Primary 11E57, 11F85, 14G20, 53C21. For additional information and updates on this book, visit www.ams.org/bookpages/surv-222 Library of Congress Cataloging-in-Publication Data Buium, Alexandru, 1955- Foundations of arithmetic differential geometry / Alexandru Buium. Description: Providence, Rhode Island : American Mathematical Society, [2017] | Series: Mathe- matical surveys and monographs ; volume 222 | Includes bibliographical references and index. Identifiers: LCCN 2016056302 | ISBN 9781470436230 (alk. paper) Subjects: LCSH: Geometry, Differential. | AMS: Number theory – Forms and linear algebraic groups – Classical groups. msc | Number theory – Discontinuous groups and automorphic forms – p-adic theory, local fields. msc | Algebraic geometry – Arithmetic problems. Diophantine geometry – Local ground fields. msc | Differential geometry – Global differential geometry – Methods of Riemannian geometry, including PDE methods; curvature restrictions. msc Classification: LCC QA641 .B774 2017 | DDC 516.3/6–dc23 LC record available at https://lccn.loc.gov/2016056302 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Permissions to reuse portions of AMS publication content are handled by Copyright Clearance Center’s RightsLink service. For more information, please visit: http://www.ams.org/rightslink. Send requests for translation rights and licensed reprints to [email protected]. Excluded from these provisions is material for which the author holds copyright. In such cases, requests for permission to reuse or reprint material should be addressed directly to the author(s). Copyright ownership is indicated on the copyright page, or on the lower right-hand corner of the first page of each article within proceedings volumes. c 2017 by the author. All rights reserved. Printed in the United States of America. ∞ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ 10987654321 222120191817 Contents Preface vii Acknowledgments x Introduction 1 0.1. Outline of the theory 1 0.2. Comparison with other theories 22 Chapter 1. Algebraic background 27 1.1. Algebra 27 1.2. Algebraic geometry 32 1.3. Superalgebra 33 Chapter 2. Classical differential geometry revisited 39 2.1. Connections in principal bundles and curvature 39 2.2. Lie algebra and classical groups 53 2.3. Involutions and symmetric spaces 58 2.4. Logarithmic derivative and differential Galois groups 63 2.5. Chern connections: the symmetric/anti-symmetric case 64 2.6. Chern connections: the hermitian case 70 2.7. Levi-Civit`a connection and Fedosov connection 72 2.8. Locally symmetric connections 78 2.9. Ehresmann connections attached to inner involutions 79 2.10. Connections in vector bundles 80 2.11. Lax connections 82 2.12. Hamiltonian connections 85 2.13. Cartan connection 92 2.14. Weierstrass and Riccati connections 94 2.15. Differential groups: Cassidy and Painlev´e95 Chapter 3. Arithmetic differential geometry: generalities 99 3.1. Global connections and their curvature 99 3.2. Adelic connections 112 3.3. Semiglobal connections and their curvature; Galois connections 115 3.4. Curvature via analytic continuation between primes 119 3.5. Curvature via algebraization by correspondences 125 3.6. Arithmetic jet spaces and the Cartan connection 138 3.7. Arithmetic Lie algebras and arithmetic logarithmic derivative 147 3.8. Compatibility with translations and involutions 152 3.9. Arithmetic Lie brackets and exponential 159 3.10. Hamiltonian formalism and Painlev´e 161 v vi CONTENTS 3.11. p-adic connections on curves: Weierstrass and Riccati 166 Chapter 4. Arithmetic differential geometry: the case of GLn 169 4.1. Arithmetic logarithmic derivative and Ehresmann connections 169 4.2. Existence of Chern connections 178 4.3. Existence of Levi-Civit`a connections 193 4.4. Existence/non-existence of Fedosov connections 198 4.5. Existence/non-existence of Lax-type connections 202 4.6. Existence of special linear connections 214 4.7. Existence of Euler connections 215 4.8. Curvature formalism and gauge action on GLn 218 4.9. Non-existence of classical δ-cocycles on GLn 228 4.10. Non-existence of δ-subgroups of simple groups 236 4.11. Non-existence of invariant adelic connections on GLn 242 Chapter 5. Curvature and Galois groups of Ehresmann connections 245 5.1. Gauge and curvature formulas 245 5.2. Existence, uniqueness, and rationality of solutions 246 5.3. Galois groups: generalities 252 5.4. Galois groups: the generic case 259 Chapter 6. Curvature of Chern connections 267 6.1. Analytic continuation along tori 267 6.2. Non-vanishing/vanishing of curvature via analytic continuation 279 6.3. Convergence estimates 299 6.4. The cases n =1andm = 1 301 6.5. Non-vanishing/vanishing of curvature via correspondences 303 Chapter 7. Curvature of Levi-Civit`a connections 317 7.1. The case m = 1: non-vanishing of curvature mod p 317 7.2. Analytic continuation along the identity 320 7.3. Mixed curvature 323 Chapter 8. Curvature of Lax connections 325 8.1. Analytic continuation along torsion points 325 8.2. Non-vanishing/vanishing of curvature 329 Chapter 9. Open problems 333 9.1. Unifying holQ and ΓQ 333 9.2. Unifying “∂/∂p”and“∂/∂ζp∞ ” 334 9.3. Unifying Sh and GLn 335 9.4. Further concepts and computations 336 9.5. What lies at infinity? 337 Bibliography 339 Index 343 Preface Aim of the book. The aim of this book is to introduce and develop an arithmetic analogue of classical differential geometry; this analogue will be referred to as arithmetic differential geometry. In this new geometry the ring of integers Z will play the role of a ring of functions on an infinite dimensional manifold. The role of coordinate functions on this manifold will be played by the prime numbers p ∈ Z. The role of partial derivatives of functions with respect to the coordinates n−np ∈ Z ∈ Z will be played by the Fermat quotients, δpn := p , of integers n with respect to the primes p. The role of metrics (respectively 2-forms) will be played by symmetric (respectively anti-symmetric) matrices with coefficients in Z.Theroleof connections (respectively curvature) attached to metrics or 2-forms will be played by certain adelic (respectively global) objects attached to matrices as above. One of the main conclusions of our theory will be that (the “manifold” corresponding to) Z is “intrinsically curved;” this curvature of Z (and higher versions of it) will be encoded into a Q-Lie algebra holQ, which we refer to as the holonomy algebra, and the study of this algebra is, essentially, the main task of the theory. Needless to say, arithmetic differential geometry is still in its infancy. However, its foundations, which we present here, seem to form a solid platform upon which one could further build. Indeed, the main differential geometric concepts of this theory turn out to be related to classical number theoretic concepts (e.g., Christoffel symbols are related to Legendre symbols); existence and uniqueness results for the main objects (such as the arithmetic analogues of Ehresmann, Chern, Levi-Civit`a, and Lax connections) are being proved; the problem of defining curvature (which in arithmetic turns out to be non-trivial) is solved in some important cases (via our method of analytic continuation between primes and, alternatively, via alge- braization by correspondences); and some basic vanishing/non-vanishing theorems are being proved for various types of curvature. It is hoped that all of the above will create a momentum for further investigation and further discovery. Immediate context. A starting point for this circle of ideas can be found in our paper [23] where we showed how to construct arithmetic analogues of the classical jet spaces of Lie and Cartan; these new spaces were referred to as arithmetic jet spaces. The main idea, in this construction, was to replace classical derivation operators acting on functions with Fermat quotient operators acting on numbers and to develop an arithmetic differential calculus that parallels classical calculus. There were two directions of further development: one towards a theory of arithmetic differential equations and another one towards an arithmetic differential geometry. Atheoryofarithmetic differential equations was developed in a series of papers [23]-[42], [7] and was partly summarized in our monograph [35](cf.alsothe survey papers [43, 102]); this theory led to a series of applications to invariant vii viii PREFACE theory [27, 7, 28, 35], congruences between modular forms [27, 37, 38], and Diophantine geometry of Abelian and Shimura varieties [24, 36]. On the other hand an arithmetic differential geometry was developed in a series of papers [42]- [47], [8]; the present book follows, and further develops, the theory in this latter series of papers. We should note that our book [35]onarithmetic differential equations and the present book on arithmetic differential geometry, although both based on the same conceptual framework introduced in [23], are concerned with rather different objects. In particular the two books are independent of each other and the over- lap between them is minimal. Indeed the book [35] was mainly concerned with arithmetic differential calculus on Abelian and Shimura varieties.
Recommended publications
  • Contemporary Mathematics 300

    Contemporary Mathematics 300

    CONTEMPORARY MATHEMATICS 300 Algebraic Number Theory and Algebraic Geometry Papers Dedicated to A. N. Parshin on the Occasion of his Sixtieth Birthday Sergei Vostokov Yuri Zorhin Editors http://dx.doi.org/10.1090/conm/300 Algebraic Number Theory and Algebraic Geometry Aleksey Nikolaevich Parshin CoNTEMPORARY MATHEMATICS 300 Algebraic Number Theory and Algebraic Geometry Papers Dedicated to A. N. Parshin on the Occasion of his Sixtieth Birthday Sergei Vostokov Yuri Zarhin Editors American Mathematical Society Providence, Rhode Island Editorial Board Dennis DeThrck, managing editor Andreas Blass Andy R. Magid Michael Vogelius 2000 Mathematics Subject Classification. Primary 11815, 11831, 14E22, 14F20, 14H30, 14H40, 14K10, 14K99, 14L05. Library of Congress Cataloging-in-Publication Data Algebraic number theory and algebraic geometry : papers dedicated to A. N. Parshin on the occasion of his sixtieth birthday / Sergei Vostokov, Yuri Zarhin, editors. p. em. -(Contemporary mathematics; ISSN 0271-4132; v. 300) Includes bibliographical references. ISBN 0-8218-3267-0 (softcover : alk. paper) 1. Algebraic number theory. 2. Geometry, algebraic. I. Parshin, A. N. II. Vostokov, S. V. III. Zarhin, Yuri, 1951- IV. Contemporary mathematics (American Mathematical Society) ; v. 300. QA247 .A52287 2002 5121.74--dc21 2002074698 Copying and reprinting. Material in this book may be reproduced by any means for edu- cational and scientific purposes without fee or permission with the exception of reproduction by services that collect fees for delivery of documents and provided that the customary acknowledg- ment of the source is given. This consent does not extend to other kinds of copying for general distribution, for advertising or promotional purposes, or for resale. Requests for permission for commercial use of material should be addressed to the Acquisitions Department, American Math- ematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA.
  • A Comparison of Differential Calculus and Differential Geometry in Two

    A Comparison of Differential Calculus and Differential Geometry in Two

    1 A Two-Dimensional Comparison of Differential Calculus and Differential Geometry Andrew Grossfield, Ph.D Vaughn College of Aeronautics and Technology Abstract and Introduction: Plane geometry is mainly the study of the properties of polygons and circles. Differential geometry is the study of curves that can be locally approximated by straight line segments. Differential calculus is the study of functions. These functions of calculus can be viewed as single-valued branches of curves in a coordinate system where the horizontal variable controls the vertical variable. In both studies the derivative multiplies incremental changes in the horizontal variable to yield incremental changes in the vertical variable and both studies possess the same rules of differentiation and integration. It seems that the two studies should be identical, that is, isomorphic. And, yet, students should be aware of important differences. In differential geometry, the horizontal and vertical units have the same dimensional units. In differential calculus the horizontal and vertical units are usually different, e.g., height vs. time. There are differences in the two studies with respect to the distance between points. In differential geometry, the Pythagorean slant distance formula prevails, while in the 2- dimensional plane of differential calculus there is no concept of slant distance. The derivative has a different meaning in each of the two subjects. In differential geometry, the slope of the tangent line determines the direction of the tangent line; that is, the angle with the horizontal axis. In differential calculus, there is no concept of direction; instead, the derivative describes a rate of change. In differential geometry the line described by the equation y = x subtends an angle, α, of 45° with the horizontal, but in calculus the linear relation, h = t, bears no concept of direction.
  • PROBLEMS in ARITHMETIC TOPOLOGY Three Problem

    PROBLEMS in ARITHMETIC TOPOLOGY Three Problem

    PROBLEMS IN ARITHMETIC TOPOLOGY CLAUDIO GÓMEZ-GONZÁLES AND JESSE WOLFSON Abstract. We present a list of problems in arithmetic topology posed at the June 2019 PIMS/NSF workshop on "Arithmetic Topology". Three problem sessions were hosted during the workshop in which participants proposed open questions to the audience and engaged in shared discussions from their own perspectives as working mathematicians across various fields of study. Partic- ipants were explicitly asked to provide problems of various levels of difficulty, with the goal of capturing a cross-section of exciting challenges in the field that could help guide future activity. The problems, together with references and brief discussions when appropriate, are collected below into three categories: 1) topological analogues of arithmetic phenomena, 2) point counts, stability phenomena and the Grothendieck ring, and 3) tools, methods and examples. Three problem sessions were hosted during the workshop in which participants proposed open questions to the audience and engaged in shared discussions from their own perspectives as working mathematicians across various fields of study. Participants were explicitly asked to provide problems of various levels of difficulty, with the goal of capturing a cross-section of exciting challenges in the field that could help guide future activity. The problems, together with references and brief discussions when appropriate, are collected below into three categories: 1) topolog- ical analogues of arithmetic phenomena, 2) point counts, stability phenomena and the Grothendieck ring, and 3) tools, methods and examples. Acknowledgements. We thank all of the people who posed problems, both for their original suggestions and for their help clarifying and refining our write-ups of them.
  • Riemann's Contribution to Differential Geometry

    Riemann's Contribution to Differential Geometry

    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Historia Mathematics 9 (1982) l-18 RIEMANN'S CONTRIBUTION TO DIFFERENTIAL GEOMETRY BY ESTHER PORTNOY UNIVERSITY OF ILLINOIS AT URBANA-CHAMPAIGN, URBANA, IL 61801 SUMMARIES In order to make a reasonable assessment of the significance of Riemann's role in the history of dif- ferential geometry, not unduly influenced by his rep- utation as a great mathematician, we must examine the contents of his geometric writings and consider the response of other mathematicians in the years immedi- ately following their publication. Pour juger adkquatement le role de Riemann dans le developpement de la geometric differentielle sans etre influence outre mesure par sa reputation de trks grand mathematicien, nous devons &udier le contenu de ses travaux en geometric et prendre en consideration les reactions des autres mathematiciens au tours de trois an&es qui suivirent leur publication. Urn Riemann's Einfluss auf die Entwicklung der Differentialgeometrie richtig einzuschZtzen, ohne sich von seinem Ruf als bedeutender Mathematiker iiberm;issig beeindrucken zu lassen, ist es notwendig den Inhalt seiner geometrischen Schriften und die Haltung zeitgen&sischer Mathematiker unmittelbar nach ihrer Verijffentlichung zu untersuchen. On June 10, 1854, Georg Friedrich Bernhard Riemann read his probationary lecture, "iber die Hypothesen welche der Geometrie zu Grunde liegen," before the Philosophical Faculty at Gdttingen ill. His biographer, Dedekind [1892, 5491, reported that Riemann had worked hard to make the lecture understandable to nonmathematicians in the audience, and that the result was a masterpiece of presentation, in which the ideas were set forth clearly without the aid of analytic techniques.
  • Fundamental Groups of Number Fields Farshid Hajir in This Mostly Expository Lecture Aimed at Low-Dimensional Topologists, I

    Fundamental Groups of Number Fields Farshid Hajir in This Mostly Expository Lecture Aimed at Low-Dimensional Topologists, I

    Fundamental groups of number fields Farshid Hajir In this mostly expository lecture aimed at low-dimensional topologists, I out- lined some basic facts and problems of algebraic number theory. My focus was on one particular aspect of the rich set of analogies between number fields and 3-manifolds dubbed Arithmetic Topology. Namely, I discussed the role played in number theory by \fundamental groups" of number fields, and related some of the history of the subject over the past fifty years, since the unexpected discovery by Golod and Shafarevich of number fields with infinite fundamental group; see the monograph of Neukirch, Schmidt, Wingberg [10] for a comprehensive account. A conjecture of Fontaine and Mazur [3] has been influential in stimulating work on the structure of these infinite fundamental groups in recent years. I presented a for- mulation of this conjecture as it relates to the asymptotic growth of discriminants [6]. This discussion then served as motivation for a question about non-compact, finite-volume, 3-manifolds inspired by the following dictionary. Topology Arithmetic M non-compact, finite-volume K a number field hyperbolic 3-manifold or, more precisely, X = SpecOK universal cover Mf Ke = max. unramified extension of K et fundamental group π1(M) Gal(K=Ke ) ≈ π1 (X) Klein-bottle cusps of M Real (\unoriented") places of K Torus cusps of M Complex (\oriented") places of K r1 = # Klein-bottle cusps of M r1 = # Real places of K r2 = # Torus cusps of M r2 = # Complex places of K r = r1 + r2 = # cusps of M r = r1 + r2 = # places of K at 1 n = r1 + 2r2 = weighted # cusps n = r1 + 2r2 = [K : Q] vol(M) = volume of M log jdK j, dK = discriminant of K There are multiple accounts of the dictionary of arithmetic topology; these in- clude Reznikov [12], Ramachandran [11], Deninger [2], Morin [9], and Morishita [8].
  • Knots in Number Theory

    Knots in Number Theory

    T.D. van Mulligen Knots in Number Theory Master thesis, September 2017 Thesis supervisor: Dr. R.I. van der Veen Second supervisor: Dr. G.S. Zalamansky Mathematisch Instituut, Universiteit Leiden Contents 1. Introduction ............................................1 2. Topological preliminaries .....................................5 2.1 Knots............................................5 2.2 Covering spaces......................................7 3. Algebraic preliminaries ...................................... 13 3.1 Profinite groups...................................... 13 3.2 Affine schemes...................................... 15 3.3 Finite étale coverings................................... 17 Interlude on Galois categories................................. 19 3.4 Étale fundamental groups................................ 20 4. The linking number and the Legendre symbol .......................... 23 4.1 The linking number.................................... 23 4.2 The mod 2 linking number for primes......................... 26 5. Decomposition of knots and primes ................................ 31 5.1 Decomposition of knots................................. 31 5.2 Decomposition of primes................................. 37 6. Homology groups and ideal class groups ............................. 43 6.1 Homology groups and the Hurewicz theorem.................... 43 6.2 Ideal class groups and Artin reciprocity........................ 44 ii Contents 7. The Alexander and Iwasawa polynomials ............................. 47 7.1 Differential modules..................................
  • Relativistic Spacetime Structure

    Relativistic Spacetime Structure

    Relativistic Spacetime Structure Samuel C. Fletcher∗ Department of Philosophy University of Minnesota, Twin Cities & Munich Center for Mathematical Philosophy Ludwig Maximilian University of Munich August 12, 2019 Abstract I survey from a modern perspective what spacetime structure there is according to the general theory of relativity, and what of it determines what else. I describe in some detail both the “standard” and various alternative answers to these questions. Besides bringing many underexplored topics to the attention of philosophers of physics and of science, metaphysicians of science, and foundationally minded physicists, I also aim to cast other, more familiar ones in a new light. 1 Introduction and Scope In the broadest sense, spacetime structure consists in the totality of relations between events and processes described in a spacetime theory, including distance, duration, motion, and (more gener- ally) change. A spacetime theory can attribute more or less such structure, and some parts of that structure may determine other parts. The nature of these structures and their relations of determi- nation bear on the interpretation of the theory—what the world would be like if the theory were true (North, 2009). For example, the structures of spacetime might be taken as its ontological or conceptual posits, and the determination relations might indicate which of these structures is more fundamental (North, 2018). Different perspectives on these questions might also reveal structural similarities with other spacetime theories, providing the resources to articulate how the picture of the world that that theory provides is different (if at all) from what came before, and might be different from what is yet to come.1 ∗Juliusz Doboszewski, Laurenz Hudetz, Eleanor Knox, J.
  • A CONCISE MINI HISTORY of GEOMETRY 1. Origin And

    A CONCISE MINI HISTORY of GEOMETRY 1. Origin And

    Kragujevac Journal of Mathematics Volume 38(1) (2014), Pages 5{21. A CONCISE MINI HISTORY OF GEOMETRY LEOPOLD VERSTRAELEN 1. Origin and development in Old Greece Mathematics was the crowning and lasting achievement of the ancient Greek cul- ture. To more or less extent, arithmetical and geometrical problems had been ex- plored already before, in several previous civilisations at various parts of the world, within a kind of practical mathematical scientific context. The knowledge which in particular as such first had been acquired in Mesopotamia and later on in Egypt, and the philosophical reflections on its meaning and its nature by \the Old Greeks", resulted in the sublime creation of mathematics as a characteristically abstract and deductive science. The name for this science, \mathematics", stems from the Greek language, and basically means \knowledge and understanding", and became of use in most other languages as well; realising however that, as a matter of fact, it is really an art to reach new knowledge and better understanding, the Dutch term for mathematics, \wiskunde", in translation: \the art to achieve wisdom", might be even more appropriate. For specimens of the human kind, \nature" essentially stands for their organised thoughts about sensations and perceptions of \their worlds outside and inside" and \doing mathematics" basically stands for their thoughtful living in \the universe" of their idealisations and abstractions of these sensations and perceptions. Or, as Stewart stated in the revised book \What is Mathematics?" of Courant and Robbins: \Mathematics links the abstract world of mental concepts to the real world of physical things without being located completely in either".
  • Differential Geometry Lecture 17: Geodesics and the Exponential

    Differential Geometry Lecture 17: Geodesics and the Exponential

    Differential geometry Lecture 17: Geodesics and the exponential map David Lindemann University of Hamburg Department of Mathematics Analysis and Differential Geometry & RTG 1670 3. July 2020 David Lindemann DG lecture 17 3. July 2020 1 / 44 1 Geodesics 2 The exponential map 3 Geodesics as critical points of the energy functional 4 Riemannian normal coordinates 5 Some global Riemannian geometry David Lindemann DG lecture 17 3. July 2020 2 / 44 Recap of lecture 16: constructed covariant derivatives along curves defined parallel transport studied the relation between a given connection in the tangent bundle and its parallel transport maps introduced torsion tensor and metric connections, studied geometric interpretation defined the Levi-Civita connection of a pseudo-Riemannian manifold David Lindemann DG lecture 17 3. July 2020 3 / 44 Geodesics Recall the definition of the acceleration of a smooth curve n 00 n γ : I ! R , that is γ 2 Γγ (T R ). Question: Is there a coordinate-free analogue of this construc- tion involving connections? Answer: Yes, uses covariant derivative along curves. Definition Let M be a smooth manifold, r a connection in TM ! M, 0 and γ : I ! M a smooth curve. Then rγ0 γ 2 Γγ (TM) is called the acceleration of γ (with respect to r). Of particular interest is the case if the acceleration of a curve vanishes, that is if its velocity vector field is parallel: Definition A smooth curve γ : I ! M is called geodesic with respect to a 0 given connection r in TM ! M if rγ0 γ = 0. David Lindemann DG lecture 17 3.
  • Math 348 Differential Geometry of Curves and Surfaces Lecture 1 Introduction

    Math 348 Differential Geometry of Curves and Surfaces Lecture 1 Introduction

    Math 348 Differential Geometry of Curves and Surfaces Lecture 1 Introduction Xinwei Yu Sept. 5, 2017 CAB 527, [email protected] Department of Mathematical & Statistical Sciences University of Alberta Table of contents 1. Course Information 2. Before Classical Differential Geometry 3. Classical DG: Upgrade to Calculus 4. Beyond Classical Differential Geometry 1 Course Information Course Organization • Instructor. Xinwei Yu; CAB 527; [email protected]; • Course Webpage. • http://www.math.ualberta.ca/ xinweiyu/348.A1.17f • We will not use eClass. • Getting Help. 1. Office Hours. TBA. 2. Appointments. 3. Emails. 4. It is a good idea to form study groups. 2 Evaluation • Homeworks. 9 HWs; 20%; Worst mark dropped; No late HW. Due dates: 9/22; 9/29; 10/6; 10/20; 10/27; 11/3; 11/10; 12/1; 12/8. 12:00 (noon) in assignment box (CAB 3rd floor) • Midterms. 30%; 10/5; 11/9. One hour. In class. No early/make-up midterms. • Final Exam. Tentative. 50%; 12/14 @9a. Two hours. > 50% =)> D; > 90% =)> A: 3 Resources • Textbook. • Andrew Pressley, Elementary Differential Geometry, 2nd Ed., Springer, 2010. • Reference books. • Most books calling themselves ”Introductory DG”, ”Elementary DG”, or ”Classical DG”. • Online notes. • Lecture notes (updated from Math 348 2016 Notes) • Theodore Shifrin lecture notes. • Xi Chen lecture notes for Math 348 Fall 2015. • Online videos. • Most relevant: Differential Geometry - Claudio Arezzo (ICTP Math). • Many more on youtube etc.. 4 Geometry, Differential • Geometry. • Originally, ”earth measure”. • More precisely, study of shapes.1 • Differential. • Calculus is (somehow) involved. • Classical Differential Geometry. • The study of shapes, such as curves and surfaces, using calculus.
  • A Survey of the Development of Geometry up to 1870

    A Survey of the Development of Geometry up to 1870

    A Survey of the Development of Geometry up to 1870∗ Eldar Straume Department of mathematical sciences Norwegian University of Science and Technology (NTNU) N-9471 Trondheim, Norway September 4, 2014 Abstract This is an expository treatise on the development of the classical ge- ometries, starting from the origins of Euclidean geometry a few centuries BC up to around 1870. At this time classical differential geometry came to an end, and the Riemannian geometric approach started to be developed. Moreover, the discovery of non-Euclidean geometry, about 40 years earlier, had just been demonstrated to be a ”true” geometry on the same footing as Euclidean geometry. These were radically new ideas, but henceforth the importance of the topic became gradually realized. As a consequence, the conventional attitude to the basic geometric questions, including the possible geometric structure of the physical space, was challenged, and foundational problems became an important issue during the following decades. Such a basic understanding of the status of geometry around 1870 enables one to study the geometric works of Sophus Lie and Felix Klein at the beginning of their career in the appropriate historical perspective. arXiv:1409.1140v1 [math.HO] 3 Sep 2014 Contents 1 Euclideangeometry,thesourceofallgeometries 3 1.1 Earlygeometryandtheroleoftherealnumbers . 4 1.1.1 Geometric algebra, constructivism, and the real numbers 7 1.1.2 Thedownfalloftheancientgeometry . 8 ∗This monograph was written up in 2008-2009, as a preparation to the further study of the early geometrical works of Sophus Lie and Felix Klein at the beginning of their career around 1870. The author apologizes for possible historiographic shortcomings, errors, and perhaps lack of updated information on certain topics from the history of mathematics.
  • Differential Geometry of Manifolds with Density

    Differential Geometry of Manifolds with Density

    Rose-Hulman Undergraduate Mathematics Journal Volume 7 Issue 1 Article 2 Differential Geometry of Manifolds with Density Ivan Corwin Harvard University Neil Hoffman, [email protected] Follow this and additional works at: https://scholar.rose-hulman.edu/rhumj Recommended Citation Corwin, Ivan (2006) "Differential Geometry of Manifolds with Density," Rose-Hulman Undergraduate Mathematics Journal: Vol. 7 : Iss. 1 , Article 2. Available at: https://scholar.rose-hulman.edu/rhumj/vol7/iss1/2 Differential Geometry of Manifolds with Density Ivan Corwin, Neil Hoffman, Stephanie Hurder, Vojislav Seˇsum,Yaˇ Xu February 1, 2006 Abstract We describe extensions of several key concepts of differential geometry to manifolds with density, including curvature, the Gauss-Bonnet theorem and formula, geodesics, and constant curvature surfaces. 1 Introduction Riemannian manifolds with density, such as quotients of Riemannian manifolds or Gauss space, of much interest to probabilists, merit more general study. Generalization of mean and Ricci curvature to manifolds with density has been considered by Gromov ([Gr], Section 9.4E), Bakry and Emery,´ and Bayle; see Bayle [Bay]. We consider smooth Riemannian manifolds with a smooth positive density eϕ(x) used to weight volume and perimeter. Manifolds with density arise in physics when considering sur- faces or regions with differing physical density. An example of an important two-dimensional surface with density is the Gauss plane, a Euclidean plane with volume and length weighted by (2π)−1e−r2/2, where r is the distance from the origin. In general, for a manifold with density, in terms of the underlying Riemannian volume dV and perimeter dP , the new weighted volume and area are given by ϕ dVϕ = e dV ϕ dPϕ = e dP.