Теорема Рибец - Ribets theorem - Wikipedia

В математика, Теорема Рибета (ранее назывался эпсилон-гипотеза или же ε-гипотеза) является утверждением в теория чисел относительно свойств Представления Галуа связана с модульные формы. Это было предложено Жан-Пьер Серр и доказано Кен Рибет. Доказательство эпсилон-гипотезы явилось значительным шагом к доказательству Последняя теорема Ферма. Как показали Серр и Рибет, Гипотеза Таниямы – Шимуры (чей статус в то время не был решен) и эпсилон-гипотеза вместе означают, что Великая теорема Ферма верна.

С математической точки зрения теорема Рибета показывает, что если представление Галуа, связанное с эллиптической кривой, имеет определенные свойства, то эта кривая не может быть модульной (в том смысле, что не может существовать модульная форма, которая дает начало тому же представлению Галуа).[1]

Заявление

Позволять ж быть весом 2 новая форма на Γ0(qN) –Т.е. уровня qN куда q не разделяет N–С абсолютно неприводимым двумерным модом п Представление Галуа ρf, p неразветвленный в q если qп и конечная квартира на q = п. Тогда существует новая форма веса 2 грамм уровня N такой, что

В частности, если E является эллиптическая кривая над с дирижер qN, то теорема модульности гарантирует, что существует новая форма веса 2 ж уровня qN такой, что 2-мерный мод п Представление Галуа ρf, p из ж изоморфна двумерному модулю п Представление Галуа ρE, p из E. Чтобы применить теорему Рибета к ρE, п, достаточно проверить неприводимость и разветвленность ρE, p. Используя теорию Кривая Тейт, можно доказать, что ρE, p не разветвлен в qп и конечная квартира на q = п если п делит власть, на которую q входит в минимальный дискриминант ΔE. Тогда из теоремы Рибета следует, что существует новая форма веса 2 грамм уровня N такой, что ρграмм, пρE, п.

Результат понижения уровня

Отметим, что теорема Рибета не гарантировать, что если начать с эллиптической кривой E дирижера qN, существует эллиптическая кривая E ' уровня N такой, что ρE, pρE′, п. Новая форма грамм уровня N могут не иметь рациональных коэффициентов Фурье и, следовательно, могут быть связаны с многомерным абелева разновидность, а не эллиптическая кривая. Например, эллиптическая кривая 4171a1 в базе данных Кремоны задается уравнением

с проводником 43 × 97 и дискриминантом 437 × 973 мод 7 не выравнивается по эллиптической кривой проводника 97. Скорее, мод п Представление Галуа изоморфно модулю п Представление Галуа иррациональной новой формы грамм 97 уровня.

Однако для п достаточно большой по сравнению с уровнем N новой формы с пониженным уровнем рациональная новая форма (например, эллиптическая кривая) должна быть ниже уровня другой рациональной новой формы (например, эллиптической кривой). В частности для пNN1+ε, мод п Представление Галуа рациональной новой формы не может быть изоморфно представлению иррациональной новой формы уровня N.[2]

Точно так же Frey-Мазур гипотеза предсказывает, что для п достаточно большой (независимо от проводника N) эллиптические кривые с изоморфным модулем п Представления Галуа на самом деле изогенный, а значит, и проводник. Таким образом, нетривиальное понижение уровня между рациональными новоформами не ожидается для больших п (особенно п > 17).

История

В своей диссертации Ив Хеллегуарх [fr ] пришла идея связать решения (а,б,c) уравнения Ферма с совершенно другим математическим объектом: эллиптической кривой.[3]Если п нечетное простое число и а, б, и c натуральные числа такие, что

затем соответствующий Кривая Фрея - алгебраическая кривая, заданная уравнением

Это неособая алгебраическая кривая рода один, определенная над , а его проективное пополнение представляет собой эллиптическую кривую над .

В 1982 г. Герхард Фрей обратил внимание на необычные свойства той же кривой, что и Хеллегуарх, которая теперь называется Кривая Фрея.[4] Это обеспечило мост между Ферма и Таниямой, показав, что контрпример к Великой теореме Ферма создаст такую ​​кривую, которая не будет модульной. Гипотеза вызвала значительный интерес, когда Фрей (1986) предположил, что из гипотезы Таниямы – Шимуры – Вейля следует Великая теорема Ферма. Однако его аргумент был неполным.[5] В 1985 г. Жан-Пьер Серр предположил, что кривая Фрея не может быть модульной, и предоставил частичное доказательство этого.[6][7] Это показало, что из доказательства полустабильного случая гипотезы Таниямы – Шимуры следует Великая теорема Ферма. Серр не предоставил полного доказательства, и то, что отсутствовало, стало известно как эпсилон-гипотеза или ε-гипотеза. Летом 1986 г. Кеннет Алан Рибет доказал эпсилон-гипотезу, тем самым доказав, что из гипотезы Таниямы – Шимуры – Вейля следует Великая теорема Ферма.[8]

Последствия для Великой теоремы Ферма

Предположим, что уравнение Ферма с показателем п ≥ 5[8] имел решение в ненулевых целых числах а, б, c. Сформируем соответствующую кривую Фрея Eап,бп,cп. Это эллиптическая кривая, и можно показать, что ее минимальный дискриминант Δ равно 2−8 (abc)2п и его дирижер N это радикальный из abc, то есть произведение всех различных простых чисел, делящих abc. Элементарным рассмотрением уравнения ап + бп = cп, ясно, что один из а, б, c четное и, следовательно, так N. По гипотезе Таниямы – Шимуры, E - модульная эллиптическая кривая. Поскольку все нечетные простые числа делят а, б, c в N казаться пстепени в минимальном дискриминанте Δ, по теореме Рибета можно выполнить уровень спуск по модулю п многократно, чтобы удалить все нечетные простые числа с проводника. Однако новых форм уровня 2 как рода модулярной кривой не существует. Икс0(2) равно нулю (и новые формы уровня N дифференциалы на Икс0(N)).

Смотрите также

Примечания

  1. ^ «Доказательство Великой теоремы Ферма». 2008-12-10. Архивировано из оригинал на 2008-12-10.
  2. ^ Силлиман, Джесси; Фогт, Изабель (2015). «Полномочия в последовательностях Лукаса через представления Галуа». Труды Американского математического общества. 143 (3): 1027–1041. arXiv:1307.5078. CiteSeerX  10.1.1.742.7591. Дои:10.1090 / S0002-9939-2014-12316-1. МИСТЕР  3293720.
  3. ^ Hellegouarch, Ив (1972). «Эллиптики Курба и уравнение Ферма». Докторская диссертация.
  4. ^ Фрей, Герхард (1982), "Rationale Punkte auf Fermatkurven und getwisteten Modulkurven" [Рациональные точки на кривых Ферма и скрученные модульные кривые], J. Reine Angew. Математика. (на немецком), 331 (331): 185–191, Дои:10.1515 / crll.1982.331.185, МИСТЕР  0647382
  5. ^ Фрей, Герхард (1986), "Связи между стабильными эллиптическими кривыми и некоторыми диофантовыми уравнениями", Annales Universitatis Saraviensis. Серия Mathematicae, 1 (1): iv + 40, ISSN  0933-8268, МИСТЕР  0853387
  6. ^ Серр, Ж.-П. (1987), "Lettre à J.-F. Mestre [Письмо к J.-F. Mestre]", Современные тенденции в арифметической алгебраической геометрии (Арката, Калифорния, 1985), Современная математика (на французском языке), 67, Провиденс, Род-Айленд: Американское математическое общество, стр. 263–268, Дои:10.1090 / conm / 067/902597, ISBN  9780821850749, МИСТЕР  0902597
  7. ^ Серр, Жан-Пьер (1987), "Sur les représentations modulaires de degré 2 de Gal (Q/Q)", Математический журнал герцога, 54 (1): 179–230, Дои:10.1215 / S0012-7094-87-05413-5, ISSN  0012-7094, МИСТЕР  0885783
  8. ^ а б Рибет, Кен (1990). «О модульных представлениях Гал (Q/Q), возникающие из модульных форм " (PDF). Inventiones Mathematicae. 100 (2): 431–476. Bibcode:1990InMat.100..431R. Дои:10.1007 / BF01231195. МИСТЕР  1047143.

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

внешняя ссылка