Гипотеза Сато — Тейта

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

История

Гипотеза была впервые сформулирована японскими математиками Микио Сато и Джоном Тейтом в 1960-х годах. Сато, занимаясь численными экспериментами на компьютере, заметил, что для эллиптических кривых без комплексного умножения нормированные следы Фробениуса (величины, связанные с числом точек на кривой по модулю простого числа) не распределены равномерно, а подчиняются определённому закону. Тейт, работавший в то же время над аналогичными вопросами, независимо пришёл к той же идее. В 1963 году они совместно опубликовали гипотезу, которая впоследствии стала известна как гипотеза Сато — Тейта.

Долгое время гипотеза оставалась недоказанной, хотя для неё было получено множество частных результатов. В 2006 году математики Ричард Тейлор, Майкл Харрис и Ник Шеферд-Бэррон в серии работ доказали гипотезу для эллиптических кривых с мультипликативной редукцией. Полное доказательство для всех эллиптических кривых без комплексного умножения было завершено в 2011 году в работах Тейлора, Харриса, Шеферд-Бэррона и других математиков, опиравшихся на теорию автоморфных форм и программу Ленглендса.

Формулировка

Пусть \(E\) — эллиптическая кривая, определённая над полем рациональных чисел \(\mathbb{Q}\), и не имеющая комплексного умножения. Для каждого простого числа \(p\), при котором редукция кривой по модулю \(p\) является гладкой (то есть \(p\) не делит дискриминант кривой), можно определить число точек на кривой над конечным полем \(\mathbb{F}_p\), обозначаемое \(N_p\). След Фробениуса \(a_p\) определяется как:

\[ a_p = p + 1 - N_p. \]

По теореме Хассе известно, что \(|a_p| \leq 2\sqrt{p}\). Нормированный след Фробениуса определяется как:

\[ \theta_p = \frac{a_p}{2\sqrt{p}} \in [-1, 1]. \]

Гипотеза Сато — Тейта утверждает, что для эллиптических кривых без комплексного умножения последовательность \(\theta_p\) распределена в соответствии с мерой:

\[ \frac{2}{\pi} \sqrt{1 - t^2} \, dt \]

на отрезке \([-1, 1]\). Иными словами, для любого интервала \([a, b] \subset [-1, 1]\) доля простых чисел \(p\), для которых \(\theta_p \in [a, b]\), стремится к:

\[ \frac{2}{\pi} \int_a^b \sqrt{1 - t^2} \, dt. \]

Эта мера известна как полукруговая мера (или распределение Вигнера), хотя в данном контексте её называют мерой Сато — Тейта.

Значение и следствия

Гипотеза Сато — Тейта имеет глубокие связи с различными областями математики, включая теорию автоморфных форм, программу Ленглендса и арифметическую геометрию. Её доказательство стало важным шагом в понимании распределения арифметических объектов.

Связь с программой Ленглендса

Доказательство гипотезы опирается на теорию автоморфных форм и, в частности, на результаты о модулярности эллиптических кривых (теорема о модулярности, доказанная Эндрю Уайлсом и другими). Гипотеза Сато — Тейта является частным случаем более общих гипотез о распределении собственных значений операторов Гекке, которые входят в программу Ленглендса.

Связь с L-функциями

Гипотеза Сато — Тейта тесно связана с аналитическими свойствами L-функций, ассоциированных с эллиптическими кривыми. В частности, она эквивалентна утверждению, что L-функция, построенная по симметрическим степеням представления Галуа, не имеет нулей на прямой \(\Re(s) = 1\) (за исключением возможных полюсов). Это свойство было использовано при доказательстве.

Обобщения

Гипотеза Сато — Тейта была обобщена на более широкий класс объектов. В частности, для модулярных форм и для представлений Галуа существуют аналогичные утверждения о распределении собственных значений. В 2012 году Ричард Тейлор и его соавторы доказали гипотезу Сато — Тейта для всех эллиптических кривых, определённых над вполне вещественными полями, при условии, что кривая не имеет комплексного умножения.

Для эллиптических кривых с комплексным умножением распределение нормированных следов Фробениуса является равномерным на единичной окружности, что было известно ещё до формулировки гипотезы Сато — Тейта.

Примеры

Пример 1: Кривая \(y^2 = x^3 - x\)

Рассмотрим эллиптическую кривую \(E: y^2 = x^3 - x\). Она не имеет комплексного умножения. Для небольших простых чисел можно вычислить следы Фробениуса:

• \(p = 2\): \(N_2 = 2\), \(a_2 = 1\), \(\theta_2 \approx 0.353\).
• \(p = 3\): \(N_3 = 3\), \(a_3 = 1\), \(\theta_3 \approx 0.288\).
• \(p = 5\): \(N_5 = 7\), \(a_5 = -1\), \(\theta_5 \approx -0.223\).

При увеличении числа простых чисел распределение \(\theta_p\) приближается к полукруговой мере.

Пример 2: Кривая \(y^2 = x^3 + 1\)

Эта кривая имеет комплексное умножение (кольцо эндоморфизмов содержит корни из единицы). Для неё распределение следов Фробениуса является равномерным, что подтверждается численными экспериментами.

Критика и обсуждение

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

Интересные факты

• Гипотеза Сато — Тейта была вдохновлена численными экспериментами, которые Сато проводил на компьютере в 1960-х годах, что делает её одним из ранних примеров использования вычислительных методов в чистой математике.
• Доказательство гипотезы потребовало развития глубоких теорий, включая теорию автоморфных форм и программу Ленглендса, и заняло почти 50 лет.
• За работы, связанные с доказательством гипотезы, Ричард Тейлор получил премию Коула в 2002 году и премию Шао в 2015 году.

Источники

• Сато М., Тейт Дж. «О распределении следов Фробениуса для эллиптических кривых» (1963).
• Тейлор Р., Харрис М., Шеферд-Бэррон Н. «Доказательство гипотезы Сато — Тейта для эллиптических кривых с мультипликативной редукцией» (2006).
• Тейлор Р. и др. «Полное доказательство гипотезы Сато — Тейта» (2011).
• Ленглендс Р. «Программа Ленглендса и гипотеза Сато — Тейта» (обзорная статья, 2012).