[论文解读] Rational jet dependence of formal equivalences between real-analytic hypersurfaces in \C^2

R. Travis Kowalski|ArXiv.org|Aug 24, 2001

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

一句话总结

该论文证明了在ℂ²中具有1-无穷型点的实解析超曲面之间的形式双全纯等价关系，完全由其有限阶、显式有界的 jets 确定。关键结果表明，此类等价关系可通过其 jets 有理参数化，即整个映射是其 jets 数据的有理函数，从而在 jets 空间中实现有限确定性与代数结构。

ABSTRACT

Let (M,p) and (M',p') be the germs of real-analytic 1-infinite type hypersurfaces in \C^2. We prove that any formal equivalence sending (M,p) into (M',p') is formally parametrized (and hence uniquely determined by) its jet at p of a predetermined order depending only on (M,p). As an application, we use this to examine the local formal transformation groups of such hypersurfaces.

研究动机与目标

• 研究在关注点处非极小的ℂ²中实解析超曲面之间形式双全纯等价关系的有限 jets 确定问题。
• 证明即使超曲面在该点包含复曲线，此类等价关系仍由有限阶 jets 唯一确定。
• 分析形式等价关系 jets 空间的结构，表明其构成实代数子流形。
• 提供一种构造性方法，确定参数化所有此类等价关系所需的最小 jets 阶数。

提出的方法

• 作者使用法坐标，将超曲面的定义方程表示为 Im w = Θ(z, z̄, Re w)，其中Θ为实解析函数，且在z和z̄上至少二阶为零。
• 通过将映射的分量表示为系数为 jets 变量有理函数的幂级数，利用来自雅可比行列式导出的多项式与分母项，分析形式映射的 jets 空间。
• 证明依赖于映射在单位因子下保持定义函数的递推关系，从而导出对 jets 数据的有理依赖性。
• 通过分析幂级数展开中单项式的次数以及定义函数Θ的结构，确定所需 jets 阶数的上界。
• 作者利用雅可比行列式非零且作为有理参数化中的分母这一事实，确保映射的可逆性。
• 通过从定义函数和映射 jets 数据导出的多项式方程，证明形式等价关系的 jets 空间是可逆映射 jets 空间中的实代数子流形。

实验结果

研究问题

• RQ1 ℂ²中1-无穷型超曲面之间的形式双全洁等价关系能否由其在该点导数的有限 jets 确定？
• RQ2 从形式等价的 jets 到完整映射的映射是否在 jets 变量中为有理函数？
• RQ3 唯一确定此类等价关系所需的最小 jets 阶数是多少？
• RQ4 jets 空间中形式等价关系的 jets 集合具有何种几何结构？
• RQ5 超曲面中复曲线的存在如何影响有限 jets 确定性？

主要发现

• 任何ℂ²中1-无穷型超曲面之间的形式等价关系，均由其有限阶k的 jets 唯一确定，其中k仅依赖于源超曲面。
• 完整的形式映射是其 jets 数据的有理函数，其系数为 jets 变量的多项式，分母为映射在该点的雅可比行列式。
• 从形式等价关系空间到 jets 空间的 jets 映射是单射，且其像为可逆映射 jets 空间中的实代数子流形。
• 1-无穷型超曲面的局部自同构群是可逆映射 jets 空间中的实代数李子群。
• 到目标超曲面的形式等价关系的 jets 映射像为自同构群 jets 像的陪集，因此也是实代数子流形。
• 给出了最小 jets 阶数k的构造性上界：k = 1 + δ_K^1 + max 𝒟，当定义函数在Re w中无高于线性项时，更简单的上界为k = 1。