Комплексный анализ
Модулярные формы
Почему функция, заданная на верхней полуплоскости и подчиняющаяся простому уравнению симметрии, способна закодировать информацию о простых числах, разбиениях и доказать теорему, стоявшую открытой 358 лет?
- **Доказательство ВТФ:** Уайлс (1994) доказал теорему, показав что кривая Фрея не может быть модулярной - противоречие, занявшее 200+ страниц и закрывшее 358 лет истории.
- **TLS/HTTPS:** Теорема Shimura-Taniyama-Weil: каждая рациональная эллиптическая кривая соответствует форме веса 2. Это основа безопасности криптографии на эллиптических кривых.
- **Теория струн:** Партиционная функция бозонной струны - модулярная форма веса -12. Модулярная инвариантность эквивалентна согласованности квантовой теории поля в 26 измерениях.
- **Лунное сияние:** j-инвариант кодирует представления монстр-группы (порядок ~8·10^53). Борчердс доказал это в 1992 году, получив медаль Филдса.
Предварительные знания
- Комплексный анализ: голоморфные функции
- Группа SL(2,Z)
- Ряды Фурье
Модулярные формы и группа SL(2,Z)
Модулярная форма веса k - это голоморфная функция f на верхней полуплоскости H = {τ ∈ C : Im(τ) > 0}, удовлетворяющая условию преобразования относительно группы SL(2,Z) и допускающая аналитическое продолжение в точку τ = i∞. Группа SL(2,Z) порождается сдвигом T: τ → τ+1 и инверсией S: τ → -1/τ. Периодичность f(τ+1) = f(τ) гарантирует разложение Фурье в переменной q = e^{2πiτ}.
Серия Эйзенштейна E_k(τ) = 1 - (2k/B_k) * Σ σ_{k-1}(n) q^n, где B_k - числа Бернулли. Первые значения: E_4 = 1 + 240*(q + 9q^2 + ...), E_6 = 1 - 504*(q + 33q^2 + ...). j-инвариант: j(τ) = E_4^3/Δ = q^{-1} + 744 + 196884q + .... Коэффициент 196884 = 196883 + 1, где 196883 - размерность наименьшего непрямолинейного представления монстр-группы (лунное сияние Борчердса, 1992).
Связь с эллиптическими кривыми: для кривой E: y^2 = x^3 + ax + b модулярная форма f_E = Σ a_n q^n имеет a_p = p + 1 - |E(F_p)|. L-функция L(E, s) = Σ a_n n^{-s} продолжается аналитически, поскольку f_E - модулярная форма. Теорема Shimura-Taniyama-Weil: каждая рациональная эллиптическая кривая соответствует параболической форме веса 2.
Не каждая периодическая голоморфная функция является модулярной формой - требуется условие роста в кусп-точках. Пространства M_k(SL(2,Z)) тривиальны для нечётных k и для k = 0, 2. Первые ненулевые пространства: M_4, M_6, M_8, M_10, M_12. Различие: cusp forms (a_0 = 0) и серии Эйзенштейна (a_0 ≠ 0) порождают M_k вместе.
Модулярная форма веса k удовлетворяет f((aτ+b)/(cτ+d)) = ?
Это определяющее соотношение модулярной формы: при действии матрицы из SL(2,Z) функция умножается на автоморфный множитель (cτ+d)^k. При k=0 - полная инвариантность (модулярные функции, а не формы).
Теория Хекке и L-функции
Доказательство Великой теоремы Ферма в 1994 году Эндрю Уайлсом использовало теорию модулярных форм: кривая Фрея из гипотетического контрпримера не может быть модулярной. Операторы Хекке - ключевой инструмент, связывающий q-коэффициенты с L-функциями. Пространство M_k(SL(2,Z)) конечномерно и разложимо в прямую сумму собственных подпространств операторов Хекке.
Теорема о базисе собственных форм: M_k(SL(2,Z)) = S_k ⊕ E_k, где S_k - cusp forms, E_k - серии Эйзенштейна. Каждое из этих пространств имеет базис из форм Хекке (нормированных eigenforms). При dim S_k = 1: единственная нормированная форма - уже Хекке форма (например, Δ при k=12). L-функции собственных форм обладают эйлеровым произведением.
Размерность dim M_12(SL(2,Z)) равна:
По формуле: для k=12 ≡ 0 (mod 12), dim M_12 = floor(12/12) + 1 = 2. Пространство M_12 порождено E_12 (серия Эйзенштейна) и Δ (единственная cusp form). В разложении M_12 = S_12 ⊕ <E_12>: dim S_12 = 1.
Приложения и лунное сияние
j-инвариант j(τ) = E_4^3/Δ - главная модулярная функция (вес 0): j(τ) = q^{-1} + 744 + 196884q + 21493760q^2 + .... Коэффициент 196884 = 196883 + 1, где 196883 - размерность наименьшего непрямолинейного представления монстр-группы. Это наблюдение Мак-Кея 1978 года привело к программе 'лунного сияния' (Борчердс, 1992, медаль Филдса): между модулярными формами и теорией представлений монстр-группы существует глубокое соответствие.
Теорема Рамануджана о разбиениях: функция p(n) - количество разбиений числа n - порождается 1/Δ(q^{1/24}) = Σ p(n) q^n. Формула Харди-Рамануджана: p(n) ~ exp(π√(2n/3)) / (4n√3). Это следствие модулярности производящей функции. Аналогично: r_4(n) = 8 Σ_{4 не делит d | n} d - через модулярные формы веса 2 (теорема Якоби о сумме 4 квадратов).
Функция Рамануджана τ(n) при n=2 равна:
τ(2) = -24 - коэффициент q^2 в разложении Δ(τ) = q∏(1-q^n)^24. Первые значения: τ(1)=1, τ(2)=-24, τ(3)=252, τ(4)=-1472, τ(5)=4830. Мультипликативность: τ(mn) = τ(m)τ(n) при gcd(m,n)=1.
Связи с другими разделами математики
Модулярные формы стоят на пересечении комплексного анализа, теории чисел и алгебраической геометрии.
- Теория чисел — Связанная тема
- Эллиптические кривые — Связанная тема
- Программа Ленглэндса — Связанная тема
- Теория струн — Связанная тема
Итоги
- Модулярная форма веса k: f((aτ+b)/(cτ+d)) = (cτ+d)^k f(τ) для всех матриц SL(2,Z), голоморфность в кусп-точках
- q-разложение f = Σ a_n q^n (q = e^{2πiτ}) - коэффициенты несут арифметическую информацию
- Функция Δ Рамануджана - единственная (до скаляра) параболическая форма веса 12; τ(n) мультипликативна
- Операторы Хекке T_p коммутируют; собственные значения форм Хекке связаны с L-функциями через произведение Эйлера
- STW: рациональные эллиптические кривые соответствуют параболическим формам веса 2 - ключ к доказательству ВТФ