Перевод интервью «Интервью математического клуба с профессором Кертисом Макмалленом» (Math Club Interview with Professor Curtis McMullen — translation into Russian)

by Anne-Marie Oreskovich and Dmitry Sagalovskiy

от Энн-Мари Орескович и Дмитрия Сагаловского

Last semester, the math club had the privilege of interviewing Harvard Professor and recent Fields medalist Curtis McMullen. During the hour-long interview, Professor McMullen discussed his background, his research, his experiences at various universities across the country, and the Fields medal. The math club would like to thank Professor McMullen for taking the time to let us get to know him better. To find out more about Professor McMullen, see his webpage at http://math.harvard.edu

В прошлом семестре математический клуб имел честь взять интервью у недавно получившего Филдсовскую премию профессора Гарварда Кертиса Макмаллена. В течение часового интервью профессор Макмаллен рассказал о своем прошлом, своих исследованиях, опыте работы в разных университетах по всей стране и Филдсовской премии. Математический клуб хотел бы поблагодарить профессора Макмаллена за то, что он уделил нам время, чтобы мы могли познакомиться с ним поближе. Чтобы узнать больше о профессоре Макмаллене, зайдите на его страницу поадресу http://math.harvard.edu

Q: How long have you been at Harvard?

В: Как долго вы в Гарварде?

M: A year and a half if you don’t count my graduate student days.

М: Полтора года, если не считать то время, когда я был аспирантом.

Q: So you were a graduate student here?

В: Так вы были аспирантом здесь?

M: Right.

М: Верно.

Q: And where were you an undergraduate?

В: А где вы были студентом?

M: I was at Williams College in Western Massachusetts, and then I spent a year in Cambridge, England.

М: В Колледже Уильямса в Западном Массачусетсе, а потом год в Кембридже в Англии.

В: Откуда вы?/

M: That’s sort of a hard question to answer. I basically grew up in Charlotte, Vermont, but I was actually born in Berkeley, California. We moved around a little bit too, but I think of myself as being from Vermont.

М: Это не очень простой вопрос. Вообще, я вырос в Шарлотт, Вермонт, но родился в Беркли, Калифорния. Мы немного переезжали с места на место, но я считаю себя родом из Вермонта.

Q: So could you tell us a little bit about the medal?

В: Не могли бы вы немного рассказать нам о премии?

M: I believe it was started in 1930’s. It was established by a Canadian, Fields, and I know that Ahlfors and Douglas were given the first two. It’s given every four years at the ICM, and in the more recent years they’ve been giving it to three or four people. So let’s see, who else got it this year? Kontsevich, Gowers, and Borcherds. Actually all of them except for Gowers have spent time in Berkeley, which is where I was for the last seven years before I came here. So I knew both Borcherds and Kontsevich from Berkeley.

М: Я полагаю, эта история началась в 1930-х. Премия была учреждена канадцем по фамилии Филдс, и я знаю, что первыми двумя лауреатами были Альфорс и Дуглас. Ее вручают каждые четыре года на Международном конгрессе математиков, и в последнее время ее вручают трем или четырем людям. Так кто же еще получил ее в этом году? Концевич, Гауэрс и Борчердс. На самом деле, они все, кроме Гауэрса, провели некоторое время в Беркли, то есть там, где я провел последние семь лет до того, как пришел сюда. Так что я знал Борчердса и Концевича из Беркли.

Q: Where were you when you find out?

В: Где вы находились, когда узнали об этом?

M: I was here. You find out a couple of months in advance, and it’s supposed to be kept secret until the actual day of the ceremony. So actually I didn’t tell anyone, which was quite difficult, because there were rumors circulating, and I’d constantly have to be denying them.

М: Я был здесь. Вы узнаете об этом за два месяца, но должны хранить это в тайне до дня церемонии. Поэтому я никому не рассказывал, хотя это было довольно трудно, потому что ходили слухи и мне постоянно приходилось их отрицать.

Q: Can you tell us a little bit about what your research was on that gave you the medal?

В: Можете рассказать нам немного о вашем исследовании, за которое вам вручили премию?

M: Let me begin with the direction of my research. First, I wrote my thesis at Harvard, but I didn’t work with a Harvard professor. I had been doing some computer work with David Mumford on Kleinian groups before I graduated, and I got interested in that subject. But I actually ended up writing my thesis with Dennis Sullivan, who at that time was a professor at City University in New York and IHES at France. So I was very lucky that Mumford introduced me to him in the last year of my graduate career, at which point I had no advisor and no thesis topic. And I went to France and worked with Sullivan at IHES for a semester, and I met Steve Smale there who gave me this nice thesis problem on solving polynomial equations by iteration.

You’ve probably heard of Newton’s method for solving polynomials. If you apply Newton’s method for a cubic polynomial, it may not work. You may get stuck under a local minimum. And if you change the initial guess a little bit, it might still not converge to a root. So Newton’s method is not reliable for solving polynomial equations. The problem I worked on was whether or not there was any algorithm like Newton’s method, involving iteration of just one rational function, that can reliably solve polynomial equations. I was able to prove the answer is no for degree 4 or more, and actually I found a new algorithm for solving cubics, which is reliable.

Then I went to MSRI and was at MIT for a semester, then Princeton for four years. Peter Doyle and I worked in Princeton on solving fifth degree equations, and we found this beautiful unexpected algorithm for solving quintic polynomials. But it’s not contradicted by my thesis because it’s a tower of iterations; that is, you iterate one rational function, take the thing to which it converges, and plug that into another one.

As you may know, solving the quintic is bound up with the Galois group A5, and the fact that A5 is a simple group. This was used by Galois to prove you can’t solve the quintic equation by radicals.

It turns out that to be able to solve an equation using an iterated rational map, what you have to do is find a rational map whose symmetry group is the Galois group of the polynomial. Now there is only a small set of groups that can be symmetry groups on the Riemann sphere, and the interesting ones come from the Platonic solids. So A5 , the symmetry group of the dodecahedron, is the most complicated one you can get. We used this rational map with A5 symmetry to give a new algorithm for solving the quintic equation reliably. And by the same token, since S6 or A6 does not operate on the Riemann sphere, there is no similar algorithm to solve equations of degree 6, or more. So that was my first area of research: solving polynomials, and dynamics of rational maps.

Now, the next thing I worked on when I was at Princeton was Thurston’s theory of hyperbolic 3-manifolds. Thurston has a research program, which has been very successful, to try to find a canonical geometry for three-dimensional objects. For example, if you imagine you have some manifold, that is secretly a 3-sphere, if you could somehow find a round metric on it, then you would suddenly recognize it as the 3-sphere. So if you can find a metric that gives the manifold a good shape, then you can recognize what the manifold is. It turns out that most three-dimensional manifolds admit these metrics, but the metrics are not positively curved like the 3-sphere, they are negatively curved. For example, if you take the outside of a knot in S3, a knot complement, then it almost always admits one of these so-called hyperbolic metrics of constant negative curvature. Because of that, there are now computer programs, where you can just draw a knot at random with a mouse, and click, and within one or two seconds it will tell you exactly what knot it is. And if you give it two knots, it will immediately recognize whether or not they are the same knot. This is amazing because the problem of classifying knots was classically extremely difficult to solve.

While at Princeton I found a new, analytic proof of Thurston’s theorem that provides hyperbolic structures on many 3-manifolds, including most knot complements. This new proof has to do with Poincaré series, a classical topic in complex analysis, and it also lead to the solution of conjectures of Kra and Bers. Later at Berkeley I began to see parallels between the theory of 3-manifolds that fiber over the circle; this topic is worked out in 2 books that appeared in the Princeton «Annals of Math. Studies». The Fields medal was, I imagine, in recognition of these projects.

So I worked on the dynamics of rational maps, and I worked on hyperbolic 3-manifolds, and I worked on Riemann surfaces per se , and I’ve also worked on topology of surfaces and knots. And the thing I’d like to emphasize is that for me all of those fields are really the same field. You very easily start working on a problem in dynamics, and find yourself a few months later working on a problem in knot theory or topology, because they are all very interconnected — knots, complex analysis, polynomials, Riemann surfaces, hyperbolic 3-manifolds, etc. There is not really a name for this field, but that’s the field I work in.

М: Позвольте начать с направления моего исследования. Во-первых, я писал диссертацию в Гарварде, но не работал с гарвардским профессором. Я выполнял некоторую работу на компьютере с Дэвидом Мамфордом по группам Клейна до моего выпуска, и я заинтересовался этой темой. Но в итоге я писал диссертацию с Деннисом Салливаном, кто в то время был профессором в Городском университете Нью-Йорка и Институте высших научных исследований (IHES) во Франции. Так что мне повезло, что Мамфорд представил меня ему в последний год моей аспирантуры, когда у меня не было ни руководителя, ни темы для диссертации. И я поехал во Францию и работал с Салливаном в IHES в течение семестра и встретил там Стива Смейла, который дал мне отличную задачу для диссертации по решению полиномиальных уравнений методом итерации.

Вероятно, вы слышали о методе Ньютона для решения полиномов. Если вы примените метод Ньютона к кубическому полиному, он может не сработать. Вы можете застрять под локальным минимумом. А если вы немного измените начальное приближение, оно все равно может не стремиться к корню. Так что метод Ньютона не надежен в решении полиномиальных уравнений. Вопрос, над которым я работал, заключался в том, есть ли какой-то алгоритм, как метод Ньютона, использующий итерацию лишь одной рациональной функции, который может надежно решать полиномиальные уравнения. Я смог доказать, что для 4-ой степени и выше ответ – нет, и я действительно нашел новый надежный алгоритм для решения кубических полиномов.

Затем я отправился в Исследовательский институт математических наук и провел семестр в Массачусетском технологическом институте, а затем – четыре года в Принстоне. В Принстоне мы с Питером Дойлом работали над решением уравнений пятой степени и неожиданно нашли этот прекрасный алгоритм для решения таких полиномов. Но это не противоречит моей диссертации, так как это башня из итераций, то есть вы производите итерацию одной рациональной функции, берете то, к чему она сходится, и вставляете в другую.

Как вы можете знать, решение многочлена пятой степени связано с группой Галуа A5 и тем, что A5 является простой группой. Галуа воспользовался этим, чтобы доказать, что нельзя решить уравнение пятой степени при помощи радикалов.

Оказывается, чтобы решить уравнение с использованием рационального отображения с итерациями, все, что вам нужно сделать – это найти рациональное отображение, группа симметрии которого – группа Галуа данного полинома. Теперь существует лишь небольшое количество групп, которые могут быть группами симметрии на сфере Римана, а самые интересные происходят от правильных многогранников. Поэтому A5, группа симметрии додекаэдра, является самой сложной из существующих. Мы использовали это рациональное отображение с A5-симметрией для создания нового алгоритма для надежного решения уравнения пятой степени. По той же причине, так как S6 или A6 не работает на сфере Римана, не существует схожего алгоритма для решения уравнений степени 6 или выше. Итак, это было моей первой областью исследований: решение полиномов и динамика рациональных отображений.

Теперь, следующее, над чем я работал, находясь Принстоне, была теория Терстона о гиперболических трехмерных многообразиях. У Терстона есть очень успешная исследовательская программа по поиску канонической геометрии для трехмерных объектов. Например, если вы представите, что у вас есть многообразие, которое является трехмерной сферой, но это не известно, если бы вы могли каким-то образом найти круглую метрику на ней, тогда вы бы внезапно обнаружили, что это трехмерная сфера. Так что если вы сможете найти метрику, придающую многообразию хорошую форму, то вы сможете определить, чем является многообразие. Оказывается, что большинство трехмерных многообразий допускают такие метрики, но у этих метрик не положительная кривизна, как у трехмерной сферы, а отрицательная. Например, если взять внешнюю поверхность узла в S3, дополнение узла, то он почти всегда допускает одну из этих так называемых гиперболических метрик с постоянной отрицательной кривизной. Из-за этого сейчас существуют компьютерные программы, где вы можете лишь нарисовать мышью узел случайным образом и нажать кнопку, и через одну-две секунды она вам сообщит, что это за узел. А если вы нарисуете два узла, она сразу же определит, являются ли они одним и тем же узлом. Это поразительно, потому что изначально проблему классификации узлов было крайне трудно решить.

Находясь в Принстоне, я нашел новое аналитическое доказательство теоремы Терстона, дающие гиперболические структуры на многих трехмерных многообразиях, включая большинство дополнений узлов. Это новое доказательство связано с рядами Пуанкаре, классической темой в комплексном анализе, а также оно ведет к решению гипотез Кра и Берса. Позднее в Беркли я начал видеть параллели между теорией трехмерных многообразий, которые расслаиваются над окружностью. Эта тема подробно рассмотрена в двух книгах, включенных в принстонские «Анналы математических исследований». Думаю, Филдсовская премия оценила эти проекты.

Итак, я работал над динамикой рациональных отображений, работал над гиперболическими трехмерными многообразиями, работал над поверхностями Римана как таковыми, а также я работал над топологиями поверхностей и узлов. И я хотел бы подчеркнуть, что для меня все эти области на самом деле являются одной областью. Вы с легкостью начинаете работать над какой-то задачей динамики, а через несколько месяцев обнаруживаете, что работаете над задачей из теории узлов или топологии, потому что они все очень сильно связаны между собой: узлы, комплексный анализ, полиномы, поверхности Римана, гиперболические трехмерные многообразия и т.д. У этой области действительно нет названия, но это та область, в которой я работаю.

Q: So you’ve been at arguably the four best schools in America for mathematics: Princeton, Berkeley, MIT, and Harvard. Can you compare and contrast them in terms of the atmosphere, friendliness, pace people work at, etc., for undergraduates thinking of going on to graduate school?

В: Значит, вы были в четырех возможно лучших школах математики Америки: в Принстоне, Беркли, Массачусетском технологическом институте и Гарварде. Вы можете сравнить и противопоставить их с точки зрения атмосферы, дружелюбности, темпа, в котором работают люди, и т.д. для тех, кто хочет закончить учебное заведение?

M: They are really different. Let me leave out MIT, because I only spent a semester there. Princeton is a terrific department, but the town is a little stuffy and boring for a young person. It has the highest density of people from «Who Is Who», and it’s very cultured. There is nothing unexpected ever happening. So it doesn’t seem very lively to me. But I wasn’t there as a graduate student. Princeton is a wonderful place to go to if you know you are not going to be there forever. I look back very fondly on my years at Princeton.

Princeton and Harvard both treat their graduate students very well. There is a good ratio of the number of students per faculty. Students are well-funded, departments are small enough that students get a lot of individual attention. And I think the students learn a lot from each other in both of the places. That’s a big component of graduate education.

Berkeley is also really wonderful. It’s a place that has a huge department, one hundred faculty if you count emereti. I really loved it, but it takes a lot of energy to find a good place to live, to find a good advisor, and to get into the right niche, mathematically and so on. But as you do that, it pays you back very much. And the weather is beautiful. You can walk from campus into Strawberry Canyon then into Tilden Park, and be completely out of view of humanity within 40 minutes. (At Harvard, on the other hand, I found I could bicycle for an hour, and still be in suburbia…) In Berkeley the swimming pools are outdoors, it’s very lively, and it’s also very tolerant — to all sorts of different lifestyles, different kinds of people. You feel a sense of freedom. You don’t feel any qualm about trying out a new idea, and not worrying so much about whether or not it’s going to work. One of the great things about Berkeley is that there are so many graduate students, and so many postdocs in the area, especially with MSRI, that you can have a working group on any mathematical topic you can think of. There’s a lot of mathematical interest there.

I really enjoyed being a graduate student at Harvard too. Cambridge and Berkeley both have advantages over Princeton, in the sense that they’re young communities, there is a lot going on, they’re close to a major city. You can tell a little bit from my graduate experience that although I think Harvard is really great, the fact that its faculty is small might make it hard to find an advisor who is in the area you want to work in. And I think that the real key to success in graduate school is finding something that you are interested in enough to keep you going for four or five years.

М: Они очень разные. Позвольте мне пропустить Массачусетский технологический институт, потому что я провел там лишь один семестр. Принстон – отличное место, но городок немного душный и скучный для молодых людей. В нем самая высокая плотность людей из «Кто есть кто», и он очень культурно развит. Там никогда не происходит ничего неожиданного. Так что мне он не кажется очень живым. Но я не был там в качестве аспиранта. Принстон – чудесное место, которое стоит посетить, если вы знаете, что не собираетесь оставаться там навсегда. Я с теплотой вспоминаю свои годы Принстоне.

В Принстоне и Гарварде очень хорошо относятся к аспирантам. Там хорошее число студентов на факультет. Студенты хорошо финансируются, факультеты довольно небольшие, так что студентам уделяется много личного внимания. И я считаю, что студенты многому учатся друг у друга в обоих вузах. Это важная составляющая аспирантуры.

Беркли тоже замечательный. Это место с большой кафедрой, сотней преподавателей, если считать вышедших в отставку. Мне оно очень нравилось, но требуется много сил, чтобы найти хорошее место для жизни, найти хорошего руководителя и занять правильную нишу, математически и так далее. Но когда вы это делаете, это очень хорошо окупается. И погода отличная. Вы можете прогуляться от кампуса до Строберри-Кеньон, а потом до парка Тилден и быть вне поля зрения человечества в течение 40 минут. (С другой стороны, в Гарварде я обнаружил, что мог ехать час на велосипеде и все еще оставаться в его окрестностях…) В Беркли бассейны находятся на улице, и там все очень живо и толерантно ко всем типам образа жизни, всем типам людей. Вы чувствуете свободу. Вас не мучают сомнения, когда вы хотите попробовать что-то новое, и вы не особо беспокоитесь, получится ли это у вас. В Беркли классно то, что там так много аспирантов и так много постдоков в данной области, особенно в Исследовательском институте математических наук, что у вас может быть рабочая группа на любую математическую тему, о которой вы можете подумать. Там очень сильно интересуются математикой.

Я также наслаждался, когда был аспирантом в Гарварде. И у Кембриджа, и у Беркли есть преимущества над Принстоном, в том смысле, что они представляют собой молодые сообщества, там много чего происходит, они расположены недалеко от крупного города. По своему опыту аспиранта могу сказать, что хотя я считаю Гарвард отличным вузом, тот факт, что у него небольшой преподавательский состав, может затруднить поиски руководителя в той области, в которой вы хотите работать. И я думаю, что ключ к успеху в аспирантуре заключается в том, чтобы найти что-то, что вам настолько интересно, что вы сможете работать над этим в течение четырех-пяти лет.

Q: Why did you choose to come to Harvard from Berkeley?

В: Почему вы решили перейти в Гарвард из Беркли?

M: I first came as a visitor. And I found it really fun to teach here. At Berkeley classes for undergraduates are often very large, and it was just very rewarding to have these really good students in a small class. And I really liked the fact that the department is small enough that it’s easy to get to know other faculty members. And of course, since I was a graduate student here, I always looked up to Harvard as being this wonderful place. Actually I found it hard to imagine being a professor here, so I wanted to explore what it would be like. I enjoy the fact that my areas of interest are different from, but overlapping with, those of other people in the department. I am very interested in a lot of the stuff other people do here. So for me, in a way, it lets me continue my education.

М: Изначально я приехал в качестве гостя. И мне показалось очень интересно здесь преподавать. В Беркли классы для студентов часто огромные, и было очень приятно преподавать для этих отличных студентов в маленьком классе. И мне очень нравилось то, что факультет достаточно маленький для того, чтобы с легкостью познакомиться с другими преподавателями. И конечно, так как я был здесь аспирантом, Гарвард всегда виделся мне таким прекрасным местом. На самом деле, мне было трудно представить, что я буду здесь профессором, поэтому мне хотелось выяснить, каково это. Я наслаждаюсь тем, что мои области интересов отличаются от областей интересов других людей на факультете, но частично с ними пересекаются. Мне очень интересно многое, чем занимаются здесь другие. Так что в некотором смысле это позволяет мне продолжать учиться.

Q: But doesn’t this decrease your opportunities for collaboration with other faculty members?

В: Но не уменьшает ли это вашу возможность сотрудничать с другими членами преподавательского состава?

M: In the first place I travel quite a bit, so I see the people that are in my field in France, or in Stonybrook, or elsewhere. However, most research is done on your own; I do my best research by myself. Its very useful to be able to run an argument by an expert in the field, but I don’t really miss having someone who is exactly in my field to collaborate with. I have to admit, it was a tough decision to come here. I miss living in Berkeley, and I may spend a sabbatical there.

М: Прежде всего, я немного путешествую, так что я встречаюсь с людьми, работающими в той же сфере, во Франции, Стоуни-Брук или где-то еще. Однако большинство исследований осуществляется самостоятельно; мои лучшие исследования я провожу сам. Очень полезно иметь возможность вести дискуссию с экспертом в данной области, но я особо не расстраиваюсь из-за отсутствия возможности сотрудничать с кем-то, кто работает в моей сфере. Должен признать, что трудно было решиться приехать сюда. Я скучаю по жизни в Беркли, и, возможно, я проведу там долгий отпуск.

Q: Do you see yourself as a renaissance mathematician in the sense that your work encompasses a wide variety of areas of math?

В: Вы считаете себя математиком эпохи Возрождения в том смысле, что ваша работа включает большое множество областей математики?

M (laughing): No, I see myself more as a dilettante, someone who dabbles in many different areas and is interested in many different things; I certainly wouldn’t say a renaissance mathematician. Now, I really enjoy lots of different kinds of math, and I enjoy working on something I’m not an expert in and learning about that subject. This field I’ve been describing is really wonderful that way, because its so broad that it makes contact with many different types of mathematics. When I came to Harvard, I found that for a lot of the theory (such as Hodge theory on complex manifolds, etc.), I didn’t really understand it and I wasn’t very motivated to study it. So I started with a subject I could learn really well: one real variable.

I took a real analysis course when I was an undergraduate; I went to Stanford for a year and took a great real analysis course from Benjamin Weiss who was a visiting professor from Jerusalem. And that really got me excited about analysis. Then I went back to Williams and I worked closely with Bill Oliver. He was very influential in my mathematical education; it was from him that I first learned this idea of using dictionaries in mathematics to use as a sort of analogy between different fields or different theoretical developments to try to guide my work. So those were my early influences.

When I came to Harvard and I was sort of casting about. I knew how to computer program — I’d been working in the summers at IBM-Watson in Yorktown Heights — and Mandelbrot and Mumford were almost collaborating; Mandelbrot was furnishing access to computers at Yorktown Heights to Mumford, who was drawing these beautiful pictures of limit sets of Kleinian groups. As somebody who was conversant with the computer world at Yorktown, I started working for him as his computer programmer, helping him draw these pictures and so forth. You have to imagine, in those days, we had to make a long-distance modem call and then work at a 30 character per second terminal writing programs in FORTRAN. Then we would draw a picture and we would have to wait a week for them to mail it to us from Yorktown to see if it came out right.

Then I got interested in Hausdorff dimension, and since I knew some real analysis, I tried working on that. My first paper ever was on a problem I learned when I first met Professor Hironaka, who was a Harvard professor at the time, although he’d been on leave in Japan. When he first came back from Japan, he told me this question which he hadn’t been able to solve, which was to compute the fractal dimension of a particular set. This set is obtained by drawing the letter «M» and repeating the same figure, as shown here.

In the end you get a set with is not self-similar, but it is self-affine. Fractals whose dimensions are easy to compute have the property that if you take a small piece and re-scale it by the same factor in both dimensions, it looks like a larger piece. This one has the property that a very little gap can be scaled to the big gap, but you have to scale by a power of two in one direction and by a power of three in the other; because of that it’s dimension is tricky to compute. In my first research paper, I computed it’s dimension: D = log2 (1 + 2log3 2). That was a wonderful problem; I worked on it very hard. You can see that I liked to stay close to the ground of math I really understood.

Then I started getting more interested in complex dynamics, so I went to one complex variable from one real variable; I always stayed close to stuff I could really understand. So now, twelve years after my Ph. D., I’m finally writing a paper that has to do with Kähler geometry; and I certainly didn’t feel comfortable with Kähler metrics when I was in graduate school. I had to not only work up to the topics, but also see an internal motivation for getting to them, rather than having them plopped down in a «well this is what we’re going to learn next»-manner.

М (смеется): Нет, я скорее считаю себя дилетантом, который поверхностно занимается разными сферами и интересуется множеством вещей. Я бы точно не назвал себя математиком эпохи Возрождения. Сейчас я действительно наслаждаюсь многими видами математики и работой над чем-то, в чем я не эксперт, и изучением этой темы. Та область, которую я описал, просто прекрасна с этой точки зрения, так как она настолько обширна, что контактирует со многими разными типами математики. Когда я приехал в Гарвард, я осознал, что не очень-то хорошо понимаю теорию (такую как теорию Ходжа о сложных многообразиях и т.д.), и я не был очень мотивирован выучить ее. Итак, я начал с темы, которую мог выучить очень хорошо: одна вещественная переменная.

Я пошел на курс вещественного анализа, когда был студентом; я поехал в Стэнфорд на один год и прошел отличный курс вещественного анализа у Бенджамина Вейсса, который был приглашенным профессором из Иерусалима. И благодаря этому я по-настоящему заинтересовался анализом. Затем я вернулся в Уильямс и тесно сотрудничал с Биллом Оливером. Он оказал очень сильное влияние на мое математическое образование. Именно от него я впервые услышал об использовании словарей в математике в качестве некой аналогии между разными областями или разными вариантами развития теории для придания направления моей работе. Вот что оказывало на меня влияние в начале моей карьеры.

Когда я приехал в Гарвард, я вроде как был в поисках. Я умел программировать, так как летом я работал в IBM-Watson в Йорктаун-Хайтс, а Манделброт и Мамфорд почти сотрудничали. Манделброт обеспечивал доступ к компьютерам в Йорктаун-Хайтс Мамфорду, который рисовал прекрасные изображения предельных множеств групп Клейна. Как человек, хорошо знакомый с миром компьютеров в Йорктауне я начал работать на него программистом, помогая ему рисовать эти изображения и так далее. Представьте, что в те времена нам приходилось делать междугородный звонок посредством модема, а затем писать программы на языке FORTRAN, используя терминал, работающий со скоростью 30 символов в секунду. Затем мы рисовали изображение и должны были ждать неделю, пока нам ее не пришлют из Йорктауна, чтобы узнать, все ли получилось сделать правильно.

Затем меня заинтересовала размерность Хаусдорфа, и, поскольку я был знаком с вещественным анализом, я попытался поработать в этой сфере. Первая написанная мной работа была на тему, о которой я узнал, когда познакомился с профессором Хиронакой, который тогда работал в Гарварде, но был в отпуске в Японии. Когда он вернулся из Японии, он рассказал мне об этом вопросе, который не мог решить и который заключался в вычислении фрактальной размерности определенного множества. Это множество получается путем изображения буквы «М» и повторения той же фигуры, как показано здесь.

В итоге вы получаете множество, которое не является самоподобным, но является самоаффинным. Фракталы, чью размерность легко вычислить, имеют такое свойство, что, если взять небольшую часть и увеличить на один и тот же множитель по обоим измерениям, она будет выглядеть как бо́льшая часть. Этот имеет такое свойство, что очень маленький промежуток можно увеличить до большого, но придется увеличивать на степень двойки по одному направлению и на степень тройки – по другому. Из-за этого трудно вычислить его размерность. В своей первой исследовательской работе я вычислил его размерность: D = log2 (1 + 2log3 2). Это была замечательная задача. Я очень усердно над ней работал. Вы можете видеть, что мне нравилось оставаться у основ математики, которые я хорошо понимал.

Потом меня стала больше интересовать комплексная динамика, поэтому я перешел к одной комплексной переменной от одной вещественной переменной. Я всегда держался рядом с вещами, которые хорошо понимал. И вот теперь, через двенадцать лет после получения докторской степени, я наконец-то пишу работу, связанную с кэлеровой геометрией. И я определённо не чувствовал себя уверенно в работе с кэлеровой метрикой, когда был в аспирантуре. Мне приходилось не только постепенно разбираться в темах, но и находить внутреннюю мотивацию для этого, вместо того чтобы скинуть их с мыслью «ну, это мы выучим в следующий раз».

Q: What was the «dictionary analogy» that you spoke of?

В: Что такое это «словарная аналогия», о которой вы говорили?

M: My biggest mathematical influence was my thesis advisor, Dennis Sullivan. Not only was he my thesis advisor, but when he was still at IHES in France, we would spend a couple of months together every summer there, and I would go to his seminar from New York or Princeton. He’s a professor in Stony Brook, NY now, and I try to visit there about once a year.

Sullivan invented a beautiful dictionary between rational maps and Kleinian groups. A rational map is a map of the Riemann sphere to itself given by the quotient of two polynomials; for example x2 + c, where the polynomial in the denominator is 1. The interesting thing to study is iteration of these maps. When you have a compact hyperbolic 3-manifold, its universal cover turns out to be the solid (open) 3-ball. The quotient of the 3-ball by the action of the fundamental group of the original manifold is the manifold again. The 3-ball can be compactified by adding its boundary in R3, namely the sphere S2. The group action on the 3-ball extends to the boundary S2 as Möbius transformations (i.e. maps of the form (az+b)/(cz+d)). This is called a Kleinian group. Notice that we began by considering a 3-dimensional manifold and we ended up with a dynamical system on the sphere. This is how the two subjects are connected. There are many theorems making this connection explicit. I wrote a survey article («The classification of conformal dynamical systems») for Yau’s conference which laid out not only this dictionary, but a research program for proving results based on it. Understanding and developing this dictionary has been a big motivation in my work. For example, one big gap in the dictionary is reversing the process I described — if we are given a dynamical system on the sphere, no one knows how to find a three-dimensional object associated to it. There is lots left to do in this exciting field!

М: В математике больше всего на меня повлиял мой научный руководитель, Дэннис Салливан. Он не только был моим научным руководителем, но, когда он еще был в IHES во Франции, мы вместе проводили там пару месяцев каждое лето, и я ездил на его семинары из Нью-Йорка или Принстона. Сейчас он профессор в Стоуни-Брук в Нью-Йорке, и я стараюсь ездить туда примерно раз в год.

Салливан изобрел прекрасный словарь между рациональными отображениями и группами Клейна. Рациональное отображение – это отображение сферы Римана в себя, полученное из частного двух полиномов, например, x2 + c, где полиномом в знаменателе является 1. Интересно изучать итерацию этих отображений. Когда у вас есть компактное гиперболическое трехмерное многообразие, его универсальное покрытие оказывается сплошным (открытым) трехмерным шаром. Частное от деления трехмерного шара на действие фундаментальной группы оригинального многообразия также является этим многообразием. Трехмерный шар можно компактифицировать путем добавления границы на R3, то есть сферы S2. Действие группы на трехмерный шар расширяется до границы S2 как преобразование Мёбиуса (т.е. отображения вида (az+b)/(cz+d)). Это называется группой Клейна. Обратите внимание, что мы начали с рассмотрения трехмерного многообразия, а закончили динамической системой на сфере. Так связаны эти две темы. Существует множество теорем, которые делают эту связь явной. Я написал обзорную статью («Классификация конформных динамических систем») для конференции Яу, на которой был представлен не только этот словарь, но и исследовательская программа, направленная на доказательство основанных на нем результатов. Понимание и развитие этого словаря – это большая мотивация в моей работе. Например, огромным пробелом в этом словаре является обращение описанного мной процесса: если у нас есть динамическая система на сфере, никто не знает, как найти связанный с ней трехмерный объект. Еще много чего нужно сделать в этой интересной области!

Q: Where do you keep your Field’s Medal? Do you keep it at home?

В: Где вы храните свою Филдсовскую премию? Вы храните ее дома?

M (laughing): I cannot reveal that information!

М (смеется): Я не могу раскрыть эту информацию!

Q: What was the situation when you won the Field’s Medal? How did it feel?

В: Как обстояли дела, когда вы получили Филдсовскую премию? Каково это?

M: My first reaction was one of complete astonishment; I was really aghast. I actually thought I wasn’t qualified, in terms of age. I also knew so many great mathematicians here, and at Berkeley, and other places, that I couldn’t believe that I’d been selected. Also, in 1991, I won the Salem Prize, which is a prize in Analysis; I was pleased to be recognized that way because I really love the field — it was my first, as a mathematician. In fact, I had written my minor thesis as a graduate student on Salem numbers, and this prize is in honor of Raphael Salem, so it has personal meaning for me. I had never expected to get any recognition of that kind, so I certainly felt I had already had my share of recognition. (I was equally surprised I got an offer from Harvard; then again, I didn’t know what to say.)

This brings to mind is a saying of Lipman Bers, who was one of my mentors; he said: «Mathematics is something that we do for the begrudging admiration of a few close friends.» I think that’s a good description of mathematics; you don’t expect more than that, because the satisfaction of mathematics is really a personal thing. So I feel very lucky to have been selected for recognition by the Fields medal committee.

One of the wonderful things about math is that the community is fairly small. When I went to Berlin to receive this prize, many people I knew well from over the years were present — a wonderful international community of friends of mine. It was really a nice thing.

М: Моей первой реакцией было полное изумление. Я был просто ошеломлен. На самом деле, я думал, что не мог ее получить из-за возраста. Я также знал так много отличных математиков здесь, в Беркли и других местах, что не мог поверить, что выбрали меня. Также в 1991 году я получил премию Салема, которая вручается в области анализа. Мы было приятно быть признанным таким образом, потому что мне очень нравится эта сфера: это была моя первая область в математике. На самом деле, я написал второстепенную диссертацию, когда был аспирантом, по числам Салема, и эта премия названа в честь Рафаэля Салема, так что для меня она имеет личное значение. Я не ожидал получить такое признание, поэтому я определенно чувствовал, что получил свою долю признания. (Я был так же удивлен, что получил предложение из Гарварда; и опять я не знал, что сказать.)

Это напоминает о высказывании Липмана Берса, который был одним из моих наставников; он сказал: «Математика – это то, чем мы занимаемся ради зависти и восхищения близких друзей». Я думаю, что это хорошее описание математики; вы не ожидаете большего, потому что удовлетворение от математики – это действительно что-то личное. Поэтому я считаю, что мне очень повезло, что я получил признание комитета Филдсовской премии.

Одна из прекрасных сторон математики – то, что сообщество довольно мало. Когда я поехал в Берлин, чтобы получить эту награду, там присутствовали многие люди, которых я хорошо знал несколько лет, – прекрасное международное сообщество моих друзей. Было очень приятно.

Q: How were you able to contain your excitement?

В: Как вам удалось сдержать волнение?

M: Actually, I have a story about when I was coming back from Berlin. The security guard in the airport running the metal detector stopped me when my backpack went through the machine. She said, «Excuse me, what do you have in your backpack here?» I said, «It’s a gold medal.» She said, a little dubiously, «Mmm hmm.» So I took it out of my pack. A little chagrined, she said «Oh, very nice; is it yours?» I said «Mmm hmm!»

М: На самом деле, у меня есть история о том, как я возвращался из Берлина. Охранница, работающая в аэропорту у металлодетектора, остановила меня, когда через него прошел мой рюкзак. Она сказала: «Простите, что у вас в рюкзаке?» Я ответил: «Золотая медаль». Она сказала немного с сомнением: «Ммм хмм.» И я достал ее из рюкзака. Слегка огорчившись, она спросила: «О, очень хорошо. Она ваша?» Я сказал: «Ммм хмм!»