Многообразия Штейна

Картан в 1953 году сформулировал теоремы A и B, а Окка ещё с 1936 по 1953 год доказывал их для областей в C^n, завершив революцию в многомерном комплексном анализе. Эти теоремы стали основой производной алгебраической геометрии.

• **Производная алгебраическая геометрия:** ∞-категории когерентных пучков на штейновых многообразиях - основа derived algebraic geometry (Lurie, Toën).
• **PDE и dbar-теория:** L²-оценки Хёрмандера дают регулярность решений для систем с частными производными в комплексной области, включая уравнение Монжа-Ампера.
• **Квантовая механика:** пространства Бергмана на многообразиях Штейна - модели геометрического квантования по Кириллову-Костанту.
• **Комплексная аналитическая геометрия:** теорема Гротендика-Серра связывает GAGA-принцип с Oka-Cartan через сравнение алгебраических и аналитических когомологий пучков.

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

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

Определение и примеры многообразий Штейна

Штейн в 1951 году аксиоматизировал класс комплексных многообразий, где многомерный анализ работает как в C¹: голоморфные функции разделяют точки и локально задают координаты. Ока - Картан (Cartan теоремы A и B, 1953) полностью описывает когомологии пучков на таких многообразиях.

Теорема Хёрмандера и dbar-проблема

Хёрмандер (1965) доказал: на строго псевдовыпуклой области D с весом φ уравнение ∂̄u = f разрешимо с L²-оценкой ‖u‖² ≤ ∫|f|²e^{-φ}/λ_min, где λ_min - наименьшее собственное значение Леви-формы. Это ключевой инструмент комплексного анализа нескольких переменных и основа доказательства теорем Картана.

Теория Ока: приближение и интерполяция

Теория Ока (Oka 1936–1953, развитая Фордстнесом и Рупертом) изучает когда голоморфные отображения из штейновых многообразий можно приближать целыми отображениями. Принцип Ока: топологическое препятствие - единственное. Это обобщает теорему Митага-Леффлера и теорему Рунге на несколько переменных.

Следствие теоремы B: задача Миттага-Леффлера (построение функции с заданными главными частями полюсов) разрешима на любом штейновом многообразии.

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

• Штейново многообразие: голоморфно выпуклое + голоморфно отделимое
• Теорема A: когерентный пучок порождается глобальными сечениями
• Теорема B: H^q(X,F) = 0 для q≥1, F когерентного
• Вложение: X^n ↪ C^{⌈3n/2⌉+1}
• L²-оценки Хёрмандера: ‖u‖² ≤ ∫|f|²/λ_min на строго псевдовыпуклых

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

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

• ca-29-complex-alg-geom — extends

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

• Почему псевдовыпуклость равносильна голоморфной выпуклости (проблема Леви)? Какую роль сыграли L²-оценки Хёрмандера в доказательстве?
• Как теорема B Картана позволяет решить задачу Миттага-Леффлера на штейновом многообразии? Сформулируйте точную цепочку рассуждений.