[論文レビュー] Vector fields in the presence of a contact structure

Valentin Ovsienko|arXiv (Cornell University)|Nov 20, 2005

Advanced Topics in Algebra参考文献 5被引用数 9

ひとこと要約

本稿では、接触多様体上の滑らかなベクトル場のリー代数を接触ベクトル場のリー代数 over するモジュールとして研究する。接触ベクトル場と接ベクトル場への自然な分解を確立し、普遍的な公式のためのヘイセンベルク構造を導入し、接触分布の非可積分性を測る不変で非退化な歪対称な双線形写像を構成する。これにより、接触幾何における明示的な幾何的・代数的構造が得られる。

ABSTRACT

We consider the Lie algebra of all vector fields on a contact manifold as a module over the Lie subalgebra of contact vector fields. This module is split into a direct sum of two submodules: the contact algebra itself and the space of tangent vector fields. We study the geometric nature of these two modules.

研究の動機と目的

• 接触多様体上のすべてのベクトル場のリー代数が接触ベクトル場のリー代数 over するモジュールとしてどのように構造を持つのかを理解すること。
• すべてのベクトル場の空間を、接触ベクトル場と接ベクトル場の直和に分解し、両者とも接触ベクトル場代数 over のモジュールであることを示すこと。
• 接ベクトル場モジュール TVect(M) の幾何的・不変的記述と、CVect(M) との相互作用を提供すること。
• TVect(M) × TVect(M) から CVect(M) への不変で非退化な歪対称な双線形写像 B を明示的に構成し、リー括弧が接性を保存しないことの度合いを測ること。
• ダーブル・座標に依存しないより不変的な枠組みとして、ヘイセンベルク構造を導入し、接触ベクトル場とその作用を普遍的に表現する。

提案手法

• 接触ベクトル場のリー代数がすべてのベクトル場に作用することにより、Vect(M) にモジュール構造を定義する。
• 接触分布上での dα の非退化性を用いて、X - Y が接触的となるような接ベクトル場 Y を求める問題を解くことにより、自然な分解 Vect(M) ≅ CVect(M) ⊕ TVect(M) を確立する。
• ベクトル場 A_i, B_i, Z が [A_i, B_j] = δ_ij Z を満たすように、多様体上にヘイセンベルク構造を導入し、接触幾何の普遍的な局所フレームを提供する。
• 接触ベクトル場の普遍的公式を導出する：X_H = H·Z - ∑(A_i(H)B_i - B_i(H)A_i)。これは任意の接触ベクトル場をそのハミルトニアン H で表す。
• 接ベクトル場の係数関数に対するヘイセンベルク基底における一階微分作用素行列を用いて、CVect(M) が TVect(M) に作用する様子を計算する。
• 係数ペアの行列式を用いて、明示的な不変な双線形写像 B: TVect(M) ∧ TVect(M) → CVect(M) を構成する。具体的な式は H_{X,Ỹ} = ∑|F_i Ỹ_i; G_i Ỹ_i| である。

実験結果

リサーチクエスチョン

• RQ1 接触多様体上のすべてのベクトル場のリー代数は、接触ベクトル場のリー代数 over するモジュールとしてどのように分解できるか？
• RQ2 接触分布に接するベクトル場の空間の幾何的・代数的構造は何か？ また、接触ベクトル場の作用によってどのように変化するか？
• RQ3 ダーブル座標に依存しない、普遍的で不変な接触ベクトル場の公式を構成できるか？
• RQ4 接触分布の非可積分性を測る、自然で不変で非退化な歪対称な双線形写像は存在するか？
• RQ5 接触ベクトル場が接ベクトル場に作用する様子は代数的にどのように現れるか？ また、係数関数上の微分作用素として表現できるか？

主な発見

• 接触多様体上のすべての滑らかなベクトル場の空間は、接触ベクトル場のリー代数 over するモジュールとして、自然に直和分解される：Vect(M) ≅ CVect(M) ⊕ TVect(M)。
• 接ベクトル場の空間は、Ω²₀(M) ⊗ F_{-2/(n+1)}(M) に同型である。ここで Ω²₀(M) は接触分布に消える2形式の空間である。
• 接触ベクトル場が接ベクトル場に作用する様子は、ヘイセンベルク基底における係数関数に作用する一階微分作用素行列として与えられ、式 (14) に表れる。
• 明示的で不変で非退化な歪対称な双線形写像 B: TVect(M) ∧ TVect(M) → CVect(M) が構成され、H_{X,Ỹ} = ∑|F_i Ỹ_i; G_i Ỹ_i| である。この写像は、2つの接ベクトル場のリー括弧が接性を保たない度合いを測る。
• ハミルトニアン H に対応する接触ベクトル場は、X_H = H·Z - ∑(A_i(H)B_i - B_i(H)A_i) として普遍的に表され、座標に依存しない不変な公式を提供する。
• 双線形写像 H_{X,Ỹ} は、CVect(M) の作用に関して接触ハミルトニアンとして変換し、リーブ場の作用を反映するトレース構造を持つ：Z(H) = ∂H/∂z。