Главная / Дневники / Андрей Соболевский / Запись
Филдсовские лауреаты 2006 года 13.12.2018 15:50
ansobol
10.09.2006
18:16
Отказ Григория Перельмана принять медаль Филдса на закончившемся в Мадриде Всемирном математическом конгрессе вызвал множество комментариев и отвлёк внимание от трёх остальных филдсовских лауреатов этого года. Следуя предложению Игоря Иванова, и основываясь на официальных пресс-релизах Международного математического союза и других материалах, доступных в Сети, попробую кратко пересказать, что же такого сделали Венделин Вернер, Андрей Окуньков и Теренс Тао. Сразу предупреждаю, что не являюсь специалистом ни в одной из областей, где работают эти три математика, и предлагаемый текст фиксирует лишь то, что мне удалось понять об их результатах для себя. Кроме того, раздел про Вернера пока очень короткий и будет дополнен в будущем.

Венделин Вернер


Это первый случай, когда медаль Филдса вручается специалисту по теории вероятностей. 38-летний Венделин Вернер родился в Германии, но живёт и работает во Франции и считается французским математиком. По официальной формулировке, Вернер награждён "за вклад в изучение стохастической лёвнеровской эволюции (stochastic Loewner evolution), геометрии двумерного броуновского движения и конформной теории поля".

При всей разнородности этих терминов речь на самом деле идёт о достаточно тесно связанных друг с другом вещах, и ключевым здесь является первый пункт, обычно обозначаемый аббревиатурой SLE. Её расшифровывают или как выше, или как "эволюция Шрамма-Лёвнера (Schramm-Loewner evolution)" по имени израильского вероятностника Одеда Шрамма, который создал этот предмет несколько лет назад. (Вернер - один из соавторов Шрамма.)

Эволюция Шрамма-Лёвнера за последние несколько лет стала очень популярной и активной областью в теории вероятностей, а совсем недавно неожиданно оказалась связанной с физикой турбулентного течения. Подробности - в ближайшем будущем...

Андрей Окуньков


Андрей Окуньков родился в Москве на год позже Вернера, в 1969 году, учился на мехмате МГУ и там же в 1995 году защитил кандидатскую диссертацию. По официальной формулировке Международного математического союза, Окуньков получил награду "за вклад, устанавливающий связи между теорией вероятностей, теорией представлений и алгебраической геометрией". В отличие от Вернера, Окуньков работает на стыке совершенно различных областей математики и трудно поддаётся обычной классификации математиков по областям интересов, но при этом решаемые им задачи образуют вполне согласованное и своеобразное целое.

Кстати, пожалуй, можно сказать, что угол зрения, под которым Окуньков рассматривает теорию представлений, скорее "ленинградский" (в духе А. М. Вершика, с которым Окуньков публиковался), хотя по происхождению он чисто "московский" математик, и это как-то удачно увязывается с междисциплинарным аспектом его работы.

Работу Окунькова можно проследить, отправляясь от вопроса, как устроены группы перестановок больших порядков. Группа перестановок порядка N - это совокупность всех способов упорядочить последовательность N различных символов, например, букв алфавита. Из школьной математики известно, что в группе перестановок порядка N насчитывается N! = 1 * 2 * ... * N элементов. С ростом N это число увеличивается очень быстро, и возникает естественное желание представить себе эту колоссальную совокупность элементарных объектов как-нибудь в общих чертах, "с птичьего полёта". Например, как устроена "типичная" перестановка большого числа букв?

Чисто алгебраически ответить на этот вопрос, по-видимому, нельзя. Дело в том, что (как заметил, если не ошибаюсь, Герман Вейль) все группы перестановок, отвечающие конкретным значениям N, устроены совершенно индивидуально (примерно так же, как любое число совершенно индивидуальным образом разлагается на множители), и общая закономерность не просматривается.

Но есть другой, как бы "геометрический" подход к описанию типичных перестановок. Каждая перестановка по существу задаётся разбиением всего набора N букв на "слова", в каждом из которых эта перестановка переставляет буквы циклически. Если две перестановки разбиваются на одинаковое число таких слов, и соответствующие друг другу слова в этих разбиениях содержат одинаковое число букв, то эти перестановки по существу одинаковы: их можно перевести одну в другую с помощью подходящего "словаря", в котором указано, какие буквы в одной перестановке соответствуют каким буквам в другой.

Вместо перестановок поэтому можно рассматривать такие разбиения, а сами разбиения представлять геометрическими схемами - диаграммами Юнга. Например, разбиению 9 = 4 + 2 + 2 + 1 соответствует диаграмма Юнга следующего вида:

****

**

**

*

Термин "теория представлений" здесь возникает, грубо говоря, потому, что диаграммы Юнга как бы представляют перестановки. Теперь интересующий нас вопрос можно переформулировать так: какую форму имеет диаграмма Юнга, соответствующая "типичной" перестановке большого числа букв?

Конечно, надо придать точный смысл понятию "типичности". Её здесь обычно понимают в смысле какого-то распределения вероятности, например, равномерного распределения на группе перестановок, и так в чисто комбинаторную, алгебраическую по происхождению задачу проникает теория вероятностей и то, что математики называют "статистической физикой".

Поскольку разным диаграммам Юнга может отвечать разное число перестановок, на множестве диаграмм Юнга такое распределение будет уже неравномерным. Более того, оно будет при неограниченном росте N концентрироваться на каких-то наиболее вероятных предельных формах. Такие формы известны и описываются гладкими кривыми: диаграмма Юнга при большом N выглядит как криволинейный прямоугольный треугольник с одинаковыми "западным" и "северным" катетами и вогнутой "гипотенузой", которая представляет собой изображение гладкой кривой как бы с помощью мелких "пикселов". Так от комбинаторики удаётся перекинуть мост к геометрии. Сам по себе этот результат не новый и не принадлежит Окунькову (лет шесть назад я слышал доклад А. М. Вершика об этом круге вопросов), но он даёт хорошее представление о связи комбинаторики и геометрии, возникающей при изучении перестановок и диаграмм Юнга.

Один из первых результатов Окунькова, вошедших в его филдсовский "багаж", относится к теории спектров случайных матриц, которая в свою очередь возникла благодаря чисто физическому приложению: необходимости описывать структуру спектров энергетических уровней тяжёлых ядер. Основоположники этой науки (как раздела математической физики), в частности Вигнер, предложили не пытаться строить сложные и необоснованные динамические модели больших ядер, а считать, что их спектр возникает как спектр случайной матрицы большого порядка. Этот подход основан на ещё одной актуальной для математической физики идее: заменять сложное динамическое поведение, если мы не можем описать его компактно, на случайное. Окуньков заметил, что собственные значения случайной матрицы большого порядка, если их выписать по убыванию, обладают такой же статистикой, как длины возрастающих подпоследовательностей в случайной перестановке чисел от 1 до N. После того, как случайные матрицы оказываются связаны со случайными перестановками, задачу удаётся геометризовать примерно так же, как геометризована задача о строении "типичной" перестановки. Эта связь дискретных перестановок с непрерывными геометрическими объектами - кривыми и поверхностями, - которые описываются простыми (полиномиальными) формулами и поэтому принадлежат к так называемой алгебраической геометрии, стала одной из основных тем для Окунькова.

Другая его "филдсовская" работа (в соавторстве с Ричардом Кенионом) связана с геометрией "трёхмерных диаграмм Юнга" - фигур, составленных из кубиков, заполняющих "угол" уже не на двумерной плоскости, а в трёхмерном пространстве. А. М. Вершик окрестил такие фигуры "мавзолеями". Оказалось, что предельная форма "типичного" мавзолея тоже описывается гладкими "алгебраическими кривыми". Вряд ли я смогу здесь объяснить этот результат точно, не путая и не ошибаясь, но картинка, дающая некоторое представление о том, как это выглядит, есть на последней странице соответствующего пресс-релиза ICM (это pdf объёмом 100K).



Теренс Тао


Самый младший из лауреатов этого года, Теренс Тао родился в 1975 году в Австралии в китайской семье. Он - первый лауреат медали Филдса с "зелёного континента".

Тринадцати лет Тао стал победителем Международной математической олимпиады. Можно сказать, что стиль олимпиадной математики - решение конкретных задач, соединяющее неожиданные идеи и мощную технику - остался стилем Тао и в его "взрослой" жизни в науке. Пожалуй, это заметно даже по официальной формулировке награды - "за вклад в теорию дифференциальных уравнений в частных производных, комбинаторику, гармонический анализ и аддитивную теорию чисел": упомянуты очень разнородные области математики и, в отличие от окуньковской медали, нет ни слова об установлении связей между ними (хотя чуть позже мы увидим, что некоторые связи есть). Тао обладает и редким умением работать в команде: в списке его публикаций (около 80 статей в неполные 32 года) значится свыше 50 соавторов.

Самым характерным, пожалуй, является результат Тао в теории чисел. Если выписывать подряд все простые числа, то можно заметить, что иногда в этом ряду попадаются отрезки, члены которых отстоят друг от друга на равных расстояниях, то есть арифметические прогрессии (например, прогрессия с шагом 2: 3, 5, 7 - а число 9 уже не простое, - или с шагом 110: 109, 219, 329, 439, 549). "Аддитивность" здесь относится к тому, что члены прогрессии получаются последовательным прибавлением одного и того же шага. Поскольку простых чисел бесконечно много, возникает вопрос - можно ли найти где-то в этом ряду арифметические прогрессии сколь угодно большой длины? Как удалось показать Тао в соавторстве с Беном Грином, ответ на этот вопрос - утвердительный.

(Когда великому русскому механику и математику-прикладнику Алексею Николаевичу Крылову сказали, что другой великий, но в то время совсем молодой русский математик Иван Матвеевич Виноградов получил чрезвычайно сильные результаты в аддитивной теории простых чисел и претендует на место академика, Крылов заметил: "А меня в гимназии учили, что простые числа надо не складывать, а перемножать!")

Другие задачи, над которыми Тао работал в соавторстве с другими математиками и получил известные, хотя и не исчерпывающие результаты - это проблема Какейя и теория нелинейных волновых решений двух знаменитых уравнений - уравнения Эйнштейна общей теории относительности и нелинейного уравнения Шрёдингера, описывающего, например, распространение сигналов в оптоволоконных сетях.

Проще всего рассказать о проблеме Какейя (японский математик начала 20 века), которая в популярных терминах формулируется так. Водитель длинного большегрузного фургона должен развернуться на 180 градусов. Пока он будет это делать, проекция его машины на асфальт "заметёт" определённую площадь. Насколько малой она может быть? Идеальный математический "большегрузный фургон" не имеет ширины - это просто отрезок прямой, - и в 1927 году А. Безикович доказал, что он может развернуться на площадке сколь угодно малой площади (хотя чем меньше площадь, тем сложнее должна быть её форма). Что бы об этом ни думали водители-дальнобойщики...

Множества малой площади и сложной формы часто оказываются фрактальными, т.е. обладают дробной размерностью. Доказательство Безиковича тем не менее даёт не фрактальные, а строго двумерные множества (в смысле размерности Минковского или Хаусдорфа). Современная формулировка проблема Какейя такова: верно ли, что в n-мерном пространстве минимальное множество, на котором может развернуться отрезок прямой, обладает размерностью n?

В конце 1990-х годов бельгийский математик (и филдсовский лауреат 1994 года) Жан Бургэн показал, что эта задача может быть переформулирована в терминах арифметических прогрессий (как пишет сам Тао в своей обзорной статье о проблеме Какейя, "связь между задачей Какейя и комбинаторикой сложения и вычитания нетрудно заметить благодаря аналогии между отрезками прямых и арифметическими прогрессиями").

Поэтому для Тао было естественно заняться задачей Какейя, тем более, что она оказалась связанной и с другим из основных сюжетов его научной работы: гармоническим анализом (в течение ряда лет Тао поддерживает международный список электронной рассылки по гармоническому анализу). Эта связь возникает примерно так: волновое поле, являющееся решением того или иного уравнения в частных производных, можно разложить в "волновые пакеты" так, чтобы в фурье-пространстве эти пакеты были локализованы в трубках, которые похожи на большегрузные фургоны. Если много таких трубок удаётся разместить в множестве малой меры (что и требуется в проблеме Какейя), то можно доказывать различные результаты о гладкости исходного волнового поля, а значит, получать важную информацию о свойствах управляющих им уравнений в частных производных.

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

Ещё несколько слов о медалях Филдса. Эта награда присуждается раз в 4 года (в 1936 году и затем регулярно, начиная с 1950 года) двум, трём или четырём математикам, не достигшим 40 лет. За всю историю медалью Филдса было награждено 48 человек. Один из них - Перельман (2006) - отказался получить медаль, другой - Гротендик (1966) - принял её, но отказался приехать на конгресс, потому что он проводился в СССР. (Ещё в двух случаях советские власти препятствовали лауреатам, Сергею Новикову и Григорию Маргулису, покидать страну, чтобы присутствовать на конгрессе.) Эндрю Вайлс, доказавший теорему Ферма, не успел получить медаль Филдса до своего сорокалетия, поскольку в его доказательстве был обнаружен пробел, и на следующем конгрессе (1998) ему вручили специально для него выпущенный памятный знак. Среди лауреатов медали Филдса 12 американцев, 9 французов, 8 представителей СССР и России, 6 британцев, 3 японца, 2 бельгийца и по одному представителю Австралии, Германии, Италии, Китая, Новой Зеландии, Норвегии, Финляндии и Швеции.
Ответить предыдущая | следующая

КОММЕНТАРИИ:

10.09.2006 19:02#
ivan
Филдсовские лауреаты 2006 года
Думаю через пару дней ваше сообщение станет очень популярным в интернете.
11.09.2006 06:54#
veprus
Филдсовские лауреаты 2006 года
Очень интересные и в меру подробные комментраии. Особенно про Окунькова и Тао понравилось. Спасибо.
11.09.2006 16:00#
a-xandr
Филдсовские лауреаты 2006 года
Прекрасное сообщение (и на злобу дня)! Поздравляю!

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

У меня просьба: не могли бы Вы дать ссылки на публикации о
"теории нелинейных волновых решений двух знаменитых уравнений - уравнения Эйнштейна общей теории относительности и нелинейного уравнения Шрёдингера".

Заранее благодарю.
12.09.2006 11:01#
ansobol
Филдсовские лауреаты 2006 года
Вот список препринтов и статей по этой тематике с домашней страницы Тао. Правда, я навскидку не нашёл там общей теории относительности (упоминание о ней взято из пресс-релиза Международного математического союза).
12.09.2006 13:05#
spark
Филдсовские лауреаты 2006 года
Андрей, большое спасибо за комментарий!
Было бы совсем хорошо, если бы оно появилось в ленте новостей сайта.
12.09.2006 19:06#
klink
Филдсовские лауреаты 2006 года
Очень интересно и содержательно! Наши школьники обязательно это узнают - распечатаю и помещу на стенде. Вместе с Вашей странной фотографией.
Архив | Дневники | Новости | Календарь
Вести дневник и оставлять комментарии могут только зарегистрированные пользователи
Логин:
Пароль:
Зарегистрироваться
Последние сообщения
Основные положения
Правила
Всего дневников: 764

Пользователей
в системе: 3386

Всего записей
и комментариев: 59465

Записей и комментариев
за последние 24 часа: 0
 ПОИСК ПОСТОВ
  по автору:
  по тексту:
 АКТИВНЫЕ ДНЕВНИКИ
 Все дневники  
e-mail: admin@arxiv.su       О проекте       RSS       Дизайны
©2009-2017 Архив. Все права защищены
Designed by tanyu6ka