Кэлерова геометрия

Гипотеза Калаби 1954 года спрашивала: существует ли на каждом компактном кэлеровом многообразии с нулевым классом Черна Риччи-плоская метрика? В 1976 году Яу доказал «да» - и получил Филдсовскую медаль. Это открыло путь к теории струн: шестимерные многообразия Калаби-Яу стали единственными кандидатами для компактификации дополнительных измерений, а числа Ходжа этих пространств кодируют спектр частиц в четырёхмерной вселенной.

• **Теория струн:** компактификации на многообразиях Калаби-Яу требуют Ricci-flat кэлеровой метрики - прямое следствие теоремы Яу.
• **Алгебраическая геометрия:** числа Ходжа h^{p,q} классифицируют комплексные многообразия; mirror symmetry меняет h^{1,1} и h^{2,1} местами.
• **Квантовая гравитация и TQFT:** инварианты Дональдсона и Громмова-Виттена вычисляются через когомологии кэлеровых пространств модулей.
• **Машинное обучение на многообразиях:** кэлерова структура на пространстве плотностных матриц лежит в основе квантового information geometry и variational quantum circuits.

Предварительные знания

• Предыдущий урок

Кэлерова структура

Кэлеровы многообразия были введены Эрихом Кэлером в 1933 году и заняли центральное место после доказательства Ходжем теоремы о разложении в 1941 году. Доказательство Яу гипотезы Калаби (1976, Филдсовская медаль 1982) строит Риччи-плоские кэлеровы метрики на каждом компактном многообразии Калаби-Яу - геометрической арене любой согласованной струнной компактификации со времён работы Candelas-Horowitz-Strominger-Witten (1985).

Кэлерово многообразие - это комплексное многообразие с эрмитовой метрикой, фундаментальная форма которой замкнута: dω=0. Это условие согласованности связывает комплексную, риманову и симплектическую структуры.

Тождества Кэлера и теорема Ходжа

На кэлеровом многообразии выполняются тождества Кэлера, связывающие операторы Лапласа. Теорема Ходжа отождествляет когомологии с гармоническими формами.

Кэлер-Эйнштейновские метрики и теорема Яу

Кэлер-Эйнштейновская метрика удовлетворяет Ric(omega) = lambda*omega для некоторой константы lambda. Гипотеза Калаби (1954): на компактном кэлеровом многообразии с c_1(M)=0 существует единственная Ricci-flat кэлерова метрика в каждом кэлеровом классе. Яу доказал её в 1976, решив сложное нелинейное уравнение Монжа-Ампера на многообразии.

Ключевые идеи

• dω=0 - условие Кэлера, обеспечивающее согласованность структур.
• Теорема Ходжа: H^{p,q} ≅ пространству гармонических форм.
• h^{p,q}=h^{q,p} - симметрия чисел Ходжа.

Дальнейшие пути

Изученные конструкции открывают путь к смежным разделам геометрии.

• dg-29 — extends

Вопросы для размышления

• Как условие dω=0 связано с параллельностью комплексной структуры?
• Почему числа Ходжа CP^n такие простые (все 0 или 1)?