DOCSLIB.ORG

E∞-Comodules and Topological Manifolds a Dissertation Presented

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
E∞-Comodules and Topological Manifolds a Dissertation Presented E1-Comodules and Topological Manifolds A Dissertation presented by Anibal Medina to The Graduate School in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in Mathematics Stony Brook University August 2015 ii Stony Brook University The Graduate School Anibal Medina We, the dissertation committee for the above candidate for the Doctor of Philosophy degree, hereby recommend acceptance of this dissertation Dennis Sullivan - Dissertation Advisor Mathematics Alexander Kirillov - Chairperson of Defense Mathematics John Morgan Mathematics and SCGP Gregory Brumfiel Mathematics, Stanford University This dissertation is accepted by the Graduate School Charles Taber Dean of the Graduate School iii Abstract of the Dissertation E1-Comodules and Topological Manifolds by Anibal Medina Doctor of Philosophy in Mathematics Stony Brook University 2015 The first story begins with a question of Steenrod. He asked if the product in the cohomology of a triangulated space, which is associative and graded commutative, can be induced from a cochain level product satisfying the same two properties. He answered it in the negative after identifying homological obstructions among a collection of chain maps he constructed. Using later language, his construction could be said to endow the simplicial chains with an E1-coalgebra structure. The second story also begins with a question: when is a space homotopy equivalent to a topological manifold? For dimensions greater than 4, an answer was provided by the work of Browder, Novikov, Sullivan and Wall in surgery theory, which in a later development was algebraically expressed by Ranicki as a single chain level invariant: the total surgery obstruction. After presenting the necessary parts of these stories, the goal of this work will be to express the total surgery obstruction associated to a triangulated space in terms of comodules over the E1-coalgebra structure build by Steen- rod on its chains. a los ´arboles en que estas ideas se escribieron Contents Introduction 1 1 Simplicial sets and S-coalgebras 3 1.1 Operads, coalgebras and comodules . .3 1.2 The operad S ...........................7 1.3 Simplicial sets and S-coalgebras . 16 2 Abelian sheaves and S-comodules 27 2.1 Sheaf theory of posets . 27 2.2 Simplicial complexes and Ranicki duality . 39 2.3 Topological manifolds and S-comodules . 48 A Categorical Background 57 References 65 v Introduction The goal of this dissertation is to relate the theory of algebraic surgery de- veloped predominantly by Andrew Ranicki, with that of E1-structures on chain complexes. Steenrod's construction of higher chain approximations to the diagonal inclusion has been encoded, by several authors, as a functor from simplicial sets to their normalized chains enriched with the structure of a coalgebra over an E1-operad. The first section of Chapter 1 presents the definition of an algebraic operad as well as the less common notions of coalgebra over an operad and comodule over one such coalgebra. The second section presents the specific E1-operad S related to Steenrod's construction following the work of McClure-Smith [25], Berger-Fresse [4] and others. In the last section of Chapter 1, the first of the two main technical results of this dissertation is presented as Theorem 1.3.5. It has as a corollary that the category of based ordered simplicial complexes embeds as a full subcategory into the category of S-coalgebras. Similar results have been obtained at the level of the homotopy category by Mandell [20], Smirnov [38], Smith [39] and others. The first section of Chapter 2 revisits the theory of sheaves and cosheaves over posets, see [8], [37] or [14] for other sources. It uses the connection be- tween posets and Alexandrov topological spaces, extended in Lemma 2.1.5 to a duality preserving equivalence, to emphasize the symmetry between sheaves and cosheaves over posets. This section closes with some homological algebra of such sheaves and cosheaves with values in an abelian category. In the sec- ond section of Chapter 2, the sheaf theory developed in the previous section is specialized to posets associated to ordered simplicial complexes. The notion of tensor product of functor is used to define the Ranicki duality functors of complexes of sheaves and cosheaves, whose geometry is made apparent by the pair subdivision sheaf and cosheaf. The pair subdivision sheaf is also used to define the visible symmetric complex of a regular pseudomanifold, 1 see Construction 2.2.18, which plays a central role in the application of the theory to manifold existence and uniqueness problems. The third section of Chapter 2 contains, as Theorem 2.3.4, the second main technical result of this work. It states that the category of complexes of sheaves over an ordered simplicial complex X with values in Ab embeds, as a full differential graded subcategory, into the category of comodules over the S-coalgebra C•(X). This theorem is used to relate the algebraic surgery theory of Ranicki with comodules over E1-coalgebras. In particular, Theorem 2.3.13 and Theorem 2.3.15 provide existence and uniqueness statements for ANR homology man- ifold structures and topological manifold structures on the homotopy type of a Poincar´eduality regular pseudomanifold, in terms of comodules on its S-coalgebra of chains. 2 Chapter 1 Simplicial sets and S-coalgebras Convention. The term chain complex will be reserved for a homologically graded differential graded abelian group. The category of chain complexes, 0 denoted by Ab•, is enriched over itself, i.e. HomAb• (C; C ) 2 Ab• for every 0 pair C; C 2 Ab•. In terms of this enrichment, chain maps correspond to 0-degree cycles, while chain homotopy equivalent morphisms correspond to homologous chains. 1.1 Operads, coalgebras and comodules In this section, the definition of an algebraic operad is presented as well as the less common notions of coalgebra over an operad and comodule over one such coalgebra. Definition 1.1.1. (Operad [22]) An (algebraic) operad consists of a collec- tion of chain complexes O(n); n ≥ 0, a collection of chain maps γ : O(k) ⊗ O(j1) ⊗ · · · ⊗ O(jk) !O(j1 + ··· + jk); a chain map η : R !O(1) and an action of the symmetric group Σk on O(k) satisfying the following conditions. Pk O1: (Associativity) The following diagram commutes, where s=1 js = j, Pj r=1 ir = i, gs = j1 + ··· + js and hs = igs−1+1 + :: + igs for 1 ≤ s ≤ k: 3 k j j O O γ⊗id O O(k) ⊗ O(js) ⊗ O(ir) / O(j) ⊗ O(ir) s=1 r=1 r=1 γ shuffle O(i) O γ k js k O O O O(k) ⊗ O(js) ⊗ O(igs−1+q) / O(k) ⊗ O(hs) : id ⊗(⊗sγ) s=1 q=1 s=1 O2: (Unit) The following diagrams commute: =∼ =∼ O(k) ⊗ Rk / O(k) R ⊗ O(j) / O(j) 8 8 k η⊗id id ⊗ η γ γ O(k) ⊗ O(1)k; O(1) ⊗ O(j): O3: (Equivariance) The following diagrams commute, where σ 2 Σk; τs 2 Σjs , the permutation σ(j1; : : : ; jk) 2 Σj permutes k blocks of letters as σ permutes k letters, and τ1 ⊕ · · · ⊕ τk 2 Σj is the block sum: σ⊗σ−1 O(k) ⊗ O(j1) ⊗ · · · ⊗ O(jk) / O(k) ⊗ O(jσ(1)) ⊗ · · · ⊗ O(jσ(k)) γ γ O(j) / O(j); σ(jσ(1);:::;jσ(k)) σ⊗σ−1 O(k) ⊗ O(j1) ⊗ · · · ⊗ O(jk) / O(k) ⊗ O(jσ(1)) ⊗ · · · ⊗ O(jσ(k)) γ γ O(j) / O(j): σ(jσ(1);:::;jσ(k)) Definition 1.1.2. (Coalgebra) Let O be an operad. An O-coalgebra is a chain complex C together with chain maps θ : O(j) ⊗ C ! Cj satisfying the following conditions. 4 Pk cA1: (Associativity) Let s=1 js = j, then the following diagram commutes: γ⊗id O(k) ⊗ O(j1) ⊗ · · · ⊗ O(jk) ⊗ C / O(j) ⊗ C θ id ⊗θ Cj O θk O(j ) ⊗ · · · ⊗ O(j ) ⊗ Ck / O(j ) ⊗ C ⊗ · · · ⊗ O(j ) ⊗ C: 1 k shuffle 1 k cA2: (Unit) The following diagram commutes: =∼ R ⊗ C / C : γ⊗id θ O(1) ⊗ C: cA3: (Equivariance) Let σ 2 Σj, then the following diagram commutes: σ⊗id O(j) ⊗ C / O(j) ⊗ C θ θ j j C σ / C : A morphisms of O-coalgebras is a chain map commuting strictly with all the above structure. The category of O-coalgebras will be denoted by coAlgO. Definition 1.1.3. (Comodule) Let O be an operad and C an O-coalgebra. A C-comodule is a chain complex D together with chains maps λ : O(j) ⊗ D ! D ⊗ Cj−1 satisfying the following conditions. 5 Pk cM1: (Associativity) Let s=1 js = j, then the following diagram commutes: γ⊗id O(k) ⊗ O(j1) ⊗ · · · ⊗ O(jk) ⊗ D / O(j) ⊗ M θ id ⊗λ D ⊗ Cj−1 O λ⊗θk−1 O(j ) ⊗ · · · ⊗ O(j ) ⊗ D ⊗ Ck−1 / O(j ) ⊗ D ⊗ · · · ⊗ O(j ) ⊗ C: 1 k shuffle 1 k cM2: (Unit) The following diagram commutes: =∼ R ⊗ D / D : γ⊗id θ O(1) ⊗ D: cM3: (Equivariance) Let σ 2 Σj−1 ⊂ Σj, then the following diagram com- mutes: σ⊗id O(j) ⊗ D / O(j) ⊗ D θ θ D ⊗ Cj−1 / D ⊗ Cj−1: id ⊗σ A morphisms of C-comodules is a homeomorphism of abelian groups commuting strictly with all the above structure. The category of O-comodules O is enriched over Ab• and will be denoted by coModC . Example 1.1.4. The operad A has A(j) = Z[Σj] with unit map equal to the identity and product maps dictated by the equivariance formulas. An A-coalgebra C is the same thing as a coassociative coalgebra.
Load more

Recommended publications
  • Ravi's Speech at the Banquet
    Speech at the Conference on Conformal Geometry and Riemann Surfaces October 27, 2013 Ravi S. Kulkarni October 29, 2013 1 Greetings I am very happy today. I did not know that so many people loved me enough to gather at Queens College to wish me a healthy, long, and productive life over and above the 71 years I have already lived. It includes my teacher Shlomo Sternberg, present here on skype, and my \almost"-teachers Hyman Bass, and Cliff Earle. Alex Lubotzky came from Israel, Ulrich Pinkall from Germany, and Shiga from Japan. If I have counted correctly there are 14 people among the speakers who are above 65, and 5 below 65, of which only 3 in their 30s to 50s. There are many more in the audience who are in their 50s and below. I interpret this as: we old people have done something right. And of course that something right, is that we have done mathematics. The conference of this type is new for the Math department at Queens College, although it had many distinguished mathematicians like Arthur Sard, Leo Zippin, Banesh Hoffman, Edwin Moise, ... before, on its faculty. I find this Conference especially gratifying since I already went back to In- dia in 2001, enjoyed several leaves without pay, and finally retired from Queens College, in Feb 2008. However I keep coming back to Queens college and Grad- uate Center twice a year and enjoy my emeritus positions with all the office and library/computer advantages. For a long time, I felt that people here thought that I was an Indian in America.
    [Show full text]
  • Higher Algebraic K-Theory I
    1 Higher algebraic ~theory: I , * ,; Daniel Quillen , ;,'. ··The·purpose of..thispaper.. is.to..... develop.a.higher. X..,theory. fpJ;' EiddUiy!!. categQtl~ ... __ with euct sequences which extends the ell:isting theory of ths Grothsndieck group in a natural wll7. To describe' the approach taken here, let 10\ be an additive category = embedded as a full SUbcategory of an abelian category A, and assume M is closed under , = = extensions in A. Then one can form a new category Q(M) having the same objects as ')0\ , = =, = but :in which a morphism from 101 ' to 10\ is taken to be an isomorphism of MI with a subquotient M,IM of M, where MoC 101, are aubobjects of M such that 101 and MlM, o 0 are objects of ~. Assuming 'the isomorphism classes of objects of ~ form a set, the, cstegory Q(M)= has a classifying space llQ(M)= determined up to homotopy equivalence. One can show that the fundamental group of this classifying spacs is canonically isomor- phic to the Grothendieck group of ~ which motivates dsfining a ssquenoe of X-groups by the formula It is ths goal of the present paper to show that this definition leads to an interesting theory. The first part pf the paper is concerned with the general theory of these X-groups. Section 1 contains various tools for working .~th the classifying specs of a small category. It concludes ~~th an important result which identifies ·the homotopy-theoretic fibre of the map of classifying spaces induced by a.functor. In X-theory this is used to obtain long exsct sequences of X-groups from the exact homotopy sequence of a map.
    [Show full text]
  • Algebra + Homotopy = Operad
    Symplectic, Poisson and Noncommutative Geometry MSRI Publications Volume 62, 2014 Algebra + homotopy = operad BRUNO VALLETTE “If I could only understand the beautiful consequences following from the concise proposition d 2 0.” —Henri Cartan D This survey provides an elementary introduction to operads and to their ap- plications in homotopical algebra. The aim is to explain how the notion of an operad was prompted by the necessity to have an algebraic object which encodes higher homotopies. We try to show how universal this theory is by giving many applications in algebra, geometry, topology, and mathematical physics. (This text is accessible to any student knowing what tensor products, chain complexes, and categories are.) Introduction 229 1. When algebra meets homotopy 230 2. Operads 239 3. Operadic syzygies 253 4. Homotopy transfer theorem 272 Conclusion 283 Acknowledgements 284 References 284 Introduction Galois explained to us that operations acting on the solutions of algebraic equa- tions are mathematical objects as well. The notion of an operad was created in order to have a well defined mathematical object which encodes “operations”. Its name is a portemanteau word, coming from the contraction of the words “operations” and “monad”, because an operad can be defined as a monad encoding operations. The introduction of this notion was prompted in the 60’s, by the necessity of working with higher operations made up of higher homotopies appearing in algebraic topology. Algebra is the study of algebraic structures with respect to isomorphisms. Given two isomorphic vector spaces and one algebra structure on one of them, 229 230 BRUNO VALLETTE one can always define, by means of transfer, an algebra structure on the other space such that these two algebra structures become isomorphic.
    [Show full text]
  • Prospects in Topology
    Annals of Mathematics Studies Number 138 Prospects in Topology PROCEEDINGS OF A CONFERENCE IN HONOR OF WILLIAM BROWDER edited by Frank Quinn PRINCETON UNIVERSITY PRESS PRINCETON, NEW JERSEY 1995 Copyright © 1995 by Princeton University Press ALL RIGHTS RESERVED The Annals of Mathematics Studies are edited by Luis A. Caffarelli, John N. Mather, and Elias M. Stein Princeton University Press books are printed on acid-free paper and meet the guidelines for permanence and durability of the Committee on Production Guidelines for Book Longevity of the Council on Library Resources Printed in the United States of America by Princeton Academic Press 10 987654321 Library of Congress Cataloging-in-Publication Data Prospects in topology : proceedings of a conference in honor of W illiam Browder / Edited by Frank Quinn. p. cm. — (Annals of mathematics studies ; no. 138) Conference held Mar. 1994, at Princeton University. Includes bibliographical references. ISB N 0-691-02729-3 (alk. paper). — ISBN 0-691-02728-5 (pbk. : alk. paper) 1. Topology— Congresses. I. Browder, William. II. Quinn, F. (Frank), 1946- . III. Series. QA611.A1P76 1996 514— dc20 95-25751 The publisher would like to acknowledge the editor of this volume for providing the camera-ready copy from which this book was printed PROSPECTS IN TOPOLOGY F r a n k Q u in n , E d it o r Proceedings of a conference in honor of William Browder Princeton, March 1994 Contents Foreword..........................................................................................................vii Program of the conference ................................................................................ix Mathematical descendants of William Browder...............................................xi A. Adem and R. J. Milgram, The mod 2 cohomology rings of rank 3 simple groups are Cohen-Macaulay........................................................................3 A.
    [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]
  • An Invitation to Toric Topology: Vertex Four of a Remarkable Tetrahedron
    An Invitation to Toric Topology: Vertex Four of a Remarkable Tetrahedron. Buchstaber, Victor M and Ray, Nigel 2008 MIMS EPrint: 2008.31 Manchester Institute for Mathematical Sciences School of Mathematics The University of Manchester Reports available from: http://eprints.maths.manchester.ac.uk/ And by contacting: The MIMS Secretary School of Mathematics The University of Manchester Manchester, M13 9PL, UK ISSN 1749-9097 Contemporary Mathematics An Invitation to Toric Topology: Vertex Four of a Remarkable Tetrahedron Victor M Buchstaber and Nigel Ray 1. An Invitation Motivation. Sometime around the turn of the recent millennium, those of us in Manchester and Moscow who had been collaborating since the mid-1990s began using the term toric topology to describe our widening interests in certain well-behaved actions of the torus. Little did we realise that, within seven years, a significant international conference would be planned with the subject as its theme, and delightful Japanese hospitality at its heart. When first asked to prepare this article, we fantasised about an authorita- tive and comprehensive survey; one that would lead readers carefully through the foothills above which the subject rises, and provide techniques for gaining sufficient height to glimpse its extensive mathematical vistas. All this, and more, would be illuminated by references to the wonderful Osaka lectures! Soon afterwards, however, reality took hold, and we began to appreciate that such a task could not be completed to our satisfaction within the timescale avail- able. Simultaneously, we understood that at least as valuable a service could be rendered to conference participants by an invitation to a wider mathematical au- dience - an invitation to savour the atmosphere and texture of the subject, to consider its geology and history in terms of selected examples and representative literature, to glimpse its exciting future through ongoing projects; and perhaps to locate favourite Osaka lectures within a novel conceptual framework.
    [Show full text]
  • The Formalism of Segal Sections
    THE FORMALISM OF SEGAL SECTIONS BY Edouard Balzin ABSTRACT Given a family of model categories E ! C, we associate to it a homo- topical category of derived, or Segal, sections DSect(C; E) that models the higher-categorical sections of the localisation LE ! C. The derived sections provide an alternative, strict model for various higher algebra ob- jects appearing in the work of Lurie. We prove a few results concerning the properties of the homotopical category DSect(C; E), and as an exam- ple, study its behaviour with respect to the base-change along a select class of functors. Contents Introduction . 2 1. Simplicial Replacements . 10 1.1. Preliminaries . 10 1.2. The replacements . 12 1.3. Families over the simplicial replacement . 15 2. Derived, or Segal, sections . 20 2.1. Presections . 20 2.2. Homotopical category of Segal sections . 23 3. Higher-categorical aspects . 27 3.1. Behaviour with respect to the infinity-localisation . 27 3.2. Higher-categorical Segal sections . 32 4. Resolutions . 40 4.1. Relative comma objects . 44 4.2. Sections over relative comma objects . 49 4.3. Comparing the Segal sections . 52 References . 58 2 EDOUARD BALZIN Introduction Segal objects. The formalism presented in this paper was developed in the study of homotopy algebraic structures as described by Segal and generalised by Lurie. We begin the introduction by describing this context. Denote by Γ the category whose objects are finite sets and morphisms are given by partially defined set maps. Each such morphism between S and T can be depicted as S ⊃ S0 ! T .A Γ-space is simply a functor X :Γ ! Top taking values in the category of topological spaces.
    [Show full text]
  • Surgery on Compact Manifolds, by C.T.C. Wall
    SURGERY ON COMPACT MANIFOLDS C. T. C. Wall Second Edition Edited by A. A. Ranicki ii Prof. C.T.C. Wall, F.R.S. Dept. of Mathematical Sciences University of Liverpool Liverpool L69 3BX England, UK Prof. A.A. Ranicki, F.R.S.E. Dept. of Mathematics and Statistics University of Edinburgh Edinburgh EH9 3JZ Scotland, UK Contents Forewords .................................................................ix Editor’sforewordtothesecondedition.....................................xi Introduction ..............................................................xv Part 0: Preliminaries Noteonconventions ........................................................2 0. Basichomotopynotions ....................................................3 1. Surgerybelowthemiddledimension ........................................8 1A. Appendix: applications ...................................................17 2. Simple Poincar´e complexes ................................................21 Part 1: The main theorem 3. Statementofresults .......................................................32 4. Animportantspecialcase .................................................39 5. Theeven-dimensionalcase ................................................44 6. Theodd-dimensionalcase .................................................57 7. The bounded odd-dimensional case . .......................................74 8. The bounded even-dimensional case .......................................82 9. Completionoftheproof ...................................................91 Part 2: Patterns
    [Show full text]
  • The Nucleus of an Adjunction and the Street Monad on Monads
    The nucleus of an adjunction and the Street monad on monads Dusko Pavlovic* Dominic J. D. Hughes University of Hawaii, Honolulu HI Apple Inc., Cupertino CA [email protected] [email protected] Abstract An adjunction is a pair of functors related by a pair of natural transformations, and relating a pair of categories. It displays how a structure, or a concept, projects from each category to the other, and back. Adjunctions are the common denominator of Galois connections, repre- sentation theories, spectra, and generalized quantifiers. We call an adjunction nuclear when its categories determine each other. We show that every adjunction can be resolved into a nuclear adjunction. The resolution is idempotent in a strict sense. The resulting nucleus displays the concept that was implicit in the original adjunction, just as the singular value decomposition of an adjoint pair of linear operators displays their canonical bases. The two composites of an adjoint pair of functors induce a monad and a comonad. Monads and comonads generalize the closure and the interior operators from topology, or modalities from logic, while providing a saturated view of algebraic structures and compositions on one side, and of coalgebraic dynamics and decompositions on the other. They are resolved back into adjunctions over the induced categories of algebras and of coalgebras. The nucleus of an adjunction is an adjunction between the induced categories of algebras and coalgebras. It provides new presentations for both, revealing algebras on the side where the coalgebras are normally presented, and vice versa. The new presentations elucidate the central role of idem- potents, and of the absolute limits and colimits in monadicity and comonadicity.
    [Show full text]
  • 17 Oct 2019 Sir Michael Atiyah, a Knight Mathematician
    Sir Michael Atiyah, a Knight Mathematician A tribute to Michael Atiyah, an inspiration and a friend∗ Alain Connes and Joseph Kouneiher Sir Michael Atiyah was considered one of the world’s foremost mathematicians. He is best known for his work in algebraic topology and the codevelopment of a branch of mathematics called topological K-theory together with the Atiyah-Singer index theorem for which he received Fields Medal (1966). He also received the Abel Prize (2004) along with Isadore M. Singer for their discovery and proof of the index the- orem, bringing together topology, geometry and analysis, and for their outstanding role in building new bridges between mathematics and theoretical physics. Indeed, his work has helped theoretical physicists to advance their understanding of quantum field theory and general relativity. Michael’s approach to mathematics was based primarily on the idea of finding new horizons and opening up new perspectives. Even if the idea was not validated by the mathematical criterion of proof at the beginning, “the idea would become rigorous in due course, as happened in the past when Riemann used analytic continuation to justify Euler’s brilliant theorems.” For him an idea was justified by the new links between different problems which it illuminated. Our experience with him is that, in the manner of an explorer, he adapted to the landscape he encountered on the way until he conceived a global vision of the setting of the problem. Atiyah describes here 1 his way of doing mathematics2 : arXiv:1910.07851v1 [math.HO] 17 Oct 2019 Some people may sit back and say, I want to solve this problem and they sit down and say, “How do I solve this problem?” I don’t.
    [Show full text]
  • Council Congratulates Exxon Education Foundation
    from.qxp 4/27/98 3:17 PM Page 1315 From the AMS ics. The Exxon Education Foundation funds programs in mathematics education, elementary and secondary school improvement, undergraduate general education, and un- dergraduate developmental education. —Timothy Goggins, AMS Development Officer AMS Task Force Receives Two Grants The AMS recently received two new grants in support of its Task Force on Excellence in Mathematical Scholarship. The Task Force is carrying out a program of focus groups, site visits, and information gathering aimed at developing (left to right) Edward Ahnert, president of the Exxon ways for mathematical sciences departments in doctoral Education Foundation, AMS President Cathleen institutions to work more effectively. With an initial grant Morawetz, and Robert Witte, senior program officer for of $50,000 from the Exxon Education Foundation, the Task Exxon. Force began its work by organizing a number of focus groups. The AMS has now received a second grant of Council Congratulates Exxon $50,000 from the Exxon Education Foundation, as well as a grant of $165,000 from the National Science Foundation. Education Foundation For further information about the work of the Task Force, see “Building Excellence in Doctoral Mathematics De- At the Summer Mathfest in Burlington in August, the AMS partments”, Notices, November/December 1995, pages Council passed a resolution congratulating the Exxon Ed- 1170–1171. ucation Foundation on its fortieth anniversary. AMS Pres- ident Cathleen Morawetz presented the resolution during —Timothy Goggins, AMS Development Officer the awards banquet to Edward Ahnert, president of the Exxon Education Foundation, and to Robert Witte, senior program officer with Exxon.
    [Show full text]
  • Surgery on Compact Manifolds, Second Edition, 1999 68 David A
    http://dx.doi.org/10.1090/surv/069 Selected Titles in This Series 69 C. T. C. Wall (A. A. Ranicki, Editor), Surgery on compact manifolds, Second Edition, 1999 68 David A. Cox and Sheldon Katz, Mirror symmetry and algebraic geometry, 1999 67 A. Borel and N. Wallach, Continuous cohomology, discrete subgroups, and representations of reductive groups, Second Edition, 1999 66 Yu. Ilyashenko and Weigu Li, Nonlocal bifurcations, 1999 65 Carl Faith, Rings and things and a fine array of twentieth century associative algebra, 1999 64 Rene A. Carmona and Boris Rozovskii, Editors, Stochastic partial differential equations: Six perspectives, 1999 63 Mark Hovey, Model categories, 1999 62 Vladimir I. Bogachev, Gaussian measures, 1998 61 W. Norrie Everitt and Lawrence Markus, Boundary value problems and symplectic algebra for ordinary differential and quasi-differential operators, 1999 60 Iain Raeburn and Dana P. Williams, Morita equivalence and continuous-trace C*-algebras, 1998 59 Paul Howard and Jean E. Rubin, Consequences of the axiom of choice, 1998 58 Pavel I. Etingof, Igor B. Frenkel, and Alexander A. Kirillov, Jr., Lectures on representation theory and Knizhnik-Zamolodchikov equations, 1998 57 Marc Levine, Mixed motives, 1998 56 Leonid I. Korogodski and Yan S. Soibelman, Algebras of functions on quantum groups: Part I, 1998 55 J. Scott Carter and Masahico Saito, Knotted surfaces and their diagrams, 1998 54 Casper Goffman, Togo Nishiura, and Daniel Waterman, Homeomorphisms in analysis, 1997 53 Andreas Kriegl and Peter W. Michor, The convenient setting of global analysis, 1997 52 V. A. Kozlov, V. G. Maz'ya> and J. Rossmann, Elliptic boundary value problems in domains with point singularities, 1997 51 Jan Maly and William P.
    [Show full text]