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

Гіпотеза Морделла — гіпотеза про скінченність множини раціональних точок на алгебричній кривій роду $g>1$. Висунув Шаблон:Нп у 1922 році. Пізніше гіпотезу узагальнено з поля $\mathbb{Q}$ на довільне числове поле. 1983 року Герд Фалтінгс довів твердження, і тепер його також називають теоремою Герда Фалтінгса.

Цей результат аналогічний простішому, але ідейного близькому твердженню де Франчіса: нехай $X$ та $Y$ — ріманові поверхні та рід $X$ більший від одиниці; тоді існує скінченне число непостійних голоморфних відображень з $X$ у $Y$.

Формулювання

Нехай $C$ — неособлива алгебрична крива роду $g$ над полем $\mathbb{Q}$. Тоді множина раціональних точок $C$ така:

• Випадок $g=0$: раціональних точок немає, або нескінченно багато; $C$ є конічним перетином.
• Випадок $g=1$: раціональних точок немає, або $C$ є еліптичною кривою, а її раціональні точки утворюють скінченнопороджену абелеву групу. (Це теорема Морделла, пізніше узагальнена до теореми Морделла — Вейля). Більш того, теорема Мазура про кручення обмежує можливу структуру підгрупи кручення.
• Випадок $g>1$: відповідно до гіпотези Морделла, що зараз є теоремою Фалгтінса, $C$ має скінченне число раціональних точок.

Доведення

Доведення Герда Фалтінгса використовує відомий спосіб зведення гіпотези до випадку гіпотези Тейта та інструменти алгебричної геометрії, включаючи теорію моделей Нерона. Інше доведення, засноване на діофантових апроксимаціях, дав Шаблон:Нп. Елементарніший варіант доведення Войти дав Енріко Бомб'єрі.

Джерела

• Шаблон:Cite book
• Шаблон:SpringerEOM