Гипотеза Морделла

Гипотеза Морделла — гипотеза о конечности множестварациональных точек на алгебраической кривой рода g>1. ВыдвинутаМорделлом в 1922 году. Позже гипотеза была обобщена с поля Qна произвольное числовое поле. Была доказана Фальтингсом в 1983 году итеперь также называется теоремой Фальтингса.

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


 Пусть C — неособая алгебраическая кривая рода g над полемQ. Тогда множество рациональных точек C следующее:

  • Случай g=0: рациональных точек нет, либо бесконечно много; C является коническим сечением.
  • Случай g=1: рациональных точек нет, либо C является эллиптической кривой, а её рациональные точки образуют конечнопорождённую абелеву группу.

 (Это теорема Морделла, позднее обобщённая до теоремы Морделла —Вейля). Более того теорема Мазура о кручении ограничивает возможнуюструктуру подгруппы кручения.

  • Случай g>1: в соответствии с гипотезой Морделла, сейчас теоремой Фалгтинса, C имеет конечное число рациональных точек.

Доказательство


 Доказательство Фальтингса использует известный способ сведения гипотезык случаю гипотезы Тэйта и инструменты алгебраической геометрии, включаятеорию Neron model. Другое доказательство, основанное на диофантовыхаппроксимациях, было дано Пауло Войта. Более элементарный вариантдоказательства Войта был дан Энрико Бомбьери.

Следствия


 Фальтингс в своей работе 1983 года доказал несколько утверждений, ранеесчитавшихся гипотезами:

  • Гипотезу Морделла о том, что кривая рода больше чем 1 над числовым полем имеет лишь конечное число рациональных точек;
  • Гипотезу Шафаревича
  • Теорему isogeny

 Сведение гипотезы Морделла к гипотезе Шафаревича было сделано Паршиным в1971-м.
 Простейшее приложение теоремы Фальтингса — это слабая форма Великойтеоремы Ферма: для любого выбранного n>4 существует лишь конечноечисло взаимно простых решений уравнения an+bn=cn, для такихn кривая xn+yn=1 имеет род больший 1.

Обобщения


 В силу теоремы Морделла — Вейля, теорема Фальтингса может бытьпереформулирована как утверждение о пересечении кривой C с конечнопорождённой подгруппой Γ абелева многообразия A. Заменяя C напроизвольное подмногообразие A и Γ на произвольную подгруппуконечного ранга A, мы получаем обобщение, ведущее к гипотезеМорделла-Ленга, которая была доказана.
 Другое обобщение теоремы Фальтингса — это Гипотеза Бомбьерри - Ленга,утверждающая, что если X — псевдоканоническое многообразие (то естьмногообразие общего типа) над конечным полем k, то множествоk-рациональных точек X(k) нигде не плотно в топологии Зарисского вX. Более общие гипотезы были выдвинуты потом Паулем Войта.
 Гипотеза Морделла для полей функций была доказана Маниным в 1963-м иGrauert-ом в 1965-м. Coleman в 1990 году нашел и исправил пробел вдоказательстве Манина.