Max Dehn, Kurt Godel, and the Trans-Siberian Escape Route
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Lecture Notes C Sarah Rasmussen, 2019
Part III 3-manifolds Lecture Notes c Sarah Rasmussen, 2019 Contents Lecture 0 (not lectured): Preliminaries2 Lecture 1: Why not ≥ 5?9 Lecture 2: Why 3-manifolds? + Introduction to knots and embeddings 13 Lecture 3: Link diagrams and Alexander polynomial skein relations 17 Lecture 4: Handle decompositions from Morse critical points 20 Lecture 5: Handles as Cells; Morse functions from handle decompositions 24 Lecture 6: Handle-bodies and Heegaard diagrams 28 Lecture 7: Fundamental group presentations from Heegaard diagrams 36 Lecture 8: Alexander polynomials from fundamental groups 39 Lecture 9: Fox calculus 43 Lecture 10: Dehn presentations and Kauffman states 48 Lecture 11: Mapping tori and Mapping Class Groups 54 Lecture 12: Nielsen-Thurston classification for mapping class groups 58 Lecture 13: Dehn filling 61 Lecture 14: Dehn surgery 64 Lecture 15: 3-manifolds from Dehn surgery 68 Lecture 16: Seifert fibered spaces 72 Lecture 17: Hyperbolic manifolds 76 Lecture 18: Embedded surface representatives 80 Lecture 19: Incompressible and essential surfaces 83 Lecture 20: Connected sum 86 Lecture 21: JSJ decomposition and geometrization 89 Lecture 22: Turaev torsion and knot decompositions 92 Lecture 23: Foliations 96 Lecture 24. Taut Foliations 98 Errata: Catalogue of errors/changes/addenda 102 References 106 1 2 Lecture 0 (not lectured): Preliminaries 0. Notation and conventions. Notation. @X { (the manifold given by) the boundary of X, for X a manifold with boundary. th @iX { the i connected component of @X. ν(X) { a tubular (or collared) neighborhood of X in Y , for an embedding X ⊂ Y . ◦ ν(X) { the interior of ν(X). This notation is somewhat redundant, but emphasises openness. -
Fundamental Theorems in Mathematics
SOME FUNDAMENTAL THEOREMS IN MATHEMATICS OLIVER KNILL Abstract. An expository hitchhikers guide to some theorems in mathematics. Criteria for the current list of 243 theorems are whether the result can be formulated elegantly, whether it is beautiful or useful and whether it could serve as a guide [6] without leading to panic. The order is not a ranking but ordered along a time-line when things were writ- ten down. Since [556] stated “a mathematical theorem only becomes beautiful if presented as a crown jewel within a context" we try sometimes to give some context. Of course, any such list of theorems is a matter of personal preferences, taste and limitations. The num- ber of theorems is arbitrary, the initial obvious goal was 42 but that number got eventually surpassed as it is hard to stop, once started. As a compensation, there are 42 “tweetable" theorems with included proofs. More comments on the choice of the theorems is included in an epilogue. For literature on general mathematics, see [193, 189, 29, 235, 254, 619, 412, 138], for history [217, 625, 376, 73, 46, 208, 379, 365, 690, 113, 618, 79, 259, 341], for popular, beautiful or elegant things [12, 529, 201, 182, 17, 672, 673, 44, 204, 190, 245, 446, 616, 303, 201, 2, 127, 146, 128, 502, 261, 172]. For comprehensive overviews in large parts of math- ematics, [74, 165, 166, 51, 593] or predictions on developments [47]. For reflections about mathematics in general [145, 455, 45, 306, 439, 99, 561]. Encyclopedic source examples are [188, 705, 670, 102, 192, 152, 221, 191, 111, 635]. -
Max Dehn: His Life, Work, and Influence
Mathematisches Forschungsinstitut Oberwolfach Report No. 59/2016 DOI: 10.4171/OWR/2016/59 Mini-Workshop: Max Dehn: his Life, Work, and Influence Organised by David Peifer, Asheville Volker Remmert, Wuppertal David E. Rowe, Mainz Marjorie Senechal, Northampton 18 December – 23 December 2016 Abstract. This mini-workshop is part of a long-term project that aims to produce a book documenting Max Dehn’s singular life and career. The meet- ing brought together scholars with various kinds of expertise, several of whom gave talks on topics for this book. During the week a number of new ideas were discussed and a plan developed for organizing the work. A proposal for the volume is now in preparation and will be submitted to one or more publishers during the summer of 2017. Mathematics Subject Classification (2010): 01A55, 01A60, 01A70. Introduction by the Organisers This mini-workshop on Max Dehn was a multi-disciplinary event that brought together mathematicians and cultural historians to plan a book documenting Max Dehn’s singular life and career. This long-term project requires the expertise and insights of a broad array of authors. The four organisers planned the mini- workshop during a one-week RIP meeting at MFO the year before. Max Dehn’s name is known to mathematicians today mostly as an adjective (Dehn surgery, Dehn invariants, etc). Beyond that he is also remembered as the first mathematician to solve one of Hilbert’s famous problems (the third) as well as for pioneering work in the new field of combinatorial topology. A number of Dehn’s contributions to foundations of geometry and topology were discussed at the meeting, partly drawing on drafts of chapters contributed by John Stillwell and Stefan M¨uller-Stach, who unfortunately were unable to attend. -
Lectures on the Mapping Class Group of a Surface
LECTURES ON THE MAPPING CLASS GROUP OF A SURFACE THOMAS KWOK-KEUNG AU, FENG LUO, AND TIAN YANG Abstract. In these lectures, we give the proofs of two basic theorems on surface topology, namely, the work of Dehn and Lickorish on generating the mapping class group of a surface by Dehn-twists; and the work of Dehn and Nielsen on relating self-homeomorphisms of a surface and automorphisms of the fundamental group of the surface. Some of the basic materials on hyper- bolic geometry and large scale geometry are introduced. Contents Introduction 1 1. Mapping Class Group 2 2. Dehn-Lickorish Theorem 13 3. Hyperbolic Plane and Hyperbolic Surfaces 22 3.1. A Crash Introduction to the Hyperbolic Plane 22 3.2. Hyperbolic Geometry on Surfaces 29 4. Quasi-Isometry and Large Scale Geometry 36 5. Dehn-Nielsen Theorem 44 5.1. Injectivity of ª 45 5.2. Surjectivity of ª 46 References 52 2010 Mathematics Subject Classi¯cation. Primary: 57N05; Secondary: 57M60, 57S05. Key words and phrases. Mapping class group, Dehn-Lickorish, Dehn-Nielsen. i ii LECTURES ON MAPPING CLASS GROUPS 1 Introduction The purpose of this paper is to give a quick introduction to the mapping class group of a surface. We will prove two main theorems in the theory, namely, the theorem of Dehn-Lickorish that the mapping class group is generated by Dehn twists and the theorem of Dehn-Nielsen that the mapping class group is equal to the outer-automorphism group of the fundamental group. We will present a proof of Dehn-Nielsen realization theorem following the argument of B. -
Introduction to Circle Packing: the Theory of Discrete Analytic Functions
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 46, Number 3, July 2009, Pages 511–525 S 0273-0979(09)01245-2 Article electronically published on February 19, 2009 Introduction to circle packing: The theory of discrete analytic functions, by Kenneth Stephenson, Cambridge University Press, Cambridge, 2005, xii+356 pp., ISBN 13: 978-0-521-82356-2, £42 1. The context: A personal reminiscence Two important stories in the recent history of mathematics are those of the ge- ometrization of topology and the discretization of geometry. Having come of age during the unfolding of these stories as both observer and practitioner, this reviewer does not hold the detachment of the historian and, perhaps, can be forgiven the personal accounting that follows, along with its idiosyncratic telling. The first story begins at a time when the mathematical world is entrapped by abstraction. Bour- baki reigns, and generalization is the cry of the day. Coxeter is a curious doddering uncle, at best tolerated, at worst vilified as a practitioner of the unsophisticated mathematics of the nineteenth century. 1.1. The geometrization of topology. It is 1978 and I have just begun my graduate studies in mathematics. There is some excitement in the air over ideas of Bill Thurston that purport to offer a way to resolve the Poincar´e Conjecture by using nineteenth century mathematics—specifically, the noneuclidean geometry of Lobachevski and Bolyai—to classify all 3-manifolds. These ideas finally appear in a set of notes from Princeton a couple of years later, and the notes are both fas- cinating and infuriating—theorems are left unstated and often unproved, chapters are missing never to be seen, the particular dominates—but the notes are bulging with beautiful and exciting ideas, often with but sketches of intricate arguments to support the landscape that Thurston sees as he surveys the topology of 3-manifolds. -
Dehn's Dissection Theorem
Dehn’s Dissection Theorem Rich Schwartz February 1, 2009 1 The Result A polyhedron is a solid body whose boundary is a finite union of polygons, called faces. We require that any two faces are either disjoint, or share a common edge, or share a common vertex. Finally, we require that any edge common to two faces is not common to any other face. A dissection of a polyhedron P is a description of P as a finite union of smaller polyhedra, P = P1 ... Pn, (1) ∪ ∪ such that the smaller polyhedra have pairwise disjoint interiors. Note that there is not an additional assumption, say, that the smaller polyhedra meet face to face. Two polyhedra P and Q are scissors congruent if there are dissections P = P1 ... Pn and Q = Q1 ... Qn such that each Pk is isometric to Qk. Sometimes,∪ ∪ one requires that∪ all∪ the isometries are orientation-preserving, but in fact and two shapes that are scissors congruent via general isometries are also scissors congruent via orientation preserving isometries. (This little fact isn’t something that is important for our purposes.) One could make the same definition for polygons, and any two polygons of the same area are scissors congruent to each other. (J. Dupont says that W. Wallace first formally proved this in 1807.) Hilbert asked if every two polyhedra of the same volume are scissors congruent to each other. In 1901, Max Dehn proved the now-famous result that the cube and the regular tetra- hedron (of the same volume) are not scissors congruent. We’re going to give a proof of this result. -
Dorothea Rockburne and Max Dehn at Black Mountain College
COMMUNICATION Dorothea Rockburne and Max Dehn at Black Mountain College David Peifer Communicated by Thomas Garrity ABSTRACT. The artist Dorothea Rockburne was in- spired by the mathematician Max Dehn while a student at Black Mountain College. Dorothea Rockburne is a New York based artist whose paintings are inspired by her fascination with mathe- matics. Over her more than fifty years as a successful exhibiting artist, Rockburne has won many awards for her work, including the 1999 American Academy of Arts and Letters Jimmy Ernst Lifetime Achievement Award in Figure 1. Dorothea Rockburne is a distinguished Art and the 2009 National Academy Museum and School artist with a fascination for mathematics. Rockburne of Fine Arts Lifetime Achievement Award. A major retro- in 2014, photo by Zia O’Hara, (on left) and in her New spective, “Dorothea Rockburne: In My Mind’s Eye,” held in York studio in 2009 (on right). 2012 at the Parrish Art Museum, ex- hibited works spanning her career, an experimental liberal arts college including works from her Pascal with an emphasis on the arts (see series and paintings inspired by her the ability of sidebar). reading of Poincaré. A multi-gallery In 1945, the BMC faculty was exhibition at the Museum of Mod- mathematics to shed joined by the German refugee math- ern Art in 2014, Dorothea Rock- ematician Max Dehn. Dehn taught burne: Drawing Which Makes Itself, light on the underlying mathematics, philosophy, Greek, included some of her earliest works principles of nature and Latin. He and his wife lived on from her Set Theory series. -
ONE HUNDRED TWENTY-ONE DAYS CHOOSING to WRITE FICTION by Michèle Audin
ONE HUNDRED TWENTY-ONE DAYS CHOOSING TO WRITE FICTION by Michèle Audin Recently, after a series of books and papers on the history of the mathematical community (this is not exactly the same as the history of mathematics), from 1914 to 1950, I decided to write a novel, Cent vingt et un jours. (1)± ± In this paper, I explain why and how I chose fiction. Let me start by quoting the back cover of the book: In this book, there are men and wars. There are also women who try to stay strong. There is a research project, archival doc- uments, letters, photographs, private journals, numbers, testi- monials, and the notes taken by the historian conducting this research. There is great history and personal history, love, war, crimes, hell, death. There are Germans, students, a madman, a “broken face,” historians, a nurse, a determined teenage girl, mathemati- cians, doctors. There is the twentieth century, from colonial Africa to Paris of 1945, by way of the battlefields of the Great War, a psychiatric ward, Strasbourg and Clermont-Ferrand in 1. This was published by Gallimard as [11]. An English edition, One Hundred Twenty-One Days [16], translated by Christiana Hills, will be published by Deep Vellum in 2016. The translation of the back cover below was also written by Christiana Hills. 2 MICHÈLE AUDIN 1939, occupied Paris, and a small town in Germany. There is lit- erature, since, in the end, the historian decides to write a novel. Could it be this one? Before I come to the novel itself, I shall make a list of the historical subjects I was alluding to and which appear in this text, together with the kind of sources I used. -
Editors Marlow Anderson, Victor Katz, Robin Wilson I I —Master“ – 2011/4/5 – 12:53 – Page I – #1 I I
AMS / MAA SPECTRUM VOL 43 Editors Marlow Anderson, Victor Katz, Robin Wilson i i \master" – 2011/4/5 – 12:53 – page i – #1 i i Sherlock Holmes in Babylon and Other Tales of Mathematical History i i i i i i \master" – 2011/4/5 – 12:53 – page ii – #2 i i c 2004 by The Mathematical Association of America (Incorporated) Library of Congress Catalog Card Number 2003113541 Print ISBN: 978-0-88385-546-1 Electronic ISBN: 978-1-61444-503-6 Printed in the United States of America Current Printing (last digit): 10 9 8 7 6 5 4 3 2 i i i i i i \master" – 2011/4/5 – 12:53 – page iii – #3 i i 10.1090/spec/043 Sherlock Holmes in Babylon and Other Tales of Mathematical History Edited by Marlow Anderson Colorado College Victor Katz University of the District of Columbia Robin Wilson Open University Published and Distributed by The Mathematical Association of America i i i i i i \master" – 2011/4/5 – 12:53 – page iv – #4 i i Committee on Publications Gerald L. Alexanderson, Chair Spectrum Editorial Board Gerald L. Alexanderson, Chair Robert Beezer Russell L. Merris William Dunham Jean J. Pedersen Michael Filaseta J. D. Phillips Erica Flapan Marvin Schaefer Eleanor Lang Kendrick Harvey Schmidt Jeffrey L. Nunemacher Sanford Segal Ellen Maycock Franklin Sheehan John E. Wetzel i i i i i i \master" – 2011/4/5 – 12:53 – page v – #5 i i SPECTRUM SERIES The Spectrum Series of the Mathematical Association of America was so named to reflect its purpose: to publish a broad range of books including biographies, accessible expositions of old or new mathematical ideas, reprints and revisions of excellent out-of-print books, popular works, and other monographs of high interest that will appeal to a broad range of readers, including students and teachers of mathematics, mathematical amateurs, and researchers. -
Topology Through Four Centuries
Topology through Four Centuries: Low Dimensional Manifolds John Milnor Institute for Mathematical Sciences Stony Brook University INTERNATIONAL CONGRESS OF MATHEMATICIANS Seoul, August 15, 2014 PART 1. PRELUDE TO TOPOLOGY Leonhard Euler St. Petersburg, 1736 3 Königsberg Euler’s Theorem: 5 3 9 path traversing each edge once () at most two “odd” vertices. 3 Euler, Berlin, 1752 For any convex polyhedron, V − E + F = 2 : 60 − 90 + 32 = 2 19th century: Define the Euler characteristic of any finite cell complex K as χ(K ) = #(even dimensional cells) − #(odd dimensional cells) Theorem (20th century): This is a topological invariant. Fundamental property: If K = K1 [ K2 , then χ(K ) = χ(K1) + χ(K2) − χ(K1 \ K2) . Augustin Cauchy, École Polytechnique, Paris, 1825 First precise definition of continuity. 1 I dz WC(p) = 2πi C z − p Thus he described a topological invariant, the winding number of a loop C around p , and computed it as the integral of a holomorphic differential form along C . Niels Henrik Abel, 1820’s Z dx p (x − a1) ··· (x − an) Consider the smooth affine variety V ⊂ C2 defined by 2 y = f (x) = (x−a1) ··· (x−an) : dx 2 dy Then = y f 0(x) is a holomorphic 1-form or Abelian differential on V . For any closed loop L on V we can integrate, yielding a homomorphism Z L 7! dx=y from π1(V ) to C : L 2. TWO DIMENSIONAL MANIFOLDS Bernhard Riemann, Göttingen, 1857 doubly connected triply connected simply connected triply connected “Riemann surface” Closed Surfaces. Riemann also considered the case of a closed surface F . -
Revue D'histoire Des Mathématiques
Revue d’Histoire des Mathématiques The contributions of Hilbert and Dehn to non-Archimedean geometries Cinzia Cerroni Tome 13 Fascicule 2 2007 SOCIÉTÉ MATHÉMATIQUE DE FRANCE Publiée avec le concours du Ministère de la culture et de la communication (DGLFLF) et du Centre national de la recherche scientifique REVUE D’HISTOIRE DES MATHÉMATIQUES RÉDACTION COMITÉ DE LECTURE Rédactrice en chef : Jeanne Peiffer P. Abgrall . France T. Archibald . Canada Rédacteur en chef adjoint : J. Barrow-Greene . Grande-Bretagne Philippe Nabonnand U. Bottazzini . Italie Membres du Comité de J.-P. Bourguignon . France rédaction : A. Brigaglia . Italie Michel Armatte B. Bru . France Liliane Beaulieu P. Cartier . France Bruno Belhoste J.-L. Chabert . France Alain Bernard F. Charette . France Jean Celeyrette K. Chemla . France Olivier Darrigol P. Crépel . France Anne-Marie Décaillot F. De Gandt . France Marie-José Durand-Richard S. Demidov . Russie Étienne Ghys M. Epple . Allemagne Christian Gilain N. Ermolaëva . Russie Jens Hoyrup H. Gispert . France Agathe Keller C. Goldstein . France Karen Parshall J. Gray . Grande-Bretagne Dominique Tournès E. Knobloch . Allemagne T. Lévy . France Secrétariat : J. Lützen . Danemark Nathalie Christiaën A. Malet . Catalogne Société Mathématique de France I. Pantin . France Institut Henri Poincaré I. Passeron . France 11, rue Pierre et Marie Curie D. Rowe . Allemagne 75231 Paris Cedex 05 C. Sasaki . Japon Tél. : (33) 01 44 27 67 99 K. Saito . Japon Fax : (33) 01 40 46 90 96 S.R. Sarma . Inde Mél : [email protected] N. Schappacher . Allemagne Url : http//smf.emath.fr/ E. Scholz . Allemagne S. Stigler . États-Unis Directeur de la publication : B. Vitrac . France Stéphane Jaffard Périodicité : La Revue publie deux fascicules par an, de 150 pages chacun environ. -
Mathematics, Art, and the Politics of Value in Twentieth-Century United States
The Subjects of Modernism: Mathematics, Art, and the Politics of Value in Twentieth-Century United States by Clare Seungyoon Kim Bachelor of Arts Brown University, 2011 Submitted to the Program in Science, Technology and Society In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in History, Anthropology, and Science, Technology and Society at the Massachusetts Institute of Technology September 2019 © 2019 Clare Kim. All Rights Reserved. The author hereby grants to MIT permission to reproduce and distribute publicly paper and electronic copies of this thesis document in whole or in part in any medium now known or hereafter created. Signature of Author: Signatureredacted History, Anthr and Sc'nce, Technology and Society Signature redacted- August 23, 2019 Certified by: David Kaiser Germeshausen Professor of the History of the History of Science, STS Professor, Department of Physics Thesis Supervisor Certified by: Sianature redacted Christopher Capozzola MASSACHUSETTS INSTITUTE OFTECHNOLOGY Professor of History C-) Thesis Committee Member OCT 032019 LIBRARIES 1 Signature redacted Certified by: Stefan Helmreich Elting E. Morison Professor of Anthropology Signature redacted Thesis Committee Member Accepted by: Tanalis Padilla Associate Professor, History Director of Graduate Studies, History, Anthropology, and STS Signature redacted Accepted by: Jennifer S. Light Professor of Science, Technology, and Society Professor of Urban Studies and Planning Department Head, Program in Science, Technology, & Society 2 The Subjects of Modernism Mathematics, Art, and the Politics of Value in Twentieth-Century United States By Clare Kim Submitted to the Program in History, Anthropology, and Science, Technology and Society on September 6, 2019 in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in History, Anthropology, and Science, Technology and Society.