[論文レビュー] Equivalences of 5-dimensional CR-manifolds IV: Six ambiguity matrix groups (Initial G-structures)

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

Advanced Algebra and Geometry被引用数 4

ひとこと要約

本稿は、5次元のCR多様体の一般クラスIV₂を、その初期G構造をGL₅(ℂ)の10次元実部分群として特定することによって分類する。このG構造は、複素化された接バンドル上に作用する特定の行列群によって特徴づけられる。主な貢献は、CR多様体の局所的等長変換の自由度を支配する行列群（不確実性行列群）を導出したことである。この群は、これらのCR多様体の局所的対称性構造を完全に記述する。

ABSTRACT

Class I CR manifolds have initial G-structure a certain 4-dimensional subgroup of GL_3(C). Class II CR manifolds have initial G-structure a certain 10-dimensional subgroup of GL_4(C). Class III-1 CR manifolds have initial G-structure a certain 10-dimensional subgroup of GL_5(C). Class III-2 CR manifolds have initial G-structure a certain 18-dimensional subgroup of GL_5(C). Class IV-1 CR manifolds have initial G-structure a certain 13-dimensional subgroup of GL_5(C). Class IV-2 CR manifolds have initial G-structure a certain 10-dimensional subgroup of GL_5(C).

研究の動機と目的

• 5次元CR多様体の一般クラスIV₂を、その初期G構造を特定することによって分類すること。
• このような多様体のCR構造を保存するbiholomorphic変換の群を特定すること。
• 局所的フレーム場の変換則を支配する行列群を導出すること。
• 局所関数a, b, c, d, eを用いてフレーム移行則を完全に記述すること。

提案手法

• 本稿は、ℂ⁴内のCR一般的部分多様体間の局所biholomorphismを用いて、CRベクトル場のプッシュフォワードとそのリーブラケットを分析する。
• Levi核の生成子𝒦、補空間𝒮₁、それらの共役、および実ベクトル場𝒯 = √−1[𝒮₁, 𝒮̄₁]からなるフレームを導入し、ℂ⊗ℝTMの基底を形成する。
• biholomorphic写像の下でのこのフレームの変換則を導出し、GL₅(ℂ)における行列表現を得る。
• 得られた行列群は閉じており、10次元であることが示され、正則的および反正則的対称性条件によって成分が制約を受ける。
• 不確実性群は、a,c ∈ ℂ\{0}、b,d,e ∈ ℂを満たす行列 [[c,0,0,0,0],[b,a,0,0,0],[0,0,c̄,0,0],[0,0,b̄,ā,0],[e,d,ē,d̄,|a|²]] の形で明示的に構成される。
• この構造がGL₅(ℂ)の部分群であることが証明され、全GL₅(ℂ)-構造が、クラスIV₂に対して明確に定義された初期G構造に簡略化される。

実験結果

リサーチクエスチョン

• RQ1 5次元CR多様体の一般クラスIV₂における初期G構造は何か？
• RQ2 局所的biholomorphic同値が、このような多様体の複素化接バンドルにどのように作用するか？
• RQ3 biholomorphic写像の下でのフレーム変換の自由度を記述する明示的な行列群は何か？
• RQ4 ベクトル場のプッシュフォワードの成分は、不確実性群の構造とどのように関係するか？
• RQ5 クラスIV₂のCR多様体の対称性を支配する群の次元と代数的構造は何か？

主な発見

• 5次元CR多様体の一般クラスIV₂における初期G構造は、GL₅(ℂ)の10次元実部分群である。
• 不確実性群は、a,c ∈ ℂ\{0}、b,d,e ∈ ℂを満たす行列 [[c,0,0,0,0],[b,a,0,0,0],[0,0,c̄,0,0],[0,0,b̄,ā,0],[e,d,ē,d̄,|a|²]] の形で明示的に与えられる。
• この群は、{𝒦, 𝒮₁, 𝒦̄, 𝒮̄₁, 𝒯}のフレームに対して特定の線形変換則を用いて作用し、CR構造を保存する。
• 実ベクトル場𝒯の変換には、乗数関数aおよび複素関数bの微分に依存する項が含まれる。
• この群は行列積および逆行列について閉じており、GL₅(ℂ)のリー部分群であることが確認される。
• この構造は、このクラスのCR多様体における局所的biholomorphic同値の自由度を完全に記述する。