Теория Тейхмюллера и пространства модулей

Как классифицировать все возможные комплексные структуры на поверхности данного рода, и почему пространство таких структур само оказывается красивым комплексным многообразием?

• **Теория струн:** Интеграл по историям мировых листов бозонной струны - это интеграл по M_g в метрике Вайля-Петерссона. Вклад рода g пропорционален объёму M_g.
• **Квантовая гравитация:** T_g - фазовое пространство гравитации Чёрна-Саймонса в 2+1 измерениях. Квантование этого пространства - открытая задача.
• **Компьютерная графика:** Конформные отображения поверхностей применяются для UV-развёртки в 3D-рендерерах.
• **Биология:** Квазиконформные отображения используются для морфологического сравнения биологических поверхностей - нейронных клеток и органов.

Пространство Тейхмюллера и квазиконформные отображения

Риманова поверхность рода g - это компактная ориентированная поверхность Σ_g с голоморфными картами перехода. Пространство Тейхмюллера T_g параметризует все конформно неэквивалентные комплексные структуры на Σ_g с фиксированной маркировкой. Освальд Тейхмюллер в 1939 году показал, что T_g - клеточный шар размерности 6g-6 для g ≥ 2. Ларс Берс в 1960 году нашёл вложение T_g в C^{3g-3}.

Метрика Вайля-Петерссона: определяется через L^2-норму квадратичных дифференциалов относительно метрики Пуанкаре. T_g с этой метрикой - симплектическое многообразие с формой Вольфа. Объём M_g вычислен по формуле Мирзахани (2007) через полиномы от площадей граничных компонент.

Координаты Фенхеля-Нильсена: T_g описывается через разрезание Σ_g по 3g-3 кривым (штанное разложение). Каждая кривая γ_i задаёт длину l_i и угол θ_i. Итого 6g-6 вещественных параметров. Форма Вольфа-Петерссона: ω_{WP} = Σ dl_i ∧ dθ_i. Это глобальные симплектоморфные координаты.

T_g - контрактируемое комплексное многообразие (клеточный шар). M_g - нетривиальный орбифолд со спец. точками, соответствующими поверхностям с нетривиальными автоморфизмами. Некомпактность M_g: поверхности с вырождающимися кривыми уходят на бесконечность; компактификация Делинь-Мамфорда M_g^{bar} добавляет стабильные кривые.

Группа отображений и теоремы Терстона

Группа отображений Mod_g = π_0(Homeo+(Σ_g)) - группа связных компонент ориентированных гомеоморфизмов. Она действует на T_g должным образом. Терстон классифицировал гомеоморфизмы поверхностей: каждый изотопен периодическому, редуцибельному или pseudo-Anosov. Pseudo-Anosov гомеоморфизмы - генерические; они растягивают в одном направлении и сжимают в другом на фактор λ > 1 (дилатация), действуя на T_g с переносом log λ в метрике Тейхмюллера.

Связи с другими областями

Теория Тейхмюллера объединяет комплексный анализ, топологию поверхностей и математическую физику.

• Римановы поверхности — Пространство Тейхмюллера параметризует комплексные структуры на римановой поверхности
• Эллиптические функции — Модулярное пространство торов = верхняя полуплоскость / SL(2,Z) - простейший пример Тейхмюллера
• Комплексная динамика и фракталы — Теория Тейхмюллера применяется к моделям пространств голоморфных динамических систем

Итоги

• T_g = пространство маркированных конформных структур на Σ_g; вещественная размерность 6g-6 для g ≥ 2
• Квазиконформное отображение: ∂_{z_bar}f = μ ∂_z f с ||μ||_∞ < 1; дилатация K(f) = (1+||μ||)/(1-||μ||)
• Метрика Тейхмюллера d_T(S_1,S_2) = (1/2) inf log K(f); единственное оптимальное отображение задаётся квадратичным дифференциалом
• Mod_g = π_0(Homeo+(Σ_g)) действует на T_g должным образом; фактор M_g - пространство модулей кривых
• Координаты Фенхеля-Нильсена (l_i, θ_i) - глобальные координаты; ω_{WP} = Σ dl_i ∧ dθ_i