Browder's Work on the Arf-Kervaire Invariant Problem

Total Page:16

File Type:pdf, Size:1020Kb

Browder's Work on the Arf-Kervaire Invariant Problem Browder’s work on the Arf-Kervaire invariant problem Mike Hill Mike Hopkins Browder’s work on Arf-Kervaire Doug Ravenel invariant problem Panorama of Topology A Conference in Honor of William Browder May 10, 2012 Mike Hill University of Virginia Mike Hopkins Harvard University Doug Ravenel University of Rochester 1.1 Browder’s Theorem (1969) The Kervaire invariant of a smooth framed (4m + 2)-manifold M can be nontrivial only if m = 2j−1 − 1 for some j > 0. This 2 happens iff the element hj is a permanent cycle in the Adams spectral sequence. Browder’s work on Browder’s theorem and its impact the Arf-Kervaire invariant problem Mike Hill Mike Hopkins In 1969 Browder proved a remarkable theorem about the Doug Ravenel Kervaire invariant. 1.2 Browder’s Theorem (1969) The Kervaire invariant of a smooth framed (4m + 2)-manifold M can be nontrivial only if m = 2j−1 − 1 for some j > 0. This 2 happens iff the element hj is a permanent cycle in the Adams spectral sequence. Browder’s work on Browder’s theorem and its impact the Arf-Kervaire invariant problem Mike Hill Mike Hopkins In 1969 Browder proved a remarkable theorem about the Doug Ravenel Kervaire invariant. 1.2 This 2 happens iff the element hj is a permanent cycle in the Adams spectral sequence. Browder’s work on Browder’s theorem and its impact the Arf-Kervaire invariant problem Mike Hill Mike Hopkins In 1969 Browder proved a remarkable theorem about the Doug Ravenel Kervaire invariant. Browder’s Theorem (1969) The Kervaire invariant of a smooth framed (4m + 2)-manifold M can be nontrivial only if m = 2j−1 − 1 for some j > 0. 1.2 Browder’s work on Browder’s theorem and its impact the Arf-Kervaire invariant problem Mike Hill Mike Hopkins In 1969 Browder proved a remarkable theorem about the Doug Ravenel Kervaire invariant. Browder’s Theorem (1969) The Kervaire invariant of a smooth framed (4m + 2)-manifold M can be nontrivial only if m = 2j−1 − 1 for some j > 0. This 2 happens iff the element hj is a permanent cycle in the Adams spectral sequence. 1.2 Browder’s work on Browder’s theorem and its impact (continued) the Arf-Kervaire invariant problem Browder’s Theorem (1969) Mike Hill Mike Hopkins The Kervaire invariant of a smooth framed (4m + 2)-manifold Doug Ravenel M can be nontrivial only if m = 2j−1 − 1 for some j > 0. This 2 happens iff the element hj is a permanent cycle in the Adams spectral sequence. 1.3 Browder’s work on Browder’s theorem and its impact (continued) the Arf-Kervaire invariant problem Browder’s Theorem (1969) Mike Hill Mike Hopkins The Kervaire invariant of a smooth framed (4m + 2)-manifold Doug Ravenel M can be nontrivial only if m = 2j−1 − 1 for some j > 0. This 2 happens iff the element hj is a permanent cycle in the Adams spectral sequence. 1.3 Browder’s work on Browder’s theorem and its impact (continued) the Arf-Kervaire invariant problem Browder’s Theorem (1969) Mike Hill Mike Hopkins The Kervaire invariant of a smooth framed (4m + 2)-manifold Doug Ravenel M can be nontrivial only if m = 2j−1 − 1 for some j > 0. This 2 happens iff the element hj is a permanent cycle in the Adams spectral sequence. 1.4 This result established a link between surgery theory, specifically an unanswered question in the Kervaire-Milnor classification of exotic spheres, and stable homotopy theory, specifically the Adams spectral sequence. This connection made the problem of constructing a smooth framed manifold with nontrivial Kervaire invariant in dimension 2j+1 − 2 a cause celebre in algebraic topology throughout the 1970s. For 40 years it was the definitive theorem on this subject. Browder’s work on Browder’s theorem and its impact (continued) the Arf-Kervaire invariant problem Mike Hill Mike Hopkins Doug Ravenel Browder’s Theorem (1969) The Kervaire invariant of a smooth framed (4m + 2)-manifold M can be nontrivial only if m = 2j−1 − 1 for some j > 0. This 2 happens iff the element hj is a permanent cycle in the Adams spectral sequence. 1.5 and stable homotopy theory, specifically the Adams spectral sequence. This connection made the problem of constructing a smooth framed manifold with nontrivial Kervaire invariant in dimension 2j+1 − 2 a cause celebre in algebraic topology throughout the 1970s. For 40 years it was the definitive theorem on this subject. Browder’s work on Browder’s theorem and its impact (continued) the Arf-Kervaire invariant problem Mike Hill Mike Hopkins Doug Ravenel Browder’s Theorem (1969) The Kervaire invariant of a smooth framed (4m + 2)-manifold M can be nontrivial only if m = 2j−1 − 1 for some j > 0. This 2 happens iff the element hj is a permanent cycle in the Adams spectral sequence. This result established a link between surgery theory, specifically an unanswered question in the Kervaire-Milnor classification of exotic spheres, 1.5 This connection made the problem of constructing a smooth framed manifold with nontrivial Kervaire invariant in dimension 2j+1 − 2 a cause celebre in algebraic topology throughout the 1970s. For 40 years it was the definitive theorem on this subject. Browder’s work on Browder’s theorem and its impact (continued) the Arf-Kervaire invariant problem Mike Hill Mike Hopkins Doug Ravenel Browder’s Theorem (1969) The Kervaire invariant of a smooth framed (4m + 2)-manifold M can be nontrivial only if m = 2j−1 − 1 for some j > 0. This 2 happens iff the element hj is a permanent cycle in the Adams spectral sequence. This result established a link between surgery theory, specifically an unanswered question in the Kervaire-Milnor classification of exotic spheres, and stable homotopy theory, specifically the Adams spectral sequence. 1.5 For 40 years it was the definitive theorem on this subject. Browder’s work on Browder’s theorem and its impact (continued) the Arf-Kervaire invariant problem Mike Hill Mike Hopkins Doug Ravenel Browder’s Theorem (1969) The Kervaire invariant of a smooth framed (4m + 2)-manifold M can be nontrivial only if m = 2j−1 − 1 for some j > 0. This 2 happens iff the element hj is a permanent cycle in the Adams spectral sequence. This result established a link between surgery theory, specifically an unanswered question in the Kervaire-Milnor classification of exotic spheres, and stable homotopy theory, specifically the Adams spectral sequence. This connection made the problem of constructing a smooth framed manifold with nontrivial Kervaire invariant in dimension 2j+1 − 2 a cause celebre in algebraic topology throughout the 1970s. 1.5 Browder’s work on Browder’s theorem and its impact (continued) the Arf-Kervaire invariant problem Mike Hill Mike Hopkins Doug Ravenel Browder’s Theorem (1969) The Kervaire invariant of a smooth framed (4m + 2)-manifold M can be nontrivial only if m = 2j−1 − 1 for some j > 0. This 2 happens iff the element hj is a permanent cycle in the Adams spectral sequence. This result established a link between surgery theory, specifically an unanswered question in the Kervaire-Milnor classification of exotic spheres, and stable homotopy theory, specifically the Adams spectral sequence. This connection made the problem of constructing a smooth framed manifold with nontrivial Kervaire invariant in dimension 2j+1 − 2 a cause celebre in algebraic topology throughout the 1970s. For 40 years it was the definitive theorem on this subject. 1.5 This would n correspond to an element θj 2 πn+2j+1−2S for large n. Some homotopy theorists, most no- tably Mahowald, speculated about what would happen if θj existed for all j. He derived numerous conse- quences about homotopy groups of spheres. The possible nonexistence of the θj for large j was known as the Doomsday Hypothesis. Mark Mahowald Browder’s work on Browder’s theorem and its impact (continued) the Arf-Kervaire invariant problem Mike Hill Mike Hopkins Doug Ravenel Browder’s theorem says that there is a framed manifold with nontrivial Kervaire invariant in dimension 2j+1 − 2 iff a certain element in the Adams spectral sequence survives. 1.6 Some homotopy theorists, most no- tably Mahowald, speculated about what would happen if θj existed for all j. He derived numerous conse- quences about homotopy groups of spheres. The possible nonexistence of the θj for large j was known as the Doomsday Hypothesis. Mark Mahowald Browder’s work on Browder’s theorem and its impact (continued) the Arf-Kervaire invariant problem Mike Hill Mike Hopkins Doug Ravenel Browder’s theorem says that there is a framed manifold with nontrivial Kervaire invariant in dimension 2j+1 − 2 iff a certain element in the Adams spectral sequence survives. This would n correspond to an element θj 2 πn+2j+1−2S for large n. 1.6 He derived numerous conse- quences about homotopy groups of spheres. The possible nonexistence of the θj for large j was known as the Doomsday Hypothesis. Browder’s work on Browder’s theorem and its impact (continued) the Arf-Kervaire invariant problem Mike Hill Mike Hopkins Doug Ravenel Browder’s theorem says that there is a framed manifold with nontrivial Kervaire invariant in dimension 2j+1 − 2 iff a certain element in the Adams spectral sequence survives. This would n correspond to an element θj 2 πn+2j+1−2S for large n. Some homotopy theorists, most no- tably Mahowald, speculated about what would happen if θj existed for all j. Mark Mahowald 1.6 The possible nonexistence of the θj for large j was known as the Doomsday Hypothesis.
Recommended publications
  • Commentary on the Kervaire–Milnor Correspondence 1958–1961
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 52, Number 4, October 2015, Pages 603–609 http://dx.doi.org/10.1090/bull/1508 Article electronically published on July 1, 2015 COMMENTARY ON THE KERVAIRE–MILNOR CORRESPONDENCE 1958–1961 ANDREW RANICKI AND CLAUDE WEBER Abstract. The extant letters exchanged between Kervaire and Milnor during their collaboration from 1958–1961 concerned their work on the classification of exotic spheres, culminating in their 1963 Annals of Mathematics paper. Michel Kervaire died in 2007; for an account of his life, see the obituary by Shalom Eliahou, Pierre de la Harpe, Jean-Claude Hausmann, and Claude We- ber in the September 2008 issue of the Notices of the American Mathematical Society. The letters were made public at the 2009 Kervaire Memorial Confer- ence in Geneva. Their publication in this issue of the Bulletin of the American Mathematical Society is preceded by our commentary on these letters, provid- ing some historical background. Letter 1. From Milnor, 22 August 1958 Kervaire and Milnor both attended the International Congress of Mathemati- cians held in Edinburgh, 14–21 August 1958. Milnor gave an invited half-hour talk on Bernoulli numbers, homotopy groups, and a theorem of Rohlin,andKer- vaire gave a talk in the short communications section on Non-parallelizability of the n-sphere for n>7 (see [2]). In this letter written immediately after the Congress, Milnor invites Kervaire to join him in writing up the lecture he gave at the Con- gress. The joint paper appeared in the Proceedings of the ICM as [10]. Milnor’s name is listed first (contrary to the tradition in mathematics) since it was he who was invited to deliver a talk.
    [Show full text]
  • Arxiv:1006.1489V2 [Math.GT] 8 Aug 2010 Ril.Ias Rfie Rmraigtesre Rils[14 Articles Survey the Reading from Profited Also I Article
    Pure and Applied Mathematics Quarterly Volume 8, Number 1 (Special Issue: In honor of F. Thomas Farrell and Lowell E. Jones, Part 1 of 2 ) 1—14, 2012 The Work of Tom Farrell and Lowell Jones in Topology and Geometry James F. Davis∗ Tom Farrell and Lowell Jones caused a paradigm shift in high-dimensional topology, away from the view that high-dimensional topology was, at its core, an algebraic subject, to the current view that geometry, dynamics, and analysis, as well as algebra, are key for classifying manifolds whose fundamental group is infinite. Their collaboration produced about fifty papers over a twenty-five year period. In this tribute for the special issue of Pure and Applied Mathematics Quarterly in their honor, I will survey some of the impact of their joint work and mention briefly their individual contributions – they have written about one hundred non-joint papers. 1 Setting the stage arXiv:1006.1489v2 [math.GT] 8 Aug 2010 In order to indicate the Farrell–Jones shift, it is necessary to describe the situation before the onset of their collaboration. This is intimidating – during the period of twenty-five years starting in the early fifties, manifold theory was perhaps the most active and dynamic area of mathematics. Any narrative will have omissions and be non-linear. Manifold theory deals with the classification of ∗I thank Shmuel Weinberger and Tom Farrell for their helpful comments on a draft of this article. I also profited from reading the survey articles [14] and [4]. 2 James F. Davis manifolds. There is an existence question – when is there a closed manifold within a particular homotopy type, and a uniqueness question, what is the classification of manifolds within a homotopy type? The fifties were the foundational decade of manifold theory.
    [Show full text]
  • The Kervaire Invariant in Homotopy Theory
    The Kervaire invariant in homotopy theory Mark Mahowald and Paul Goerss∗ June 20, 2011 Abstract In this note we discuss how the first author came upon the Kervaire invariant question while analyzing the image of the J-homomorphism in the EHP sequence. One of the central projects of algebraic topology is to calculate the homotopy classes of maps between two finite CW complexes. Even in the case of spheres – the smallest non-trivial CW complexes – this project has a long and rich history. Let Sn denote the n-sphere. If k < n, then all continuous maps Sk → Sn are null-homotopic, and if k = n, the homotopy class of a map Sn → Sn is detected by its degree. Even these basic facts require relatively deep results: if k = n = 1, we need covering space theory, and if n > 1, we need the Hurewicz theorem, which says that the first non-trivial homotopy group of a simply-connected space is isomorphic to the first non-vanishing homology group of positive degree. The classical proof of the Hurewicz theorem as found in, for example, [28] is quite delicate; more conceptual proofs use the Serre spectral sequence. n Let us write πiS for the ith homotopy group of the n-sphere; we may also n write πk+nS to emphasize that the complexity of the problem grows with k. n n ∼ Thus we have πn+kS = 0 if k < 0 and πnS = Z. Given the Hurewicz theorem and knowledge of the homology of Eilenberg-MacLane spaces it is relatively simple to compute that 0, n = 1; n ∼ πn+1S = Z, n = 2; Z/2Z, n ≥ 3.
    [Show full text]
  • EXOTIC SPHERES and CURVATURE 1. Introduction Exotic
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 45, Number 4, October 2008, Pages 595–616 S 0273-0979(08)01213-5 Article electronically published on July 1, 2008 EXOTIC SPHERES AND CURVATURE M. JOACHIM AND D. J. WRAITH Abstract. Since their discovery by Milnor in 1956, exotic spheres have pro- vided a fascinating object of study for geometers. In this article we survey what is known about the curvature of exotic spheres. 1. Introduction Exotic spheres are manifolds which are homeomorphic but not diffeomorphic to a standard sphere. In this introduction our aims are twofold: First, to give a brief account of the discovery of exotic spheres and to make some general remarks about the structure of these objects as smooth manifolds. Second, to outline the basics of curvature for Riemannian manifolds which we will need later on. In subsequent sections, we will explore the interaction between topology and geometry for exotic spheres. We will use the term differentiable to mean differentiable of class C∞,and all diffeomorphisms will be assumed to be smooth. As every graduate student knows, a smooth manifold is a topological manifold that is equipped with a smooth (differentiable) structure, that is, a smooth maximal atlas. Recall that an atlas is a collection of charts (homeomorphisms from open neighbourhoods in the manifold onto open subsets of some Euclidean space), the domains of which cover the manifold. Where the chart domains overlap, we impose a smooth compatibility condition for the charts [doC, chapter 0] if we wish our manifold to be smooth. Such an atlas can then be extended to a maximal smooth atlas by including all possible charts which satisfy the compatibility condition with the original maps.
    [Show full text]
  • Browder's Theorem and Manifolds with Corners
    Browder’s theorem and manifolds with corners Duality and the Wu classes. The “Spanier-Whitehead dual” of a spectrum X is the function spectrum (in which S denotes the sphere spectrum) DX = F (X, S) (which exists by Brown representability). It comes equipped with an “evaluation” pairing DX ∧ X → S. Write H∗(−) for homology with F2 coefficients. If X is finite, then the induced pairing H−∗(DX) ⊗ H∗(X) → F2 is perfect, so there is an isomorphism Hi(X) → Hom(H−i(DX), F2) which may be rewritten using the universal coefficient theorem as i −i Hom(H (X), F2) → H (DX) A Steenrod operation θ induces a contragredient action on the left, which coincides with the action of χθ on the right. Here χ is the Hopf conjugation on the Steenrod algebra. The map χ is an algebra anti-automorphism and an involution, and is characterized on the total Steenod square by the identity of operators χSq = Sq−1 because of the form of the Milnor diagonal. ∞ If M is a closed smooth m manifold and X = Σ M+, then the Thom spectrum M ν of the stable normal bundle (normalized to have formal dimension −m) furnishes the Spanier-Whitehead dual of X. This is “Milnor-Spanier” or “Atiyah” duality. Poincar´eduality is given by the composite isomorphism m−i −∪U −i ν =∼ H (M) −→ H (M ) ←− Hi(M) where U ∈ H−m(M ν) is the Thom class. 0 The rather boring collapse map M+ → S dualizes to a much more interesting map ι : S0 → M ν, which in cohomology induces the map ι∗ : x ∪ U 7→ hx, [M]i k By Poincar´eduality, for each k there is a unique class vk ∈ H (M) m−k k such that for any x ∈ H (M), hSq x, [M]i = hxvk, [M]i.
    [Show full text]
  • The Arf-Kervaire Invariant Problem in Algebraic Topology: Introduction
    THE ARF-KERVAIRE INVARIANT PROBLEM IN ALGEBRAIC TOPOLOGY: INTRODUCTION MICHAEL A. HILL, MICHAEL J. HOPKINS, AND DOUGLAS C. RAVENEL ABSTRACT. This paper gives the history and background of one of the oldest problems in algebraic topology, along with a short summary of our solution to it and a description of some of the tools we use. More details of the proof are provided in our second paper in this volume, The Arf-Kervaire invariant problem in algebraic topology: Sketch of the proof. A rigorous account can be found in our preprint The non-existence of elements of Kervaire invariant one on the arXiv and on the third author’s home page. The latter also has numerous links to related papers and talks we have given on the subject since announcing our result in April, 2009. CONTENTS 1. Background and history 3 1.1. Pontryagin’s early work on homotopy groups of spheres 3 1.2. Our main result 8 1.3. The manifold formulation 8 1.4. The unstable formulation 12 1.5. Questions raised by our theorem 14 2. Our strategy 14 2.1. Ingredients of the proof 14 2.2. The spectrum Ω 15 2.3. How we construct Ω 15 3. Some classical algebraic topology. 15 3.1. Fibrations 15 3.2. Cofibrations 18 3.3. Eilenberg-Mac Lane spaces and cohomology operations 18 3.4. The Steenrod algebra. 19 3.5. Milnor’s formulation 20 3.6. Serre’s method of computing homotopy groups 21 3.7. The Adams spectral sequence 21 4. Spectra and equivariant spectra 23 4.1.
    [Show full text]
  • On the Work of Michel Kervaire in Surgery and Knot Theory
    1 ON MICHEL KERVAIRE'S WORK IN SURGERY AND KNOT THEORY Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/eaar/slides/kervaire.pdf Geneva, 11th and 12th February, 2009 2 1927 { 2007 3 Highlights I Major contributions to the topology of manifolds of dimension > 5. I Main theme: connection between stable trivializations of vector bundles and quadratic refinements of symmetric forms. `Division by 2'. I 1956 Curvatura integra of an m-dimensional framed manifold = Kervaire semicharacteristic + Hopf invariant. I 1960 The Kervaire invariant of a (4k + 2)-dimensional framed manifold. I 1960 The 10-dimensional Kervaire manifold without differentiable structure. I 1963 The Kervaire-Milnor classification of exotic spheres in dimensions > 4 : the birth of surgery theory. n n+2 I 1965 The foundation of high dimensional knot theory, for S S ⊂ with n > 2. 4 MATHEMATICAL REVIEWS + 1 Kervaire was the author of 66 papers listed (1954 { 2007) +1 unlisted : Non-parallelizability of the n-sphere for n > 7, Proc. Nat. Acad. Sci. 44, 280{283 (1958) 619 matches for "Kervaire" anywhere, of which 84 in title. 18,600 Google hits for "Kervaire". MR0102809 (21() #1595) Kervaire,, Michel A. An interpretation of G. Whitehead's generalizationg of H. Hopf's invariant. Ann. of Math. (2)()69 1959 345--365. (Reviewer: E. H. Brown) 55.00 MR0102806 (21() #1592) Kervaire,, Michel A. On the Pontryagin classes of certain ${\rm SO}(n)$-bundles over manifolds. Amer. J. Math. 80 1958 632--638. (Reviewer: W. S. Massey) 55.00 MR0094828 (20 #1337) Kervaire, Michel A. Sur les formules d'intégration de l'analyse vectorielle.
    [Show full text]
  • [Math.AT] 24 Aug 2005
    QUADRATIC FUNCTIONS IN GEOMETRY, TOPOLOGY, AND M-THEORY M. J. HOPKINS AND I. M. SINGER Contents 1. Introduction 2 2. Determinants, differential cocycles and statement of results 5 2.1. Background 5 2.2. Determinants and the Riemann parity 7 2.3. Differential cocycles 8 2.4. Integration and Hˇ -orientations 11 2.5. Integral Wu-structures 13 2.6. The main theorem 16 2.7. The fivebrane partition function 20 3. Cheeger–Simons cohomology 24 3.1. Introduction 24 3.2. Differential Characters 25 3.3. Characteristic classes 27 3.4. Integration 28 3.5. Slant products 31 4. Generalized differential cohomology 32 4.1. Differential function spaces 32 4.2. Naturality and homotopy 36 4.3. Thom complexes 38 4.4. Interlude: differential K-theory 40 4.5. Differential cohomology theories 42 4.6. Differential function spectra 44 4.7. Naturality and Homotopy for Spectra 46 4.8. The fundamental cocycle 47 arXiv:math/0211216v2 [math.AT] 24 Aug 2005 4.9. Differential bordism 48 4.10. Integration 53 5. The topological theory 57 5.1. Proof of Theorem 2.17 57 5.2. The topological theory of quadratic functions 65 5.3. The topological κ 69 5.4. The quadratic functions 74 Appendix A. Simplicial methods 82 A.1. Simplicial set and simplicial objects 82 A.2. Simplicial homotopy groups 83 The first author would like to acknowledge support from NSF grant #DMS-9803428. The second author would like to acknowledge support from DOE grant #DE-FG02-ER25066. 1 2 M.J.HOPKINSANDI.M.SINGER A.3.
    [Show full text]
  • Lecture Notes in Mathematics
    Lecture Notes in Mathematics Edited by A. Dold and 13. Eckmann 551 Algebraic K-Theory Proceedings of the Conference Held at Northwestern University Evanston, January 12-16, 1976 Edited by Michael R. Stein Springer-Verlag Berlin. Heidelberg- New York 19 ? 6 Editor Michael R. Stein Department of Mathematics Northwestern University Evanston, I1. 60201/USA Library of Congress Cataloging in Publication Data Main entry under title: Algebraic K-theory. (Lecture notes in mathematics ; 551) Bibliography: p. Includes index. i. K-theory--Congresses. 2 ~ Homology theory-- Congresses. 3. Rings (Algebra)--Congresses. I. Stein, M~chael R., 1943- II. Series: Lecture notes in mathematics (Berlin) ; 551. QAB,I,q8 no. 551 [QA61~.33] 510'.8s [514'.23] 76-~9894 ISBN AMS Subject Classifications (1970): 13D15, 14C99,14 F15,16A54,18 F25, 18H10, 20C10, 20G05, 20G35, 55 El0, 57A70 ISBN 3-540-07996-3 Springer-Verlag Berlin 9Heidelberg 9New York ISBN 0-38?-0?996-3 Springer-Verlag New York 9Heidelberg 9Berlin This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, re- printing, re-use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks. Under w 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to the publisher, the amount of the fee to be determined by agreement with the publisher. 9 by Springer-Verlag Berlin 9Heidelberg 1976 Printed in Germany Printing and binding: Beltz Offsetdruck, Hemsbach/Bergstr. Introduction A conference on algebraic K-theory, jointly supported by the National Science Foundation and Northwestern University, was held at Northwestern University January 12-16, 1976.
    [Show full text]
  • Laurent Bartholdi
    (2020-09-28) Curriculum vitæ Laurent Bartholdi Education March 2000 Ph.D. in Mathematics, University of Geneva, advisor: Pierre de la Harpe. “Croissance de groupes agissant sur des arbres” May 1995 Diploma in Mathematics, University of Geneva, advisor: Michel Kervaire. 1991–1993 First cycle, University of Geneva, Mathematics and Computer Science studies. Academic Interests ○␣ Geometric group theory and its applications ○␣ Dynamical systems, in particuliar symbolic and holomorphic ○␣ Algebraic structures: groups, rings, algebras ○␣ Complexity and computability, computer algebra Employment 2008– Georg-August University, Göttingen, Professor (W3). 2004–2008 École Polytechnique Fédérale, Lausanne, Assistant Professor (PATT). 2001–2003 University of California, Berkeley, Charles B. Morrey Jr. Assistant Professor. 2000–2001 Swiss National Fund, Berkeley, Brasília, Jerusalem, Post-doctoral researcher. 1995–2000 University of Geneva, Geneva, Teaching Assistant. 1992 University of Geneva, Geneva, Programmer on a parallel computer. Invited Professorships 2019–2020 École Normale Supérieure, Lyon, 8 months. 2018–2019 Institute of Advanced Studies, Lyon, 10 months. 2015–2018 École Normale Supérieure, Paris, 3 years. 2014 Institut Henri Poincaré, Paris, 1 month. 2013 University of Chicago, Chicago, 1 month. 2013 CIMI, Toulouse, 6 months. 2012 Mittag-Leffler Institute, Stockholm, 1 month. 2012 CNRS, Paris, 1 month. 2011 CNRS, Paris, 1 month. 2010 Chinese Academy of Sciences, Beijing, 6 months. 2008 T.U. Graz, Graz, 1 month. Brauweg 17a – D-37073 Göttingen – Germany +49 157 71540254 • +49 551 3927826 [email protected] • www.uni-math.gwdg.de/laurent laurentbartholdi • 0000-0002-1243-6384 1/12 2007 CNRS, Marseille, 1 month. 2005 T.U. Graz, Graz, 1 month. Prizes and funding 2019– ANR research grant “AlMaRe”, speaker G.
    [Show full text]
  • Journal of Scientometric Research
    Vol 2 | Issue 1 | Jan-April 2013 ISSN :2321-6654 www.jscires.org Journal of Scientometric Research An Official PublicationAn Official of SCIBIOLMED.ORG Publication of Pharmacognosy Network Worldwide [Phcog.Net] www.jscires.org CONTENTS Review Article Text mining for science and technology: A re‑ view – Part II‑citation and discovery Research Articles Dark energy: A scientometric mapping of publications On the growth behavior of yearly citations of cumula‑ tive papers of individual authors Cahit Arf: Exploring his scientific influence using social network analysis, author co‑citation maps and single publication h index many more... Research in Progress Understanding trends and changes in media coverage of nanotechnology in India Perspective Paper Analysis of Iranian and British university websites by world wide web consortium Scientific Correspondence r‑index: Quantifying the quality of an individual’s scientific research output www.jscires.org Editor-in-Chief : Dr. Sujit Bhattacharya Published by [email protected] New Delhi, INDIA www.scibiolmed.org Managing Editor : Dr. Ahmed, M, [email protected] Bangalore, INDIA JSCIRES RESEARCH ARTICLE Cahit Arf: Exploring his scientific influence using social network analysis, author co‑citation maps and single publication h index1 Yaşar Tonta*, A. Esra Özkan Çelik1 Department of Information Management, Faculty of Letters, Hacettepe University, 06800 Beytepe, Ankara, Turkey, 1Registrar’s Office, Hacettepe University, 06800 Beytepe, Ankara, Turkey ABSTRACT Cahit Arf (1910‑1997), a famous Turkish scientist whose picture is depicted in one of the Turkish banknotes, is a well‑known figure in mathematics with his discoveries named after him (e.g., Arf invariant, Arf rings, the Hasse‑Arf theorem). Although Arf may not be considered as a prolific scientist in terms of number of papers (he authored a total of 23 papers), his influence on mathematics and related disciplines was profound.
    [Show full text]
  • Milnor, John W. Groups of Homotopy Spheres
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 52, Number 4, October 2015, Pages 699–710 http://dx.doi.org/10.1090/bull/1506 Article electronically published on June 12, 2015 SELECTED MATHEMATICAL REVIEWS related to the paper in the previous section by JOHN MILNOR MR0148075 (26 #5584) 57.10 Kervaire, Michel A.; Milnor, John W. Groups of homotopy spheres. I. Annals of Mathematics. Second Series 77 (1963), 504–537. The authors aim to study the set of h-cobordism classes of smooth homotopy n-spheres; they call this set Θn. They remark that for n =3 , 4thesetΘn can also be described as the set of diffeomorphism classes of differentiable structures on Sn; but this observation rests on the “higher-dimensional Poincar´e conjecture” plus work of Smale [Amer. J. Math. 84 (1962), 387–399], and it does not really form part of the logical structure of the paper. The authors show (Theorem 1.1) that Θn is an abelian group under the connected sum operation. (In § 2, the authors give a careful treatment of the connected sum and of the lemmas necessary to prove Theorem 1.1.) The main task of the present paper, Part I, is to set up methods for use in Part II, and to prove that for n = 3 the group Θn is finite (Theorem 1.2). (For n =3the authors’ methods break down; but the Poincar´e conjecture for n =3wouldimply that Θ3 = 0.) We are promised more detailed information about the groups Θn in Part II. The authors’ method depends on introducing a subgroup bPn+1 ⊂ Θn;asmooth homotopy n-sphere qualifies for bPn+1 if it is the boundary of a parallelizable man- ifold.
    [Show full text]