[论文解读] The Local Equivalence Problem for 7-Dimensional, 2-Nondegenerate CR Manifolds whose Cubic Form is of Conformal Unitary Type

Curtis Porter|arXiv (Cornell University)|Nov 12, 2015

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

一句话总结

该论文通过在流形上的主丛上构造取值于 $\frak{su}(2,2)$ 或 $\frak{su}(3,1)$ 的平行法，解决了七维、2-非退化CR流形在立方形式为共形酉型时的局部CR等价问题。该方法通过平行法的微分得到一组完整的局部不变量，并显式构造了一个非平坦的例子，其不变量非零。

ABSTRACT

We apply E. Cartan's method of equivalence to classify 7-dimensional, 2-nondegenerate CR manifolds $M$ up to local CR equivalence in the case that the cubic form of $M$ satisfies a certain symmetry property with respect to the Levi form of $M$. The solution to the equivalence problem is given by a parallelism on a principal bundle over $M$. When the nondegenerate part of the Levi form has definite signature, the parallelism takes values in $\mathfrak{su}(2,2)$. When this signature is split and an additional "isotropy-switching" hypothesis is satisfied, the parallelism takes values in $\mathfrak{su}(3,1)$. Differentiating the parallelism provides a complete set of local invariants of $M$. We exhibit an explicit example of a real hypersurface in $\mathbb{C}^4$ whose invariants are nontrivial.

研究动机与目标

• 对七维、2-非退化CR流形在立方形式为共形酉型的条件下，按局部CR等价关系进行分类。
• 将嘉当的等价方法扩展至该类CR流形，其中立方形式由相对于Levi形式的对称酉型算子决定。
• 当Levi形式具有定号时，构造取值于 $\frak{su}(2,2)$ 的典范平行法；当其具有分裂符号且满足共轭对称性切换条件时，构造取值于 $\frak{su}(3,1)$ 的平行法。
• 通过微分平行法，提供一组完整的局部不变量，以检测与齐性模型的非等价性。
• 显式构造 $\bbC^4$ 中一个实超曲面的例子，其不变量非平凡，证明其不与齐性轨道 $M_\bullet$ 局部CR等价。

提出的方法

• 将E.嘉当的等价方法应用于CR流形的标架丛，通过基于立方形式代数对称性的逐步约化，实现结构群的约化。
• 对立方形式施加共形酉型条件，该条件强制关联算子 $\text{ad}_K$ 相对于Levi形式为对称且酉型（至多相差一个比例因子）。
• 构造一个主丛，其结构群对应于 $\frak{su}(2,2)$ 或 $\frak{su}(3,1)$，具体取决于Levi形式的符号类型以及 $\text{ad}_K$ 在零化子直线上的行为。
• 在约化丛上导出取值于 $\frak{g}$ 的1-形式（即平行法 $\boldsymbol{\theta}$），其满足由嘉当理论导出的结构方程。
• 利用Bianchi恒等式与结构方程，将基本不变量计算为平行法的曲率形式中的系数。
• 通过在局部余标架中显式计算联络形式与曲率分量，验证特定例子中不变量的非零性。

实验结果

研究问题

• RQ1 七维、2-非退化CR流形在立方形式为共形酉型时，其完整的局部不变量集合是什么？
• RQ2 立方形式的结构，特别是其相对于Levi形式的对称性与酉性，如何限制等价问题可能的结构群？
• RQ3 在何种条件下，局部CR等价问题约化为取值于 $\frak{su}(2,2)$ 或 $\frak{su}(3,1)$ 的平行法？
• RQ4 能否构造一个 $\bbC^4$ 中的实超曲面，使其具有非平凡不变量，从而证明其不与齐性模型 $M_\bullet$ 局部等价？
• RQ5 共轭对称性切换假设在区分定号情形与分裂符号情形的等价问题中起什么作用？

主要发现

• 当Levi形式的非退化部分具有定号时，通过取值于 $\frak{su}(2,2)$ 的典范平行法，解决了局部等价问题。
• 在满足共轭对称性切换假设的分裂符号情形下，平行法取值于 $\frak{su}(3,1)$，反映出一种不同的几何结构。
• 通过微分平行法可得到一组完整的局部不变量，当且仅当流形局部CR等价于 $SU(2,2)$ 或 $SU(3,1)$ 在 $Gr(2,4)$ 中的轨道时，这些不变量为零。
• 显式构造了一个 $\bbC^4$ 中实超曲面的例子，其不变量非零，这通过曲率分量中非零系数得以证实。
• 结构方程中的系数 $F^1, F^2, T^3_{\bar{1}}, T^3_{\bar{2}}, F^3_1, F^3_2$ 被显式计算并发现非零，确认了非平坦性及与模型的非等价性。
• 平行法 $\boldsymbol{\theta}$ 的完整拉回被确定，包括一个具有非平凡 $\bbR$-值分量的1-形式 $\boldsymbol{\theta}^\bullet$，其与 $(z^3 + \bar{z}^3)^{-2}$ 成比例。