[论文解读] A hypersurface in \C^2 whose stability group is not determined by 2-jets

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

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

一句话总结

本文在 ℂ² 的原点构造了一个非平坦的无穷类型超曲面，其稳定性群由三阶 jets 确定，但不由二阶 jets 确定，这是 ℂ² 中此类现象的首个已知例子。作者通过一个由 ε、r、α 和 s 参数化的全纯映射族显式计算了形式稳定性群，表明即使映射在二阶阶数上一致，其在三阶阶数上仍可能不同。

ABSTRACT

We give an example of a hypersurface in \C^2 through 0 whose stability group at 0 is determined by 3-jets, but not by jets of any lesser order. We also examine some of the properties which the stability group of this infinite type hypersurface shares with the 3-sphere in \C^2.

研究动机与目标

• 在 ℂ² 中构造一个非平坦且在原点为无穷类型的超曲面，其稳定性群不由二阶 jets 确定，填补了目前已知的 ℂ² 中超曲面 jet-确定性结果中的空白。
• 证明即使对于非平坦超曲面，稳定性群的 jet-确定性也可能需要更高阶的 jets（具体为三阶 jets）。
• 显式参数化所构造超曲面的形式稳定性群，表明所有形式自同构均收敛。
• 将该超曲面的稳定性群与 3-球面及平坦超曲面的稳定性群进行对比，突出其独特的结构特性。

提出的方法

• 通过一个涉及 |z| < 1 且非线性实部依赖于 Re w 和 |z|⁴ 的特定定义方程，定义一个实解析超曲面 M ⊂ ℂ²。
• 引入一族全纯映射 H^ε,r_α,s(z,w)，其中包含平方根函数的主支，以参数化稳定性群。
• 通过映射及其复合的形式幂级数展开，分析至三阶的 jet 等价条件。
• 利用链式法则和映射保持定义函数 ρ 的条件，推导出 f_n(z) 和 g_n(z) 的幂级数展开系数的递推关系。
• 通过证明当 n ≥ 3 时系数矩阵 A_n 可逆，建立三阶 jet 唯一确定映射，从而确保高阶 jet 条件可由低阶数据唯一求解。
• 证明形式自同构收敛为实际的局部双全纯映射，因此形式稳定性群与实际稳定性群一致。

实验结果

研究问题

• RQ1 是否存在一个在原点为非平坦无穷类型的 ℂ² 超曲面，其稳定性群由三阶 jets 确定但不由二阶 jets 确定？
• RQ2 在 ℂ² 中，超曲面的稳定性群是否可能由有限阶 jets 确定，但不由二阶 jets 确定？
• RQ3 非平坦无穷类型超曲面在 ℂ² 中的稳定性群与 3-球面的稳定性群具有哪些结构上的共同特性？
• RQ4 当超曲面既非 Levi-非退化也非平坦时，自同构的 jet 条件如何表现？
• RQ5 具有如此高阶 jet-确定性的超曲面，其稳定性群的显式形式是什么？

主要发现

• 由 Im w = (Re w)(1 - √(1 - |z|⁴))/|z|² 定义的超曲面 M 的稳定性群由三阶 jet 确定，但不由二阶 jet 确定。
• 形式稳定性群 H^ε,r_α,s(z,w) = ((ε(z + αw))/θ_α,s(z,w), (r w)/θ_α,s(z,w)) 由收敛的幂级数构成，因此 Aut(M,0) = ˆAut(M,0)。
• 存在一个单参数族的互异自同构 H^{1,1}_{0,s}(z,w) = (z/(1 - s w²)^{1/2}, w/(1 - s w²)^{1/2})，其与恒等映射在二阶阶数上一致，但在三阶阶数上不同。
• 对于 n ≥ 3，jet 系数方程组中的系数矩阵 A_n 可逆，确保三阶及更高阶系数可由低阶数据唯一确定。
• 映射 H^{1,1}_{0,s} 表明二阶 jet 不足以区分自同构，因为 s 可自由变化，而所有二阶 jet 系数保持为零。
• 显式参数化确认稳定性群为一个 4 维族（ε ∈ S¹, r ∈ ℝ∖{0}, α ∈ ℂ, s ∈ ℝ），且群结构与无穷类型超曲面的全纯对称性一致。