[论文解读] Explicit absolute parallelism for $2$-nondegenerate real hypersurfaces $M^5 \subset \mathbb{C}^3$ of constant Levi rank $1$

Samuel Pocchiola|arXiv (Cornell University)|Dec 22, 2013

Nonlinear Waves and Solitons参考文献 16被引用 10

一句话总结

本文通过构造一个规范余标架并推导出具有常数挠率的结构方程，为常数Levi秩1的2-非退化实超曲面 $M^5 \subset \mathbb{C}^3$ 建立了显式的绝对平行化。关键结果是：通过图示函数 $F$ 显式计算出的两个不变量 $J$ 和 $W$ 的零化，刻画了与光锥管的局部双全纯等价性；当 $J$ 或 $W$ 非零时，等价问题约化为 $\{e\}$-结构，从而给出全局绝对平行化。

ABSTRACT

We study the local equivalence problem for five dimensional real hypersurfaces $M^5$ of $\mathbb{C}^3$ which are $2$-nondegenerate and of constant Levi rank $1$ under biholomorphisms. We find two invariants, $J$ and $W$, which are expressed explicitly in terms of the graphing function $F$ of $M$, the annulation of which give a necessary and sufficient condition for $M$ to be locally biholomorphic to a model hypersurface, the tube over the light cone. If one of the two invariants $J$ or $W$ does not vanish on $M$, we show that the equivalence problem under biholomophisms reduces to an equivalence problem between $\{e \}$-structures, that is we construct an absolute parallelism on $M$.

研究动机与目标

• 求解5维实超曲面 $M^5 \subset \mathbb{C}^3$ 在双全纯映射下的局部等价问题，其中超曲面为2-非退化且具有常数Levi秩1。
• 从图示函数 $F$ 出发，识别出显式的不变量 $J$ 和 $W$，以确定此类超曲面何时局部双全纯等价于光锥管。
• 当 $J$ 或 $W$ 不为零时，在 $M$ 上显式构造绝对平行化，将等价问题约化为 $\{e\}$-结构。

提出的方法

• 利用与CR结构和Levi形式相适应的向量场 $\mathscr{L}_1$、$\mathscr{K}$、$\overline{\mathscr{L}}_1$、$\overline{\mathscr{K}}$ 和 $\mathscr{T} = i[\mathscr{L}_1, \overline{\mathscr{L}}_1]$ 在 $M$ 上构造几何标架。
• 定义对偶余标架 $\rho_0$、$\kappa_0$、$\zeta_0$、$\overline{\kappa}_0$、$\overline{\zeta}_0$、$\pi^1$、$\pi^2$、$\overline{\pi}^1$、$\overline{\pi}^2$、$\Lambda$ 以编码几何结构。
• 推导余标架的结构方程，表明所有挠率系数为常数且与图示函数 $F$ 无关。
• 引入1-形式 $\Lambda$ 以闭合系统，并计算其外微分以获得具有常数挠率的最终结构方程。
• 证明当 $J$ 或 $W$ 非零时，结构方程构成 $\{e\}$-结构，从而蕴含 $M$ 上存在绝对平行化。
• 验证由 $u = \frac{z_1\overline{z}_1 + \frac{1}{2}z_1^2\overline{z}_2 + \frac{1}{2}\overline{z}_1^2 z_2}{1 - z_2\overline{z}_2}$ 定义的模型超曲面满足 $J = W = 0$，从而确认该刻画。

实验结果

研究问题

• RQ1 在何种条件下，2-非退化的实超曲面 $M^5 \subset \mathbb{C}^3$ 具有常数Levi秩1，其局部双全洁等价于光锥管？
• RQ2 如何从图示函数 $F$ 构造显式的不变量 $J$ 和 $W$，以确定此类超曲面的双全洁等价类？
• RQ3 当不变量 $J$ 或 $W$ 不为零时，如何在 $M$ 上显式构造绝对平行化？
• RQ4 当等价问题约化为 $\{e\}$-结构时，这些超曲面的等价问题结构是怎样的？
• RQ5 余标架的结构方程如何依赖于 $M$ 的几何性质？为何其挠率系数保持为常数？

主要发现

• 不变量 $J$ 和 $W$ 显式地以图示函数 $F$ 表示，其同时为零是 $M$ 局部双全洁等价于光锥管的充要条件。
• 当 $J$ 或 $W$ 非零时，等价问题约化为 $\{e\}$-结构，从而蕴含 $M$ 上存在绝对平行化。
• 余标架的结构方程具有不依赖于 $F$ 的常数挠率系数，表明所有此类超曲面具有统一的几何模型。
• 向量场 $\mathscr{L}_1$、$\mathscr{K}$ 和 $\mathscr{T}$ 显式地以 $F$ 及其导数表示，其中 $\mathscr{K}$ 张成Levi形式的核。
• 引入1-形式 $\Lambda$ 以闭合结构方程，其外微分计算为 $d\Lambda = i\pi^2 \wedge \overline{\pi}^2 + \Lambda \wedge \pi^1 + \Lambda \wedge \overline{\pi}^1$，从而完成系统。
• 模型超曲面 $u = \frac{z_1\overline{z}_1 + \frac{1}{2}z_1^2\overline{z}_2 + \frac{1}{2}\overline{z}_1^2 z_2}{1 - z_2\overline{z}_2}$ 满足 $J = W = 0$，从而确认了该刻画。