Теория чисел

Арифметика эллиптических кривых и BSD

Цели урока

  • Понять теорему Мордела-Вейля: структура E(Q) = tors + Z^r
  • Знать теорему Мазура: 15 типов групп кручения эллиптических кривых над Q
  • Освоить алгоритм 2-спуска и роль группы Шафаревича-Тейта
  • Понять конструкцию точек Хегнера и теорему Гросса-Загье для BSD при ранге 1

Предварительные знания

  • Автоморфные формы
  • L-функции и BSD
  • Теория классов полей
  • Автоморфные формы
  • L-функции и BSD

Знание всех рациональных точек кривой y^2 = x^3 - 2 требует понимания глубоких аналитических объектов - L-функций. Почему числа (3,5), (129/100, -383/1000), ... живут по законам анализа?

  • Криптография: ранг 0 гарантирует, что ECDLP не решается через подгруппы бесконечного порядка
  • Алгоритмы: метод Ленстра факторизации чисел использует случайные эллиптические кривые над Z/nZ
  • Теория кодирования: кривые с максимальным числом рациональных точек над F_q - AG-коды Гоппы
  • Числовые системы: алгоритм ECPP (Elliptic Curve Primality Proving) для простоты больших чисел

100 лет от конечной порождённости до BSD

Луи Мордел в 1922 году доказал: E(Q) конечно порождена. Он предположил, что то же верно для кривых рода >= 2 (гипотеза Морделя). Вейль в 1928 обобщил на числовые поля. 50 лет спустя - Мазур (1977): полная классификация кручения. В 1983 году Фальтингс доказал гипотезу Морделя. В 1986 - теорема Гросса-Загье и метод Коливагина. 1990 - Коливагин: BSD для ранга 0. В 1995 году Вайлз доказал модулярность - без этого L-функции эллиптических кривых вообще не были бы определены строго. Каждый шаг - новая революция.

Теорема Мордела-Вейля и спуск

Луи Мордел в 1922 году доказал: группа E(Q) рациональных точек эллиптической кривой конечно порождена. Андре Вейль обобщил это на числовые поля в 1928. Ранг r кривой y^2 = x^3 - x равен 0, а y^2 = x^3 - 2 имеет ранг 1 с образующей (3, 5).

Что теорема Мордела-Вейля говорит о структуре E(Q)?

Группа кручения и теорема Мазура

Теорема Мазура 1977 года - одна из самых красивых в теории эллиптических кривых: возможные конечные подгруппы E(Q)_tors исчерпываются ровно 15 типами. Это полная классификация без единого исключения - разительный контраст с рангом, который до сих пор не умеют предсказывать.

Доказательство теоремы Мазура использует теорему Фальтингса (гипотезу Морделя) о конечности числа рациональных точек кривых рода >= 2. Кривые Y_1(N) при N > 10 (N != 12) имеют такой род.

Нахождение точек кручения через 2-кручение

Алгоритм для точек порядка 2

Точки E[2] - это точки порядка 2 на кривой y^2 = x^3 + ax + b: они находятся при y=0, то есть x должен быть корнем x^3 + ax + b. Над Q есть ровно 1 или 3 такие точки (плюс точка на бесконечности). Если многочлен x^3 + ax + b имеет три рациональных корня, то E[2](Q) = Z/2Z x Z/2Z.

Сколько типов групп кручения возможно для E(Q) по теореме Мазура?

Теорема Мазура: E(Q)_tors может быть только одной из 15 групп. Ключ доказательства: модулярные кривые Y_1(N) имеют род >= 2 при N > 10 (N != 12), поэтому имеют конечно много рациональных точек.

Алгоритм спуска и вычисление ранга

Практическое вычисление ранга эллиптической кривой требует алгоритма. Метод 2-спуска (Descent method) опирается на точную последовательность когомологий и позволяет ограничить ранг снизу и сверху. Реализован в системах SAGE, PARI/GP и Magma.

В чём роль группы Шафаревича-Тейта Ш в 2-спуске?

Ш[2] - разрыв между Селмер-группой S^(2) и E(Q)/2E(Q). При S^(2) = Z/2 x Z/2 и Ш[2] = Z/2 ранг равен 0, а при Ш[2] = 0 - ранг равен log_2(|S^(2)|) - log_2(|tors[2]|).

Точки Хегнера и конструкция образующих

Для кривых ранга 1 существует явная конструкция образующей E(Q) через точки Хегнера на модулярных кривых. Это самая прямая связь между аналитической теорией (L-функция) и геометрией (рациональные точки).

Точки Хегнера дают алгоритм нахождения образующих кривых ранга 1. Этот алгоритм реализован в SAGE как E.heegner_point(D). Теорема Гросса-Загье связывает высоту h(y_K) с L'(E,1) через точную формулу.

УсловиеСледствиеИсточник
L(E,1) != 0rk E(Q) = 0, |Ш| < infinityКоливагин 1990
L'(E,1) != 0rk E(Q) = 1, y_K - образующаяГросс-Загье + Коливагин
ord L(E,1) >= 2BSD открыта, нет конструкцииОткрытая проблема
epsilon = -1Аналитический ранг нечётныйФункциональное уравнение

Что утверждает теорема Гросса-Загье о точке Хегнера y_K?

Гросс-Загье 1986: h-hat(y_K) = C * L'(E/K,1). Следствие: если L'(E,1) != 0, то y_K - нетривиальная точка, а значит rk E(K) >= 1. Вместе с Коливагиным это даёт BSD для ранга 1.

Связи с другими темами

Арифметика эллиптических кривых - пересечение алгебраической геометрии, теории чисел и аналитики.

  • Когомологии Галуа — Связанная тема
  • Модулярные кривые — Связанная тема
  • Теория пересечений — Связанная тема

Итоги

  • Теорема Мордела-Вейля: E(Q) = E(Q)_tors + Z^r, где r >= 0 - ранг
  • Теорема Мазура: E(Q)_tors - одна из 15 групп: Z/nZ (n<=10, n=12) или Z/2Z x Z/2nZ (n<=4)
  • 2-спуск: r <= dim_F_2 S^(2) - dim_F_2 tors[2], разрыв = dim Ш[2]
  • Теорема Гросса-Загье: h-hat(y_K) = C * L'(E/K,1) - высота Хегнера пропорциональна производной L
  • BSD для ранга 0 доказана (Коливагин); для ранга 1 доказана при L'(E,1) != 0; для r >= 2 открыта

Вопросы для размышления

  • Почему конечность группы Шафаревича-Тейта - настолько трудная проблема, хотя группа определяется элементарно?
  • Как теорема Фальтингса (кривые рода >= 2 имеют конечно много рациональных точек) используется в доказательстве теоремы Мазура?
  • В чём принципиальная разница между методами для ранга 0 (системы Эйлера) и ранга 1 (точки Хегнера): почему ни один из них не обобщается на ранг >= 2?

Связанные уроки

  • nt-28 — Автоморфные формы определяют L-функции эллиптических кривых через модулярность
  • nt-23 — BSD - центральная тема: полная арифметическая картина с группой Шафаревича-Тейта
  • nt-25-iwasawa-theory — Теория Ивасавы даёт p-адический подход к BSD
Арифметика эллиптических кривых и BSD

0

1

Войти