An Interview with Barry Mazur
Interviewed by Max Lieblich and Lauren Williams of the Harvard Math
Club in 99/00.
Q: I guess the most basic question is, what got you interested
in mathematics?
A: I was initially interested in electronics -- Maxwell's
equations. When I was in high school I had a friend who was quite a whiz
as a Ham radio operator. He would build electronic things and I would try
to understand why they worked. The thing I was baffled by, and kept
trying to understand, was how energy got transmitted.
After high school I went to MIT with the idea of studying electronic
engineering. But the first day at MIT I went to the library -- and was
surprised that there were so many books on mathematics: I was surprised
to find that math was actually a subject. I had thought of math as a
tool, and I had intended to learn it to prepare myself to study
electromagnetism. That first day while browsing through the shelves I
realized that mathematics and not engineering was really what I wanted to
do.
Q: How much exposure had you had to math before MIT?
A: I went to the Bronx High School of Science, which was then, as
apparently it still is now, very very good. It had at that time a number
of excellent math teachers: the father of the Lepowsky brothers taught
there; and also Lhavaty, a fine mathematician. I profited very much from
the general atmosphere there even though I didn't take any of the advanced
math courses offered in High School. It was not, at the time, standard for
everyone there to take Calculus.
Instead I tried to learn calculus on my own, from this wonderful book that
was either called "Calculus Made Simple" or "Calculus Made Easy," I have
forgotten which, by Thompson. This text had at least two great virtues.
It was very thin, and it proudly proclaimed (on its opening pages) that it
was about to "save" Calculus from the obscurity into which it had been
cast by the mathematicians. I have no idea what I would think of this
book if I saw it now, but at least, for me, then, it conveyed the awe of
calculus -- with no rigor at all -- and by golly, its title was correct.
I was also an avid reader of electronics books, and I picked up a certain
amount of calculus just by reading them; and finally I went through a text
by Kell which taught a version of Calculus directed to applications to
aeronautical engineering; Kell's Calculus had a huge number of (rote, for
the most part) exercises at the end of each chapter: I obsessively did
every one of the problems in that book.
Q: Did you meet any strong mentors or influences at MIT?
A: Oh yes. I was at MIT for two years -- I decided to go through it
very fast, partly because my father had taken out loans and I thought I
would save him some money. Also I was excited about the subject. Very
early on, one of the professors attached me to a graduate student named Gus
Solomon who helped me enormously. Solomon was a student of Iwasawa at the
time, studying number theory, but later turned his hand to applied
mathematics and had an extremely distinguished career in industry. Gus
Solomon would oversee my mathematical reading, answer questions, correct
any of the exercises that I wrote out and gave to him. And generally he
would give good advice. That was great.
And then there was Warren Ambrose, a professor at MIT, who did research in
functional analysis, but when I was at MIT he seemed particularly
interested in algebraic topology -- and more specifically was very
enthousiastic about the things that were going on in the Cartan seminar
in Paris. Ambrose taught a graduate course in algebraic topology which
I took (I had much help from Gus Solomon ). I suspect that Ambrose didn't
know all that much algebraic topology at the time, but that fact somehow
contributed to the greatness of the course he gave. For Ambrose,
intuition was primary, and he would hold back on formal definitions long
after anyone else would normally have presented them.
For example, he would say "OK, consider the group of chains on a
topological space" and then he would write on the board
'a chain is a formal sum of pieces of space'
Only after having written this, would he begin to define the various
formal variants of "pieces of space" (i.e., simplex, or singular simplex,
etc. -- he also liked cubical chains). There would be an engaging mystery
at the beginning of any of his explanations: a mystery that, so to speak,
charged up the imaginative faculties, and made one ready, eager, for the
eventual formalization. I was inspired by his classes.
And there was Kenkichi Iwasawa. Iwasawa was just the opposite of Ambrose,
formal at every level. He would enter the room writing on the blackboard
-- no informal interaction at all! Everything was presented absolutely
perfectly: clean, clear, with wonderfully thought out notation. His
problems were gems. There weren't very many of them, and they would often
be thorny -- they would usually take a couple of weeks to figure out --
but they would really open up the subject for anyone who worked them
through to the end.
Q: So after two years at MIT you went to Princeton?
A: Yes.
Q: How old were you at the time?
A: Well, I went to MIT when I was 16, so I guess I was 18. At
Princeton I intended to study algebraic topology (having been so motivated
by Ambrose's course). But almost as soon as I got there I found myself
attracted to more geometric problems.
Norman Steenrod was my adviser at first. Steenrod reminded me of Rodin's
thinker (not in physique, but rather in the way in which he revelled in
slow reflection). He made it clear that quickness was not essential to
doing good mathematics; the important problems in mathematics, or at least
the ones he valued, required having an appropriate view of the whole, and
such overviews are gotten only after considerable experience, and long
deliberation. Some of the most instructive moments to me in my first
weeks in Princeton came from watching Steenrod, in his course, slowly
ruminate (out loud) about the real meaning of "cohomology operation" and,
with equal intensity, ponder the signficance of a sign in a formula. I
very much liked it.
Steenrod also gave a lecture to incoming graduate students in which
he said two things. He said : "In your undergraduate studies the
mathematics that you have read has been primarily in textbooks. But
now you are ready to read original articles -- articles are living
mathematics, and textbooks are dead mathematics. You should read original
articles, even if they're harder and not so well written." The other
thing he said was quite important to me: he said that there was a natural
tempo to "mathematical maturity": certain mathematical ideas take a
certain amount of time to digest -- they deserve a certain amount
of time -- and trying to rush this process is disrespectful of the ideas
and might lead to a less full comprehension of them. So I took Steenrod's
classes.
The other graduate students in Princeton at the time were terrific. We
gave seminars every night -- on wild topics, whatever occurred to us.
The graduate students I spent most time with were Jim Stasheff, John
Stallings and Han Sah. We would go through various books together (books
and not, in fact, articles, as Steenrod would have us do). For example, we
read through Chevalley's books on algebraic functions of one variable, and
on algebraic Lie groups. We also took delighted in finding strange
"examples" -- the stranger to us, the better. These "examples" we cooked
up were mainly in algebraic topology (e.g., CW-spaces equipped with
various algebraic structures, given up to homotopy), but also in geometry,
and pointset topology. In January, Steenrod suggested that I work on the
differential geometry of manifolds with a Lorentz-type metric on their
tangent bundles -- a space-time metric; it was a kind of open-ended
problem. I thought a bit about this problem but got nowhere with it. At
the end of the year I said that I wanted to go to Paris. Steenrod warned
me that he thought I would not get anything done in Paris, and was
strongly against my going. But I did.
Q: What were you planning to do in Paris?
A: I was going primarily to... spend a year in Paris with my high
school girlfriend. My claim was that I wanted to go to the Cartan
seminar. I did, in fact, attend the Cartan seminar, but I don't think
I spoke to any of the mathematicians there. I got it into my head that
I would try to prove the Poincaré conjecture and to learn a little
geometric topology on the side. But I didn't (prove the Poincaré
conjecture). In the course of cogitating about the Poincaré
conjecture, though, I happened on a result which I thought of as being "in
the right direction" and which I called "Lemma 1". When I got back to
Princeton I learned that my "Lemma 1" had been conjectured by the
mathematician Schoenflies, and was until then an open problem, so I
submitted it as my Ph.D. thesis.
Q: So essentially you wrote your thesis in Paris?
A: Right. From then on I regarded Paris as a lucky place for me to
do
mathematics, and for a number of years I spent every other Spring term
there. I liked the atmosphere -- it's a wonderful place to do mathematics
if you're not locked into the system -- e.g., if you're not teaching.
Q: At some point you underwent a shift and changed from
algebraic topology to number theory... could you tell us about
that?
A: I did some work in dynamical systems with Mike Artin. To do this
we used the theory of John Nash (about components of the real locus of
real algebraic varieties), so there was a fair amount of algebraic
geometry in what we did. I then became interested in the algebraic side
of things. And then the two of us (Mike Artin and I) worked on an
algebraic geometric version of homotopy theory, which is, of course, still
algebraic topology, but in the setting of algebraic geometry. This led
naturally to my spending a number of years doing algebraic geometry.
Q: So when did you come to Harvard?
A: When I came back from Paris I spent a year as a visitor to the
Institute for Advanced Study, and then the following year came to Harvard
as a Junior Fellow. I've been here ever since.
Q: What kind of changes have you seen at Harvard?
A: It's gotten better. When I first arrived the students were
mainly from quite restricted backgrounds. Not that there weren't people
from all economic backgrounds, but there still was something of a "Harvard
mold".
Q: How does Harvard back then compare to what MIT was?
A: In my opinion MIT just hasn't changed. MIT was then as it is
now: intense. And I love that. But Harvard was -- well, in the early
60's the level of intellectual energy that was ever-present at MIT was
not as evident in the Harvard student body: "gentleman C's" were
rampant.
Q: What about the math department?
A: The math department was a lot stuffier.
Q: What about the Princeton department back then?
A: The Princeton people then were much more thoroughly engaged in
research, partly to the detriment of their teaching. Not that there
aren't great teachers there, but there was a distinct gap between the
undergraduate and graduate courses (an almost unbridgable gap, as it
seemed to me when I was a graduate student there). Princeton had lots of
undergraduate courses, and then only "topics" graduate courses. That
might be an exaggeration, but there were very few beginning graduate
courses. At Harvard, there was always more interest in shaping the
curriculum so that a student has a better chance of following courses
that form some coherent continuous program of study.
Q: What has been the most exciting aspect of your
career?
A: That's hard to say. Math is continually exciting -- you have no
idea how things will change from one day to the next.
Q: Do you see any trends in math that you think will prevail in
the 21st century, or do you have any idea where math is going?
A: I don't. In the 60's, there was a period when abstract
mathematical machines were being developed in all directions -- sheaves,
and cohomology theories -- there was a general trend towards abstraction,
to the mild neglect of thoroughly concrete issues. I'm very happy that
now, wherever you look in mathematics, people are riveted on concrete,
precise problems. I'm also happy that there now seems to be more such
concrete problems, which are both interesting, important, and possibly
accessible, than ever. As for large developments I would expect that
string theory will take decades to give all its fruits, and that it is a
tree that will bear much fruit. And I would expect that the amazing level
of progress in so many aspects of number theory that we have seen in
recent years will keep up. But I don't really want to guess about the
future of mathematics. Mathematics constantly surprises us.
Q: Do you do many things outside of math? You're teaching a
non-mathematical course, right? How did you get interested in
that?
A: Some years ago a friend of mine gave me some essays about the
imagination in literature (they were about how you imagine what you
read). I became interested in how the ideas in those essays could be
modified to talk about how you imagine a mathematical idea. I wrote my
friend a letter about this, which I kept revising. My letter got longer
and longer and when it got to about 160 pages, my friend figured that he'd
better do something to stop its Rabelaisian growth, and so he invited
me to help teach a graduate seminar with him.
Q: What other things do you do?
A: Well, I don't do mathematics 24 hours a day -- or on second
thought, perhaps I do -- but there's also some time-sharing.
Q: Do you dream about mathematics?
A: I certainly daydream. Usually, in a somnolent state, I find
that mathematical ideas jiggle around, and sometimes settle in more
commodious ways in my head. But no, I haven't had any of those
benzene-ringed dreams.
Q: Could you tell us about the Steele prize which you were
recently awarded?
A: The prize is given for a paper that is judged to be "seminal."
The Steele Prize Committee gave it to me for a paper I wrote in the
seventies called "Modular Curves and the Eisenstein Ideal."
Q: Could you tell us about it?
A: Maybe it would be easiest to describe one of the consequences.
There's a theorem of Mordell that says the group of rational points on
an elliptic curve is finitely generated. Now any finitely generated
abelian group is isomorphic to a product of a finite number of copies of the
additive group of integers, and a finite (abelian) group. So the question is,
what finite groups can occur (as the torsion subgroups of the group of
rational points on an elliptic curve)? I gave a complete classification of
these groups in my paper.
Disclaimer: This html file is reproduced from the one here
with minor typographical changes.