[論文レビュー] Quaternionic contact normal coordinates

Christopher S. Kunkel|ArXiv.org|Jul 2, 2008

Geometric Analysis and Curvature Flows参考文献 3被引用数 7

ひとこと要約

本稿は、四元数接触多様体上の四元数接触擬リーマン正規座標を導入し、放物型スケーリング構造を用いて、Biquard接続の捩れおよび曲率を一点において簡略化する。適切な共形変換のもとで、曲率-捩れテンソルのすべての対称化された共変微分を順序Nまで消去可能であることを証明し、四元数接触ヤウマーベ問題の解決に向けた重要な一歩を提供する。

ABSTRACT

This paper constructs a family of coordinate systems about a point on a quaternionic contact manifold, called quaternionic contact pseudohermitian normal coordinates. Once defined, conformal variations of the quaternionic contact structure induce changes on the coordinates which are studied in an effort to simplify the torsion and curvature at the center point.

研究の動機と目的

• 与えられた点の近傍における幾何的不変量（捩れおよび曲率）を簡略化する四元数接触多様体上の座標系の構成。
• 接空間の自然な放物型拡大を組み込むことで、リーマン正規座標を放物型・四元数的設定に一般化する。
• 共形変換による構造の正規化を通じて、四元数接触ヤウマーベ問題を解くための基礎的ツールを提供する。
• 共形変動を用いて、一点における曲率および捩れテンソルの高次対称化微分を消去できることを示す。
• Sp(n)Sp(1)不変性を用いて、原点における計量、接触形式、接続1形式の唯一の正規形を確立する。

提案手法

• 水平および垂直分布における初期条件を満たす曲線を用いて定義される一般化された指数写像を用いる。
• 線形接続と接バンドルの補空間的分解HとVを用い、放物型スケーリング則Ψ(tX, t²Y) = γ(X,Y)(t)を導出する。
• 放物型正規座標は、中心点qにおいて計量がユークリッド的であり、接触形式が四元数ヘイゼンベルク群のそれと一致し、接続1形式が消えるように定義される。
• qにおける特別なフレームを用いて、Sp(n)Sp(1)変換に関して不変である座標を定義する。
• 共形変換による擬リーマン構造の変更を分析し、テンソルQの対称化共変微分を通じて曲率および捩れテンソルの振る舞いを制御する。
• 代数的および微分的バイアンキ恒等式を用い、曲率テンソルをほぼ複素構造およびリーマン・クリヴォの記号と縮約することで、特定の組み合わせがqにおいて消えることを証明する。

実験結果

リサーチクエスチョン

• RQ1 四元数接触多様体上に、幾何的不変量（計量、接触形式、接続）が一点において簡略化されるような座標系を構成可能か？
• RQ2 擬リーマン構造の共形変動が、一点近傍におけるBiquard接続の曲率および捩れにどのように影響するか？
• RQ3 すべての対称化共変微分が順序Nまでqにおいて消えるような共形因子を選びうるか？
• RQ4 放物型スケーリング構造は、四元数接触多様体の正規座標を定義する上で果たす役割は何か？
• RQ5 得られる正規座標はどの程度一意的であり、Sp(n)Sp(1)の作用の下でどのように変換されるか？

主な発見

• 任意の点qの近傍に四元数接触擬リーマン正規座標が局所的に存在し、qにおいて計量、接触形式、接続1形式が標準的形を取る。
• 座標は放物型スケーリング則Ψ(tX, t²Y) = γ(X,Y)(t)を満たし、接空間の内在的な放物型幾何を反映する。
• 任意の2つのこのような座標系は、Sp(n)Sp(1)内に唯一の線形変換で関係づけられ、対称性の下での一意性を保証する。
• 任意のN ≥ 2に対し、曲率-テンソルQの全順序≤Nのすべての対称化共変微分がqにおいて消えるような擬リーマン構造の選択が可能である。
• qにおける共形因子の1次ジェットは自由に選べられ、以降の全テイラー級数は消去条件によって一意に定まる。
• 第二共変微分の組み合わせA, B, C, D（ほぼ複素構造およびε添え字と縮約された曲率の第二共変微分）は、バイアンキ恒等式および低次の項の事前の消去により、qにおいて恒等的に消える。