Of the American Mathematical Society ABCD Springer.Com
ISSN 0002-9920 Notices of the American Mathematical Society ABCD springer.com
Highlights in Springer’s eBook Collection of the American Mathematical Society November 2009 Volume 56, Number 10
NEW NEW NEW Andrew M. Gleason (1921–2008) This book stresses applications of real Starting with basic principles, this book This accessible book offers a general analysis, detailing how its principles and provides a comprehensive classification introduction to delay differential page 1236 theory can be applied in a variety of of the various types of finite reflection equations. It is a revised version of a settings in subjects ranging from groups and describes their underlying series of lectures given at the Université Fourier series and polynomial geometric properties. Numerous Libre de Bruxelles and then at the approximation to discrete dynamical exercises at various levels of difficulty Université Joseph Fourier (Grenoble) Interview with systems and nonlinear optimization. are included. during the spring of 2003. Yuri Manin 2009. Approx. 520 p. 80 illus. 2010. XII, 172 p. 74 illus. (Universitext) 2009. XII, 204 p. (Surveys and Tutorials in (Undergraduate Texts in Mathematics) Softcover the Applied Mathematical Sciences, page 1268 Hardcover ISBN 978-0-387-79065-7 7 $49.95 Volume 3) Softcover ISBN 978-0-387-98097-3 7 $79.95 ISBN 978-0-387-74371-4 7 $39.95 Review of For access check with your librarian The Princeton Companion to Mathematics Colorado Mathematical Deformation Theory A Course in Mathematical page 1276 Olympiad R. Hartshorne , University of California, Logic for Mathematicians The First Twenty Years and Further Berkeley, CA, USA Y. I. Manin , Max-Planck-Institut für Explorations This first textbook on deformation Mathematik, Bonn, Germany
theory begins by studying what Volume 56, Number 10, Pages 1225–1400, November 2009 A. Soifer , University of Colorado, With contrib. by: B. Zilber, Mathematical happens over small infinitesimal Colorado Springs, CO, USA Institute, University of Oxford, Oxford, UK deformations, and then gradually builds This new edition of the straightforward In two decades, the Colorado Springs up to more global situations. The author introduction to mathematical logic Mathematics Olympiad has become an provides plenty of motivation, including retains its appeal to the intuition of annual state-wide competition. This numerous exercises and examples. book tells the history of the competition working mathematicians, yet along with as well as an outline of the problems 2010. Approx. 240 p. 19 illus. material from the first edition, it has fresh and solutions that have been a part of (Graduate Texts in Mathematics, chapters, one of which deals with Model the contest. Volume 257) Hardcover Theory. ISBN 978-1-4419-1595-5 7 approx. $49.95 2nd ed. 2010. Approx. 400 p. 140 illus. 2nd ed. 2010. XII, 384 p. 12 illus. (Graduate Softcover Texts in Mathematics, Volume 53) Hardcover ISBN 978-0-387-75471-0 7 approx. $44.95 ISBN 978-1-4419-0614-4 7 $69.95
Easy Ways to Order for the Americas 7 Write: Springer Order Department, PO Box 2485, Secaucus, NJ 07096-2485, USA 7 Call: (toll free) 1-800-SPRINGER 7 Fax: 1-201-348-4505 7 Email: [email protected] or for outside the Americas 7 Write: Springer Customer Service Center GmbH, Haberstrasse 7, 69126 Heidelberg, Germany 7 Call: +49 (0) 6221-345-4301 7 Fax : +49 (0) 6221-345-4229 7 Email: [email protected] 7 Prices are subject to change without notice. All prices are net prices. 014449x
Through the Legendrian looking glass (see page 1301)
Trim: 8.25" x 10.75" 176 pages on 40 lb Velocity • Spine: 3/16" • Print Cover on 9pt Carolina ,!4%8
,!4%8 ,!4%8
2010 Employment Joint Mathematics Meetings San Francisco, CA January 13–16, 2010 Center at the Joint Mathematics Meetings
San Francisco, CA • January 13, 14, 15, and 16, 2010
To receive a meetings badge, register for the Joint Mathematics Meeting by December 22, 2009. On-site registration will also be available.
Visit www.ams.org/emp-reg for registration information for the Employment Center. New and Forthcoming
Inequalities Mean Curvature Flow and Stochastic Models, A Mathematical Olympiad Isoperimetric Inequalities Information Theory, Approach Manuel Ritoré, Universidad Granada, and Lie Groups, Volume 1 Radmila Bulajich Manfrino, Universidad Spain; Carlo Sinestrari, Università di Autónoma del Estado de Morelos, Mexico; Roma “Tor Vergata”, Italy; Vicente Miquel, Classical Results and Geometric José Antonio Gómez Ortega, Universidad Universitat de València, Spain; Joan Porti, Methods Nacional Autónoma de Mexico; Universitat Autònoma de Barcelona, Spain Gregory S. Chirikjian, The John Hopkins Rogelio Valdez Delgado, Universidad Geometric fl ows have many applications in University, Baltimore, MD, USA Autónoma del Estado de Morelos, Mexico physics and geometry, while isoperimetric The subjects of stochastic processes, This book presents classical inequalities inequalities can help in treating several information theory, and Lie groups are and specifi c inequalities which are aspects of convergence of these fl ows. usually treated separately from each other. particularly useful for tackling and Based on a series of lectures given by the This unique textbook presents these topics solving optimization problems. Most of authors, the material here deals with both in a unifi ed setting, thereby building bridg- the examples, exercises and problems subjects fi elds of geometry, like es among fi elds that are rarely studied by that appear in the book originate from hyperbolic manifolds. the same individuals. Volume I establishes Mathematical Olympiad contests around 2010. 125 P., SOFTCOVER the geometric and statistical foundations the world. ISBN: 978-3-0346-0212-9 $39.95 required to understand the fundamentals 2009. 220 P., SOFTCOVER ADVANCED COURSES IN MATHEMATICS - of continuous-time stochastic processes, ISBN 978-3-0346-0049-1 $39.95 CRM BARCELONA differential geometry, and the probabilistic foundations of information theory. Mathematics 2009. 383 P.,13 ILLUS., HARDCOVER Simplicial Homotopy ISBN 978-0-8176-4802-2 $59.95 Theory for Multimedia APPLIED AND NUMERICAL HARMONIC Mladen Victor Wickerhauser, Washington ANALYSIS Paul G. Goerss, Northwestern University, University, St. Louis, MO, USA Evanston, IL, USA; John F. Jardine, The This textbook presents the mathematics The Center and University of Western Ontario, London, that is foundational to multimedia applica- ON, Canada Cyclicity Problems tions. Featuring a rigorous survey of select- With the development of Quillen‘s con- ed results from algebra and analysis, the A Computational Algebra cept of a closed model category and, in work examines tools used to create appli- Approach particular, a simplicial model category, cation software for multimedia signal pro- Valery Romanovski, University of Maribor, this collection of methods has become cessing and communication. Key features Slovenia; Douglas Shafer, University of the primary way to describe non-abelian include over 100 exercises with complete North Carolina at Charlotte, NC, USA homological algebra and to address solutions; many sample programs in homotopy-theoretical issues in a variety Standard C and illustrations based on data Using a computational algebra ap- of fi elds, including algebraic K-theory. This from real studies; suggestions for further proach, this work addresses the center book supplies a modern exposition of reading at the end of each chapter; and and cyclicity problems as behaviors these ideas, emphasizing model category a companion website providing the com- of dynamical systems and families of theoretical techniques. Discussed here puter programs described in the book as polynomial systems. The text fi rst lays the are the homotopy theory of simplicial sets, well as additional references and data fi les, groundwork for computational algebra and other basic topics such as simplicial such as images and sounds, to enhance and gives the main properties of ideals in groups, Postnikov towers, and bisimplicial the reader’s understanding of key topics. polynomial rings and their affi ne varieties sets. The more advanced material includes 2010. 206 P., 37 ILLUS., HARDCOVER followed by a discussion on the theory homotopy limits and colimits, localization ISBN 978-0-8176-4879-4 $69.95 of normal forms and stability. The center with respect to a map and with respect to APPLIED AND NUMERICAL HARMONIC and cyclicity problems are then explored a homology theory, cosimplicial spaces, ANALYSIS in detail. Containing exercises as well as and homotopy coherence. Interspersed historical notes and algorithms, this self- throughout are many results and ideas contained text is suitable for an advanced well-known to experts, but uncollected in graduate course in the subject as well as a the literature. reference for researchers. 2010. XV, 510 P., SOFTCOVER 2009. XVI, 330 P., 4 ILLUS., SOFTCOVER ISBN: 978-3-0346-0188-7 $49.95 ISBN: 978-0-8176-4726-1 $ 59.95 MODERN BIRKHÄUSER CLASSICS
CALL: 1-800-777-4643 • FAX: (201) 348-4505 • E-MAIL: [email protected] • www.birkhauser.com Please mention promotion #014452 when ordering. Prices are valid in the Americas only and are subject to change without notice. For price and ordering information outside the Americas, please contact Birkhäuser Verlag AG by E-mail: [email protected] 014452x Notices of the American Mathematical Society November 2009
Communications 1276 1236 1282 WHAT IS…a Legendrian Knot? Joshua M. Sabloff
1285 Mathematical Sciences in 2 p 1 the FY 2010 Budget 0 Samuel M. Rankin III 1 1289 2008 Annual Survey of the Mathematical Sciences in 1268 1282 the United States (Third 1 Report) Polly Phipps, James W. Maxwell, and Colleen A. Rose Features Commentary 1236 Andrew M. Gleason (1921–2008) 1229 Opinion: The Employment Ethan D. Bolker, coordinating editor Market for Early Career Colleagues, friends, and family recall the life and work Mathematicians of the eminent American mathematician. Linda Keen and Donald E. McClure 1268 We Do Not Choose Mathematics as Our 1232 Letters to the Editor Profession, It Chooses Us: Interview with Yuri Manin Mikhail Gelfand Reflections on mathematics and the mathematical life by the prominent algebraic geometer.
1276 Book Review: The Princeton Companion to Mathematics Reviewed by Bryan Birch, Simon Donaldson, Gil Kalai, Richard Kenyon, and Angus Macintyre The Princeton Companion intends to survey most of active contemporary pure mathematics. The authors review, from their individual perspectives as specialists, and as generalists, how it performs this task. Notices Departments of the American Mathematical Society About the Cover ...... 1301 Mathematics People ...... 1302 EDITOR: Andy Magid Guionnet Awarded 2009 Loève Prize, Car and Parrinello Awarded ASSOCIATE EDITORS: 2009 Dirac Medal, MAA Awards Presented, Kutzko Receives Daniel Biss, Susanne C. Brenner, Bill Casselman (Graphics Editor), Robert J. Daverman, Susan Presidential Award, 2009 Ford Foundation Diversity Fellowships Friedlander, Robion Kirby, Steven G. Krantz, Awarded, 2009 International Mathematical Olympiad, Brousseau Lisette de Pillis, Peter Sarnak, Mark Saul, John Swallow, Lisa Traynor Awarded Felix Klein Medal. SENIOR WRITER and DEPUTY EDITOR: Mathematics Opportunities ...... 1305 Allyn Jackson American Mathematical Society Centennial Fellowships, AMS MANAGING EDITOR: Sandra Frost Congressional Fellowship, Research Experiences for Undergraduates, CONTRIBUTING WRITER: Elaine Kehoe NSF Graduate Research Fellowships, Research Opportunities for U.S. PRODUCTION ASSISTANT: Muriel Toupin Graduate Students in Asia and Australia, Jefferson Science Fellows PRODUCTION: Kyle Antonevich, Teresa Levy, Program, AAUW Educational Foundation Fellowships and Grants, Stephen Moye, Erin Murphy, Lori Nero, Karen Ouellette, Donna Salter, Deborah Smith, Peter Sykes, NRC-Ford Foundation Diversity Fellowships, News from the Institut Jennifer Wright-Sharp, Patricia Zinni Mittag-Leffler, News from the CRM. ADVERTISING SALES: Anne Newcomb For Your Information ...... 1309 SUBSCRIPTION INFORMATION: Subscription prices for Volume 57 (2010) are US$488 list; US$390 insti- Morgan Appointed Director of Simons Center at Stony Brook. tutional member; US$293 individual member. (The Inside the AMS ...... 1310 subscription price for members is included in the annual dues.) A late charge of 10% of the subscrip- AMS Sponsors NExT Fellows, From the AMS Public Awareness Office, tion price will be imposed upon orders received from nonmembers after January 1 of the subscription year. Photograph of Atle Selberg. Add for postage: Surface delivery outside the United Reference and Book List ...... 1312 States and India—US$27; in India—US$40; expedited delivery to destinations in North America—US$35; elsewhere—US$120. Subscriptions and orders for AMS Backlog of Mathematics Research Journals ...... 1316 publications should be addressed to the American Mathematical Society, P.O. Box 845904, Boston, MA Mathematics Calendar ...... 1358 02284-5904 USA. All orders must be prepaid. ADVERTISING: Notices publishes situations wanted New Publications Offered by the AMS ...... 1362 and classified advertising, and display advertising for publishers and academic or scientific organizations. Advertising material or questions may be sent to Classified Advertisements ...... 1373 [email protected] (classified ads) or notices-ads@ ams.org (display ads). Meetings and Conferences of the AMS ...... 1384 SUBMISSIONS: Articles and letters may be sent to the editor by email at [email protected], by fax San Francisco Meeting Registration Forms ...... 1397 at 405-325-5765, or by postal mail at Department of Mathematics, 601 Elm, PHSC 423, University of Okla- Meetings and Conferences Table of Contents ...... 1399 homa, Norman, OK 73019-0001. Email is preferred. Correspondence with the managing editor may be sent to [email protected]. For more information, see the section “Reference and Book List”. NOTICES ON THE AMS WEBSITE: Supported by the AMS membership, most of this publication is freely From the available electronically through the AMS website, the Society’s resource for delivering electronic prod- ucts and services. Use the URL http://www.ams. AMS Secretary org/notices/ to access the Notices on the website. [Notices of the American Mathematical Society (ISSN 0002- 9920) is published monthly except bimonthly in June/July Bylaws of the American Mathematical Society ...... 1320 by the American Mathematical Society at 201 Charles Street, Providence, RI 02904-2294 USA, GST No. 12189 2046 RT****. Reciprocity Agreements ...... 1346 Periodicals postage paid at Providence, RI, and additional mailing offices. POSTMASTER: Send address change notices to Notices of the American Mathematical Society, P.O. Box 6248, Providence, RI 02940-6248 USA.] Publication here of the Society’s street address and the other information in brackets above is a technical requirement of the U.S. Postal Service. Tel: 401-455-4000, email: [email protected]. © Copyright 2009 by the American Mathematical Society. All rights reserved. Printed in the United States of America.The paper used in this journal is acid-free and falls within the guidelines established to ensure permanence and durability.
Opinions expressed in signed Notices articles are those of the authors and do not necessarily reflect opinions of the editors or policies of the American Mathematical Society. Opinion
takes several years for state tax revenues to return to The Employment pre-recession levels. The Task Force report makes several recommendations related to employment in business, industry, and govern- Market for Early Career ment. In particular, it recommends that graduate students include some course work in mathematical areas that are Mathematicians recognized in nonacademic settings as being applicable. In January 2009, motivated by concern about the impact It also recommends that departments (i) encourage their of current economic conditions on the job market for re- students to broaden their employment options and (ii) cent Ph.D.s, AMS President James Glimm appointed a Task improve their advising resources related to nonacademic Force on Employment Prospects chaired by Linda Keen and employment. The Society will make a concerted effort to including broad representation of the mathematics com- provide information resources to Ph.D.-granting depart- munity. The goal of the task force was to provide infor- ments to help them with career advising. mation and recommendations to departments, individual While the majority of new Ph.D.s has always taken job seekers, and professional societies to help them with employment in the academic sector, there have been two challenges of the difficult market. In mid-May, the Task significant changes in patterns of employment since the Force reported to the Society’s Executive Committee and early 1990s. Trustees, and the report was then sent to all Ph.D.-granting First, there are many more postdoctoral and named mathematical sciences departments in the U.S. instructorship positions today than there were then. It We encourage everyone to review the Task Force report, is now common for a new Ph.D.’s first position to be a available at http://www.ams.org/prof-services/ postdoctoral position. Further, as soon as the downturn in academic recruitment this past year was recognized, the employtaskforce/ETF.html. National Science Foundation responded with a big increase Results of the 2009 Annual Survey are not yet final, but in postdoctoral support for 2009. it seems that the number of people receiving doctoral de- Second, the proportion of new Ph.D.s taking nonaca- grees will be close to last year’s number, 1,378. Excluding demic employment has increased substantially. Before doctoral degrees from statistics departments, there were 1995 the proportion of new Ph.D.s taking nonacademic 1,061 new Ph.D.s in 2007–08. Analysis of a quick survey employment was typically 16% to 18%. In contrast, in all of representative departments in February 2009 forecasts three of the years 2006, 2007, and 2008, the proportion that the total number of academic positions available for taking nonacademic employment exceeded 24%. these new doctoral candidates is 918, down about 39% Both of these changes mean that today’s job market is from the previous year. The responses also indicate that more flexible and has more dimensions that are capable these students are applying primarily for academic posi- of adapting to economic conditions. This is important tions. Typically (based on Annual Survey reports) more because, through these times, we want to sustain vibrant than 10% of new doctoral recipients take positions outside graduate programs to nurture the best young talent, with the U.S., and about 75% of those employed in the U.S. take reasonable assurance of rewarding career opportunities academic positions. when the new graduates enter the job market. It is important to note that there are young mathema- ticians exiting postdoctoral and instructorship positions —Linda Keen who are also candidates for the estimated 918 positions AMS Associate Treasurer and Chair being recruited. To put the count of 918 in perspective, the Employment Prospects Task Force 2007 Annual Survey reported 1,543 academic positions open to new mathematics doctoral recipients in 2006–07. —Donald E. McClure Academic recruitment has been severely affected by the AMS Executive Director economic crisis. The profession has experienced difficult employment markets in previous recessions and earlier task forces have helped the community weather those crises. In the mid-1990s, the Society adopted a statement of supportive practices for the employment of young mathematicians. The policy statement was revisited by the Council in 2007 and can be found at http://www. ams.org/secretary/supportivepractices.html. The practices are designed to increase as much as possible the stability of academic jobs in an unstable market. The last prolonged period of a difficult job market was 1991 to 1996. We should be prepared for the possibility of another prolonged downturn now simply because it
NOVEMBER 2009 NOTICES OF THE AMS 1229 “ME, MYSELF & WEBASSIGN.”
WELCOME TO THE NEW ECONOMICS OF TEACHING. The new economics of teaching will test the resourcefulness of every instructor and administrator, from the smallest private college to the ivy league. There will be fewer resources and even fewer assistants and supporting staff. Oh, and you’ll be expected to teach more courses to more students. Which is why, more than ever, you need WebAssign. With WebAssign, it’s like having two of you to go around. That’s because WebAssign helps you do more, more effectively, with less. Our large enrollment course features allow a single person to easily administer multiple sections. Automated features eliminate administrative tasks such as grading, so fewer graders are needed. Departments can even sell their own text materials and eLabs online, providing new revenue streams. All of which explains why WebAssign users are 3 million strong and growing. So, what will it take to survive, even thrive, in the new economics of teaching? Three things: You. Yourself. And WebAssign.
Visit www.webassign.net to sign up for your free faculty account today. DE GRUYTER 2I[EXHI+VY]XIV
Sergey KK.. KorKorovinovin / VV.. VV.. FFomichevomichev D.D. YYa.a. PPetrinaetrina QStatee ObserversObservers forfoor LinearLinear QQ StochasticStochastic DDynamicsynamics anandd Systemsms witwithh UncerUncertaintyttaaia nntty BoltzmannBoltzmann HHierarchyierarchy IX, 242 pages.gesg . HardcoverHardcover.HdH d . 2009.2009 XIII, XIII 295 pages. pages Hardcover.HHaardcover. RRP € [D] 89.95 / *US$ 126.00 RRP € [D] 99.95 / *US$SS$ 140.0140.000 ISBN 978-3-11-021812-1 ISBN 978-3-11-020804-74-7 de Gruyter Expositions in Mathematics 51 de Gruyter Expositions in Mathematics 48 to be published September 2009 Vladimir Anashin / Andrei Khrennikov Helmut Strade QApplied Algebraic Dynamics QSimple Lie Algebras over Fields of 2009. XXIV, 533 pages. Hardcover. Positive Characteristic RRP € [D] 99.95 / *US$ 140.00 II. Classifying the Absolute Toral Rank ISBN 978-3-11-020300-4 de Gruyter Expositions in Mathematics 49 Two Case VI, 385 pages. Hardcover. Vladimir V. Vasin / Ivan I. Eremin RRP € [D] 128.00 / *US$ 148.00 ISBN 978-3-11-019701-3 QOperators and Iterative Processes de Gruyter Expositions in Mathematics 42 of Fejér Type to be published September 2009 Theory and Applications 2009. XIV, 155 pages. Hardcover. RRP € [D] 99.95 / *US$ 140.00 ISBN 978-3-11-021818-3 Inverse and III-Posed Problems Series
An increasing number of de Gruyter publications are now also available as eBooks. For more information, please see www.degruyter.com/ebooks
*for orders placed in North America. Prices are subject to change. www.degruyter.com Prices do not include postage and handling. Letters to the Editor
Deligne/Zimin Initiative to preserving the Russian mathematical that our paper’s result was not new, Support Young Mathematicians school. and, worse yet, that he believes that As Russian mathematicians and We are deeply grateful to Pierre period three does not imply chaos!!! members of the American Mathe- Deligne for his noble initiative, which Ruelle seems to be aware of only the matical Society, the undersigned feel has already done a great deal to help first of our three conclusions: it is their pleasant duty to inform young Russian mathematicians to (I) (All Periods Exist.) For each positive integer k, there is a point fellow members via the Notices of a survive without giving up research. of period k. The Sharkovsky (1964) remarkable philanthropic initiative This initiative is a continuation of Theorem stated by Ruelle is indeed supporting young Russian research the generous international solidar- ity to Russian scientists which the a more general theorem than part (I), mathematicians undertaken by Pierre American Mathematical Society im- but our theorem does not stop here. Deligne and continued by the Russian plemented in the 1990s and is con- (II) (Mixing.) There is an uncount- philantropist D. B. Zimin. In 2004 tinuing today. able set S ⊂ J which satisfies: For Deligne wrote in a letter to one of us: We are extremely grateful to Dmi- every p , q ∈ S with p = q , “I just won the Balzan Prize. Half the try Zimin for his chivalrous support | n − n | = prize amount is for me to spend on lim infn →∞ F (p ) F (q ) 0, of Russian fundamental science, in a research project agreed to by the particular mathematics. D. B. Zimin a n d Balzan Foundation. I believe that one is one of the very few Russian busi- lim sup |F n (p ) − F n (q )| > 0. of the most useful ways to spend this n →∞ nessmen contributing money for the money (500,000 Swiss francs) would (III) (Divergence from Periodic Or- support of Russian mathematics. be for the benefit of the struggling bits.) The above set S can be chosen Russian school of mathematics.” so that in addition, (1) is satisfied for —Yu. Ilyashenko each p ∈ S and each periodic point Together with several collabora- Moscow Independent University, q ∈ J . tors of the Independent University Steklov Math. Institute of Moscow, Deligne implemented this Dyson’s elegant statement refers to (III). There is also a large literature idea by organizing the “Pierre Deligne —A. Sossinsky that recognizes (II) and refers to it as Contest for Young Mathematicians”, Moscow Independent University, “Chaos in the sense of Li and Yorke” a yearly individual competition of Institute of Mechanics research projects for young Russian, or “Li-Yorke chaos”. We support Dy- son’s view that the definition of chaos Ukrainian, and Byelorus mathemati- —A. Vershik cians, whose laureates are granted depends on the context; that is, it St. Petersburg Branch of Steklov depends on what you know about a a sizable three-year fellowship. To- Math. Institute gether with Victor Vassiliev, Deligne system or what you want to prove. There is a rich tradition of chaos in heads the jury of the contest, which (Received February 20, 2009) topology, where exponential diver- is run along lines similar to those gence of trajectories is not a useful used by the American NSF. Since Response to David Ruelle concept. 2005 Deligne comes to Moscow each Tien-Yien Li and I were delighted I fear that Ruelle’s version of chaos December to supervise the final de- to read Freeman Dyson’s beautiful would leave mathematicians without liberations. During the past four article in the February Notices that a method of dealing with the simplest years, sixteen fellowships have been refers to our paper “Period three im- situations when he asserts “chaos oc- granted, and the money coming from plies chaos” as “one of the immortal curs if the exponential divergence is the Balzan foundation (having in gems in the literature of mathemat- present for long-term behavior, i.e., mind the future payments to recent ics”. We prove one theorem in the on an attractor.” One of the most winners) has been entirely exhausted, paper, and Dyson reports on what famous examples of chaos is the but Deligne intends to continue the we may assume is his favorite part map α − x2 which has a chaotic at- contest by using his personal funds. of it. Assume there is a continuous tractor for a set of α having positive In 2006 the Russian philanthropic function F from an interval J to itself, measure (M. Jacobson). But there foundation “Dynasty” has organized and—to be brief—we assume there is also an open dense set in which the “D. B. Zimin Dynasty Foundation is a “period three” point a ∈ J ; that there is an attracting periodic orbit. Contest for Young Mathematicians” is, F (F (F (a ))) = a = F (a ). Dyson Since it can be shown that there with the same jury and according to simply wrote “An orbit is defined to is only one attractor for this map, the same rules. According to the cor- be chaotic, in this context [emphasis such an α has no chaotic attractor. If responding agreement, this contest added], if it diverges from all periodic Ruelle (who is a superb mathemati- will run for two more years, after orbits.” cian) can prove there is a chaotic at- which it may be continued. The con- But then the June Notices came tractor for α = 3 /2, then I will declare tinuation of these two contests will with a Letter to the Editor by David his definition usable! He simply needs undoubtedly play a crucial role in Ruelle that made two assertions, to prove an infinite set of lemmas:
1232 NOTICES OF THE AMS VOLUME 56, NUMBER 10 Letters to the Editor for each positive integer N, there is Yorke prove that (for suitable maps an alternative perspective of nonneg- no periodic attractor of period N. I of the interval) the existence of a pe- ligible value for discussing the educa- make the following conjecture in the riodic point of period three implies tional opportunities that have arisen spirit of Gödel. a complicated situation reminiscent from the availability of computers. Conjecture. The map 3/2 − x2 has of the homoclinic tangle discovered As will immediately become evident, a chaotic attractor and there is no by Poincaré in his study of the three- what follows is primarily oriented proof of that fact using the usual body problem. Clearly, period three toward instruction through so-called axioms of set theory. implies Li-Yorke chaos. But when “honours” undergraduate calculus I believe that this impossibility of chaos in the solar system is discussed classes, assuming (perhaps some- proof would apply to the large class (Wisdom, Laskar, …), or other ap- what unrealistically) that, in such an of smooth dynamical systems that plications to the real world, another environment, an uncompromising alternate densely between chaotic concept of chaos is used, which refers approach to the subject is permitted. attractors and periodic attractors to “chaotic” behavior for initial con- Most of the relevant memories as a parameter is varied. Ruelle says ditions in a set of positive volume in have their origin in the mathemat- “chaos” should apply only to attrac- the (phase) space where the dynamics ics department of the University of tors. (There are proofs for certain takes place. This condition (rather Capetown and date back to 1934. The very special cases like 2 − x2 .) than uncountability) must be im- offerings in that department included Attractor basins can be fractal— posed because sets of measure zero courses in “applied mathematics”. due to the presence of chaos on an are physically invisible in the present There, you learned to formulate sim- uncountable compact invariant set situation. There has been a semantic ple settings from classical mechanics on the basin boundary. He would shift and, if the map x a x(1 − x) in terms of differential equations, a leave us with no term for such sets!! of [0, 1] to itself has, for some value pursuit leading to inspiring enlight- After Ruelle said that chaos means of a , an attracting orbit of period 3, enment about the true significance “neighboring trajectories diverge ex- most people would not call this map of calculus. In stark contrast to this, ponentially,” he asserted that period chaotic (this is because the orbit of the introductory courses in formal three does not imply chaos! Here is Lebesgue almost every point tends calculus were as discouraging then a compromise. We can define chaos to the nonchaotic attracting period 3 as they are now. in this context as “exponential di- orbit). This being said, the map under In this last context, present educa- vergence for all trajectories on some discussion not only exhibits Li-Yorke tional practice is still operating in a uncountable compact invariant set”. chaos, but also what Yorke at some conceptual desert, being focused on In the spirit of mathematical fun, point described as transient chaos unenlightening manipulative tricks I propose the following conjecture (this is only transient, but visible on of formal differentiation and integra- using this concept. a set of positive Lebesgue measure). tion, the life of many of these being Conjecture. Assume F is a con- As to the very interesting problem supported by the suppression of tinuously differentiable map from an of logical decidability raised by Yorke complex numbers,1 and the need interval J to itself. Then period three (to decide if a point belongs to a set of for most of them having been made implies chaos. physical interest in parameter space), obsolete by the computer. This could be facet (IV) of the im- I think it has to be reinterpreted in In the context of numerical cal- proved theorem. And people could case one has physical applications culus, educational neglect was jus- still define chaos as they please. in mind. This is because physical tifiable in view of the absurdly large parameters have an interval of un- requirements of time and labor. —James Yorke certainty attached to them. One is (Memories dating back to 1942 are of University of Maryland thus led to perturbation problems spending hundreds of days calculat- [email protected] in differentiable dynamics, and Jim ing military firing tables with the help Yorke knows that those are usually of a Friden desk calculator.) Nowa- (Received July 10, 2009) very hard. days, computer-assisted pursuit of numerical calculus could easily be Reply to Yorke —David Ruelle made far more enlightening than the “Period three implies chaos” by Li IHES standard introduction to calculus. and Yorke is a beautiful paper, and [email protected] Unfortunately, even the modern much quoted, including by myself. mathematical computer software is This paper is at the origin of the use (Received July 15, 2009) mostly oriented toward applications of the word chaos in what has become in the precomputer style. In any case, “chaos theory”, a multidisciplinary Calculus and Computers in the current products are much too endeavor involving mathematical, Mathematical Education big for student use. numerical, and physical techniques, It could well be argued that too 1 The novelist William Styron, whose imagi- that has contributed among other much has already been written about nation is of unsurpassable breadth and things to the explanation of the this topic. However, it is at least analytic depth, confesses in one of his short “Kirkwood gaps” in the rings of aster- conceivable that some of this hyper essays that he flunked “trigonometry” four oids between Mars and Jupiter. Li and senior citizen’s memories might yield times in succession.
NOVEMBER 2009 NOTICES OF THE AMS 1233 Letters to the Editor
The educational potential of com- puters can be illustrated most easily by elementary examples from classi- cal mechanics. Construct, by simple numerical integration, orbits like that of the earth around the sun, the path of a projectile—in a vacuum or affected by velocity-dependent air resistance. More generally, explore paths generated when the accelera- tion depends in various ways on posi- tion, velocity, time, and path length from the origin. Actually, in amateurish ways, I have written quite a number of old- fashioned c-programs for such pur- poses. It takes my low-level computer less than a second to produce an image file for a typical orbit. Sig- nificant additional benefits come from observing the effects of varying the relevant parameters and the er- rors resulting from large integration steps. Instead of the annual appearance In celebration of our twenty-fifth year, Budapest Semesters in of “new” calculus texts, which are Mathematics will host a gala reunion and mathematics conference often degraded in response to the disastrous backlash from the mid- in Budapest for BSM alumni, mathematicians who wrote letters of twentieth century’s “New Math”, recommendation for them and those people who have supported the mathematical education needs com- puter software enabling students to program over the past quarter century. create simple programs for tasks like the above from recipes they can Visit www.bsmath.hu for more information. write in a computer language as close as possible to ordinary text. Surely, development of such a language and associated compilers would be a re- warding project.
—Gerhard Hochschild University of California, Berkeley [email protected]
(Received July 19, 2009)
Editor’s Note: In my Letter from the Editor “My First Forty” (June/July, 2009 Notices), I referred to a cone model for mathematical interests, which was attributed to an anony- mous colleague. That colleague was Donald I. Knutson. Don, as my col- umn indicated, had moved on from academic mathematics, but retained his connections with the mathemati- cal community, and I wondered if he would see and recognize the refer- ence. Don passed away in July. —Andy Magid
1234 NOTICES OF THE AMS VOLUME 56, NUMBER 10 The AMS Epsilon Fund for Young Scholars
HelpHelp bringbring THETHE WORLDWORLD ofof mathematicsmathematics intointo thethe liveslives ofof youngyoung people.people.
Whether they become Please give generously. scientists, engineers, or Learn about giving opportunities and estate planning entrepreneurs, young people www.ams.org/giving-to-ams with mathematical talent need to be nurtured. Income from this Contact the AMS Development Office fund supports the Young Scholars 1.800.321.4267 (U.S. and Canada) or Program, which provides grants to 1.401.455.4000 summer programs for talented high (worldwide) school students. email: [email protected] 09/04 Andrew M. Gleason 1921–2008 Ethan D. Bolker, coordinating editor
ndrew M. Gleason recalled to active duty during the Korean War and was one of the retired from the navy in 1966 with the rank of quiet giants of commander. twentieth-century Gleason went to Harvard in 1946 as a Junior A mathematics, the Fellow of the Society of Fellows. He was appointed consummate professor dedi- assistant professor of mathematics in 1950 and as- cated to scholarship, teaching, sociate professor in 1953, when Harvard awarded and service in equal measure. him his highest degree, an honorary A.M. He be- He was too modest to write came a full professor in 1957. From 1969 until his an autobiography. The folder retirement in 1992 he was the Hollis Professor of marked “memoir” in his files Mathematicks and Natural Philosophy. contains just a few outdated copies of his impressive CV. But Throughout his time at Harvard he maintained his association with the Society of Fellows, serving Photo by Bachrach. those of us lucky to have known Andrew M. Gleason him will offer in the essays that as a Senior Fellow for nineteen years and as its follow some reflections on his chairman from 1989 to 1996. mathematics, his influence, and his personality: In 1952 the American Association for the Ad- codebreaking during the Second World War; his vancement of Science awarded Gleason the New- role in solving Hilbert’s Fifth Problem; Gleason’s comb Cleveland Prize for his work on Hilbert's Theorem in quantum mechanics; contributions to Fifth Problem. He was elected to the American the study of operator algebras; work in discrete Academy of Arts and Sciences in 1956, to the mathematics; concern for mathematics education National Academy of Science in 1966, and to the as a teacher, author, and reformer; and his service American Philosophical Society in 1977. to the profession. From 1959 to 1964 he chaired the Advisory Vita Board of the School Mathematics Study Group; he was cochairman of the Cambridge Conference Andrew Mattei Gleason was born November 4, on School Mathematics in 1963 and a member of 1921, in Fresno, California, to Eleanor Theodolinda the Mathematical Sciences Education Board from Mattei and Henry Allan Gleason. He died in Cam- 1985 to 1989. bridge, Massachusetts, on October 17, 2008. He grew up in Bronxville, New York, and was Gleason delivered the Mathematical Association graduated from Roosevelt High School, Yonkers, of America’s Hedrick Lectures in 1962. He was in 1938. He received his B.S. from Yale in 1942. president of the American Mathematical Society While at Yale he placed in the top five in the Put- in 1981–82 and served on the Council of Scientific nam Mathematical Competition in 1940, 1941, Society Presidents 1980–83. He was chairman of and 1942, and was the Putnam Fellowship winner the organizing committee and president of the in 1940. International Congress of Mathematicians, Berke- In 1942 he enlisted in the navy, where he served ley, 1986. as a cryptanalyst until the end of the war. He was On January 26, 1959, he married Jean Berko, who is now professor emerita of psychology at Ethan Bolker is professor of mathematics and computer Boston University. They have three daughters: science at the University of Massachusetts, Boston. His Katherine, born in 1960; Pamela, born in 1961; and email address is [email protected]. Cynthia, born in 1963.
1236 NOTICES OF THE AMS VOLUME 56, NUMBER 10 He told me he liked it better when his students Ethan D. Bolker found topics than when he had to suggest one. 50+ Years… In the spring of 1964 I thought my thesis was done. I found the central theorem in February, I first met Andy in 1956, when he taught sopho- wrote it up, and sent it off to Andy. When I tele- more abstract algebra at nine in the morning (even phoned to ask what he thought of it, he asked if I on fall football Saturdays). He agreed to let me needed my degree in hand to accept my new job at audit his course and submit homework papers. Bryn Mawr. When I said “no” he said, “Work on it It took me several years and two graduate another year.” I know that if I’d said “yes” he’d have courses to realize how deceptive a lecturer he accepted what I’d written. But then I’d have had a was. The proofs scrolled by. You could read his thesis with just a theorem. The central mechanism writing. He literally dotted his i’s and crossed his for producing examples and counterexamples t’s. I know; I recently found the purple dittoed showing the theorem was sharp came later that handwritten linear algebra notes he wrote for us spring. Moreover, I think the idea was his, although in the spring of 1957. Strangely, those notes were I didn’t give him due credit then. So Andy was right sometimes subtly hard to study from. Now I know to care about the quality of the work and to ask why. He took such care preparing and searched for the extra year. The thesis was better and better so hard for economy and elegance that the rough written and ready for publication soon after the places were made plain. The hard parts didn’t seem degree was awarded—and my year-old daughter so in the seamless flow, so it could be hard to find got to go to my commencement. (He and Jean sent the crux of a proof. George Mackey once told me her a Raggedy Andy when she was born.) it was good that one of his teachers (I choose to Eighteen years later Andy employed her as a forget who) was disorganized because it forced painter. That’s how I learned how he applied logic him (George) to master the material for himself. outside mathematics. She saw him eating breakfast What Andy’s style proves is that disorganization hurriedly one day—peanut butter spread on bread may be sufficient but is not necessary. right out of the freezer. He said the nutritional Andy was the reader for my undergraduate value was the same. thesis on multiplicity theory for eigenvalues of I was telling Andy once about a bijection I’d bounded self-adjoint operators on Hilbert space. found for counting permutations with particular In those days (perhaps still) each senior was set a cycle structures. He was interested and had some special exam on the thesis topic. One question on further ideas and references. When he suggested mine asked me to apply my theorems to the mul- a joint paper [BG] I jumped at the chance to earn tiplication operator g f g for g in a Hilbert space a Gleason number of 1. When I wanted to say L2(μ ) . The function f was a cubic polynomial, and, something numerical about the asymptotics which μ was Lebesgue measure on [0, 2] with an extra called for Γ (1/3), I looked up nearby values in a atom of weight 1 at 1. Fortunately, I’d thought table and interpolated. In response to a draft I sent of putting an example like that in the thesis, so I Andy he wrote back: knew how to do the problem. What mattered was There is one not terribly important where the cubic was 1 : 1, 2 : 1, or 3 : 1. But my thing where I can’t check you. You answer seemed not to need the atom at 1. When obtain I asked Andy later about that, he gently pointed √ out how he’d carefully constructed his cubic with 31/6eπ 3/18 ≈ 0.6057624. a local maximum at 1, so there was a set of posi- Γ (1/3) tive measure on which the cubic was 2 : 1 . I missed that, because when finding the critical points I With my hand calculator I found calculated 2 × 3 = 12. He graciously said only that Γ (1/3) ≈ 2.678938543 (of which at I’d spoiled a good problem. least 8 figures ought to be right) and When I chose Andy as a doctoral thesis advisor I hence the above number comes out had neither a topic nor a direction. I thought I was 0.6065193. Hand calculators make an analyst and thought he was one and knew him, substantial errors in exponentials, so I so I opted to try to work with him. I struggled with really don’t know which is right. p -adic groups for a year, going nowhere. But I did Andy’s “With my hand calculator I found …” is a have one idea about a way I might prove the Radon- little disingenuous. There’s no Γ key on the calcula- Nikodym theorem for measures on lattices like tor—he programmed the computation. Today Math- those that come up in quantum mechanics. The ematica quickly finds Γ (1/3) ≈ 2.67893853471 idea didn’t work, but I did manage to say some new with twelve significant figures, so Andy’s intuition things about measures on Boolean algebras even about eight was right. while the generalizations to lattices eluded me. Over the years I had lunch with Andy often, Andy encouraged that play and said after a while sampling Chinese, Vietnamese, and Indian food that what I was working on was in fact my thesis. in Cambridge and nearby towns. Over lunch once,
NOVEMBER 2009 NOTICES OF THE AMS 1237 thinking about geometry, he told me he’d give a wrote this paper in part just so he could use that lot for “one good look at the fourth dimension.” word. Any mathematical topic, at any level of sophistica- Andy loved to compute too. About his construc- tion, was fair game. I’d tell him why I thought the tion of the triskaidecagon he writes: convention for writing fractions was upside down; After considerable computation we he’d tell me he was thinking about the foundations obtain of geometry or the Riemann hypothesis. Often in the past year I’ve wanted to ask him about some- 2π √ = − thing that came up in my teaching or while editing 12 cos 13 1 13 √ √ these essays and was stunned anew by the realiza- √ 1 3( 13 + 1) tion that I couldn’t ever do that again. + 104 − 8 13 cos arctan √ . 3 7 − 13 Solving Cubics by Trisecting Angles Mathematica confirms this numerically to one hun- Andy was a problem solver more than a theory dred decimal places. I don’t think there’s software builder. He liked hard problems, like Hilbert's yet that would find the result in this form. Fifth, about which you can read more below. Others I first explicitly encountered Andy’s passion for less deep interested him no less. I think he even precision of expression when in graduate school he enjoyed the problems in spherical trigonometry told me that the proper way to read “101” aloud is and navigation on the exams he took to maintain “one hundred one” without the “and”. That passion his naval commission while in the reserves. stayed with him to the end: when he was admitted Once he set out to discover which regular poly- to the hospital and asked to rate his pain on a scale gons you could construct if you add the ability to of 1 to 10, he’s reputed to have said first, “That’s trisect angles to the tasks available with Euclidean a terrible scale to use…” straightedge and compass. His answer, in “Angle Andy told me once that he knew he wanted to trisection, the heptagon, and the triskaidecagon” be a mathematician just as soon as he outgrew [G1]: just the n -gons for which the prime factor- wanting to be a fireman.2 He succeeded. r s ization of n is of the form 2 3 p1 p2 · · · pk, where the pi are distinct primes greater than 3, each of Stories the form 2t 3u + 1. His proof depends on the ob- In the essays that follow you’ll find more about servation that these are precisely the primes for Andy’s mathematics and more stories. I’ll close which the cyclotomic field has degree 2t 3u and so here by quoting some that aren’t included there. can be constructed by a sequence of adjunctions Persi Diaconis writes about Andy’s legendary of roots of quadratics and of cubics, all of whose speed: roots are real. Andy was an (unofficial) thesis advisor. You solve such a cubic by trisecting an angle, This was illuminating and depressing. because when the cubic has three real roots (the My thesis was in analytic number the- casus irreducibilis), finding them with Cardano’s ory, and I would meet with Andy once formula requires extracting the cube root of a a week. A lot of the work was techni- complex number. To do that you trisect its polar cal, improving a power of a logarithm. angle and find the cube root of the modulus. For I remember several times coming in the particular cubics that come up in the construc- with my current best estimates after tion of these regular polygons, the modulus is the weeks of work. Andy glanced at these 3/2 power of a known quantity, so a square root and said, “I see how you got this, but computes the cube root. the right answer is probably . . . ” I was Andy’s solution to that problem allowed him to shocked, and it turns out he was right. indulge several of his passions. The paper is full of historical references, including the corollary Jill Mesirov describes a similar experience: that the ability to trisect angles doesn’t help you duplicate the cube. That requires solving the other I remember quite clearly the first time kind of cubic. He cites (among others) Plemelj, that I met Andy Gleason. I was working Fermat, Euler, and Tropfke and concludes with a at IDA in Princeton at the time, and quote from Gauss’s Disquisitiones Arithmeticae.1 Andy was a member of the Focus Ad- The “triskaidecagon” in the title, where most visory Committee. The committee met of us would be satisfied with “13-gon”, exempli- twice a year to review the work being fies Andy’s love of language. He had lots of ideas done, and I had been asked to give a he never got around to publishing. I wonder if he 2Perhaps I’m misremembering. His wife, Jean Berko Glea- son, said, “He loved looking at the stars. He knew every 1 Andy seems to have missed Viète’s construction [V]. My star in the sky and could tell you their names. Early on, thanks to Robin Hartshorne for this reference and for he was planning on becoming an astronomer, but then he some clarifying comments on this section. learned how cold it was to sit outside and watch.”
1238 NOTICES OF THE AMS VOLUME 56, NUMBER 10 presentation of some work on speech I had done jointly with Melvin Sweet. I John Burroughs, David worked hard on the presentation, and Lieberman, Jim Reeds designed it to give some idea of how we were led step by step to the answer. The Secret Life of Andy Gleason The groundwork was laid for revealing Andrew Gleason was a senior at Yale on Decem- each insight we had gained, but in such ber 7, 1941, when the Japanese bombed Pearl a way that it should come as a surprise Harbor. He applied for a commission in the navy; to the audience and thus make them upon his graduation the following June he reported appreciate the sense of discovery we to their crypanalytic service: the Office of Chief of had enjoyed as we did the research and Naval Operations (OPNAV), 20th Division of the solved the puzzle ourselves. Needless Office of Naval Communications, G Section, Com- to say, I hadn’t counted on Andy’s “in- munications Security (OP-20-G). There he joined a famous” speed! group of eight to ten mathematicians working to crack enemy codes. The group included Robert E. Twice I carefully led the audience Greenwood and Marshall Hall Jr., one of Andy’s through some twisted trail to end with Yale professors. The National Archives contains the question, “So, what do you think declassified documents describing much of the we tried next?” Twice, before the words wartime work of OP-20-G. We found there a set had begun to leave my mouth, Andy called Enigma Studies [ES], which describes the was saying, “Oh, I see, then you want group’s contributions to the attack on the German to do this, this, and this, after which Enigma machine. These documents showcase that you’ll observe that …” While I appreci- part of Gleason’s work which we will describe. ated his quick grasp of the issues, I was The Enigma ciphers presented diverse and beginning to see my carefully laid plans rapidly mutating challenges. The Germans used falling by the wayside. Therefore, as I several different models of the Enigma machine. was reaching the next crescendo, and I Each day they changed the keys on each of per- saw Andy leaning forward in his seat, haps a hundred or so different communications I turned around, pointed my finger at networks. Three of those networks were “Shark”, him and shouted, “You, be quiet!” He used by the Atlantic U-boat fleet; “Sunfish”, by smiled, and left me to lead the rest of blockade runners and the German U-boats in the the crowd through the revelations. Pacific; and “Seahorse”, for traffic between German navy HQ and their attaché in Tokyo. Breaking one Finally, Victor Manjarrez, a graduate school system or one day’s traffic provided only clues contemporary of mine, offers this summary: towards breaking the others, clues which were sometimes misleading. Several times during the In the late fifties and early sixties I took war the Germans made significant modifications graduate algebra and a reading course to the Enigma. from Andrew Gleason. Whenever we OP-20-G worked on Enigma in collaboration spoke at meetings in later years I was with the British cryptanalysts at the Government struck by how unfailingly polite he Code and Cypher School at Bletchley Park, in par- always was. The English word “po- ticular, with “Hut 8”, whose most famous member lite” (marked by consideration, tact, or courtesy) evokes the French “politesse” (good breeding, civility), and the Greek David Lieberman and Jim Reeds are research staff mem- “polites” (citizen—of the mathematics bers at the IDA Center for Communications Research in community and the world), all of which Princeton, NJ. Andrew Gleason exemplified to the full- John Burroughs is an adjunct research staff member est. This, of course, in addition to his there. amazing erudition. Their email addresses are [email protected], [email protected], and References [email protected]. [BG] Ethan D. Bolker and Andrew M. Gleason, Count- We owe special thanks to Colin Burke; to Ellen J. L. Knight, ing permutations, J. Combin. Theory Ser. A 29 (1980), Certified NSA Archivist; and to Rene Stein, librarian, Na- no. 2, 236–242. MR583962 (82b:05009). tional Cryptologic Museum, for guiding us and helping us [G1] A. M. Gleason, Angle trisection, the heptagon, and locate archival records of Gleason’s contributions. the triskaidecagon, Amer Math. Monthly 95 (1988), We are also grateful to R. Erskine and F. Weierud for 185–194. Addendum, p. 911. MR 90c:51023. searching through the wartime diaries of OP-20-G and the [V] François Viète, Supplementum Geometriae, 1593, history of Coral, which they had copied at the National (Opera, 1646, pp. 240–257). (See Robin Hartshorne, Archives. They located information about Gleason’s activi- Geometry: Euclid and Beyond, Springer, 2000, p. 265.) ties and forwarded many interesting items to us.
NOVEMBER 2009 NOTICES OF THE AMS 1239 was Alan Turing. Shortly was being done not by a before the U.S. entered standard naval Enigma the war the British code machine but by a sim- breakers began teaching pler version of Enigma. their American counter- In March 1943 the prob- parts about the Enigma lem was turned over to problem: the general OP-20-G. Their analysis theory and notation revealed new structure (largely due to Turing), in the traffic that al- a host of particular so- lowed them to reject lution methods, and the hypothesized sim- the design of a special- pler version of Enigma purpose electromechan- Andy Gleason in uniform—left, active duty to correctly diagnose ical computing machine, (1940s) and right, Naval Reserve (1960s). an underlying naval the “Bombe”, which car- Enigma and to specify ried out one of the steps of the arduous con- a menu (i.e., a program) for the naval Bombes so strained trial-and-error solution process. Some they could efficiently read the traffic. of these lessons the British had learned from the Reading the first-hand accounts of this work in Poles just before the war; some they had developed the Enigma Studies E-2 and E-4, one can share the during the first two years of the war. At about the excitement, the frustrations, and finally the elation time the U.S. entered the war the German navy when success was achieved. Greenwood’s “History began using a four-wheel model of the Enigma ma- of Kriegsmarine attack” (paper 6 in E-2) describes chine, against which the existing Bombes (designed how the group first discovered the working of Sea- for attacking three-wheel Enigmas) were compara- horse’s “indicators”, which told the message recipi- tively ineffective. This ended the Allies’ ability to ent how to set up his receiving Enigma machine. read Shark in a timely manner during 1942 and These were appended to the message, encrypted early 1943, with devastating consequences to Al- in a “throw-on” cipher. The standard method of lied shipping. attack required interception of a large number of In November 1942 Turing visited the U.S. to messages from the same day. A successful attack assist the Americans in mastering Bletchley’s revealed which set of four wheels was being used methods and to consult on the construction of in the machine and the setting used to encipher the American Bombes designed to attack the four- all the indicators. One could then decipher the wheel Enigma. Andrew Hodges’s biography of indicators and in turn use them to decipher all the Turing discusses Turing’s report back to Bletchley, day’s messages. in which he expresses some dismay that the Ameri- Marshall Hall noticed an interesting feature of cans really had not grasped the British work-saving the throw-on indicators. On a given day the set of algorithmic ideas, relying instead on technological first letters of encrypted indicators for Berlin-to- overkill. Nevertheless, he was impressed with the Tokyo messages was disjoint from the set of first mathematicians being hired at OP-20-G, in particu- letters for Tokyo to Berlin, but the sets changed lar “the brilliant young Yale graduate mathemati- from day to day. Gleason came up with and statis- cian, Andrew Gleason” [H, p. 243]. Hodges relates tically tested a simple hypothesis explaining this, an anecdote from this visit: namely, that the wheel settings—the unencrypted Gleason and Joe Eachus “looked after Alan form of the indicators—started with letters A–M during his period in Washington. Once Gleason for messages from Tokyo to Berlin and letters N–Z took Alan to a crowded restaurant on 18th Street. for the opposite direction. They were sitting at a table for two, just a few In “Kriegsmarine indicators” (paper 5 in E-2) inches from the next one, and talking of statistical Gleason, Greenwood, and Hall show how this struc- problems, such as that of how to best estimate the ture allowed one to derive extra equations, which total number of taxicabs in a town, having seen a led to much more efficient Bombe runs. The practi- random selection of their license numbers. The cal implication was that far fewer messages needed man at the next table was very upset by hearing to be intercepted in any one day to be able to work this technical discussion, which he took to be a out that day’s key. In August 1943 a Bombe run breach of ‘security’. … Alan said, ‘Shall we continue at Bletchley using these ideas broke the first Sea- our conversation in German?’” horse messages. This confirmed the model for the At first OP-20-G was the junior partner to Hut 8, underlying Enigma and its indicator system and but later it took the lead in attacking Seahorse. A verified the correctness of their attack programs. recent paper [EM] describes the Seahorse story in This concluded the research phase. The problem considerable detail. We draw on that account. The was then turned over to a development team. Using Hut 8 team had failed to solve Seahorse because the newly available four-wheel naval Bombes and traffic externals convinced them that encryption the special tricks discovered for Seahorse, they
1240 NOTICES OF THE AMS VOLUME 56, NUMBER 10 were able to read Seahorse sporadically in 1943 and almost continuously in 1944 and 1945, result- ing in the decryption of thousands of messages. An excellent discussion of the application of group theoretic ideas to the solution of Enigma problems is given in Greenwood, Gleason, Clifford, and Hanson’s “Enigma wiring recovery from the reading of a depth” (paper 7 in E-4, dated 19 April 1945).1 Simplifying slightly, they reduce the prob- lem of finding the four permutations performed by the Enigma wheels to one of solving a system of simultaneous equations in permutations. The right side of the t -th equation is the permutation effected by Enigma to encipher the t -th plain text character. These are assumed “known” (at least in part) by “depth reading”. The left side of the t-th equation expresses the known way the Enigma machine composes the unknown rotor wirings at time t . The paper shows how this problem can be The final page of the typescript (shown above) broken into a series of subproblems of the form concludes: “given several permutation pairs (πi , σi ), find a − The recovery of wiring from a depth can single permutation x for which π = xσ x 1 for all i i be a very interesting problem. Let the i .” Interestingly, one of these subproblems is reader surround himself with pleasant solved by exhibiting an isomorphism of a pair working conditions and try it. of labeled graphs. The explanation, unlike most technical Enigma exposition of the era, such as —as if this were a problem in pure mathematics, found in [T], is couched in standard mathematical not an urgent wartime endeavor. terminology.2 According to one modern commen- The mass production of four-wheel Bombes tator, [W], the method in this paper “is a lot more led to dramatic successes against Seahorse and powerful than the ‘Rodding’ and ‘Buttoning-up’ the other naval Enigma problems. Research then methods described by Alan Turing, mainly be- focused on Japanese machine ciphers. A major cause it allows recovery of the wiring even when achievement of this effort was the diagnosis of the the Stecker is unknown.” The exposition is both naval cipher Coral and the subsequent decryption compelling and charming. One can imagine one of Coral traffic throughout 1944–45. This required, is listening to the young Andy Gleason in some of as in Enigma, a painstaking examination of the traf- the informal asides: fic to find and explain statistical structure and the design and programming of new special purpose The reader may wonder why so much is machines. Gleason’s mathematical contributions left to the reader. A book on swimming to this work included the eponymous “Gleason strokes may be nice to read, but one crutch”, a method for estimating extreme tail must practice the strokes while actually probabilities for sums of random variables. It can in the water before one can claim to be regarded as a version of Chernoff’s theorem in be a swimmer. So if the reader desires large deviations theory, and like it, it is based on to actually possess the knowledge for the idea of exponential tilting. recovering wiring from a depth, let the As the war came to an end, Gleason partici- reader get his paper and pencils, using pated in efforts to systematically document the perhaps four colors to avoid confu- techniques developed by OP-20-G and to set up a sion in the connecting links, and go postwar curriculum for training cryptanalysts. He −1 2 to work.… Note: the writing of C C also participated in courses and seminars on both instead of C 1 is a whim of the writer. applied methods and mathematical foundations, Please humor him to this extent.… including (prophetically) one based on Pontrjagin’s new book on topological groups.3 1There is a copy of this paper on the Net in Frode Weierud’s Gleason’s codebreaking work exhibits some of Enigma Archive website, http://cryptocellar.org/ Enigma/EnigmaWiringRecovery.pdf. his characteristic traits. One is his extraordinary quickness in grasping the heart of a problem and 2 This use of group theory had to be modified in a novel and clever way to exploit the extra structure available 3 Our comments on the post-Enigma work are based on in the Seahorse indicator problem. This is described in extracts from the wartime diaries of OP-20-G and the “Kriegsmarine indicators” (paper 4 in E-4) by Gleason voluminous Coral history, which were culled out for us and Greenwood. by R. Erskine and F. Weierud.
NOVEMBER 2009 NOTICES OF THE AMS 1241 rethinking how to solve it from first principles. He There, we took various CA [cryptanalysis] courses says of himself, “I have always felt that it’s more and a bunch of math courses, the best of which crucial for me to come to grips on my terms with were taught by Andy Gleason.” Some twenty of the most elementary aspects of a subject. I haven’t these “junior mathematicians” were to become the worried much about the advanced aspects” [AAR, professional leaders of the nation’s cryptanalytic p. 88]. He was particularly effective as a crypt- effort in the 1960s and 1970s. analyst, because (in his own words) he “learned to Most of Gleason’s applied work during this do something that a lot of pure mathematicians period remains classified. In his spare time he don’t know how to do…how to do quick and dirty worked on Hilbert's Fifth Problem. He later said, mathematics. It’s an interesting knack to be able “there wasn’t a single day that I didn’t think about to make a quick appraisal as to whether there is it some of the time.… I made a real breakthrough sufficient statistical strength in a situation so that on the problem around February of 1952” [AAR, hopefully you will be able to get an answer out of p. 91]. R. A. Leibler drove Gleason to Princeton to it” [AAR, p. 87]. present a talk on his new result at the Institute for Gleason’s insight into the mathematics underly- Advanced Study. It was snowing hard. Going up ing cryptography was greater than that of most of Alexander Road they were nearly hit when their car his colleagues. Even during the war he prepared slid through a red light. Leibler told us that Gleason lectures and notes for them to help develop their came in dressed in his navy uniform. This caused understanding and working knowledge of the some initial surprise, which soon turned to excite- mathematical fundamentals. His OP-20-G lecture ment and enthusiasm. Gleason lectured all day. notes and exercises on probability and statistics After the Korean War, Gleason returned to the were later gathered up and edited into a short Harvard faculty but continued as an advisor to textbook used for years in introductory courses at the nation’s intelligence and security programs NSA and subsequently reprinted commercially [G]. for fifty years. He served on the NSA Scientific We were amused to find that one of the exercises Advisory Board from the mid-1950s through the in the book is to estimate the number of taxicabs mid-1960s, where he helped shape the NSA’s re- in a town, having seen a random selection of their sponse to the evolving challenges of the cold war. license numbers. He continued as an active recuiter for the NSA and Legend has it that, in general, the cryptanalysts for the Communications Research Division (CRD) in World War II did not think much of the math- of the Institute for Defense Analyses, often writing ematicians down the hall, who were always telling or calling the director to recommend a mathemati- them what was wrong with their counts and sug- cian who might be particularly well suited for an gesting “proper” statistics, which in the end didn’t appointment to the program. He participated in produce plain text. But Gleason was different. He NSA summer research projects (SCAMP) and in the was approachable. He listened carefully to their formative technical programs of the CRD. He was problems and ideas, and his advice was always a member of the first CRD advisory committee in useful. 1959, then served from 1976 to 1979, from 1986 After the war Gleason began his academic to 1988, and again from 2004 to 2006. career at Harvard. He was reactivated in 1950, L. P. Neuwirth, writing in 1992, recalled Glea- at the start of the Korean War, and served at the son’s participation in the CRD programs: naval facility on Nebraska Avenue. Cryptographic systems had increased in complexity, incorporat- He invariably had something useful ing digital technology that posed new challenges to contribute, and the work of others and dramatically increased the need for trained benefited enormously, either directly or mathematicians. Many of Gleason’s colleagues at indirectly (sometimes with attribution, Nebraska Avenue went on to significant careers at sometimes without) from his ideas. His the newly formed NSA and in emerging academic contributions have in many cases been areas of mathematics and computer science. These lasting, and were made in sufficient included Marshall Hall, Joe Eachus, Dick Leibler, generality and depth that they still find Oscar Rothaus, Howie Campaigne, Bill Blankinship, application 45 years later. His name and Ned Neuburg. In the spring of 1951, Lt. Cmdr. is associated with some of these no- Gleason, Lt. Cmdr. Hall, and Cmdr. Miller4 were tions… the Gleason semigroup, Gleason sent to visit mathematics departments around the weights, and the Gleason crutch.…[his] country to recruit mathematicians with advanced 22 papers in cryptologic mathematics degrees. They found sixty to eighty. One of them, span the time period from 1945 to R. Highbarger, told us, “After a few weeks at train- 1980. Their content range is wide, and ing school we located in a basement room next to includes algebra, combinatorics, analy- the kitchen grease pit at Arlington Hall Station.… sis, statistics and computer science.
4 We believe this was D. D. Miller, the semigroup theorist, Gleason did pioneering work in computational who was also an alumnus of OP-20-G. algebra in response to the emerging need for good
1242 NOTICES OF THE AMS VOLUME 56, NUMBER 10 pseudorandom number generators and efficient [GLIM] Andrew M. Gleason: Glimpses of a Life in Math- error correcting codes. In 1955 the Gleason-Marsh ematics, privately printed Festschrift, Boston, 1992. Theorem [GM]5 provided a method for generat- [H] A. Hodges, Alan Turing: The Enigma, Simon and ing irreducible polynomials of huge degree over Schuster, New York, 1983. [T] Alan Turing, Treatise on the Enigma, Kew: The GF(q). (For any d , one could generate irreducibles National Archives [of the UK], HW 25/3; photocopy d − of degree q 1. ) In 1961 in a 10-page typescript College Park: U.S. National Archives and Records [G61] Gleason described algorithms he devised for Administration, Historic Cryptologic Collection, RG factoring and irreducibility testing of univariate 457, Entry 9032, Box 201, Item 964; facsimile on the polynomials over GF(q ). Programs implement- Web: http://www.turingarchive.org/browse. ing these ideas had many years of utility. We do php/C/30. not undertake to compare Gleason’s unpublished [VGG] J. von zur Gathen and J. Gerhard, Modern approach to other methods soon to follow: Ber- Computer Algebra, 2nd ed., Cambridge Univ. Press, lekamp (1967), Zassenhaus (1969), Cantor-Zassen- 2003, pp. 396–407. [W] Frode Weierud, Enigma Archive website, http:// haus (1981). For a recent historical survey of the cryptocellar.org/Enigma. field, see, for example, [VGG]. Neuwirth concluded: This unfortunately restricted list of Richard Palais some of the ideas he had and some of the areas to which he contributed Gleason’s Contribution to the Solution of perhaps sheds a little light on his many Hilbert's Fifth Problem contributions to a very much hidden science, and gives some understanding What Is Hilbert's Fifth Problem? of the unusually high regard in which Andy Gleason is probably best known for his work he is held by the intelligence commu- contributing to the solution of Hilbert’s Fifth Prob- nity …[GLIM, pp. 65–66]. lem. We shall discuss this work below, but first we need to know just what the “Fifth Problem” is. In its References original form it asked, roughly speaking, whether a continuous group action is analytic in suitable [AAR] D. J. Albers, G. L. Alexanderson, and C. Reid, eds., More Mathematical People, Harcourt Brace Jova- coordinates. But as we shall see, the meaning has novich, Boston, 1990. changed over time. [EM] R. Erskine and P. Marks, Naval Enigma: Seahorse As Hilbert stated it in his lecture delivered be- and other Kriegsmarine cipher blunders, Cryptologia fore the International Congress of Mathematicians 28:3 (2004), 211–241. in Paris in 1900 [Hi], the Fifth Problem is linked to [ES] Enigma Studies, branch of the U.S. National Archives Sophus Lie’s theory of transformation groups [L], and Records Administration, College Park, MD, Record i.e., Lie groups acting as groups of transformations Group 38, “Radio Intelligence Publication Collection”, on manifolds. The “groups” that Lie dealt with were 6 boxes 169 through 172. really just neighborhoods of the identity in what A. M. Gleason [G] , Elementary Course in Probability for we now call a Lie group, and his group actions the Cryptanalyst, Aegean Park Press, Laguna Hills, were defined only locally, but we will ignore such CA, 1985. local versus global considerations in what follows. [G61] ———, Factorization of polynomials over finite fields with particular reference to the cyclotomic However, it was crucial to the techniques that Lie polynomials, August 1961. used that his manifolds should be analytic and [GM] A. M. Gleason and R. Marsh, A method for generat- that both the group law and the functions defining ing irreducible polynomials, May 1955. Problem 4709, the action of the group on the manifold should be MAA Monthly, December 1957, 747–748. analytic, that is, given by convergent power series. For Lie, who applied his theory to such things as 5 A rediscovery of Theorem 1 in Ore, Contributions to studying the symmetries of differential equations, the theory of finite fields, Trans. Amer. Math. Society 36 the analyticity assumptions were natural enough. (1934), 260. But Hilbert wanted to use Lie’s theory as part of 6 A nine-volume anthology of technical papers, compiled his logical foundations of geometry, and for this at the end of the war, covering all of OP-20-G’s Enigma purpose Hilbert felt that analyticity was unnatural research activities. The volume titles are E-1, Click Process; and perhaps superfluous. So Hilbert asked if analy- E-2, Indicator Attacks; E-3, Statistical Studies; E-4, Wiring ticity could be dropped in favor of mere continuity. Recovery; E-5, Bomb Computation; E-6, Duenna; E-7, Mis- cellaneous; E-8, Reports from England; and E-9, Bulldozer. More precisely, if one only assumed a priori that the Each bears a Radio Intelligence Publication (RIP) number. group G was a locally Euclidean topological group, Volumes 1 through 8 are RIP numbers 603 through 610, and volume 9 is RIP 601. We will make available online Richard Palais is professor emeritus at Brandeis University articles from E-2, E-4, and E-9 written by Gleason and his and adjunct professor at the University of California at colleagues. Irvine. His email address is [email protected].
NOVEMBER 2009 NOTICES OF THE AMS 1243 that the manifold M was a topological manifold, and that the action of G on M was continuous, could one nevertheless always choose local coordi- nates in G and M so that both the group operations and the action became analytic when expressed in these coordinates? We shall speak of the problem in this generality as the unrestricted Hilbert Fifth Problem. The restricted problem is the important special case in which G = M and the action is left translation. Asking whether we can always find analytic coordinates in the restricted problem is Excerpt from Gleason’s vacation journal, July clearly the same as asking whether a locally Euclid- 1947, in which he mentions working on the ean group is necessarily a Lie group. “Hilbert fifth”.
Counterexamples manifold is smooth, it does not follow that it can It turned out that there are many—and in fact be made analytic! many different kinds of—counterexamples to the After these counterexamples to the unrestricted unrestricted Hilbert Fifth Problem. Perhaps the Hilbert Fifth Problem became known, a tacit under- first published counterexample, due to R. H. Bing standing grew up to interpret “the Fifth Problem” 3 as referring to the restricted version: Is every lo- [Bi], is an action of Z2 on S whose fixed-point set is the Alexander Horned Sphere Σ. Now Σ is not cally Euclidean group a Lie group? and we shall “tamely embedded” in S3 , meaning that there are follow this convention below. points where it is impossible to choose coordinates Early History of the Fifth Problem so that locally Σ looks like the usual embedding It was fairly easy to settle the one-dimensional of R2 in R3 . If the action were even differentiable case. The only (paracompact) connected manifolds in some suitable coordinates, then it is easy to see of dimension one are the real line, R, and the circle, that the fixed-point set would in fact be tamely S1 , and both of course are Lie groups. In 1909 embedded. (For an even more bizarre type of L. E. J. Brouwer [Br] showed that a topological counterexample, recall that in 1960 M. Kervaire group that is homeomorphic to either of these is in [Kerv] constructed a topological manifold that did fact isomorphic to it as a topological group. Using not admit any differentiable structure, providing results from Brouwer’s paper, B. Kerékjártó [Kere] what can be considered a counterexample even for settled the two-dimensional case in 1931. There the case when G is the trivial group.) seems to have been little if any published work on One could make a case that these examples are the Fifth Problem between the papers of Brouwer “monsters” that could have been ruled out if Hil- and Kerékjártó, but that is not too surprising con- bert had phrased his statement of the Fifth Problem sidering that much of the modern mathematical more carefully. But there is a more serious kind of infrastructure required for a rigorous discussion of counterexample that is so elementary that it makes topological groups and the Fifth Problem became one wonder how much thought Hilbert had given available only after a 1926 paper by O. Schreier to the Fifth Problem before proposing it. Here is [Sch]. The three-dimensional and four-dimensional cases of the Fifth Problem were settled much later, a particularly elementary example, due to Mont- by Montgomery [M1] in 1948 and by Montgomery gomery and Zippin [MZ3], with G = R, the additive and Zippin [MZ1] in 1952. group of the real numbers, and M = C , the complex The first major breakthrough in the general plane. Let f be a continuous real-valued function theory came in 1933, when J. von Neumann [VN], defined on the positive real axis, and define the using the recently discovered Haar [Ha] measure, action φ : R × C → C by φ(t, r ei θ ) := r ei (θ +f (r )t ). extended the Peter-Weyl Theorem [PW] to general (In words, φ is a one-parameter group of homeo- compact groups and used it to settle the Fifth Prob- morphisms of the plane that rotates each circle lem in the affirmative for compact groups. We will centered at the origin into itself, the circle of radius sketch a proof of von Neumann’s theorem below. r being rotated with angular velocity f (r ).) If we Several years later, building on von Neumann’s ≤ ≥ choose f (r ) to equal 1 for r 1 and 0 for r 2, work, Pontryagin [Po] settled the abelian case, and the action is the standard one-parameter group Chevalley [Ch1] the solvable case. of rotations of C inside the unit disk and is trivial outside the disk of radius 2, so by the Principle of The No Small Subgroups (NSS) Condition Analytic Continuation, this action cannot be made The first time I encountered the phrase “group analytic in any coordinate system. What is worse, without small subgroups” I wondered what kind we can choose f to have these properties and also of subgroup a “small” one could possibly be. Of be smooth (meaning C ∞ ), so we see that even if we course, what the phrase means is a topological assume a priori that the action of a Lie Group on a group without arbitrarily small subgroups, i.e.,
1244 NOTICES OF THE AMS VOLUME 56, NUMBER 10 one having a neighborhood of the identity that Cartan’s Theorem includes no subgroup except the trivial group. We Starting with von Neumann, all proofs of cases of shall follow Kaplansky [Ka] and call this the NSS the Fifth Problem, including Gleason’s, were ulti- Condition and a group satisfying it an NSS group. mately based on the following classic result that Since NSS may seem a little contrived, here is a goes back to É. Cartan. (For a modern proof, see brief discussion of the “why and how” of its use Chevalley [Ch2], page 130.) in solving the Fifth Problem. Theorem (Cartan). If a locally compact group has It turns out to be difficult to draw useful conclu- a continuous, injective homomorphism into a Lie sions about a topological group from the assump- group and, in particular, if it has a faithful finite- tion that it is locally Euclidean. So the strategy dimensional representation, then it is a Lie group. used for settling the Fifth Problem was to look for a more group-oriented “bridge condition” and use Here is a quick sketch of how the proof of the it in a two-pronged attack: on the one hand show Fifth Problem for a compact NSS group G follows. that a topological group that satisfies this condi- Let H denote the Hilbert space L2 (G ) of square- tion is a Lie group, and on the other show that a integrable functions on G with respect to Haar locally Euclidean group satisfies the condition. If measure. Left translation induces an orthogonal these two propositions can be proved, then the representation of G on H , the so-called regular positive solution of the Fifth Problem follows—and representation, and, according to the Peter-Weyl even a little more. Theorem, H is the orthogonal direct sum of H As you may have guessed, NSS turned out to be finite-dimensional subrepresentations, i , i.e., H = ∞ H = N H ideally suited to play the role of the bridge. In ret- i = 1 i. Define WN : i = 1 i. We will show rospect this is not entirely surprising. A powerful that for N sufficiently large, the finite-dimensional but relatively elementary property of Lie groups is representation of G on WN is faithful or, equiva- the existence of so-called canonical coordinates, or lently, that for some N the kernel KN of the regu- equivalently the fact that the exponential map is a lar representation restricted to WN is the trivial group {e }. Since the regular representation itself diffeomorphism of a neighborhood of zero in the is clearly faithful, K is a decreasing sequence Lie algebra onto a neighborhood U of the identity N of compact subgroups of G whose intersection in the group (see below). Since a line through the is {e }. Thus if U is an open neighborhood of e origin in the Lie algebra maps to a one-parameter that contains no nontrivial subgroup, K \ U is a subgroup of the group, it follows that such a U N decreasing sequence of compact sets with empty contains no nontrivial subgroup and hence that intersection and, by the definition of compact- Lie groups satisfy NSS. ness in terms of closed sets, some KN \ U must be Starting in the late 1940s Gleason [G1],1 Mont- empty. Hence KN ⊆ U , and since KN is a subgroup gomery [M2], and Iwasawa [I] made several solid of G , KN = {e }. advances related to the Fifth Problem. This led in 1952 to a satisfying denouement to the story of the Fifth Problem, with Gleason and Montgomery- Following in Gleason’s Footsteps Zippin carrying out the above two-pronged attack. Andy Gleason put lots of remarks and clues in First Gleason [G3] proved that a locally compact his papers about his motivations and trains of group satisfying NSS is a Lie group, and then im- thought, and it is an enjoyable exercise to read mediately afterwards Montgomery and Zippin these chronologically and use them to guess how [MZ1] used Gleason’s result to prove inductively he developed his strategy for attacking the Fifth that locally Euclidean groups of any dimension Problem. satisfy NSS. Their two papers appeared together in Let’s start with a Lie group G , and let g denote the same issue of the Annals of Mathematics, and its Lie algebra. There are (at least !) three equivalent at that point one knew that for locally compact ways to think of an element of the vector space g. topological groups: First as a vector v in T Ge , the tangent space to G at e; second as the left-invariant vector field X on Locally Euclidean ⇐ ⇒ NSS ⇐ ⇒ Lie. G obtained by left translating v over the group; and third as the one-parameter subgroup φ of (Actually, the above is not quite the full story; Glea- G obtained as the integral curve of X starting at son assumed a weak form of finite dimensionality the identity. The exponential map exp : g → G is in his original argument that NSS implies Lie, but defined by exp(v ) = φ(1). It follows immediately shortly thereafter Yamabe [Y2] showed that finite from this definition that exp(0) = e and that the dimensionality was not needed in the proof.) differential of exp at 0 is the identity map of T Ge, 1 As far as I can tell, this 1949 paper was the first journal so by the inverse function theorem, exp maps a article to define the NSS condition. But there is clear evi- neighborhood of 0 in g diffeomorphically onto a dence (see journal entry, above) that Gleason was already neighborhood of e in G. Such a chart for G is called preoccupied with the Fifth Problem in mid-1947. a canonical coordinate system (of the first kind).
NOVEMBER 2009 NOTICES OF THE AMS 1245 Now, suppose we somehow “lost” the differen- technical tour de force, but it is too complicated tiable structure of G but retained our knowledge to outline here, and we refer instead to the original of G as a topological group. Is there some way we paper [G2] or the review by Iwasawa. could use the latter knowledge to recover the dif- ferentiable structure? That is, can we reconstruct g Andy Gleason as Mentor and the exponential map? If so, then we are clearly Looking back at how it happened, it seems almost close to a solution of the Fifth Problem. Let’s listen accidental that I became Andy Gleason’s first Ph.D. in as Andy ponders this question. student—and David Hilbert “Well, if I think of g as was partly responsible. being the one-parameter As an undergraduate at groups, that’s a group theo- Harvard I had developed retic concept. Let’s see—is a very close mentoring there some way I can invert relationship with George exp? That is, given g in G Mackey, then a resident close to e, can I find the one- tutor in my dorm, Kirkland parameter group φ such House. We had meals to- that φ(1) = exp(φ) = g ? gether several times each Now I know square roots week, and I took many of are unique near e and in his courses. So, when I re- fact φ(1/2) is the square turned in 1953 as a gradu- root of g . By induction, I ate student, it was natural can find φ(1/2n ) by start- for me to ask Mackey to be ing with g and taking the my thesis advisor. When he square root n times. And inquired what I would like Photograph courtesy of Richard Palais. once I have φ(1/2n ), by to work on for my thesis simply taking its m -th Andy with George Mackey (2000). Although research, my first sugges- n power I can find φ(m /2 ) Andy never earned a Ph.D., he thought tion turned out to be some- for all m . So, if I know how of George as his mentor and advisor and thing he had thought about to take square roots near lists himself as George’s student on the himself, and he was able to e , then I can compute φ Mathematics Genealogy Project website. convince me quickly that at all the dyadic rationals it was unsuitably difficult m /2n , and since they are for a thesis topic. A few dense in R, I can extend φ by continuity to find it days later I came back and told him I would like to on all of R!” work on reformulating the classical Lie theory of This was the stated motivation for Gleason’s germs of Lie groups acting locally on manifolds as paper “Square roots in locally Euclidean groups” a rigorous modern theory of full Lie groups acting [G1], and in it he goes on to take the first step and globally. Fine, he said, but then explained that the show that in any NSS locally Euclidean group G , local expert on such matters was a brilliant young there are neighborhoods U and V of the identity former Junior Fellow named Andy Gleason who such that every element in U has a unique square had just joined the Harvard math department. root in V . Almost immediately after this article Only a year before he had played a major role in appeared, in a paper called “On a theorem of solving Hilbert's Fifth Problem, which was closely Gleason”, Chevalley [Ch3] went on to complete the related to what I wanted to work on, so he would program Andy outlined. That is, Chevalley used be an ideal person to direct my research. Gleason’s existence of unique square roots to con- I felt a little unhappy at being cast off like that struct a neighborhood U of the identity in G and a by Mackey, but of course I knew perfectly well who continuous mapping (g, t ) φ g(t ) of U × R into G Gleason was and I had to admit that George had such that each φg is a one-parameter subgroup of a point. Andy was already famous for being able G , φg (t ) ∈ U for |t | ≤ 1, and φg (1) = g . to think complicated problems through to a solu- tion incredibly fast. “Johnny” von Neumann had a In his key 1952 Annals paper “Groups without similar reputation, and since this was the year that small subgroups” [G3], Gleason decided not to High Noon came out, I recall jokes about having a follow up this approach to the solution of the mathematical shootout—Andy vs. Johnny solving Fifth Problem and instead used a variant of von math problems with blazing speed at the OK Cor- Neumann’s method. His approach was based on ral. In any case, it was with considerable trepida- the construction of one-parameter subgroups, tion that I went to see Andy for the first time. but these were used as a tool to find a certain finite-dimensional invariant linear subspace Z of Totally unnecessary! In our sessions together the regular representation of G on which G acted I never felt put down. It is true that occasionally faithfully and appealed to Cartan’s Theorem to when I was telling him about some progress I complete the proof. The construction of Z is a had made since our previous discussion, partway
1246 NOTICES OF THE AMS VOLUME 56, NUMBER 10 through my explanation Andy would see the crux References of what I had done and say something like, “Oh! [Bi] R. H. Bing, A homeomorphism between the 3-sphere I see. Very nice! and then…,” and in a matter of and the sum of two solid horned spheres, Ann. of minutes he would reconstruct (often with improve- Math. 56 (1952), 354–362. L. E. J. Brouwer ments) what had taken me hours to figure out. But [Br] , Die theorie der endlichen kon- tinuierlichen Gruppen, ubhängig von den Axiomen it never felt like he was acting superior. On the von Lie, Math. Annalen 67 (1909), 246–267 and 69; contrary, he always made me feel that we were col- (1910), 181–203. leagues, collaborating to discover the way forward. [Ch1] C. Chevalley, Two theorems on solvable topo- It was just that when he saw his way to a solution logical groups, Michigan Lectures in Topology (1941), of one problem, he liked to work quickly through 291–292. it and then go on to the next problem. Working [Ch2] ——— , Theory of Lie Groups, Princeton Univ. Press, together with such a mathematical powerhouse 1946. [Ch3] , On a theorem of Gleason, Proc. Amer. Math. put pressure on me to perform at top level—and ——— Soc. 2 (1951), 122–125. it was sure a good way to learn humility! [G1] A. Gleason, Square roots in locally Euclidean My apprenticeship wasn’t over when my thesis groups, Bull. Amer. Math. Soc. 55 (1949), 446–449. was done. I remember that shortly after I had fin- [G2] ——— , On the structure of locally compact groups, ished, Andy said to me, “You know, some of the Duke Math. J. 18 (1951), 85–104. ideas in your thesis are related to some ideas I had [G3] ——— , Groups without small subgroups, Ann. of a few years back. Let me tell you about them, and Math. 56 (1952), 193–212. Reviewed by Iwasawa: MR0049203 (14,135c). perhaps we can write a joint paper.” The ideas in [Ha] A. Haar, Der Massbegriff in der theorie der kontinui- that paper were in large part his, but on the other erlichen gruppen, Ann. of Math. 34 (1933), 147–169. hand, I did most of the writing, and in the process [Hi] D. Hilbert, Mathematische Probleme, Nachr Akad. of correcting my attempts he taught me a lot about Wiss., Göttingen, 1900, 253–297. how to write a good journal article. [I] K. Iwasawa, On some types of topological groups, But it was only years later that I fully appreci- Ann. of Math. 50 (1949), 507–557. I. Kaplansky ated just how much I had taken away from those [Ka] , Lie Algebras and Locally Compact Groups, Univ. of Chicago Press, 1971; Corrected sec- years working under Andy. I was very fortunate ond printing, 1974. to have many excellent students do their gradu- [Kere] B. Kerékjártó, Geometrische theorie der zwei- ate research with me over the years, and often as gliedrigen kontinuierlichen gruppen, Hamb. Abh. 8 I worked together with them I could see myself (1931), 107–114. behaving in some way that I had learned to ad- [Kerv] M. A. Kervaire, A manifold which does not admit mire from my own experience working together any differentiable structure, Comment. Math. Helv. 34 with Andy. (1960), 257–270. [L] S. Lie, Theorie der Transformationsgruppen, unter Let me finish with one more anecdote. It con- Mitwirkung von F. Engel, Leipzig, 1893. cerns my favorite of all Andy’s theorems, his ele- [M1] D. Montgomery, Analytic parameters in three- gant classification of the measures on the lattice dimensional groups, Ann. of Math. 49 (1948), 118–131. of subspaces of a Hilbert space. Andy was writing [M2] ——— , Properties of finite-dimensional groups, up his results during the 1955–56 academic year, Proc. Int. Congr. Math. (Cambridge, U.S.A.), Vol. II, as I was writing up my thesis, and he gave me a 1950, pp. 442–446. draft copy of his paper to read. I found the result [M3] ——— , Topological transformation groups, Proc. Int. Congr. Math. (Amsterdam), Vol. III, 1954, pp. 185–188. fascinating, and even contributed a minor improve- [MZ1] D. Montgomery and L. Zippin, Small subgroups ment to the proof, as Andy was kind enough to of finite-dimensional groups, Ann. of Math. 56 (1952), footnote in the published article. When I arrived 213–241. at the University of Chicago for my first position [MZ2] ——— , Examples of transformation groups, Proc. the next year, Andy’s paper was not yet published, Amer. Math. Soc. 5 (1954), 460–465. but word of it had gotten around, and there was a [MZ3] ——— , Topological Transformation Groups, Inter- lot of interest in hearing the details. So when I let science Publishers, New York–London, 1955. [PW] F. Peter and H. Weyl, Die Vollständigkeit der on that I was familiar with the proof, Kaplansky primitiven Darstellungen einer geschlossenen kon- asked me to give a talk on it in his analysis seminar. tinuierlichen Gruppe, Math. Ann. 97 (1927), 737–755. I’ll never forget walking into the room where I was [Po] L. Pontryagin, Topological Groups, Princeton Univ. to lecture and seeing Ed Spanier, Marshall Stone, Press, 1939. Saunders Mac Lane, André Weil, Kaplansky, and [Sch] O. Schreier, Abstrakte kontinuierliche gruppen, Chern all looking up at me. It was pretty intimidat- Hamb. Abh. 4 (1926), 15–32. J.-P. Serre ing, and I was suitably nervous! But the paper was [Se] , Le cinquième probleme de Hilbert. État de la question en 1951, Bull. Soc. Math. France 80 so elegant and clear that it was an absolute breeze (1952), 1–10. to lecture on it, so all went well, and this “inaugural [VN] J. von Neumann, Die einführung analytischer pa- lecture” helped me get off to a good start in my rameter in topologischen gruppen, Ann. of Math. 34 academic career. (1933), 170–190.
NOVEMBER 2009 NOTICES OF THE AMS 1247 [Y1] H. Yamabe, On the conjecture of Iwasawa and Glea- son, Ann. of Math. 58 (1953), 48–54. [Y2] ——— , A generalization of a theorem of Gleason, Ann. of Math. 58 (1953), 351–365.
John Wermer Gleason’s Work on Banach Algebras
Introduction I first came to know Andy Gleason in the early 1950s. I found him friendly, natural, and interest- ing. Of course, I knew that his work had recently led to the solution of Hilbert’s Fifth Problem. One thing that impressed me strongly about Andy was that he understood, in detail, every colloquium we attended independently of the subject matter. A link between the Gleason and Wermer families at that time was Philip, Jean and Andy’s Siamese cat. I was a visitor at Harvard in 1959–60, and Andy was going abroad for that year. We rented their apartment. They asked us to take care of Philip for the year, which my two boys and my wife, Chris- tine, and I were happy to do. When spring 1960 came and we knew we should soon have to sur- render Philip, it turned out that the Gleasons would Gleason and Fred, Philip’s successor in the not be able to keep him and asked us whether we Gleason household. would take him along to Providence. We accepted with a whoop and a holler. We called him Philip The star example of all this is given by the “disk Gleason, and he became a much-valued member algebra” A, consisting of all continuous functions of our household. Philip often disappeared for on the unit circle Γ which admit analytic continu- days, but always returned, thinner and wiser, and ation to the open unit disk. We take ||f || = m a x |f | definitely had more than nine lives. taken over Γ for f in A. Here M can be identified A mathematical link between Andy and me with the closed unit disk Δ, and S ˇ becomes the to- came out of the former Soviet Union. Gelfand and pological boundary of Δ. For f in A, f ˆ is the analytic Silov had recently started a study of commutative continuation of f to the interior of Δ. Banach algebras and their maximal ideal spaces, Another key example is provided by the bidisk and this theory was intimately related to the theory algebra A2 which consists of all functions con- 2 of holomorphic functions. This area aroused the tinuous on the closed bidisk Δ2 in C which are strong interest of a group of young American holomorphic on the interior of Δ2 . The maximal mathematicians. Andy Gleason was a prominent ideal space of M can be identified with Δ2; the Silov member of this group and made fundamental boundary is not the topological boundary of Δ2, contributions to this field of study. but instead the torus T 2 : |z | = 1, |w | = 1. Let A be a commutative semisimple Banach Classical function theory gives us, in the case of algebra with unit, and let M be the space of all the disk algebra, not only the maximum principle maximal ideals of A. Gelfand [1] showed that M (1) but also the local maximum principle:
can be endowed with a topology which makes it For every f in A,ifz0 lies in the open unit disk and a compact Hausdorff space such that there is an U is a compact neighborhood of z0 contained in isomorphism : f→ f ˆ which maps A to a subalgebra intΔ then of the algebra of all continuous functions on M. (2) |f(z0)|≤max|f(z)|. Silov [2] then showed that there exists a minimal z∈∂U closed subset S ˇ of M such that to every f in A and It is a fundamental fact, proved by Rossi in [3], each point m in M we have the inequality that the analogue of (2) holds in general. We have ˆ ˆ (1) |f(m)|≤max|f(s)|. Theorem 1. (Loc a l M a xi m u m M od u l u s P r i n c i p l e) s∈Sˇ S ˇ is called the Silov boundary of M. Fix a point m in M\Sˇ and fix a compact neighbor- hood U of m in M\Sˇ. Then we have for each f in A John Wermer is professor emeritus of mathematics at Brown University. His email address is wermer@math. (3) |f(ˇ m)|≤max|f(u)ˇ |. brown.edu. u∈∂U
1248 NOTICES OF THE AMS VOLUME 56, NUMBER 10 This result suggests that for an arbitrary A, their generalizations behaved as Andy had hoped. where M\ Š ˇ is nonempty, we should look for some We turn to these algebras in the next section. kind of analytic structure in M\Š. In the 1950s Gleason set out to find such analytic structure. Dirichlet Algebras He focused on a class of Banach algebras he called Let X be a compact Hausdorff space and let A be “function algebras”. a function algebra on X . In [4], Gleason made the Let X be a compact Hausdorff space. The following definition: A is a Dirichlet algebra on X algebra C (X ) of all continuous complex-valued if R e (A), the space of real parts of the functions || || = | | functions on X, with f m a x f over X , is a in A, is uniformly dense in the space C (X ) of all A R Banach algebra. A closed subalgebra of C (X ) real continuous functions on X . which separates the points of X and contains the The name “Dirichlet” was chosen by Gleason unit is called a “function algebra” on X. It inherits because in the case when A is the disk algebra A, its norm from C (X ). this density condition is satisfied and has as a con- M A Let be the maximal ideal space of . Then X sequence the solvability of the Dirichlet problem M is embedded in the compact space as a closed for harmonic functions on the unit disk. A ˆ subset, and each f in has f as a continuous He stated, “It appears that this class of algebras M extension to . is of considerable importance and is amenable to analysis.” This opinion was born out by develop- Parts ments. A Let be a function algebra on the space X , with A typical Dirichlet algebra is the disk algebra A M M maximal ideal space . Fix a point m in . The on the circle Γ . By looking at A we are led to the → ˆ A map: f f (m ) is a bounded linear functional on . basic properties of arbitrary Dirichlet algebras. A M A We use this map to embed into , the dual has the following properties: A M A space of . then lies in the unit ball of . (i) For each point z in Δ, there exists a unique M Hence, if m and m are two points in , probability measure μ on Γ such that for all f in A || − || ≤ z m m 2 . Gleason [4] defined a relation on the π = points of M by writing : m • m if ||m − m || < 2. f (z ) −π f (e xp (i t ))d μz , He proved: (ii) μ = 1 p d t , Proposition. The relation “bullet” is an equiva- z 2π z lence relation on M. where pz is the Poisson kernel at z unless Note: At first sight, this proposition is counter- |z | = 1, and then μz is the point mass at z . • • intuitive, since m m and m m are equivalent He proved in [4]: to ||m − m || < 2 and ||m − m || < 2 . The triangle inequality for the norm yields ||m − m || < 4, Theorem 2. Let A be a Dirichlet algebra on the whereas we need ||m − m || < 2. space X , and let M be its maximal ideal space. For each A the space M splits into equivalence classes under •. Gleason called these equivalence (i') Fix m in M. There exists a unique probability classes the “parts” of M. measure μm on X such that Observe what these parts look like when A is the ˆ = A bidisk algebra A2 . Here M is the closed unit bidisk f (m ) X f d μm , for all f in . Δ2 : | z| ≤ 1 , | w| ≤ 1 . Some calculation gives the fol- lowing: the interior of Δ2, |z| < 1 ,| w| < 1 , is a single (ii') Fix points m and m in M. Then m and m lie part. Each of the disks (ei t , w ) |0 ≤ t ≤ 2 π, | w| < 1 , in the same part of M if and only if the measures i s | | ≤ ≤ M (z , e ), z < 1, 0 s 2π is a part of . Finally, μm and μm are mutually absolutely continuous. each point (exp(it), exp(is)), s,t real, is a one-point In this case, the corresponding Radon-Nikodym part lying on the torus |z | = 1, |w | = 1. Thus M derivative is bounded above and below on X . splits into the pieces: one analytic piece of complex Note: For m in M, μ is called “the representing dimension 2, two families of analytic pieces of m measure for m ”. complex dimension 1, and uncountably many one- It turned out that when A is a Dirichlet algebra point parts on the Silov boundary of the algebra. with maximal ideal space M, then each part of M is In complete generality, Andy’s hopes that for either a single point or an analytic disk. Explicitly, each function algebra the parts of M would pro- it is proved in Wermer [7]: vide analytic structure of the complement of the Silov boundary were not fully realized. Stolzen- Theorem 3. Let A be a Dirichlet algebra with berg, in [6], gave an example of a function algebra maximal ideal space M. Let ∏ be a part of M. Then A such that the complement of the Silov boundary either ∏ consists of a single point or there exists a of A in M is nonempty but contains no analytic continuous one-one map τ of the open unit disk onto structure. However, an important class of Banach Π such that for each f in A the composition ˆf ◦ τ algebras, the so-called “Dirichlet algebras”, and is holomorphic on the unit disk.
NOVEMBER 2009 NOTICES OF THE AMS 1249 Examples Hoffman and Gleason were prominent participants The following are three examples of Dirichlet in this enterprise. algebras. Example 1: Let K be a compact set in the com- Gleason’s Problem plex plane C with connected complement, and let Let A be a function algebra and M be its maximal X be the boundary of K. The uniform closure P(X ) ideal space. Fix a point m0 in M. As a subset of ˆ of polynomials on X is a Dirichlet algebra on X . A, m0 is the set of f such that f (m0 ) = 0. We ask: Example 2: Fix α > 0. Aα denotes the space of when does m0 have a neighborhood in M which all continuous functions f on the torus T 2 consist- carries structure of a complex-analytic variety? By ing of all points (e i θ , e i φ ) in C 2 such that f has the this we mean the following: there exists a polydisk Fourier expansion on T 2 : Δn in Cn and an analytic variety V in Δn , and there exists a homeomorphism τ of a neighborhood N inθ imφ cnme e of m0 on V such that for all f in A the composition n+mα≥0 of f ˆ with the inverse of τ has an analytic extension These algebras are studied by Helson and from V to Δn . Lowdenslager in [9] and by Arens and Singer in Gleason proved the following in [5]: 2 [10]. Each Aα is a Dirichlet algebra on T . Theorem 4. Let A, M, m0 be as above. Assume that Example 3: Let γ be an arc on the Riemann m0 , as an ideal in A, is finitely generated (in the sphere S . Let B (γ ) denote the algebra of all con- sense of algebra). Then there exists a neighborhood tinuous functions on γ which have a continuous N of m0 which has the structure of a complex- extension to the full sphere S which is holomor- analytic variety. phic on S outside of γ . For a certain class of arcs, studied by Browder and Wermer in [8], B (γ ) is a This result leads naturally to the following ques- Dirichlet algebra on γ . tion, raised by Gleason: It turned out that substantial portions of the Let D be a bounded domain in Cn and denote theory of Hardy spaces H p on the unit disk have by A(D ) the algebra of continuous functions on natural generalizations when the disk algebra is the closure of D which are analytic on D . Fix a replaced by an arbitrary Dirichlet algebra.This was point a = (a1 , . . . , an ) in D . Given f in A(D ) with = pointed out by Bochner in [11] in a slightly differ- f (a ) 0, do there exist functions g1 , . . . , gn in = n − ent context. It was carried out in [9] for Example A(D ) such that f (z ) j =1 (zj aj )gj (z ) for 2, and in an abstract context by various authors. every z in D ? (See Gamelin [15].) It is now known that the answer is yes if D Further, Hoffman in [12] introduced a general- is a strictly pseudo-convex domain in Cn . A his- ization of Dirichlet algebras, called “logmodular tory of the problem is given by Range in [14], algebras”, to which the theory of Dirichlet algebras Chapter VII, paragraph 4. has a natural extension. In particular, parts of the maximal ideal space of such an algebra are either References points or disks. [1] I. M. Gelfand, Normierte ringe, Mat. Sb. (N.S.) 51 Let H ∞ denote the algebra of all bounded ana- (1941), 3–24. G. E. Silov lytic functions on the unit disk, with ||f|| = s u p | f| , [2] , On decomposition of a normed ring in a direct sum of ideals, Mat. Sb (N.S.) 32 (74) (1953), taken over the unit disk. Then H ∞ is a Banach 353–364. algebra. Let X denote the Silov boundary of this H. Rossi, ∞ [3] The local maximum modulus principle, Ann. algebra. The restriction of H to X is a function of Math. (2) 72 (1960), 1–11. algebra on X . This restriction is not a Dirichlet [4] A. Gleason, Function Algebras, Seminar on Analytic algebra on X , but it is a log-modular algebra on X . Functions, Vol. II, Inst. Adv. Study, Princeton, 1957, By what was said above, the parts of the maximal pp. 213–226. ∞ ideal space of H are points or analytic disks. [5] ——— , Finitely generated ideals in Banach algebras, Let M be the maximal ideal space of H ∞ , taken J. Math. Mech. 13 (1964), 125–132. G. Stolzenberg, with the Gelfand topology. M is compact and [6] A hull with no analytic structure, J. Math. Mech. 12 (1963), 103–112. contains the open unit disk D as a subset. Len- [7] J. Wermer, Dirichlet algebras, Duke Math. J. 27 (1960), nart Carleson proved in 1962 the so-called Corona 373–382. Theorem, which implies that D is dense in M . The [8] A. Browder and J. Wermer, Some algebras of func- question had arisen earlier as to the (possible) tions on an arc, J. Math. Mech. 12 (1963), 119–130. analytic structure in the complement M \D . [9] H. Helson and D. Lowdenslager, Prediction theory Partial results on this question were obtained and Fourier series in several variables, Acta Math. 99 in 1957 by a group of people talking at a con- (1958), 165–202. ference, and this result was published under [10] R. Arens and I. M. Singer, Generalized analytic func- the pseudonym “I. J. Schark”1 in the paper [16]. tions, Trans. Amer. Math. Soc. 81 (1956), 379–393. [11] S. Bochner, Generalized conjugate and analytic 1I. Kaplansky, J. Wermer, S. Kakutani, C. Buck, H. Royden, functions without expansions, Proc. Nat. Acad. Sci. A. Gleason, R. Arens, K. Hoffman. U.S.A. 45 (1959), 855–857.
1250 NOTICES OF THE AMS VOLUME 56, NUMBER 10 [12] K. Hoffman, Analytic and logmodular Banach alge- bras, Acta Math. 108 (1962), 271–317. [13] ——— , Bounded analytic functions and Gleason parts, Ann. Math. (2) 86 (1967), 74–111. [14] M. Range, Holomorphic Functions and Integral Rep- resentations in Several Complex Variables, Springer- Verlag, 1986. [15] T. W. Gamelin, Uniform Algebras, Prentice Hall, 1969. [16] I. J. Schark, Maximal ideals in an algebra of bounded analytic functions, J. Math. Mech. 10 (1961), 735–746.
Joel Spencer Andrew Gleason’s Discrete Mathematics Gleason in Berlin, 1959. Ramsey Theory as G F (16). Let H ⊂ G F (16)∗ consist of the non- Six points are in general position in zero cubes. Then they color the edge between space (no three in a line, no four in a α, β ∈ G F ( 16) by the coset of GF ( 16)∗/H contain- plane). The fifteen line segments join- ing α − β. Despite great efforts and high speed ing them in pairs are drawn, and then computers, only a few other values are known painted, some segments red, some blue. today. Even the value of R( 5, 5 ) seems out of reach. Prove that some triangle has all its sides As a graduate student at Harvard in the late the same color. 1960s I chose to write a thesis partially on Ramsey —William Lowell Putnam Competition, 1953 numbers. Gleason told me he had spent a great ([3], page 38) deal of time looking for other exact values. Since I knew of his legendary calculating powers, I took Andrew Gleason’s fascination with combina- this as sage advice to restrict my attention to their torial puzzles, his computational skills, and his asymptotics. algebraic insights often led to interesting deep results in discrete mathematics. We sample some Coding Theory of them here. Gleason’s research in discrete mathematics began The Putnam problem quoted above introduces not with Ramsey theory but with his cryptographic Ramsey theory, where Gleason made one of his work during World War II [5]. That’s when he first first contributions. Ramsey theory starts with collaborated with Greenwood. After the war he the fact that for any k1 , . . . , kr there is a least participated in the burgeoning development of n = R(k , . . . , k ) such that when each of the n coding theory. Although he published little, he had 1 r 2 line segments joining n points in pairs is painted a significant influence on others. with one of r colors, then for some 1 ≤ i ≤ r there Vera Pless (her [6] is a good general reference for coding theory) recalls “Gleason meetings” in are ki points with all segments between them given color i . R is generally called the Ramsey function the 1950s on error-correcting codes. = and the n R (k1 , . . . , kr ) are called Ramsey num- These monthly meetings were what I bers. Solving the Putnam problem above proves lived for. No matter what questions we ≤ R (3, 3) 6. The arguments for the existence of asked him on any area of mathematics, R (k, l ) had been given by Ramsey and, indepen- Andy knew the answer. The numerical dently, by Erdo˝s and Szekeres in the early 1930s calculations he did in his head were (see [4] for general reference). Ramsey theory amazing. fascinated Gleason. In 1955 Gleason and coauthor R. E. Green- A binary code is a subset of {0, 1}n . The ele- wood [1] calculated some small Ramsey numbers. ments are called codewords. The weight of a They found R (3, 3) = 6, R (3, 4) = 9, R (3, 5) = 14, codeword is the number of coordinates with value R( 4, 4 ) = 18 , and R( 3, 3 , 3 ) = 17 . The lower bounds one. Gleason studied codes with an algebraic rep- sometimes called for ingenious algebraic construc- resentation. tions to provide counterexamples. For instance, to To define a quadratic residue code, begin by n n show R (3, 3, 3) > 16 they consider the 16 points identifying {0, 1} with Z2 [x]/(x − 1). Suppose n is a prime congruent to ±1 mod 8. Let Q be the ∗ = i Joel Spencer is professor of computer science and math- quadratic residues of Z n and set e (x) i ∈Q x . ematics at New York University’s Courant Institute. His Then let C = (1 + e (x)), the ideal generated by n email address is [email protected]. 1 + e (x) in Z2 [x]/(x − 1). Then C is a code of
NOVEMBER 2009 NOTICES OF THE AMS 1251 dimension (n + 1)/2. These codes have proven subjects. Elwyn Berlekamp (also a Putnam winner) particularly useful, in part because of their sym- recalls discussions with him: metries. [Gleason] would usually offer two or Let C be the code of dimension n + 1 given by three different solutions to the prob- adding a parity bit. (That is, the first n bits are in lem he wanted to talk about, whereas C, and the last is such that the weight is even.) A I rarely ever had more than one. He symmetry of C is a permutation σ ∈ S + of the n 1 believed that Putnam problems encour- coordinates for which σ (C ) = C . The Gleason- aged very strong mastery of what he Prange Theorem [6] asserts that considered to be the fundamentals of Theorem 1. The Projective Simple Linear Group mathematics. P S L (n ) is a subgroup of the group of symmetries 2 Gleason was always eager to share his pas- of C . sion for mathematics in general and problems A linear code is a C ⊆ {0, 1}n which is a sub- in particular. Bjorn Poonen (a multiple Putnam space of {0, 1}n . For such C , C ⊥ is the usual (over winner and the coauthor of a follow-up book on Z2 ) orthogonal subspace. When C has Ai vectors the Putnam competition 1985–2000 [7]) recalls his of weight i, its weight enumerator is defined by undergraduate days: n Andy struck me as someone genuinely W (x, y) = A xn−i y i . C i interested in helping younger math- i=0 ematicians develop. When I was an The Gleason polynomials are finite sets of poly- undergrad at Harvard, he volunteered nomials that generate all weight enumerators of an hour or two of his time each week a certain type. for an informal meeting in his office Gleason found a particularly striking example with a group consisting of me and for self-dual codes, those for which C = C ⊥ . one or two other math undergrads to discuss whatever mathematics was on Theorem 2. If C is self-dual, then WC is generated by 2 2 8 2 2 8 our minds. g1(x, y ) = x + y and g2(x, y ) = x + 14 x y + y . Amen. As a graduate student I had the good for- There are deep connections to invariant theory tune to be Andy Gleason’s teaching assistant. We here. would meet in the small preparation room before The weight enumerator of C determines that the classes. Andy would discuss the mathematics of C ⊥ . The exact relationship was given by Jessie of the lecture he was about to give. He was at ease MacWilliams (1917–1990), one of Gleason’s most and spoke of the importance and the interrelation- accomplished students, in her thesis. ships of the various theorems and proofs. My con- Theorem 3. The MacWilliams Identity: tributions were minimal, but I listened with rapt 1 attention. It was in those moments that I learned WC⊥ (x, y) = WC (x + y, x − y). what being a mathematician was all about. |C| Gleason proved much more along these lines References in [2]. Neil Sloane starts his paper on Gleason’s [1] A. M. Gleason and Robert E. Greenwood Jr., Com- Theorem on Self-Dual Codes and Its Generalizations binatorial relations and chromatic graphs, Canadian [8] with “One of the most remarkable theorems in J. Math 7 (1955), 1–7. A. M. Gleason coding theory is Gleason’s 1970 theorem about the [2] , Weight polynomials of self-dual codes weight enumerators of self-dual codes.” and the MacWilliams identities, in Proceedings of the International Congress of Mathematicians, volume 3, The Putnam Exam Nice, 1970, pp. 211–215. [3] A. M. Gleason, R. E. Greenwood, and L. M. Kelly, Gleason was the first three-time winner of the Put- The William Lowell Putnam Mathematical Competition, nam competition, finishing in the top five while at Problems and Solutions: 1938–1964, The Mathematical Yale in 1940, 1941, and 1942. He was disappointed Association of America, 1980. in his first attempt, because he solved only thirteen [4] R. L. Graham, B. L. Rothschild, and J. H. Spencer, of the fifteen problems. Ramsey Theory, 2nd edition, Wiley, 1990. For many years he selected one of the five [5] D. Lieberman (with J. Burroughs and J. Reed) [see finishers for the Putnam Fellowship at Harvard, a page 1239 of this article]. [6] V. Pless, Introduction to the Theory of Error-Correcting fellowship he was awarded and declined in 1940 Codes, 2nd edition, Wiley, 1989. in order to remain at Yale. He wrote (with R. E. [7] K. Kedlaya, B. Poonen, and R. Vakil, The William Greenwood and L. M. Kelly) a beautiful book [3] Lowell Putnam Mathematical Competition 1985–2000: on the Putnam competition for the years 1938–64. Problems, Solutions, and Commentary, MAA Prob- For many problems his solutions (and there are lem Book Series, The Mathematical Association of often several) are splendid lectures in the varied America, second edition, September 2002.
1252 NOTICES OF THE AMS VOLUME 56, NUMBER 10 [8] N. J. A. Sloane, Gleason’s Theorem on Self-Dual Codes analysis of “hidden vari- and Its Generalizations, http://arxiv.org/abs/ able” theories of quantum math/0612535. mechanics by the physicist John Bell. In classical mechanics, Paul R. Chernoff the state of a particle of mass m is given by its posi- Andy Gleason and Quantum Mechanics tion and momentum. The motion or dynamics of a About Andy set of particles with associ- I met Andy at the beginning of my second year at ated forces is determined Harvard when I signed up for his graduate analy- by Newton’s second law of sis course. Andy briefly interviewed prospective motion, a system of ordi- students to see if they had enough background to nary differential equations. benefit from this rather sophisticated course. I told This yields a picture of the Andy that I owned a number of advanced books macroscopic world which which I hadn’t read. matches our intuition. The The course was both a challenge and a plea- ultramicroscopic world Gleason with koala, Cleland sure. I can only echo what others have said about requires a quite different Wildlife Park, Adelaide, Australia, Andy’s luminous clarity and massive abstract description. The state of a 1988. R3 power. But I must admit that the lectures, always particle of mass m in is R3 exciting, weren’t absolutely perfect; in the course a complex valued function ψ on . Its momen- of a year Andy made one genuine blunder. As to tum is similarly described by the function φ, the his famous speed, John Schwarz, the well-known Fourier transform of ψ, normalized by the pres- ence in the exponent of the ratio h , where h is string theorist, once said after class that Andy had m “the metabolism of a hummingbird”. Planck’s constant. (Using standard properties of the Fourier transform, one can deduce Heisen- I was extremely lucky that Andy was affiliated berg’s uncertainty principle.) For n particles, ψ with Lowell House, my undergraduate residence. is defined on R3n . This is a brilliant extrapolation Every week Andy came for lunch, where we sat of the initial ideas of DeBroglie. The Schrödinger around a large circular table. That’s how Andy and equation determines the dynamics. If both ψ and I became friends. Of course we discussed a lot of φ are largely concentrated around n points in mathematics around that table, but lots of other position and momentum space respectively, then things, including Andy’s “war stories”. I am not the quantum state resembles a blurry picture of surprised that someone kept a great treasure: all the classical state. The more massive the particles, of Andy’s napkin manuscripts. the less the blurriness (protons versus baseballs). Almost any mathematical problem could in- The fundamental interpretation of the “wave trigue Andy. At one of the annual math department function” ψ is the work of Max Born.1 His paper picnics, he had fun figuring out how to do cube analyzing collisions of particles ends with the roots on an abacus. But most important was his conclusion that |ψ |2 should be interpreted as the unpretentiousness, openness, and great interest in probability distribution for the positions of the students. I suppose that all teachers are impatient particles. Therefore the wave function must be at times; no doubt Andy was sorely tried on occa- a unit vector in L2. Thus did Hilbert space enter sion. But he rarely, if ever, showed it. The students quantum mechanics. in one of his classes gave him a framed copy of Prior to Schrödinger’s wave mechanics, Heisen- Picasso’s early painting Mother and Child. Perhaps berg had begun to develop a theory in which ob- they chose this gift to symbolize Andy’s nurturing servable quantities are represented by Hermitian- of them. It’s regrettable that there are some teach- symmetric infinite square arrays. He devised a ers for whom Guernica would be more appropriate. “peculiar” law for multiplying two arrays by an ingenious use of the physical meaning of their Quantum Mechanics entries. Born had learned matrix theory when In this section we set the stage for a discussion of he was a student and realized (after a week of Andy’s unique contribution to physics: his remark- “agony”) that Heisenberg’s recipe was just matrix able paper “Measures on the closed subspaces of multiplication. Hence the Heisenberg theory is a Hilbert space” [G57]. It’s interesting in several called matrix mechanics. (Schrödinger showed that ways: its history; its influence in mathematics; and especially its unexpected importance to the 1For more historical information, including translations of important original papers, see van der Waerden’s excellent Paul R. Chernoff is professor of mathematics at the survey of the development of quantum mechanics [VW]. University of California, Berkeley. His email address is Jammer’s book [J66] is a superb account of the develop- [email protected]. ment of quantum mechanics.
NOVEMBER 2009 NOTICES OF THE AMS 1253 matrix mechanics and wave mechanics are math- a pure state is a unit vector in a Hilbert space H . ematically equivalent.) As in classical mechanics, Observables are self-adjoint operators, unbounded the dynamics of a quantum system is determined in general, whose spectrum may be any Borel from its energy H . Periodic orbits correspond to subset of R. Von Neumann also developed the im- the eigenvalues of H, i.e., the discrete energy levels. portant concept of a mixed state. A mixed state D The calculation of the eigenvalues is very difficult, describes a situation in which there is not enough save for a few simple systems. The energy levels information to determine the pure state ψ of the for the hydrogen atom were ingeniously calculated system. Usually physicists write D as a convex by Wolfgang Pauli; his results agreed with Bohr’s combination of orthogonal pure states, k wk ψk . calculations done at the very beginning of the “old” This notation is confusing; D is not a vector in H! quantum theory. It may be interpreted as a list of probabilities wk Born was quite familiar with Hilbert’s theory that the corresponding pure state is ψk. Associated 2 of integral equations in L . Accordingly, he was with the state D there is a positive operator D with able to interpret Heisenberg’s matrices as Her- trace 1, given by the formula mitian symmetric kernels with respect to some = orthonormal basis, which might just as well be D k wk Pk regarded as the corresponding integral operators on L2 . Formally, every Hermitian matrix could be where Pn is the projection on the eigenspace of D regarded as an integral operator, usually with a corresponding to the eigenvalue wn . The expected very singular kernel. (The most familiar example is value of an observable A is quite clearly the identity, with kernel the Dirac delta function.) In this way, Born initiated the standard picture of E (A) = k wk (Aψk , ψk ) = trace(D A). observables as Hermitian operators A on L2 . But at that time, the physicists did not grasp the im- This is von Neumann’s general Born rule. portant distinction between unbounded Hermitian The eigenvalues of a projection operator are 1 operators and unbounded self-adjoint operators. and 0; those are the only values a measurement That was greatly clarified by John von Neumann, of the corresponding observable can yield. That major developer of the theory of unbounded self- is why Mackey calls a projection a question; the adjoint operators. answer is always either 1 or 0: “yes” or “no”. The Having interpreted |ψ |2 as the probability dis- fundamental example is the following. Given a tribution for the positions of particles, Born went self-adjoint operator A, we will apply the spectral on to devise what immediately became the stan- theorem. Let S be any Borel subset of R and let dard interpretation of measurements in quantum PS be the corresponding “spectral projection” of mechanics: the probability that a measurement of A. (If the set S contains only some eigenvalues of a quantum system will yield a particular result. A, then PS is simply projection onto the subspace Born’s line of thought was this. A state of a spanned by the corresponding eigenvectors.) Now quantum system corresponds to a unit vector suppose the state of the system is the mixed state ∈ 2 ψ L . What are the possible values of a mea- D. From the general Born rule, the probability that surement of the observable represented by the a measurement of A lies in S is the expected value operator A, and what is the probability that a of P , namely, trace(DP ) . That is the obvious gen- specific value is observed? Born dealt only with S S eralization of Born’s formula for the probability operators with a discrete spectrum, namely, the set that a measurement of A is a particular eigenvalue of all its eigenvalues. For simplicity, assume that of A or a set of isolated eigenvalues. there are no multiple eigenvalues. Let φ be the n Quite generally, consider a positive operator D unit eigenvector with eigenvalue λ . These form n with trace(D ) = 1. The nonnegative real-valued an orthonormal basis of L2 . Expand ψ as a series function μ (P ) = trace(D P ) is a countably additive c φ . Since ||ψ ||2 = 1, we get |c |2 = 1. k k k k k probability measure on the lattice of projections on Born’s insight was that any measurement must H . This means that if {P } is a countable family yield one of the eigenvalues λ of A, and |c |2 n n n of mutually orthogonal projections, is the probability that the result of the measure- ment is λn . This is known as Born’s rule. It follows μ( Pn) = μ(Pn). that the expected value of a measurement of A is n n 2 k | ck| λ k. Note that this sum equals the inner product (Aψ, ψ ) . This is the same as trace(PA) , where P is the Also μ (I ) = 1. Mackey asked whether every such projection onto the one-dimensional subspace measure on the projections is of this form, i.e., spanned by ψ . (To jump ahead, George Mackey corresponds to a state D . We already mentioned wondered if Born’s rule might involve some arbi- Mackey’s interest in Born’s rule. A positive answer trary choices. Gleason ruled this out.) to Mackey’s question would show that the Born John von Neumann was the creator of the ab- rule follows from his rather simple axioms for stract theory of quantum mechanics. In his theory, quantum mechanics [M57], [M63], and thus, given
1254 NOTICES OF THE AMS VOLUME 56, NUMBER 10 these weak postulates, Born’s rule is not ad hoc his powerful geometric insight. However, despite but inevitable. Andy’s talent for exposition, much effort is needed to really understand his argument. Gleason’s Theorem Quite a few people have worked on simplifying Mackey didn’t try very hard to solve his problem the proof. The paper by Cooke, Keane, and Moran for the excellent reason that he had no idea how [CKM] is interesting, well written, and leads the to attack it. But he discussed it with a number of reader up a gentle slope to Gleason’s theorem. The experts, including Irving Segal, who mentioned authors use an important idea of Piron [Pi]. (The Mackey’s problem in a graduate class at Chicago CKM argument is “elementary” because it does not around 1949 or 1950. Among the students was use harmonic analysis.) Dick Kadison, who realized that there are coun- terexamples when H is two-dimensional. The Generalizations of Gleason’s Theorem higher-dimensional case remained open. In his paper Andy asked if there were analogues There matters stood for some years. Then of his theorem for countably additive probability Gleason entered the story. In 1956 he sat in on measures on the projections of von Neumann alge- Mackey’s graduate course on quantum mechanics bras other than the algebra of bounded operators at Harvard. To Mackey’s surprise, Andy was seized on separable Hilbert spaces. by the problem “with intense ferocity”. Moreover, A von Neumann algebra, or W ∗ algebra, is an Kadison was visiting MIT at the time, and his algebra A of bounded operators on a Hilbert space interest in Mackey’s problem was rekindled. He H , closed with respect to the adjoint operation. quickly perceived that there were many “forced Most importantly, A is closed in the weak opera- inter-relations” entailed by the intertwining of the tor topology. The latter is defined as follows: a net great circles on the sphere and in principle a lot of bounded operators {ai } converges weakly to b could be deduced from an analysis of these rela- provided that, for all vectors x, y ∈ H, tions, though the problem still looked quite tough. He mentioned his observation to Andy, who found lim(anx, y) = (bx, y). n→∞ it a useful hint. (But Kadison informed me that his observation did not involve anything like Andy’s A state of a von Neumann algebra A is a positive key “frame function” idea.) linear functional φ : A → C with φ(I ) = 1. This means that φ(x) ≥ 0 if x ≥ 0 and also ||φ|| = 1. Theorem 1 (Gleason’s theorem). Let H be a sepa- The state φ is normal provided that if a is an in- rable Hilbert space of dimension greater than 2. Let i creasing net of operators that converges weakly to μ be a countably additive probability measure on a, then φ(a ) converges to φ(a). The normal states the projections of H . Then there is a unique non- i on B( H) are precisely those of the form trace(Dx) , negative self-adjoint operator D , with trace(D ) = 1, where D is a positive operator with trace 1. such that, for every projection P , Let P (A) be the lattice of orthogonal projec- tions in A. Then the formula μ (P ) = trace(D P ). μ (P ) = φ(P ) The proof has three parts. First, using countable additivity and induction, it is easy to reduce the defines a finitely additive probability measure on case of any separable real Hilbert space of dimen- P (A). If φ is normal, the measure μ is countably sion greater than 2 to the 3-dimensional case. (The additive. complex case follows from the real case.) The converse for countably additive measures Next, consider a vector x on the unit sphere. Let is due to A. Paszkiewicz [P]. See E. Christensen [C] Px be the one-dimensional subspace containing x, and F. J. Yeadon [Y1], [Y2] for finitely additive mea- and define f (x) = μ (Px ). This function is called sures. Maeda has a careful, thorough presentation a frame function. The additivity of the measure of the latter in [M]. μ implies that for any three mutually orthogonal It is not surprising that the arguments use the unit vectors, finite-dimensional case of Gleason’s theorem. A truly easy consequence of Gleason’s theorem is f (x) + f (y ) + f (z ) = 1. that μ is a uniformly continuous function on the The proof comes down to showing that the lattice of projections P , equipped with the opera- frame function f is quadratic and therefore is of tor norm. the form f (x) = trace(D Px ), where D is as in the A great deal of work has been done on Gleason statement of the theorem. Gleason begins his anal- measures which are unbounded or complex valued. ysis by showing that a continuous frame function A good reference is [D]. Bunce and Wright [BW] is quadratic via a nice piece of harmonic analysis have studied Gleason measures defined on the on the sphere. The centerpiece of the paper is the lattice of projections of a von Neumann algebra proof that f is continuous. Andy told me that this with values in a Banach space. They prove the took him most of the summer. It demonstrates analogue of the results above. A simple example
NOVEMBER 2009 NOTICES OF THE AMS 1255 is Paszkiewicz’s theorem for complex-valued mea- Solovay also proves a beautiful formula giving a sures, which had been established only for positive canonical representation of a Gleason measure real-valued measures. μ as an integral over the set T of positive trace- class operators A of trace 1: there is a measure ν Nonseparable Hilbert Spaces defined on all subsets