Модульная эллиптическая кривая

Графики эллиптических кривых y ² = x ³ - x и y ² = x ³ - x + 1. Если мы рассматриваем их как кривые над рациональными числами, то теорема модульности утверждает, что они могут быть параметризованы модулярной кривой.

Модульная эллиптическая кривая является эллиптической кривой Е , которая допускает параметризацию X ₀ ( N ) → E с помощью модульной кривой . Это не то же самое, что модульная кривая, которая оказывается эллиптической кривой, которую можно назвать эллиптической модульной кривой. Теорема модульности , также известная как гипотеза Таниямы – Шимуры , утверждает, что каждая эллиптическая кривая, определенная над рациональными числами, является модулярной.

История и значение [ править ]

В 1950-х и 1960-х годах японский математик Горо Шимура предположил связь между эллиптическими кривыми и модулярными формами на основе идей Ютаки Таниямы . На Западе об этом стало известно благодаря статье Андре Вейля 1967 года . Поскольку Вейль дает концептуальное подтверждение этому, это иногда называют гипотезой Таниямы – Шимуры – Вейля . Он утверждает, что каждая рациональная эллиптическая кривая является модульной .

На отдельной ветви развития, в конце 1960-х годов Ив Хеллегуарх пришел к идее связать решения ( a , b , c ) уравнения Ферма с совершенно другим математическим объектом: эллиптической кривой. ^[1] Кривая состоит из всех точек на плоскости, координаты ( x , y ) которых удовлетворяют соотношению

{\ Displaystyle у ^ {2} = х (ха ^ {п}) (х + Ь ^ {п}). \,}

Такая эллиптическая кривая будет обладать очень особыми свойствами, которые связаны с появлением в ее уравнении высоких степеней целых чисел и тем фактом, что a ⁿ + b ⁿ = c ^{n также} является n- й степенью.

Летом 1986 года Кен Рибет продемонстрировал, что, как и ожидал Фрей, частный случай гипотезы Таниямы – Шимуры (еще не доказанной в то время) вместе с уже доказанной эпсилон-гипотезой влечет Великую теорему Ферма. Таким образом, если гипотеза Таниямы – Шимуры верна для полустабильных эллиптических кривых, то Великая теорема Ферма будет верной. Однако этот теоретический подход считался недостижимым, поскольку гипотеза Таниямы-Шимуры сама по себе считалась совершенно недоступной для доказательства с учетом имеющихся данных. ^[2] Например, бывший руководитель Уайлса Джон Коутс заявляет, что «фактически доказать невозможно», ^[3]и Кен Рибет считал себя «одним из подавляющего большинства людей, которые считали [это] полностью недоступным». ^[4]

Услышав в 1986 году доказательство эпсилон-гипотезы, Уайлс решил начать исследования исключительно в направлении доказательства гипотезы Таниямы – Шимуры. Позже Рибет прокомментировал, что «Эндрю Уайлс был, вероятно, одним из немногих людей на земле, у которых хватило смелости мечтать, что вы действительно можете пойти и доказать [это]». ^[4]

Впервые Уайлс объявил о своем доказательстве в среду, 23 июня 1993 г., на лекции в Кембридже под названием «Эллиптические кривые и представления Галуа». ^[5] Однако в сентябре 1993 года было обнаружено, что доказательство содержит ошибку. Год спустя, в понедельник 19 сентября 1994 года, в то, что он назвал «самым важным моментом [его] трудовой жизни», Уайлс наткнулся на откровение, «такое неописуемо красивое ... такое простое и такое элегантное», что позволило ему исправить доказательство к удовлетворению математического сообщества. Правильное доказательство было опубликовано в мае 1995 года. В доказательстве используются многие методы из алгебраической геометрии и теории чисел., и имеет много ответвлений в этих разделах математики. Он также использует стандартные конструкции современной алгебраической геометрии, такие как категории из схем и теории Ивасавы , и других метод 20-го века , не доступных для Ферма.

Теорема модульности [ править ]

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

{\ Displaystyle X_ {0} (N) \}

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

Из теоремы модульности следует тесно связанное аналитическое утверждение: к эллиптической кривой E над Q мы можем присоединить соответствующий L-ряд . В L -ряды представляет собой ряд Дирихле , обычно пишется

{\ Displaystyle L (s, E) = \ prod _ {p} L_ {p} (s, E) ^ {- 1} = \ sum _ {n = 1} ^ {\ infty} {\ frac {a_ { п}} {п ^ {s}}}}

где произведение и коэффициенты определены в дзета-функции Хассе – Вейля . Тогда производящая функция коэффициентов равна ${\ displaystyle a_ {n}}$ ${\ displaystyle a_ {n}}$

{\ displaystyle f (q, E) = \ sum _ {n = 1} ^ {\ infty} a_ {n} q ^ {n}.}

Если мы сделаем замену

q=e^{2\pi i\tau }\

мы видим, что мы написали разложение Фурье функции комплексной переменной τ , поэтому коэффициенты q- ряда также считаются коэффициентами Фурье . Примечательно, что функция, полученная таким образом, является кусп-формой веса два и уровня N, а также собственной формой (собственным вектором всех операторов Гекке ); это гипотеза Хассе – Вейля , вытекающая из теоремы модульности. $f(\tau ,E)$ $f$

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

Ссылки [ править ]

^ Hellegouarch, Ив (2001). Приглашение к математике Ферма – Уайлса . Академическая пресса. ISBN 978-0-12-339251-0.
^ Сингх, Саймон (октябрь 1998 г.). Загадка Ферма . Нью-Йорк: якорные книги. ISBN 978-0-385-49362-8. Zbl 0930,00002 .^{: 203–205, 223, 226}
^ Сингх, Саймон (октябрь 1998 г.). Загадка Ферма . Нью-Йорк: якорные книги. ISBN 978-0-385-49362-8. Zbl 0930,00002 .^{: 226}
^ a b Сингх, Саймон (октябрь 1998 г.). Загадка Ферма . Нью-Йорк: якорные книги. ISBN 978-0-385-49362-8. Zbl 0930,00002 .^{: 223}
^ Kolata, Gina (24 июня 1993). «Наконец-то крик« Эврика! » В вековой математической тайне » . Нью-Йорк Таймс . Проверено 21 января 2013 года .

Дальнейшее чтение [ править ]

Уайлс, Эндрю (1995), "Модульные эллиптические кривые и теорема Ферма", Анналы математики , вторая серия, 141 (3): 443-551, CiteSeerX 10.1.1.169.9076 , DOI : 10,2307 / 2118559 , ISSN 0003-486X , JSTOR 2118559 , Руководство по ремонту 1333035
Уайлс, Эндрю (1995), "Модульные формы, эллиптические кривые и последняя теорема Ферма", Труды Международного конгресса математиков, Vol. 1, 2 (Цюрих, 1994) , Базель, Бостон, Берлин: Birkhäuser, стр. 243–245, MR 1403925

[1] Hellegouarch, Ив (2001). Приглашение к математике Ферма – Уайлса . Академическая пресса. ISBN 978-0-12-339251-0.

[singh-2] Сингх, Саймон (октябрь 1998 г.). Загадка Ферма . Нью-Йорк: якорные книги. ISBN 978-0-385-49362-8. Zbl 0930,00002 .^{: 203–205, 223, 226}

[3] Сингх, Саймон (октябрь 1998 г.). Загадка Ферма . Нью-Йорк: якорные книги. ISBN 978-0-385-49362-8. Zbl 0930,00002 .^{: 226}

[ReferenceA-4] Сингх, Саймон (октябрь 1998 г.). Загадка Ферма . Нью-Йорк: якорные книги. ISBN 978-0-385-49362-8. Zbl 0930,00002 .^{: 223}

[nyt-5] Kolata, Gina (24 июня 1993). «Наконец-то крик« Эврика! » В вековой математической тайне » . Нью-Йорк Таймс . Проверено 21 января 2013 года .

[1]