Комплексный анализ
Римановы поверхности
Bitcoin и TLS используют ECDSA - алгоритм подписи на эллиптических кривых. Эллиптическая кривая y^2 = x^3 + ax + b - это компактная риманова поверхность рода 1, то есть тор. Безопасность всех криптовалют опирается на теорию римановых поверхностей, разработанную в XIX веке.
- Криптография: ECDSA (Bitcoin, TLS 1.3) - эллиптические кривые как торы
- Теорема Ферма: доказательство Уайлса 1995 г. через модулярные формы и торы
- Теория струн: компактификация дополнительных измерений в многообразия Калаби-Яу
- Алгебраическая геометрия: модульное пространство кривых - основа arithmetic geometry
- Функциональный анализ: пространства Харди на верхней полуплоскости
- Физика: поверхность Ферми в 3D как риманова поверхность
Многозначность и точки ветвления
log(z) - многозначная функция: log(1) = 2*pi*i*k для любого целого k. Криптография на эллиптических кривых работает с функциями вида y^2 = x^3 + ax + b. Чтобы определить sqrt(z) или log(z) однозначно, нужно выбрать ветвь - и понять, почему это нельзя сделать на всей C без разреза.
Точка ветвления z_0 - точка, при обходе вокруг которой ветвь функции переходит в другую. Для sqrt(z): z = r*exp(i*theta), sqrt(z) = sqrt(r)*exp(i*theta/2). При theta: 0 -> 2*pi ветвь переходит в -sqrt(z). Для log(z): theta: 0 -> 2*pi добавляет 2*pi*i - бесконечно много ветвей.
Эллиптические кривые y^2 = x^3 + ax + b - основа современной криптографии (ECDSA, используется в Bitcoin и TLS). Это компактные римановы поверхности рода 1. Операция сложения точек на кривой - результат теории абелевых функций. Абель-Якоби отображение - изоморфизм между риманово поверхностью и её якобиановым многообразием.
Сколько ветвей имеет функция z^(2/3)? Что происходит с каждой ветвью при обходе вокруг нуля?
Риманова поверхность: правильное пространство
Риманова поверхность - это 1-мерное комплексное многообразие (2-мерное вещественное многообразие) с голоморфными картами перехода. На ней многозначная функция становится однозначной. Вместо разрезов и скачков - единое связное пространство.
Для sqrt(z): берём два листа C (лист 0 для ветви e^(i*theta/2), лист 1 для -e^(i*theta/2)). Листы склеиваются вдоль разреза [0, +inf): верхний берег листа 0 - нижний берег листа 1. Результат топологически - цилиндр. Для log(z): бесконечно много листов, склейка образует спираль (геликоид).
Риманова поверхность sqrt(z) - это цилиндр или тор? Сколько граничных компонент у разреза [0, +inf)?
Теорема равномеризации и приложения
**Теорема равномеризации** (Пуанкаре, Кёбе, 1907): каждая односвязная риманова поверхность конформно эквивалентна ровно одному из трёх: C (комплексная плоскость), верхняя полуплоскость H, или сфера Римана CP^1. Это полная классификация - три геометрии.
Риманова поверхность - не только математика: в теории струн дополнительные измерения компактифицируются в многообразия Калаби-Яу, которые являются римановыми поверхностями высшего рода. Математика многолистных функций управляет физикой малых масштабов.
Теорема Ферма (1995, Вайлс): если a^n + b^n = c^n для n >= 3 - нет целых решений. Доказательство использует модульные формы и эллиптические кривые - то есть, теорию римановых поверхностей рода 1. 350 лет задача оставалась открытой. Риманова поверхность - не абстракция: это язык, на котором решаются главные теоремы математики.
Теорема равномеризации утверждает: три типа односвязных риманово поверхностей. Что определяет, к какому типу относится данная поверхность? Каков тип для верхней полуплоскости H?
Ключевые идеи
- Точка ветвления: при обходе вокруг неё ветвь функции переходит в другую (алгебраическая - конечный порядок, логарифмическая - бесконечный)
- Риманова поверхность: комплексное многообразие размерности 1, на котором многозначная функция однозначна
- sqrt(z): два листа, склейка по [0, +inf), топологически цилиндр
- log(z): счётно много листов, склейка образует геликоид
- Теорема равномеризации: односвязная риманова поверхность = C, H, или CP^1
- Эллиптические кривые (ECDSA, теорема Ферма) - компактные римановы поверхности рода 1
Связанные темы
Римановы поверхности обобщают комплексный анализ до геометрии.
- Нормальные семейства — Равномеризация использует теорему Римана об отображении, доказанную через Монтель
- Аналитическое продолжение — Риманова поверхность - максимальная область аналитического продолжения многозначной функции