[論文レビュー] Equivalences of 5-dimensional CR-manifolds V: Six initial frames and coframes; Explicitness obstacles

Joël Merker|arXiv (Cornell University)|Dec 12, 2013

Geometric and Algebraic Topology参考文献 1被引用数 3

ひとこと要約

本稿は、ℂ⁴およびℂ³における5次元CR多様体の6つのクラスについて、明示的な初期フレームおよびコフレームを確立し、関数のグラフ化からカルタンの同値法のデータを体系的に導出する。クラスIII₁では、ジャンクティ変数における単項式の数がほぼ1億に達し、現代のハードウェアでさえも明示的計算に根本的な障害をもたらすことが明らかとなり、Kobayashi双曲的性と深い関係があることが示された。

ABSTRACT

Local CR-generic submanifolds of C^N are in one-to-one correspondence with their respective graphing functions, but it is well known that (despite their importance) the Cartan-Hachtroudi-Chern-Moser invariants and coframes for Levi nondegenerate hypersurfaces M in C^(n+1) have been fully computed in CR dimension n >= 2 only in special cases which show off a tremendous collapse of computational complexity in comparison to the general case. One of the goals of this Part V is to set up systematic initial data that are essentially explicit in terms of the concerned graphing functions, for the six already studied general classes I, II, III-1, III-2, IV-1, IV-2. Incredibly, for Class III-1 CR-generic submanifolds M^5 in C^4 that are the geometry-preserving deformations of one of the natural models of Beloshapka, even the initial frame and coframe are not absorbable by an individual personal computer, for some of the concerned coefficient-functions incorporate nearly 100 000 000 of monomials in 165 jet variables, not to mention that the exploration of biholomorphic equivalences yet requires to differentiate such functions at least four times. As will appear later on, deep (archaic) mathematical links are extant between the effective Cartan theory and the famous hyperbolicity conjecture of Kobayashi.

研究の動機と目的

• ℂ⁴およびℂ³における5次元CR多様体の6つの一般クラスについて、体系的に明示的な初期データ（フレームおよびコフレーム）を提供すること。
• 特殊な場合を除く一般のレヴィ非退化CR構造におけるカルタン不変量の計算という長年の課題に取り組むこと。
• 特にクラスIII₁において、一般CR構造にカルタンの同値法を適用した際の計算的障壁を明らかにすること。
• 今後の高次元CR幾何学におけるbiholomorphic同値性および不変量の研究の基盤を築くこと。
• 有効なカルタン理論とKobayashi双曲的性予想との間の構造的関係を解明すること。

提案手法

• 局所座標における関数φ(x,y,u)を用いて、CR一般部分多様体M⁵⊂ℂ⁴の接バンドルに明示的な局所フレームを導出する。
• 内在的(1,0)ベクトル場ℒ = ∂/∂z − φ_z/(i + φ_u) ∂/∂uを導入し、M上でのCR構造を内在的に表現する。
• 実ベクトル場𝒯 = i[ℒ,ℒ̄]を導入し、CR構造の実部を生成し、ℒおよびℒ̄と併せてフレームを形成する。
• リー括弧関係および外微分を用いて、コフレーム(ρ₀, κ₀, ζ₀, κ̄₀, ζ̄₀)の構造方程式を計算する。
• リー括弧を行列配列に整理し、マウラー＝カルタン構造方程式を抽出し、dρ₀, dκ₀, dζ₀などの明示的表現を得る。
• 初期不確かさ群G_IV₂^initialを適用して、クラスIV₂におけるポッキオラのアルゴリズム的実装によるカルタンの同値法を開始する。

実験結果

リサーチクエスチョン

• RQ1 ℂ⁴およびℂ³における5次元CR多様体の6つの一般クラスについて、明示的な初期フレームおよびコフレームを体系的に構成可能か？
• RQ2 特にクラスIII₁において、一般CR構造にカルタンの同値法を適用する際の計算限界は何か？
• RQ3 ジャンクティ変数における単項式の数と複雑さは、カルタン不変量の計算可能性にどのように影響するか？
• RQ4 特定のCRクラスにおいて、標準的な計算ツールが初期データを吸収できない構造的・幾何的障壁は何か？
• RQ5 有効なカルタン理論とKobayashi双曲的性予想との間に深い数学的関係があるか？

主な発見

• ℂ⁴におけるクラスIII₁のCR一般部分多様体M⁵⊂ℂ⁴について、初期フレームおよびコフレームの係数関数には165個のジャンクティ変数におけるほぼ1億個の単項式が含まれる。
• これらの係数関数の4重微分のような基本的演算ですら、単一の個人用コンピュータの能力を超え、根本的な計算不能性を示している。
• コフレーム(ρ₀, κ₀, ζ₀, κ̄₀, ζ̄₀)の構造方程式が完全に導出されており、dρ₀, dκ₀, dζ₀およびそれらのウェッジ積の明示的表現が得られている。
• マウラー＝カルタン系はリー括弧配列に完全に符号化されており、複素構造関数kの導関数から生じる非自明な曲率項および torsion 項が存在する。
• 初期不確かさ群G_IV₂^initialが明示的に定義されており、クラスIV₂におけるポッキオラのアルゴリズム的実装によるカルタンの同値法の開始が可能である。
• 5次元における一般CR不変量の計算複雑性が、特殊ケースと比べて劇的に増大することを確認し、明示的計算における根本的なギャップが露呈された。