Т. Ферма. Поворот к арифметической геометрии

Поворот к арифметической геометрии

Эллиптические кривые

1. Новый класс объектов
До определённого момента история ТФ оставалась историей чисел, факторизаций, сравнений, алгебраических расширений и идеалов. Затем в теории чисел всё большую роль начинает играть совершенно иной объект — эллиптическая кривая.

В современной форме эллиптическую кривую над полем характеристики, отличной от 2 и 3, можно представить уравнением вида y; = x; + Ax + B при условии ненулевого дискриминанта. Уже внешний вид этой формулы показывает радикальное изменение предметной области. Вместо равенства трёх целых степеней возникает геометрический объект — кривая, множество точек которой можно рассматривать над рациональными, вещественными, комплексными и конечными полями.

Однако эллиптическая кривая не является просто картинкой на плоскости. На её точках существует групповой закон. Рациональные точки E(Q) образуют абелеву группу. Теорема Морделла устанавливает конечную порождённость этой группы, а дальнейшая теория исследует её ранг, кручение и локальные свойства.

Таким образом, в теории чисел появляется объект, одновременно алгебраический, геометрический и арифметический. Именно эта многослойность сделает эллиптические кривые одним из центральных языков современной арифметической геометрии.

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

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

Особенно важна редукция кривой по модулю простого ;. Для хороших простых можно рассматривать E над конечным полем F_; и подсчитывать число её точек #E(F_;). Из него определяется величина a_; = ; + 1 ; #E(F_;). Последовательность таких локальных данных становится арифметической сигнатурой кривой.

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

3. Геометрический язык в теории чисел
Появление эллиптических кривых показывает, насколько глубоко изменилась теория чисел. Арифметические вопросы начинают переводиться в геометрический язык не метафорически, а строго.

Рациональное решение уравнения становится точкой алгебраической кривой. Операции с решениями превращаются в групповой закон. Простые числа проявляются через типы редукции. Делимость и локальные свойства выражаются через структуру групп точек над конечными полями. Диофантова задача начинает существовать одновременно в арифметической и геометрической ипостасях.

Такой переход чрезвычайно плодотворен именно потому, что геометрия даёт новые инварианты и методы, которых исходная арифметическая запись не показывает непосредственно.

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

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

Кривая имеет собственную геометрию, группу рациональных точек, дискриминант, проводник, типы редукции, точки кручения, представления Галуа и L-функцию. Вся эта структура обладает самостоятельным математическим содержанием, большая часть которого отсутствует в исходном диофантовом уравнении.

Поэтому возникает вопрос, который позднее станет центральным для критики доказательной цепочки Фрея—Рибета—Уайлса: когда из исходного арифметического объекта строится эллиптическая кривая, какие именно свойства первого кодируются во втором? Какие свойства сохраняются, какие перестают быть видимыми и почему именно сохранённой информации должно быть достаточно для исходного доказательного вывода?

На этом этапе мы ещё не отвечаем на этот вопрос. Здесь важно зафиксировать изменение масштаба: математика вступила в предметную область, обладающую собственной мощной семантикой, которая не сводится к первоначальным X, Y, Z и n.

 Модулярные формы

1. Аналитический объект
После эллиптических кривых история будущего доказательства ТФ делает ещё один переход — к модулярным формам. Если эллиптическая кривая принадлежит алгебраической геометрии, то модулярная форма по исходному определению является комплексно-аналитической функцией на верхней полуплоскости.

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

Особенно важными для будущей связи с эллиптическими кривыми являются формы веса 2 и их подпространства cusp forms. Они допускают q-разложение f(z) = ; a_n q^n, где q = exp(2;iz). Коэффициенты a_n первоначально возникают как аналитические данные функции, но именно они неожиданно получают глубокую арифметическую интерпретацию.

Модулярная форма поэтому является объектом двойственной природы: с одной стороны, это голоморфная функция со сложной симметрией; с другой — источник дискретной числовой последовательности.

2. Арифметическая информация
Коэффициенты q-разложения не являются произвольными. Для собственных форм операторов Гекке они удовлетворяют системе строгих мультипликативных соотношений. Появляется алгебра Гекке, собственные значения её операторов и связанные с ними L-функции.

Для нормированной собственной формы последовательность a_n определяет ряд Дирихле и эйлерово произведение. Глобальный аналитический объект распадается на систему локальных множителей, индексированных простыми числами. Анализ тем самым снова приводит к арифметике простых.

Именно эта локально-глобальная архитектура станет центральной для связи с эллиптическими кривыми. У кривой E имеются числа a_;(E), определяемые через количество точек над конечными полями. У модулярной формы имеются коэффициенты a_;(f). Если эти две системы совпадают, возникает глубокая связь между геометрическим и аналитическим объектами.

Модулярность эллиптической кривой в современной форме выражается существованием нормированной newform веса 2 определённого уровня, связанного с проводником кривой, такой что соответствующие L-функции совпадают. Для хороших простых это означает совпадение локальных коэффициентов a_;(E) = a_;(f).

3. Связи между различными областями
Теория модулярных форм сама по себе уже объединяет несколько языков. Комплексный анализ задаёт функцию и её преобразования. Алгебра действует через операторы Гекке. Арифметика появляется в коэффициентах Фурье и эйлеровых произведениях. Геометрия возникает через модулярные кривые X_0(N), X_1(N) и связанные с ними дифференциалы и якобианы.

Особенно важным становится направление Эйхлера—Симуры. Модулярной собственной форме веса 2 можно сопоставлять геометрические объекты; при рациональных коэффициентах возникает связь с эллиптической кривой над Q. Таким образом, ещё до доказательства общей модулярности одно направление моста «модулярная форма ; эллиптическая кривая» было глубоко разработано.

К этой системе добавляются представления Галуа. Абсолютная группа Галуа действует на точках кручения эллиптической кривой и порождает двумерные представления. С собственными модулярными формами также связываются представления Галуа, причём следы Фробениуса выражаются через коэффициенты формы. Постепенно именно представления Галуа становятся общим языком сравнения геометрической и аналитической сторон.

Так возникает сеть: эллиптические кривые — локальные количества точек — L-функции — представления Галуа — модулярные формы — операторы Гекке. Это уже не переход между двумя объектами, а развитая система взаимосвязанных теорий.

4. Рост доказательной дистанции
Для методологической линии книги модулярные формы особенно важны потому, что здесь дистанция от исходной ТФ становится огромной. В начале стоит вопрос о существовании положительных целых X, Y, Z при X^p + Y^p = Z^p. В дальнейшем появляются функции f(z), конгруэнц-подгруппы ;_0(N), операторы Гекке T_n, L-функции и представления абсолютной группы Галуа.

Исходные числа после нескольких этапов могут полностью исчезнуть из видимой части рассуждения. Доказательство начинает жить в других математических языках.

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

Особенно опасно слово «соответствует». Фраза «эллиптической кривой соответствует модулярная форма» в популярном изложении выглядит как одна стрелка, однако математически она разворачивается в систему точных условий: какой вес, какой уровень, как соотносятся уровень и проводник, какие локальные коэффициенты совпадают, как ведут себя плохие простые, в каком смысле совпадают L-функции и представления Галуа. Только эта система превращает общую аналогию в доказательную конструкцию.

При этом сама идея использования дискретной сигнатуры аналитического объекта важна для нашей программы. Модулярная форма кодируется последовательностью коэффициентов q-разложения, а эллиптическая кривая — системой локальных чисел a_;. В будущем мы также будем стремиться заменять огромные пространства объектов системами структурных типов. Но аналогия имеет предел: в теории модулярных форм связь между объектом и его коэффициентами встроена в развитую строгую теорию, тогда как для TailTypes и других новых конструкций аналогичную достаточность ещё предстоит устанавливать.

Гипотеза Таниямы—Шимуры—Вейля

1. Возникновение идеи модулярности
К середине XX века теория эллиптических кривых и теория модулярных форм развивались в значительной степени независимо. Первая исследовала рациональные точки, групповой закон, редукции по простым, изогении и локальные и глобальные инварианты алгебраических кривых. Вторая исследовала голоморфные функции верхней полуплоскости, их симметрии, коэффициенты Фурье и операторы Гекке. По исходным определениям эти два мира выглядели почти не связанными.

Историческая отправная точка будущей гипотезы модулярности относится к симпозиуму 1955 года в Токио и Никко, где Ютака Танияма сформулировал вопросы о связи эллиптических кривых со специальными автоморфными и модулярными объектами. Горо Шимура развил эту линию и придал ей значительно более общую форму, а работы Андре Вейля усилили арифметико-аналитическую основу и известность соответствующего круга идей.

Важно не проецировать последующую историю назад. Первоначально речь не шла о Последней теореме Ферма. Гипотеза возникла внутри совершенно другого комплекса проблем.

Постепенно утверждение приобрело форму, которую сегодня можно кратко передать словами: каждая эллиптическая кривая над Q является модулярной.

2. Эллиптические кривые и модулярные формы
Что означает такая связь? Пусть E — эллиптическая кривая над Q. Для каждого простого хорошей редукции ; можно вычислить число её точек над F_; и получить коэффициент a_;(E). С другой стороны, модулярная собственная форма f веса 2 имеет q-разложение с коэффициентами a_n(f). Модулярность утверждает существование такой формы f, для которой локальные арифметические данные совпадают: a_;(E) = a_;(f) для соответствующих простых; эквивалентно, совпадают связанные L-функции.

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

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

Можно поэтому рассматривать E и f как два принципиально различных представления определённой общей арифметической структуры: геометрическое и аналитическое. Между ними располагается дискретная арифметическая информация. Эта схема — геометрия ; арифметика ; анализ — является одним из наиболее глубоких примеров математической многопредставленности.

Затем к двум языкам добавляется третий — представления Галуа. Эллиптическая кривая и модулярная форма порождают собственные представления абсолютной группы Галуа, и именно их сравнение станет одним из центральных механизмов дальнейшего доказательства модулярности.

3. Почему первоначально это не имело отношения к ТФ
В 1950–1960-е годы никакой известной доказательной связи между гипотезой модулярности и Последней теоремой Ферма не существовало. Теория эллиптических кривых развивалась по собственным причинам, теория модулярных форм — по своим, а ТФ оставалась классической диофантовой задачей.

Это обстоятельство принципиально важно для понимания будущего поворота. Современная доказательная линия ТФ не возникла как последовательное углубление самой формулы X^p + Y^p = Z^p до тех пор, пока из неё естественным образом не появились модулярные формы. Напротив, сначала независимо была построена огромная математическая инфраструктура, не имевшая прямого отношения к Ферма.

Лишь много десятилетий спустя возникла идея связать гипотетический контрпример ТФ со специально построенной эллиптической кривой. После этого уже существующая гипотеза модулярности неожиданно приобрела непосредственное значение для старой задачи.

Это один из самых необычных поворотов в истории математики: теория, созданная не ради ТФ, становится центральным элементом её современной доказательной архитектуры.

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

Поэтому семантический сертификат становится составным. Для утверждения о связи E и f требуется согласовать локальные коэффициенты, L-функции, проводник и уровень, представления Галуа, геометрические параметризации и целый ряд дополнительных структур. Доказательная связь проходит через общую систему инвариантов.

Это чрезвычайно важный пример для будущего ЗНП. Он показывает, что математические объекты не обязаны быть тождественными во всех отношениях, чтобы определённые свойства могли переноситься между ними. Эллиптическая кривая и модулярная форма — не один объект. Вопрос заключается в том, какая именно часть их структуры отождествляется и достаточно ли этого отождествления для конкретного доказательного вывода.

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

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

К концу этого этапа доказательная инфраструктура будущей современной линии практически готова. Существуют эллиптические кривые, модулярные формы, L-функции, операторы Гекке и представления Галуа. Но всё это ещё не доказывает ТФ. Не хватает одного перехода — от гипотетического ферматовского контрпримера к эллиптической кривой с чрезвычайно специальными свойствами.

Именно этот переход в середине 1980-х годов предложит Герхард Фрей. Тогда впервые соединятся две ранее независимые исторические линии: старая проблема целых степеней и гипотеза о модулярности эллиптических кривых. С этого момента начинается та доказательная цепочка, которая в последующих частях будет подвергнута значительно более жёсткому семантическому аудиту.

*******