|
|
Статьи Соросовского Образовательного журнала в текстовом формате
Статья представляет собой введение в круг понятий и идей, на основе которых было получено доказательство последней теоремы Ферма: эллиптические кривые, модулярные формы, конструкция Фрея и гипотеза Таниямы.
ГИПОТЕЗА ТАНИЯМЫИ ПОСЛЕДНЯЯ ТЕОРЕМА ФЕРМА
Ю. П. СОЛОВЬЕВ
Московский государственный университет
им. М.В. Ломоносова
Нет ни одной математической проблемы, которая была бы столь популярна, как знаменитая последняя теорема Ферма [1]. Ее автор, Пьер Ферма (1601-1665), еще при жизни был признан одним из величайших математиков Европы. Сегодня имя Ферма неотделимо от теории чисел, однако его теоретико-числовые работы были настолько революционны и так опережали свое время, что их значение не было понято современниками и слава Ферма основывалась главным образом на его достижениях в других областях математики: ему принадлежат важные труды по аналитической геометрии (наряду с Декартом Ферма был одним из создателей этой науки), по теории максимумов и минимумов функций, впоследствии развившейся в математический анализ, и по геометрической оптике.
Свои научные результаты Ферма не публиковал. Будучи по профессии юристом, он посвящал математике лишь свободное время и не рассматривал ее как главное дело своей жизни. О сделанных им открытиях известно из его переписки с другими учеными, а также из бумаг, оставшихся после его смерти. В частности, на полях своего экземпляра "Арифметики" Диофанта, великого классического произведения древнегреческой математики, в 1621 году переведенного на латинский язык, Ферма оставил 48 замечаний, содержащих открытые им факты о свойствах чисел.
Доказательства Ферма до нас не дошли, однако в тех случаях, когда он утверждал, что доказал ту или иную теорему, впоследствии эту теорему удавалось доказать. Единственным исключением является следующее утверждение: "Cubum autem in duos cubos, aut quadrato-quadratum in duos quadrato-quadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duas ejusdem nominis fas est dividere; cujus rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet" ("Невозможно разложить куб на два куба, или биквадрат на два биквадрата, или вообще степень, большую двух, на две степени с тем же самым показателем; я нашел этому поистине чудесное доказательство, однако поля слишком узки, чтобы оно здесь вместилось.").
Этот текст, сопровождаемый указанием: "Наблюдение господина Пьера де Ферма", содержится в издании трудов Диофанта, которое было выпущено Ферма-сыном в 1670 году, через 5 лет после смерти отца. Это подлинное замечание, внесенное Ферма в его собственный экземпляр трудов Диофанта, в настоящее время утраченный. Каждому, кто держал в руках "Арифметику" Диофанта издания 1621 года, бросаются в глаза необычайно широкие поля - возможно, именно по этой причине Пьер Ферма записывал на них свои замечания.
Таким образом, в переводе на современный математический язык Ферма утверждал, что уравнение
an + bn = cn, n > 2,
не имеет целочисленных решений с abc ? 0. Это утверждение называется последней (или великой) теоремой Ферма. В настоящее время все специалисты твердо уверены в том, что Ферма не обладал доказательством этой теоремы и, сверх того, что элементарными методами ее нельзя доказать.
Более трехсот лет теорема Ферма привлекала внимание многих поколений математиков и служила беспрецедентным стимулом для развития математики. При попытках ее доказать были разработаны мощные средства, приведшие к созданию обширного раздела математики - теории алгебраических чисел. С помощью сложнейшей теоретико-числовой техники теорема Ферма была проверена для всех n # 4 000 000, но до конца 1994 года в общем случае оставалась недоказанной. Получить ее полное доказательство удалось лишь с помощью теории эллиптических кривых. Поэтому мы начнем с краткого экскурса в эту теорию [2].
ЭЛЛИПТИЧЕСКИЕ КРИВЫЕ
Рассмотрим плоскую кривую, заданную уравнением третьей степени
f (x, y) = a30x3 + a21x2y + _ + a1x + a2y + a0 = 0.
Все такие кривые естественным образом разбиваются на два класса. К первому классу относятся те кривые, у которых имеются точки заострения (типа точки (0; 0) у кривой y2 = x3), самопересечения (как точка (0; 0) у кривой y2 = x3 + x2), а также кривые, для которых многочлен f (x, y) представляется в виде
f (x, y) = f1(x, y) " f2(x, y),
где f1(x, y), f2(x, y) - многочлены меньших степеней. Кривые этого класса называются вырожденными кривыми третьей степени. Второй класс кривых образуют невырожденные кривые; мы будем называть их эллиптическими. Если коэффициенты многочлена (1) - рациональные числа, то эллиптическая кривая может быть преобразована к так называемой канонической форме
y2 = x3 + ax + b.
С каждой эллиптической кривой можно связать важную числовую характеристику - ее дискриминант. Для кривой, заданной в канонической форме (2), дискриминант D определяется формулой
D = - (4a3 + 27b2).
Пусть E - некоторая эллиптическая кривая, заданная уравнением
y2 = x3 + ax + b,
в котором a и b - целые числа. Для простого числа p рассмотрим сравнение
где и - остатки от деления целых чисел a и b на p, и обозначим через np число решений этого сравнения. Числа np очень полезны при исследовании вопроса о разрешимости уравнений вида (2) в целых числах: если какое-то np равно нулю, то уравнение (2) не имеет целочисленных решений. Однако вычислить числа np удается лишь в редчайших случаях. В то же время известно, что (теорема Хассе).
Рассмотрим те простые числа p, которые делят дискриминант D эллиптической кривой (2). Можно доказать, что для таких p многочлен можно записать одним из двух способов:
или
где - некоторые остатки от деления на p. Если для всех простых p, делящих дискриминант кривой, реализуется первая из двух указанных возможностей, то эллиптическая кривая называется полустабильной.
Простые числа, делящие дискриминант, можно объединить в так называемый кондуктор эллиптической кривой. Если E - полустабильная кривая, то ее кондуктор N задается формулой
где для всех простых чисел p $ 5, делящих D, показатель ep равен 1. Показатели e2 и e3 вычисляются с помощью специального алгоритма.
МОДУЛЯРНЫЕ ФОРМЫ И МОДУЛЯРНЫЕ ЭЛЛИПТИЧЕСКИЕ КРИВЫЕ
Обозначим через H верхнюю комплексную полуплоскость. Пусть N - натуральное и k - целое числа. Модулярной параболической формой веса k уровня N называется аналитическая функция f (z), заданная в верхней полуплоскости и удовлетворяющая соотношению
для любых целых чисел a, b, c, d, таких, что ad - bc = 1 и c делится на N. Кроме того, предполагается, что
где r - рациональное число, и что
Пространство модулярных параболических форм веса k уровня N обозначается через Sk(N ). Можно показать, что оно имеет конечную размерность.
В дальнейшем нас будут особо интересовать модулярные параболические формы веса 2. Для малых N размерность пространства S2(N ) представлена в табл. 1. В частности,
dim S2(2) = 0.
Отметим, что эта нехитрая формула сыграет важную роль в доказательстве теоремы Ферма.
Из условия (5) следует, что f (z + 1) = f (z) для каждой формы f k S2(N ). Стало быть, f является периодической функцией. Такую функцию можно представить в виде
Назовем модулярную параболическую форму f (z) k k S2(N ) собственной, если ее коэффициенты - целые числа, удовлетворяющие соотношениям
a1 = 1;
для простого p,
не делящего число N ;
для простого p, делящего число N ;
amn = aman , если (m, n) = 1.
Сформулируем теперь определение, играющее ключевую роль в доказательстве теоремы Ферма. Эллиптическая кривая с рациональными коэффициентами и кондуктором N называется модулярной, если найдется такая собственная форма
что ap = p - np для почти всех простых чисел p. Здесь np - число решений сравнения (3).
ГИПОТЕЗА ТАНИЯМЫ
Определение модулярной эллиптической кривой является настолько жестким, что на первый взгляд кажется невероятным существование хотя бы одной такой кривой. Трудно представить, что функция f (z), удовлетворяющая перечисленным выше весьма ограничительным условиям (5) и (8), разлагается в ряд (7), коэффициенты которого связаны с практически невычислимыми числами np . Однако эмпирический материал, полученный в первой половине нашего века, позволил японскому математику Ю. Танияме (1927-1958) сформулировать в 1955 году удивительную гипотезу.
Гипотеза Таниямы. Всякая эллиптическая кривая с рациональными коэффициентами является модулярной.
В течение почти двадцати лет эта гипотеза не привлекала к себе внимания и стала популярной лишь в середине 70-х годов благодаря работам Г. Шимуры и А. Вейля.
В 1985 году немецкий математик Герхард Фрей предположил, что если теорема Ферма неверна, то есть если найдется такая тройка целых чисел a, b, c, что an + bn = cn (n $ 3), то эллиптическая кривая
y2 = x(x - an)(x - cn)
не может быть модулярной, что противоречит гипотезе Таниямы. Самому Фрею не удалось доказать это утверждение, однако вскоре доказательство было получено американским математиком Кеннетом Рибетом. Другими словами, Рибет показал, что последняя теорема Ферма является следствием гипотезы Таниямы.
23 июня 1993 года математик из Принстона Эндрю Уайлс, выступая на конференции по теории чисел в Кембридже (Великобритания), анонсировал доказательство гипотезы Таниямы для полустабильных эллиптический кривых, к которому относятся кривые вида (10). Тем самым он заявил, что доказал последнюю теорему Ферма. Дальнейшие события развивались довольно драматически. В начале декабря 1993 года, за несколько дней до того, как рукопись работы Уайлса должна была пойти в печать, в его доказательстве были обнаружены пробелы. Исправление их заняло свыше года. Текст с доказательством гипотезы Таниямы, написанный Уайлсом в сотрудничестве с Тейлором, вышел в свет летом 1995 года (см. [3, 4]).
В рамках этой статьи нет возможности сколько-нибудь подробно обсудить гипотезу Таниямы и привести ее доказательство (занимающее в оригинале около 150 страниц). Поэтому ограничимся тем, что покажем, как из этой гипотезы вытекает последняя теорема Ферма.
ВЫВОД ТЕОРЕМЫ ФЕРМА ИЗ ГИПОТЕЗЫ ТАНИЯМЫ
Доказательство теоремы Ферма начнем со следующего замечания. Ясно, что если эта теорема доказана для некоторого показателя n, то тем самым она доказана и для всех показателей, кратных n. Так как всякое целое число n > 2 делится или на 4, или на нечетное простое число, то можно поэтому ограничится случаем, когда показатель равен либо четырем, либо нечетному простому числу. Для n = 4 элементарное доказательство теоремы Ферма было получено Эйлером. Таким образом, достаточно изучить уравнение
a l + bl = c l,
в котором показатель l есть нечетное простое число.
Воспользуемся теперь следующей теоремой.
Теорема 1 (Рибет). Пусть E - эллиптическая кривая с рациональными коэффициентами, имеющая дискриминант
и кондуктор
Предположим, что E является модулярной, и пусть
есть соответствующая собственная форма уровня N. Фиксируем простое число l, и пусть
Тогда существует такая параболическая форма
с целыми коэффициентами, что разности an - dn делятся на l для всех 1 # n < ?.
Теперь теорему Ферма можно получить простыми вычислениями.
Теорема 2. Из гипотезы Таниямы для полустабильных эллиптический кривых следует последняя теорема Ферма.
Доказательство. Предположим, что теорема Ферма неверна, и пусть
a l + bl = c l
есть соответствующий контрпример (как и выше, здесь l - нечетное простое число). Применим теорему 1 к эллиптической кривой
y2 = x(x - al)(x - c l).
Несложные вычисления показывают, что кондуктор этой кривой задается формулой
Сравнивая формулы (12) и (13), мы видим, что N1 = 2. Следовательно, по теореме 1 найдется параболическая форма
лежащая в пространстве S2(2). Но в силу соотношения (6) это пространство нулевое. Поэтому dn = 0 для всех n. В то же время a1 = 1. Стало быть, разность a1 - d1 = 1 не делится на l и мы приходим к противоречию. Таким образом, теорема доказана.
Заметим в заключение, что значение гипотезы Таниямы не ограничивается связью с теоремой Ферма. С ее доказательством открываются новые горизонты в алгебраической геометрии и теории чисел.
ЛИТЕРАТУРА
1. Постников М.М. Теорема Ферма. М.: Наука, 1972.
2. Прасолов В.В., Соловьев Ю.П. Эллиптические кривые и алгебраические уравнения. М.: Факториал, 1997.
3. Wiles A. Modular Elliptic Curves and Fermat's Last Theorem // Ann. Math. 1995. Vol. 141. P. 443.
4. Taylor R.L., Wiles A. Ring-Theoretic Propeties of Certain Hecke Algebras // Ibid. P. 553.
* * *
Юрий Петрович Соловьев, доктор физико-математических наук, профессор Московского государственного университета им. М.В. Ломоносова. Специалист в области дифференциальной геометрии, алгебраической и дифференциальной топологии, математической физики. Автор 60 научных статей, десяти монографий и учебников.
