Диофантовы уравнения

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

Definition

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

Scope

Эта область охватывает линейные диофантовы уравнения и уравнение Пелля, богатую арифметику эллиптических кривых и их рациональных точек, разрешение Великой теоремы Ферма через модулярность, а также диофантовы приближения, измеряющие, насколько хорошо действительные числа аппроксимируются рациональными. Она связывает элементарные методы с глубокими теоремами о рациональных точках на кривых и многообразиях более высоких размерностей.

Sub-topics

• Diophantine Approximation
• Elliptic Curves
• Fermat's Last Theorem
• Linear and Pell Equations

Core questions

• Когда диофантово уравнение имеет целочисленные или рациональные решения, и сколько их?
• Как геометрия кривой решений (её род) контролирует множество рациональных точек?
• Почему эллиптические кривые обладают групповым законом, и как структурирована группа рациональных точек?
• Насколько хорошо иррациональные числа могут быть аппроксимированы рациональными, и что это говорит о разрешимости?

Key theories

Теорема Морделла-Вейля

Рациональные точки на эллиптической кривой над полем рациональных чисел образуют конечно порождённую абелеву группу; её ранг и кручение кодируют арифметику кривой.

Теорема Фалтингса (гипотеза Морделла)

Гладкая кривая рода не менее двух имеет лишь конечное число рациональных точек, поэтому геометрия диофантова уравнения строго ограничивает его рациональные решения.

Модулярность и Великая теорема Ферма

Каждая рациональная эллиптическая кривая является модулярной; эта теорема, доказанная Уайлсом и Тейлором, влечёт Великую теорему Ферма и связывает диофантовы уравнения с модулярными формами.

Clinical relevance

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

History

Предмет назван в честь Диофанта, чья «Арифметика» (около 250 г. н.э.) собрала задачи по рациональным решениям и вдохновила маргинальные гипотезы Ферма. Современная трактовка развивалась благодаря структурным теоремам Морделла и Вейля в двадцатом веке, доказательству Фалтингса гипотезы Морделла в 1983 году и доказательству Уайлса Великой теоремы Ферма в 1994 году.

Key figures

• Diophantus of Alexandria
• Pierre de Fermat
• Louis Mordell
• Andrew Wiles

Seminal works

• silverman2009

Frequently asked questions

Существует ли общий метод для решения всех диофантовых уравнений?

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

Почему эллиптические кривые так важны здесь?

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