Теорема Фальтингса

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

История

Предпосылки

В начале XX века математики активно изучали диофантовы уравнения — задачи о нахождении целых или рациональных решений полиномиальных уравнений. Классическим примером является уравнение Ферма \(x^n + y^n = z^n\), для которого Пьер Ферма в 1637 году предположил отсутствие целых решений при \(n > 2\). В 1922 году Людвиг Морделл, изучая геометрические свойства кривых, выдвинул гипотезу: если алгебраическая кривая рода \(g > 1\) задана над числовым полем, то множество её рациональных точек конечно. Это предположение обобщало более ранние результаты, такие как теорема Зигеля о целых точках на эллиптических кривых (1929).

Доказательство Фальтингса

Герд Фальтингс, работая в Университете Вупперталя, представил доказательство гипотезы Морделла в 1983 году в статье «Endlichkeitssätze für abelsche Varietäten über Zahlkörpern» («Теоремы конечности для абелевых многообразий над числовыми полями»). Его подход опирался на несколько сложных концепций алгебраической геометрии и теории чисел:

• Теория высот — методы измерения «размера» рациональных точек.
• Теория Тейта — Шафаревича — связь между абелевыми многообразиями и их группами точек.
• Методы модулярных форм — использование свойств модулярных кривых и представлений Галуа.

Доказательство Фальтингса было признано прорывом, но его сложность (более 100 страниц) стимулировала последующие упрощения. В 1990 году Пол Войта и Энрико Бомбьери независимо предложили более короткие версии доказательства, основанные на теории пересечений и арифметической геометрии.

Значение для математики

Теорема Фальтингса стала важным шагом в решении проблемы Ферма. Хотя сама по себе она не доказывает Великую теорему Ферма, она устанавливает, что для каждого \(n > 3\) уравнение \(x^n + y^n = z^n\) имеет лишь конечное число целых решений (с точностью до масштабирования). Это сузило область поиска контрпримеров и вдохновило Эндрю Уайлса на доказательство в 1994 году.

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

Пусть \(C\) — невырожденная алгебраическая кривая рода \(g\), определённая над числовым полем \(K\). Тогда:

• Если \(g = 0\) (например, прямая или коника), то \(C(K)\) либо пусто, либо бесконечно (в случае, если кривая изоморфна проективной прямой).
• Если \(g = 1\) (эллиптическая кривая), то \(C(K)\) является конечно порождённой абелевой группой (теорема Морделла — Вейля), которая может быть бесконечной.
• Если \(g \geq 2\), то множество \(C(K)\) конечно.

Здесь \(C(K)\) обозначает множество \(K\)-рациональных точек кривой, то есть точек, координаты которых лежат в поле \(K\).

Ключевые понятия

Род кривой

Род — это топологический инвариант, равный числу «дырок» на компактной римановой поверхности, ассоциированной с кривой. Например:

• Род 0: сфера (прямая, коника).
• Род 1: тор (эллиптическая кривая).
• Род 2: поверхность с двумя дырками (гиперэллиптическая кривая).

Рациональные точки

Рациональные точки — это решения уравнения кривой, координаты которых принадлежат заданному полю (например, полю рациональных чисел \(\mathbb{Q}\)). Для кривых рода \(g \geq 2\) теорема утверждает, что таких точек лишь конечное число, хотя их точное количество может быть неизвестно.

Применения и следствия

Диофантова геометрия

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

• Кривые рода 0: параметризуются рациональными функциями, что даёт бесконечно много точек.
• Кривые рода 1: могут иметь бесконечное число точек, но их структура подчиняется групповому закону.
• Кривые рода \(\geq 2\): конечное число точек, что делает их «арифметически редкими».

Модулярные кривые

Теорема применяется к изучению модулярных кривых \(X_0(N)\), которые параметризуют эллиптические кривые с заданным уровнем. Для \(N\) достаточно большого рода эти кривые имеют лишь конечное число рациональных точек, что связано с теоремой о модулярности.

Гипотеза Шафаревича

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

Примеры

Кривая Ферма

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

Гиперэллиптические кривые

Кривая \(y^2 = x^5 - x + 1\) имеет род 2. Теорема гарантирует, что над \(\mathbb{Q}\) существует лишь конечное число рациональных точек. В 2020-х годах с помощью компьютерных вычислений были найдены все точки для некоторых подобных кривых, но общий алгоритм отсутствует.

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

Неэффективность

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

Обобщения

Теорема не распространяется напрямую на многомерные многообразия. Для абелевых многообразий размерности \(>1\) гипотеза Морделла — Лэнга (доказанная Фальтингсом в 1991 году) утверждает, что множество рациональных точек на подмногообразиях абелевых многообразий конечно, если подмногообразие не содержит абелева подмногообразия.

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

• Герд Фальтингс доказал теорему в возрасте 28 лет, что сделало его одним из самых молодых лауреатов Филдсовской премии.
• Первоначальное доказательство содержало более 100 страниц и опиралось на сложные методы алгебраической геометрии, включая теорию модулей и арифметическую теорию пересечений.
• В 2010-х годах были найдены упрощённые доказательства, использующие теорию моделей и методы Войты, что сделало теорему более доступной для изучения.

Источники

• Faltings, G. (1983). Endlichkeitssätze für abelsche Varietäten über Zahlkörpern. Inventiones Mathematicae.
• Mordell, L. J. (1922). On the rational solutions of the indeterminate equation of the third and fourth degrees. Proceedings of the Cambridge Philosophical Society.
• Bombieri, E., & Gubler, W. (2006). Heights in Diophantine Geometry. Cambridge University Press.
• Hindry, M., & Silverman, J. H. (2000). Diophantine Geometry: An Introduction. Springer.