1970: Хейсуке Хиронака;
1974: Дэвид Мамфорд (David Mumford);
1978: Даниэль Квиллен (Daniel Quillen)
и Пьер Делинь (Pierre Deligne);
1986: Герд Фалтингс (Gerd Faltings);
1990: Владимир Дринфельд и Шигефуми Мори;
2004: Лоран Лаффорг (Laurent Lafforgue) и Владимир Воеводский.
У Филдсовской премии есть одно строгое ограничение, которого нет у Нобелевской: лауреат должен быть не старше сорока лет. Именно это ограничение не позволило вручить заслуженную медаль Эндрю Уайльсу (Andrew Wiles), который доказал великую теорему Ферма. Точнее говоря, он доказал более общее утверждение о связи модулярных и эллиптических форм - гипотезу Таниямы-Шимуры. История доказательства теоремы Ферма тоже на редкость интересна - Эндрю Уайльс несколько лет работал над проблемой, никому не рассказывая о том, чем занимается… Советую прочесть книгу о теореме Ферма (rrc.dgu.ru/res/mikel.altonika.ru/fermat/flt.htm). Если отвлечься от постоянных лирических отступлений на математические забавности, к теореме Ферма имеющие весьма опосредованное отношение, чтиво очень интересное.
Алгебраическая геометрия в современной математике играет ведущую роль. Ее проблемы стимулируют развитие и алгебры, и геометрии с топологией, и теории чисел, и многих других отраслей математического знания. Из семи «задач на миллион» три имеют непосредственное отношение к алгебраической геометрии - гипотеза Ходжа, гипотеза Берча-Суиннертон-Дайера и гипотеза Римана. Фактически алгебраическая геометрия - самый популярный и быстро развивающийся фронтир сегодняшней «чистой математики» (если не относить к чистой науке вопросы теоретической информатики).
Инварианты и гипотеза Ходжа
Центральное понятие, предопределяющее структуру подавляющего большинства исследований в алгебраической геометрии, - это понятие инварианта. Идею инвариантов понять легко. Предположим, что есть два объекта (в данном случае - два множества решений тех или иных уравнений), и нужно выяснить, равны ли они. Сделать это очень сложно, если вообще возможно, - как сравнивать? Но можно установить некоторые свойства объектов, и если эти свойства окажутся не идентичными, то и исходные объекты, очевидно, не равны. Например, проверить, совпадают ли два текста, можно, сравнив их объем. Если размер текстов отличается - в них можно и не заглядывать. В алгебраической геометрии одними из простейших инвариантов являются размерность или связность искомого множества.
Обратное, разумеется, неверно: из равенства двух инвариантов нельзя ничего заключить о равенстве исходных объектов. Но и такое частичное знание - уже хорошо. А полное счастье настанет, если все же удастся доказать обратное утверждение (иными словами, если избранный набор инвариантов будет однозначно задавать исходный объект). Гипотеза Ходжа - как раз одно из таких заманчивых утверждений. Если она окажется верной, изучение большого и сложного класса алгебраических многообразий (так называют множества, составленные из кусочков, каждый из которых является множеством решений каких-либо полиномиальных уравнений) фактически сведется к изучению гораздо более простых объектов.
Теперь о текущем статусе гипотезы. В предыдущих статьях мы говорили о гипотезе Римана и уравнении Навье-Стокса. В гипотезу Римана верят все математики. В единственность решения уравнений Навье-Стокса - тоже (по крайней мере, при достаточных для практических применений условиях). Гипотеза Ходжа выбивается из этого ряда. Долгое время верили, что она верна - но доказать это никак не удавалось. В последние годы многие математики предположили, что доказательство не удается найти просто потому, что гипотеза неверна - но контрпримеров пока построить тоже не удалось. Никаких численных экспериментов в этой задаче провести невозможно. Утверждение гипотезы доказано для ряда частных случаев, но на то они и частные. Если же контрпример будет построен, вряд ли он будет иметь очень простой вид. В общем, гипотеза Ходжа пока что открыта со всех сторон.
ТЕХНОЛОГИИ: Что такое Веб 2.0
Крах доткомов осенью 2001 года стал для веба поворотным пунктом. Многие решили, что феномен веба был слишком раздут, хотя, на самом деле, «мыльные пузыри» и, как результат этого, падение акций - неизбежно сопутствуют всем технологическим революциям. Падение акций обычно происходит тогда, когда новая технология готова занять центральное место на сцене. На волне поднимаются и мошенники, и те, кто действительно добился успеха, - и в какой-то момент приходит понимание, чем первые отличаются от вторых.
Концепция Веба 2.0 родилась на совместном мозговом штурме издательства O’Reilly Media и компании MediaLive International. Веб-пионер и вице-президент O’Reilly Дейл Дагерти (Dale Dougherty) отметил, что сам-то веб далек от краха и даже более важен, чем раньше, раз уж впечатляющие новые приложения и сайты появляются с завидной регулярностью. Больше того, у фирм, переживших коллапс, было нечто общее. Может быть, в результате доткомовского краха имеет смысл говорить о Вебе 2.0. Мы решили, что так и есть. Так родилась Web 2.0 Conference.
За полтора года термин «Веб 2.0» прижился (более 9,5 млн. ссылок в Google). Но относительно того, что он обозначает, в товарищах согласья нет. Одни приняли новую концепцию, другие полагают, что это бессмысленный маркетинговый термин.