[论文解读] Nonholonomic Lorentzian geometry on some $\mathbb H$-type groups

Anna Korolko, Irina Markina|ArXiv.org|Sep 25, 2008

Geometric and Algebraic Topology参考文献 20被引用 7

一句话总结

本文通过在水平分布上赋予一个指标为1的洛伦兹度量，将子洛伦兹几何引入$H$-型群，与标准的子黎曼几何形成对比。本文建立了因果结构，通过时向未来指向的曲线表征可达集，并推导出测地线的显式参数方程，证明了从原点出发的测地线唯一性——这与子黎曼情形不同。

ABSTRACT

We consider examples of the $\mathbb H$-type groups with the natural horizontal distribution generated by the commutation relations of the group. In the contrast with the previous studies we furnish the horizontal distribution with the Lorentzian metric, which is nondegenerate metric of index 1 instead of a positive definite quadratic form. The causal character is defined. We study the reachable set by timelike future directed curves. The parametric equations of geodesics are obtained.

研究动机与目标

• 通过将水平分布上的正定度量替换为非退化的指标为1的洛伦兹度量，将子黎曼几何推广至子洛伦兹几何。
• 研究配备洛伦兹度量的$\rH$-型群的因果性质，特别关注时向未来指向的曲线。
• 确定从给定原点出发，可通过此类时向未来指向曲线访问的可达点集。
• 推导在海森堡群和四元数$\rH$-型群上子洛伦兹几何设定下的测地线参数方程。
• 在子洛伦兹框架下建立从原点出发的测地线唯一性，与子黎曼情形形成对比。

提出的方法

• 将$\rH$-型群定义为具有分次李代数$\rG = V_1 \bigoplus V_2$的 simply connected 2步幂零李群，其中$V_2 = [V_1, V_1]$且$[V_1, V_2] = 0$。
• 在水平分布$V_1$上赋予洛伦兹度量，即签名为$(+,-,\dots,-)$的非退化对称双线性型，而非正定度量。
• 利用典范内积及由$\langle J_Z X, X' \rangle = \langle Z, [X, X'] \rangle$定义的关联$J_Z$算子，满足$J_Z^2 = -|Z|^2 I$。
• 应用哈密顿力学，将测地线作为余切丛上哈密顿系统解的投影来推导。
• 利用四元数的矩阵表示，对具有4维$V_1$和3维$V_2$的四元数$\rH$-型群进行建模，并通过左不变向量场定义群乘法。
• 求解测地线对应的常微分方程组，推导出涉及初始动量和群结构相关常数$c_1, c_2, k$的显式参数表达式。

实验结果

研究问题

• RQ1 当水平分布配备洛伦兹度量而非黎曼度量时，$\rH$-型群的因果结构是什么？
• RQ2 从原点出发，哪些$\rH$-型群中的点可通过时向未来指向的曲线到达？
• RQ3 在子洛伦兹设定下，测地线与子黎曼情形下的测地线有何不同，特别是在唯一性方面？
• RQ4 能否在海森堡群和四元数$\rH$-型群上，于子洛伦兹设定下推导出测地线的显式参数方程？
• RQ5 四元数结构和$J_Z$-算子在塑造子洛伦兹测地线的几何与动力学中起什么作用？

主要发现

• 在洛伦兹度量下，$\rH$-型群的可达集被表征为可通过时向未来指向曲线访问的点集，其受因果结构的约束。
• 与子黎曼情形不同，在子洛伦兹设定下，从原点出发的测地线是唯一的，表明该几何具有更强的刚性。
• 为海森堡群和四元数$\rH$-型群均推导出测地线的显式参数方程，其中涉及编码初始动量和群参数的常数$c_1, c_2, k$。
• 测地线动量和位置向量各分量的平方模可表示为$c_1^2 + c_2^2$和$k$的函数，表达式中出现如$8(c_1^2 + c_2^2)k$和$16c_1^2c_2^2$等特定值。
• 推导出动量分量($\alpha_i^j, \beta_i^j$)及其交叉项之间的内积关系，如$\alpha_0^1\beta_1^1 + \alpha_0^2\beta_1^2 + \alpha_0^3\beta_1^3 = 0$，表明哈密顿动力学中存在正交性约束。
• 控制测地线运动的方程组包含非平凡关系，如$\alpha_5^1\beta_1^1 + \alpha_5^2\beta_1^2 + \alpha_5^3\beta_1^3 = -4(c_1^2 - c_2^2)k$，反映了在非黎曼设定下动量与位置之间的相互作用。