The Cohomology Class of the Mod 4 Braid Group

Total Page:16

File Type:pdf, Size:1020Kb

The Cohomology Class of the Mod 4 Braid Group The Cohomology Class of the Mod 4 Braid Group Trevor Nakamura Abstract The mod 4 braid group, Zn, is defined to be the quotient of the braid group by its level 4 congruence subgroup. Kordek and Margalit proved Zn is an extension of the symmetric n 2 group by Z2 . For n ≥ 4, we construct a 2-cocycle in the group cohomology of the symmetric group with twisted coefficients classifying Zn. We show this cocycle is the mod 2 reduction of the 2-cocycle corresponding to the extension of the symmetric group by the abelianization of the pure braid group. We also construct the 2-cocycle corresponding to this second extension and show it represents an order two element in the cohomology of the symmetric group. Furthermore, we give presentations for both extensions and a normal generating set for the level 4 congruence subgroup of the braid group. 1 Introduction In 2019 Kordek and Margalit [8] showed the quotient of the braid group by the level 4 con- gruence subgroup is an extension of the symmetric group, Sn. Eilenberg and MacLane [6] proved we can classify group extensions by low dimensional group cohomology with twisted co- efficients. In particular, Zn is classified by the second cohomology of the symmetric group with n coefficients in Z2. We begin by constructing a CW-complex which is the two-skeleton of an Eilenberg-MacLane space for the symmetric group. This Eilenberg-MacLane space gives us a low dimensional approximation for a resolution of Z over ZSn-modules. Then we construct a presentation for the extension of the symmetric group by the abelianization of the pure braid group. We obtain our main results from classifying the extension of the symmetric group by the abelianization of the pure braid group and composing this 2-cocycle with the mod 2 reduction of integers. Let G be a group and A be a G-module. We represent the, possibly nontrivial, action of G on A by an automorphism θ ∶ A → A. The cohomology of G with coefficients in A is equivalent to the cohomology of an Eilenberg-MacLane space for G, referred to as a K(G, 1)-space, with a local 2 coefficients system of A determined by θ. We use Hθ (G; A) to denote the second cohomology group of G with coefficients in A twisted by θ. Fixing the action of G on A, Eilenberg and arXiv:2107.12263v1 [math.AT] 26 Jul 2021 2 MacLane proved there exists a bijection between Hθ (G, A) and the set of group extensions, up to equivalence, of G by A which give rise to θ [6]. In this paper we will only consider one action of the symmetric group and therefore often omit θ. We give a more explicit explanation of the background for group cohomology in section 2.2. Extensions of the symmetric group arise naturally while studying quotients of the braid group, Bn. The level m congruence subgroup of the braid group, Bn m , is the kernel of a map: [ ] Bn → GLn Zm (more information is given in section 2.3). Brendle and Margalit proved if n 4, ( ) ≥ then Bn 4 is the subgroup of PBn generated by squares of all elements [3]. Recent work by [ ] 1 n 2 Kordek and Margalit showed Zn = Bn Bn 4 is an extension of Sn by Z2 where Sn permutes n 2 ~ [ ] the generators of Z2 by the standard action on unordered pairs of 1,...,n . Let θ represent n { } 2 the automorphism corresponding to this action of Sn on Z2 , then our first theorem shows the n cocylce classifying Zn is determined by a cocycle which classifies an extension of Sn by Z 2 . n 2 2 Theorem 1.1. If n ≥ 4, then the cohomology class κ ∈ H Sn; Z2 is the mod 2 reduction n 2 [ ] ( ) of an element φ ∈ H Sn; Z 2 of order 2. [ ] ( ) We define representatives of our cohomology classes by constructing a low dimensional ap- proximation for a cellular chain complex of the universal cover of a K Sn, 1 -space. Furthermore, ( ) we show that the 2-chains of this chain complex are generated by the Sn orbits of three classes of elements: cij , dijkℓ, and eijk. Respectively, each of these three types of generators corresponds to the squaring, commuting, and braid relations in the presentation for the symmetric group. Therefore, the cocycle representing κ is determined as a function from the Sn module generated n 2 [ ] by these three 2-chains to Z2 . Using the presentation: n 2 2 Z2 = g¯ij 1 i j n g¯ = 1, gij ,gkℓ = 1 (1) ⟨{ } ≤ ≠ ≤ S ij [ ] ⟩ our second theorem defines the 2-cocycle classifying Zn. Theorem 1.2. If n ≥ 4, then a representative for the cocycle classifying Zn as an extension of n 2 Sn by Z2 is given by: κ cij = g¯ij ( ) ⎧g¯ik + g¯kj + g¯iℓ + g¯ℓj i < k < j < ℓ or k < i < ℓ < j κ dijkℓ = ⎪ ( ) ⎨0 otherwise ⎪ ⎩⎪ ⎧g¯ij + g¯jk i < k < j, j < i < k, or k < j < i κ eijk = ⎪ ( ) ⎨0 otherwise ⎪ ⎩⎪ In the construction of Theorem 1.2 we give a presentation for Zn. By considering Artin’s original presentation for the braid group given by: bibi+1bi = bi+1bibi+1 for all i Bn = b1,...,bn (2) d W bibj = bj bi if i − j > 1 i S S our presentation for Zn yields a normal generating set for Bn 4 . [ ] Theorem 1.3. Let i < k. As a subgroup of the braid group, Bn 4 is normally generated by elements of the form: [ ] 1. b2,b2 [ i k] 4 2. bi Outline This paper will begin with preliminaries which will define the conventions and def- initions for constructing group presentations, group cohomology, and braid/symmetric groups required. In section 3 we build an approximation for a low dimensional resolution for the univer- sal cover of a K Sn, 1 space and define the maps needed to construct the 2-cocycle using this ( ) 2 n Z2 resolution. Then in section 4 we construct the 2-cocycle φ ∈ Hθ Sn; and prove the order of this element. In section 5 we prove κ is determined by[φ], finishing( the proof) of Theorems 1.1 and 1.2. The proof of Theorem 1.3 is finished at the end of the paper with an explanation of the difficulties which arise in finding a finite generating set for Bn 4 . [ ] 2 1.1 Acknowledgments First I would like to give my deepest gratitude to my advisor Matthew Day for his continuous guidance, suggestions, and comments throughout this research and early drafts of this paper. I would also like to thank Dan Margalit and Matthew Clay for helpful conversations. 2 Preliminaries 2.1 Building a Group Presentation Given a group extension 1 Kι Gπ Q 1 and group presentations for K and Q, we describe the process to build a group presentation for G. This construction is previously known and included for completeness. Let SK RK and ⟨ S ⟩ S¯Q R¯Q be group presentations for K and Q respectively. For any set S, let F S denote the free⟨ groupS ⟩ generated by S. ( ) Generators: Since Q = G K, we may lift any elementg ¯ ∈ Q to an element g ∈ G by choosing ~ a g such that π g = g¯. Fix SQ ⊂ G as choice of lifts from elements in S¯Q such that π restricted ( ) to SQ is a bijection. Define S = SK ∪ SQ as the generators of G. Relations: Since K ≈ SK RK , any element k ∈ K can be considered as a word k1⋯kn ∈ ⟨ S ⟩ −1 F SK where ki ∈ SK for all i. Furthermore since K is normal in G, sks ∈ K for any s ∈ SQ and( k )∈ K; therefore we can choose k′ ∈ K such that sks−1 = k′ and we get a relation in G. Note ′ that for any k ∈ SK, k is determined by the choice of each s ∈ SQ as a lift of an element in S¯Q. ′ Let R be the relations in G defined by conjugating elements of SK by elements of SQ and their inverses. Now, we can write any relation in R¯Q bys ¯1⋯s¯n = 1Q wheres ¯i ∈ S¯Q for all i, therefore s1⋯sn = k for some k ∈ K. Note that the choices for si as a lifts ofs ¯i determines k. We take s1⋯sn = k in G as the lift of the relations ¯1⋯s¯n = 1Q in Q. Let RQ denote the lift of relations in ′ ′ R¯Q determined by the choice of SQ. Define R = RK ∪ RQ ∪ R , then G = S R . ⟨ S ⟩ Lemma 2.1. Let K, G′,Q be groups with presentations be defined as above. Any element g ∈ G′ can be written as g = w1w2 where w1 ∈ F SQ and w2 ∈ F SK . ( ) ( ) ′ Proof. Let g ∈ G , then g = s1⋯sn where si ∈ S. By induction on n, suppose g = s1s2. In this ′ case the statement is trivial unless s1 ∈ Sk and s2 ∈ SQ. By the relations of R (conjugating SK −1 by elements of SQ and the inverses) there exists k ∈ K such that s2 s1s2 = k. Consider −1 s1s2 = s2s2 s1s2 = s2k Since K is generated by SK , k = w2 for some w2 ∈ F SK and hence the Lemma holds for n = 2. Now, suppose the Lemma is true for any element( of) G′ that is a reduced word of length n − 1 in F S . Suppose g = s1⋯sn, then by induction s1⋯sn 1 = w1w2 where w1 ∈ F SQ and ( ) − ( ) w2 ∈ F SK .
Recommended publications
  • Introduction
    Copyrighted Material Introduction This book, unlike most books on mathematics, is about math- ematicians, their extraordinary passion for mathematics and their full complexity of being. We emphasize the social and emotional sides of mathematical life. In the great and famous works of Euclid and Newton, we find axioms and theorems. The mathematics seems to speak for itself. No first person speaks, no second person is addressed: “Here is Truth, here is Proof, no more need be said.” Going back to the reports of Plato and Descartes, mathematical think- ing has been seen as pure reason–a perfect and eternal faculty. The thoughts, feelings, and tribulations of the mathematician are not included. But it doesn’t take deep reflection to realize that this perfec- tion is a human creation. Mathematics is an artifact created by thinking creatures of flesh and blood. Indeed, this fact has al- ways been known to poets, novelists, and dramatists. Math- ematicians, like all people, think socially and emotionally in the categories of their time and place and culture. In any great en- deavor, such as the structuring of mathematical knowledge, we bring all of our humanity to the work. Along with reasoning, the work includes the joy of discovery, the struggle with uncer- tainty, and many other emotions. And it is shaped by social real- ities, including war, political oppression, sexism, and racism, as they have affected society and mathematicians in different eras. Today the connection between thought and emotion is a ma- jor active field of scientific research. Recently the neuroscientist Antonio Damasio and a collaborator wrote, “Modern biol- ogy reveals humans to be fundamentally emotional and social Copyrighted Material • intrODUCTION creatures.
    [Show full text]
  • Contemporary Mathematics 78
    CONTEMPORARY MATHEMATICS 78 Braids Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference on Artin's Braid Group held July 13-26. 1986 at the University of California, Santa Cruz, California Joan S. Birman Anatoly Libgober Editors http://dx.doi.org/10.1090/conm/078 Recent Titles in This Series 120 Robert S. Doran, Editor, Selfadjoint and nonselfadjoint operator algebras and operator theory, 1991 119 Robert A. Melter, Azriel Rosenfeld, and Prabir Bhattacharya, Editors, Vision geometry, 1991 118 Yan Shi-Jian, Wang Jiagang, and Yang Chung-chun, Editors, Probability theory and its applications in China, 1991 117 Morton Brown, Editor, Continuum theory and dynamical systems, 1991 116 Brian Harboume and Robert Speiser, Editors, Algebraic geometry: Sundance 1988, 1991 115 Nancy Flournoy an'il Robert K. Tsutakawa, Editors, Statistical multiple integration, 1991 114 Jeffrey C. Lagarias and Michael J. Todd, Editors, Mathematical developments arising from linear programming, 1990 113 Eric Grinberg and Eric Todd Quinto, Editors, Integral geometry and tomography, 1990 112 Philip J. Brown and Wayne A. Fuller, Editors, Statistical analysis of measurement error models and applications, 1990 Ill Earl S. Kramer and Spyros S. Magliveras, Editors, Finite geometries and combinatorial designs, I 990 II 0 Georgia Benkart and J. Marshall Osborn, Editors, Lie algebras and related topics, 1990 109 Benjamin Fine, Anthony Gaglione, and Francis C. Y. Tang, Editors, Combinatorial group theory, 1990 108 Melvyn S. Berger, Editor, Mathematics of nonlinear science, 1990 107 Mario Milman and Tomas Schonbek, Editors, Harmonic analysis and partial differential equations, 1990 I 06 Wilfried Sieg, Editor, Logic and computation, 1990 I 05 Jerome Kaminker, Editor, Geometric and topological invariants of elliptic operators, 1990 I 04 Michael Makkai and Robert Pare, Accessible categories: The foundations of categorical model theory, 1989 I 03 Steve Fisk, Coloring theories, 1989 I 02 Stephen McAdam, Primes associated to an ideal, 1989 101 S.-Y.
    [Show full text]
  • Mathematicians Fleeing from Nazi Germany
    Mathematicians Fleeing from Nazi Germany Mathematicians Fleeing from Nazi Germany Individual Fates and Global Impact Reinhard Siegmund-Schultze princeton university press princeton and oxford Copyright 2009 © by Princeton University Press Published by Princeton University Press, 41 William Street, Princeton, New Jersey 08540 In the United Kingdom: Princeton University Press, 6 Oxford Street, Woodstock, Oxfordshire OX20 1TW All Rights Reserved Library of Congress Cataloging-in-Publication Data Siegmund-Schultze, R. (Reinhard) Mathematicians fleeing from Nazi Germany: individual fates and global impact / Reinhard Siegmund-Schultze. p. cm. Includes bibliographical references and index. ISBN 978-0-691-12593-0 (cloth) — ISBN 978-0-691-14041-4 (pbk.) 1. Mathematicians—Germany—History—20th century. 2. Mathematicians— United States—History—20th century. 3. Mathematicians—Germany—Biography. 4. Mathematicians—United States—Biography. 5. World War, 1939–1945— Refuges—Germany. 6. Germany—Emigration and immigration—History—1933–1945. 7. Germans—United States—History—20th century. 8. Immigrants—United States—History—20th century. 9. Mathematics—Germany—History—20th century. 10. Mathematics—United States—History—20th century. I. Title. QA27.G4S53 2008 510.09'04—dc22 2008048855 British Library Cataloging-in-Publication Data is available This book has been composed in Sabon Printed on acid-free paper. ∞ press.princeton.edu Printed in the United States of America 10 987654321 Contents List of Figures and Tables xiii Preface xvii Chapter 1 The Terms “German-Speaking Mathematician,” “Forced,” and“Voluntary Emigration” 1 Chapter 2 The Notion of “Mathematician” Plus Quantitative Figures on Persecution 13 Chapter 3 Early Emigration 30 3.1. The Push-Factor 32 3.2. The Pull-Factor 36 3.D.
    [Show full text]
  • Some Comments on Multiple Discovery in Mathematics
    Journal of Humanistic Mathematics Volume 7 | Issue 1 January 2017 Some Comments on Multiple Discovery in Mathematics Robin W. Whitty Queen Mary University of London Follow this and additional works at: https://scholarship.claremont.edu/jhm Part of the History of Science, Technology, and Medicine Commons, and the Other Mathematics Commons Recommended Citation Whitty, R. W. "Some Comments on Multiple Discovery in Mathematics," Journal of Humanistic Mathematics, Volume 7 Issue 1 (January 2017), pages 172-188. DOI: 10.5642/jhummath.201701.14 . Available at: https://scholarship.claremont.edu/jhm/vol7/iss1/14 ©2017 by the authors. This work is licensed under a Creative Commons License. JHM is an open access bi-annual journal sponsored by the Claremont Center for the Mathematical Sciences and published by the Claremont Colleges Library | ISSN 2159-8118 | http://scholarship.claremont.edu/jhm/ The editorial staff of JHM works hard to make sure the scholarship disseminated in JHM is accurate and upholds professional ethical guidelines. However the views and opinions expressed in each published manuscript belong exclusively to the individual contributor(s). The publisher and the editors do not endorse or accept responsibility for them. See https://scholarship.claremont.edu/jhm/policies.html for more information. Some Comments on Multiple Discovery in Mathematics1 Robin M. Whitty Queen Mary University of London [email protected] Synopsis Among perhaps many things common to Kuratowski's Theorem in graph theory, Reidemeister's Theorem in topology, and Cook's Theorem in theoretical com- puter science is this: all belong to the phenomenon of simultaneous discovery in mathematics. We are interested to know whether this phenomenon, and its close cousin repeated discovery, give rise to meaningful questions regarding causes, trends, categories, etc.
    [Show full text]
  • MATH 801 — Braids Spring 2008 Prof
    MATH 801 — Braids Spring 2008 Prof. Jean-Luc Thiffeault DESCRIPTION Everyone understands intuitively the concept of a braid as a collection of intertwined strands. However, there is a rigorous mathematical theory of braids, pioneered by Artin, which complements knot theory but is in many ways separate. Unlike knots, braids have a simple algebraic description in terms of a group, and can thus be manipulated more easily. This group structure also connects them to the mapping class groups of a surface: each element of this group describes a way of mapping a surface to itself. Braids thus provides insight into the structure of mappings of surfaces. We shall tie this to the powerful Thurston–Nielsen classification of surface diffeomorphisms. This opens the door to many applications in fluid dynamics, since fluid motion can be regarded as a re-ordering of the fluid material. Braids are also being used in computational robotics, where the motion of robotic agents subject to constraints has to be optimized. On the algebraic side, braids are potentially useful in cryptography, since there are sev- eral computationally ‘hard’ problems associated with factoring braids — especially the conjugacy problem. In this course I will present the basic theory of braids, assuming relatively few prerequi- sites. The approach will vary from semi-rigorous to rigorous, with some theorems proved and others merely motivated. The goal is to cover a lot of ground and not be slowed down by lengthy proofs. The course is aimed at both applied and pure students. A sample of topics to be covered, time permitting: • Physical braids and the algebraic description of braids • Configuration space • Braids on other surfaces; The Dirac string problem • Alexander’s and Markov’s theorem • Garside normal form and the word and conjugacy problems • The Burau representation and faithfulness • Mapping class groups • Thurston–Nielsen classification • Topological entropy • Robotics • Stirring with braids 1 PREREQUISITES Basic knowledge of group theory will help.
    [Show full text]
  • Christopher J. Leininger
    Christopher J. Leininger Department of Mathematics [email protected] University of Illinois at Urbana Champaign (217)-265-6763 273 Altegeld Hall, 1409 W. Green St. Urbana, IL 61802 U.S. Citizen, Born Dec. 5, 1973 EDUCATION • The University of Texas, Austin, TX Ph.D. in Mathematics, May 2002. Supervisor: Alan W. Reid • Ball State University, Muncie, IN B.S. in Mathematics, May 1997 ACADEMIC POSITIONS • University of Illinois, Urbana-Champaign, IL Associate Professor, Dept. of Math., Fall 2010{present • University of Illinois, Urbana-Champaign, IL Assistant Professor, Dept. of Math., Fall 2005{Summer 2010. • Columbia University/Barnard College, New York City, NY Assistant Professor/NSF Postdoctoral Fellow, Dept. of Math., Fall 2002{Spring 2005. VISITS • Centro di Ricerca Matematica Ennio De Giorgi, Pisa, Italy, June 2014. • Aix-Marseille Universite, July 2013. • Centre de Recerca Matem`aticaBarcelona, Spain, September/October 2012. • Park City Math Institute, Utah, July 2011, July 2012. • Oberwolfach, Germany, May 2011, June 2011, June 2015. • Hausdorff Research Institute for Mathematics, Bonn, Germany, May/June 2010. • Universit´ePaul C´ezanne, Marseille, France, Professeur Invit´e, June 2008. • Mathematical Sciences Research Institute Berkeley, CA, Member, Fall 2007. • Max-Planck-Institut f¨urMathematik, Bonn, Germany, July 2006. • University of Chicago, Chicago, IL, May/June, 2006. GRANTS & AWARDS • N.S.F. Grants D.M.S.-060388, 0905748, 1207184, 1510034: 5/2006{5/2018. • Lois M. Lackner Scholar, Dept. of Math., UIUC, 2011{2013. • Campus Research Board, UIUC, Summer 2010, spring 2007, Fall 2005. • Helen Corley Petit Scholar, College of LAS, UIUC, 2010{2011. • N. Tenney Peck Teaching Award in Mathematics, Dept.
    [Show full text]
  • Telling Women's Stories: a Resource for College Mathematics Instructors
    Journal of Humanistic Mathematics Volume 9 | Issue 2 July 2019 Telling Women's Stories: A Resource for College Mathematics Instructors Sarah Mayes-Tang University of Toronto Follow this and additional works at: https://scholarship.claremont.edu/jhm Part of the Arts and Humanities Commons, Curriculum and Instruction Commons, Gender Equity in Education Commons, Mathematics Commons, and the Science and Mathematics Education Commons Recommended Citation Mayes-Tang, S. "Telling Women's Stories: A Resource for College Mathematics Instructors," Journal of Humanistic Mathematics, Volume 9 Issue 2 (July 2019), pages 78-92. DOI: 10.5642/jhummath.201902.07 . Available at: https://scholarship.claremont.edu/jhm/vol9/iss2/7 ©2019 by the authors. This work is licensed under a Creative Commons License. JHM is an open access bi-annual journal sponsored by the Claremont Center for the Mathematical Sciences and published by the Claremont Colleges Library | ISSN 2159-8118 | http://scholarship.claremont.edu/jhm/ The editorial staff of JHM works hard to make sure the scholarship disseminated in JHM is accurate and upholds professional ethical guidelines. However the views and opinions expressed in each published manuscript belong exclusively to the individual contributor(s). The publisher and the editors do not endorse or accept responsibility for them. See https://scholarship.claremont.edu/jhm/policies.html for more information. Telling Women's Stories: A Resource for College Mathematics Instructors Cover Page Footnote I would like to thank the reviewer for
    [Show full text]
  • January 1994 Council Minutes
    AMERICAN MATHEMATICAL SOCIETY COUNCIL MINUTES Cincinnati, Ohio 11 January 1994 Abstract The Council met at 1:00 pm on Tuesday, 11 January 1994 in the Regency Ball- room B, Hyatt Regency Cincinnati, Cincinnati, Ohio. Members in attendance were Michael Artin, M. Salah Baouendi, James E. Baum- gartner, Joan S. Birman, Ruth M. Charney, Carl C. Cowen, Jr., David A. Cox, Robert J. Daverman (Associate Secretary of record), Chandler Davis, Robert M. Fossum, John M. Franks, Walter Gautschi, Ronald L. Graham, Judy Green, Philip J. Hanlon, Rebecca A. Herb, Arthur M. Jaffe, Svetlana R. Katok, Linda Keen, Irwin Kra, Steven George Krantz, James I. Lepowsky, Peter W. K. Li, Elliott H. Lieb, Anil Nerode, Richard S. Palais (for Murray Protter, Bulletin), Franklin P. Peterson, Marc A. Rieffel, Lance W. Small (Associate Secretary, non-voting), Elias M. Stein (for Wilfried Schmid, Journal of the American Mathematical Soci- ety), B. A. Taylor, Frank Warner III, Steven H. Weintraub, Ruth J. Williams, and Susan Gayle Williams. Members of the Council who will take office on 01 February 1994 and who were in attendance were: Cathleen Morawetz, Jean Taylor, Frank Morgan, and Sylvia Wiegand. President Graham called the meeting to order at 1:10 PM. 1 2 CONTENTS Contents I MINUTES 5 0 CALL TO ORDER AND INTRODUCTIONS. 5 0.1 Call to Order. ........................................ 5 0.2 Retiring Members. ..................................... 5 0.3 Introduction of Newly Elected Council Members. .................... 5 1MINUTES 5 1.1 August 93 Council. ..................................... 5 1.2 11/93 Executive Committee and Board of Trustees (ECBT) Meeting. ......... 6 2 CONSENT AGENDA. 6 2.1 National Association of Mathematicians.
    [Show full text]
  • 2021 September-October Newsletter
    Newsletter VOLUME 51, NO. 5 • SEPTEMBER–OCTOBER 2021 PRESIDENT’S REPORT This is a fun report to write, where I can share news of AWM’s recent award recognitions. Sometimes hearing about the accomplishments of others can make The purpose of the Association for Women in Mathematics is us feel like we are not good enough. I hope that we can instead feel inspired by the work these people have produced and energized to continue the good work we • to encourage women and girls to ourselves are doing. study and to have active careers in the mathematical sciences, and We’ve honored exemplary Student Chapters. Virginia Tech received the • to promote equal opportunity and award for Scientific Achievement for offering three different research-focused the equal treatment of women and programs during a pandemic year. UC San Diego received the award for Professional girls in the mathematical sciences. Development for offering multiple events related to recruitment and success in the mathematical sciences. Kutztown University received the award for Com- munity Engagement for a series of events making math accessible to a broad community. Finally, Rutgers University received the Fundraising award for their creative fundraising ideas. Congratulations to all your members! AWM is grateful for your work to support our mission. The AWM Research Awards honor excellence in specific research areas. Yaiza Canzani was selected for the AWM-Sadosky Research Prize in Analysis for her work in spectral geometry. Jennifer Balakrishnan was selected for the AWM- Microsoft Research Prize in Algebra and Number Theory for her work in computa- tional number theory.
    [Show full text]
  • 2016-2017 Annual Report
    Institute for Computational and Experimental Research in Mathematics Annual Report May 1, 2016 – April 30, 2017 Brendan Hassett, Director Mathew Borton, IT Director Jeff Brock, Associate Director Ruth Crane, Assistant Director Jeffrey Hoffstein, Consulting Associate Director Caroline Klivans, Associate Director Jill Pipher, Consulting Associate Director Sinai Robins, Deputy Director Bjorn Sandstede, Associate Director Homer Walker, Deputy Director Ulrica Wilson, Associate Director for Diversity and Outreach 1 Table of Contents Mission ......................................................................................................................................................... 5 Core Programs and Events ............................................................................................................................. 5 Participant Summaries by Program Type ....................................................................................................... 8 ICERM Funded Participants .................................................................................................................................................................................. 8 All Participants (ICERM funded and Non-ICERM funded) ....................................................................................................................... 9 ICERM Funded Speakers ....................................................................................................................................................................................
    [Show full text]
  • View This Volume's Front and Back Matter
    Selected Title s i n Thi s Serie s 24 Jan e Gilman , Willia m W . Menasco , an d Xiao-Son g Lin , Editors , Knots , Braids , and Mappin g Clas s Groups—Paper s Dedicate d t o Joa n S . Birman, 200 1 23 Cumru n Vaf a an d S.-T . Yau , Editors , Winte r Schoo l o n Mirro r Symmetry , Vecto r Bundles an d Lagrangia n Submanifolds , 200 1 22 Carlo s Berenstein , Der-Che n Chang , an d Jingzh i Tie , Laguerr e Calculu s an d It s Applications o n the Heisenber g Group , 200 1 21 Jiirge n Jost , Bosoni c Strings : A Mathematical Treatment , 200 1 20 L o Yan g an d S.-T . Yau , Editors , Firs t Internationa l Congres s o f Chines e Mathematicians, 200 1 19 So-Chi n Che n an d Mei-Ch i Shaw , Partia l Differentia l Equation s i n Severa l Comple x Variables, 200 1 18 Fangyan g Zheng , Comple x Differentia l Geometry , 200 0 17 Le i Gu o an d Stephe n S.-T . Yau , Editors , Lecture s o n Systems , Control , an d Information, 200 0 16 Rud i Weikar d an d Gilber t Weinstein , Editors , Differentia l Equation s an d Mathematical Physics , 200 0 15 Lin g Hsia o an d Zhoupin g Xin , Editors , Som e Curren t Topic s o n Nonlinea r Conservation Laws , 200 0 14 Jun-ich i Igusa , A n Introductio n t o the Theor y o f Loca l Zet a Functions , 200 0 13 Vasilio s Alexiade s an d Georg e Siopsis , Editors , Trend s i n Mathematica l Physics , 1999 12 Shen g Gong , Th e Bieberbac h Conjecture , 199 9 11 Shinich i Mochizuki , Foundation s o f p-adic Teichmulle r Theory , 199 9 10 Duon g H .
    [Show full text]
  • Emissary | Spring 2021
    Spring 2021 EMISSARY M a t h e m a t i c a lSc i e n c e sRe s e a r c hIn s t i t u t e www.msri.org Mathematical Problems in Fluid Dynamics Mihaela Ifrim, Daniel Tataru, and Igor Kukavica The exploration of the mathematical foundations of fluid dynamics began early on in human history. The study of the behavior of fluids dates back to Archimedes, who discovered that any body immersed in a liquid receives a vertical upward thrust, which is equal to the weight of the displaced liquid. Later, Leonardo Da Vinci was fascinated by turbulence, another key feature of fluid flows. But the first advances in the analysis of fluids date from the beginning of the eighteenth century with the birth of differential calculus, which revolutionized the mathematical understanding of the movement of bodies, solids, and fluids. The discovery of the governing equations for the motion of fluids goes back to Euler in 1757; further progress in the nineteenth century was due to Navier and later Stokes, who explored the role of viscosity. In the middle of the twenti- eth century, Kolmogorov’s theory of tur- bulence was another turning point, as it set future directions in the exploration of fluids. More complex geophysical models incorporating temperature, salinity, and ro- tation appeared subsequently, and they play a role in weather prediction and climate modeling. Nowadays, the field of mathematical fluid dynamics is one of the key areas of partial differential equations and has been the fo- cus of extensive research over the years.
    [Show full text]