[论文解读] Complex dimensions of real manifolds, attached analytic discs and parametric argument principle

Mark Agranovsky|ArXiv.org|Apr 23, 2007

Holomorphic and Operator Theory参考文献 36被引用 5

一句话总结

本文通过广义参数辐角原理，将复空间中实流形的CR-维数与其附着解析圆盘族的几何性质联系起来，推导出CR-维数的下界。关键贡献是提出了一种新判据，用于判断实流形是否为CR-正则或复流形，该判据基于解析圆盘族映射的同调非平凡性，解决了长期存在的问题，如Globevnik-Stout猜想和实解析范畴下的条带问题。

ABSTRACT

Let $Ω$ be a smooth real analytic submanifold of a complex manifold $X$. We establish and study the link between the following 3 subjects: 1) topological properties of smooth families of attached analytic discs, the manifold $Ω$ admits, 2) lower bounds for dimensions of complex tangent spaces of $Ω$, 3) a generalization of the argument principle for smooth families of holomorphic mappings from the standard complex disc to $X$. In particular, we obtain characterization of complex manifolds and their boundaries in terms of attached analytic discs. The special case when $Ω$ is the graph, leads to new characterizations of holomorphic and $CR$ functions, and in particular, to solutions of some open problems about such functions.

研究动机与目标

• 将通过曲线的全纯延拓来表征全纯函数和CR函数的方法，推广至更高维实流形。
• 建立一种估计复流形中实子流形CR-维数的方法，利用附着解析圆盘族。
• 发展并应用参数辐角原理，作为平滑全纯映射族的工具，以推导流形的几何与解析约束。
• 通过将函数论问题转化为涉及解析圆盘的几何问题，解决实解析范畴下的条带问题和Globevnik-Stout猜想。

提出的方法

• 该方法首先将函数论问题提升至函数的图像上，将关于全纯性的提问转化为关于实子流形的复结构或CR-结构的提问。
• 将附着解析圆盘族建模为从单位圆盘到C^n的光滑全纯映射族，其参数由一个实参数流形给出。
• 核心技术使用部分全纯映射的广义辐角原理，将边界像的同调非平凡性与雅可比行列式非零联系起来。
• 证明依赖于de Rham对偶性，并在参数族的边界上对微分形式进行积分，表明若雅可比行列式恒为零，则与同调非平凡性矛盾。
• 通过映射的度理论和流形的结构，证明在某些假设下，某类微分形式在边界上的积分为零，若雅可比行列式恒为零，则导致矛盾。
• 该方法最终以反证法收尾：假设雅可比行列式不恒为零，将导致积分为零，与像的非平凡同调类矛盾。

实验结果

研究问题

• RQ1 在何种条件下，可通过附着解析圆盘族来从下界估计C^n中实子流形的CR-维数？
• RQ2 参数辐角原理能否通过解析圆盘族的同调行为来检测实流形中的非平凡CR-结构？
• RQ3 从单位圆周与参数流形的乘积映射到C^n的雅可比行列式非零，是否意味着像上存在非平凡的CR-几何？
• RQ4 该框架在多大程度上可将条带问题和Globevnik-Stout猜想推广至实解析范畴之外？
• RQ5 能否为CR-映射和CR-流形形式化一个强而量化的辐角原理，将复贡献与实贡献结合以计算 linking 数？

主要发现

• 本文证明：若一个光滑的解析圆盘族附着于实流形，且关联映射在边界上同调非平凡，则该映射的雅可比行列式不能恒为零，从而暗示存在非平凡的CR-结构。
• 当映射非退化且同调非平凡时，流形的CR-维数从下界受参数流形的维数限制。
• 条带问题得到解决：若一个函数在C中一维参数族的若尔当曲线族上定义，并能解析延拓至对应的解析圆盘，则该函数是全纯的。
• Globevnik-Stout猜想在实解析范畴中得以解决：若一个函数在CR-流形上定义，并能从附着于该流形的解析圆盘族中全纯延拓，则该函数是CR-函数。
• 参数辐角原理被广义化：非平凡CR-流形的边界不能是同调平凡的，且映射的度决定了边界上某些积分的非零性。