Журнал «Компьютерра» №37

+yn-1=0, но разрешают переменным принимать рациональные значения). Структура решений этого уравнения известна: у каждого из решений одна из компонент - x, y или z - равна 0. Однако для установления этого факта потребовалось более трехсот пятидесяти лет: от заметки на полях «Арифметики» Диофанта до доказательства Эндрю Уайльса (Andrew Wiles, см. врезку).

Алгебраические геометры и Филдсовская премия

Как известно, математикам не дают Нобелевскую премию (говорят, у Нобеля были весьма интимные счеты с одним математиком - впрочем, это всего лишь слухи). Возмущенный этой несправедливостью, канадский математик Джон Чарльз Филдс (John Charles Fields) предложил учредить для математиков отдельную награду, которая теперь так и называется - Филдсовская премия (по-английски - Fields Medal; почему при переводе медаль зачастую становится премией и так и попадает в словари, мне выяснить не удалось). Впервые она была присуждена в 1936 году, и всего было выдано 45 медалей представителям самых разных областей математики. Многие из них занимались среди прочего алгебраической геометрией. Но даже медалей, выданных исключительно за достижения в алгебраической геометрии, набрался целый десяток - кажется, больше, чем в любой другой области математики. Вот имена этих лауреатов:

1954: Кунихико Кодаира;

1966: Александр Гротендик (Alexander Grothendieck; о его жизни можно писать отдельную статью, и преувлекательно выйдет - например, говорят, что сейчас он живет отшельником где-то в Пиренеях, но точно никто ничего об этом не знает; а в математике это фигура примерно уровня Эйнштейна в физике);

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). Если отвлечься от постоянных лирических отступлений на математические забавности, к теореме Ферма имеющие весьма опосредованное отношение, чтиво очень интересное.

Алгебраическая геометрия в современной математике играет ведущую роль. Ее проблемы стимулируют развитие и алгебры, и геометрии с топологией, и теории чисел, и многих других отраслей математического знания. Из семи «задач на миллион» три имеют непосредственное отношение к алгебраической геометрии - гипотеза Ходжа, гипотеза Берча-Суиннертон-Дайера и гипотеза Римана. Фактически алгебраическая геометрия - самый популярный и быстро развивающийся фронтир сегодняшней «чистой математики» (если не относить к чистой науке вопросы теоретической информатики).

Инварианты и гипотеза Ходжа

Центральное понятие, предопределяющее структуру подавляющего большинства исследований в алгебраической геометрии, - это понятие инварианта. Идею инвариантов понять легко. Предположим, что есть два объекта (в данном случае - два множества решений тех или иных уравнений), и нужно выяснить, равны ли они. Сделать это очень сложно, если вообще возможно, - как сравнивать? Но можно установить некоторые свойства объектов, и если эти свойства окажутся не идентичными, то и исходные объекты, очевидно, не равны. Например, проверить, совпадают ли два текста, можно, сравнив их объем. Если размер текстов отличается - в них можно и не заглядывать. В алгебраической геометрии одними из простейших инвариантов являются размерность или связность искомого множества.

Обратное, разумеется, неверно: из равенства двух инвариантов нельзя ничего заключить о равенстве исходных объектов. Но и такое частичное знание - уже хорошо. А полное счастье настанет, если все же удастся доказать обратное утверждение (иными словами, если избранный набор инвариантов будет однозначно задавать исходный объект). Гипотеза Ходжа - как раз одно из таких заманчивых утверждений. Если она окажется верной, изучение большого и сложного класса алгебраических многообразий (так называют множества, составленные из кусочков, каждый из которых является множеством решений каких-либо полиномиальных уравнений) фактически сведется к изучению гораздо более простых объектов.