Комплексный анализ
Обобщённые дзета-функции
Как обобщение дзета-функции Римана на характеры и числовые поля позволяет понять распределение простых чисел в арифметических прогрессиях и структуру алгебраических расширений Q?
- **Криптография:** Теорема Дирихле о простых в прогрессиях используется в генерации ключей RSA (нужно простое p ≡ 3 mod 4 для некоторых схем).
- **Программа Ленглэндса:** В 2022 году Сарнак доказал новые случаи соответствия Ленглэндса - более 100 ведущих математиков работают над этой программой.
- **Алгоритмы факторизации:** Обобщённая GRH для L(s,χ) используется для оценки сложности GNFS - лучшего алгоритма факторизации.
- **Квантовые поля:** L-функции как партиционные функции; геометрическая программа Ленглэндса связана с D-модулями и КТП.
L-функции Дирихле
L-функции Дирихле обобщают дзета-функцию Римана, вводя характер χ - мультипликативный гомоморфизм из (Z/mZ)* в C*. Дирихле в 1837 году доказал через аналитические свойства L(s,χ) в точке s=1, что в каждой арифметической прогрессии {a, a+m, a+2m, ...} с gcd(a,m)=1 содержится бесконечно много простых чисел. Ключевой шаг: L(1,χ) ≠ 0 для непрямолинейного примитивного характера χ.
Специальные значения: L(1, χ_{-4}) = 1 - 1/3 + 1/5 - ... = π/4 (формула Лейбница). L(2, χ_{-4}) = G (постоянная Каталана). L(3, χ_{-4}) = π^3/32. Для квадратичного характера χ_D: L(1, χ_D) выражается через логарифмы единиц поля Q(√D) - формула Дирихле для числа классов.
Обобщённая GRH для L(s,χ): все нули в критической полосе лежат на Re(s) = 1/2. Следствие: наименьшее простое p ≡ 1 (mod q) не превосходит O(q^2 log^2 q) при GRH (без GRH - только O(q^{5.5+ε})).
Характер Кронекера (D/n) - обобщение символа Лежандра на все целые n, включая делители D. Для D = -4: (-4/n) = 0 если n чётное, 1 если n ≡ 1 (mod 4), -1 если n ≡ 3 (mod 4). Это примитивный характер mod 4. Главный характер χ_0 имеет L(1, χ_0) = ∞ (полюс через ζ(s)). Только нетривиальные примитивные характеры дают L(1, χ) ≠ 0 и конечное.
L(1, χ_{-4}) для характера Кронекера mod 4 равна:
L(1, χ_{-4}) = 1 - 1/3 + 1/5 - 1/7 + ... = π/4 - формула Лейбница. Это следует из аналитического продолжения и ненулевости L-функции примитивного характера в s=1. π²/6 = ζ(2), а ln 2 = L(1, χ_8) для другого характера.
Дзета Дедекинда и числовые поля
В 2022 году Питер Сарнак и соавторы доказали новые случаи гипотезы Ленглэндса, связывая L-функции аутоморфных форм с L-функциями галуазовых представлений. Дзета Дедекинда ζ_K(s) - аналог дзеты Римана для произвольного числового поля K, суммирование по ненулевым идеалам кольца целых O_K.
Специальные значения L-функций в целых точках выражаются через тригонометрические суммы. Для чётных характеров: L(2n, χ) - через π^{2n}. Для нечётных - через значения полигамма-функций. Эти значения связаны с периодами алгебраических многообразий через мотивы (программа Делиня). В теории чисел формулы дают объёмы гиперболических многообразий через значения дзеты Дедекинда.
Формула числа классов выражает вычет ζ_K в s=1 через:
Формула Дирихле: (s-1)ζ_K(s)|_{s→1} = 2^{r_1}(2π)^{r_2} h_K R_K / (w_K √|d_K|). Это уравнение связывает аналитическое свойство дзеты Дедекинда (вычет в полюсе) с алгебраическими инвариантами числового поля K.
Программа Ленглэндса и связи с физикой
L-функции являются центральными объектами программы Ленглэндса, объединяющей теорию чисел, геометрию и физику.
- Теория чисел — Связанная тема
- Теория представлений — Связанная тема
- Алгебраическая геометрия — Связанная тема
- КТП — Связанная тема
Итоги
- L(s, χ) = Σ χ(n)/n^s - обобщение ζ(s) на характеры; L(1,χ) ≠ 0 для примитивного χ - теорема Дирихле
- Функциональное уравнение для Λ(s,χ): симметрично относительно s → 1-s; корневое число ε через сумму Гаусса
- Дзета Дедекинда ζ_K(s) = ∏ (1-N(p)^{-s})^{-1} обобщает ζ(s) на числовые поля K
- Для абелевых K/Q: ζ_K(s) = ζ(s) · ∏ L(s,χ) - связь с дирихлевскими L-функциями
- Формула числа классов: вычет ζ_K в s=1 выражает h_K, R_K, d_K - инварианты числового поля