[论文解读] The homotopy principle in complex analysis: a survey

Franc Forstnerič|ArXiv.org|Jan 8, 2003

Algebraic Geometry and Number Theory参考文献 49被引用 12

一句话总结

这篇综述论文全面概述了复分析中的同伦原理，重点讨论了Oka原理及其在Stein流形的全纯映射、嵌入和子mersions中的应用。它综合了Oka、Grauert和Gromov的奠基性成果，强调了凸积分、全纯逼近和粘贴技术的作用，表明拓扑障碍是解决某些复分析问题的唯一障碍。

ABSTRACT

This is a survey on the homotopy principle in complex analysis on Stein manifolds, also called the Oka principle in this context. We concentrate on the following topics: the Oka-Grauert principle (classification of holomorphic vector bundles); the homotopy principle for holomorphic mappings from Stein manifolds and, more generally, for sections of holomorphic submersions with sprays; question on removability of intersections of holomorphic mappings with complex subvarieties; embeddings and immersions of Stein manifolds in affine spaces of minimal dimension; embeddings of open Riemann surfaces in the affine plane; noncritical holomorphic functions on Stein manifolds and the Oka principle for holomorphic submersions of Stein manifolds to affine spaces.

研究动机与目标

• 将复分析中同伦原理的发展，特别是Oka原理，系统化并呈现为解决Stein流形上分析问题的统一框架。
• 阐明在何种条件下，拓扑或同伦障碍是复几何中全纯解存在的唯一障碍。
• 强调先进技术（如凸积分、全纯逼近和全纯映射的粘贴）在跨越关键点以扩展解方面的作用。
• 将经典结果（例如Oka定理、Grauert定理）与现代发展（包括非临界全纯函数和子mersions）联系起来。
• 识别开放问题和未来研究方向，特别是在代数范畴和高维情形中。

提出的方法

• 利用Oka原理，将全纯解的存在性简化为拓扑障碍的消失，特别是上同调群和同伦群中的障碍。
• 应用Gromov理论中的凸积分技术，通过在强拟凸函数的临界点处扩展映射，构造全纯子mersions。
• 使用Cartan对和双全纯过渡映射的全纯映射粘贴方法，将局部解拼合成全局解。
• 依赖全纯逼近定理，将多项式凸集上的非临界全纯函数扩展为C^n上的整函数。
• 利用C^n上全纯自同构的理论，构造保持最大秩的同伦，从而允许子mersions的扩展。
• 提出一种通过构造保持强拟凸性并允许全纯结构延续的光滑递增邻域，来跨越强拟凸耗尽函数的临界水平的方法。

实验结果

研究问题

• RQ1 全纯映射从Stein流形到复流形时，同伦原理在何种条件下成立？
• RQ2 每个从Stein流形到C^q的全纯子mersion是否都能被整个子mersion逼近，特别是在临界维数情况下？
• RQ3 是否可以使用同伦论方法在开黎曼曲面和更高维的Stein流形上构造非临界全纯函数？
• RQ4 如何利用光滑和全纯粘贴技术，将全纯子mersions扩展到拟凸函数的临界点处？
• RQ5 关于全纯子mersions和嵌入的结果在多大程度上可推广到代数范畴？

主要发现

• Oka原理对Stein流形上的全纯线丛成立：两个这样的丛全纯同构当且仅当它们拓扑同构。
• Grauert定理表明，对于Stein流形，任意秩的向量丛的全纯分类与拓扑分类一致，通过全纯截面与连续截面的弱同伦等价性实现。
• 非临界全纯函数存在于任意开黎曼曲面，如Gunning和Narasimhan所证明，该结果通过同伦论方法可推广至更高维的Stein流形。
• 通过凸积分和粘贴技术，可以跨越拟凸耗尽函数的临界点，构造从Stein流形到C^q（q > 1）的全纯子mersions。
• 全纯截面包含于Stein流形上全纯纤维丛的连续截面中，构成弱同伦等价，意味着拓扑障碍完全决定了全纯解的存在性。
• 在高余维情形下构造全纯子mersions依赖于全纯子流形上微分关系的充分性，从而可在拓扑变化处实现解的扩展。