CMS NOTES de la SMC
Volume 34 No. 5 September/ Septembre 2002
In this issue / Dans ce numero´ DU BUREAU DU les liens avec l’industrie et defendu´ PRESIDENT´ le roleˆ des sciences mathematiques´ dans toute strategie´ d’innovation et Editorial...... 2 nous commenc¸ons a` en recueillir les fruits. Il est en effet plus NSERC Reallocation...... 3 facile de defendre´ notre discipline aupres` des organismes subvention- 2001 CMS Doctoral Prize . . . . . 5 naires. Les activites´ grand public que nous avons menees´ ces dernieres` Education Notes ...... 9 annees´ et plus particulierement` pen- dant l’annee´ mathematique´ mondi- Awards/Prix ...... 11 ale ont contribue´ a` redorer l’image des mathematiques´ aupres` des medias Book Review: Topics in Prob- et du public. Nous nous sommes ability and Lie Groups : raproches´ des milieux d’education´ et Boundary Theory ...... 12 nous pouvons esperer´ jouer un roleˆ de leadership en enseignement des Book Review: Backlund¨ and mathematiques´ au pays. Darboux transformations, Christiane Rousseau Nous devons cependant rester vig- the geometry of solitons . . . . 14 Premier message du president´ ilants car le ciel n’est pas sans nu- (English version on page 32) age. Comment va evoluer´ le monde CMS Winter Meeting 2002 des publications scientifiques? Ce sont ´ Reunion d’hiver de la SMC les revenus provenant de nos publica- 2002 ...... 19 C’est le premier message que je vous adresse a` titre de presidente´ de tions qui nous permettent de financer beaucoup de nos autres activites.´ Si Math In Moscow Update ...... 33 la Societ´ emath´ ematique´ du Canada. Graceˆ au travail et au devouement´ le marche´ des publications s’effondre nous devrons couper dans les bud- 34th Canadian Mathematical de centaines de membres de la gets alloues´ aux activites´ educatives,´ Olympiad Winners ...... 36 communautemath´ ematique´ canadi- enne depuis 57 ans la SMC est main- services electroniques´ ou activites´ de Obituary/Avis de dec´ es...... ` 39 tenant une grande societ´ e.´ De plus recherche. De plus, alors que beau- notre discipline est bien mieux po- coup de membres de notre commu- News from Departments ...... 40 sitionnee´ qu’il y a quelques annees.´ naute´ prennent leur retraite nous de- L’infrastructure de recherche est main- vons convaincre les jeunes recrues Calendar of events / Calendrier tenant tres` developp´ ee´ avec trois in- des universites´ canadiennes de devenir des ev´ enements.´ ...... 42 stituts et BIRS dont la program- membres de la Societ´ emath´ ematique´ mation scientifique couvre un large du Canada et de travailler avec nous. Rates and Deadlines / Tarifs et spectre de domaines des sciences Ech´ eances´ ...... 43 mathematiques.´ Nous avons resserre´ (continued on page 33) SEPTEMBER/SEPTEMBRE CMS NOTES
EDITORIAL Depuis l’invention de l’imprimerie a` CMS NOTES partir de caracteres` amovibles, il y a NOTES DE LA SMC six cents ans, et plus particulierement` depuis la creation´ des journaux et re- Les Notes de la SMC sont publiees´ vues, vers la moitiedudix-septi´ eme` par la Societ´ emath´ ematique´ du Canada siecle,` on tient pour acquis la diffu- (SMC) huit fois l’an (fevrier,´ mars, avril, sion de l’information sur un support mai, septembre, octobre, novembre et papier. Mais l’arrivee´ de l’ordinateur decembre).´ a tout chamboule.´ Les avancees´ tech- Redacteurs´ en chef nologiques associees´ a` l’ordinateur, Peter Fillmore; S. Swaminathan ainsi que les progres` realis´ es´ en traite- [email protected] S. Swaminathan ment de texte ont et´ etr´ es` avan- tageux pour le transfert electronique´ ´ ´ Since the invention of printing from Redacteur-gerant d’information technique ou scien- movable type about six centuries ago Graham P. Wright tifique. Les auteurs et les editeurs´ and more especially since the devel- Redaction´ font maintenant un usage poussedu´ opment of journals in mid-seventeenth Education´ : Edward Barbeau; traitement electronique´ aux etapes´ century, dissemination of information Harry White de la composition et de la revision´ through printing has been taken for [email protected] des articles de revues et des livres. granted. This situation changed with Reunions´ : Monique Bouchard Des logiciels permettent en outre de the advent of computers. The rise of [email protected] regler´ les problemes` complexes as- technology associated with them and Recherche : Noriko Yui socies´ a` la composition de problemes` progress in electronic processing of [email protected] ou de formules mathematiques,´ ainsi words have yielded enormous advan- Assistante alar` edaction´ que les diagrammes et les photogra- tages to scientific and technical infor- Victoria L. Howe phies. Un grand nombre de re- mation transfer. Electronic processing vues sont desormais´ offertes en version Note aux auteurs : indiquer la section is now used extensively by authors and electronique.´ Dernierement,` Springer choisie pour votre article et le faire par- publishers for composition and editing Verlag a annonce´ que sa collection venir aux Notes de la SMC a` l’adresse of journal articles and books. Software de Notes de conferences´ serait aussi postale ou de courriel ci-dessous : packages have been developed to han- offerte sous peu en version Web. dle complex mathematical typesetting Societ´ emath´ ematique´ du Canada Comme nous nous dirigeons vers un including diagrams and photographs. 577, rue King Edward monde de communication sans papier, Many journals have on-line versions C. P. 450, Succursale A nous devons examiner les profondes available now. Springer Verlag has Ottawa, Ontario, Canada K1N 6N5 repercussions´ qu’auront ces transfor- announced recently that their Lecture Tel´ ephone´ : (613) 562-5702 mations sur un grand nombre de per- Notes Series is also going on-line. As Tel´ ecopieur´ : (613) 565-1539 sonnes et d’organismes, y compris we move into a paperless communica- courriel : [email protected] les auteurs, les lecteurs, les editeurs´ tion environment we need to examine Site Web : www.smc.math.ca et les bibliotheques.` Asar` eunion´ its profound implications for many in- Les Notes,lesredacteurs´ et la SMC d’avril 2002 tenue a` Paris, le comite´ dividuals and institutions including au- ne peuvent etreˆ tenus responsables des executif´ de l’Union mathematique´ in- thors, users, publishers and libraries. opinions exprimees´ par les auteurs. Les ternationale a approuve´ des recom- The International Mathematical fichiers d’option de style utilises´ pour mandations concernant l’information Union Executive Committee has ap- la production de ce volume sont une et la communication electroniques.´ Le proved recommendations on electronic version modifiee´ des fichiers conc¸us comite´ a dresse´ une liste de pra- information communication at their par Waterloo Maple Software, c 1994, tiques exemplaires pour les per- meeting in April 2002 in Paris. They 1995. sonnes du domaine de la publica- have identified a number of ”best prac- tion d’ouvrages mathematiques.´ Les tices” for those involved with math- ISSN : 1193-9273 (imprime)´ recommandations portent sur toutes ematical literature. The recommen- 1496-4295 (electronique)´ les formes de publication scientifique. dations concern all forms of schol- c Societ´ emath´ ematique´ du Canada Ailleurs dans les NOTES, vous trou- arly publishing. A brief announcement 2002 verez une breve` annonce acesujet` concerning this is included elsewhere ainsi qu’une adresse electronique´ ou` in this issue of the NOTES with a URL vous pourrez obtenir plus de details.´ reference for detailed information.
2 NOTES de la SMC SEPTEMBER/SEPTEMBRE
NSERC REALLOCATION EXERCISE 2000-2002
Every four years, up to 10% of NSERC’s Research Grants Richard Kane (UWO), Chair Program budget is redistributed according to the changing Hershy Kisilevsky (Concordia) needs and priorities of the Canadian scientific research com- Robert Moody (BIRS/Alberta) munity. In addition to the effect this has on the individ- Richard Nowakowski (Dalhousie) ual Grant Selection Committee (GSC) budgets, it influences Edward Vrscay (Waterloo). planning in the disciplines and is useful in communicating the importance of scientific research in Canada. The members of the NSERC Reallocations Committee are: In each discipline the GSC establishes a Steering Com- Robert Birgenau (University of Toronto) mittee, which consults the community and prepares a sub- Elizabeth Cannon (University of Calgary) mission to NSERC’s Reallocations Committee. The steering Michael Fryzuk (UBC) committees were set up in the summer of 2000 and their re- Brian Hall (Dalhousie University) ports were due in January 2002. NSERC’s funding decisions Barbara Keyfitz (University of Houston) were released in July (see the President’s report and the re- Larry Mayer (University of New Hampshire) port by the Steering Committee Chair, Richard Kane, in this Peter Nicholson (BCE Inc.) ´ issue). Robert Papineau (Ecole de technologie superieure)´ David Schindler (University of Alberta) David Turpin (University of Victoria) The Steering Committee for Pure and Applied Mathematics Sidney Wolff (National Optical Astronomy Observatories) has the following members: James Arthur (Toronto) The Committee is chaired by Gilbert Drouin (NSERC Coun- cil, Valorisation-recherche Quebec).´ Peter Borwein (SFU) Ken Davidson (Fields Institute/Waterloo) Michel Delfour (Montreal)´ The CMS Notes plans to publish the submission of the Nassif Ghoussoub (PIMS/UBC) pure and applied mathematics Steering Committee in instal- Katherine Heinrich (Regina) ments. The first of these follows, consisting of the introduc- Jacques Hurtubise (CRM/McGill) tion and the first two parts.
Report of the Steering Committee for Pure and Applied Mathematics
Mathematics in Canada is represented posals on both excellence and the fu- nity; Part 4 provides an overview of the by an energetic and cohesive commu- ture: namely, on top researchers, to- 3 mathematical institutes; Part 5 is a nity with international impact, a very morrow’s leaders, and new applicants. report on new initiatives in infrastruc- effective infrastructure for the support Our proposals will request the follow- ture; Part 6 addresses the training of and dissemination of research (through ing: highly qualified personnel (HQP); Part its 3 mathematical institutes and their (1) Proposal A: targeted funding 7 provides further considerations on impressive initiatives), and a strong in- for recognized top researchers who can the funding proposals and the conse- volvement in cross-disciplinary activ- assume a leadership role involving an quences of no increased funding; and ities. In the past decade, Canadian active focused group; (2) Proposal B: Part 8 is an appendix containing de- mathematics has undergone a funda- targeted funding for younger emerg- tails concerning each of the mathemat- mental restructuring and has emerged ing leaders whose research and train- ical institutes. with a clear awareness of the disci- ing activities have moved to a higher Part 1: A Vision for Mathematics in pline’s central and pervasive role in level; and (3) Proposal C: adequate en- Canada Canadian society and of the urgent try grants for the very large number of need to fashion a strategy, built on junior and senior new applicants who A New Reality that reality, for the community. The will be applying to GSC 336/337 over The role and impact of the math- foundation for this activity is the sta- the next 4 years. ematical sciences within the global ble funding of individual researchers The document is structured as fol- scientific, technological, and biomed- and their research groups, the major- lows: Parts 1 and 2 provide the vi- ical enterprise has grown at an aston- ity of which is provided through GSCs sion and strategy for Canadian math- ishing rate over the past decade. The 336/337. ematics and the funding proposals for conceptual and computational tools To build on our momentum, we are achieving them; Part 3 is a report of mathematics have become essen- focusing our goals for the funding pro- on the Canadian mathematics commu- tial for progress in many areas of the
3 SEPTEMBER/SEPTEMBRE CMS NOTES life sciences, information and commu- has been a 20-year process, achieved Sciences Research Institute in Berke- nications technologies, nanosciences, through constant recruitment and de- ley (through NSERC, the NSF, and and financial and industrial sectors. velopment of talented new researchers. the Alberta government). BIRS will This is a new reality for mathemat- The current generation of younger re- provide Canadian mathematicians and ics. The interdisciplinary nature of searchers is internationally prominent users of mathematics with a major fo- mathematics and its “critical role in in many major areas. rum for research-intense workshops, advancing interdisciplinary research” Priorities promoting both mathematical research was stressed in the recent NSF (US and its interactions. The priorities of Canadian mathe- National Science Foundation) budget The mathematical institutes are a matics are: statement before the House Appro- vivid demonstration of the fact that (1) to strengthen its leadership in priations Committee. Mathematics many frontiers of knowledge are con- fundamental and interdisciplinary re- is a “powerful tool for insight and centrated in areas that cut across tradi- search, providing crucial mathematical a common language for science and tional disciplines, but possess mathe- resources for science and technology; engineering.” In what is described as matical tools as their common denom- and (2) to increase its capacity to re- a centerpiece of NSFs core invest- inator. Mathematics is the only disci- cruit, support, and train HQP in math- ments, the NSF proposed to double pline in Canada to have created such ematics. its funding for mathematical research large scale (and effective) institutions over the next few years. Canadian Mathematical Institutes for interdisciplinary activity. mathematics is fully engaged in this The presence of 3 mathematical in- Part 2: Strategy and Funding Pro- new reality. Over the past 10 years, stitutes capable of providing innova- posals Canadian mathematicians have forged tion and leadership in research is a The need for increased funding in substantial links to a broad spectrum major force behind the recent success mathematics is pervasive. In this pro- of scientific disciplines and emerging of Canadian mathematics. The re- posal, however, we limit our requests directions of research, and to financial search institutes in the mathematical to the case of certain key groups of and technological sectors. There is a sciences – Le Centre de Recherches researchers. In the last Reallocation need to maintain such momentum. The Mathematiques´ (CRM), the Fields In- Exercise, taking this approach proved full participation of Canadian science stitute for Research in Mathematical highly effective in advancing mathe- and technology in this highly math- Sciences (Fields), and the Pacific In- matical research and training. ematical and interdisciplinary world stitute for the Mathematical Sciences can be achieved only with a strong (PIMS)– have had a tremendous in- Implementation of Previous Proposals force of mathematically-literate and fluence on the Canadian mathematical The 1998 Reallocation Committee mathematically-sophisticated scien- community. The institutes have or- provided resources to GSCs 336/337 tists. The training of HQP in mathe- ganized numerous scientific programs for two categories of researchers: matics is a high priority. in major areas of current research, $539K for new applicants and younger A Strong Discipline with emphasis on outreach, interdis- researchers, and $323K for top re- Mathematics is a rich and active ciplinary, and international activities. searchers. This infusion of funding science with its own internal dynam- They have led the way in building has had a significant impact on a large ics and its own sources of fundamental bridges between Canadian mathemat- number of researchers and on the train- problems and conjectures in addition ics and other disciplines, and have ing of HQP. The following 3 statis- to being a conceptual framework and acted as major training centres for tics convey this impact and demon- source of powerful tools for science young talent. The institutes have also strate where much of these allocated and technology. The long-term im- pioneered the building of partnerships funds were applied: (i) there was an portance and relevance of mathemat- between Canadian mathematicians and increase in the number (from 32 to 59) ics to scientific endeavor as a whole the industrial and financial world. As of mathematicians with grants of $30K has been shown, over and over again, part of this activity, they brought to- or larger (i.e., roughly twice the aver- to be based on the strength and vigour gether researchers from mathemati- age grant in GSCs 336/337) in the pe- of its own core research. Furthermore, cal sciences and industry to form riod 1997/2001. In the process, these the ability of Canadian mathematics the national network, MITACS, and 59 mathematicians received an extra to participate in the greatly expand- the Montreal-based network, NCM2. $570K of funding, as the total value ing role of the mathematical sciences The most recent institute innovation of their grants rose from $1.6M to is necessarily founded on the quality is the Banff International Research $2.17M; of its researchers. The rise of Cana- Station (BIRS), a collaboration be- dian mathematics to its current level tween PIMS and the Mathematical (continued on page 37)
4 NOTES de la SMC SEPTEMBER/SEPTEMBRE
The Distribution Factor of Values of the Summatory Function of the Mobius¨ Function by Nathan Ng (Universite´ de Montreal)´
This note summarizes the part of my CMS doctoral prize lec- for all x>1. Mertens based this conjecture on a numerical ture that focussed on the summatory function of the Mobius¨ calculation of M(n) for n =1...10000. A related conjec- function. The lecture was titled “Limiting distributions and ture, known as the weak Mertens conjecture, asserts that zeros of Artin L-functions” and was presented in Toronto at 2 X M(x) the CMS Winter meeting in December 2001. dx log X. (5) I wish to thank the Canadian Mathematical Society for 1 x the honour of being chosen as the recipient of the 2001 CMS Each of these conjectures imply the Riemann hypothesis and doctoral prize. I would like to thank my supervisor, Profes- the simplicity of all of the zeros of ζ(s). For a time, it was sor David Boyd, who diligently guided me, generously gave believed that the bounds (4),(5) were true. However, Ingham of his time, and shared of his extensive knowledge of mathe- [In] dispelled the notion that (4) could be true with a condi- matics. tional proof that The summatory function of the Mobius¨ function − 1 − 1 The Mobius¨ function is defined as the generating se- lim sup x 2 M(x)=∞ , lim inf x 2 M(x)=−∞ (6) x→∞ x→∞ quence for the reciprocal of the Riemann zeta function, that is, assuming certain statistical properties of the zeros of ζ(s). ∞ 1 µ(n) Following Ingham’s ideas, Odlyzko and te Riele [OR] proved = . (1) s unconditionally in 1986 that ζ(s) n=1 n − k − 1 − 1 This translates to µ(n)=( 1) if n = p1 ...pk is square- lim sup x 2 M(x) > 1.06 , lim inf x 2 M(x) < −1.009 . x→∞ free and µ(n)=0otherwise. The Mobius¨ function plays an x→∞ important role in the analytic theory of numbers. It is espe- The question we now address is what is the true behaviour cially important in sieve theory and in the method of mollifi- of M(x)? Odlyzko and te Riele write in their article that cation as initiated by Selberg in his study of the zeros of the “No good conjectures about the rate of growth of M(x) are Riemann zeta function on the critical line. known.” We first present the current state of knowledge re- By partial summation of (1), we obtain M(x) garding . The best unconditional upper bound is 1 ∞ M(x) 3 − 1 = s s+1 dx (2) | | − 5 5 ζ(s) 1 x M(x) x exp( c log x(log log x) ) valid for Re(s) > 1 where for some effective constant c. On the other hand, if the Rie- M(x)= µ(n) (3) mann hypothesis is false, then n≤x θ− is the summatory function of the Mobius¨ function. The iden- M(x)=Ω±(x ) tity (2) demonstrates the direct connection between the zeta function and M(x). Over the years, this function has been where θ =supRe(ρ) with ρ ranging over the non-trivial ze- much studied and speculated about. One reason for interest ros of ζ(s) and any >0. Also observe that the existence in M(x) is that the Riemann hypothesis is equivalent to the of a multiple zero would drastically change the expected be- bound haviour of M(x). For example if Θ+iγ were a multiple zero 1 log x of order m ≥ 1 then |M(x)| x 2 exp c log log x Θ m−1 for an effective constant c and any >0. Moreover, Stieltjes M(x)=Ω±(x log x) . and Mertens conjectured
1 Since we have some understanding of the behaviour of M(x) | |≤ 2 M(x) x (4) in these unlikely scenarios we assume the opposite is true.
5 SEPTEMBER/SEPTEMBRE CMS NOTES
3 Namely, we assume the Riemann hypothesis is true and that for k>− 2 where all zeros of the zeta function are simple. This is the most in- k2 ∞ 2 teresting case to consider and also the more difficult case. It − 1 Γ(m + k) −m 4 ak = 1 p is currently known [C] that at least 10 of the zeros are simple p p m=0 m!Γ(k) and lie on the critical line. Our main interest in this problem originated with a com- and G is Barnes’ function defined by ment of Heath-Brown [HB]. He writes, “It appears to be an z 1 2 2 G(z +1)=(2π) 2 exp − (z + γz + z) open question whether 2 − 1 ∞ n x 2 M(x) z −z+z2/2n 1+ e . n has a distribution function. To prove this one would want n=1 to assume the Riemann hypothesis and the simplicity of the This conjecture has been proven for k =0by Von Mangoldt zeros, and perhaps also a growth condition on M(x).” The and for k =1by Gonek assuming the Riemann hypothesis. key point is to construct a distribution function (probability In the case k =2the author has proven that the Riemann hy- measure) that demonstrates the properties of M(x). Our ap- pothesis implies this is the correct order of magnitude with proach to this problem is to exploit the connection between explicit upper and lower bounds. As for the negative mo- M(x) and negative discrete moments of the Riemann zeta ments, less is known. Gonek established a conditional proof 3 function. that J−1(T ) T and also conjectured that J−1(T ) ∼ π3 T Discrete moments of the Riemann zeta function which agrees with (8). Inverting equation (2) (by Perron’s formula) we have The idea of using Jk(T ) to study M(x) was first real- 1 c+i∞ xs ized by Gonek who makes use of these connections to study M(x)= ds 2πi c−i∞ sζ(s) M(x) in short intervals [Go2]. In order to obtain any in- formation about M(x), it is necessary to understand Jk(T ). where c>1 and x/∈ Z. Moving the contour to the left, it Without any knowledge of Jk(T ), no new information con- follows that cerning M(x) can be gleaned. xρ M(x)= + E(x, T ) The limiting distribution ρζ (ρ) |γ|≤T The main theorem in [Ng2] is the construction of the lim- where E(x, T ) is a suitable error term. This last identity iting distribution of the function makes it clear that information concerning the sum − y y e 2 M(e ) . 2k Jk(T )= |ζ (ρ)| 0<γ