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

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

Пусть ${\displaystyle C}$ — неособая алгебраическая кривая над полем ${\displaystyle \mathbb {Q} }$. Множество рациональных точек кривой ${\displaystyle C}$ зависит от её рода ${\displaystyle g}$ следующим образом:

• Случай ${\displaystyle g=0}$: рациональных точек нет, либо их бесконечно много; ${\displaystyle C}$ является коническим сечением.
• Случай ${\displaystyle g=1}$: рациональных точек нет, либо ${\displaystyle C}$ является эллиптической кривой, а её рациональные точки образуют конечнопорождённую абелеву группу. Это следует из теоремы Морделла, позднее обобщённой до теоремы Морделла — Вейля^[англ.]. Кроме того, теорема Мазура о кручении ограничивает возможную структуру подгруппы кручения.
• Случай ${\displaystyle g>1}$: согласно выдвинутой Морделлом гипотезе, ${\displaystyle C}$ может иметь лишь конечное число рациональных точек.

В 1962 году Шафаревич высказал гипотезу о конечности, с точностью до изоморфизма, множества алгебраических кривых, имеющих заданный род ${\displaystyle g>1}$, поле определения ${\displaystyle K}$ и множество точек плохой редукции ${\displaystyle S}$. В 1968 году Паршин показал, как гипотезу Морделла можно свести к указанной гипотезе конечности Шафаревича.

В 1983 году Фальтингс доказал гипотезу конечности Шафаревича, используя известный способ сведения гипотезы к случаю гипотезы Тейта^[англ.] и инструменты алгебраической геометрии, включая теорию моделей Нерона^[англ.].

Другое доказательство, основанное на диофантовых аппроксимациях, было дано Паулем Войта^[англ.]. Позднее оно было упрощено Фальтингсом и Энрико Бомбьери.

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

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

Простейшее приложение теоремы Фальтингса — это слабая форма Великой теоремы Ферма: для любого выбранного ${\displaystyle n\geq 4}$ существует лишь конечное число взаимно простых решений уравнения ${\displaystyle a^{n}+b^{n}=c^{n}}$, поскольку для таких n кривая Ферма ${\displaystyle x^{n}+y^{n}=1}$ имеет род, больший 1.

В силу теоремы Морделла — Вейля, теорема Фальтингса может быть переформулирована как утверждение о пересечении кривой ${\displaystyle C}$ с конечнопорождённой подгруппой ${\displaystyle \Gamma }$ абелева многообразия ${\displaystyle A}$. Заменяя ${\displaystyle C}$ на произвольное подмногообразие ${\displaystyle A}$ и ${\displaystyle \Gamma }$ на произвольную подгруппу конечного ранга ${\displaystyle A}$, мы получаем обобщение, ведущее к гипотезе Морделла — Ленга, которая была доказана.

Другое обобщение теоремы Фальтингса — это Гипотеза Бомбьерри — Ленга, утверждающая, что если ${\displaystyle X}$ — псевдоканоническое многообразие (то есть многообразие общего типа) над конечным полем ${\displaystyle k}$, то множество ${\displaystyle k}$-рациональных точек ${\displaystyle X(k)}$ нигде не плотно в топологии Зарисского в ${\displaystyle X}$. Дальнейшие обобщения гипотезы были выдвинуты Паулем Войта.

Гипотеза Морделла для полей функций была доказана Маниным в 1963 году и Грауэртом в 1965 году. Коулман^[англ.] в 1990 году нашёл и исправил пробел в доказательстве Манина.

• Mordell, L. J. On the rational solutions of the indeterminate equations of the third and fourth degrees. Cambr. Phil. Soc. Proc. 21, 179—192 (1922).
• Faltings, G. Die Vermutungen von Tate und Mordell. Jahresber. Deutsch. Math.-Verein. 86 (1984), no. 1, 1—13.
• А. Ю. Вайнтроб, А. Б. Сосинский. «Доказательство гипотезы Морделла». — Квант, 1984. — № 3.
• Иэн Стюарт. Величайшие математические задачи. — М.: Альпина нон-фикшн, 2016. — 460 с. — ISBN 978-5-91671-507-1.

• Bombieri, Enrico. The Mordell conjecture revisited // Ann. Scuola Norm. Sup. Pisa Cl. Sci.. — 1990. — Т. 17, № 4. — С. 615—640.
• Coleman, Robert F. Manin's proof of the Mordell conjecture over function fields (англ.) // L'Enseignement Mathematique. Revue Internationale. IIe Serie : journal. — 1990. — Vol. 36, no. 3. — P. 393—427. — ISSN 0013-8584. Архивировано 2 октября 2011 года. Архивная копия от 2 октября 2011 на Wayback Machine
• Cornell, Gary; Silverman, Joseph H. Arithmetic geometry. — New York: Springer, 1986. — ISBN 0-387-96311-1. > Contains an English translation of Faltings (1983)
• Faltings, Gerd. Endlichkeitssatze fur abelsche Varietaten uber Zahlkorpern (нем.) // Inventiones Mathematicae : magazin. — 1983. — Bd. 73, Nr. 3. — S. 349—366. — doi:10.1007/BF01388432.
• Grauert, Hans. Mordells Vermutung uber rationale Punkte auf algebraischen Kurven und Funktionenkorper (нем.) // Publications Mathematiques de l'IHES : magazin. — 1965. — Nr. 25. — S. 131—149. — ISSN 1618-1913.
• Hindry, Marc; Silverman, Joseph H. Diophantine geometry. — Springer-Verlag, 2000. — Т. 201. — (Graduate Texts in Mathematics). — ISBN 0-387-98981-1. > Gives Vojta’s proof of Falting’s Theorem.
• S. Lang. Survey of Diophantine geometry. — Springer-Verlag, 1997. — С. 101—122. — ISBN 3-540-61223-8.
• Manin, Ju. I. Rational points on algebraic curves over function fields (англ.) // Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya : journal. — 1963. — Vol. 27. — P. 1395—1440. — ISSN 0373-2436.
• Mordell, Louis J. On the rational solutions of the indeterminate equation of the third and fourth degrees (англ.) // Proc. Cambridge Philos. Soc.^[англ.] : journal. — 1922. — Vol. 21. — P. 179—192.. — «».
• Parsin, A. N. Quelques conjectures de finitude en geometrie diophantienne // Actes du Congres International des Mathematiciens (Nice, 1970), Tome 1. — Gauthier-Villars, 1971. — С. 467—471.
• Parshin, A. N. (2001), M/m064910, in Hazewinkel, Michiel (ed.), Encyclopedia of Mathematics (англ.), Springer, ISBN 978-1-55608-010-4

У этой статьи по математике есть несколько проблем, помогите их исправить: В статье есть список источников, но не хватает сносок. Без сносок сложно определить, из какого источника взято каждое отдельное утверждение. Вы можете улучшить статью, проставив сноски на источники, подтверждающие информацию. Сведения без сносок могут быть удалены. (10 ноября 2014) Пожалуйста, после исправления проблемы исключите её из списка параметров. После устранения всех недостатков этот шаблон может быть удалён любым участником.