Можно ли свести изучение множества решений полиномиального уравнения к изучению более простых объектов? Об этом нe только гипотеза Ходжа. Из подобных вопросов выросла вся алгебраическая геометрия.

Писать популярную статью о гипотезе Ходжа - задача неблагодарная. Пишешь о гипотезе Римана - к твоим услугам и богатая история вопроса, и интересные взаимосвязи с массой других областей, и долгая история численных экспериментов, поднимающихся уже в высоты совершенно заоблачные. Пишешь об уравнениях Навье-Стокса - тоже затруднений не испытываешь: разве не интересно узнать, как вода течет и воздух движется? Да и сами уравнения Навье-Стокса вовсе не выглядят зубодробительными и доступны человеку, прошедшему курс высшей математики, даже если он на лекциях играл в крестики-нолики и экзамен сдал на тройку. А вот алгебраическая геометрия, смысл и задачи которой, может, и нетрудно понять, но преподавание которой не налажено практически нигде[Говорю по собственному опыту. На математико-механическом факультете СПбГУ алгебраической геометрией занимается множество преподавателей (ибо наука очень важная и популярная), но в базовые курсы она не входит и преподается исключительно в рамках спецкурсов и в личных беседах. В связи с этим - спасибо Александру Леонидовичу Смирнову за беседу и лекцию, которые помогли мне при написании этой статьи], - совсем другое дело… Поэтому предупреждаю сразу: в этой статье даже толково сформулировать гипотезу Ходжа не получится. Поговорим мы в основном об алгебраической геометрии - что это, зачем и куда оно движется.

Алгебраическая геометрия

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

Приведу пример довольно сложного для анализа уравнения с тремя переменными: xn+yn-zn=0, где x, y, z - целые числа (его обычно переписывают с двумя переменными - x

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

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

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

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