[论文解读] Vanishing Hachtroudi curvature and local equivalence to the Heisenberg sphere

Joël Merker|ArXiv.org|Oct 15, 2009

Nonlinear Waves and Solitons参考文献 19被引用 3

一句话总结

本文通过将哈楚迪的曲率消失条件应用于超曲面的塞格雷流形，为复空间 $\mathbb{C}^{n+1}$ 中（$n+1 \geqslant 3$）的实解析超曲面提供了伪球面性的有效微分刻画。研究证明，此类超曲面局部全纯双芽于海森堡伪球面当且仅当其关联的二阶偏微分方程组的哈楚迪曲率消失，从而得到了定义函数上的完整且显式的四阶偏微分方程条件。

ABSTRACT

To any completely integrable second-order system of real or complex partial differential equations in n > 1 independent variables and in one dependent variable, Mohsen Hachtroudi associated in 1937 a normal projective (Cartan) connection, and he computed its curvature. By means of a natural transfer of jet polynomials to the associated submanifold of solutions, what the vanishing of the Hachtroudi curvature gives can be precisely translated in order to characterize when both families of Segre varieties and of conjugate Segre varieties associated to a Levi nondegenerate real analytic hypersurface M in C^{n+1} can be straightened to be affine complex (conjugate) hyperplanes. In continuation to a previous paper devoted to the quite distinct C^2-case, this then characterizes in an effective way those hypersurfaces of C^{n+1} in higher complex dimension n+1 > 2 that are locally biholomorphic to a piece of the (2n+1)-dimensional Heisenberg sphere, without any special assumption on their defining equations.

研究动机与目标

• 为复空间 $\mathbb{C}^{n+1}$ 中（$n+1 \geqslant 3$）的实解析超曲面何时局部全 holomorphic 双芽于海森堡伪球面，提供一种有效的微分几何刻画。
• 将哈楚迪于 1937 年提出的基于曲率的二阶偏微分方程组等价理论，推广至高维 CR 几何设置。
• 解决 $n+1 \geqslant 3$ 时一般（非刚性）情形下伪球面性的公开问题，超越此前仅限于刚性或柱面型超曲面的研究成果。
• 将哈楚迪曲率消失的条件转化为塞格雷流形与共轭塞格雷流形的几何条件，即其可被拉直为仿射复直线。
• 通过重新获取并应用哈楚迪原始但被忽视的曲率条件（其在陈省身后来的处理中被遗漏），完成并修正文献，从而提供一个完整且可计算的判别准则。

提出的方法

• 利用哈楚迪于 1937 年对 $n \geqslant 2$ 个自变量的完全可积二阶偏微分方程组构造的正规射影 Cartan 连接。
• 将哈楚迪的显式曲率消失条件（关于 $F_{k_1,k_2}$ 系数的偏微分方程组）应用于由勒维非退化超曲面的复定义方程导出的偏微分方程组。
• 通过喷层多项式传递，将塞格雷流形与共轭塞格雷流形可被拉直为仿射复直线的几何条件转化为微分条件。
• 运用一个行列式恒等式（引理）简化变换函数 $G$ 的二阶导数计算，从而得到 $\partial^2 G / \partial y_{x^{\ell_1}} \partial y_{x^{\ell_2}}$ 的闭式表达。
• 通过清除分母 $\Delta^3$，从曲率条件导出关于定义函数 $\Theta$ 的最终显式四阶偏微分方程。
• 通过变量替换将结果应用于系统 $w_{z_{k_1}^\prime z_{k_2}^\prime}^\prime = 0$，证明哈楚迪曲率消失等价于局部全纯双芽于海森堡伪球面。

实验结果

研究问题

• RQ1 在何种微分条件下，复空间 $\mathbb{C}^{n+1}$ 中（$n+1 \geqslant 3$）的实解析超曲面局部全纯双芽于海森堡伪球面？
• RQ2 哈楚迪 1937 年的曲率消失条件如何被有效应用于高维 CR 几何中伪球面性的刻画？
• RQ3 勒维非退化超曲面的定义函数 $\Theta$ 需满足何种精确的偏微分方程条件，才能保证其塞格雷流形与共轭塞格雷流形可被拉直为仿射复直线？
• RQ4 为何哈楚迪原始的基于曲率的方法——其在陈省身后来的工作中被遗漏——对于非刚性情形下伪球面性的完整刻画至关重要？
• RQ5 哈楚迪曲率的消失是否可用于推导一种有效且可计算的准则，以判断超曲面是否在不假设柱面型或刚性条件下的局部等价于海森堡模型？

主要发现

• 本文证明，复空间 $\mathbb{C}^{n+1}$ 中（$n+1 \geqslant 3$）的实解析超曲面局部全纯双芽于海森堡伪球面，当且仅当其关联的二阶偏微分方程组的哈楚迪曲率消失。
• 哈楚迪曲率消失被证明等价于几何条件：塞格雷流形与共轭塞格雷流形均可被拉直为仿射复（共轭）直线。
• 本文推导出关于超曲面定义函数 $\Theta$ 的显式四阶偏微分方程条件，该条件通过清除曲率条件中的分母 $\Delta^3$ 而获得，从而刻画了伪球面性。
• 关键结果以 $\partial^2 G / \partial y_{x^{\ell_1}} \partial y_{x^{\ell_2}}$ 的闭式公式表达，经代入与化简后，得到以 $\Theta$ 及其导数表示的最终偏微分方程。
• 该方法重新获取并应用了哈楚迪原始但长期被忽视的曲率计算——其在陈省身后续论文中被遗漏——从而完整补全了高维伪球面性的刻画。
• 该结果为 $\mathbb{C}^{n+1}$（$n+1 \geqslant 3$）中的伪球面性提供了完整、有效且可计算的判别准则，解决了伊萨耶夫先前关于刚性或柱面型超曲面研究留下的文献空白。