Теорема Морделла

Теорема Морделла — это фундаментальное утверждение в алгебраической геометрии и теории чисел, доказанное британским математиком Луисом Морделлом в 1922 году. Теорема описывает структуру множества рациональных точек на кривых рода больше единицы, устанавливая его конечность. В более широком смысле, она является частью теории диофантовых уравнений и стала основой для гипотезы Морделла, позже доказанной Гердом Фальтингсом (теорема Фальтингса).

Формулировка

Теорема Морделла утверждает, что для любой невырожденной алгебраической кривой \( C \), определённой над полем рациональных чисел \( \mathbb{Q} \), если её род \( g \) больше или равен 2, то множество рациональных точек \( C(\mathbb{Q}) \) конечно.

Здесь:

• Алгебраическая кривая — одномерное алгебраическое многообразие, задаваемое системой полиномиальных уравнений.
• Род — топологическая характеристика кривой, равная числу «дырок» на её компактной римановой поверхности. Для эллиптических кривых род равен 1, для прямых и коник — 0.
• Рациональная точка — точка, координаты которой принадлежат полю \( \mathbb{Q} \).

История

Предпосылки

До Морделла были известны результаты о рациональных точках на кривых малого рода. Для кривых рода 0 (например, прямые и коники) существовала полная классификация: если есть хотя бы одна рациональная точка, то таких точек бесконечно много, и они параметризуются рациональными функциями. Для кривых рода 1 (эллиптические кривые) ситуация сложнее: множество рациональных точек образует конечную абелеву группу, что было доказано Морделлом в 1922 году (теорема Морделла для эллиптических кривых, позже обобщённая Вейлем).

Доказательство Морделла (1922)

Луис Морделл в 1922 году опубликовал работу «On the rational solutions of the indeterminate equation of the third and fourth degrees», в которой доказал конечность множества рациональных точек для кривых рода больше 1. Его доказательство основывалось на двух ключевых идеях:

1. Метод бесконечного спуска — техника, восходящая к Ферма и Эйлеру, которая показывает, что если существует бесконечно много рациональных точек, то можно построить бесконечно убывающую последовательность положительных целых чисел, что невозможно.
2. Теория высот — Морделл ввёл понятие высоты рациональной точки (логарифм максимального знаменателя координат) и показал, что высоты точек на кривой рода \( g \geq 2 \) ограничены снизу некоторой функцией, что исключает бесконечные последовательности.

Обобщение Вейля (1928)

Андре Вейль обобщил теорему Морделла на поля алгебраических чисел (конечные расширения \( \mathbb{Q} \)) и на абелевы многообразия. В результате появилась теорема Морделла — Вейля, которая утверждает, что группа рациональных точек на абелевом многообразии над числовым полем конечно порождена. Для кривых рода 1 (эллиптических кривых) это означает, что группа \( E(\mathbb{Q}) \) является конечно порождённой абелевой группой.

Гипотеза Морделла и теорема Фальтингса (1983)

Морделл в 1922 году высказал гипотезу, что кривая рода \( g \geq 2 \) над числовым полем имеет лишь конечное число рациональных точек. Эта гипотеза оставалась недоказанной более 60 лет. В 1983 году немецкий математик Герд Фальтингс доказал её, используя методы арифметической алгебраической геометрии, в частности, теорию модулей абелевых многообразий и результаты о высотах. За это доказательство Фальтингс получил Филдсовскую премию в 1986 году. Теорема Фальтингса (иногда называемая гипотезой Морделла) утверждает: для любой проективной невырожденной кривой рода \( g \geq 2 \) над числовым полем \( K \) множество \( C(K) \) конечно.

Доказательство (схема)

Доказательство теоремы Морделла в оригинальной версии (для кривых рода 2 и выше) можно разбить на несколько этапов:

1. Сведение к эллиптическим кривым. Морделл показал, что любая кривая рода \( g \geq 2 \) может быть вложена в некоторое абелево многообразие (якобиан). Рациональные точки на кривой соответствуют рациональным точкам на якобиане, который является абелевым многообразием размерности \( g \).
2. Применение теоремы Морделла — Вейля. Для якобиана \( J(C) \) группа \( J(C)(\mathbb{Q}) \) конечно порождена. Это значит, что существует конечное число образующих, и любая рациональная точка на якобиане выражается как их линейная комбинация.
3. Метод бесконечного спуска. Если на кривой \( C \) есть бесконечно много рациональных точек, то они порождают бесконечную последовательность точек на якобиане, высоты которых строго убывают. Это противоречит конечно-порождённости группы, так как в конечно порождённой группе не может быть бесконечной строго убывающей последовательности высот.
4. Оценка высот. Морделл использовал специальные функции высот, которые для точек на кривой рода \( g \geq 2 \) ведут себя как \( h(P) \geq c \cdot \log |\text{знаменатель}| \), где \( c > 0 \). Это гарантирует, что спуск не может продолжаться бесконечно.

Примеры

Кривая Ферма

Уравнение \( x^n + y^n = 1 \) при \( n \geq 4 \) задаёт кривую рода \( g = \frac{(n-1)(n-2)}{2} \geq 3 \). По теореме Морделла (и Фальтингса) множество рациональных решений этого уравнения конечно. Для \( n=4 \) известно несколько рациональных точек, например \( (0,1) \), \( (1,0) \), \( (\pm 1,0) \), но их точное количество не установлено.

Кривая Клейна

Квартика Клейна \( x^3 y + y^3 z + z^3 x = 0 \) имеет род 3. Известно, что её рациональные точки — это только тривиальные точки с нулевыми координатами и некоторые симметричные решения. Теорема гарантирует, что их конечное число.

Контрпримеры

Для кривых рода 0 (например, \( x^2 + y^2 = 1 \)) рациональных точек бесконечно много (параметризация \( x = \frac{1-t^2}{1+t^2}, y = \frac{2t}{1+t^2} \)). Для эллиптических кривых (род 1) группа рациональных точек может быть бесконечной (например, \( y^2 = x^3 - x \) имеет бесконечно много рациональных точек, образующих группу ранга 1).

Значение и следствия

Для теории чисел

Теорема Морделла стала одним из первых глубоких результатов о рациональных точках на кривых. Она показала, что поведение рациональных точек зависит от рода кривой, что привело к развитию арифметической алгебраической геометрии.

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

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

Для гипотезы Берча — Свиннертон-Дайера

Хотя теорема Морделла не касается эллиптических кривых напрямую, её обобщение (теорема Морделла — Вейля) является основой для гипотезы Берча — Свиннертон-Дайера, одной из семи «проблем тысячелетия» Института Клэя.

Для компьютерной алгебры

Теорема Морделла и её обобщения используются в алгоритмах поиска рациональных точек на кривых, реализованных в системах компьютерной алгебры (например, Magma, SageMath).

Критика и ограничения

• Неэффективность. Доказательство Морделла не даёт конструктивного способа найти все рациональные точки. Оно лишь утверждает их конечность, но не указывает, как их вычислить. Для конкретных кривых поиск точек может быть крайне сложным.
• Зависимость от поля. Теорема верна только для числовых полей (конечных расширений \( \mathbb{Q} \)). Для функциональных полей (например, \( \mathbb{C}(t) \)) аналогичные утверждения могут быть ложными.
• Сложность для высоких родов. Для кривых рода 3 и выше доказательство Фальтингса использует глубокие методы, недоступные для элементарного изложения. Практическое применение часто требует компьютерных вычислений.

Интересные факты

• Луис Морделл доказал теорему в возрасте 34 лет, будучи профессором Манчестерского университета.
• Гипотеза Морделла была включена в список 23 проблем Гильберта (проблема 10 — о разрешимости диофантовых уравнений, хотя прямая связь неочевидна).
• Доказательство Фальтингса использует теорию модулей абелевых многообразий и результаты о высотах, которые позже были упрощены Полом Войтой.
• Существует эффективная версия теоремы для некоторых классов кривых, например, для кривых с отображением в эллиптическую кривую (метод Шабата — Войты).

Источники

• Mordell, L. J. «On the rational solutions of the indeterminate equation of the third and fourth degrees.» Proceedings of the Cambridge Philosophical Society, 1922.
• Weil, A. «L’arithmétique sur les courbes algébriques.» Acta Mathematica, 1928.
• Faltings, G. «Endlichkeitssätze für abelsche Varietäten über Zahlkörpern.» Inventiones Mathematicae, 1983.
• Hindry, M., Silverman, J. H. Diophantine Geometry: An Introduction. Springer, 2000.
• Silverman, J. H. The Arithmetic of Elliptic Curves. Springer, 2009.