Теория чисел
Модулярные формы
Что объединяет коэффициенты формы Рамануджана, эллиптические кривые и Великую теорему Ферма?
- **Доказательство ВТФ:** Уайлс (1994) - через теорему модулярности; завершил 358-летнюю эпопею
- **Программа Ленглендса:** модулярные формы как автоморфные представления GL_2; центральный объект современной теории чисел
- **Криптография:** L-функции модулярных форм связаны с эллиптическими кривыми, основой ECC
- **Струнная теория:** партиционные функции суперструн на торе - модулярные формы; модулярность - физическое требование
Предварительные знания
- Комплексный анализ и голоморфные функции
- Группы и их действия на множествах
- Эллиптические кривые и L-функции
- Конгруэнц-подгруппы SL_2(Z)
Определение и симметрия
Модулярные формы - функции на верхней полуплоскости с замечательной симметрией: при действии группы SL_2(Z) дробно-линейными преобразованиями они умножаются на множитель (c*tau + d)^k. В 1994 году Эндрю Уайлс доказал, что каждая полуустойчивая эллиптическая кривая над Q соответствует модулярной форме весом 2 - и это завершило 358-летнюю эпопею Великой теоремы Ферма.
В 1985 году Герхард Фрей предположил: если a^p + b^p = c^p при p > 2, то эллиптическая кривая y^2 = x(x-a^p)(x+b^p) не может быть модулярной. Кен Райбет доказал это; Уайлс доказал гипотезу Танияма-Шимуры (модулярность полуустойчивых кривых). Великая теорема Ферма пала по противоречию.
Что означает условие f(-1/tau) = tau^k * f(tau) для модулярной формы веса k?
q-разложение и форма Рамануджана
Сриниваса Рамануджан в 1916 году изучил функцию tau(n) - коэффициенты дискриминантной формы Delta веса 12. Он заметил удивительные свойства: tau(n) мультипликативна, и для простых p неравенство |tau(p)| <= 2*p^{11/2}. Последнее (гипотеза Рамануджана) было доказано лишь в 1974 году Пьером Делинем через грандиозную программу Гротендика - и принесло ему медаль Филдса.
Кольцо модулярных форм для SL_2(Z) изоморфно C[E_4, E_6] - свободное полиномиальное кольцо от двух генераторов. Размерность M_k = floor(k/12) + 1 - lambda, где lambda учитывает поправку при k = 2 mod 12. Это позволяет легко проверять равенства форм.
Что утверждает гипотеза Рамануджана о коэффициентах формы Delta?
Операторы Гекке и модулярность
Эрих Гекке в 1937 году ввёл операторы T_p, действующие на пространствах модулярных форм. Их собственные функции (формы Гекке) имеют мультипликативные коэффициенты - это объясняет 'арифметическую магию' tau(n). Современная теория Ленглендса связывает Гекке-форму с автоморфным представлением GL_2(A_Q), а её L-функция совпадает с L-функцией соответствующей эллиптической кривой - сердцевина теоремы модулярности.
Модулярные формы в современной математике
Модулярные формы пронизывают теорию чисел, алгебраическую геометрию и физику.
- Эллиптические кривые — Теорема модулярности связывает каждую эллиптическую кривую с cusp-формой; основа доказательства ВТФ
- Программа Ленглендса — Модулярные формы - автоморфные представления GL_2(A_Q); функториальность связывает с галуа-представлениями
- Гипотеза BSD — Порядок нуля L(E, s) в s = 1 связан с рангом E(Q); L-функция вычисляется через f_E
- Струнная теория — Партиционные функции суперструн на торе - модулярные формы; модулярная инвариантность - физическое требование
Итоги
- **Модулярная форма веса k:** функция на H с f((a*tau+b)/(c*tau+d)) = (c*tau+d)^k * f(tau) для Gamma <= SL_2(Z)
- **Каспы:** регулярность в граничных точках; параболические формы S_k(Gamma) - дополнительно a_0 = 0
- **q-разложение:** f = sum a_n q^n, q = exp(2*pi*i*tau); коэффициенты a_n - арифметические инварианты
- **Форма Рамануджана Delta:** единственная cusp-форма веса 12 для SL_2(Z); tau(n) мультипликативна
- **Гипотеза Рамануджана:** |tau(p)| <= 2*p^{11/2} (доказана Делинем, 1974, медаль Филдса)
- **Операторы Гекке T_p:** собственные функции имеют мультипликативные коэффициенты
- **Теорема модулярности:** каждая E/Q соответствует cusp-форме веса 2; основа доказательства ВТФ
Что утверждает теорема модулярности (Уайлс и соавторы)?