Геометрия
Зеркальная симметрия
Цели урока
- Понять многообразия Калаби-Яу и зеркальные пары
- Увидеть, как зеркальная симметрия вычисляет инварианты Гуро-Виттена через периоды
- Знать гомологическую зеркальную симметрию HMS Концевича
- Понять SYZ-гипотезу - геометрическое построение зеркального
Предварительные знания
- Перечислительная геометрия и GW-инварианты
- Кэлерова геометрия
- Симплектическая геометрия
Почему геометрический счёт кривых N_3 = 317 206 375 так тяжёл, а вычисление через периоды - элементарно? Что это говорит о природе математики?
- Теория струн: CY-трёхмерия - компактификации пространства-времени в теории суперструн типа II; зеркальная симметрия - физическая эквивалентность двух компактификаций
- Вычислительная сила: N_3 = 317 206 375 кривых на квинтике вычислено через ОДУ из физики - геометрические методы дали ошибочный ответ
- Зеркальная симметрия для других многообразий: применяется к многообразиям Фано, торическим многообразиям, кривым - активная область исследований
- Программа Гросса-Сиберта: реализует SYZ через тропическую геометрию - связь между зеркальной симметрией и комбинаторикой
От физики к математике
Грин и Пиллесо в 1988 году обнаружили зеркальные пары в теории струн. Кандерлас, де ла Осса, Грин и Паркс в 1991 году вычислили числа кривых через периоды. Концевич в 1994 году сформулировал HMS. Полищук и Забрёнский в 1998 году доказали HMS для торов. Стромингер, Яу, Зальдман в 1996 году предложили SYZ. Гивенталь (1996) и Лянь-Лю-Яу (1997) доказали формулу для квинтики строго. Программа Гросса-Сиберта (2000-е) - текущий фронт работ. Концевич - Филдсовская медаль 1998 года.
Зеркальная симметрия: открытие из физики
1991 год. Кандерлас, де ла Осса, Грин и Паркс вычисляют из физики теории струн: на пятимерном многообразии Калаби-Яу содержится 317 206 375 рациональных кривых степени 3. Математики, пытавшиеся вычислить это геометрически, получали другой ответ. Два года споров - и оказалось, что ошиблись математики. Физики нашли что-то, чего геометрия не понимала.
Зеркальная симметрия меняет ролями симплектическую и комплексную геометрию. Считать рациональные кривые (A-сторона) тяжело. Вычислять периоды голоморфной формы (B-сторона) - легко. Перейти к зеркальному многообразию - и сложный счёт становится тривиальным вычислением.
Что связывает зеркальная симметрия?
Зеркальная симметрия: A-модель на X (GW-инварианты, симплектическая геометрия) = B-модель на X_mirror (периоды, комплексная геометрия). Числа Ходжа транспонированы: h^{p,q}(X) = h^{n-p,q}(X_mirror).
Инварианты Гуро-Виттена через периоды
Как вычислить N_3 = 317 206 375? Геометрически это интеграл по пространству модулей кривых размерности > 1000. Через зеркальную симметрию: это коэффициент в разложении решения дифференциального уравнения Пикара-Фукса.
Числа кривых на квинтике
Таблица GW-инвариантов
Квинтическое трёхмерие содержит: 2875 прямых (d=1), 609 250 коник (d=2), 317 206 375 кривых степени 3, 242 467 530 000 кривых степени 4. Эти числа вычислены через решение ОДУ четвёртого порядка. Физики нашли формулу в 1991 году. Строгое математическое доказательство - теорема Гивенталя и Лянь-Лю-Яу (1997).
Как зеркальная симметрия помогает вычислить инварианты Гуро-Виттена?
GW-инварианты X (A-сторона, сложный счёт кривых) вычисляются через периоды X_mirror (B-сторона, решение ОДУ). Это практический результат: N_3 = 317206375 вычисляется из ОДУ, а не из геометрии.
Гомологическая зеркальная симметрия Концевича
1994 год. Концевич на Международном конгрессе математиков формулирует гомологическую зеркальную симметрию (HMS). Это точная математическая версия физического феномена: зеркальность - это эквивалентность двух производных категорий.
HMS - это не просто изоморфизм двух чисел, а эквивалентность двух категорий. Категория - это весь математический мир объекта: объекты, морфизмы, их комбинации. Эквивалентность категорий - гораздо более глубокое утверждение, чем изоморфизм числовых инвариантов.
HMS доказана для многих классов многообразий: торов (Полищук-Забрёнский), K3-поверхностей, некоторых многообразий Калаби-Яу. Общий случай - одна из главных открытых проблем геометрии.
Что связывает гомологическая зеркальная симметрия Концевича?
HMS: D^b Coh(X) ~ D^b Fuk(X_mirror). Это эквивалентность двух принципиально разных категорий: когерентных пучков (алгебраическая геометрия) и категории Фукаи (симплектическая геометрия с флоэровской когомологией).
Деформации и SYZ-гипотеза
Как геометрически построить зеркальное многообразие? Стромингер, Яу и Зальдман в 1996 году предложили ответ: SYZ-гипотеза. Зеркальное многообразие получается T-дуализацией специальной лагранжевой расслоённости.
SYZ объясняет зеркальную симметрию геометрически: дуальность торических расслоений. Программа Гросса-Сиберта реализует эту идею строго через тропическую геометрию - дегенерации CY в полиэдральные комплексы, на которых T-дуальность становится комбинаторной.
Что предлагает SYZ-гипотеза для построения зеркального многообразия?
SYZ-гипотеза: X расслоено лагранжевыми торами T^n над базой B. Зеркальное X_mirror = пространство плоских U(1)-расслоений на слоях (T-дуализация). Это геометрическое объяснение транспозиции h^{p,q}.
Связи с другими темами
Зеркальная симметрия объединяет физику струн, гомологическую алгебру и комплексную геометрию.
- Перечислительная геометрия — Зеркальная симметрия даёт явные формулы для инвариантов Громова-Виттена
- Симплектическая геометрия — Симплектическая сторона зеркальной симметрии - категория Фукая
- Производная алгебраическая геометрия: введение — Современная формулировка зеркальной симметрии использует производные категории когерентных пучков
Итоги
- CY-многообразие: c_1(X)=0; числа Ходжа h^{p,q} описывают когомологическую структуру
- Зеркальная пара: h^{p,q}(X) = h^{n-p,q}(X_mirror); A- и B-модели меняются местами
- GW-инварианты X = периоды X_mirror - вычислительное сердце зеркальной симметрии
- HMS Концевича: D^b Coh(X) ~ D^b Fuk(X_mirror) - эквивалентность производных категорий
- SYZ: X_mirror = T-дуальное к лагранжевому расслоению X
- Квинтика: N_1=2875, N_2=609250, N_3=317206375 вычислены через ОДУ
Вопросы для размышления
- Почему физики смогли вычислить N_3 = 317 206 375 через физические рассуждения, а у математиков первоначально получился другой ответ?
- В чём принципиальное различие между числовым утверждением зеркальной симметрии (равенство GW-инвариантов периодам) и HMS Концевича?
- Как SYZ-гипотеза связывает зеркальную симметрию с T-дуальностью торических расслоений?
Связанные уроки
- geo-25 — Инварианты Гуро-Виттена - предмет зеркальной симметрии
- geom-23 — Симплектическая геометрия - A-сторона зеркальной симметрии
- dg-28 — Кэлерова геометрия - B-сторона зеркальной симметрии
- geo-27 — Тропическая геометрия связана с дегенерациями CY-многообразий
- geo-29 — Производная алгебраическая геометрия формализует HMS