[论文解读] Matrix Lie groups as 3-dimensional almost contact B-metric manifolds

Hristo Manev|arXiv (Cornell University)|Mar 1, 2015

Geometric Analysis and Curvature Flows参考文献 4被引用 4

一句话总结

本文通过其李代数结构，建立了三维几乎接触B度量流形（由Ganchev-Mihova-Gribachev分类为11种基本类）与矩阵李群之间的完全对应关系。它为每种类别的李群推导出显式的矩阵表示，展示了几何分类如何与代数括号关系相一致，并表明已知的李群（如海森堡群、旋转群SO(3)和仿射运动群）可根据其导出代数相对于Reeb向量场的位置，被赋予特定类型的几乎接触B度量结构。

ABSTRACT

The object of investigation are Lie groups considered as almost contact B-metric manifolds of the lowest dimension three. It is established a correspondence of all basic-class-manifolds of the Ganchev-Mihova-Gribachev classification of the studied manifolds and the explicit matrix representation of Lie groups. Some known Lie groups are equiped with almost contact B-metric structure of different types.

研究动机与目标

• 建立三维几乎接触B度量流形的11种基本类与矩阵李群之间的一一对应关系。
• 确定Ganchev-Mihova-Gribachev分类中每种类别所对应的李群的显式矩阵表示。
• 展示李群作为几乎接触B度量流形的几何类型如何取决于其导出代数相对于Reeb向量场ξ的位置。
• 证明已知李群（例如海森堡群、SO(3)、仿射运动群）可根据其李代数结构被赋予特定类型的几乎接触B度量结构。

提出的方法

• 本文采用Ganchev-Mihova-Gribachev对几乎接触B度量流形的分类，该分类基于由Levi-Civita联络导出的(0,3)张量F，将其划分为11种基本类。
• 通过基{e₀, e₁, e₂}定义三维几乎接触B度量结构，其中φ(e₁)=e₂，φ(e₂)=-e₁，φ(e₀)=0，ξ=e₀，以及签名为(2,1)的B度量g，满足g(e₀,e₀)=g(e₁,e₁)=-g(e₂,e₂)=1。
• 在该基下显式计算张量F的分量及相关的Lee 1-形式θ、θ*、ω，每种基本类F_s（s=1,4,5,8,9,10,11）由F的特定非零分量表征。
• 对每种类别，通过括号关系[ E_i, E_j ] = c_{ijk} E_k 推导出相应的李代数结构，并通过这些代数的指数映射构造矩阵李群，例如e^A（其中A属于李代数）。
• 该分类与三维实李代数的Bianchi分类相联系，李群的几何类型由其导出代数是否位于ker(η)或span(ξ)中决定。
• 为每种类别显式构造了矩阵群：G₁对应F₁，G₄对应F₄，G₈对应F₈，G₉对应F₉，G₁₀对应F₁₀，G₁₁对应F₁₁，参数包括a, b, c, α, 和Δ。

实验结果

研究问题

• RQ1 三维几乎接触B度量流形的11种基本类中，每类对应的矩阵李群是什么？
• RQ2 李群的导出代数相对于Reeb向量场ξ的位置如何决定其几乎接触B度量结构的几何类型（即类别）？
• RQ3 能否基于其李代数结构，将已知李群（如海森堡群、SO(3)、双曲运动群）归类到几乎接触B度量流形的特定类别中？
• RQ4 Ganchev-Mihova-Gribachev分类中每种基本类所对应的李群的显式矩阵表示是什么？
• RQ5 Lee 1-形式θ、θ*、ω以及张量F的分量如何决定三维几乎接触B度量流形的类别归属？

主要发现

• 李群G_I（双曲运动）当其导出代数位于ker(η)中时，是F₉类的几乎接触B度量流形；否则属于F₁⊕F₁₁。
• 李群G_II（R²的等距群）当其导出代数位于ker(η)中时，属于F₄类；否则属于F₄⊕F₈或F₄⊕F₈⊕F₁₀。
• 海森堡群G_III在导出代数位于ker(η)时属于F₄⊕F₁₀，若位于span(ξ)则属于F₈⊕F₁₀。
• 旋转群SO(3)被归类为F₄⊕F₈⊕F₁₀，对应于Bianchi型IX李代数。
• 对于F₈类，李代数的括号关系为[ E₀, E₁ ]=αE₂，[ E₀, E₂ ]=αE₁，[ E₁, E₂ ]=0，其中α=−λ，矩阵群由满足迹为零且tr(A²)=2α²Δ的矩阵A的指数e^A生成，其中Δ=2a²−2b²+c²。
• 该分类通过表1完全实现，表中为全部11种类别提供了矩阵表示，其中G₁、G₄、G₈、G₉、G₁₀、G₁₁的显式形式依赖于参数a, b, c, α, 和Δ。