[論文レビュー] Almost Paracontact Manifolds

Galia Nakova, Simeon Zamkovoy|ArXiv.org|Jun 24, 2008

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

ひとこと要約

本稿では、共形的擬リーマン計量のレヴィチビタ接続を用いて、(1,1)-テンソルφの共変微分∇φに関して、11の基本的クラスのほぼパラ接触多様体を導入し分類する。主な貢献は、パラユニタリ群作用の下での∇φの完全な不変部分空間への分解であり、これはほぼヘルミート的およびほぼ接触幾何における分類と類似した構造を与える。特に、φ-基底における特定の行列表現を用いてF9およびF10のクラスの明示的例が構成されている。

ABSTRACT

In this paper eleven basic classes of almost paracontact manifolds are introduced and some examples are constructed.

研究の動機と目的

• ほぼヘルミート的およびほぼ接触幾何で用いられる分類フレームワークを、ほぼパラ接触擬リーマン多様体の設定へと拡張すること。
• レヴィチビタ接続に関する(1,1)-テンソルφの共変微分∇φに基づいて、ほぼパラ接触多様体を分類すること。
• パラユニタリ群作用の下での∇φの不変部分空間への分解を解析することにより、11の基本的クラスのほぼパラ接触多様体を特定・特徴づけること。
• 特にF9およびF10のクラスに属する多様体の明示的例を、局所正規直交φ-基底および作用素Aの行列表現を用いて構成すること。
• テンソルF(X,Y,Z) = g((∇Xφ)Y, Z)の構造的制約および不変性性質（対称性およびφによる変換性）を確立すること。

提案手法

• 2n+1次元多様体上に、符号型(n+1,n)の共形的擬リーマン計量gのレヴィチビタ接続∇を用いる。
• テンソルF(X,Y,Z) = g((∇Xφ)Y, Z)を定義し、その基本的対称性（Y,Zに関して反対称性およびφによる特定の変換則）を導出する。
• g(ei,ei) = 1, g(φei,φei) = -1, η(ξ)=1を満たす局所φ-基底{ei, φei, ξ}を用いてFの成分表現を構成する。
• ∇φが基底ベクトルに作用する様子を線形作用素Aei, Aφei, Aξとして表現し、関数a,b,c,d,e,fでパrameter化された5×5行列として記述する。
• ∇φの空間を不変部分空間W1およびW2に分解し、Fを11の基本的クラスF1からF11に分類する。
• Aei, Aφei, Aξに特定の行列形を割り当てることで例を構成し、得られたFが与えられたクラスの定義条件（例：F10ではF(X,Y,Z) = η(X)F(ξ,φY,φZ)）を満たすことを検証する。

実験結果

リサーチクエスチョン

• RQ1 ほぼパラ接触多様体における(1,1)-テンソルφの共変微分∇φは、パラユニタリ群作用の下でどのように不変部分空間に分解できるか？
• RQ2 11の基本的クラスのほぼパラ接触多様体を特徴づける幾何的および代数的条件は何か？
• RQ3 特にF9およびF10のような非自明なクラスに対して、明示的な例を構成できるか？
• RQ4 テンソルF(X,Y,Z) = g((∇Xφ)Y, Z)に課される構造的制約は何か？また、これと分類の関係は？
• RQ5 どのクラスが低次元で実現可能か？また、次元3における障害は何か？

主な発見

• 共変微分∇φの空間は、不変部分空間W1およびW2に分解され、これによりほぼパラ接触多様体は11の基本的クラスF1からF11に分類される。
• テンソルF(X,Y,Z) = g((∇Xφ)Y, Z)は、F(X,Y,Z) = -F(X,Z,Y)を満たし、さらにF(X,φY,φZ) = F(X,Y,Z) + η(Y)F(X,Z,ξ) - η(Z)F(X,Y,ξ)という変換則を満たす。
• F9およびF10のクラスに対して、φ-基底における作用素Aei, Aφei, Aξに特定の5×5行列形を割り当てることで、明示的例が構成された。行列の成分は関数a,b,c,d,e,fでパラメータ化されている。
• F10クラスでは、F(X,Y,Z) = η(X)F(ξ,φY,φZ)という条件が検証され、これがこのクラスを代数的に特徴付ける。
• 次元3では、クラスF1, F2, F3, F6は実現不可能であり、特定の幾何的構造の存在に次元的制約があることが示された。
• 本分類は、ほぼヘルミート的およびほぼ接触幾何におけるものと類似しており、符号不定計量を伴うほぼパラ接触多様体を体系的に研究するためのフレームワークを提供する。