WikiDer > Ранг эллиптической кривой

В математика, то ранг эллиптической кривой рациональный Морделл-Вейль звание эллиптическая кривая ${ displaystyle E}$ определяется над полем рациональное число. Это звание связано с несколькими нерешенными проблемами в теория чисел, в первую очередь Гипотеза Берча – Суиннертона-Дайера. Широко распространено мнение, что у эллиптической кривой не существует максимального ранга,^[1] и было показано, что существуют кривые с рангом до 28,^[2] но широко распространено мнение, что такие кривые встречаются редко. В самом деле, Гольдфельд ^[3] и позже Кац–Сарнак ^[4] предположил, что в подходящем асимптотическом смысле (см. ниже), ранг эллиптических кривых в среднем должен быть 1/2. Другими словами, половина всех эллиптических кривых должна иметь ранг 0 (что означает, что бесконечная часть ее группы Морделла – Вейля тривиальна), а другая половина должна иметь ранг 1; все остальные ранги состоят из 0% всех эллиптических кривых.

Высоты

Теорема Морделла – Вейля показывает, что ${ Displaystyle Е ( mathbb {Q})}$ конечно порожденная абелева группа, поэтому ${ Displaystyle E ( mathbb {Q}) cong E ( mathbb {Q}) _ {tors} times mathbb {Z} ^ {r}}$ куда ${ Displaystyle Е ( mathbb {Q}) _ {торс}}$ - конечная подгруппа кручения и р - ранг эллиптической кривой.

Чтобы получить разумное представление о «среднем», нужно уметь считать эллиптические кривые. ${ displaystyle E / mathbb {Q}}$ как-то. Это требует введения функция высоты на множестве рациональных эллиптических кривых. Чтобы определить такую ​​функцию, напомним, что рациональная эллиптическая кривая ${ displaystyle E / mathbb {Q}}$ можно представить в виде Форма Вейерштрасса, то есть мы можем написать

${ displaystyle E: y ^ {2} = x ^ {3} + Ax + B}$

для некоторых целых чисел ${ displaystyle A, B}$. Более того, эта модель уникальна, если для любого простого числа ${ displaystyle p}$ такой, что ${ displaystyle p ^ {4}}$ разделяет ${ displaystyle A}$, у нас есть ${ displaystyle p ^ {6} nmid B}$. Тогда мы можем предположить, что ${ displaystyle A, B}$ - целые числа, которые удовлетворяют этому свойству и определяют функцию высоты на множестве эллиптических кривых ${ displaystyle E / mathbb {Q}}$ к

${ Displaystyle H (E) = H (E (A, B)) = max {4 | A | ^ {3}, 27B ^ {2} }.}$

Тогда можно показать, что количество эллиптических кривых ${ displaystyle E / mathbb {Q}}$ с ограниченной высотой ${ Displaystyle H (E)}$ конечно.

Средний рейтинг

Обозначим через ${ displaystyle r (E)}$ ранг Морделла – Вейля эллиптической кривой ${ displaystyle E / mathbb {Q}}$. С функцией высоты ${ Displaystyle H (E)}$ Затем можно определить «средний ранг» как предел, при условии, что он существует:

${ displaystyle lim _ {X rightarrow infty} { frac { sum _ {H (E (A, B)) leq X} r (E)} { sum _ {H (E (A, B)) leq X} 1}}.}$

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

Верхние оценки среднего ранга

За последние два десятилетия был достигнут некоторый прогресс в решении задачи определения верхних границ среднего ранга. А. Брюмер ^[5] показал, что при условии Гипотеза Берча – Суиннертона-Дайера и Обобщенная гипотеза Римана что можно получить верхнюю оценку ${ displaystyle 2.3}$ для среднего звания. Хит-Браун показал ^[6] что можно получить верхнюю оценку ${ displaystyle 2}$, все еще предполагая те же две гипотезы. Наконец, Янг показал ^[7] что можно получить оценку ${ displaystyle 25/14}$; все еще предполагая обе гипотезы.

Бхаргава и Шанкар показал, что средний ранг эллиптических кривых ограничен сверху величиной ${ displaystyle 1.5}$ ^[8] и ${ displaystyle { frac {7} {6}}}$ ^[9] не предполагая ни гипотезы Берча – Суиннертона-Дайера, ни обобщенной гипотезы Римана. Это достигается путем вычисления среднего размера ${ displaystyle 2}$-Сельмер и ${ displaystyle 3}$-Группы Зельмера эллиптических кривых ${ displaystyle E / mathbb {Q}}$ соответственно.

Подход Бхаргавы и Шанкара

Безусловное доказательство Бхаргавы и Шанкара ограниченности среднего ранга эллиптических кривых получается с помощью некоторой точной последовательности, включающей группу Морделла-Вейля эллиптической кривой ${ displaystyle E / mathbb {Q}}$. Обозначим через ${ Displaystyle Е ( mathbb {Q})}$ группа Морделла-Вейля рациональных точек на эллиптической кривой ${ displaystyle E}$, ${ displaystyle operatorname {Sel} _ {p} (E)}$ в ${ displaystyle p}$-Сельмер группа ${ displaystyle E}$, и пусть Ш${ displaystyle {} _ {E} [p]}$ обозначить ${ displaystyle p}$-часть Группа Тейт-Шафаревич из ${ displaystyle E}$. Тогда мы имеем следующую точную последовательность

${ displaystyle 0 rightarrow E ( mathbb {Q}) / pE ( mathbb {Q}) rightarrow operatorname {Sel} _ {p} (E) rightarrow}$ Ш ${ displaystyle {} _ {E} [p] rightarrow 0.}$

Это показывает, что классифицировать из ${ displaystyle operatorname {Sel} _ {p} (E)}$, также называемый ${ displaystyle p}$-Сельмер ранг ${ displaystyle E}$, определенное как неотрицательное целое число ${ displaystyle s}$ такой, что ${ displaystyle # operatorname {Sel} _ {p} (E) = p ^ {s}}$, является верхней оценкой ранга Морделла-Вейля ${ displaystyle r}$ из ${ Displaystyle Е ( mathbb {Q})}$. Следовательно, если можно вычислить или получить верхнюю границу на ${ displaystyle p}$-Сельмер ранг ${ displaystyle E}$, то можно было бы ограничить и ранг Морделла-Вейля в среднем.

В Бинарные квартики с ограниченными инвариантами и ограниченность среднего ранга эллиптических кривых, Бхаргава и Шанкар вычислили в среднем 2-ранг Сельмера эллиптических кривых. Они сделали это, посчитав бинарные квартичные формы, используя метод, использованный Берчем и Суиннертоном-Дайером в их первоначальном вычислении аналитического ранга эллиптических кривых, что привело к их знаменитой гипотезе.

Наибольшие известные ранги

Распространенная гипотеза состоит в том, что для эллиптической кривой не существует ограничения на максимально возможный ранг. В 2006 г. Ноам Элкис открыл эллиптическую кривую ранга не менее 28:^[2]

у² + ху + у = Икс³ − Икс² − 20067762415575526585033208209338542750930230312178956502Икс + 34481611795030556467032985690390720374855944359319180361266008296291939448732243429

В 2020 году Элкис и Зев Клагсбрун обнаружили кривую с рангом ровно 20:^[10][11]

у² + ху + у = Икс³ − Икс² -

244537673336319601463803487168961769270757573821859853707Икс +961710182053183034546222979258806817743270682028964434238957830989898438151121499931

Рекомендации