Теорема Хассе

Перейти к навигацииПерейти к поиску

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

История

Важным вопросом теории эллиптических кривых над конечными полями является получение эффективного алгоритма подсчёта количества точек, лежащих на данной кривой. В 1924 году Эмиль Артин выдвинул гипотезу, ограничивающую число точек эллиптической кривой над конечным полем сверху и снизу[1]. Доказал эту гипотезу Хельмут Хассе в 1933 году и опубликовал в серии статей в 1936 году[2]. Впоследствии результаты работ Хассе были обобщены Андре Вейлем на кривые произвольного рода и использованы для изучения локальных дзета-функций.

Формулировка теоремы

Множество аффинных точек эллиптической кривой над полем для .

Теорема Хассе об эллиптических кривых утверждает, что количество точек на эллиптической кривой над конечным полем удовлетворяет неравенству .[3][4]

Неравенство вытекает из того факта, что отличается от , числа точек на проективной прямой над тем же полем, на сумму двух комплексно-сопряжённых чисел, имеющих модуль .

Доказательство

В ходе доказательства важнейшую роль будет играть видоизменённое уравнение

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

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

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

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

Для доказательства нам потребуются 4 леммы:

Лемма 1:

Лемма 2:

Лемма 3: Для всех n, для которых функция Xn определена, имеет место неравенство ст. Рn > ст. Qn.

Основная лемма: .

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

,

так что

. Теорема доказана.

Доказательство при помощи эндоморфизма Фробениуса

Существует альтернативное доказательство теоремы Хассе, в основе которого лежит использование эндоморфизма Фробениуса.

Для конечного поля с алгебраическим замыканием вводится отображение:

На точки эллиптической кривой оно действует следующим образом: , .

Для доказательства используются следующие 4 леммы.

Исходя из леммы 4, и поскольку , получается, что

для любых , где .

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

Так как дискриминант полинома меньше или равен нулю, то есть , то имеем .

Доказательство теоремы Хассе на основе эндоморфизма Фробениуса также лежит в основе алгоритма Шуфа. Данный алгоритм позволяет подсчитать количество точек для заданной эллиптической кривой за полиномиальное время.

Граница Хассе — Вейля

Обобщением границы Хассе для алгебраических кривых более высокого рода является граница Хассе — Вейля. Пусть имеется абсолютно неприводимая неособая кривая рода над конечным полем . Тогда для количества точек на этой кривой справедливо неравенство

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

Граница Хассе — Вейля является следствием более общих гипотез Вейля для проективных многообразий над конечным полем, сформулированных Андре Вейлем в 1949 году[5] и доказанных им для случая кривых.

Применение

Криптография

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

Связь с локальной дзета-функцией Римана

Дзета-функцию эллиптической кривой над полем можно записать в виде

,

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

Несложно показать, что для эллиптических кривых эта гипотеза эквивалентна теореме Хассе. Действительно, если , то является корнем квадратного многочлена , чей дискриминант по теореме Хассе. Значит, корни многочлена комплексно сопряжены и , что доказывает гипотезу Римана. И наоборот, из выполнения гипотезы Римана следует равенство , что означает, что корни комплексно сопряжены, а значит, дискриминант неположителен, что доказывает теорему Хассе.

Примечания

  1. Artin, Emil. Quadratische Körper im Gebiete der höheren Kongruenzen. II. Analytischer Teil // Mathematische Zeitschrift[нем.] : journal. — Luxemburg : Springer-Verlag, 1924. — Vol. 19, no. 1. — P. 207–246. — ISSN 0025-5874. — doi:10.1007/BF01181075. — Zbl 51.0144.05.MR 1544652 Архивная копия от 11 сентября 2018 на Wayback Machine.
  2. Hasse, Helmut. Zur Theorie der abstrakten elliptischen Funktionenkörper. I, II & III // Crelle’s Journal : journal. — Berlin : Walter de Gruyter, 1936. — Vol. 1936, no. 175. — ISSN 0075-4102. — doi:10.1515/crll.1936.175.193. — Zbl 0014.14903.
  3. Hasse’s bound for elliptic curves over finite fields. PlanetMath. Дата обращения: 18 декабря 2017. Архивировано 27 января 2021 года.
  4. Болотов А. А., Гашков С. Б., Фролов А. Б., Часовских А. А. Элементарное введение в эллиптическую криптографию : Алгебраические и алгоритмические основы. — М. : КомКнига, 2006. — Т. 1. — 328 с. — ISBN 5-484-00443-8.
  5. Weil, André. Numbers of solutions of equations in finite fields // Bulletin of the American Mathematical Society : journal. — N. Y. : American Mathematical Society, 1949. — Vol. 55, no. 5. — P. 497–508. — ISSN 0002-9904. — doi:10.1090/S0002-9904-1949-09219-4.MR 0029393 Архивная копия от 1 мая 2018 на Wayback Machine

Литература

  • Hurt, Norman E. (2003), Many Rational Points. Coding Theory and Algebraic Geometry, Mathematics and its Applications, vol. 564, Dordrecht: Kluwer/Springer-Verlag, ISBN 1-4020-1766-9, MR: 2042828,{{citation}}: Википедия:Обслуживание CS1 (лишняя пунктуация) (ссылка)
  • Niederreiter, Harald; Xing, Chaoping (2009), Algebraic Geometry in Coding Theory and Cryptography, Princeton: Princeton University Press, ISBN 978-0-6911-0288-7, MR: 2573098,{{citation}}: Википедия:Обслуживание CS1 (лишняя пунктуация) (ссылка)
  • Глава V Silverman, Joseph H. (1994), The arithmetic of elliptic curves, Graduate Texts in Mathematics, vol. 106, New York: Springer-Verlag, ISBN 978-0-387-96203-0, MR: 1329092,{{citation}}: Википедия:Обслуживание CS1 (лишняя пунктуация) (ссылка)
  • Washington, Lawrence C. (2008), Elliptic Curves. Number Theory and Cryptography, 2nd Ed, Discrete Mathematics and its Applications, Boca Raton: Chapman & Hall/CRC Press, ISBN 978-1-4200-7146-7, MR: 2404461,{{citation}}: Википедия:Обслуживание CS1 (лишняя пунктуация) (ссылка)
  • Глава 10 Гельфанд, А.О.; Линник, Ю.В. (1962), Элементарные методы в аналитической теории чисел, Москва: Физматгиз
  • Chahal, J.S.; Osserman, B. (2008), The Riemann Hypothesis for Elliptic Curves, Mathematical Association of America