[論文レビュー] Canonical Cartan connection for $4$-dimensional CR-manifolds belonging to general class ${\sf II}$

Samuel Pocchiola|arXiv (Cornell University)|May 5, 2014

Holomorphic and Operator Theory参考文献 2被引用数 3

ひとこと要約

本稿は、4次元CR多様体（CR次元1、codimension 2）であるエンゲルCR多様体、または一般クラスIIに属するものに対して、標準的なカルタン接続を構成する。カルタンの同値法を用いて、5つのbiholomorphic不変量を含む標準的コフレームと構造方程式を導出する。これらの不変量のうち4つ（$τ_2, τ_3, τ_4, τ_5$）の消滅は、$ℂ^3$におけるベロシャプカの立方体への局所biholomorphic同値性の必要十分条件である。これは先行研究とは異なる代替的枠組みを提供し、これらの構造におけるカルタン接続のフレームワークを確立する。

ABSTRACT

We study the equivalence problem for $4$-dimensional CR-manifolds of CR-dimension $1$ and codimension $2$ which are referred to as Engel CR-manifolds. We construct a canonical Cartan connection on such CR-manifolds through Cartan equivalence's method. In particular, we give the explicit expression of $4$ biholomorphic invariants, the annulation of which is a necessary and sufficient condition for an Engel manifold to be locally biholomorphic to Beloshapka's cubic in $\mathbb{C}^3$.

研究の動機と目的

• 4次元CR多様体（CR次元1、codimension 2）であるエンゲルCR多様体、または一般クラスIIに属するものに対する局所biholomorphic同値問題を解くこと。
• カルタンの同値法を用いて、[2]の既存結果とは異なる代替的枠組みとして、標準的カルタン接続を構築すること。
• $ℂ^3$におけるベロシャプカの立方体への局所biholomorphic同値性を特徴付ける4つのbiholomorphic不変量を同定し、明示的に表現すること。
• 標準的コフレームの構造方程式を導出することで、このようなCR多様体上にカルタン接続が存在することを確立すること。

提案手法

• CR多様体$M$上に、幾何的データを符号化する5次元$G$-構造$P^1$を構成する。
• カルタンの同値法を適用し、構造群が$\mathfrak{G}_0 \cong G_4$に同型である主バンドル$P^4$上の$\{e\}$-構造問題に同値問題を還元する。
• $P^4$上に、5つの複素数値不変量を含む特定の構造方程式を満たす標準的コフレーム$\omega = (\Lambda, \sigma, \rho, \zeta, \overline{\zeta})$を導出する。
• 垂直性、同変性、各点での同型性という3つの標準的条件を検証することで、コフレーム$\omega$が$P^4$上にカルタン接続を定義することを確立する。
• 構造方程式から関連するモデル代数$\mathfrak{g}$のリー代数構造を計算し、双対ベクトル場間の括弧関係を同定する。
• 構造方程式と特定の不変量の消滅を用いて、ベロシャプカの立方体への局所biholomorphic同値性の必要十分条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 一般クラスIIの4次元CR多様体に対する標準的カルタン接続は何か、そしてカルタンの同値法を用いてどのように構成されるか。
• RQ2 $\u2102^3$におけるベロシャプカの立方体への局所biholomorphic同値性を特徴付ける明示的なbiholomorphic不変量は何か。
• RQ3 標準的コフレームの構造とその曲率は、エンゲルCR多様体の幾何にどのように関係するか。
• RQ4 標準的カルタン接続が平坦になる条件は何か、そしてその場合、対応するCR構造にどのような意味を持つのか。
• RQ5 [2]のエンゲルCR多様体に関する結果は、カルタン接続の枠組みを用いて再導出可能かつ再解釈可能か。

主な発見

• 一般クラスIIのすべての4次元CR多様体上に、$M$上の5次元主バンドル$P^4$上の$\mathfrak{g}$値1形式$\omega$として実現される標準的カルタン接続が存在する。
• 標準的コフレーム$\omega$の構造方程式が明示的に導出され、5つの複素数値不変量$\mathfrak{I}_0, \dots, \mathfrak{I}_5$を含む。
• 不変量$\mathfrak{I}_2, \mathfrak{I}_3, \mathfrak{I}_4, \mathfrak{I}_5$の消滅は、クラスIIに属するCR多様体が$ℂ^3$におけるベロシャプカの立方体と局所biholomorphic同値であるための必要十分条件である。
• ベロシャプカの立方体に対して、構造方程式は簡略化される：$d\zeta = \Lambda \wedge \zeta$、$d\overline{\zeta} = \Lambda \wedge \overline{\zeta}$、$d\Lambda = 0$、かつすべての不変量が恒等的に消える。
• モデルのリー代数$\mathfrak{g}$は括弧関係$[e_\alpha, e_\sigma] = -3e_\sigma$、$[e_\alpha, e_\rho] = -2e_\rho$、$[e_\alpha, e_\zeta] = -e_\zeta$、$[e_\rho, e_\zeta] = -e_\sigma$、$[e_\zeta, e_{\overline{\zeta}}] = -i e_\rho$、その他の括弧は0であることで特定される。
• カルタン接続$\omega$は、すべて3つの定義的性質を満たす：垂直性、$\mathfrak{G}_0$による同変性、および各点でのベクトル空間の同型性。