[论文解读] A normal form for a real 2-codimensional submanifold in $\mathbb{C}^{N+1}$ near a CR singularity

Valentin Burcea|arXiv (Cornell University)|Oct 5, 2011

Holomorphic and Operator Theory参考文献 17被引用 6

一句话总结

本文为 $\mathbb{C}^{N+1}$ 中实 2-余维子流形在 CR 奇点附近的正规形式建立了形式化标准型，将 Huang-Yin 在 $\mathbb{C}^2$ 中的结果推广至高维情形。通过扩展的 Moser 引理与带权系统的 Fischer 分解，证明了在形式双全纯变换下该正规形式的唯一性，从而解决了具有非退化高阶不变量的此类子流形的局部等价性问题。

ABSTRACT

We construct a formal normal form for a real 2-codimensional submanifold $M\subset\mathbb{C}^{N+1}$ near a CR singularity approximating the sphere. This result gives a higher dimensional extension of Huang-Yin's normal form in $\mathbb{C}^{2}$.

研究动机与目标

• 将 Huang-Yin 在 $\mathbb{C}^2$ 中的正规形式推广至更高维复空间 $\mathbb{C}^{N+1}$，适用于 CR 奇点附近的 2-余维实子流形。
• 通过构建唯一的正式正规形式，解决此类子流形的局部等价性问题。
• 通过定义定义方程中非零全纯项的最小次数 $s$，将 Moser 不变量的概念推广至高维。
• 通过带权归一化过程消除自由参数，证明正规形式的唯一性。

提出的方法

• 应用扩展的 Moser 引理，消除双齐次项的迭代迹，将定义方程约化为部分正规形式。
• 利用 Fischer 分解将多项式分解为调和与非调和部分，实现对非本质项的系统性消除。
• 引入受 Huang-Yin 方法启发的带权系统，根据广义 Moser 不变量 $s$ 与 $\Delta(z)$ 的次数为单项式分配权重。
• 通过逐次归一化至递增次数，追踪形式自守变换中自由参数的贡献。
• 使用迹算子 $\operatorname{tr} = \sum_{k=1}^N \partial^2 / \partial z_k \partial \overline{z}_k$ 控制高阶项的结构。
• 证明所有自由参数消失，通过证明其在特定次数项（如 $\varphi_{ts+1,0}$）中的贡献必须恒为零，从而得出唯一性。

实验结果

研究问题

• RQ1 Huang-Yin 在 $\mathbb{C}^2$ 中的正规形式能否推广至更高维复空间 $\mathbb{C}^{N+1}$，适用于 CR 奇点附近的 2-余维子流形？
• RQ2 在高维情形下，Moser 不变量 $s$ 的适当推广是什么？它如何控制正规形式的结构？
• RQ3 如何将保持二次曲面模型的形式自守变换群的无限维作用约化为唯一的正规形式？
• RQ4 Fischer 分解在具有 CR 奇点的高余维子流形的归一化过程中起到何种作用？
• RQ5 在何种条件下正规形式是唯一的？如何通过自由参数的带权分析证明这一唯一性？

主要发现

• 本文为 $\mathbb{C}^{N+1}$ 中 CR 奇点附近的实 2-余维子流形构造了正式正规形式，推广了 Huang-Yin 在 $\mathbb{C}^2$ 中的结果。
• 广义的 Moser 不变量 $s \geq 3$ 定义为定义方程中非零全纯项 $\varphi_{k,0}(z)$ 的最小次数。
• 形式变换中所有自由参数均消失，证明了在二次曲面模型的形式自守变换群作用下，正规形式是唯一的。
• 正规形式为 $w = \sum_{k=1}^N z_k\overline{z}_k + \Delta(z) + \overline{\Delta(z)} + \sum_{j \geq s} a_j z^j + \text{高阶项}$，其中 $a_s = 1$ 且对所有满足 $j \equiv 0,1 \mod s$ 且 $j > s$ 的 $j$ 有 $a_j = 0$，确保了归一化。
• 证明依赖于如下关键观察：差值 $\varphi'_{ts+1,0}(z) - \varphi_{ts+1,0}(z) = (1-s)^t \langle z,a \rangle \Delta^t(z)$ 仅当自由参数 $a = 0$ 时才恒为零，从而消除了所有非平凡自同构。
• 通过按次数归纳，结合带权分析以及高权项不影响低次分量的事实，确立了正规形式的唯一性。