[论文解读] Vector fields in the presence of a contact structure

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

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

一句话总结

本文研究了接触流形上所有光滑向量场的李代数作为接触向量场李代数上的模。它建立了向量场到接触分量与切分量的典范分解，引入了用于通用公式的海森堡结构，并构造了一个不变的、非退化的斜对称双线性映射，用于度量接触分布的非积分性，从而在接触几何中提供了显式的几何与代数结构。

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.

研究动机与目标

• 理解接触流形上所有向量场的李代数作为接触向量场李代数上的模的结构。
• 将所有向量场的空间分解为接触向量场与切向量场的直和，二者均为接触向量场代数上的模。
• 为切向量场模 TVect(M) 提供几何与不变的描述，及其与 CVect(M) 的相互作用。
• 构造一个显式、不变的、非退化的斜对称双线性映射 B: TVect(M) ∧ TVect(M) → CVect(M)，以捕捉李括张不保持切性失败的度量。
• 引入海森堡结构作为表达接触向量场及其作用的通用框架，取代较不不变的达布坐标。

提出的方法

• 利用接触向量场对所有向量场的李代数作用，定义 Vect(M) 上的模结构。
• 通过求解满足 X - Y 为接触向量场的切向量场 Y，利用接触分布上 dα 的非退化性，建立 Vect(M) ≅ CVect(M) ⊕ TVect(M) 的典范分裂。
• 通过满足 [A_i, B_j] = δ_ij Z 的向量场 A_i, B_i, 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 如何将接触流形上所有向量场的李代数作为接触向量场李代数上的模进行分解？
• RQ2 与接触分布切向的向量场空间的几何与代数结构是什么？其在接触向量场作用下的变换方式如何？
• RQ3 能否构造一个避免依赖达布坐标的通用、不变的接触向量场公式？
• RQ4 是否存在一个典范的、不变的、非退化的斜对称双线性映射，用于度量接触分布的非积分性？
• RQ5 接触向量场对切向量场的作用在代数上如何表现？能否通过系数函数上的微分算子来表达？

主要发现

• 接触流形上所有光滑向量场的空间作为 CVect(M)-模，典范地分裂为接触向量场与切向量场的直和：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|，用于度量两个切向量场的李括张不保持切性的失败。
• 与哈密顿量 H 关联的接触向量场被普遍表达为 X_H = H·Z - ∑(A_i(H)B_i - B_i(H)A_i)，提供了一种无坐标且不变的公式。
• 双线性映射 H_{X,Ỹ} 在 CVect(M) 作用下表现为接触哈密顿量，其迹结构反映了 Reeb 向量场的作用：Z(H) = ∂H/∂z。