Гипотеза Манина — Мамфорда

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

История и контекст

Предпосылки

В начале XX века Луи Морделл выдвинул гипотезу о том, что алгебраическая кривая рода \( g > 1 \), определённая над полем рациональных чисел \( \mathbb{Q} \), имеет лишь конечное число рациональных точек. Эта гипотеза стала одной из центральных проблем арифметической геометрии. В 1960-х годах Юрий Манин и Дэвид Мамфорд, работая независимо, предложили более общую формулировку, связывающую конечность рациональных точек с геометрическими свойствами кривой, в частности с её родом.

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

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

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

В 1983 году немецкий математик Герд Фальтингс доказал гипотезу Морделла, а следовательно, и гипотезу Манина — Мамфорда, используя методы теории пересечений, теории модулей абелевых многообразий и теории высоты. За это доказательство Фальтингс получил медаль Филдса в 1986 году. Доказательство было сложным и потребовало развития нескольких разделов алгебраической геометрии, включая теорию моделей арифметических поверхностей.

Математическая формулировка

Определения

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

Утверждение

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

Связь с абелевыми многообразиями

Гипотеза Манина — Мамфорда тесно связана с теорией абелевых многообразий. Для кривой рода \( g \ge 2 \) её якобиан \( J(C) \) является абелевым многообразием размерности \( g \). Рациональные точки на \( C \) соответствуют некоторым точкам на \( J(C) \), и конечность \( C(K) \) следует из конечности числа точек на \( J(C) \) определённого типа (так называемых точек Морделла — Вейля). Фальтингс доказал, что для абелевых многообразий размерности \( \ge 2 \) множество точек конечного порядка конечно, что и привёл к доказательству гипотезы.

Следствия и обобщения

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

Доказательство гипотезы Манина — Мамфорда привело к установлению теоремы Фальтингса: любая алгебраическая кривая рода \( g > 1 \) над числовым полем имеет лишь конечное число рациональных точек. Это стало одним из крупнейших достижений арифметической геометрии XX века.

Применения

• Диофантова геометрия: Теорема позволяет классифицировать диофантовы уравнения, задающие кривые рода \( g \ge 2 \), как имеющие лишь конечное число решений в рациональных числах.
• Теория модулей: Результат Фальтингса используется при изучении пространств модулей кривых и абелевых многообразий.
• Гипотеза Шафаревича: Фальтингс также доказал гипотезу Шафаревича о конечности числа абелевых многообразий данной размерности с заданными свойствами, что является важным инструментом в арифметической геометрии.

Обобщения

• Гипотеза Бомбьери — Ленга: Предполагает, что для любого алгебраического многообразия общего типа над числовым полем множество рациональных точек не является плотным по Зарисскому. Это обобщение гипотезы Манина — Мамфорда на более высокие размерности.
• Гипотеза Войты: Связывает арифметические свойства многообразий с их геометрическими инвариантами, такими как канонический класс.

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

Ограничения

• Гипотеза не даёт эффективного способа нахождения всех рациональных точек. Хотя доказано, что их число конечно, алгоритмического метода для их перечисления в общем случае не существует.
• Для кривых рода \( g = 0 \) или \( g = 1 \) утверждение неверно: существуют кривые с бесконечным числом рациональных точек (например, эллиптические кривые с ненулевым рангом).

Альтернативные подходы

• Метод Поля — Войты: Предлагает эффективные оценки высоты рациональных точек, что может привести к алгоритмическим решениям для конкретных кривых.
• Арифметическая теория пересечений: Развивается для получения явных границ числа рациональных точек.

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

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

Источники

• Faltings, G. (1983). «Endlichkeitssätze für abelsche Varietäten über Zahlkörpern». Inventiones Mathematicae, 73(3), 349–366.
• Манин, Ю. И. (1965). «Рациональные точки на алгебраических кривых». Успехи математических наук, 20(2), 3–54.
• Mumford, D. (1965). «Geometric Invariant Theory». Springer-Verlag.
• Lang, S. (1983). «Fundamentals of Diophantine Geometry». Springer.
• Hindry, M., & Silverman, J. H. (2000). «Diophantine Geometry: An Introduction». Springer.