[論文レビュー] 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

ひとこと要約

本稿では、7次元で2-非退化なCR多様体について、その立方形式が共形ユニタリ型である場合の局所的CR同値問題を、多様体上の主 bundle 上に $\frak{su}(2,2)$ または $\frak{su}(3,1)$-値の平行法を構成することによって解決する。この方法により、平行法の微分によって完全な局所不変量の集合が得られ、非平坦で不変量が消えない具体例が明示的に構成されている。

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.

研究の動機と目的

• 7次元で2-非退化なCR多様体が、立方形式が共形ユニタリ型であるという条件下で、局所的CR同値に関して分類すること。
• 立方形式がレヴィ形式に関して対称的かつユニタリ型の作用素によって特徴づけられるこのクラスのCR多様体に対して、カルタンの同値法を拡張すること。
• レヴィ形式が定符号を持つ場合に $\frak{su}(2,2)$-値の標準的平行法を、スプリット符号を持つ場合にかつては等方的直線における $\text{ad}_K$ の性質が満たす不変性入れ替え条件を満たす場合に $\frak{su}(3,1)$-値の平行法を構成すること。
• 平行法の微分によって局所不変量の完全な集合を提供し、均質モデルとの非同値性を検出可能にする。
• 非自明な不変量をもつ $\bbC^4$ 内の実超曲面の具体的な例を構成し、それがモデル軌道 $M_\bullet$ と局所的にCR同値でないことを証明すること。

提案手法

• CR多様体のフレーム bundle の構造群を、立方形式の代数的対称性に基づく逐次的還元を通じてカルタンの同値法を適用する。
• 立方形式に共形ユニタリ型の条件を課し、これによりレヴィ形式に関してスケールを除いて対称的かつユニタリ的となる作用素 $\text{ad}_K$ が導かれる。
• レヴィ形式の符号と $\text{ad}_K$ が等方的直線上で果たす性質に応じて、$\frak{su}(2,2)$ または $\frak{su}(3,1)$ に対応する構造群をもつ主 bundle を構成する。
• 還元された bundle 上に $\frak{g}$-値1-形式（平行法 $\boldsymbol{\theta}$）を導出し、カルタン理論から得られる構造方程式を満たす。
• ビアンキ恒等式と構造方程式を用いて、平行法の曲率に類似した形式における係数として基本的不変量を計算する。
• 局所フレームで接続形式と曲率成分の明示的表現を計算することで、特定の例における不変量の非消滅を確認する。

実験結果

リサーチクエスチョン

• RQ1 7次元で2-非退化なCR多様体が立方形式を共形ユニタリ型として持つ場合の、完全な局所不変量の集合は何か？
• RQ2 特に立方形式のレヴィ形式に関する対称性とユニタリ性が、同値問題の可能な構造群にどのように制約を加えるか？
• RQ3 局所的CR同値問題が $\frak{su}(2,2)$-値の平行法に還元される条件は何か？ また、$\frak{su}(3,1)$-値の平行法に還元される条件は何か？
• RQ4 $\bbC^4$ 内の実超曲面で非自明な不変量をもつものを作成でき、それが均質モデル $M_\bullet$ と局所的にCR同値ではないことを示せるか？
• RQ5 不変性入れ替え仮定は、定符号の場合とスプリット符号の場合を区別する同値問題において、果たす役割は何か？

主な発見

• 非退化部分が定符号を持つ場合、局所同値問題は $\frak{su}(2,2)$-値の標準的平行法によって解決される。
• スプリット符号の場合で不変性入れ替え仮定を満たす場合、平行法は $\frak{su}(3,1)$-値を取り、別個の幾何的構造を反映する。
• 平行法を微分することで、完全な局所不変量の集合が得られ、その不変量がすべて消えることと、多様体が $SU(2,2)$ または $SU(3,1)$ が $Gr(2,4)$ 内で作用する軌道と局所的にCR同値であることは同値である。
• 非自明な不変量をもつ $\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}$ に比例することも特定された。