[论文解读] Nonvanishing of the differential of holomorphic mappings at boundary points

M. S. Baouendi, Jimmy Xiangji Huang+1 more|ArXiv.org|Mar 29, 1996

Holomorphic and Operator Theory参考文献 11被引用 3

一句话总结

本文建立了复空间 C^n 中光滑或实解析超曲面之间 CR 映射的广义 'Hopf 引理' 类结果，证明当雅可比行列式不恒为零时，此类映射的微分在边界点处不为零。该结果无需假设强伪凸性、极小凸性或非平坦性，且可推出关于这些映射的新有限性定理与全纯延拓定理。

ABSTRACT

In this paper we prove a general result of the ``Hopf lemma'' type for CR mappings, with nonidentically vanishing Jacobians, between real hypersurfaces in C^n with smooth or real analytic boundaries. Applications of this result to finiteness and holomorphic extendibility of such mappings are also given. The novelty here is that we make no assumption on the nonflatness of the mapping or its Jacobian, nor do we assume that the hypersurfaces are pseudoconvex or minimally convex.

研究动机与目标

• 建立复空间 C^n 中实超曲面之间全纯映射微分在边界点处的非零性质。
• 将 Hopf 引理类结果推广至不假设强伪凸性或极小凸性的 CR 映射。
• 消除对映射或其雅可比行列式非平坦性的假设需求。
• 作为应用，推导出此类映射的有限性与全纯延拓性定理。
• 为理解复分析中 CR 映射的边界行为提供一个通用框架。

提出的方法

• 利用 CR 几何及复空间中实超曲面理论的技术。
• 应用渐近展开与喷射确定法分析边界点处的微分。
• 以雅可比行列式非零作为关键输入，推导微分在边界处的非退化性。
• 依赖边界分析中 Levi 形式与切向柯西-黎曼方程的结构。
• 使用爆破论证与局部标准形，将问题约化为模型情形。
• 在延拓性证明中应用反射法与楔形边缘定理实现全纯延拓。

实验结果

研究问题

• RQ1 在何种条件下，复空间 C^n 中实超曲面之间全纯映射的微分在边界点处会为零？
• RQ2 Hopf 引理原理能否推广至不假设强伪凸性或极小凸性的 CR 映射？
• RQ3 当雅可比行列式不恒为零时，CR 映射在边界处的微分会如何变化？
• RQ4 此类映射在多大程度上可全纯延拓至边界之外？
• RQ5 缺乏非平坦性假设对 CR 映射边界正则性有何影响？

主要发现

• 若雅可比行列式不恒为零，则光滑或实解析超曲面之间全纯映射的微分在边界点处不为零。
• 该结果无需假设超曲面为强伪凸或极小凸。
• 对映射或其雅可比行列式的非平坦性无需求。
• 微分非零意味着映射在边界附近具有有限确定性。
• 该结果导出了关于此类超曲面之间全纯映射的新有限性定理。
• 在微分非零条件下，建立了 CR 映射跨边界全纯延拓性。