Эллиптические кривые

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

Definition

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

Scope

Эта тема охватывает уравнения Вейерштрасса, дискриминант и j-инвариант, групповой закон хорд и касательных, эллиптические кривые над полем рациональных чисел и теорему Морделла-Вейля, подгруппы кручения и классификацию Мазура, ранг и методы спуска, редукцию по модулю простых чисел и локально-глобальную картину, L-функцию эллиптической кривой, а также гипотезу Бёрча и Суиннертона-Дайера, связывающую ранг с порядком обнуления этой L-функции.

Core questions

• Как построение хорд и касательных превращает точки эллиптической кривой в абелеву группу?
• Почему группа рациональных точек конечно порождена, и как определяются её ранг и кручение?
• Как редукция по модулю простого числа связывает кривую с кривыми над конечными полями и с её L-функцией?
• Что предсказывает гипотеза Бёрча и Суиннертона-Дайера относительно ранга?

Key theories

Групповой закон и теорема Морделла-Вейля

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

Кручение и теорема Мазура

Подгруппа кручения рациональной эллиптической кривой является одной из пятнадцати явных групп (теорема Мазура), поэтому единственной загадкой в теореме Морделла-Вейля является ранг.

L-функции и гипотеза Бёрча-Суиннертона-Дайера

Предполагается, что L-функция Хассе-Вейля, построенная на основе подсчёта точек по модулю простых чисел, обращается в ноль в центральной точке с порядком, равным рангу; это проблема тысячелетия, частично доказанная в случаях низкого ранга.

Clinical relevance

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

History

Эллиптические кривые возникли из эллиптических интегралов, изучавшихся Абелем и Якоби. Пуанкаре и Морделл установили групповой закон и конечную порожденность над рациональными числами в начале двадцатого века; Вейль обобщил это на абелевы многообразия, а гипотеза Бёрча и Суиннертона-Дайера возникла из численных экспериментов в 1960-х годах.

Key figures

• Louis Mordell
• Andre Weil
• Barry Mazur
• Bryan Birch
• Peter Swinnerton-Dyer

Seminal works

• silverman2009

Frequently asked questions

Имеют ли эллиптические кривые форму эллипсов?

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

Что такое ранг эллиптической кривой?

Это число независимых рациональных точек бесконечного порядка; его вычисление затруднительно, и гипотеза Бёрча и Суиннертона-Дайера связывает его с поведением L-функции кривой в центральной точке.