Фальтингс: гипотеза Морделла доказана

Работа

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

Название не упоминает Морделла, и это характерно: гипотеза Морделла получилась следствием. Фальтингс доказал сразу три утверждения, которые считались независимыми и одинаково безнадёжными:

• гипотезу Шафаревича: абелевых многообразий заданной размерности над данным полем с хорошей редукцией вне конечного множества простых — конечное число;
• гипотезу Тейта: гомоморфизмы абелевых многообразий определяются действием группы ГалуаЭварист Галуафранцузский математик · 1811–1832За двадцать лет жизни успел провалить экзамены, отсидеть в тюрьме и создать теорию групп — записанную начисто в ночь перед дуэлью. на точках конечного порядка;
• гипотезу Морделла.

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

Теорема Фальтингса. Гладкая проективная кривая рода $g\geqslant2$, заданная над числовым полем, имеет лишь конечное число точек с координатами из этого поля.

Что это значит

Вспомним трихотомию Морделла: род 0 — бесконечно много точек или ни одной; род 1 — конечно порождённая группа; род $\geqslant2$ — теперь известно: конечное число.

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

Для теоремы ФермаПьер Фермафранцузский юрист и математик · 1607–1665Советник тулузского парламента, не напечатавший при жизни ни одной математической книги — и успевший заложить теорию чисел, аналитическую геометрию, метод касательных и теорию вероятностей.. Кривая $x^{n}+y^{n}=1$ имеет род $(n-1)(n-2)/2$, и при $n\geqslant4$ он не меньше 3. Значит, при каждом показателе $n\geqslant4$ уравнение

$$x^{n}+y^{n}=z^{n}$$

имеет конечное число взаимно простых решений.

Разница между «конечное число» и «ни одного» тут принципиальна, и её полезно проговорить. После Фальтингса нельзя было построить бесконечную серию контрпримеров — но один-единственный контрпример при одном-единственном $n$ оставался допустимым. Пройти этот последний шаг удалось только Уайлсу, и совершенно другим путём — через модулярность.

Стоит отметить и практическое следствие: результат Фальтингса неэффективен. Он доказывает, что решений конечное число, но не даёт границы, за которой их заведомо нет, — то есть не позволяет найти их все перебором. Эффективная версия остаётся открытой задачей; частичные результаты дают метод Шабо — Коулмана и его развитие.

Аппарат

Доказательство потребовало соединить несколько тяжёлых теорий.

Теория Аракелова — способ рассматривать уравнение над $\mathbb{Q}$ как геометрический объект (арифметическую поверхность), дополняя набор простых чисел «бесконечно удалённым простым», отвечающим за архимедову абсолютную величину. Тогда к арифметике становится применима геометрическая интуиция: появляются пересечения, объёмы, кривизна.

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

Полустабильная редукция и $p$-адические методы дополняют картину.

Через восемь лет Пол Войта нашёл совсем другое доказательство — методами диофантовых приближений, продолжающими линию Лиувилля и Рота; Фальтингс и Бомбьери его затем упростили. Сегодня в учебниках обычно излагают именно этот вариант, хотя исторически первым был аракеловский.

Автор

Филдсовская медаль 1986 года. С 1994 года Фальтингс — директор Института математики Общества Макса Планка в Бонне.

За пределами этой теоремы ему принадлежат основополагающие работы по $p$-адической теории Ходжа — теории, без которой не существовало бы современной арифметической геометрии, а значит и доказательства УайлсаЭндрю Уайлсбританский математик · род. 1953Семь лет работал в одиночку и в тайне, доказал теорему Ферма — и через два месяца после объявления обнаружил в доказательстве дыру, на закрытие которой ушёл ещё год.. Он же был одним из тех, кто проверял это доказательство, и написал для «Notices of the AMS» его разбор.

В 2026 году Фальтингс получил Абелевскую премию — с формулировкой «за введение мощных инструментов в арифметическую геометрию и решение долго стоявших диофантовых гипотез Морделла и Ланга».

Задача. Посчитайте род кривой Ферма при $n=3,4,5,6$ и объясните, почему случай $n=3$ выпадает из теоремы Фальтингса.
(Ответ: $g=1,3,6,10$. При $n=3$ род равен 1 — это эллиптическая кривая, и о ней теорема Фальтингса ничего не говорит; зато говорит теорема Морделла, а полное отсутствие нетривиальных решений доказал ЭйлерЛеонард Эйлершвейцарский математик, работавший в Петербурге и Берлине · 1707–1783Самый плодовитый математик в истории: около 900 работ, половина языка современной математики — от знака $\pi$ до записи $f(x)$ — и способность считать, не глядя..)

Следующая точка: Сиэтл — где семнадцативековая конструкция ДиофантаДиофант Александрийскийгреческий математик · около III века н. э.Первым стал решать уравнения в целых числах и первым ввёл сокращённые обозначения вместо слов — и задал вопрос, на который отвечали до 1994 года. окажется в каждом защищённом соединении.