Теорема Морделла — Вейля

Теорема Морделла — Вейля — это фундаментальный результат в алгебраической геометрии и теории чисел, утверждающий, что группа рациональных точек на абелевом многообразии, определённом над числовым полем, является конечно порождённой абелевой группой. Теорема обобщает классический результат Луиса Морделла (1922) для эллиптических кривых на случай произвольных абелевых многообразий, что было доказано Андре Вейлем в 1928 году. Это утверждение является одним из краеугольных камней современной арифметической геометрии и напрямую связано с гипотезой Берча — Свиннертон-Дайера, одной из семи «Проблем тысячелетия» Института Клэя.

История

Теорема Морделла (1922)

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

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

Андре Вейль, французский математик, в 1928 году в своей диссертации обобщил результат Морделла на случай произвольных абелевых многообразий, определённых над любым числовым полем (конечным расширением Q). Вейль ввёл понятие высоты для точек на абелевых многообразиях и разработал технику спуска, основанную на теории когомологий Галуа. Его работа заложила основы современной арифметической геометрии и теории абелевых многообразий.

Дальнейшее развитие

Впоследствии теорема Морделла — Вейля была распространена на более общие классы полей. В частности, для полей функций (аналог числовых полей в положительной характеристике) аналогичный результат был доказан Андре Вейлем и позднее обобщён в рамках теории Не́рона — моделей абелевых многообразий. Также были получены количественные версии теоремы, связанные с оценками ранга группы рациональных точек.

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

Пусть A — абелево многообразие, определённое над числовым полем K (например, Q или конечное расширение Q). Обозначим через A(K) множество K-рациональных точек на A, то есть точек, координаты которых лежат в K. На A(K) определена структура абелевой группы (коммутативной группы) с операцией сложения, заданной групповым законом на многообразии.

Теорема Морделла — Вейля: Группа A(K) является конечно порождённой абелевой группой.

Это означает, что существует целое неотрицательное число r (называемое рангом абелевого многообразия над K) и конечная подгруппа Tor(A(K)) (подгруппа кручения, состоящая из точек конечного порядка) такие, что:

A(K) ≅ Z^r ⊕ Tor(A(K))

где Z^r — свободная абелева группа ранга r, а Tor(A(K)) — конечная абелева группа.

Структура группы рациональных точек

Подгруппа кручения

Подгруппа кручения Tor(A(K)) состоит из всех точек конечного порядка на A(K). Для эллиптических кривых (одномерных абелевых многообразий) над Q структура кручения хорошо изучена: теорема Мазура (1977) полностью классифицирует возможные конечные группы, которые могут быть подгруппой кручения эллиптической кривой над Q. Для абелевых многообразий большей размерности существуют обобщения, но полная классификация является сложной открытой проблемой.

Ранг

Ранг r — это количество независимых рациональных точек бесконечного порядка. Вычисление ранга для конкретного абелевого многообразия является одной из центральных задач арифметической геометрии. Для эллиптических кривых ранги могут быть как нулевыми (конечное число рациональных точек), так и сколь угодно большими, хотя точные границы неизвестны. На 2025 год известны эллиптические кривые над Q с рангом, превышающим 20 (например, кривая с рангом 28, найденная Ноамом Элкисом в 2006 году). Для абелевых многообразий большей размерности ранги также могут быть произвольно большими, но их явное построение сложнее.

Метод доказательства

Доказательство теоремы Морделла — Вейля состоит из двух основных шагов:

1. Теорема о слабом спуске (Weak Mordell–Weil theorem): Показывается, что факторгруппа A(K)/m·A(K) конечна для любого целого m ≥ 2. Это доказывается с использованием теории когомологий Галуа и свойств групп Сельмера. Ключевую роль играет конечность расширений полей, связанных с умножением на m на абелевом многообразии.

1. Теория высот: Вводится функция высоты h: A(K) → R (например, логарифмическая высота точки), которая является квадратичной формой на группе A(K) и обладает свойством: для любой константы C множество точек с высотой, меньшей C, конечно. Комбинируя конечность факторгруппы из шага 1 с ростом высоты при сложении точек, доказывается конечная порождённость A(K).

Применения и значение

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

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

Гипотеза Берча — Свиннертон-Дайера

Одна из центральных нерешённых проблем теории чисел связывает ранг эллиптической кривой с поведением её L-функции в точке 1. Гипотеза утверждает, что ранг r равен порядку нуля L-функции в этой точке. Теорема Морделла — Вейля гарантирует, что ранг является конечным числом, что делает гипотезу осмысленной.

Криптография

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

Теория чисел

Теорема применяется для доказательства конечности числа решений многих диофантовых уравнений, например, для уравнений вида y^2 = x^3 + k (уравнения Морделла) или для уравнений, связанных с кривыми Ферма.

Примеры

Эллиптическая кривая

Рассмотрим эллиптическую кривую E: y^2 = x^3 - x над Q. Её группа рациональных точек E(Q) изоморфна Z ⊕ (Z/2Z) ⊕ (Z/2Z). Свободная часть порождается точкой P = (0,0), а кручение состоит из точек порядка 2: (0,0), (1,0), (-1,0) и бесконечно удалённой точки (нейтральный элемент). Ранг этой кривой равен 1.

Абелево многообразие размерности 2

Якобиан кривой рода 2, заданной уравнением y^2 = x^5 - x + 1 над Q, является абелевым многообразием размерности 2. Его группа рациональных точек может иметь ранг от 0 до нескольких единиц, но точное вычисление часто требует сложных компьютерных методов.

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

• Теорема Морделла — Вейля не даёт эффективного алгоритма для нахождения образующих группы A(K). Хотя известно, что группа конечно порождена, алгоритмическое построение базиса является сложной задачей, особенно для больших рангов.
• Существует аналог теоремы для абелевых многообразий над полями функций, который был доказан Андре Вейлем и позднее обобщён в рамках теории моделей Не́рона.
• В 1983 году Герд Фальтингс доказал гипотезу Морделла (конечность числа рациональных точек на кривой рода > 1), используя теорему Морделла — Вейля как один из ключевых инструментов.

Источники

• Mordell, L. J. (1922). "On the rational solutions of the indeterminate equation of the third and fourth degrees". Proceedings of the Cambridge Philosophical Society.
• Weil, A. (1928). "L'arithmétique sur les courbes algébriques". Acta Mathematica.
• Silverman, J. H. (2009). The Arithmetic of Elliptic Curves. Springer.
• Hindry, M., & Silverman, J. H. (2000). Diophantine Geometry: An Introduction. Springer.
• Lang, S. (1997). Survey of Diophantine Geometry. Springer.