Professional Documents
Culture Documents
S E European
M M Mathematical
E S 25 years Society
December 2015
Issue 98
ISSN 1027-488X
Courtesy Sebsti Xamb-Descamps.
4 Presidents of the EMS.
Editorial Interviews
The EMS Jubilee Louis Nirenberg
25th EMS Manjul Bhargava
Anniversary History
5ECM in Amsterdam George Boole
6ECM in Krakw and Boolean Algebra
FREE
ACCESS
EXCEPTIONAL OFFER
Pure Mathematics
Research
COMPLIMENTARY ACCESS TO OVER 100
ARTICLES IN NOVEMBER AND DECEMBER
Authors in this collection include:
Toby Gee, Mark Kisin, Laura DeMarco, Terence Tao, Xander Faber, Gregg Musiker, Ralf Schiffler,
Lauren K. Williams, Peter Scholze, Jonathan Pila, Michael Atiyah, Claude LeBrun, Cristina Brndle,
Simon Donaldson, Evgeny Khukhro, Nicolas Bergeron, Akshay Venkatesh, David Conlon, Jacob Fox,
Benny Sudakov, Itay Neeman
journals.cambridge.org/pm15
Contents
Editorial Team
Editor-in-Chief Vladimir R. Kostic
European
Mathematical
(Social Media)
Lucia Di Vizio Department of Mathematics
LMV, UVSQ and Informatics
45 avenue des tats-Unis University of Novi Sad
Society
78035 Versailles cedex, France 21000 Novi Sad, Serbia
e-mail: divizio@math.cnrs.fr e-mail: vladimir.slk@gmail.com
There is an online nomination form for delegates of as- There is an online nomination form for delegates of indi-
sociate members. The nomination deadline for delegates vidual members. The nomination deadline for delegates of
of associate members is 17 March 2016. individual members is 17 March 2016.
The week-end 1820 September saw mathematicians ings at the Barber Institute of Fine Arts, next door to the
from around the world congregate at the University of School of Mathematics.
Birmingham, UK, for a conference in celebration of two Stefanie Petermichl (Toulouse) delivered the first
birthdays: the 150th of the venerable London Mathemat- plenary session of Saturday 19th, on Optimal control of
ical Society (LMS), and the 25th of the relatively youth- second order Riesz transforms on multiply-connected Lie
ful European Mathematical Society. groups, discussing progress on controlling the norms of
Under the watch of the Joseph Chamberlain Memo- certain classical operators on groups. She was followed
rial Clock-tower (or Old Joe, the worlds tallest free- by Bla Bollobs (Cambridge and Memphis) speaking
standing clock-tower), participants divided between par- on Percolation and random cellular automata. He paused
allel sessions on the themes of Algebra, Combinatorics, during his talk to pay tribute to two friends who had
and Analysis, and reunited for plenary talks from some recently passed away: IanCassels, Head of Mathemat-
of mathematics current leading lights. icsduringhisPhD at Cambridge, and Bollobss own
After warm greetings from Terry Lyons and Pavel graduate student Charles Read (Leeds). The days final
Exner, the two societies respective Presidents, and from plenary session was from Timothy Gowers on the subject
Andrew Schofield, Head of Birmingham Universitys of Interleaved products in highly non-Abelian groups, an
College of Engineering and Physical Sciences, the meet- algebraic problem motivated by a question in cryptog-
ing got underway with a plenary talk from Noga Alon raphy.
(Tel Aviv and Princeton), on the subject of Graphs, vec The conference dinner took place on Saturday even-
tors and integers. His focus was Cayley Sum Graphs of ing in Birmingham University Staff House, where deli-
finite Abelian groups, and the role they play in subjects cious food was consumed, and many glasses were raised
from Graph Theory to Information Theory. Aner Shalev in cheerful celebration of the two societies birthdays.
(Jerusalem) later delivered the days second plenary talk, Rounding off the meeting on Sunday 20th was Keith
on Groups in Interaction, discussing several instances of Ball (Warwick), with an entertaining plenary talk ex-
interplay between group theory and other subjects, in- ploring The probabilistic character of high-dimensional
cluding probability theory, algebraic geometry, and num- objects. Then with hearty thanks to the organisers, Chris
ber theory. Parker, Anton Evseev, Maria Carmen Reguera and An-
Away from the lecture theatres, mathematicians were drew Treglown, and with congratulations to EIisa Covato
spotted enjoying Balti curry (a famous Birmingham cre- (Bristol) and Robert Hancock (Birmingham) winners of
ation, along with the postage stamp and the pneumatic the graduate student poster competition, an excellent
tyre) and enjoying the outstanding collection of paint- celebratory weekend drew to a close.
Jean-Pierre Bourguignon (IHS, Bures-sur-Yvette, France), Oussama Hijazi (Universit de Lorraine, Nancy, France), Jean-Louis
Milhorat (Universit de Nantes, France), Andrei Moroianu (Universit de Versailles-St Quentin, France), Sergiu Moroianu (Institu-
tul de Matematica al Academiei Romne, Bucuresti, Romania)
A Spinorial Approach to Riemannian and Conformal Geometry (EMS Monographs in Mathematics)
ISBN 978-3-03719-136-1. 2015. 462 pages. Hardcover. 16.5 x 23.5 cm. 78.00 Euro
The book gives an elementary and comprehensive introduction to Spin Geometry, with particular emphasis on the Dirac operator
which plays a fundamental role in differential geometry and mathematical physics.
After a self-contained presentation of the basic algebraic, geometrical, analytical and topological ingredients, a systematic study
of the spectral properties of the Dirac operator on compact spin manifolds is carried out. The classical estimates on eigenvalues
and their limiting cases are discussed next, and several applications of these ideas are presented. The special features of the
book include a unified treatment of Spinc and conformal spin geometry (with special emphasis on the conformal covariance of the
Dirac operator), an overview with proofs of the theory of elliptic differential operators on compact manifolds based on pseudodifferential calculus, a spinorial
characterization of special geometries, and a self-contained presentation of the representation-theoretical tools needed in order to apprehend spinors.
This book will help advanced graduate students and researchers to get more familiar with this beautiful domain of mathematics with great relevance to both
theoretical physics and geometry.
One of the tasks given to the Ethics Committee is to consider possible violations of the Code of Practice, in par-
ticular concerning plagiarism.
If you, as an author, believe that you are the victim of plagiarism and wish to bring a case to the Ethics Committee,
you should undertake the following steps:
3. Contact the author(s) and the editor(s) of the journal involved, presenting your evidence of plagiarism.
This step may resolve the case. If no replies or negative replies are received, you may consider bringing the case to
the Ethics Committee. You should start by contacting the Chair informally to ensure that your submission satisfies
the requirements of the Code of Practice. Then make a formal submission.
4. The Committee will acknowledge receipt and will decide whether there is a prima facie case. If so, the commit-
tee will consult experts as specified in the Code of Practice.
Arne Jensen
Chair (until end of 2015)
Ethics Committee
The Code of Practice can be found at
http://www.euro-math-soc.eu/committee/ethics
The IMUs Committee for Women in Mathematics on how CWM money would be spent and other funding
(http://www.mathunion.org/cwm/) invites proposals for which may be available. There will be one call for appli-
funding of up to 3000 for activities or initiatives tak- cations regarding activities in 2016 with deadline of 15th
ing place in 2016, and aimed at establishing or support- January 2016. It is anticipated that further calls will be
ing networks for women in mathematics, preferably at made in subsequent years.
the continental or regional level, and with priority given Applications should be sent to info-for-cwm@math
to networks and individuals in developing or emerg- union.org
ing countries. CWMs help could include, for example, Successful applications will be informed no later than
funding meetings, travel for individuals for consultation February 29, 2016. Depending on demand, successful
purposes, or advice and support in creating websites. applications may not be funded in full. Successful appli-
Other ideas for researching and/or addressing problems cants will be asked to send before the end of 2016 a short
encountered by women in mathematics may also be con- report of the activity with details of how the budget was
sidered. spent.
Proposers should write a short account (no more
than two pages) explaining the nature of their activity IMU-CWM Committee
and how it fulfills the above aims, as well as indications October 2015
PERSISTENCE THEORY
From Quiver Representations to Data Analysis
Steve Y. Oudot, Inria Saclay
Persistence theory emerged in the early 2000s as a new theory in the area of applied and computational topology. This book
provides a broad and modern view of the subject, including its algebraic, topological, and algorithmic aspects. It also elaborates on
applications in data analysis. The level of detail of the exposition has been set so as to keep a survey style, while providing sufficient
insights into the proofs so the reader can understand the mechanisms at work.
RANDOM OPERATORS
Disorder Effects on Quantum Spectra and Dynamics
Michael Aizenman, Princeton University & Simone Warzel, Technische Universitt Mnchen
Provides an introduction to the mathematical theory of disorder effects on quantum spectra and dynamics. Topics covered range
from the basic theory of spectra and dynamics of self-adjoint operators through Anderson localization - presented here via the
fractional moment method, up to recent results on resonant delocalization.
The subjects multifaceted presentation is organized into seventeen chapters, each focused on either a specific mathematical topic
or on a demonstration of the theorys relevance to physics, e.g., its implications for the quantum Hall effect.
5ECM in Amsterdam
Andr Ran (Vrije Universiteit Amsterdam, The Netherlands) and Herman te Riele (CWI, Amsterdam, The Netherlands)
ciety (Koninklijk Wiskundig Genootschap, KWG) and tion very much enjoyed the presidents dinner later that
two highlights were prizes awarded at those meetings. evening at the head office of ING, close to the conference
On Monday evening, there was the ceremony around venue.
the Brouwer prize. This is a prize that is awarded by On Wednesday, the congress dinner party was held in
the KWG every three years, and 2008 happened to be Hotel Arena. That turned out to be more than a bit mis-
one of those years. The recipient was Phillip Griffiths leading: the party was actually held in an old church and
(Princeton), who gave his lecture on Monday evening in was, like the rest of the congress, a memorable event.
the auditorium of the Vrije Universiteit. The ceremony For us as organisers, the week went by in a blur. There
was preceded by organ music, played by mathematician was always something to be done but our team got us
Jozef Steenbrink, and followed by the presentation of the through the week in one piece. Nevertheless, we were
Brouwer Medal and a welcome reception. In the after- quite relieved when the closing ceremony was over on
noon, Dirk van Dalen gave an historical lecture about Friday 18 July, around six in the afternoon. We survived
L.E.J. Brouwer. Also during 5ECM, the Beeger prize the experience and we are happy that we were able to
was awarded to Dan Bernstein. The Beeger prize is given give so many of our colleagues from around the world a
by CWI Amsterdam at every other meeting of the KWG nice conference in what we hope they found a very en-
and, again, 2008 happened to be a year for this. joyable and hospitable city.
During lunch breaks, movies were shown about Kurt
Gdel and Wolfgang Dblin. Two round table meetings
took place during the conference: one on mathemat- Herman te Riele joined CWI Amsterdam
ics and industry, and one on mathematics in develop- in 1970, until his retirement by the end of
ing countries. On Thursday afternoon, the Philips PhD 2011. He carried out research on numeri
prize lectures were presented and the Philips prize was cal mathematics and computational num
awarded to Erik Jan van Leeuwen of CWI Amsterdam. ber theory, often with help of large-scale
All in all, the conference programme had many prize lec- computers. Besides that he has been and
tures, special lectures and other features, like the selling still is active in organizational matters con
of Brouwer stamps and of Gaussian prime tablecloths by cerning mathematics (like member of the
KWG. A special issue of Nieuw Archief voor Wiskunde board of the Royal Dutch Mathematical Society (since
called Amsterdam Archive (http://www.nieuwarchief.nl/ 2003), the organization of the BeNeLux Mathematical
serie5/pdf/naw5-2008-09-2-091.pdf) was included in the Congress in Amsterdam (2223 March, 2016), the organi
conference bag. It presents a Dutch view of the world of zation of the fifth European Congress of Mathematics
mathematics. The proceedings of 5ECM were published (Amsterdam, 2008), secretary of ERCOM (European re
in 2010 by the EMS. search Centers on Mathematics (20062009) and secretary
No conference goes without its problems and up- of the Review Committee for mathematical research at six
heavals. For us, the most notable was the following. An Dutch Universities (20092010).
extremely well known mathematician was stopped when
entering the main lecture hall by a student: Sir where Andr Ran is the Desmond Tutu professor
is your badge? I dont have one, but my name is, in mathematics at Vrije Universiteit Am
to which the student answered: Well, sir, I do not care sterdam, where he has been since 1985.
who you are; we are under strict orders not to let anyone He also holds an extra-ordinary profes
in without a badge. We do apologise but we had to be sorship at North West University in South
strict; nobody got in without a badge, not even one of the Africa. His research interests are linear
most prominent mathematicians of the last half century. algebra, operator theory and systems and
Notably, the problem was solved and the person in ques- control theory.
6ECM in Krakw
Organizers Reminiscences
Stefan Jackowski (University of Warsaw, Poland)
6ECM, held in Krakw, 27 July 2012, was the most re- to my personal reminiscences related to the congress and
cent ECM, thus many readers may still remember it, if not to what happened behind the scenes.
as participants then as readers of the EMS Newsletter,
where a detailed report A Dozen Facts about the 6th Eu- A long time ago Mdralin 1990
ropean Congress of Mathematics was published in Sep- I think the first time I heard about the idea of the Euro-
tember 2012. This article will therefore be mainly devoted pean Congresses of Mathematics was in October 1990, at
a meeting in a residence of the Polish Academy of Sci- great local influence and the bid is strongly supported
ence in Mdralin near Warsaw, when the European Math- by other Universities. The team behind him was not so
ematical Society was founded. I must confess that, at the obvious to us, though. Another possible factor in Kra
time, the idea of having another big congress, similar to kow is the football competition [Euro 2012, organised
the ICM, in which prizes similar to Fields Medals were jointly by Poland and Ukraine SJ], which will almost
awarded, did not appeal to me. I was hoping to hear some certainly inhibit outreach activity.
new ideas of European collaboration.
I cant remember why I attended the meeting of The EMS Executive Council met in Utrecht just before
prominent representatives of the European mathematical the 5ECM in Amsterdam and chose Krakw for 6ECM.
community. At that time, I was less than 40 and I did not I think the decisive role was played by the strong deter-
have any formal position. I think I was invited because mination of Andrzej Pelczar (a figure well known to the
my wife and I had had the honour of receiving Michael EMS) to organise the congress, as well as the visiting
Atiyah at home when he came to Warsaw to discuss the teams very positive impression of the congress venue:
organisation of the ICM 1983. Sir Michael was also the the Auditorium Maximum of Jagiellonian University. The
key person in the process of founding the EMS and the other two cities presented very attractive outreach pro-
most distinguished participant of the Mdralin meeting. grammes but couldnt offer as convenient facilities.
His negotiating partner back in the 1980s and 1990
was Professor Bogdan Bojarski from the Polish Academy Back home
of Sciences. In some Soviet bloc countries, academies had When Polish representatives returned home from Utre-
a monopoly on representing the scientific community in- cht, difficult negotiations between the PTM and Jagiellon-
ternationally, thus the Polish mathematical community ian University began. Since both institutions signed the
couldnt be formally represented by the Polish Math- bid and accepted responsibility for the congress, it seemed
ematical Society a limited monopoly lasted long after natural to specify the contributions expected of each of
the fall of the system. The second host in Mdralin was them. Public universities in Poland are subject to detailed
Professor Andrzej Pelczar, then President of the Polish and restrictive regulations concerning spending money,
Mathematical Society (PTM), who later became Vice- whereas a society, as a private entity, can be much more
President of the EMS (19972000). flexible. At the time, Andrzej Pelczar was very active lo-
cally and at the national and international level trying to
Utrecht 2008 get support and attract interest in the congress. It was all
It was Andrzej Pelczars idea to invite the European Con- stopped by Andrzejs sudden death on 18 May 2010.
gress of Mathematics to Krakw, his beloved hometown, Some people couldnt imagine ECM without Andrzej.
and to Jagiellonian University, his alma mater. Having I even heard comments that it would be better to give up
this in mind, he promoted, in 2006, the upgrade of the Pol- organisation of the congress. For my PTM collaborators
ish Mathematical Society membership of the EMS and and me, this was unthinkable. My second term as PTM
then prepared a bid which was submitted to the Execu- president was ending on 31 Dec 2010 but, under these new
tive Committee of the EMS in 2007. I signed the bid as circumstances, I decided to stay for a third term, 201113.
President of the PTM, assuming that all the work would The unexpected absence of Professor Pelczar created
be done in Krakw under Andrzejs supervision and my many misunderstandings. We were not aware of various
role would just be formal representation of the society. traditional and oral commitments that had been made,
Organisation of the ECM was not on my list of priorities e.g. concerning funding. The misunderstandings became
when I became President of the PTM in 2005. Then I got clear when I was invited to report on preparations of the
involved in the organisation of a joint meeting with the congress at the Executive Committee meetings in Laus-
AMS in Warsaw in 2007 and, after its success, I planned anne, Firenze and Ljubljana. In Ljubljana, the Executive
similar meetings with Germany and Israel. I believed Committee decided that for the next congress (2016), a
that bilateral meetings, where both partners collaborate document would be signed by the EMS President and the
on the programme, served the Polish community better Chair of the Organising Committee, listing the commit-
then a big international meeting, where the local organ- ments agreed to by the Organising Committee.
isers are primarily responsible for financial support and After Andrzejs death, the Dean of Mathematics at
logistics, with little influence on the scientific programme. Jagiellonian University Roman Srzednicki (a former
Three cities wanted to organise 6ECM and submitted student of Andrzej) assumed his duties. In the Summer
their bids: Krakw, Prague and Vienna. Representatives of 2010, we both gave presentations on the preparations
of the EMS Executive Committee visited all three cities of the 6ECM at the Executive Council Meeting in So-
in late October 2007. After the visit they presented their fia. Later, President of the EMS Marta Sanz-Sol and I
evaluation, writing about Krakw as follows: made a presentation to the IMU General Assembly in
Hyderabad. In January 2011, Marta visited Krakw to
The conference venue in Krakow was extremely beau discuss progress in the organisation of the congress. Al-
tiful and practical. Everything needed for the confer though several representatives of the university and city
ence is available in one lovely building, close to the city authorities received her and assured her of their support,
centre. Also, this is owned by the University, so the price she probably realised that organisation of the congress
will be low. Andrzej Pelczar (the former Rector) has was at a crossroads.
Last lap
Invitations to plenary and invited speakers were sent out
in May 2011. The President of the EMS, and representa-
tives of the PTM and UJ as co-organisers of the congress,
signed the invitations. We offered to cover all the usual
expenses. However, at that time, applications for support
were still pending. The First Announcement was distrib-
uted in July 2011, a year before the congress. Pre-registra-
tion was opened on the 6ECM website.
At the end of June 2011, the 8th European Confer-
Participants of the past ECMs.
ence on Mathematical and Theoretical Biology was held
at Auditorium Maximum, the future 6ECM venue. Mem-
bers of the EOC went there to monitor how a conference The congress
of a size comparable to the ECM would fit in the building. There are two gratifying moments in a conference organ-
Observations were carefully analysed and this helped us isers life: a smooth opening and a successful closing.
to arrange the space more comfortably. In particular, we The opening of the 6ECM was well-attended by state
noticed that there were not enough seats in the lobbies officials. The Minister of Science and Higher Education
for informal discussions and registration booths took up (Professor of Law Barbara Kudrycka) attended and gave
too much space. Thus, just before the 6ECM, we rented a a well-received speech, assuring the audience of the Gov-
number of sofas and comfortable chairs; instead of regis- ernments high regard for mathematics: Poland is very
tration booths, we just put tables at the side. aware of the importance of science education, which of
I distinctly remember the day at the beginning of July course includes mathematics. She went on to say: The
when, while on vacation, I worked on some 6ECM grant Government is aware of the special role of mathemati-
application from that day, preparations of the 6ECM cal abilities in the labour market. She mentioned an in-
became my full-time job, which continued until the last crease of funds for fundamental research, in particular
day of the congress a year later. My closest collabora- for mathematics. After the speeches, the President of the
tor was Krystyna Jaworska, who travelled with me many EMS, together with the chairs of the prize committees,
times from Warsaw to Krakw. She was in charge of fi- presented the EMS prizes to the recipients. They gave lec-
nances of the 6ECM, starting from grant applications and tures during the congress. In the booklet devoted to 2012
Problems for
Problems for Children
Children
5 to 15 Years Old
Old
Vladimir Arnold
Vladimir Arnold
I wrote these problems in Paris in the spring of 2004. Some American high school students had been successfully
Russian residents of Paris had asked me to help cultivate a solving this problem for over a decade. But then some Rus-
culture of thought in their young children. This tradition in sian students arrived from Moscow, and none of them was
Russia far surpasses similar traditions in the West. able to solve it as their American peers had (by giving 30
I am deeply convinced that this culture is developed best square inches as the answer). Why not?
through early and independent reflection on simple, but not 7. Victor has 2 more sisters than he has brothers. How many
easy, questions, such as are given below. (I particularly rec- more daughters than sons do Victors parents have?
ommend Problems 1, 3, and 13.)
My long experience has shown that C-level students, lag- 8. There is a round lake in South America. Every year, on
ging in school, can solve these problems better than outstand- June 1, a Victoria Regia flower appears at its center. (Its stem
ing students, because the survival in their intellectual Kam- rises from the bottom, and its petals lie on the water like those
chatka at the back of the classroom demanded more abil- of a water lily). Every day the area of the flower doubles, and
ities than are requisite to govern Empires, as Figaro said on July 1, it finally covers the entire lake, drops its petals, and
of himself in the Beaumarchais play. A-level students, on the its seeds sink to the bottom. On what date is the area of the
other hand, cannot figure out what to multiply by what in flower half that of the lake?
these problems. I have even noticed that five year olds can 9. A peasant must take a wolf, a goat and a cabbage across a
solve problems like this better than can school-age children, river in his boat. However the boat is so small that he is able
who have been ruined by coaching, but who, in turn, find them to take only one of the three on board with him. How can he
easier than college students who are busy cramming at their transport all three across the river? (The wolf cannot be left
universities. (And Nobel prize or Fields Medal winners are alone with the goat, and the goat cannot be left alone with the
the worst at all in solving such problems.) cabbage.)
10. During the daytime a snail climbs 3 cm up a post. During
1. Masha was seven kopecks short of the price of an alphabet the night it falls asleep and slips down 2 cm. The post is 10 m
book, and Misha was one kopeck short. They combined their high, and a delicious sweet is waiting for the snail on its top.
money to buy one book to share, but even then they did not In how many days will the snail get the sweet?
have enough. How much did the book cost? 11. A hunter walked from his tent 10 km. south, then turned
east, walked straight eastward 10 more km, shot a bear, turned
2. A bottle with a cork costs $1.10, while the bottle alone
north and after another 10 km found himself by his tent. What
costs 10 cents more than the cork. How much does the cork
color was the bear and where did all this happen?
cost?
12. High tide occurred today at 12 noon. What time will it
3. A brick weighs one pound plus half a brick. How many occur (at the same place) tomorrow?
pounds does the brick weigh? 13. Two volumes of Pushkin, the first and the second, are
side-by-side on a bookshelf. The pages of each volume are
4. A spoonful of wine from a barrel of wine is put into a glass
2 cm thick, and the front and back covers are each 2 mm
of tea (which is not full). After that, an equal spoonful of the
thick. A bookworm has gnawed through (perpendicular to the
(non-homogeneous) mixture from the glass is put back into
pages) from the first page of volume 1 to the last page of vol-
the barrel. Now there is a certain volume of foreign liquid
ume 2. How long is the bookworms track? [This topological
in each vessel (wine in the glass and tea in the barrel). Is the
problem with an incredible answer 4 mm is totally impos-
volume of foreign liquid greater in the glass or in the barrel?
sible for academicians, but some preschoolers handle it with
5. Two elderly women left at dawn, one traveling from A ease.]
to B and the other from B to A. They were heading towards 14. Viewed from above and from the front, a certain ob-
one another (along the same road). They met at noon, but did ject (a polyhedron) gives the shapes shown. Draw its shape
not stop, and each of them kept walking at the same speed as as viewed from the side. (Hidden edges of the polyhedron are
before. The first woman arrived at B at 4 PM, and the second to be shown as dotted lines.)
arrived at A at 9 PM. At what time was dawn on that day?
...........................
6. The hypotenuse of a right-angled triangle (on an Ameri-
..........
.......
est by a length equal to x bar-lengths. What is the largest pos- To Problem 20 To Problem 21 To Problem 22
sible value of x? 22. You have two vessels of volumes 5 liters and 3 liters.
...................................
................................................................................................... Measure
...........................................
out one liter, leaving the liquid in one of the vessels.
............................................. ................................................................................................. ....................................................................................................................................
..................................................
............................................................ . . ........................................................
...................................... ...... .. ....... ......................
... ........
.......................................................................................... ... .... ..
.......... ... .......... ...
... ..... .
. ... .. ..............................................
x
.
1 A B
... .
. .... .......................................
..................................................... .................................................................................... ................................. .
Top view Front view ..........
... . ...
... ..
..
..
.
.
...
...
... ...................................
... ...
.....
To Problem 14 To Problem 16 To Problem 17
...
...
..
.. ...
...
.. 5
..
... .
.
..... ... ... ... ... ... ... ..... ... ... ... ...
.
..
.
.
.
.
.
. 3
17. The distance between towns A and B is 40km. Two cy-
... .
. ..
... . ... ..... ............
....
............ .... .....
..................................... .. .. ... .. .. ........
..........................................
clists leave from A and B simultaneously traveling towards
..................................................................................
these tetrahedra.
...
..... ...
........ ............ .....
................................................ ................................................
... . . ..
...... ............................................................... ...........
..................................... ..................................
. .. .. ................................... ........France.......
.. ................... ..
...
... ...
..
..
.
........... What fraction of the cubes volume is the volume of this
.......
intersection?
... ..... ........ ......... ......... ........ ........ ... .......
... ........... ........ ........ .... ...... ...
.................
..... ..... ....... .... ....... .. .
.........
....
33bis . Construct the section cut of a cube cut off by the plane
..... Image
. .. . ..... .......... ..........
. ..........
..... .. .....
.......... ...... ......
passing through three given points on its edges. [Draw the
.... .. . .....
... ........... ... .
...... .. ...
... .................. ...
... . ...
..
............
... ................................................................. .. .......... .
.. ..............
polygon along which the plane intersects the faces of the
.... ... .
.... ....
..... ....
...... ....
............................ .....
..cube.]
.. ............. .......................... .......
......... ....................................... ...... ... .........
. ....... .... . .......
..... ... ... .....
..... ...
. ... .....
.......
........... ........
..... ...
.
.....
.....
.................................................
.....
31.
.
Some polyhedra have only triangular faces. Some exam-
........................ . .....
...... .
.
................................................ .....
To Problem 28 To Problem 30 ..
.
...
.
.....
..... C
..... .
...
...
. A
....
ples are the Platonic solids: the (regular) tetrahedron (4 faces), ....... ............................................................................
... ...
....
... ...
.
the octahedron (8 faces), and the icosahedron (20 faces). The
... ........................ . . .
B
....
A .............................................
...
... ... ... .....
...
... .......
... ...
.....
faces of the icosahedron are all identical, it has 12 vertices, ......
... ............. . . ...
. .... .
............................................................ . .
... ...
. .
..... B
.
... ..... .....
and it has 30 edges.
.
..... .....
...
......
... ......
... .. ... . ........
Is it true that for any such solid (a bounded convex poly- .......................
. .
...
.. .
................................................................................ .....
hedron with triangular faces) the number of faces is equal to To Prob em 24 To Prob em 25 To Prob em 27
twice the number of vertices minus four? 34 How many symme r es does a e rahedron have? A cube?
........
..........
...... .. .....
An oc ahedron? ........ . ........An
........................................... cosahedron? A dodecahedron? A sym-
.
...... . .. ..........................................................................................
me ry of .a
. ....figure .... s a ..... ransforma on of h s figure preserv ng
. ... ........... ........ .... ........ .
..
....... ......................... .... ......... .
. .
.. ... ..... .
.
.. .. .. ....... ... .
...... ... ....
.. ... .... ..
..
.. . .. ..... ..
. ..
... ...... . . . .
.. .. ... .. ......
... ... ..... ......... ... .........
eng hs
.... ... .... ..
...... ..... .. ..... . . .. ..................... ... .. . . .
..
.
.. ... ....
. .
.. .. .
.. .. ... .. . ... ..... . ......
.
.
...........
. .. ...
. ... ....... . ... ....
.
... .... .
.... .. . .. ..... ... ..... .
... . ....... . ... ... ..... . ..
How .. .. many
......of hese symme r es are ro a ons and how
.... ... .... ..... ... . .. ...
... ... ........
. .. . ........ ... ... ... ...... ..... .....
.... .... ........ .. .. ...
... ... .... .......... .. .... ... ...... .. .. ............. ....
... ... ... ... ... .................................. ....
.... . ..
... ... ..
.....many are
... ... reflec ...........................ons ....................... n..... p ... ..anes ( n each of he five cases
.. ... .. ... . .
. .
. ... ..
..... .. . .
.. ... ... ..
... . ...
... .... ............. .. .. .
........
.. ..... ... ... ..... .. ........ . ... ..
.... ...
. .
.. ..
. ....
.
................
. ....
. ..
..
. .... ... . . .. .
.. . .
. . .
. ..... ... .
..... ........... ... .
..... ... . . .
... .. ... .......... . . . ..
s ed)?
... . .... ........
.
... ..... . .
............ ..... . ......
... ... ... .. ..... ....................... ..
... ......................
... .. ... ..... .... .
... .. ... ........
.
..... . ... ..
. ... ....
. ..
.. ...... ... ... .
. . .
.. . .
. .
.
. .
. .... ..
. ..
. .
. .
..
.. . ... .. ... . .. .. ....
..... . ................ ....
.. . ... ... .. ... ... .... . ... . .. ....
........................ ... ..... .. ..... ... .. ........
35 How
..
... .... many ... ways are
. .... .....here o pa n he s x faces of s m ar
.............. .....
..... .. .... ........ .... .... .. .... .. ... .... . ... . . ... . ... . .........
..............
..............
... ...
. . ..... .. ... ..... .. ......
. ...... ... .........
. . ..... . ...... ................
........................ ... ..... .. ........... .. .... ..........
cubes w h s x co ...ors ..........................(1 6) [one co or per face] so ha no
............... ..
............. ....... ..... . ........
........ ................................... .... .........
......... ...
1 1 1 1 a = 2, b = 2
+ + + +
12 23 34 99 100 To Problems 42,47.43 There are n teamsToparticipating Problem 46in a tournament. After
(with an error of not more than 1% of the correct answer). each game, the losing team is knocked out of the tournament,
and after n 1 games the team left is the winner of the tour-
41. If two polygons have equal areas, then they can be cut nament.
into a finite number of polygonal parts which may then be A schedule for the tournament may be written symboli-
rearranged to obtain both the first and second polygons. Prove cally as (for example) ((a, (b, c)), d). This notation means that
this. [For spatial solids this is not the case: the cube and the there are four teams participating. First b plays c, then the
tetrahedron of equal volumes cannot be cut this way!] winner plays a, then the winner of this second game plays d.
........................................................ ....................................................
... ....
How many possible schedules are there if there are 10
teams in the tournament?
. .
.. .. ...
... ... ... .
..
.
For 2 teams, we have only (a, b), and there is only one
. . ..
.. .. ..................... .... ...
... ... ...
...
schedule.
. . ...
.. .. .....................................................
.....................................................
For 3 teams, the only possible schedules are ((a, b), c), or
42. Four lattice points on a piece of graph paper are the ver- ((a, c), b), or ((b, c), a), and are 3 possible schedules.
tices of a parallelogram. It turns out that there are no other For 4 teams we have 15 possible schedules:
lattice points either on the sides of the parallelogram or inside
it. Prove that the area of such a parallelogram is equal to that (((a, b), c), d); (((a, c), b), d); (((a, d), b), c); (((b, c), a), d);
of one of the squares of the graph paper. (((b, d), a), c); (((c, d), a), b); (((a, b), d), c); (((a, c), d), b);
(((a, d), c), b); (((b, c), d), a); (((b, d), c), a); (((c, d), b), a);
((a, b),..(c,
... d)); ((a, c), (b, d)); ((a, d), (b, c)).
..
.......... .........
............ ...
... .
............. ...
.............. ............ . ............ ..
. .
.... . .............. .. .............. ...
...............
....... .
.................
. ...
...
....
. 48. ... We connect
... .
.
. n points 1, 2, . . . , n with n 1 segments to
... ............................. . ........................
form.....a......tree. How many different trees can we get? (Even the
..
. ..
. ......
....
. .....
...... ......
.................
..........
... . .. ...... case
...... n = 5 is .interesting!) ......
............ ..... ........... ..... ........... .... ...........
.......... ...... ...... ...... ...... 1 2 .......... ......
...... .........
..... .......
...
..
..
.......
... n = 2: ............................. the number
. .
.. = 1;
..
..... .......... ... .. ... . .. ..
.... 1.. 2.. ....3.. 2.. 1...... 3.. 1.. 3.. 2..
...
.....
. ..... ... .... ...
.......... .....
....... .......................... .........n
......=
.......3:
. . ........... ........... . . ........... ........... . . ........... ........... .
... .. . ............................ . .. . . the number = 3;
..... ..... 1 2 3 4
2 1 1 1
..... ..... ...................................................
1................. ........... 2........... .. 3........... .. 4........... ..
..... ..... .
....
. ....
. .
. ...
. .. .. .. ..
...... ............
3....... ....... 3 ....... 2 ....... 2 .1...............3...............2...............4..... the number = 16.
.
..... ....... ...... n = ..4:
..... ... ...
.. ...
.. . .. . ... .
...... . .. ..
.. .........
.. .... ..... .. ..
.. .... ..... .. ..
..
. . ..
..... ........ ..... ..........
4 .... ... 4 4 3
... .. ..... .....
..... .....
..... ....
. ... ...
. ... ...........
... . ... ..
.... . .
........................ 49. .A .........permutation (x1 , x2 , . . . , xn ) of the numbers {1, 2, . . . ,
... .. ... ..
. .
..............
a = 2, b = 2 n} is called a snake (of length n) if x1 < x2 > x3 < x4 > .
To Problems 42, 43 To Problem 46
Examples. n = 2, only 1 < 2 , the number = 1; 55. The sequence of Fibonacci numbers was defined in Prob-
lem 45. Find the limit of the ratio an+1 /an as n approaches
n = 3, 1<3>2
, the number = 2;
2<3>1 infinity:
n = 4, 1 < 3 > 2 < 4
an+1 3 5 8 13 21 34
= 2, , , , , , , . . . .
1 < 4 > 2 < 3 an 2 3 5 8 13 21
2 < 3 > 1 < 4 , the number = 5;
2 < 4 > 1 < 3
Answer: The golden ratio, 5+1 2 1.618.
This is the ratio of the sides of a postcard which stays sim-
3<4>1<2
ilar to itself if we snip off a square whose side is the smaller
Find the number of snakes of length 10. side of the postcard.
How is the golden ratio related to a regular pentagon and
50. Let sn denote the number of snakes of length n, so that a five-pointed star?
56. Calculate the value of the infinite continued fraction
s1 = 1, s2 = 1, s3 = 2, s4 = 5, s5 = 16, s6 = 61.
1 1
Prove that the Taylor series for the tangent function is 1+ = a0 + ,
1 1
2+ a1 +
x1 x3 x5 x2k1
1 1
tan x = 1 + 2 + 16 + = s2k1 . 1+ a2 +
1! 3! 5! (2k 1)! 1 1
k=1 2+ a3 +
1 ..
1+ .
..
51. Find the sum of the series .
x2 x4 x6 x2k
where a2k = 1, a2k+1 = 2.
1+1 + 5 + 61 + = s2k . That is, find the limit as n approaches infinity of
2! 4! 6! k=0
(2k)!
1
52. For s > 1, prove the identity a0 + .
1
a1 +
1
1 1
= . a2 +
1 n s ..
p=2 1 n+1 . 1
ps +
an
(The product is over all prime numbers p, and the summation
over all natural numbers n.)
57. Find the polynomials y = cos 3(arccos x), y = cos 4
(arccos x), y = cos n(arccos x), where |x| 1.
53. Find the sum of the series
1
1 1 58. Calculate the sum of the kth powers of the n complex nth
1+ + + = . roots of unity.
4 9 n=1
n2
coordinates p and q not having a common divisor greater than 60. Calculate (with an error of not more than 10 % of the
1. Then we take the limit of the ratio N(R)/M(R), where M(R) answer)
2
is the total number of integer points in the disk (M R2 ). sin100 x dx.
0
...............................................................
..........
....... ...............
61. Calculate (with an error of not more than 10 % of the
. .
. ...
......... ...........
answer)
...
....... .........
10
.
.... .....
.
.
...... N (10) = 192
...
..
..
. ..... M (10) = 316 x x dx.
...
.. .... N/M = 192/316 1
... .....
.
0.6076
.... ...
. ..
...
... ....
. 62. Find the area of a spherical triangle with angles (, , )
...
... .. ..
.
. on a sphere of radius 1. (The sides of such a triangle are great
...
... .... circles; that is, cross-sections of the sphere formed by planes
... ....
...
... ..... passing through its center).
.... .......
.....
........... Answer: S = + + . (For example, for a triangle with
.....
......
......
....... ...........
..............
................................... .............. three right angles, S = /2, that is, one-eighth of the total
....................
area of the sphere).
......
.........
.......................................
....... ......
.........
.......................................
....... B....
.. . .
. ...... ..
... ...... ..... ....
..... K
..... ..
... ..... .... .
. .... .. .... .
..
....
.............. ....
.. .
. .
.
.... .......................
. ... ... .
......... ... . .. L
.. ....... ........
... .. ...... . .... ..... ..... .........
1.....
......... ... ... ... ... ..
. ..
.. .. .. ... .. . ... .
.... ... .. ...
.....
.. .. .
.. ..... ...
...
... .. .
. ..... ... ....... ... .... ....
... .. ... .. . ... ... .. .....
..... ... .. ...... .. .....
..
...
.....
..... .. ..
.
... ........... ...................
. ..
.
. ........ ... ...
.....
...
..
.. ... .
... ............. ............. ... .
..
...... .. .... ............ ........ ................................................... ...........................
A C
... . .. . ... ..... ..
....... . .
M
... ...... .
. .. ... ... ........... .... ... ..
... .. ..
... ......
....... .. .. ... .... r....... .. ...
... ....... .... .... ... ... ....
......... .. ... ... ....
Hint: ...................The answer for non-acute angled triangles is not nearly
.... ....
..... .......... ..... ....... ....
...... .....
.....
...... .....
......
......................as ..........beautiful as the answer for acute angled triangles.
....... .
.........
................................. .
. ..... .......
........... ......
certain frequencies and that the frequencies are same as for 79. In Problems 76 and 78, prove that the sequence {gT (x)},
the powers of two. Find an exact formula for p1 , . . . , p9 . T = 1, 2, . . . is distributed over the torus uniformly: if a
Hint: The first digit of a number x is determined by the frac- domain A contains kn (A) points out of the n points with
tional part of the number log10 x. Therefore one has to con- T = 1, 2, . . . , n, then
sider the sequence of fractional parts of the numbers ma, kn (A) mes A
lim =
where a = log10 2. n n mes M
Prove that these fractional parts are uniformly distributed (for example, for a Jordan measurable domain A of measure
over the interval from 0 to 1: of the n fractional parts of the mes A).
numbers ma, 0 m < n, a subinterval A will contain the
quantity kn (A) such that as n , lim(kn (A)/n) = the length
of the subinterval A.
75. Let g : M M be a smooth map of a bounded do- Note to Problem 13. In posing this problem, I have tried to
main M onto itself which is one-to-one and preserves areas illustrate the difference in approaches to research by mathe-
(volumes in the multi-dimensional case) of domains. maticians and physicists in my invited paper in the journal
Prove that in any neighborhood U of any point of M and Advances in Physical Sciences for the 2000 Centennial issue.
for any N there exists a point x such that gT x is also in U for My success far surpassed the goal I had in mind: the editors,
a certain integer T > N (the Recurrence Theorem). unlike the preschool students on the experience with whom I
76. Let M be the surface of a torus (with coordinates based my plans, could not solve the problem. So they changed
(mod 2), (mod 2)), and let g(, ) = ( + 1, + 2). it to fit my answer of 4mm. in the following way: instead of
Prove that for every point x of M the sequence of points from the first page of the first volume to the last page of the
{gT (x)}, T = 1, 2, . . . is everywhere dense on the torus. second, they wrote from the last page of the first volume to
the first page of the second.
77. In the notation of problem 76, let
This true story is so implausible that I am including it
g(, ) = (2 + , + ) (mod 2). here: the proof is the editors version published by the journal.
Prove that there is an everywhere dense subset of the torus
consisting of periodic points x (that is, such that gT (x) = x for This excerpt was taken from the book V. I. Arnold, Lectures
some integer T (x) > 0). and Problems: A Gift to Young Mathematicians (AMS, 2015;
78. In the notation of Problem 77 prove that, for almost all ISBN-13: 978-1-4704-2259-2). To learn more about this book
points x of the torus, the sequence of points {gT (x)}, T = and to order a copy, visit www.ams.org/bookstore-getitem/
www.ams.org/ bookstore-getitem/
1, 2, . . . is everywhere dense on the torus (that is, the points x item=mcl-17.
item=mcl-17 The Newsletter thanks the AMS and the MSRI
without this property form a set of measure zero). for authorizing the reprint.
Additive Eigenvalue
Additive EigenvalueProblem
Problem
Shrawan Kumar(University
Shrawan Kumar (Universityofof North
North Carolina,
Carolina, Chapel
Chapel Hill,Hill,
USA) USA)
Partial support from NSF grant number DMS-1501094 is also : k/K h+ , where K acts on k by the adjoint representation
gratefully acknowledged. and h+ := {h h : i (h) 0 i} is the positive Weyl chamber
in h. The inverse map 1 takes any h h+ to the K-conjugacy
2 Main Results class of 1h.
For any positive integer s, define the eigencone
We now explain the classical Hermitian eigenvalue problem
s
and its generalisation to an arbitrary connected semisimple s (g) :={(h1 , . . . , h s) h+s | (k1 , . . . , k s ) k s : kj
group more precisely. j=1
For any n n Hermitian matrix A, let A = (1 n ) = 0 and (k j ) = h j j}.
be its set of eigenvalues written in descending order. Re-
call the following classical problem, known as the Hermitian By virtue of the general convexity result in symplectic geome-
eigenvalue problem. Given two n-tuples of nonincreasing real try, the subset s (g) h+s is a convex rational polyhedral cone
numbers: = (1 n ) and = (1 n ), (defined by certain inequalities with rational coefficients). The
determine all possible = (1 n ) such that there aim of the general additive eigenvalue problem is to find the
exist Hermitian matrices A, B, C with A = , B = , C = inequalities describing s (g) explicitly. (The case g = sl(n)
and C = A + B. This problem has a long history, starting and s = 3 gives the Hermitian eigenvalue problem if we re-
with the work of Weyl (1912), followed by works of Fan place C by C.)
(1949), Lidskii (1950) and Wielandt (1955), and culminating Let = (H) denote the character group of H and let
in the following conjecture given by Horn (1962). (See also + := { : (i ) 0 simple coroots i } denote the
Thompson-Freede (1971).) set of all the dominant characters. Then, the set of isomor-
For any positive integer r < n, inductively define the set phism classes of irreducible (finite dimensional) representa-
S nr as the set of triples (I, J, K) of subsets of [n] := {1, . . . , n} tions of G is parametrised by + via the highest weights of
of cardinality r such that irreducible representations. For + , we denote by [] the
corresponding irreducible representation (of highest weight
i+ j = r(r + 1)/2 + k (1) ).
iI jJ kK Similar to the eigencone s (g), one defines the saturated
and, for all 0 < p < r and (F, G, H) S rp , the following tensor semigroup:
inequality holds: s (G) ={(1 , . . . , s ) +s : ([N1 ] [N s ])G
if + jg p(p + 1)/2 + kh . (2) 0, for some N 1}.
f F gG hH
Then, under the identification : h h (via the Killing
Conjecture 1. A triple , , occurs as eigenvalues of Her-
form),
mitian n n matrices A, B, C respectively such that C = A + B
( s (g)) +s = s (G) (3)
if and only if
n n n (see Theorem 5).
i = i + i For any 1 j , define the element x j h by
i=1 i=1 i=1
and, for all 1 r < n and all triples (I, J, K) S nr , we have i (x j ) = i, j , 1 i . (4)
Let P B be a standard parabolic subgroup with Lie alge-
k i + j.
bra p and let l be its unique Levi component containing the
kK iI jJ
Cartan subalgebra h. Let (P) be the set of simple roots
Horns conjecture above was settled in the affirmative contained in the set of roots of l. Let WP be the Weyl group of
(see Corollary 11) by combining the work of Klyachko [Kly] P (which is, by definition, the Weyl Group of the Levi com-
(1998) with the work of Knutson-Tao [KT] (1999) on the sat- ponent L) and let W P be the set of the minimal length repre-
uration problem. sentatives in the cosets of W/WP . For any w W P , define the
The above system of inequalities is overdetermined. Bel- Schubert variety:
kale (2001) proved that a certain subset of the set of inequal-
ities suffices. Subsequently, Knutson-Tao-Woodward (2004) XwP := BwP/P G/P.
proved that the subsystem of inequalities given by Belkale It is an irreducible (projective) subvariety of G/P of dimen-
forms an irredundant system of inequalities. sion (w). Let (XwP ) denote the fundamental class of XwP , con-
Now, we discuss a generalisation of the above Hermitian sidered as an element of the singular homology with integral
eigenvalue problem (which can be rephrased in terms of the coefficients H2(w) (G/P, Z) of G/P. Then, from the Bruhat
special unitary group SU(n) and its complexified Lie alge- decomposition, the elements {(XwP )}wW P form a Z-basis of
bra sl(n)) to an arbitrary complex semisimple group. Let G H (G/P, Z). Let {[XwP ]}wW P be the Poincar dual basis of the
be a connected, semisimple complex algebraic group. We fix singular cohomology H (G/P, Z). Thus,
a Borel subgroup B, a maximal torus H B and a maxi-
[XwP ] H 2(dim G/P(w)) (G/P, Z).
mal compact subgroup K. We denote their Lie algebras by
the corresponding Gothic
characters: g, b, h, k respectively. We Write the standard cup product in H (G/P, Z) in the {[XwP ]}
choose K such that 1 k h. Let R+ be the set of positive basis as follows:
roots (i.e. the set of roots of b) and let = {1 , . . . , } R+ [XuP ] [XvP ] = cwu,v [XwP ]. (5)
be the set of simple roots. There is a natural homeomorphism wW P
Introduce the indeterminates i for each i \ (P) and cominuscule; hence, the deformed product 0 in H (G/P) co-
define a deformed cup product as follows: incides with the standard cup product and (c) and (d) are the
1 same in this case.
u1 v1 )(xi ) w
[XuP ] [XvP ] = (w
i cu,v [XwP ], Because of the identification (3), the above theorem al-
wW P i \(P)
lows us to determine the saturated tensor semigroup s (G)
(6)
(see Theorem 18 for a precise statement).
where is the (usual) half sum of positive roots of g. By
The following result was proved by Ressayre [R] (2010).
Corollary 16 and the identity (13), whenever cwu,v is nonzero,
As mentioned above, for g = sl(n) it was proved by Knutson-
the exponent of i in the above is a nonnegative integer.
Tao-Wodward. Ressayres proof relies on the notion of well-
Moreover, the product is associative (and clearly commu-
covering pairs, which is equivalent to the notion of Levi-
tative). The cohomology algebra of G/P obtained by set-
movability with cup product 1.
ting each i = 0 in (H (G/P, Z) Z[i ], ) is denoted by
(H (G/P, Z), 0). Thus, as a Z-module, this is the same as Theorem 3. The inequalities given by (d) of the above the-
the singular cohomology H (G/P, Z) and, under the product orem form an irredundant system of inequalities determining
0 , it is associative (and commutative). Moreover, it contin- the cone s (g) (see Theorem 23 for a more precise statement).
ues to satisfy the Poincar duality (see [BK1 , Lemma 16(d)]).
As shown by Kumar-Leeb-Millson (2003), (c) of the
The definition of the deformed product 0 (now known as
above theorem gives rise to 126 inequalities for g of type B3
the Belkale-Kumar product) came from the crucial concept of
or C3 , whereas (d) gives only 93 inequalities.
Levi-movability in Definition 14. For a cominuscule maximal
We refer the reader to the survey article of Fulton [F] on
parabolic P, the product 0 coincides with the standard cup
the Hermitian eigenvalue problem and, for general G, the sur-
product (see Lemma 17).
vey articles by Brion [Br] and by Kumar [K3 ].
Now we are ready to state the main result on solution of
the eigenvalue problem for any connected semisimple G. For
a maximal parabolic P, let iP be the unique simple root not 3 Determination of the Eigencone
in the Levi of P and let P := iP be the corresponding fun- (A Weaker Result)
damental weight.
Below, we give an indication of the proof of the equivalence
Theorem 2. Let (h1 , . . . , h s ) h+s . Then, the following are of (a) and (b) in Theorem 2.
equivalent:
Definition 4. Let S be any (not necessarily reductive) alge-
(a) (h1 , . . . , h s ) s (g).
braic group acting on a (not necessarily projective) variety X
(b) For every standard maximal parabolic subgroup P in G
and let L be an S -equivariant line bundle on X. Any algebraic
and every choice of s-tuples (w1 , . . . , w s ) (W P ) s such
group morphism Gm S is called a one parameter subgroup
that
(OPS) in S . Let O(S ) be the set of all OPSs in S . Take any
[XwP1 ] [XwPs ] = d[XeP ] for some d 0, x X and O(S ) such that the limit limt0 (t)x exists in X
(i.e. the morphism x : Gm X given by t (t)x extends to
the following inequality holds:
a morphism x : A1 X). Then, following Mumford, define
s a number (x, ) as follows. Let xo X be the point
L
x (0).
P
I(w 1 ,...,w s )
: P w1
j h j 0. Since xo is Gm -invariant via , the fiber of L over xo is a Gm -
j=1
module and, in particular, is given by a character of Gm . This
(c) For every standard maximal parabolic subgroup P in G integer is defined as L (x, ).
and every choice of s-tuples (w1 , . . . , w s ) (W P ) s such
that Under the identification : h h (via the Killing
form), s (G) corresponds to the set of integral points of s (g).
[XwP1 ] [XwPs ] = [XeP ],
Specifically, we have the following result, essentially follow-
P
the above inequality I(w 1 ,...,w s )
holds. ing from Mumford [N, Appendix] (see also [Sj, Theorem 7.6]
(d) For every standard maximal parabolic subgroup P in G and [Br, Thorme 1.3]).
and every choice of s-tuples (w1 , . . . , w s ) (W P ) s such
Theorem 5.
that
s (g) +s = s (G).
[XwP1 ] 0 0 [XwPs ] = [XeP ],
P Let P be any standard parabolic subgroup of G acting on
the above inequality I(w 1 ,...,w s )
holds.
P/BL via the left multiplication, where L is the Levi subgroup
The equivalence of (a) and (b) in the above theorem for of P containing H, and BL := B L is a Borel subgroup
general G is due to Berenstein-Sjamaar (2000). Kapovich- of L. We call O(P) P-admissible if, for all x P/BL ,
Leeb-Millson (2009) showed the equivalence of (a) and (c). limt0 (t) x exists in P/BL . If P = G then P/BL = G/B
The equivalence of (a) and (d) is due to Belkale-Kumar and any O(G) is G-admissible since G/B is a projective
(2006). If we specialise the above theorem to G = SL(n) then, variety. For O(G) define the Kempfs parabolic subgroup
in view of Theorem 10, the equivalence of (a) and (b) is noth- of G by P() := {g G : limt0 (t)g(t)1 exists in G}.
ing but Horns conjecture (Corollary 11) solved by combining Observe that, BL being the semidirect product of its com-
the work of Klyachko (1998) with the work of Knutson-Tao mutator [BL , BL ] and H, any extends uniquely to a char-
(1999). In this case, the equivalence of (a) and (c) is due to acter of BL . Thus, for any , we have a P-equivariant line
Belkale (2001) and every maximal parabolic subgroup P is bundle LP () on P/BL associated to the principal BL -bundle
P P/BL via the one dimensional BL -module 1 . We ab- Specialising Theorem 7 to G = SL(n), as seen below, we
breviate LG () by L(). We have taken the following lemma obtain the classical Horn inequalities.
from [BK1 , Lemma 14]. It is a generalisation of the corre- In this case, the partial flag varieties corresponding to the
sponding result in [BS, Section 4.2]. maximal parabolics Pr are precisely the Grassmannians of r-
planes in n-space G/Pr = Gr(r, n), for 0 < r < n. The Schu-
Lemma 6. Let O(H) be such that h+ . Then, is P-
bert cells in Gr(r, n) are parametrised by the subsets of cardi-
admissible and, moreover, for any and x = ulBL P/BL
nality r:
(for u U, l L), we have the following formula:
I = {i1 < . . . < ir } {1, . . . , n}.
LP () (x, ) = (w), The corresponding Weyl group element wI W Pr is nothing
where U is the unipotent radical of P, PL () := P() L and but the permutation
w WP /WPL () is any coset representative such that l1 1 i1 , 2 i2 , , r ir
BL wPL ().
and wI (r + 1), . . . , wI (n) are the elements in {1, . . . , n}\I ar-
Let = (1 , . . . , s ) +s and let L() denote the G- ranged in ascending order.
linearised line bundle L(1 ) L( s ) on (G/B) s (under Let I be the dual set
the diagonal action of G). Then, there exist unique standard I = {n + 1 i, i I}
parabolic subgroups P1 , . . . , P s such that the line bundle L()
descends as an ample line bundle L() on X() := G/P1 arranged in ascending order.
s
G/P s . We call a point x (G/B) , G-semistable (with respect Then, the Schubert class [XI := XwPIr ] is Poincar dual to
to not necessarily ample L()) if its image in X() under the the Schubert class [XI ] H (Gr(r, n), Z). Moreover,
canonical map : (G/B) s X() is semistable with respect r(r + 1)
dim XI = codim XI = i . (8)
to the ample line bundle L(). Now, one has the following iI
2
fundamental theorem due to Klyachko [Kly] for G = SL(n),
For 0 < r < n, recall the definition of the set S nr of triples
extended to general G by Berenstein-Sjamaar [BS].
(I, J, K) of subsets of {1, . . . , n} of cardinality r from Sec-
Theorem 7. Let 1 , . . . , s + . Then, the following are tion 2. The following theorem follows from Theorem 7 for
equivalent: G = SL(n) (proved by Klyachko) and Theorem 9 (proved by
(a) (1 , . . . , s ) s (G). Knutson-Tao). Belkale [B3 ] gave another geometric proof of
(b) For every standard maximal parabolic subgroup P and ev- the theorem.
ery Weyl group elements w1 , . . . , w s W P W/WP such
Theorem 10. For subsets (I, J, K) of {1, . . . , n} of cardinality
that
r,
[XwP1 ] . . . [XwPs ] = d[XeP ], for some d 0, (7) [XI ] [X J ] [XK ] = d[XePr ], for some d 0
the following inequality is satisfied: (I, J, K) S nr .
s For an Hermitian n n matrix A, let A = (1 n )
P
I(w 1 ,...,w s )
: j (w j xP ) 0, be its set of eigenvalues (which are all real). Let a be the stan-
j=1 dard Cartan subalgebra of sl(n) consisting of traceless diago-
where iP is the unique simple root not in the Levi of P nal matrices and let b sl(n) be the standard Borel subalgebra
and xP := xiP . consisting of traceless upper triangular matrices (where sl(n)
is the Lie algebra of SL(n) consisting of traceless n n matri-
The equivalence of (a) and (b) in Theorem 2 follows easily by ces). Then, the Weyl chamber is:
combining Theorems 7 and 5.
a+ = diag (e1 en ) : ei = 0 .
Remark 8. As proved by Belkale [B1 ] for G = SL(n) and ex- Define the Hermitian eigencone:
tended for an arbitrary G by Kapovich-Leeb-Millson [KLM],
Theorem 7 remains true if we replace d by 1 in the identity
(n) = (a1 , a2 , a3 ) a3+ :
(7). A much sharper (and optimal) result for an arbitrary G is there exist n n Hermitian matrices A, B, C
obtained in Theorem 18.
with A = a1 , B = a2 , C = a3 and A + B = C .
It is easy to see that (n) essentially coincides with the eigen-
4 Specialisation of Results to G = SL(n):
Horn Inequalities cone 3 (sl(n)). Specifically,
(a1 , a2 , a3 ) (n) (a1 , a2 , a ) 3 sl(n) ,
3
We first need to recall the Knutson-Tao saturation theorem
[KT], conjectured by Zelevinsky [Z]. Other proofs of their where (e1 en ) := (en e1 ).
result are given by Derksen-Weyman [DK], Belkale [B3 ] and Combining Theorems 7 and 5 for sl(n) with Theorem 10,
Kapovich-Millson [KM2 ]. we get the following Horn conjecture [Ho], established by the
works of Klyachko (equivalence of (a) and (b) in Theorem 2
Theorem 9. Let G = SL(n) and let (1 , . . . , s ) s (G) be for g = sl(n)) and Knutson-Tao (Theorem 9).
such that 1 + + s belongs to the root lattice. Then,
Corollary 11. For (a1 , a2 , a3 ) a3+ , the following are equiva-
[1 ] [ s ] G 0. lent:
(a)
(a1 , a2 , a3 ) (n). By Proposition 13, if (w1 , . . . , w s ) is L-movable, then
[XwP1 ] . . . [XwPs ] = d[XeP ] in H (G/P) for some nonzero d.
(b) For all 0 < r < n and all (I, J, K) S nr , For w W P , define the character w by
|a3 (K)| |a1 (I)| + |a2 (J)|,
w = , (12)
where, for a subset I = (i1 < < ir ) {1, . . . , n} (R+ \R+l )w1 R+
and a = (e1 en ) a+ , a(I) := (ei1
where R+l
is the set of positive roots of l.
eir ) and |a(I)| := ei1 + + eir .
Then, from [K1 , 1.3.22.3],
We have the following representation theory analogue of w = 2L + w1 , (13)
the above corollary, obtained by combining Theorems 7, 9 + L
where is half the sum of roots in R and is half the sum
and 10.
of roots in R+l .
Corollary 12. Let = (1 n 0), = (1
Proposition 15. Assume that (w1 , . . . , w s ) (W P ) s satisfies
n 0) and = (1 n 0) be three partitions such
equation (11). Then, the following are equivalent:
that || + || || nZ, where || := 1 + + n . Then, the
(a) (w1 , . . . , w s ) is L-movable.
following are equivalent:
(b) [XwP1 ] . . . [XwPs ] = d[XeP ] in H (G/P) for some nonzero d
(a) [] appears as an SL(n)-submodule of [] [].
and, for each i \ (P), we have
(b) For all 0 < r < n and all (I, J, K) S nr ,
s
r
|(K)| |(I)| + |(J)| (|| + || ||), w j 1 (xi ) = 0.
n j=1
where, for a subset I = (i1 < < ir ) {1, . . . , n}, (I)
denotes (i1 ir ) and |(I)| := i1 + + ir . Corollary 16. For any u, v, w W P such that cwu,v 0 (see
Equation (5)), we have
5 Deformed Product (w u v )(xi ) 0, for each i \ (P). (14)
The above corollary, together with the identity (13), justi-
This section is based on the work [BK1 ] of Belkale-Kumar.
fies the definition of the deformed product 0 given in Section
Consider the shifted Bruhat cell:
2. This deformed product is used in determining the facets
wP := w1 BwP G/P. (codimension 1 faces) of s (g).
Let T P = T (G/P)e be the tangent space of G/P at e G/P. It Lemma 17. Let P be a cominuscule maximal standard para-
carries a canonical action of P. For w W P , define T wP to be bolic subgroup of G (i.e. the unique simple root P \ (P)
the tangent space of wP at e. We shall abbreviate T P and T wP appears with coefficient 1 in the highest root of R+ ). Then, the
by T and T w respectively when the reference to P is clear. It product coincides with the cup product in H (G/P).
is easy to see that BL stabilises wP keeping e fixed. Thus,
BL T w T w . (9) 6 Efficient determination of the eigencone
The following result follows from the Kleiman transversality
theorem by observing that gwP passes through e gwP = This section is again based on the work [BK1 ] of Belkale-
pwP for some p P. Kumar. The following theorem [BK1 , Theorem 22] deter-
mines the saturated tensor semigroup s (G) efficiently.
Proposition 13. Take any (w1 , . . . , w s ) (W P ) s such that Specifically, as proved by Ressayre (see Theorem 23), the set
s
of inequalities given by (b) of the following theorem is an
codim wP j dim G/P. (10) irredundant set of inequalities determining s (G).
j=1
For G = SL(n), each maximal parabolic P is cominuscule
Then, the following three conditions are equivalent: and, hence, by Lemma 17, 0 coincides with the standard cup
(a) [XwP1 ] . . . [XwPs ] 0 H (G/P). product in H (G/P). Thus, the following theorem in this case
(b) For general (p1 , . . . , p s ) P s , the intersection reduces to Theorem 7 with d = 1 in the identity (7).
p1 wP 1 p s wP s is transverse at e. It may be mentioned that replacing the product 0 in (b) of
(c) For general (p1 , . . . , p s ) P s , the following theorem by the standard cup product (i.e. Theo-
s rem 7 with d = 1 in the identity (7) see Remark 8), we get, in
dim(p1 T w1 p s T ws ) = dim G/P codim wP j . general, far more inequalities for simple groups other than
j=1 SL(n). For example, for G of type B3 (or C3 ), Theorem 7 with
The set of s-tuples in (b) as well as (c) is an open subset of d = 1 gives rise to 126 inequalities, whereas the following
Ps . theorem gives only 93 inequalities (see [KuLM]).
Definition 14. Let w1 , . . . , w s W P be such that Theorem 18. Let G be a connected semisimple group and let
s (1 , . . . , s ) +s . Then, the following are equivalent:
codim wP j = dim G/P. (11) (a) = (1 , . . . , s ) s (G).
j=1 (b) For every standard maximal parabolic subgroup P in G
We then call the s-tuple (w1 , . . . , w s ) Levi-movable (or L- and every choice of s-tuples (w1 , . . . , w s ) (W P ) s such
movable) if, for general (l1 , . . . , l s ) L s , the intersection that
l1 wP 1 l s wP s is transverse at e. [XwP1 ] 0 0 [XwPs ] = [XeP ] H (G/P, Z), 0 ,
(x) = { M(S ) | L (x, ) 1, q() = q (x)}. Let g be a simple simply-laced Lie algebra and let :
g g be a diagram automorphism with fixed subalgebra k
Any (x) is called a Kempfs OPS associated to x. (which is necessarily a simple Lie algebra again). Let b be a
By a theorem of Kempf (see [Ki, Lemma 12.13]), (x) is Borel subalgebra and h be a Cartan subalgebra of g such that
nonempty and the parabolic P() := P() (for = [, a]) does
they are stable under . Then, bk := b is a Borel subalgebra
not depend upon the choice of (x). The parabolic P()
and hk := h is a Cartan subalgebra of k. Let h+ and hk+ be the
for (x) will be denoted by P(x) and called the Kempfs dominant chambers in h and hk respectively. Then,
parabolic associated to the unstable point x. Moreover, (x)
is a single conjugacy class under P(x). hk+ = h+ k.
We have the following result originally conjectured by
We recall the following theorem due to RamananRama- Belkale-Kumar [BK2 ] and proved by Belkale-Kumar [BK2 ],
nathan [RR, Proposition 1.9]. Braley [Bra] and Lee [Le] (case by case).
Theorem 20. For any unstable point x X and = [, a] Theorem 24. For any s 1,
(x), let
xo = limt0 (t) x X. s (k) = s (g) (hk+ ) s .
[K1 ] S. Kumar, Kac-Moody Groups, their Flag Varieties and [Sj] R. Sjamaar, Convexity properties of the moment mapping
Representation Theory, Progress in Mathematics, vol. re-examined, Adv. Math. 138 (1998), 4691.
204, Birkhuser, 2002. [S] S. Sam, Symmetric quivers, invariant theory, and satura-
[K2 ] S. Kumar, Tensor product decomposition, Proc. of the In- tion theorems for the classical groups, Adv. Math. 229
ternational Congress of Mathematicians, Hyderabad (In- (2012), 11041135.
dia), (2010), 12261261. [TF] R. C. Thompson and L. Freede, On the eigenvalues of
[K3 ] S. Kumar, A Survey of the Additive Eigenvalue Problem sums of Hermitian matrices, Linear Algebra Appl. 4
(with Appendix by M. Kapovich), Transformation Groups (1971), 369376.
19 (2014), 10511148. [W] H. Weyl, Das asymptotische Verteilungsgesetz der Eigen-
[KuLM] S. Kumar, B. Leeb and J. J. Millson, The generalized tri- werte linearer partieller Differentialgleichungen, Math.
angle inequalities for rank 3 symmetric spaces of noncom- Annalen 71 (1912), 441479.
pact type, Contemp. Math. 332 (2003), 171195. [Wi] H. Wielandt, An extremum property of sums of eigenval-
[Le] B. Lee, A Comparison of Eigencones Under Certain Dia- ues, Proc. Amer. Math. Soc. 6 (1955), 106110.
gram Automorphisms, PhD Thesis (under the supervision [Z] A. Zelevinsky, Littlewood-Richardson semigroups, In:
of S. Kumar), University of North Carolina, 2012. New Perspectives in Algebraic Combinatorics, MSRI
[Li] B.V. Lidskii, The proper values of the sum and product of Publ. 38 (1999), Cambridge Univ. Press, Cambridge, 337
symmetric matrices, Dokl. Acad. Nauk SSSR 74 (1950), 345.
769772.
[N] L. Ness, A stratification of the null cone via the moment
map (with an appendix by D. Mumford), Amer. J. Math. Shrawan Kumar [shrawan@email.unc.edu]
106 (1984), 12811329.
is the John R. and Louise S. Parker Dis-
[RR] S. Ramanan and A. Ramanathan, Some remarks on the
instability flag, Thoku Math. J. 36 (1984), 269291. tinguished Professor at the University of
[R] N. Ressayre, Geometric invariant theory and the gener- North Carolina, Chapel Hill, USA. He was
alized eigenvalue problem, Inventiones Math. 180 (2010), an invited speaker at ICM 2010. He is a
389441. Fellow of the American Mathematical So-
ciety.
George Boole (18151864) was responsible, in the years on which are founded the Mathematical Theories of Logic
18471854, for initiating the revolution in the subject of logic and Probabilities. We will refer to this book as LT. The first
by creating an algebra of logic for classes. This is all the more two-thirds of LT are on Booles algebra of logic for classes
remarkable because Boole was largely self-educated in math- (which will henceforth be called Booles algebra") and the
ematics (and several languages), having had to give up attend- last third on applications of this algebra to probability theory.
ing school at the age of 16 to start his career as a schoolteacher This article is only concerned with the logic portion of LT.
to provide financial support for his parents and siblings. He Booles algebra had equational laws, rules of inference for
started publishing mathematical papers, mainly on analysis, equational reasoning and a powerful Rule of 0 and 1, which
in 1841. Three years later, in 1844, at the age of 29, he won has only recently been deciphered. Indeed, it is remarkable
the first gold medal awarded in mathematics by the Royal So- how long it has taken to properly understand Booles algebra
ciety. the breakthrough came in 1976 with the publication of [15]
Boole struck up a friendly correspondence with Augustus by Theodore Hailperin (19162014).1
De Morgan (18061871). Subsequently, De Morgans noisy
feud (over a rather trivial matter in logic) with the respected 1 Using Ordinary Algebra
philosopher Sir William Hamilton (17881856) of Edinburgh
inspired Boole to write a booklet [2] in 1847 applying algebra One of the distinguishing features of Booles algebra of logic
to logic. In 1849, at the age of 34, Boole left school-teaching is the extent to which it looks like ordinary algebra. In-
in Lincolnshire, England, for a professorship at Queens Col- deed, this fact is beautifully summarised in the following two
lege in Cork, Ireland. For fascinating details on Booles life, quotes:
see the excellent biography [23] by Desmond MacHale
including such remarkable details as the fact that Booles That the symbolic processes of algebra, invented as tools of nu-
youngest daughter Ethel Lilian (18641960) wrote a novel merical calculation, should be competent to express every act of
called The Gadfly which essentially became the bible of the
Russian revolution.
1 For a modern introduction to Booles algebra of logic, see the authors
Although Boole was primarily an algebraist and analyst,
article [7] on Boole in the online Stanford Encyclopedia of Philosophy,
today he is best known for his work in logic, in particular as well as the texts [8], [9] of two recent talks by the author on Booles
for his 1854 book An Investigation of the Laws of Thought algebra of logic.
thought, and to furnish the grammar and dictionary of an all- easily derives A B = 0, that is, A and B must be disjoint. This
containing system of logic, would not have been believed until it tells us that (1) addition must be a partial operation, and (2)
was proved. (Augustus De Morgan, in A Budget of Paradoxes.) the law x2 = x cannot apply to terms in general (in particular,
The algebra which Boole himself used was simply ordinary nu- not to x + y). An easy argument shows that if A + B is defined,
merical algebra as applied to a collection of quantities each it must be A B. Likewise, if A B is defined then one has
of which was assumed to be subject to the quadratic equation B A and A B = A B.
x(1 x) = 0, and Boole showed how this hypothesis could be The price Boole paid for being so close to ordinary nu-
applied to the solution of many logical problems. (C. S. Peirce, merical algebra is that his models were partial algebras. This
from the Nachlass Notes on the list of postulates of Dr Hunting- might have discouraged most from continuing but not Boole.
tons Section 2, p. 264 in Vol. IV of Peirces collected papers.) In Chapter V of LT he stated his Principles of Symbol-
The equational theory of commutative rings with unity, with ical Reasoning, which essentially said that one can carry
a conveniently chosen axiom set CR1 , is a good place to out equational reasoning in his system as though the mod-
start when defining ordinary numerical algebra. This is of- els were total algebras.3 These Principles are in general false
ten thought of as the algebra of polynomials. The modern but, thanks to Hailperins work, we know they hold in Booles
way to build an algebra of logic on CR1 is to add the idem- system. Booles Principles allowed him to claim that an equa-
potent law (x)(x2 = x), giving the set BR of axioms for tional argument 1 (x), . . . , k (x) (x), with totally defined
Boolean rings. The relevant models of BR are the algebras equational premises and conclusion, could be justified by an
P(U), +, , , 0, 1, where P(U) is the power set of the uni- equational derivation that involved (partially) uninterpretable
verse U; addition and subtraction are symmetric difference, terms. He said it was just like using the uninterpretable 1
multiplication is intersection, 0 is the empty set and 1 is the to derive trigonometric identities.
universe. But this is, indeed, a modern approach and it did not
appear until the 20th century, most notably in the 1936 paper 2 Booles Rule of 0 and 1
[31] of Marshall Stone (19031989).
Booles approach was closer to ordinary numerical al- After introducing his laws, rules of inference and partial alge-
gebra than Boolean rings. He (implicitly) added the quasi- bra models, Boole stated a remarkable foundational principle
identities (x)(nx = 0 x = 0), for n = 1, 2, . . ., to CR1 , which we will call his Rule of 0 and 1 (LT, p. 37):
giving the set of axioms that will be called NCR1 .2 These ax- Let us conceive, then, of an Algebra in which the symbols x,
ioms are indeed true of the ordinary number systems, e.g. the y, z, etc. admit indifferently of the values 0 and 1, and of these
integers Z. values alone. The laws, the axioms, and the processes, of such
Boole also added one non-numerical law, namely x2 = x. an Algebra will be identical in their whole extent with the laws,
This was an unusual law in that it only applied to variables, the axioms, and the processes of an Algebra of Logic. Difference
not to compound terms like x + y. of interpretation will alone divide them. Upon this principle the
method of the following work is established.
Booles models P(U) := P(U), +, , , 0, 1 were given
by the definitions This foundation has been essentially ignored until the last
A B := A B, decade. What Boole meant is that an equational argument
1 (x), . . . , k (x) (x) is correct in his system if and only
A B if A B =
A + B := if when the variables are restricted to the values 0 and 1
undefined otherwise,
then it holds in the integers Z. We write this in modern no-
A B if B A tation as follows, where Idemp(x) says the variables in the
A B :=
undefined otherwise, list x := x1 , . . . , xm are idempotent:
0 := , NCR1 Idemp(x) 1 (x) k (x) (x)
1 := U. iff
Since addition and subtraction were only partially defined, his
Z |= Idemp(x) 1 (x) k (x) (x)
models were partial algebras. Booles partial algebras can be
seen to arise naturally as follows. His definition of multipli- iff
cation as intersection was a consequence of using composi- Z |= 1 () k () () ,
tion of selection operators to determine multiplication here
a selection operator such as Red chooses the red elements where is a string of 0s and 1s of the same length as the list of
in a class. (The use of composition of selection operators is variables x. It would be nearly a century after the publication
clearly stated in his discussion of multiplication on p. 165 of of LT before the corresponding result for Boolean rings was
LT.) The definition of multiplication gave Boole his idempo- known, namely:
tent law A2 = A. Then, the numerical equations x 0 = 0 and BR 1 (x) k (x) (x)
x 1 = x led to his definitions of 0 and 1 as stated above.
iff
Now, suppose A + B is defined; then, it must satisfy (A +
Z2 |= 1 (x) k (x) (x),
B)2 = A+B. From NCR1 and the fact that A2 = A, B2 = B, one
where Z2 is the two-element Boolean ring. The same result Within a decade of the publication of LT, the move was
holds if we change BR to BA, a set of equational axioms for underway to replace Booles algebra with the modern ver-
Boolean algebras, and Z2 to 2BA , the two-element Boolean sion. Starting with the 1864 book Pure Logic by William
algebra. Stanley Jevons (18351882), there followed the 1867 paper
[24] of Charles S. Peirce (18391914), the 1872 book Die
3 Booles Four Main Theorems Formenlehre oder Mathematik by Robert Grassmann (1815
1901), the 1877 Operationskreis des Logikkalkuls of Ernst
This brief overview of Booles work will conclude with his Schrder (18411902) and the 1880 paper [25] of Peirce.
four main theorems. But first we need Booles notion of a Schrders Operationskreis was the first publication to absorb
constituent C (x), where is a string of 0s and 1s of the all of Booles main theorems into the modern setting.
same length as the string x of variables. A simple example Booles translations of propositions into equations also
will suffice: C101 (x1 , x2 , x3 ) := x1 (1 x2 )x3 . came under fire, and were replaced in the 1890s by equa-
Booles four main theorems (expressed in modern termi- tions and negated equations in Schrders monumental three-
nology) are: volume Algebra der Logik. This was possibly the last time
1. p(x) = p()C (x) (EXPANSION). anyone seriously read Booles LT as a fundamental source of
2. p1 (x) = = pk (x) = 0 iff 0 = i pi (x)2 (REDUC- information on the algebra of logic for classes; future research
TION). in this subject, aside from historical studies, used the modern
3. (x)p(x, y) = 0 iff 0 = p(, y) (ELIMINATION). version. However, as with many new subjects introduced into
4. q(x) y = p(x) iff mathematics, it took decades before mathematicians could
p(x) (p(x) q(x)) = 0 agree on standard nomenclature, symbols and axioms for the
modern version. The 1904 paper [17] of the Harvard mathe-
and matician E. V. Huntington (18741952) was one of the most
famous papers devoted to describing axioms for the modern
(v) y = C (y) + v C (y) , algebra of logic for classes it provided three sets of axioms.
J1 J2 In 1933, Huntington [18] returned to this topic, offering three
for Ji suitably determined (see [7]) by the equalities and more sets of axioms.
inequalities holding within the triples (p(), q(), 0) (SO-
LUTION). 5 Harvard and the name Boolean Algebra"
All of these results can be readily translated into theorems of
Boolean rings as well as of Boolean algebras, the latter having The name of the modern version fluctuated for decades, usu-
been carried out in 1877 by Schrder in [27], where the fourth ally being called the algebra of logic, and sometimes the
theorem has a considerably simpler statement. calculus of logic. Peirce was the only one who occasionally
In the following, for any set of axioms, let + be named the subject after Boole, calling it Boolian algebra or
{0 1}. Booles theorems, as stated above, are easily Boolian calculus. At times he referred to those who used
proved by strengthening Booles Rule of 0 and 1 to Horn sen- equational logic to develop an algebra of logic for classes,
tences : such as Jevons and Schrder, as Boolians. In 1898, Peirce
NCR+1 |Idemp iff Z |= |Idemp , gave a series of invited lectures at Harvard titled Reason-
ing and the Logic of Things". These lectures so inspired the
where |Idemp means the variables of are relativised to Harvard philosophy Professor Josiah Royce (18551916) that
idempotent elements (see [10]). The corresponding result for he decided, mid-career, to embark on a crash course to learn
Boolean rings is mathematics and modern logic. Royces PhD students who
BR+ iff Z2 |= . benefited from this included Henry M. Sheffer (18821964;
For Boolean algebras, one has the parallel result PhD 1908), C. I. Lewis (18831964; PhD 1910) and Norbert
Wiener (18941964; PhD 1913). In 1913, both Royce and
BA+ iff 2BA |= , Sheffer published papers [26], [30] using the phrase Boolean
stated in 1967 by Fred Galvin [13]. algebra" for the modern version of the subject. Wiener [36]
added a paper on Boolean algebra" in 1917. Sheffers paper
4 The Reaction to Booles Algebra of Logic became the more famous and it used Boolean algebra in the
title this was the paper with the Sheffer stroke as the sole
Booles early successors appreciated his main results but, with operation. Bertrand Russell (18721970) was so impressed
the exception of John Venn (18341923), they found Booles with Sheffers stroke that it was used in the second edition of
use of the algebra of numbers with partial algebra models at Principia Mathematica. The name Boolean algebra" for the
best unattractive, at worst completely unacceptable. Booles modern version became ever more standard; in 1933, Hunt-
work was so mysterious that the first attempt at a substantial ington [18] would credit Sheffer with introducing this name.
review [33] of LT did not occur until 1876, 22 years after the Another Harvard mathematician Marshall Stone (18031989)
publication of LT; it was written by Venn. It provided little would also use the name Boolean algebra" in his famous pa-
insight into why Booles algebra actually gives correct results pers of the 1930s. Up till 1940, the name Boolean algebra"
and would not be improved upon for the next 100 years. Fi- was used mainly in papers published in American journals;
nally, in 1976, Hailperin [15] showed that characteristic func- but by 1950, it was the worldwide standard for the modern
tions were the key to justifying Booles algebra. version of the algebra of logic for classes.
bilities. Originally published by Macmillan, London, 1854. [29] Claude E. Shannon, A symbolic analysis of relay and switch-
Reprint by Dover, 1958. ing circuits. AIEE Transactions, Vol. 57 (1938), pp. 713723.
[5] , Selected Manuscripts on Logic and its Philosophy. eds. [30] Henry Maurice Sheffer, A set of five independent postulates for
Ivor Grattan-Guinness, Grard Bornet, Birkhuser, 1997. Boolean algebra, with application to logical constants. Trans-
[6] Frank Mark Brown, George Booles Deductive System. Notre actions of the American Mathematical Society, Vol. 14, No. 4
Dame J. Formal Logic 50 No. 3 (303330), 2009. (Oct 1913), pp. 481488.
[7] Stanley Burris, George Boole. The online Stanford Encyclope- [31] M. H. Stone, The theory of representation for Boolean al-
dia of Philosophy at http://plato.stanford.edu/entries/boole/. gebras. Transactions of the American Mathematical Society,
[8] , A primer on Booles algebra of logic. The text of an in- Vol. 40, No. 1 (Jul 1936), pp. 37111.
vited talk to the Irish Mathematical Society meeting, 27 Au- [32] , Applications of the theory of Boolean rings to general
gust 2015, in Cork, Ireland, available at http://www.math. topology. Transactions of the American Mathematical Society,
uwaterloo.ca/~snburris/. Vol. 41, No. 3 (May 1937), pp. 375481.
[9] , Justifying Booles algebra of logic. The text of an invited [33] J. Venn, Booles logical system. Mind, Vol. 1, No. 4 (Oct
talk on 28 August 2015 at the George Boole Mathematical 1876), pp. 479491.
Sciences Conference in Cork, Ireland, available at http://www. [34] , Symbolic Logic. London: Macmillan. pp. xl. 446. Second
math.uwaterloo.ca/~snburris/. ed. 1894.
[10] and H. P. Sankappanavar, The Horn Theory of Booles par- [35] Hassler Whitney, Characteristic functions and the algebra of
tial algebras. The Bulletin of Symbolic Logic 19 (2013), 97 logic. Annals of Mathematics 34 (1933), 405414.
105. [36] Norbert Wiener, Certain formal invariances in Boolean al-
[11] , Booles method I. A Modern Version. Preprint 2014, avail- gebras. Transactions of the American Mathematical Society,
able at arXiv:1404.0784. Vol. 18, No. 1 (Jan 1917), pp. 6572.
[12] , Booles Principles of Symbolical Reasoning, Preprint
2014, available from arXiv:1412.2953.
[13] Fred Galvin, Reduced products, Horn sentences, and decision Stanley Burris [snburris@math.uwaterloo.
problems. Bull. Amer. Math. Soc. 73, 5964. ca] joined the Pure Mathematics Depart-
[14] Robert Grassmann, Die Formenlehre oder Mathematik. Stet- ment at the University of Waterloo in 1968
tin, 1872. and has published over 70 research papers
[15] Theodore Hailperin, Booles Logic and Probability, Series: since then. He was a research associate of
Studies in Logic and the Foundations of Mathematics, 85,
Amsterdam, New York, Oxford: Elsevier North-Holland.
Alfred Tarski in 1971. He has carried out
1976. 2nd edition, Revised and enlarged, 1986. research in universal algebra for over two
[16] , Booles algebra isnt Boolean algebra, Mathematics Mag- decades, with a primary interest in Boolean
azine, Vol. 54, No. 4 (Sep 1981), pp. 172184. constructions and decidability, leading to the 1981 mem-
[17] E. V. Huntington, Sets of independent postulates for the al- oir Decidability and Boolean Constructions with Ralph
gebra of logic. Transactions of the American Mathematical McKenzie and the popular textbook A Course in Universal
Society, 5 (1904), 288309. Algebra with H. P. Sankappanavar. With increasing interest
[18] , New Sets of Independent Postulates for the Algebra of
in computer science, in 1996 he published Logic for Mathe-
Logic, With Special Reference to Whitehead and Russells
Principia Mathematica. Transactions of the American Mathe- matics and Computer Science. In the 1990s, he started work
matical Society, Vol. 35, No. 1 (Jan 1933), pp. 274304. on asymptotics and logic, leading to the 2001 book Number
[19] William Stanley Jevons, Pure Logic, or the Logic of Quality Theoretic Density and Logical Limit Laws. He has studied
apart from Quantity: with Remarks on Booles System and the history of logic (especially of the 19th century) for over
on the Relation of Logic and Mathematics. Edward Stanford, two decades, clarifying several aspects of Booles algebra of
London, 1864. Reprinted 1971 in Pure Logic and Other Mi- logic and writing the article George Boole in the online
nor Works, ed. by R. Adamson and H. A. Jevons, Lennox Hill
Stanford Encyclopedia of Philosophy. Being an avid fan of
Pub. & Dist. Co., NY.
[20] C. I. Lewis, A Survey of Symbolic Logic. Berkeley, University
Photoshop and of recognition of women in mathematics, he
of California Press, 1918. pp. 6 + 409. spearheaded the MAA Women of Mathematics poster project,
[21] Clarence Irving Lewis and Cooper Harold Langford, Symbolic strongly supported by Joseph Gallian, the MAA President at
Logic. The Century Philosophy Series. New York and London: the time (20072008).
The Century Co., 1932. pp. xi + 506.
[22] Alexander Macfarlane, Principles of the Algebra of Logic. Ed-
inburgh: Douglas, 1879.
[23] Desmond MacHale, George Boole, Boole Press Dublin, 1985.
The second edition appeared in 2014 from the Cork University
Press.
[24] C. S. Peirce, On an improvement in Booles calculus of logic.
Proceedings of the American Academy of Arts and Sciences,
Vol. 7 (May 1865 May 1868), pp. 249261.
[25] , On the algebra of logic. American Journal of Mathematics,
Vol. 3, No. 1 (Mar 1880), pp. 1557
[26] Josiah Royce, An extension of the algebra of logic. The Jour-
nal of Philosophy, Psychology and Scientific Methods, Vol. X.
No. 23, 6 November 1913.
[27] Ernst Schrder, Operationskreis des Logikkalkuls. Leipzig:
Teubner, 1877.
[28] , Algebra der Logik. Vols. IIII, 18901910; reprint by
Chelsea, 1966.
Cloth $55.00
Descent in
Buildings
The Princeton Companion to Applied Mathematics Bernhard Mhlherr,
Edited by Nicholas J. Higham Holger P. Petersson
& Richard M. Weiss
Mark R. Dennis, Paul Glendinning, Paul A. Martin,
Fadil Santosa & Jared Tanner, associate editors
Paper $75.00 | Cloth $165.00
Cloth $99.50
That started my interest in mathematics. I also went ented students. Some of them became well known math-
to a very good high school. This was during the depres- ematicians. I was part of a very good body of students
sion and to be a high school teacher was considered a and it was an exciting time.
very good job. I had excellent teachers and I must say Usually, when you get a PhD at some university in
that the quality of the students was also very good. I par- America, you then leave. You go to another university
ticularly enjoyed the mathematics courses and especially for your first job. Courant was different. He kept the
geometry and physics. I then decided I would like to good people. If good people got PhDs, he simply offered
study physics. them jobs.
Were there already clear signs that you had an excep- Did it help being offered a job if you played an instru-
tional talent for mathematics? ment?
The teachers considered me good but I think it became I didnt play an instrument. But if I had, it may have
clearer in college that I had some talent in mathematics. helped even more. Of course, the rumour was that he
When I graduated from university, I actually received a hired people who played instruments (unless they played
gold medal for my work in mathematics and physics. the piano, which he played himself).
You graduated from McGill University in Montreal. Did you meet with him often?
Perhaps you could tell us about your experience study- Oh, yes. He often invited the students socially to his
ing mathematics and physics at university? home. His wife was completely devoted to music and
I finished high school and applied for a scholarship at played a number of instruments. She was the daughter
McGill, which I didnt get. The high school offered an ad- of the mathematician Carl Runge,2 by the way. They had
ditional year, equivalent to a first year at college. I did two daughters who were both very ardent musicians.
that, applied again to McGill and then got a scholarship. One of them became a professional musician and is now
So I was at McGill for three years rather than the usual married to Peter Lax. Courant was wonderful with young
four. This was during World War II and I graduated in the people very encouraging and really exceptional.
Spring of 1945, just at the end of the war in Europe.
It was a pleasure to study mathematics and physics. Mathematically speaking, your mentor was Kurt Frie-
However, that was the only thing I studied. Because I drichs?3
missed the first year, I didnt take any courses in other Yes. Friedrichs was the person I regard as my Sensei (as
interesting subjects. I am sorry I didnt. the Japanese say). I really was most influenced by him.
He worked mainly with partial differential equations but
How did you end up at the Courant Institute in New he also did other things. He wrote a book on quantum
York? theory and a book, together with Courant, on shock wave
By pure luck! When I finished at McGill, I had a Sum- theory, which was widely used and translated into many
mer job at the National Research Council where they did languages.
atomic research. A son of Courant1 had married a young
woman from Montreal, whom I knew. They both worked You mentioned that there was a special atmosphere at
there and one day she said they were going to New York the Courant Institute, in part because no distinction was
to visit Courant. I asked her to ask him to suggest some made between pure and applied mathematics
place I could apply to do graduate work in physics. Thats right. Courant insisted there was no difference be-
She came back and said that Courant suggested that I tween pure and applied mathematics. He did both and he
come and take a Masters degree in mathematics. I could encouraged people to do the same. It is just mathematics.
then go on to do physics, he said. I went down for an in- When New York University hired him, they asked him
terview and was offered an assistantship in mathematics. what a mathematics department needs and he said: A
I got a Masters degree and I just stayed on. I never left library and a coffee room. So we have a very nice lounge
New York University. that we use all the time.
Courant, Friedrichs and the CUNY It is remarkable that you are the fourth Abel Prize Lau-
reate associated with the Courant Institute (after Peter
Courant was head of a very famous institute in Gttin- Lax in 2005, Srinivasa Varadhan in 2007 and Mikhail
gen, Germany. He was kicked out when the Nazis came Gromov in 2009). What has made this institute so suc-
to power but he was offered a position at New York Uni- cessful?
versity a year later to set up a graduate programme in the Well, partly it is just the warm atmosphere. I think gradu-
mathematics department. They only had undergraduate ate students are very happy there and there is a lot of
training at that time. He came to New York to do that interaction between the students and the faculty. It is, of
but there were very few students in those first years. The course, much bigger now than it was when I was a student
number of students only increased after the war. When I there. But the warm atmosphere has prevailed.
came, just after the war, there were a number of very tal-
2 18561927.
1 18881972. 3 19011982.
Who were your most important colleagues over your ca- Lets move on to your joint research with Shmuel Ag-
reer? mon and Avron Douglis.6 There were two very impor-
There is Friedrichs but also two other students of Cou- tant papers. Can you explain what they contained?
rant: Fritz John,4 a wonderfully talented mathematician What we did was to extend some classic work, by the Pol-
who later became a faculty member (I had the fortune ish mathematician Schauder, to higher order equations.7
of writing one paper with him) and Hans Lewy5 (I wrote There is a fundamental paper of Schauder for second-
several papers related to some of his work). Hans left order, so-called elliptic equations. We thought it would
Germany immediately after Hitler came to power. He be useful for people to be able to deal with higher order
came to the United States and had a career at Berkeley. equations and systems of equations so we proved the
analogues of those results. In the other paper, we proved
Partial differential equations and inequalities the results for systems and also for different norms, that
is, for different ways of measuring the size of the solu-
Your name, often with various co-authors, is attached tions. We published several different kinds of inequalities
to many fundamental concepts and theorems in PDEs. and they have been used by many people.
If you just look at the citation list, your work has had
a tremendous impact. Lets start with Fritz John, with You wrote a paper with Joseph Kohn introducing the
whom you authored a very influential paper about important notion of pseudo-differential operators. You
BMO functions (BMO standing for Bounded Mean are one of the fathers of that concept. Can you explain
Oscillation). why this concept is so important and how you came
That was his idea. He introduced BMO functions. It came upon it?
from some work he had done in elasticity theory. He ap- Joe Kohn had published a fundamental paper in com-
proached me saying: I have a class of functions and I plex analysis. It involved the regularity of solutions for
believe they should have such-and-such a property. I a certain class of systems up to the boundary a rather
worked on it and was able to prove that property. He difficult paper! He suggested we should try to generalise
then improved it so the final version is better than what I this to more general systems of equations. We started to
had done. It became a joint paper and I must say a lot of look at it and we had to consider so-called commutators
people have referred to it. of operators. You apply an operator and then you apply
a second one. Then you take the difference of that result
Absolutely! It became famous if we may say so be- with the operator obtained by applying the second one
cause of the many applications. For instance, Charles and then the first. We needed properties of the commu-
Fefferman got the Fields Medal in 1978 and one of his tator. We were using a certain space, called an Lp-space,
main contributions was to show that the BMO space is and a theory due to Caldern8 and Zygmund9 for certain
dual to the Hardy space H1. singular integral operators. We needed to extend their re-
Charles Fefferman did many things but in particular, he sult to commutators so we thought: How do we extend
proved the duality result that you refer to. these singular integral operators to make an algebra out
of them?
Your paper with Fritz John contains the JohnNiren- That led to what we call pseudo-differential opera-
berg inequality. You love inequalities? tors. The concept came from a very specific problem in
I love inequalities. And what we proved in the paper was systems of partial differential equations but it turned out
really an inequality. to be a useful thing in itself. It grew out of Caldern and
Zygmunds theory. By the way, Caldern was a wonder-
Would you explain why inequalities are so important in ful mathematician and he danced the tango, which I ad-
the theory of PDEs? mired enormously.
When you look at a partial differential equation, you may
ask whether a solution exists. Now, you cant write down You had a very bright student, August Newlander, with
the solution so you need to know some bounds. It cannot whom you wrote a very important joint paper in 1957.
be too big, it cannot be too negative, its derivatives cannot Can you tell us about the results you proved there?
be too big and so on. You try to get estimates of the size of It was a problem I first heard of from Andr Weil.10 He
the function and of its derivatives. All these estimates are said: Heres a problem in complex analysis. Why dont
inequalities. You are not saying that something is equal you people in partial differential equations work on this
to something but that something is less than some con- kind of problem? I thought: Why not? Lets try. I took
stant. Thus, inequalities play an essential role in proving a student who was very bright and I said: Lets look at
the existence of solutions. In addition, you want to prove the very simplest case, in the lowest dimension. The stu-
properties of solutions and, again, inequalities play a cen- dent, Newlander, had the initial idea, which worked fine
tral role. Hence, inequalities are absolutely fundamental
to studying partial differential equations; for that matter, 6 19181995.
so are they for ordinary differential equations. 7 18991943.
8 19201998.
4 19101994. 9 19001992.
5 19041988. 10 19061998.
in low dimensions but, to our surprise and dismay, didnt You also went to the Soviet Union?
work in higher dimensions. We had to come up with a Yes. The first time I went was in 1963. It was a joint So-
completely different proof in higher dimensions. It led viet-American symposium on partial differential equa-
from a linear problem to a non-linear problem. It was tions, arranged by Courant on one side and the Soviet
kind of strange but the non-linear problem was in some mathematician Lavrentyev15 on the other. There were
ways more accessible. about two dozen American mathematicians and about
120 Soviet mathematicians from all over the Soviet Un-
What was Andr Weils reaction when you solved the ion. It is one of the best meetings I have ever attended.
problem? It was in Novosibirsk, Siberia, which was the academic
He was very happy and so were other people in complex city that Lavrentyev had helped create. It was like be-
analysis. Many people have used the result. Some years ing aboard a ship for two weeks with people you make
later, Hrmander11 found a linear proof of the same re- friendships with immediately. I made friends with Rus-
sult. It was very technical but it was purely linear. sians that are still friends today. Some have died, unfor-
tunately, but I have had very good friends in Russia since
Are there any outstanding problems in the enormous then. I have never collaborated with any of them but they
field of partial differential equations, apart from the Na- are still very warm friends; we would meet and talk about
vierStokes problem, that you would like to highlight? mathematics, politics and all kind of things.
Well, I think almost nothing has been done in so-called
over-determined systems, that is, where there are more How about China?
equations than unknowns. You may have two unknowns I have been to China a number of times. The first visit
and five equations so there have to be some compatibility was arranged by Chern,16 a Chinese mathematician who
relations. Theres almost no analytic theory of that. There had settled in America. This was in 1975 and the Cultural
is a theory developed by Cartan12 and Khler13 but that Revolution was still going on, though I didnt realise it at
assumes that everything is analytic. Outside analytic cat- the time. For instance, I was visiting the Chinese Acad-
egory, almost nothing is known about such systems. They emy of Science but I was taken to Beijing University. I
often come up in geometry so I feel that this is a big gap said I would like to meet the faculty but they said they
in the theory of partial differential equations. were busy teaching which was simply a lie. There was
no teaching going on. They showed me the library and
Mathematics and mathematicians all over the then they wanted to take me to some other university
world but I said: Theres no point. Either I meet the faculty or
I dont go.
May we ask you some questions about international They had me give many lectures but I said I also want-
mathematics? We know that you travelled to post-war ed to hear what some of the people there were doing. So
Europe very soon after your graduation. some young people spoke about some of their research.
Yes. I had a fellowship and came to Zurich during the I learned later that they had to get permission to attend
academic year 1951/52. I went mainly to be with Heinz my lectures. I didnt make close friends at that time. It
Hopf,14 who was a geometer and a topologist. Heinz was an interesting experience and, of course, things have
Hopf was a wonderful person a lovely and extremely changed enormously since then. I did make friends with
kind man. I also spent one month in Gttingen that year. some who subsequently came and spent a year or two at
That was arranged by Courant who felt I should go there. Courant.
During that year, I didnt actually carry out any research.
What I did was to write up the things I had done before. We should also mention that you were awarded the first
I had been very slow at writing them up for publication Chern Medal of the International Mathematical Union.
because I somehow had a block against writing. So dur- Yes. Thats true. That was in 2010.
ing that year I wrote several papers.
You were also awarded the first Crafoord Prize in 1982,
Did Courant ever return to Gttingen? together with Arnold.17
Yes. After the war, he went back to Germany many times. Perhaps it was a tongue-in-cheek comment but
He had many contacts and he wanted to help build up Arnold once said something like: Mathematics is the
German mathematics again. part of physics in which experiments are cheap.
It wasnt entirely tongue-in-cheek. He really felt that the
He must also have been very bitter? contact of mathematics with physics and the real world
Well, he was bitter but, at the same time, he had friends was important.
and he wanted to encourage and help to develop math- He didnt get permission to go and get the Crafoord
ematics in Germany. Prize. I visited Moscow just before I went to Sweden and
had dinner with him in his home. He was waiting until
11 19312012.
12 18691951. 15 19001980.
13 19062000. 16 19112004.
14 18941971. 17 19372010.
the last minute to see if he would get permission, but he My ideas may lead to a better proof or may lead to some-
didnt. thing new. The student said hed never seen a proof he
When I went back to America, I got a call from a didnt like and I thought: He is hopeless!
woman claiming to be Arnolds sister. I thought: How
is that possible? I had just seen Arnold a few weeks be- May we ask you a question that we have asked several
fore and he never mentioned he had a sister in New Jer- previous laureates? How does one find the proof of a
sey. She came to my office and, indeed, it was Arnolds mathematical result?
sister. He never mentioned a word. Its incredible! Some people work with perseverance until a proof
is complete but others tell us that insight appears in a
Talking about Arnold, on some occasions he expressed sudden flash like lightning. Do you have experiences
frustration that results proved in the West had already of this sort?
been proved in Russia but, because of poor communica- Both may happen. But most of the time you are stuck.
tion during the Cold War, these results were not known. Maybe you make a breakthrough with some problem as
Did he express these feelings to you? you get some insight and see something you didnt see
He tended to do that. I remember once he was visit- before. But the perseverance and all the work you car-
ing New York. Someone was giving a seminar talk and ried out before seems to be necessary to have this insight.
he was attending the lecture. During the talk, Arnold You need perseverance or, as the Germans say, you need
said: Oh, that was already proved by such-and-such a Sitzfleisch.
Russian. But the person giving the seminar talk then
checked and the Russian had never proved it. So Arnold Are you the kind of person that gets so involved in try-
was not always correct. He tended to give more credit to ing to solve a problem that you are, so to speak, lost to
Russians than was due. the world?
You may have heard the joke where the Russian says: Not all the time but it can happen for many hours. Some-
What you proved, I proved first. And anyway, the result times, I wake in the middle of the night and start thinking
is trivial. about a problem for hours and cannot sleep. When you
do that, it is very hard to fall asleep again! If I have an
Problems, collaboration and Sitzfleisch idea, I just follow it. I see if it leads to something. I still
try to do that but in the last few years it has not led any-
It is striking that 90% of your published papers describe where. I havent had any success.
joint work. Can you explain why this is so?
It is just a pleasure! It is just an enormous pleasure talk- Communicating mathematics
ing mathematics with others and working with them. Of
course, much of the work you do yourself. I mean, you You have had 45 PhD students. That is an impressive
discuss ideas and work with others but then you go home number! Can you tell us what your philosophy is? How
and think about what you have done. You get some ideas do you come up with problems for your students?
and you get together again and talk about the new ideas. Its hard to say. Sometimes it is hard to think of a suitable
You get reactions to your ideas and you react to their problem. It is easier to think of problems that are too
ideas. It is a wonderful experience. hard, and just not practical, than to think of a problem
that is good and can be solved in reasonable time. I cant
Do you usually start out with a goal in mind? really answer that question. I dont know how I go about
Usually there is a goal. But somebody once used the ex- posing problems.
pression: There are those mathematicians who, when
they come to a fork in the road, they take it. Im that Were there occasions when you had to help students
kind of mathematician. So, I may be working on a prob- along?
lem with a colleague when we come to something that Oh, yes. I meet the students regularly, usually once a
looks interesting, and we explore that and leave the origi- week. We discuss their progress and I might make sug-
nal problem for a while. gestions. I may say: Look at this paper, this may lead to
something.
Are you more of a problem solver?
Yes, definitely. There are two kinds of mathematicians. How would you describe your love for mathematics?
There are those who develop theories and those who are What is it about mathematics that is so appealing to
primarily problem solvers. I am of the latter. you? Is it possible to communicate this love to people
outside the mathematical community? Does one have to
Do you come up with interesting problems through be a mathematician to appreciate the appeal of math-
discussions with other mathematicians? What kinds of ematics?
problems are you attracted to? Is there any pattern? Some people are very good at communicating to the gen-
Its hard to say. A graduate student once asked me how eral public. I am not so very good at that. But once you
I find good research problems. I said to him that I some- are in it, once you are hooked, its very exciting and fun. I
times see a result but dont like the proof. If the problem have used the word fun before. But it is really fun to do
appeals to me, I start to think if there is a better proof. mathematics. It is an enormous pleasure to think about
mathematics even though you are stuck 90% of the time, ies: Italian movies, Russian movies, French movies. I went
perhaps even more. crazy. I went almost every night to the movies. Since then,
I have loved movies.
That is what people outside mathematics cannot com-
prehend. Have you seen A Beautiful Mind?
Yes, it is hard to comprehend. You have to be in it and I Of course, and I have read the book.
think it does take some talent to be able to do mathemat-
ics. But it also takes, as I said, Sitzfleisch. You need to What kind of music do you like?
be stubborn and have perseverance, and you cant give Mainly classical but I also listen to jazz. My grandson,
up. I have been stuck on some problems for years. who will be at the ceremony tomorrow, is a professional
jazz drummer. And I love Argentinian tango. I have a
But you do think its important to try to communicate large collection of records of Argentinian tango.
to the general audience?
Yes, I do think that is important: (a) for the development Not only on behalf of us but also on behalf of the Norwe-
of mathematics, and (b) to show them that it is a pleas- gian, Danish and European Mathematical Societies, we
ure to do mathematics. Courant and Robbins18 wrote would like to thank you for a very interesting interview.
a very nice book: What is Mathematics?. It is a lovely
book. There is also a recent book by Edward Frenkel, a
mathematician who came as an immigrant from Russia
as a young man. It is called Love and Math. He makes a
valiant attempt to get the general public interested in the
branch of mathematics in which he works (which is also
connected to physics). It is very hard to do. He tries but I
think it is too hard for the general public. But he makes a
real attempt to do it and I must say I admire him for that.
I just recently read his book.
Were you surprised to get the Fields Medal? a lot of time in India growing up, which is where my ex-
Well, I guess maybe it wasnt the hugest surprise, since tended family is from. Indians tend to have very large
people had been talking about it and asking me about it and supportive families and I always received a lot of en-
for so long. But, of course, when it actually happens, it is couragement from them.
a surprise, and a pleasant one. My greatest inspiration was my grandfather, who was
a Sanskrit scholar. I spent a lot of time learning from him,
There has been a lot of attention this year, more I think not just Sanskrit but also history, philosophy, literature
than four years ago. It was impossible to reach you by and other languages like Hindi and English.
email. I also learned a lot about these subjects from my
Indeed, within a couple days of the announcement, I had mother, who is a mathematician (so, of course, I learned
received around 18,000 emails! There was no way I could a lot of mathematics from her as well).
read through them all. Im so sorry that I was hard to I didnt like to go to school so much. I liked learning
reach. But I plan to respond to all of them you will on my own but then Id show up for exams and, of course,
eventually hear from me! also for after-class activities at my school, which was a
running joke among my teachers and friends.
I can understand. I tried to reach you after your talk
as well. It was impossible; the crowd around you was What is your earliest memory of mathematics?
incredible. I felt like the paparazzi. I always liked mathematics, as far back as I can remem-
Yes, I have never experienced anything like it. It was fun ber. I loved shapes. My favourite toy as a 2- or 3-year-
at first, giving autographs and taking photos. But then old (my earliest memories are from then) was a cube-
the crowd was getting too big and compressing towards shaped puzzle with various shapes cut out of it, and the
the centre, and people were getting crushed. Two security goal of the puzzle was to quickly identify the shapes and
guards came to try and disperse the crowd but they too insert them into the slots where they exactly fit. A bit
got crushed. Then they radioed a whole team of security, later, I remember trying to work out ways to add and
who made their way in and formed a ring around me and then multiply large numbers in my head using my fin-
took me away. gers.
I never thought I would experience something like I was always interested in numbers. I really liked big
that as a mathematician! I am extremely impressed that numbers and learned the names of bigger and bigger
mathematics in Korea is held in such high regard. The numbers in both Hindi and English (mahaashankh is
ceremony was broadcast live on national television and 1018 in Hindi; then I learned the word vigintillion in
so many from the public watched it, enough so that we English, which is 1063; then I learned from my grand-
would get stopped for pictures and autographs just walk- father that back before 500 BC, there was the Sanskrit
ing on the streets of Seoul. word dhvajaagranishamani for 10421, which I found
very exciting).
So you are experiencing the proverbial 15 minutes of
fame. Big numbers are much more mindboggling and condu-
Yes, or more precisely about a week of fame, until I leave cive to vertigo than mere infinity.
Korea and return to the US! Do you know of the number Googolplex?
edge of the pyramid. This is impressive. When did you ematics, it is not in words or in terms of things that can
encounter, say, complex analysis? be written down yet. That usually comes later when I try
I always enjoyed doing such things on my own for fun. to translate these thoughts into more usual mathematical
But, as I said, I never skipped any grades. For example, I language.
did not learn complex analysis until I was a sophomore in
college and took a course. So I was never that much more What about collaboration?
advanced than my peers, particularly when I reached col- I love working with others. Thinking and talking about
lege at Harvard, where so many students were really ad- and working on mathematics together with others is one
vanced. of the joys of mathematics. It can also be more produc-
tive. Collaboration forces you to think things through
Did you ever read a math book cover to cover? by explaining them, and the other person can then give
Yes, I often did in graduate school. Princeton did not of- invaluable input, feedback and new perspectives, as
fer many courses for beginning graduate students so this you bounce ideas off one another. Sometimes, different
was the way I learned much mathematics. collaborators can bring different areas of expertise to
a problem, which can be very valuable and help bring
You always were a good boy? some cross-pollination between areas.
I guess so. Im told I was quite hyper and naughty when
I was a 3- or 4- or 5-year-old but it seems I outgrew that! Does working with someone not interfere with your
thinking process? When you are thinking hard about
Did you have other interests? Reading? The classical something, you do not want to be interfered with.
Indian epics such as Ramayana and Mahabharata con- Sometimes. But, in collaboration, one generally decides
stitute a treasure trove which must be very fascinating which parts are more productive or fun when discussed
to a child. together and which parts each should go home and think
Yes, these epics, as well as various other works of litera- about alone. In the latter case, collaborators can go home,
ture, were frequently the topics of conversation over think separately and then bring their ideas the next time.
family dinners at home. In fact, my uncle often made So, even in collaboration, there is usually a lot of indi-
these conversations into contests, as to who knew the vidual thinking. Actually, sometimes youll be working
most details about various aspects of these works. These with a collaborator where no one speaks for over an hour
contests were a lot of fun and added for my cousins and individual thinking is going on! But still its fun to do
me a further motivation to read! it together, knowing that there is someone there in case
you are ready to share an idea, or problem, or general
Later on, did you consider any alternative careers? confusion.
I did often toy with the idea of becoming a musician and
tabla player as a profession. But at some point, I realized Nothing beats direct human conversation, or should
that if I became a mathematician, Id still find time to I say interaction. Are there problems you have solved
keep up music as well but if I became a full-time musi- in collaboration that you would not have been able to
cian, Id probably have a tough time keeping up math- solve by yourself?
ematics! Almost certainly! This is, of course, impossible to know
for sure. But I definitely think so, and I suspect this is
So you were all set to be a mathematician from an early likely the case in most of my collaborations!
age?
I always loved math and because my mother was a math- Do you understand everything you are doing in math-
ematician, I was always aware of that pleasant career op- ematics? I mean, what is important about a theorem
tion. But I did have brief periods when I changed and is not its precise formulation but the idea of the proof
thought maybe Id like to do computer science, or eco- which can be used to prove many different theorems.
nomics, or physics, or linguistics, as I liked these subjects a If you just use the exact formulation, you are actually
lot too. But I always realized that mathematics was what treating the theorem as a black box.
was bringing these subjects together, and mathematics I used to understand all the mathematics that I do, from
was what I liked about them. the very basics all the way up. There were no black boxes.
But in some recent collaborations just in the last year, I
How do you do mathematics? have used some theorems I did not understand from first
I usually like thinking about mathematics while walking, principles but took on trust, using them as black boxes
or jogging, or pacing, or working with someone at the as you say. I must admit that at first it made me quite un-
blackboard. I quite rarely sit down with a pen and paper comfortable. It did not seem to bother my collaborators
and do mathematics; that usually comes after something as much though, who were already used to it after many
has been worked out already. years of it! This is a modern phenomenon in doing math-
ematics, building on years and years and pages and
So you cannot think when you are standing still. pages of our predecessors work, to the point where it
I guess thats a good way of putting it! The reason I stay is not possible for any one person to know every detail.
away from paper is that often when I think about math- But one must get used to it. In some sense, it is also awe-
By the way, who was your advisor? The connection between mathematics and music is often
Andrew Wiles he was definitely a great inspiration pointed out. Do you think there is one and, if so, how do
to me! I didnt end up working directly in his area and you explain it?
tended to work more on my own problems but he was There definitely is. Many mathematicians are musical
just wonderful to discuss mathematics with. He was al- and I dont think that is a coincidence. What is interest-
ing is that it doesnt quite work the other way round, at But some mathematicians are not musical at all. Does
least not to the same extent. that mean that they are different as mathematicians,
maybe even defective?
If you meet a musician and tell him that he must be No perhaps they have the potential but never had the
good at mathematics, chances are that he or she will opportunity to develop it. Not all excellent musicians are
look at you blankly. also excellent painters or sculptors. It is up to each per-
Precisely. son to decide how best to apply and develop ones artis-
tic sensibilities and interests.
It also means that musical talent is much more common
than mathematical talent. In order to appreciate mathematics, you have to be a
I guess so an interest in music certainly tends to be mathematician but you can appreciate music without
much more common than an interest in mathematics. being able to compose music. I suspect that the emo-
tional impact of music has very little to do with the
But we are not talking about just an interest but about composing of music, maybe not even with musicality
the active sense of playing an instrument. Do you play per se. Mathematics does not have this aspect. It does
an instrument? not give the same kind of emotional sustainment. It is
I did learn several instruments as a child: tabla, sitar, gui- very different listening to a math lecture and a piece of
tar, violin and a bit of piano later on. But tabla is the in- music.
strument that I always enjoyed the most and stayed most Every subject can be appreciated at different levels. I
in touch with over the years. definitely think it is possible for the general public to ap-
preciate the beauty of mathematics, if it is presented in
Do you actually perform to paying audiences? an accessible way. Maybe a general person will not ap-
Yes, I do but definitely less so than in the past. It takes so preciate it at the same level and in the same way that a
much time to prepare and practice for such concerts and mathematician would, just as a general person might not
Im getting less time every year, unfortunately. appreciate a technical piece of music in the same way
that a professional musician would. But I do agree that
But why is there such a connection? Have you ever given music tends to appeal slightly more to ones emotional
it a thought? side and mathematics slightly more to ones logical side.
I have given it a lot of thought. But is not the sensation of beauty listening to a lecture
by Serre similar to listening to a beautiful piece of music?
So what are your thoughts? Serres lectures are like musical improvisations he is
Well, I think that both mathematics and music are about sensitive to the reactions of the audience and changes his
patterns and how they fit together. Practitioners of both presentation as he goes along.
subjects are guided by beauty and elegance, with the aim
of telling stories and conveying thoughts that ordinary No there is, I think, a profound difference. The appre-
words cannot express. ciation of mathematical beauty is not tied to a definite
presentation; it can easily be paraphrased.
I would perhaps put it a bit differently. It is about Well, it depends what kind of music you are talking
themes that repeat themselves with subtle variations, not about. Not all music is tied to a definite presentation. I
mechanically or predictably. Music is not about perfect think elegant chalk-and-blackboard mathematics lec-
symmetry, but almost, just as two different mathemati- tures are more like the improvisations of classical Indian
cal fields can be very similar without being isomorphic music or jazz, where the speaker/musicians presentation
if the latter were the case, it would be boring, just as al- is affected by the atmosphere and mood of the day and
gorithmically generated music is supposed to be boring. the reactions and type of the audience. The main themes
I would say that part of the divergence of the two sub- are decided in advance but the exact presentation can
jects has to do with the difference between the types of vary, and can come out differently each time. That is part
thinking in the right and left hemispheres of the brain. of the excitement of it.
There is a formal, logical aspect to mathematics, which
is the only one people in general are aware of, but there Misspellings or mispronunciations have no impact on
is also a very artistic side, having to do with creating and the mathematical beauty but playing the wrong notes
discovering patterns and seeing how they can be con- has a jarring effect.
nected in a coherent and expressive way. The same is true Wrong notes, i.e. notes played outside the framework of
of music as well: there are formal constraints on compo- the musical piece, are similar to mathematical errors in
sition/improvisation dictated by the genre of the music a lecture and the latter may be equally (if not more!)
but, beyond that, what remains is the artistic expression jarring.
given those constraints of the genre. Id say the formal
and logical aspects are slightly more critical in math- But take a standard piece in the Western classical rep-
ematics than in music (in that a piece of mathematics is ertoire, say the Goldbach variations by Bach. They are
rejected if it is not completely logical) but the artistic and essentially played in the same way over and over again,
logical aspects play an important role in both. although of course I am aware of the subtle variations
from one performance to another, just like differences Are you interested in mathematical philosophy the is-
in the translations of the same novel. You can take a sue of mathematical Platonism?
recording and listen to it again and again but if you A bit, but I cant say I give it a lot of thought.
played the same video of a Serre lecture over and over
again, you would get bored. So it means that you are a Platonist.
Well, thats why I was saying that a chalk-and-blackboard [Laughing] Sure I do feel that good and natural math-
math lecture is more similar to an improvisational form ematics is discovered and not invented.
of music, such as classical Indian music or jazz, where
the themes are predetermined but the exact rendition So you believe in an external mathematical truth, that
of the themes varies from performance to performance, the theorems we prove are not just figments of our im-
depending on the mood and the audience that particu- aginations or mere social constructs.
lar day that is part of the excitement of those forms of I do. I think many mathematicians would probably not
music. do mathematics otherwise.
For example, the raaga Darbaari is one of the most
beautiful raagas in Indian classical music but each time One of the wonders of mathematics is that some math-
one goes to hear it live, one is likely to hear a different ematical conjectures are actually being solved.
rendition (possibly even on a different instrument or in- I agree. That is rather amazing! But it is conceivable that
struments) and that is part of the beauty and appeal of some famous conjectures that people work on might be
this melodious raaga. One would likely get bored if one undecidable.
went to hear exactly the same performance of Darbaari
over and over again, unless it is one of the truly historical Maybe because they are, as they say in the field of PDEs,
and legendary renditions (such as that of Ustad Vilayat not well-posed. The natural questions seem to be ame-
Khan or Pandit Bhimsen Joshi). nable to solutions, such as the rather remarkable link
Incidentally, I am not so sure I would get bored view- between Fermats conjecture and work in Elliptic curves
ing the same lecture by Serre over and over again no that your advisor exploited.
doubt I would always find new insights each time! That does seem true so far. But there are also several
well known and seemingly well-posed problems that are
But if you want to understand a piece of mathematics, it still open it could be possible that some of these are
is better to read different presentations rather than read undecidable
the same one over and over again. Mathematical ideas
are not as tightly tied to their presentations as musical. Do you have any personal opinions on the status, say, of
Again, the very same is true for improvisational forms the Riemann Hypothesis or the BirchSwinnertonDyer
of music such as classical Indian music and jazz: listening Conjecture?
to several renditions of the same raaga or an improvisa- Id certainly love to see a solution to one or both of these
tional jazz piece by different expert musicians is the very in my lifetime. But its not clear to me in either case how
best way to understand it, absorb it and appreciate it. close we are. Ive certainly thought more about the latter
and feel like it could be within reach.
A further example to illustrate the difference between
composing and listening is that Haydn reportedly burst You have ideas of how to prove it, not just ways of vin-
into tears when listening to his own creation (actually dicating it, as in your talk, which was very nice by the
`The Creation), claiming that he could not have com- way.
posed it; it was too beautiful. Thanks. I think I have a few ideas of how to prove it, in
Actually, I truly feel this happens to mathematicians all the sense that I have some ideas that I have not yet tried
the time. Who hasnt looked back on ones prior works and so they have not failed yet!
and asked: How did anyone come up with that? It hap-
pens to me on occasion. I come across things that I have Which you are not going to expand upon?
written in the past and am amusingly impressed. How It would take us too much afar.
did I ever think of that? At the time, it might have been
obvious but, of course, not later. Looking back at ones We started our conversation about large numbers and
artistic thought or creation as a third person can be an how they exercise a fascination, especially on burgeon-
extremely different experience than the moment or ex- ing mathematicians. But there are different kinds of
perience of creating it. numbers; not all numbers seem directly related to cardi-
nality, and some basic cardinalities are very low. When
That is true. When you write something down, it is no it comes to mathematical abstraction, I believe that
longer a part of you; it has an independent objective there may only be three or four significant levels, just
existence. Popper would express it by saying it has been as we can only sense number, so called subitising, when
moved from World Two to World Three, from your own there are very few.
personal world to one which can be shared by all think- That is certainly true. There are very few levels of ab-
ing people. straction that mathematicians tend to employ. But that
Indeed. may be because mathematics is still in its infancy.
It seems to me that when it comes to very large numbers, ics. Number theory inevitably touches on it and where it
they do not really have mathematical significance. The does, it gets hopeless.
celebrated Skewes number resulted from a crude esti- Could be. At the moment, though, there are far easier
mate, which has, I believe, been drastically improved. places where it gets hopeless! The fact that, as yet, there
Much of real mathematics only concerns the exponen- is no algorithm that provably determines whether an el-
tial; if you get double exponential bounds, your esti- liptic curve equation has a finite or an infinite number
mates are bound to be crude. of rational solutions is intriguing. You did go to my talk?
Well, that is true about Skewes number. But do you
know about the the ParisHarrington Theorem? It says Yes, I did, and this is why I brought this up. It was very
that the smallest number satisfying the strengthened fi- nice, perhaps because I knew a dense subset of it. It is
nite Ramsey theorem with given parameters grows well always the completion at infinity that you can bring
beyond exponentially in those parameters; it is not even home with you. If you do not know enough, you could
primitive recursive and is beyond what can be defined get lost.
using Peano arithmetic. Its a pretty natural example True, there is only so much information you can process
where such a huge function naturally arises and cannot during a talk.
be made smaller. I would not be surprised if more exam-
ples are discovered in the future in number theory and So what makes a good math talk?
beyond. Well, as you say, you should not strive to convey too much
information and you must try to build on what your audi-
But there are many places where logic and mathematics ence already knows. Doing less with clarity and purpose
part ways. In logic, you can formally have arbitrarily is much better than doing more. I also feel a talk should
long chains of quantifiers but, in practice, those chains try to impart a sense of the wonder, the motivation, the
are severely limited in length, just like the levels of ab- connections with other related problems or applications
stractions. Does anything beyond the cardinality of the and a glimpse of some of the key ideas. I think that goes
continuum enter real mathematics? for all talks, to the public as well as to ones professional
Its true that we rarely work with cardinalities beyond colleagues, although how one goes about it in each case
the continuum but it does happen, no? Many theorems in can be quite different.
topology and model theory (which has also been exten-
sively used in number theory in recent years) make use Thanks so much for your time during this very busy pe-
of ultrafilters, which even on Z have cardinality beyond riod for you.
that of the continuum Im sure there are other exam-
ples. It was a pleasure. Thanks very much for your interest,
and for the excellent questions!
There are no known effective bounds on the sizes of min-
imal rational solutions to algebraic equations over the
rational numbers but, if they existed, would they not be Ulf Persson [ulfp@chalmers.se] has been a
exponential with respect to the coefficients? member of the editorial board of the EMS
Well, given the ParisHarrington theorem, it seems to Newsletter since 2006 and a professor of
me that larger-than-exponential functions could poten- mathematics at Chalmers University of
tially arise in this scenario as well, no? I dont see why Technology in Gothenburg, Sweden, since
not. In particular, if there were such general exponential 1989, receiving his Ph.D. at Harvard in
bounds, would that not give an algorithm to determine 1975. He has in the past interviewed recent Fields medal
the solubility of Diophantine equations, which we know ists specifically for the EMS Newsletter, as well as other
cannot exist by work of Matiyasevich, etc.? mathematicians for alternate assignments, in a conversa
tional style, some published, others as of yet unpublished.
What I am aiming at is some formulation along the There is a plan to make a selection and collect them into a
lines of the unreasonable reasonableness of mathemat- forthcoming book.
Some 40 participants are seated in the large seminar still is not confirmed but considering the potential danger
room; they have come from 12 different African coun- of the situation, we should all get back to the hotels imme-
tries1 to Ouagadougou, the capital of the landlocked diately. By the time I have digested the news and further
country of Burkina Faso2 to learn about Fourier integral questioned my colleagues, we realise that the participants
operators and their many concrete applications inside and have already left for the hotels with the hotel van. In the
outside the realm of mathematics. The school3, funded by car that is driving us back, I insist that we should go to
the Volkswagen Foundation, started three days ago and, the hotels to inform the participants and speakers of the
for the last talk of the day, I am about to explain to them situation. My colleagues hesitantly comply as I argue that
how to use the inverse Fourier transform to build pseudo- informing the participants of the situation is the best thing
differential operators from rational functions, when my to do at that stage, after which they leave for their respec-
colleague Bernard Bonzi, co-organiser of the school, steps tive homes on the other side of the city. Back in our hotel
into the room calling me to the door. after the sudden interruption of the talks, we gather with
I follow him along the corridor, where three other col- other guests staying at the hotel around the television set
leagues and co-organisers, Marie-Francoise Ouedraogo, in the reception hall to hear that the event was indeed a
Stanislas Ouaro and Hamidou Tour, are waiting with anx- putsch by General Gilbert Diendr.
ious looks; something serious has happened, they tell me. This was how the school was suddenly interrupted on
Is it that serious that I cannot have another 10 minutes to Wednesday 16 September 2015, a date that probably none
conclude my presentation? My colleagues seem reluctant of the participants of the school will ever forget.
to let me finish but finally nod approvingly, insisting that Diendr had served for three decades as former Presi-
I should conclude hastily. I still have no idea why there is dent Blaise Compaors Chief of Staff. This coup was sup-
this sudden tension and I am suspecting a problem with ported by the presidential guard known as the RSP, the
the premises we are using, a three-storey, medium size, 1,200 strong Regiment of Presidential Security, of which
cream-coloured building on the outskirts of Ouagadou- Diendr was also seen as the figurehead commander de-
gou, some 20 minute bus drive from the two hotels most spite having retired from the force in 2014. The RSP ar-
of us are staying in and not too far from the campus of the rested both President Michel Kafando of the transition
University of Ouagadougou (co-organising institution of government and Prime Minister Isaac Zida. The air and
the event). Some 10 participants are staying at the guest terrestrial borders were closed for some days4 and a curfew
house of the university, which is near the conference hall from 7 pm to 6 am (lasting some 10 days) was declared.5
but far from the two hotels in the city centre where most Little had I anticipated such a dramatic event during
of the participants are housed. The local organising com- the opening ceremony,6 which had taken place that very
mittee has rented the conference hall as well as a nearby morning in the presence of the President of the Univer-
room where we gather for lunch and coffee breaks from sity of Ouagadougou.
the private University of Saint Thomas dAquin. I had expressed my hopes that this school might help
Back in front of the audience patiently waiting for me, overcome the obstacles that set walls between our respec-
I mumble a few words explaining, with a touch of irony, tive nations and continents. A putsch was not among the
that we should conclude rapidly before we are required
to leave the room. I feel I am legitimately and dutifully
finishing the explanations I had started. The students who
had got actively involved in the discussion about the cor-
respondence between symbols and operators via the Fou-
rier transform seem somewhat disappointed when we stop
soon after the interruption. My colleagues, who still look
very preoccupied, take me away into a room, which adds
to the mystery of their sudden interruption, and answer my
questioning look: There seems to have been a putsch; it
Place de la Rvolution.
* On leave from the Universit Blaise Pascal in Clermont-Fer-
rand 4 The airport was briefly reopened later to let the presidential
1 Benin, Cameroon, Chad, Congo, Democratic Republic of
delegation of Macky Sall (President of Senegal) and Thomas
Congo (RDC), Ethiopia, Ivory Coast, Mali, Morocco, Niger, Boni Yayi (President of Benin) land to start the negotiations
Nigeria and Senegal. with General Diendr.
2 The Land of people of integrity (Le pays des hommes in- 5 The curfew restrictions were to be lessened a week later to
honouring the willingness of Abraham to sacrifice his son, as 10 Michle Audin (Strasbourg), Viet Ngyuen Dang (Lyon), Ju-
an act of submission to Gods command. lio Delgado (London), Catherine Ducourtioux (Corte), Mas-
9 A civic organisation, founded by two musicians in 2013,
similiano Esposito (London), Matthias Krger (Gttingen),
which played a central role in the protest movement that Gilles Lebeau (Nice), Cyril Lvy (Albi/Toulouse), Michael
forced Blaise Compaor to resign in October 2014. Ruzhansky (London) and Ren Schulz (Hannover)
make a comment, so uncer- a couple of days later to calm down the situation. This time
tain was the situation. In the their intervention had an effect; a week after the coup,13
midst of this overwhelming an agreement was passed and a peace deal was presented
tension, one would hear the to the Mogho Nabaa, King of Burkina Fasos leading Mos-
participants making jokes si tribe. Michel Kafando, who had been under house arrest
about the situation, such as for some days after his first detention, was now free and
the rather repetitive lunch announcing his return to power.
menu: due to the acute The school went on running in the midst of the turmoil,
food shortage caused by the a form of resistance to Diendrs diktat. The applications
putsch, the hotel manager to climate change and seismology we had planned for the
The market closed because of the
had arranged for a relative second week were never discussed during the school. The
putsch.
living in the outskirts of the flights of the speakers14 who were due to arrive at the end
city to provide him with chickens, which were served for of the first week had been cancelled and the airport re-
lunch every single day! mained closed until the middle of the second week. Yet,
Four days after the coup, the negotiations between the participants were eager and happy to learn about the
General Diendr and the presidential delegation had fundaments of FIOs and indeed learned a lot of abstract
concluded in favour of an amnesty for General Diendr material during the talks and informal discussions with the
and the eligibility of the former CDP (Congrs pour la speakers. A couple of participants from Benin had spent
dmocratie et le progrs, Blaise Compaors party) mem- several days on a coach to reach Ouagadougou, having had
bers. This was clearly a threat to peace; how could the to wait on the coach for the border to reopen, and were all
population accept such a deal? Violent protests were to be the more determined to make the most out of the school.
expected. On the Monday following the coup, the regular One could perceive the anxiety of some of the participants
army marched into Ouagadougou, publicly announcing its and most of the speakers but all agreed that, under the
intention to disarm the RSP while avoiding any fighting. circumstances, it was best to go on with the talks. Keeping
The night before the announced military manoeuvre, ru- busy with mathematics, claimed many participants, was a
mours had spread that the army would march into the city very efficient way to dispel the worries, and various speak-
overnight. I packed my backpack with what I considered ers asked to give more talks to keep their minds occupied
important belongings in case I had to suddenly flee from preparing them. The particular circumstances the school
the fighting during the night and woke up at dawn, worried was now held in were actually more propitious to informal
by some voices I could hear outside my bedroom window interactions between the speakers and the participants
which led to a large terrace roof. A glimpse through the than the more formal setup the school might have allowed
window reassured me; it was only the Radio France In- for had the event not happened. I am very grateful to all
ternational two man team broadcasting the morning news the speakers and participants and admire their courage.
from the terrace. No military confrontation could have Despite questions raised as to the sincerity of Diend-
taken place since the army had not yet reached the city. rs public apologies, eight days after the putsch and one
People gathered at sunset cheering on the highway as they day after the Tabaski celebrations, the tension one had felt
waited for the anticipated entry of Burkina Fasos regu- on the streets of Ouagadougou melted down and the sun
lar army, who vowed to disarm the RSP. That morning,11 dared to venture back. The preceding days had not been
the streets, which had remained silent and empty since the too hot, with sudden wind blasts and strong rain showers,
coup, seemed to come back to life. In the afternoon, Di- as is to be expected during the rainy season. The city of
endr publicly gave rather contradictory and inadequate Ouagadougou was now glowing with the pride of victory
apologies, asking the people of Burkinab to forget about over the usurpers. With this coup, we (participants, speak-
the putsch but claiming full responsibility for it and prom- ers and organisers of the school) had unexpectedly borne
ising to restore civilian government. witness to the complex, painful and still ongoing emanci-
But, by the evening, the situation radically changed; pation of the Burkinab people from 27 years of dictato-
we heard that Michel Kafando had asked for protection rial leadership and its ramifications.
from the French Embassy. A veil of silence covered the
city again. Macky Sall, President of Senegal, who had Sylvie Paycha is a Professor at the Univer
come over the weekend with Thomas Boni Yayi, President sity of Potsdam, on leave from the Univer
of Benin, to negotiate with Diendr, had failed to find a sit Blaise Pascal, Clermont-Ferrand. Her
resolution to the crisis in spite of his political weight and research topics are pseudodifferential op
diplomatic experience. Following an extraordinary sum- erators, renormalisation techniques and in
mit meeting of ECOWAS (Economic Community of West dex theory. She was the co-organiser of two
African States), another delegation of presidents12 arrived schools in Ouagadougou: Index theory
11 On
and interactions with physics, 2129 May 2009 (Research
Monday 21 September.
12 A
school co-funded by the CIMPA and the University of Oua
delegation comprising the Presidents of Ghana and Benin,
as well as the Vice-President of Nigeria. gadougou, with the help of external funding), and Fourier
13 On Tuesday 22 September. integrals and applications, 1425 September 2015 (School
14 Nicolas Burq (Orsay), David Dos Santos Ferreira (Nancy) funded by the Volkswagen Foundation and co-organised
and Jrme Le Rousseau (Orlans). with the University of Ouagadougou).
Websites
[1] https://www.youtube.com/watch?v=62G8yVroWwo
[2] https://www.youtube.com/watch?v=gXqvGl18kS8
Think about your research. Have you ever tried to ex- tition. To be honest, I think I repeated my talk at least a
plain it to the average person in the street? You have to hundred times!
use simple words, catch their attention and try to tell a
story with a good plot and hopefully a happy ending. It is How useful was it for you to participate in the contest?
not that easy! Many PhD candidates and young doctors It forced me to find a simple way to explain the subject
each year rise to the challenge and explain their research of my thesis. It was also an excellent way to learn how
in three minutes to non-specialist audiences. to control my voice, rhythm, breath and nerves during a
One of the recent initiatives of universities to pro- talk. So it helped me develop my communication skills
mote research, and PhDs in particular, is the creation of and I guess it could be useful for other talks or during an
the following contests: Three Minute Thesis (3MT) interview for a job, for example.
and Ma thse en 180 secondes (MT180).1 Each partici-
pant (PhD candidate or young doctor) gives in English What was the biggest difficulty during this contest?
or French (depending on which contest) a generalised, Practising again and again and again! It is hard to stay
clear, concise and convincing talk on their thesis in three focused when you repeat the exact same thing for the
minutes. The exercise develops effective presentation tenth time in an hour, but it had to be done.
and communication skills.
I met Adrien Deliege, a PhD candidate in mathemat- What are your feelings about this contest and did you
ics at the University of Lige (Belgium). He won the expect to win? Do you have something to say about the
international final contest MT180 in Paris on 1 Octo- mass media interest that came after the contest?
ber 2015. This young mathematician is studying wavelet It is a very interesting contest because it combines a
transforms and applies this method to climate data such show part and a scientific part, which is something rath-
as temperature or time series. Here are his impressions er unusual. Therefore, as a PhD student, I found it re-
of the competitionand his answers to my questions. ally challenging from both a personal and a professional
point of view. Honestly, even though I spent a lot of time
How did the idea come to you to take part in this con- preparing for the contest, I didnt imagine I could win in
test? Was it on your own initiative or was it under the Paris. As a matter of fact, when I saw the presentations
initiative of your advisor? of the other finalists, I thought they were so good that I
I heard about the contest last year and I found the con- could relax and have fun during mine because I was sure
cept interesting, so I decided to go and see the Belgian I couldnt do better. So when they called my name for the
final, which was in Lige. I found the candidates very winners prize, it came as a total surprise! After the con-
impressive and this motivated me. I noticed it was the test, I was astonished by the number of people from the
kind of contest in which I like to take part. Therefore, a media asking for interviews; that was something quite
few months later, I thought: Ok, lets do this, and here unexpected as well. It is good that they were interested
I am. in this competition because it really helped the populari-
sation of the scientific content behind it, which is clearly
What is the main difference to a talk given in the con- one of the major objectives at stake.
text of a classical mathematical conference?
Besides the time limit, which is obviously much longer What do you think about the difficulties of popularis-
(and less rigid/stressful), in a classical mathematical ing mathematics in comparison to other subjects?
conference, I would say that the main difference is the I think it is really hard to popularise mathematics be-
purpose of the talk. On one hand, the aim is to popularise cause it is often extremely abstract and theoretical. Con-
a complicated scientific subject with simple words intel- sequently, it is more difficult to touch people because
ligible to everyone. On the other, the goal is to present they cannot feel that mathematics could be helpful in
the technical details of your work to a scientific audience. their everyday life. The other candidates did a wonderful
These two contexts have basically nothing in common job; I really enjoyed their presentations and their sub-
but a talk. jects are of primary importance as well. Nevertheless,
everybody has already heard about AIDS or GMOs, and
How long did you train for the contest? knows more or less what is at stake there, but nobody
The writing of the speech and the preparation of the cares about multifractals or wavelets. These are notions
slides took between 15 and 20 hours, I would say. As far that cannot be explained in a simple way nor clearly il-
as the training was concerned, I practised a lot the week lustrated, which is the reason why we struggle in mak-
before the contest to be right on time during the compe- ing maths a popular subject. As far as I am concerned,
I am lucky to work in the field of applied mathematics,
1 My thesis in 180 seconds. which allows me to switch from theory to practice and
makes the popularisation of my subject a little bit easier. ed from the real world. Many diversified initiatives have
Anyway, we have to keep trying to make mathematics come about to popularise mathematics: websites, forums,
appealing and understandable to the general public and books, movies, documentaries, exhibitions,7 public pres-
if this kind of contest can help, it is great! entations, contests, high school operations research and
so on. PhD candidates take part in these interventions
Would you suggest this contest to PhD candidates? If and get involved in the visibility of mathematics to the
yes, is this more appropriate at the beginning or at the general public.
end of their thesis? To conclude, besides completing PhD theses, young
Of course I would advise PhD candidates to participate; researchers are gaining soft skills like communication,
it is a thrilling adventure and an exciting personal chal- education, popularisation and so on. Such skills are styles
lenge. It is maybe better in the middle of their thesis. of the day in addition to being necessary in many profes-
They should take a year or two to watch the previous sional fields. I think that soft skills courses and initiatives
contests, gain experience in giving talks and get a more like 3MT or MT180 still have several great years ahead.
global point of view on their work. At the end of their The author thanks all those friends who contributed
thesis, they will probably have more important things to with their careful reading and useful suggestions.
do, such as writing their thesis!
Thank you Adrien. My last question is: What would Marie Kreusch is a young doctor in math
you advise to future participants? ematics at the University of Lige (ULg)
Practise again and again and again! And enjoy yourself; in Belgium. Besides the teaching and re
its a game after all! search activities at ULg, she is involved in
the projects Math Modeler and MATh.
When I started writing this article, at least two questions en.JEANS that disseminate mathematics
came to mind. Why did universities create these contests in high school. She was also a member of
and why are there so many participants? I would like to the council and office of doctoral educa
provide some clues. tion at ULg for two years and is still taking
Nowadays, more than 50% of young doctors will NOT part in the PhD network at ULg.
pursue their career in academia.2,3,4 Making a career in
another field, which has only been an available option
recently, is becoming more and more the norm. At the
same time, universities are improving transfers of skills
with industry,5 increasing the visibility of research toward ALGEBRAIC
the general public6 and sharing knowledge with society. GEOMETRY II
These actions have led to changes in doctoral training. David Mumford &
Tadao Oda
Concerned about the employability of their doctors Several generations of students
after their theses, universities have set up a suitable train- of algebraic geometry have
learned the subject from David
ing programme for PhD candidates. Soft skills courses Mumford's fabled "Red Book"
are (most of the time) part of this training programme. containing notes of his lectures
at Harvard University.
The general purpose of these courses is to develop skills
Initially notes to the course
that are useful both in academia and in other professional were mimeographed and bound
fields. Beside purely scientific tasks that are essential in and sold by the Harvard math
department with a red cover.
order to submit a thesis, soft skills and other side activities These old notes were picked up
of PhD candidates are more than ever in the spotlight. by Springer and are now sold as
the Red book of Varieties and
Researchers, and particularly researchers in mathe- Schemes. However, every time
I taught the course, the content
matics, are no longer living in an ivory tower, disconnect- changed and grew. I had aimed to
eventually publish more polished
2 Want to be a Professor? Choose Math, Career Magazine, notes in three volumes...
24 July 2015. -From the preface
3 The impact of doctoral careers, Final report. Leicester: This book contains what Mumford had then intended to be Volume II. It
covers the material in the "Red Book" in more depth with several more topics
CFE Research, Page 23 (2014). added. The notes have been brought to the present form in collaboration
4 In Belgium, five years after PhD graduation, 33% of doctor- with Tadao Oda.
ate holders are still working at a university. More information Texts and Readings in Mathematics Vol. 73
can be found in Careers of doctorate holders: employment Oct 2015 516pp 9789380250809 Hardback 89.00
and mobility, patterns/STI working paper 2010/4. Paris
OECD, Auriol, L. (2010).
5 Improving knowledge transfer between research institu- Free delivery worldwide at www.eurospanbookstore.com/hindbook
tions and industry across Europe: embracing open innova- Hindustan Book Agency is distributed by Eurospan|group
tion,European commission (2007). CUSTOMER SERVICES: FURTHER INFORMATION:
6 Promoting the action Visibility of EU funding, Article 38 Tel: +44 (0)1767 604972 Tel: +44 (0)20 7240 0856
Fax: +44 (0)1767 601640 Fax: +44 (0)20 7379 0609
in Horizon 2020. Email: eurospan@turpin-distribution.com Email: info@eurospangroup.com
7 Look at the September 2015 EMS Newsletter for a nice ex-
ample.
The Mathematical Sciences Research Institute (MSRI) mathematicians as well as representatives of the worlds
is one of the worlds pre-eminent research centres for of finance and technology who understand the impor-
mathematics. Mathematicians from around the world tance of basic research.
come to MSRI for focused periods of research and col- The institute operates without permanent faculty. A
laboration with colleagues in their particular field. The rotating Scientific Advisory Committee (SAC) creates
institute is situated in the tranquil hills above the Univer- the scientific agenda. Its 10 regular members, renowned
sity of California, Berkeley campus, and offers a beauti- mathematical scientists, serve four-year terms. The SAC
ful retreat from the distractions of academic duties. It is selects and plans the institutes programmes and works
an intellectually stimulating environment that promotes with the organisers of these programmes on the selection
community and strengthens the mathematical sciences of key participants. This structure ensures that, over time,
by training its next generation of leaders. MSRIs cov- MSRIs programmes will capture the most significant de-
eted postdoctoral fellowship programmeallows selected velopments across all mathematical fields.
participants to spend a semester in Berkeley, concentrat- The Human Resources Advisory Committee (HRAC)
ing on their research and learning from experts in their augments the SACs consideration of human resource is-
field. MSRI runs many Summer schools for graduate stu- sues. Its 10 members help recruit participants from under-
dents and an undergraduate programme MSRI-UP that represented groups and develop new MSRI activities to
supports students from under-represented groups. MSRI promote the involvement of these groups in the math-
also plays an active role in K12 mathematics education. ematical sciences.
The institute develops and delivers public outreach More than 100 universities form the Committee of
events attended by thousands, as well as films and videos Academic Sponsors (CAS). These include most of the
seen by an even larger audience. In the Spring of 2015, top research universities in the United States as well as
MSRI launched the first ever National Math Festival in 20 international institutions. Academic sponsors support
Washington, D.C., in partnership with the Institute for MSRI financially through their membership dues and
Advanced Study (IAS) in Princeton. The hands-on ac- can send up to three students each Summer to one of
tivities and maths lectures drew well over 20,000 visitors! MSRIs two-week Summer graduate workshops.
MSRI is one of the largest single projects funded by
History the National Science Foundations Division of Math-
MSRI was envisioned by three UC Berkeley mathemat- ematical Sciences and has received continuous Govern-
ics professors: Shiing-Shen Chern, Calvin Moore and I. M. ment support for more than three decades. MSRI has
Singer, in response to a 1979 call for proposals from the also developed a strong support system of private foun-
National Science Foundation (NSF). As a result of that dations and individuals. About 40% of the operating
competition, the NSF funded two mathematical institutes: budget now comes from non-government sources.
MSRI in Berkeley and the
IMA in Minneapolis. In
September 1982, MSRI be-
gan full scientific operation
in a temporary building.In
1984, ground was broken
for the present building in
the hills above UC Berke-
leys main campus and
MSRI moved into the facil-
ity a year later. The building
was greatly expanded, with
a new auditorium, seminar
MSRI is located in the hills above
the University of California, room, common rooms and Two of the greatest number theorists of our day, Peter Scholze (Bonn)
Berkeley campus. library in 2006. and Richard Taylor (IAS, Princeton), hard at work at one of MSRIs
atrium blackboards.
Governance and funding
MSRI is a non-profit organisation governed by a Board Scientific programmes and workshops
of Trustees, currently with 32 elected members and seven MSRI runs two topic-centred programmes every semes-
ex-officio members. The board includes distinguished ter (occasionally one programme will occupy the entire
facility). Programmes are often chosen to exploit an op- the institutes website. The online collection features
portunity for cross-pollination between areas of research. more than 3,100 lectures.
The programmes that MSRI runs often lead to great
mathematical developments, noted Dr David Eisenbud,
who returned to MSRI in 2013 for his third term as the
institutes director. One year, we had a programme on
operator algebras. A postdoc at the time, Vaughan Jones,
noticed an amazing connection with knot theory, which
has led to tremendous developments in mathematics and
in physics.
In the Spring of 2016, MSRI will host a programme
on Differential Geometry, a subject with deep roots and
much current activity. Many old problems in the field
have recently been solved, such as the Poincar and
geometrisation conjectures by Perelman, the quarter
pinching conjecture by Brendle-Schoen, the Lawson Edward Frenkel (UC Berkeley) recently gave a series of four popular
Conjecture by Brendle and the Willmore Conjecture by lectures on the Langlands programme in MSRIs Simons Auditorium.
Marques-Neves. The solutions of these problems have in- The lectures were filmed by the Japanese National TV company NHK
troduced a wealth of new techniques into the field. for broadcast on Japanese television.
About 250 members come to MSRIs programmes
each year for stays of one to four months. They are joined Postdoctoral fellowships
by more than 1,500 researchers who come for shorter pe- The postdoctoral fellowship programme provides an
riods, mostly to attend one of the 1418 workshops of- unparalleled opportunity for young mathematicians to
fered. Twelve of these workshops are related to the pro- meet, learn from and collaborate with assembled hosts of
gramme, including a Connections for Women workshop, experts in their chosen areas. The programme is comple-
which features female speakers and provides networking mentary to the usual postdoctoral positions: most MSRI
opportunities for female mathematicians. Though MSRIs postdocs come for a semester, on leave from a longer
programmes are typically planned three years in advance, position. The experience is often career-defining. The fel-
the annual Hot Topics workshop is planned at much lowships are in high demand; more than 280 applicants
shorter notice to catch an emerging subject. For exam- compete for the 28 available positions each year and the
ple, the Hot Topic in March 2016 will be Cluster Algebras great majority of those chosen accept the position.
and Wall-Crossing. It will highlight a breakthrough con- Since 1982, MSRI has supported approximately 900
necting ideas originating in theoretical physics (mirror fellows. One of them was Andrei Okounkov, who teaches
symmetry) and algebraic geometry (geometric invariant at Columbia University. He was an MSRI postdoctoral
theory) with a phenomenon first discovered in a purely fellow in 1997: The five months I spent as postdoc at
algebraic context (cluster algebras) but now appearing as MSRI [] played, without exaggeration, a crucial role in
an overarching theme in many areas of mathematics. my career as a mathematician. He won the Fields Medal
in 2006 and in 2010 and he joined MSRIs Board of Trus-
tees and was elected Co-Chair in 2013.
Terry Tao, the James and Carol Collins Chair in Math-
ematics at the University of California, Los Angeles, is
another former MSRI postdoc and Fields Medallist: I
believe the MSRI postdoctoral fellowships are a won-
derful component of an early career, []. I was fortu-
How to participate
MSRI invites the submission of proposals for full- or
half-year programmes as well as Hot Topics workshops
and Summer graduate schools to be considered by
the Scientific Advisory Committee. Planning of pro-
grammes is generally done about three years ahead. The
deadlines to submit proposals are 15 October and 15
December.
The next application period to participate in a 2017
2018 programme as research professors, research mem-
bers or postdoctoral fellows will open on 1 August 2016.
MSRI strives to include a diverse community of
mathematicians in its programmes. Recognising that
family issues can present barriers to participation, MSRI
is committed to maintaining family-friendly policies and,
where possible, facilitating appropriate arrangements
for partners and children of programme members.The
institute employs a Family Services Coordinator who
provides help in locating schools and other services for
mathematicians who are considering coming to the insti-
tute with their families.
The Portuguese Mathematical Society (SPM) was found- gime in Italy and also quite averse to raising the educa-
ed in December 1940 thanks to the efforts of a small but tional level of the population above the bare minimum
very active group of young Portuguese mathematicians skills provided by the officially compulsory four years of
determined to stir the then stagnant waters of Portu- elementary schooling.
guese scientific life. The tense relations of the regime with the young gen-
This informal group, which went down in history as eration of scientific researchers and democratic activists
the Movimento Matemtico (Mathematical Move- of the 1930s and 1940s came to a dnouement in the po-
ment), together with the state body Instituto para a Alta litical repression following the rigged 1945 general elec-
Cultura, had a remarkable influence on the mathemati- tion. This resulted in the expulsion of a large number of
cal community in Portugal over the 1930s and 1940s. university staff and students, followed either by their im-
Among its many initiatives, the Movimento founded prisonment or exile, which caused the disappearance of
in 1937 the research journal Portugali Mathematica much of the activities of the Movimento. A somewhat pe-
(nowadays a title property of the SPM and edited by culiar consequence of these troubled times was the fact
the EMS Publishing House) and in 1940 the Gazeta de that the SPM had a semi-clandestine existence for the
Matemtica (currently also owned and published by the next 30 years: it was never duly recognised by the Gov-
SPM). The SPM was, from the beginning, a focal point ernment as a collective body within the juridical order of
for a considerable number of Portuguese researchers, the country until after the termination of the dictatorial
students and teachers interested in the modernisation regime by the 1974 revolution.
of mathematical studies and activities in the country. By Since 1974, the SPM has been completely reborn in its
virtue of its 1940 statutes, the society was, from the start, three statutory fields of action.
actively involved in three main areas of intervention: re- In addition to the reinvigoration of its periodicals
search, teaching and the popularisation of mathematics. Portugali, Gazeta and Boletim da SPM (first published
in 1951), the activities of the society have also expanded
and acquired an appreciable visibility in contemporary
Portugal.
Figure 1: From left to right: Maurice Frchet, Pedro Jos da Cunha Figure 2: The current periodicals of SPM: Portugali Mathematica,
(first president of SPM), and Antnio Aniceto Monteiro (first Secre- Gazeta de Matemtica, and Boletim da SPM.
tary-General of SPM and one of the main boosters of the Movimento
Matemtico). Lisbon, 1942 (photo source: http://antonioanicetomon-
teiro.blogspot.pt/2011_04_01_archive.html). Foremost among the SPM interventions has been a
strong public action for the raising of mathematics teach-
To get an idea of the formidable task facing the society at ing and assessment standards in Portugal at the elemen-
the time, remember that, even by the 1940s, Portugal was tary and secondary school levels. This is reflected not
still an extraordinarily backward country: with about 8 only in the many regular interventions in debates and
million inhabitants, half of whom were illiterate, it had a public statements about the educational system, national
total of about 9000 university students (0.1% of the total exams, school curricula and training of teachers but also
population!) in its three universities. in the participation of the SPM as a consulting member
The challenge of raising the cultural level of the pop- of the official government body charged with production
ulation under such difficult initial conditions was further of the end of cycle national exams at the elementary and
hampered by the political regime at the time: since the secondary school levels. Through its Life Long Learning
second half of the 1920s, Portugal was ruled by a right- Centre, the SPM provides a number of activities target-
wing dictatorship that was very close to the Fascist re- ing the mathematical upgrade of teachers at all levels of
ICMI Column
Jean-Luc Dorier (University of Geneva, Switzerland)
Espace Mathmatique Francophone in Algiers Finally, two plenary sessions were devoted to the
presentation of the results of the answers of around
The EMF2015 colloquium was held in Algiers, 1014 Oc- 1,400 teachers to a survey conducted by Maha Abboud-
tober 2015. The theme for the 6th Espace Mathmatique Blanchard (France), France Caron (Canada), Jean-Luc
Francophone (EMF) colloquium was Cultural plurali- Dorier (Switzerland) and Moustapha Sohkna (Senegal)
ties and universality of mathematics: issues and challeng- on the use of resources by secondary school teachers and
es for their teaching and learning. their cultural specificities.
This sixth EMF showed the vitality of this community
and its rich scientific production, in a partnership that,
using the French language, is based on an exemplary
North-South collaboration. Besides the specific language,
the EMF has established itself as a privileged communi-
cation between different stakeholders concerned with
issues affecting the teaching of mathematics, including
mathematicians, mathematics educators, researchers,
trainers and teachers of different levels.
A new executive bureau of the EMF was nominated
at the beginning of EMF2015 with a perfect parity be-
tween North and South and genders. Its members are:
This colloquium brought together 150 participants from Teresa Assude (France), Faiza Chellougui (Tunisia),
18 nations, with around 90 submissions divided into 10 Jean-Luc Dorier (Switzerland), Judith Sadja Njomgang
working groups and three special projects. This makes (Cameroon), Ahmed Semri (Algeria), Moustapha Sokh-
EMF2015 one of the most important international con- na (Senegal) President, Laurent Theis (Canada) and Jo-
ferences related to mathematics ever organised in Alge- elle Vlassis (Luxemburg/Belgium). Its new status is to be
ria. approved by the Executive Committee of the ICMI.
The 10 working groups that worked on five tracks,
representing 9.5 hours of debate, were really the heart of
the system, which aims, through colloquiums organised
every three years, to allow long-term collaborations in
the francophone mathematical space. Three special pro-
jects can launch more innovative themes.
The lecture by Christine Proust, French historian of
mathematics and Director of Research at CNRS, was en-
titled Mathematics in Mesopotamia: strange and famil-
iar. In the context of the theme of the colloquium, this
contribution on the history of Mesopotamian mathemat-
ics, dating back 3,000 years, was a fascinating opportunity
to plunge the participants into the reality of a most an-
cient civilisation, from which all mathematicians of the
world have inherited.
Ahmed Djebbar, honorary professor of history of
mathematics in Lille and former Minister of Education
of Algeria, showed the intercultural aspects of Arab From left to right: Judith Sadja Njomgang (Cameroon), Faiza
Chellougui (Tunisia), Joelle Vlassis (Luxemburg/Belgium),Ahmed
mathematics developed between the 8th and 15th cen-
Semri (Algeriea), Moustapha Sokhna (Senegal), Laurent Theis
turies, and their connections with India, China, Sub-Sa- (Canada), Teresa Assude (France) and Jean-Luc Dorier (Switzerland).
haran Africa and Europe, as well as with former cultures
of Mesopotamia, Greece and Egypt. Like a storyteller of The proceedings of this meeting should be published
the 1001 nights, he was able to make accessible a large ac- in Spring 2016. The conference website (http://emf2015.
count of his vast knowledge of recent work in the history usthb.dz/) is still accessible and presents a more detailed
of mathematics. view of the event.
Professor Benali Benzaghou, from the Houari Bou- The next EMF will be held in 2018, in Paris, with Pro-
mediene University, gave an interesting panorama of the fessor Maha Abboud-Blanchard as President of the Sci-
teaching of mathematics in Algerian universities with a entific Committee, continuing what has become a rule of
historical perspective. alternating North-South in hosting the conference.
We report about a recent initiative to build up a network of However, CPD concepts vary from country to coun-
professional development centres in Europe. It is a goal of try and depend heavily on educational and systemic tra-
the EMS Committee for Education to intensify efforts in ditions. Fortunately, CPD is a growing field of research
promoting continuous development of mathematics and and first handbooks have been devoted to CPD-related
science teachers. areas.
and science education, which was held 67 May 2015 in to make mathematics and science (education) attractive
Vilnius, Lithuania, in parallel to a Mascil project meet- to students. Initiatives like the DZLM and projects such
ing. Participants from 12 European countries represent- as Mascil point the way forward by taking up existing
ing approximately 20 maths/science PD centres and trends (such as that of establishing more PD centres), by
other organisations with similar aims (i.e., ministries of linking mathematics and science and by effectively join-
education) attended the meeting (see the meeting pro- ing forces. We will go on doing so
gramme6).
Another important issue for future collaboration is
the drafting of common standards and guidelines for PD Katja Maa (center) is
planning, delivery, implementation and evaluation. These a professor at the Uni
should be based on teacher PD research. versity of Education
For the participants, it was very important to find in Freiburg (Germa
ways of sustaining the series of meetings that grew out ny). She is supported
of the Educating the Educators conference. The Univer- in coordinating mascil
sity of Education Freiburg, in its role of coordinating the by Diana Wernisch
network, is therefore currently taking meeting outcomes (left), project man
forward and organising more meetings. There is also an ager, and by Elena
aim to further enlarge the PD centre network in the fu- Schfer (right), aca
ture. A PD centre network homepage is in development demic assistant.
and will be up and running soon.
A third PD centre meeting will take place in Sofia
(Bulgaria) in December 2015. The European Mathemati- Gnter Trner, a research mathema
cal Society Committee for Education will also use this tician and mathematics educator, is
platform to bring in its expertise and and widespread in- Chair of the EMS Committee for
ternational contacts. Education. He is also a member of the
EC of the German national centre for
And the future? continuous professional development
The promising development of the professional develop- (DZLM) in Germany.
ment centres shows that we need to think outside the box
Both Katja and Gnter have recently initiated the Euro
6 http://educating-the-educators.ph-freiburg.de/2ndpd centres pean network for professional development centres with
meeting/programme. about 20 members in Europe.
who stay for 2-6 weeks. There is also support for workshop attendees and applicants. Ways to Participate
Propose a semester program, topical
Submission workshop, small group research team, or
Faculty interested in organizing a semester research program should begin the process by summer undergraduate program. Apply
to attend a semester program, workshop,
submitting a pre-proposal: a 2-3 page document which describes the scientific goals, lists or to become a postdoctoral fellow.
the organizers of the program, and identifies the key participants.
ICERM
Pre-proposal deadline is May 1st . Send to director@icerm.brown.edu. Proposers will 121 S. Main Street, Box E
Providence, RI 02903
receive feedback from an ICERM director within a few weeks of submission. 401-863-5030
icerm.brown.edu
Over the last few decades, the digital age has put forward (like most non-English zbMATH entries), language-
the creation of many electronic resources in mathemat- independent classification,2 MathML enabling formula
ics. While it is usually easy to find specific information search,3 embedding into a reference network4 and proper
knowing that it exists, a framework to facilitate answers author assignment5.
involving distributed information is challenging. We out-
line some features of zbMATH, some of which have been
added recently, to support the connection of mathemati-
cal knowledge.
A zbMATH author profile enriched by links to Wikipedia, the Math- Additional external links can be added via the Edit Profile button in
ematics Genealogy Project and Math-net.ru. the user interface.
Additional benefits on author information special challenges not only that one has to expect less
Issues of the zbMATH author database have been dis- contributions from crowd-sourcing8 but that one has to
cussed frequently in this column. With a view toward take into account missing or wrong surnames, OCR er-
digital resources, the benefits of precise network infor- rors, creative transliterations or even sometimes verbal
mation are probably largest for author information at translations of names.9 On the other hand, one can em-
the moment, since most resources pertain to this facet. ploy various resources like Wikipedia, the Mathematics
Author disambiguation for historical publications has Genealogy Project and Math-Net.Ru, which provide
valuable information like biographical details or PhD
7 The recently much improved zbMATCH version is avail- students that do not usually come with publications but
able via the interface https://zbmath.org/citationmatching/ or are worth being integrated as additional links.
API. Together with more recent information, like ORCID
8 H. Mihaljevi-Brandt and N. Roy, zbMATH author profiles:
identifier, homepage and social network data, this infor-
open up for user participation, Eur. Math. Soc. Newsl. 93, mation can also be added via the user interface, and con-
5355 (2014).
9 Additional historical knowledge may be helpful, e.g. to iden-
tribute to an even more reliable disambiguation.
tify the innocent initials O.L.B.D. in an early Crelle issue as
the title of (knigl.) Ober-Landes-Bau-Director, not as Olaf Teschke [olaf.teschke@fiz-karlsruhe.de] is member
part of the name, cf.doi:10.1515/crll.1826.1.5, https://eudml. of the Editorial Board of the EMS Newsletter, responsible
org/doc/183044, https://zbmath.org/02751806. for the Zentralblatt Column.
Erratum
At the end of the article EMIS 20 Years of Cooperation of the EMS with FIZ Karlsruhe/zbMATH [EMS
Newsletter 97, 1829], an outdated biography of Bernd Wegner from an earlier contribution was reprinted. We
give an updated biography here.
Bernd Wegner [wegner@math.tu-berlin.de] has been a professor at TU Berlin since 1974 and was Editor-in-Chief
of Zentralblatt MATH and MathEduc until 2012, when he also gave up the scientific supervision of EMIS. He has
participated in several electronic library and mathematics knowledge management projects. He has organised several
meetings on these subjects. He has been a member of the electronic publishing committee of the EMS for a longer
period.
Book Reviews
David Hestenes
Space-Time Algebra
(second edition)
Birkhuser, 2015
xxiv + 102 pages
ISBN 978-3-319-18412-8
The 6th Conference on Applied Geometric Algebras in From left to right: David Hestenes, Lei Huang, Silvia Franchini,
Computer Science and Engineering1 (AGACSE) was Pierre-Philippe Dechant, Sebasti Xamb-Descamps, Eduardo
Bayro-Corrochano.
dedicated to David Hestenes (Arizona State University)
in recognition of his masterly and sustained leadership
for half a century, particularly at the interface of math- embedded coprocessors with native geometric algebra
ematics and physics. The dedication was celebrated with support,6 respectively. The conference was preceded, for
the launch2 of a second edition of his Space-Time Algebra the first time, by a 2-day Summer School to better prepare
(Gordon and Breach, 1966). David was present during the the less experienced and it was attended by two thirds of
whole week and the standing ovation after his keynote lec- the conference participants. The next AGACSE will be in
ture,3 culminating in his recitation of the stirring call to ac- Campinas, Brazil, in 2018.
tion from Tennysons Ulysses,4 was a very moving moment Space-Time Algebra (STA) is actually a reprint of the
for all participants. The David Hestenes Prize was estab- first edition, but with two precious new items: a foreword
lished for the best work submitted by a young researcher by Anthony Lasenby7 and a preface by the author after
and was awarded to Lei Huang (Academy of Science, fifty years. It was a landmark in 1966 and it is as fresh
Beijing, China) for Elements of line geometry with geo- today as it was then in its attempt to simplify and clar-
metric algebra.5 His work shows how to bring the power ify the [mathematical] language we use to express ideas
of geometric algebra to bear on 3D projective geometry, about space and time, a language that introduces nov-
thus linking new mathematical theory with very practical elty of expression and interpretation into every topic
applications in computer science. Pierre-Philippe Dechant (the quotations are from the preface to the first edition).
(University of York, UK) and Silvia Franchini (University This language is usually called geometric algebra (GA),
of Palermo, Italy) were finalists with the works The E8 a term introduced by W.K. Clifford in his successful syn-
geometry from a Clifford perspective and A family of thesis of ideas from H. Grassmann and W.R. Hamilton.
In Part I of STA, GA is advanced and honed into a re-
sourceful mathematical system capable of expressing
geometric and physical concepts in an intrinsic, efficient
and unified way. Two special cases are worked through
in detail: the geometric algebras of 3D Euclidean space
(Pauli algebra) and 4D Minkowski space8 (Dirac alge-
bra). These geometric algebras are then used, in a real
tour-de-force, to elicit the deep geometric structure of
David Hestenes (July 2015,
during his keynote lecture).
relativistic physics. This takes the remaining four parts
of the book: Electrodynamics, Dirac fields (including
1 AGACSE 2015, 2731 July, Barcelona, Spain: http://www- spinors and the Dirac equation), Lorentz transforma-
ma2.upc.edu/agacse2015/ tions and Geometric calculus (including novel principles
2 Suggested as an 80th birthday gift by Leo Dorst, coopera- of global and local relativity, gauge transformations and
tively backed by Eduardo Bayro-Corochano, Joan Lasenby, spinor derivatives). There are also four short appendixes,
Eckhard Hitzer and the author of this review, and enthusi-
astically embraced by Springer, each participant received a
copy by courtesy of the Catalan Mathematical Society and 6 Co-authored by Antonio Gentile, Filippo Sorbello, Giorgio
the Royal Spanish Mathematical Society. Vassallo and Salvatore Vitabile.
3 Fifty Years with Geometric Algebra: a retrospective. 7 Professor of Astrophysics and Cosmology at the Cavendish
4 Made weak by time and fate, but strong in will / To strive, to
Laboratory, Cambridge University. Co-author of the superb
seek, to find, and not to yield (last two verses). treatise [1].
5 Joint work with Hongbo Li, Lei Dong, and Changpeng Shao. 8 A real vector space with a metric of signature (+, , , ).
[4] L. Dorst, D. Fontijne and S. Mann: Geometric algebra for computer ArbolMat (http://www.arbolmat.com/
science: An object-oriented approach to geometry. Elsevier/Morgan quienes-somos/). He has been: Presi
Kaufman, 2007. Revised edition 2009. dent of the Catalan Mathematical So
[5] C. Perwass: Geometric algebra with applications in engineering. ciety (19952002) and the Executive
Springer, 2009.
Committee for the organisation of
[6] L. Dorst and J. Lasenby (eds.): Guide to geometric algebra in prac
3ecm (Barcelona, 2000); UPC Vice-
tice. Springer, 2011.
Rector of Information and Documen
tation Systems (19982002); Dean of
Sebasti Xamb-Descamps is a professor at the Univer the Facultat de Matemtiques i Es
sitat Politcnica de Catalunya (UPC). He is the author tadstica UPC (20032009); and President of the Spanish
of Block-Error Correcting Codes A Computational Conference of Mathematics Deans (20042006). He was
Primer. Since 2011, he has been in charge of the portal also Chair of the AGACSE 2015 Organising Committee.
Michael Harris bound for the number of points of elliptic curves over
finite fields the inspiration for Weils use of trace for-
Mathematics Without Apologies mulas which converted the author to number theory
Portrait of a Problematic and give a rough idea of the Birch-Swinnerton-Dyer
Vocation conjecture, which served as a guiding problem of his
early career. Short explanations about prime numbers,
Princeton University Press, 2015 congruences and polynomial equations are followed by
xxii, 438 p. an amusing, highly unlikely dialogue between two char-
ISBN 978-0-691-15423-7 acters, a Performing Artist and a Number Theorist, who
tease each other with quotations from Aristotle, Kro-
necker, Musil, Levinas and Stoppard. Had Mathematics
Reviewer: Javier Fresn without apologies consisted only of these pages, it would
have already been an original work of popular science,
What drives mathematicians? Why do some of the best with clever findings like the Galois group of Chekhovs
minds, generation after generation, leave for seas of Three Sisters. But they are simply intended as a comple-
thought so far from their first and authentic lives? ment to an inquiry of much larger scope, which can be
Standard answers to these questions are based upon on skipped without detriment to the reader.
three apologies: mathematics is good because, regardless Far from seeing his discipline as a closed paradise to
of how abstract a theorem seems to be today, it might non-experts, Harris defends the fact that outsiders have
well have unexpected applications in the future; mathe- contributed with valuable insights into what it means to
matics is true, as it provides timeless certainty in a fast- live as a mathematician. What makes them especially rel-
moving world; and it is beautiful, although this art form evant for his purposes is that they couldnt help but be
is often hidden to the untrained eye. Avoiding clichs, conditioned by the public self-image that mathematicians
or rather delving more into them, Mathematics without project. A recurring theme of the book is how intentions
apologies argues that these may be motivations for the are misrepresented, starting from the autobiographical
romanticised Mathematician but they are quite absent writings of mathematicians themselves. For instance, most
from the everyday life of working (small-m) mathemati- accounts of the vocations awakening seem to overesti-
cians. Which takes us back to the initial question. In this mate the quest of certainty as a driving force. A typical
playful, erudite, iconoclast essay, Michael Harris points example of how this and other commonplaces notions are
to a few alternative solutions, including the sense of be- turned around is the beginning of Chapter 2: How I ac-
longing to a coherent and meaningful tradition, the quired charisma. In a breathless prose, Harris explains
participation in a relaxed field not subject to the pres- that his mathematical socialisation began the year when
sures of material gain and productivity and the pursuit the Prague Spring, the May 1968 events and the riots after
of a certain kind of pleasure. Its main merit, however, the assassination of Martin Luther King shook the foun-
lies less in offering new answers than in seriously ask- dations of the world he had known before. Luckily, he
ing the right questions, perhaps for the first time. Inevi- writes, mathematics was there to take their place. How-
tably, some readers will find the result irritating, a mere ever, if one continues reading the footnote afterwards, it
exercise of quotation dropping, while others will see a becomes clear that it didnt really happen that way.
genuine piece of cultural criticism which reaches, at its Chapter 6: Further investigations of the mind-body
best, the level of Bourdieus La distinction or Foucaults problem takes a closer look at how mathematicians
commentary of Las meninas. are perceived; it is not by chance that the first and the
The book is divided into 10 chapters, together with a last sentence contain the word mirror. Some features
series of interludes around the easier question of How of the reflected image, like absent-mindedness, persist
to explain Number Theory at a Dinner Party. Here, Har- through the centuries, whereas others have dramatically
ris introduces the necessary background to state Hasses changed. Following science historian Amir Alexander,
Harris illustrates the latter by contrasting the Enlighten- who, in contrast to mythology, do not represent a func-
ment ideal of the mathematician as a natural man tional division of labour but coexist in most individual
exemplified by the encyclopaedist dAlembert or the fic- mathematicians. The trickster may be seen as a bridge
tional geometer of Potockis novel The Manuscript found between high and low genres, which brings the author
in Saragossa with the romantic archetype of the lonely, to the question of why mathematics is systematically
self-destructive hero, largely inspired by the myths sur- classed as a high genre. Or, to put it succinctly: Why so
rounding Galois death. If the young Stendhal could still serious? The tentative answers form Harris Appoca
think of mathematics as the royal road to Paris, glory, litici e integrati.
high society [and] women, a few years later, mathema- In Chapter 9: A mathematical dream and its interpre-
ticians would not be considered good lovers anymore tation, the author narrates a dream about the cohomolo-
and painters would portray them as figures absorbed gy of unramified coverings of Drinfeld upper-half spaces,
by [their] own inner flame, with characteristic gleam- which changed his life in more ways than [he] care[s] to
ing eyes, while physicists would keep their reputation name. It is hard to imagine what the general reader gets
of successful men of the world. The chapter also links out of the actual content of the dream but I truly enjoyed
Edward Frenkels film Rites of Love and Math to the this personal side-note to a literature where human as-
historical search for a love formula and briefly evokes pects of creation tend to be reduced to their minimum
Hypathias martyrdom and some cases of madness, to expression. In most scientific dreams, the unconscious
conclude that our readiness to sacrifice our minds and comes to the rescue only after the dreamer has relentless-
bodies to our vocation is the ultimate proof that what we ly tried to solve a problem; this was the case of Thomason
are doing is important. as analysed in another brilliant essay by Harris1 who
A form of melancholy distinct from the sentimentality had worked for three years on the extension problem for
of the romantic mathematician traverses Chapter 7: The perfect complexes before the simulacrum of his deceased
habit of clinging to an ultimate ground, which addresses friend Trobaugh offered the key to the solution. On the
the fascinating question: How can we talk to one anoth- contrary, the authors dream sketches a strategy for mak-
er, or to ourselves, about the mathematics we were born ing progress on a subject to which [he] had devoted no
too soon to understand? The first paragraph describes passion. The question then arises of how those new ideas
the vertigo that Grothendiecks dream of a category of found their way into his dreams. Harris interpretation,
motives or the Langlands programme may cause. A quo- which is remarkably sincere, exemplifies another aspect
tation from Andr Weil, one achieves knowledge and in- of the mathematical pathos: competitiveness, which could
difference at the same time, serves as a leitmotiv. In the be summarised in a quotation from a hedge-fund man-
article from which it comes, he explains that 18th century ager who quit research: It is hard to do mathematics and
French mathematicians used to employ the word meta- not care about what your standing is.
physics to refer to vague, hard-to-grasp analogies, which Until now, this review has concentrated on the sec-
nevertheless played an important role in mathematical ond and third parts of Mathematics without apologies.
creation. The term is nowadays replaced by yoga or The first chapters raise a fundamental question: if math-
avatar, as well as a distinctive use of quotation marks ematics cannot be justified as useful, true and beautiful
or the word morally as an explicit invitation to relax then how can it be justified, especially when it comes to
ones critical sense. Harris also calls attention to the pe- ask for funding? Harris criticises the use of mathematics
culiar use of the verb exist in mathematics and to the to legitimise certain economic policy decisions, as well as
problem of understanding uniqueness once existence has other Faustian bargains related to the financial crisis; he
been established. This leads him to discuss higher catego- also notices an increasing role of private philanthropy in
ries and Voevodskys Univalent Foundations, in a train of mathematical research, which could end up jeopardising
thought which is at times challenging to follow. the professional autonomy to which we have grown at-
Chapter 8 (one of the most interesting chapters) ex- tached. A more interesting challenge to this autonomy,
amines the role of tricks in mathematical practice. The although less immediate, is the paradigm shift that
goal is to decide what makes Cantors diagonalisation an extended use of computer-assisted proofs and auto-
trick or Weyls unitarian trick (to cite a few examples) matic proof-checkers could introduce. Despite his love
trick[s] rather than some other kind of mathematical for science fiction, Harris does not seem to worry too
gesture[s]. In an illuminating archaeology, Harris tracks much about the possibility of machines substituting hu-
the first occurrences of the word in scientific writing and man mathematicians, as he understands that the goal of
exposes the nuances of its translation into various lan- mathematics is to convert rigorous proofs to heuristics.
guages. The matter is not so simple because different But we readers have got nothing to lose in adding a new
mathematicians give different meanings to trickiness; question: will apologies still be needed in post-human
otherwise, how could one reconcile Grothendiecks dis- mathematics?
missal of Delignes solution to the last of the Weil conjec-
tures because the proof used a trick with the common-
ly held view that it is one of the most outstanding results 1 M. Harris, Do androids prove theorems in their sleep?.
of the twentieth century? Harris enriches the classical In A. Doxiadis and B. Mazur (eds.), Circles Disturbed. The
dichotomy between theory builders and problem solv- interplay of mathematics and narrative. Princeton: Princeton
ers with the figures of the strategist and the technician, University Press, 2012, pp. 130182.
How Chinese Teach Mathematics. arguments with figures and colours. Colours in geomet-
Perspectives from Insiders ric proofs are actually mentioned in very ancient Chi-
nese books (although not used in the printed copies
Lianghuo Fan, Ngai-Ying Wong, due to technical problems) in order to make treatments
Jinfa Cai and Shiqi Li (Eds.) concise and highly explainable. It is worth mentioning
that the first use of colours in the West, with educational
World Scientific, Singapore, 2015 intention, dates back to Byrnes edition of Euclids Ele-
756 p. ments (Byrne, 1847). Manipulatives and games are also
ISBN 978-981-4415-81-1 mentioned. A large part of the chapter is devoted to the
procedural approach, also mentioning the suggestion of
time allocation in the early introduction of arithmetic
Reviewer: Mariolina Bartolini-Bussi algorithms. The process of memorising is introduced
through mathematical poems, which are still used in
In Issue 89 (pp. 6063), there were reviews of two books Chinese classrooms. The conclusion of the chapter con-
on Chinese mathematics education: How Chinese Learn cerns the link between the historical tradition and the
Mathematics. Perspective from Insiders (Fan L., Wong present teaching of mathematics in China. This part
N., Cai J. & Li S., 2004, published by World Scientific is interesting and offers some information that is not
in Singapore; and How Chinese Teach Mathematics and so easily found in Western literature on mathematics
Improve Teaching (Li Y & Huang R., 2013, published by education. However, Western scholars must always be
Routledge in New York). aware that, in spite of the care put in the translation of
The volume How Chinese Teach Mathematics. Per the Chinese words into English, a gap (cart in French)
spective from Insiders (the companion book to the ear- between the Chinese and the English words is always
lier title) was announced for February 2014. It was actu- unavoidable.
ally published one year later in Spring 2015, with the The second chapter (by Fan Lianghuo, Miao Zhen-
same editorial team as the first one. As promised, the zhen and Mok Ah Chee Ida) concerns How Chinese
review process is completed here with this third volume. Teachers Teach Mathematics and Pursue Professional
It contains 21 chapters (plus an introduction and an Development: Perspectives from Contemporary Inter
epilogue), divided into three sections. The first section national Research Understanding the Chinese Ways of
introduces readers to an historical and also a contempo- Teaching Mathematics. The chapter opens with a sur-
rary perspective, on traditional mathematical teaching vey of the literature on Chinese mathematics educa-
in ancient China and on how modern Chinese math- tion, drawing on sources obtained by scanning the most
ematics teachers teach and pursue their pre-service important international research journals published up
training and in-service professional development. The to 2012 that are peer-reviewed, well-established, truly
second section presents studies investigating a wide international and highly reputable. The number is very
range of issues at both the macro- and micro-levels on limited, with some increase in the first decade of the 21st
how Chinese mathematics teachers teach mathemat- century. The rest of the chapter concerns the description
ics. The third section focuses on Chinese mathematics of the models of mathematics teacher education and
teachers, investigating issues about their knowledge, professional development in China. One of the most in-
beliefs, teacher training and professional development. teresting issues is teachers professional development in
Like its predecessor, this volume is a must for educa- schools. In each school (starting from primary school),
tional researchers, practitioners and policymakers who there is usually a mathematics teaching research group,
are interested in knowing more about mathematics which is a unique organisation originally introduced
teaching, teachers, teacher education and professional from the Soviet Union in the 1950s.
development concerning Chinese teachers and learners.
It is surely impossible to report on the full richness of its Working as a team, teachers prepare lessons together,
contents. Hence, the chapters will be listed below with observe each others lessons, reflect and comment on
partial reviews. observations collectively, and conduct open lessons
After a short introduction, the first part opens with regularly. (p. 52)
an historical chapter (The Wisdom of Traditional Math
ematical Teaching in China, by Dai Qin and Cheung Ka In this way, teachers become reflective practitioners
Luen), which is offered by the publisher as a sample (Schn, 1983) and promote continuous development of
for free download.1 Although in recent years, more and the whole teaching team.
more informed papers have been published on the his- The second part of the volume is a collection of stud-
tory of the tradition of mathematics education in China, ies developed by teams of Chinese and Western schol-
here there is a thorough discussion of some very inter- ars. The simple list of topics is impressive and covers
esting new issues, such as the combination of logical many issues (the complete table of contents is published
deduction and intuitive analysis in geometry, illustrated in the volume website mentioned above): coherence in
by the joint use of commentaries with words and visual the mathematics classroom, teaching measurement,
teaching geometric proofs, teaching calculation of time
1 http://www.worldscientific.com/worldscibooks/10.1142/8542. intervals, teaching number sense, teaching using letter
to represent number in primary school and exemplary to recognize teachers outstanding performance in the
lessons under the curriculum reform. Chinese mainland since 1978 when the system was in
It is impossible to review all the chapters, hence in- itiated. This title does not belong to the official career
formation will only be given about one of the chapters: rank system for teachers, which was not established
Achieving Coherence in the Mathematics Classroom: until the mid-1980s. (p. 493)
Toward a Framework for Examining Instructional Co
herence (by Wang Tao, Cai Jinfa and Hwang Stephen). Now, three levels characterise the official career rank
The chapter has three Chinese authors who live in the system: second grade (or junior grade), first grade
West. Hence, they combine the knowledge of Chinese (or middle grade) and senior grade (or higher grade).
culture and Western traditions of educational research. Master teachers are regarded as models for other teach-
The abstract reads: ers. They are believed to have a systematic understand-
ing of mathematics, know how to integrate mathemat-
Coherence has been identified as an important factor ics education theories and psychology into classroom
in fostering students learning of mathematics. In this teaching, pay attention to mathematics as a culture and
chapter, by applying classroom discourse theories, be able to analyse textbooks with deep understanding.
we propose a framework for examining instructional The figure of master teacher is important in the Chi-
coherence through a fine-grained analysis of a vid nese school, as the number of studies (in Chinese) men-
eo-taped lesson from China. The lesson was chosen tioned in this chapter shows. The main study reported
because it has been recognized as a model lesson for in this chapter aims to investigate the reasons behind
instructional coherence. Based on a careful analysis the success of mathematics master teachers in their ac-
of instructional coherence on multiple levels of class claimed teaching career on the Chinese mainland. The
room discourse, we explored discourse strategies the study investigates the master teachers beliefs in ana-
teacher used to achieve instructional coherence in the lysing their own professional success. From the inter-
classroom, as well as the features of classroom in view of 31 mathematics master teachers (mostly from
struction in China. (p. 111) primary school), dedication to education, inner quality
and true professional care toward students appear to be
The lesson is about circles in the 6th grade. One can im- the three most important factors. Reflection (like that
agine that this lesson is the outcome of a cycle of pre- carried out in the open classes mentioned above) was
paring, observing, reflecting and commenting within a considered the most important pathway for teachers to
mathematics teaching research group (see above). Ac- seek professional development, while various formal
tually, coherence is a typical feature of a mathematics training and short-term training was considered to be
lesson in China. Having observed several cases of les- less effective. This result is consistent with the second
sons in China, I have noticed that nothing happens by chapter reviewed above.
chance and that a careful design has been prepared. The Finally, in the epilogue of the volume: Why the Inter
chapter reports carefully about the global coherence of est in the Chinese Learner?, the volume editors summa-
the overall narrative of the lesson, the episodic coher- rise the motives for publishing the two twin books How
ence of small episodes and the local coherence, about Chinese Learn Mathematics and How Chinese Teach
individual sentences or utterances and the sense given Mathematics? to meet the publics interest in the big
by the participants. The structure of a mathematics les- success of Chinese mathematics education in interna-
son in China is fixed: reviewing, teaching new content, tional assessments. In their opinion, these books serve
student practice and assigning homework. Although at least the following purposes:
Western observers may by critical about this fixed struc-
ture which may leave no space for improvisation (and (1) Letting the researchers on Chinese mathematics
creativity), it cannot be doubted that Chinese students education discuss their own views, experiences
perform better than Western students in international and interested issues in mathematics education.
comparisons (e.g. PISA or TIMSS). (2) Telling the world the Chinese story and respond
The third and last part of the volume focuses on ing to their queries.
Chinese mathematics teachers, teacher education and (3) Having Chinese and non-Chinese, who also have
teacher professional development. In this part, some interest and passion in Chinese mathematics edu
studies are reported about teachers beliefs and profes- cation, join hands to discuss issues in mathemat
sional development. ics education worldwide. (p. 706)
As above, the offering is very rich and it is not pos-
sible to review all the chapters. In this case, the selection I belong to the last group as a non-Chinese scholar with
is: What Makes a Master Teacher? A Study of Thirty-One an interest and passion in Chinese mathematics educa-
Mathematics Master Teachers in Chinese Mainland (by tion. My personal interaction with Chinese mathematics
Fan Linghuo, Zhu Yuan and Tang Caibin). A master education, either in personal visits or in reading reports
teacher is typical of the Chinese instruction system (and like the ones of this volume, has convinced me that I
of other Far East systems like in Japan and Singapore). have better understood my system by looking at the dif-
ferent choices made in the Chinese system. Following
Master teacher as an honorary title has been used Jullien, a famous French philosopher and Sinologue, we
This reflection and not the copy of others practices is Maria G. (Mariolina) Bartolini Bussi
what is really important because: is a full professor of mathematics edu
cation at the University of Modena and
The Chinese maxim that those stones from other hills Reggio Emilia and Chair of the Uni
can be used to polish the jade suggests that practices versity Programme for Pre-primary
in other countries can serve as food for the improve and Primary School Teachers. She was
ment of ones own practice. (p. 707) a member of the Executive Committee
of the International Commission on
This is the reason why I consider the trio of volumes Mathematica Instruction for two terms
reviewed in Issue 89 and the present issue really useful (20072012) and a former member of
for Western researchers in mathematics education. the EMS Newsletters Editorial Board.
Matthias Aschenbrenner (University of California Los Angeles, USA), Stefan Friedl (Universitt Regensburg, Germany) and
Henry Wilton (University of Cambridge, UK)
3-Manifold Groups (EMS Series of Lectures in Mathematics)
ISBN 978-3-03719-154-5. 2015. 230 pages. Softcover. 17 x 24 cm. 34.00 Euro
The field of 3-manifold topology has made great strides forward since 1982, when Thurston articulated his influential list of questions.
Primary among these is Perelmans proof of the Geometrization Conjecture, but other highlights include the Tameness Theorem of Agol
and CalegariGabai, the Surface Subgroup Theorem of KahnMarkovic, the work of Wise and others on special cube complexes, and
finally Agol's proof of the Virtual Haken Conjecture. This book summarizes all these developments and provides an exhaustive account
of the current state of the art of 3-manifold topology, especially focussing on the consequences for fundamental groups of 3-manifolds.
As the first book on 3-manifold topology that incorporates the exciting progress of the last two decades, it will be an invaluable
resource for researchers in the field who need a reference for these developments. It also gives a fast-paced introduction to this material although some
familiarity with the fundamental group is recommended, little other previous knowledge is assumed, and the book is accessible to graduate students.
The book closes with an extensive list of open questions, which will also be of interest to graduate students and established researchers alike.
Dear Editor,
Professor Ivan Vidav (19182015), a leading Slovenian mathematician, has passed away at the age of 98. He was a
student of Josip Plemelj and founder of the Slovenian school of mathematics at the University of Ljubljana. Vidav
dominated Slovenian mathematics from the fifties through the eighties. He worked mainly in functional analysis,
where he is best known for his metric characterization of self-adjoint operators and the related Vidav-Palmer
theorem, which characterizes C* algebras among all Banach algebras.
Toma Pisanski
Personal Column
Please send information on mathematical awards and the Book Prize to Francesco Russo for his manuscript On the
deaths to newsletter@ems-ph.org. geometry of some special projective varieties;
the Gold Medal Guido Stampacchia to Alessio Figalli;
the Mario Baldassarri Prize to Margherita Lelli Chiesa;
Awards the Renato Caccioppoli Prize to Camillo De Lellis;
the Stefania Cotoneschi Prize to Fabio Brunelli;
the Bruno De Finetti Prize to Paola Domingo;
The Hausdorff Medal was awarded by the European Set Theo- the Ennio De Giorgi Prize to Aldo Pratelli;
ry Society to Ronald Jensen (Humboldt-Universitt zu Berlin) the Federigo Enriques Prize to Giulia Sacc;
and John Steel (UC Berkeley) at the fifth European Set Theory the Enrico Magenes Prize to Stefano Bianchini;
Conference in Cambridge, 24 August 2015. the Franco Tricerri Prize to Elia Saini; and
the Calogero Vinti Prize to Ulisse Stefanelli.
The following members of the Real Sociedad Matemticas Es-
paola have received the following prizes: Jonas Ilmavirta from the University of Jyvskyl, Finland, is
Ildefonso Daz (Universidad Complutense de Madrid, Spain) the laureate of the 7th International Stefan Banach Prize for
has been awarded the Jacques-Louis Lions Prize of the French a Doctoral Dissertation in the Mathematical Sciences, award-
Academy of Sciences; ed by Ericpol a leading Polish IT company and the Polish
Juan Carlos Lpez Alfonso (Technische Universitt Dresden, Mathematical Society.
Germany) has been awarded the Reinhart Heinrich Award by
the European Society for Mathematical and Theoretical Biol- Sawomir Koodziej, from the Jagiellonian University, has been
ogy; awarded the Bergman Prize by the American Mathematical
Francisco Santos (Universidad de Cantabria, Spain) has been Society.
awarded the Fulkerson Prize 2015 of the Mathematical Optimi-
zation Society and the American Mathematical Society; AMASES has awarded its prize for the best paper by a young
Nuno Freitas (Max Planck Institute for Mathematics, Ger- scholar to Lucio Fiorin at the 39th AMASES Congress, held in
many) has been awarded the 2014 Jos Luis Rubio de Francia Padua, Italy, September 2015.
Prize for young researchers of the Real Sociedad Matemtica
Espaola; The Shaw Prize in Mathematical Sciences 2015 has been
Alejandro Castro Castilla (Uppsala Universitet, Sweden), awarded in equal shares to Gerd Faltings and Henryk Iwaniec.
Jezabel Curbelo Hernndez (Universidad Autnoma de Ma-
drid, Spain), Javier Fresn Leal (ETH Zurich, Switzerland),
Rafael Granero Belinchn (University of California, Davis,
USA), Luis Hernndez Corbat (IMPA, Brazil) and Xavier Ros Deaths
Otn (University of Texas at Austin, USA) have received the We regret to announce the deaths of:
2015 Vicent Caselles Research Award of the Real Sociedad
Michael Barratt (5 October 2015, Duluth, USA)
Matemtica Espaola and Fundacin BBVA; and
Giuseppe Malpeli (29 October 2015, Parma, Italy)
Jos Luis Fernndez Prez (Universidad Autnoma de Ma-
Czesaw Olech (1 July 2015, Warsaw, Poland)
drid, Spain), Marta Macho Stadler (Universidad del Pas Vasco,
Stefan Rolewicz (9 July 2015, Warsaw, Poland)
Spain) and Antonio Martnez Naviera (Universidad de Valen-
Czesaw Ryll-Nardzewski (18 September 2015, Wrocaw,
cia, Spain) have been awarded the 2015 Medals of the Real So-
Poland)
ciedad Matemtica Espaola.
Kazimierz Szymiczek (20 July 2015, Katowice, Poland)
Rainer Vogt (12 August 2015, Osnabrck, Germany)
The Unione Matematica Italiana has awarded the following
prizes for 2015:
M M
ment (such as the American, Australian and
Mathematical Canadian Mathematical Societies) are entitled
Kathrin Bringmann (University of Kln, Germany), Yann Bugeaud (IRMA, Strasbourg, France), Titus Hilberdink (University of Reading,
UK) and Jrgen Sander (University of Hildesheim, Germany)
Four Faces of Number Theory (EMS Series of Lectures in Mathematics)
ISBN 978-3-03719-142-2. 2015. 198 pages. Softcover. 17 x 24 cm. 32.00 Euro
This book arose from courses given at an International Summer School organized by the number theory group of the Department of Mathe-
matics at the University of Wrzburg. It consists of four essentially self-contained chapters and presents recent research results highlighting
the strong interplay between number theory and other fields of mathematics, such as combinatorics, functional analysis and graph theory.
The book is addressed to (under)graduate students who wish to discover various aspects of number theory. Remarkably, it demonstrates
how easily one can approach frontiers of current research in number theory by elementary and basic analytic methods.
Kathrin Bringmann gives an introduction to the theory of modular forms and, in particular, so-called Mock theta-functions, a topic which
has obtained much attention in the last years. Yann Bugeaud is concerned with expansions of algebraic numbers. Here combinatorics on
words and transcendence theory are combined to derive new information on the sequence of decimals of algebraic numbers and on their
continued fraction expansions. Titus Hilberdink reports on a recent and rather unexpected approach to extreme values of the Riemann
zeta-function by use of (multiplicative) Toeplitz matrices and functional analysis. Finally, Jrgen Sander gives an introduction to algebraic
graph theory and the impact of number theoretical methods on fundamental questions about the spectra of graphs and the analogue of
the Riemann hypothesis.
Free Loop Spaces in Geometry and Topology. Including the monograph Symplectic cohomology and Viterbos
theorem by Mohammed Abouzaid (IRMA Lectures in Mathematics and Theoretical Physics, Vol. 24)
Janko Latschev (University of Hamburg, Germany) and Alexandru Oancea (Universit Paris 6, France), Editors
ISBN 978-3-03719-153-8. 2015. 500 pages. Hardcover. 17 x 24 cm. 78.00 Euro
One of the main purposes of this book is to facilitate communication between topologists and symplectic geometers thinking about free
loop spaces. It was written by active researchers coming to the topic from both perspectives and provides a concise overview of many
of the classical results, while also beginning to explore the new directions of research that have emerged recently. As one highlight, it
contains a research monograph by M. Abouzaid which proves a strengthened version of Viterbos isomorphism between the homology
of the free loop space of a manifold and the symplectic cohomology of its cotangent bundle, following a new strategy.
The book grew out of a learning seminar on free loop spaces held at Strasbourg University and should be accessible to a graduate
student with a general interest in the topic. It focuses on introducing and explaining the most important aspects rather than offering
encyclopedic coverage, while providing the interested reader with a broad basis for further studies and research.