哪些伪黎曼 H 型幂零流形是测地轨道流形？

测地轨道意味着每条测地线都是等距轨道

当一个伪黎曼流形的每条测地线都是其全等距群的一个单参数子群的轨道时，它被称为测地轨道（GO）流形。这样的流形必然是齐性的，于是问题变成代数问题：对每个初始向量，等距代数中是否包含一个斜对称导子，能够重现这条测地线？

伪黎曼情形以一种黎曼情形中不存在的方式改变了问题。测地线可能是零测地线，而对零测地线，经典测地线引理必须修改：单参数群的生成元只需在仿射重参数化意义下重现测地线。这一额外自由度由一个常数 k 编码，除非初始向量是零向量，否则 k 为零。正因如此，许多黎曼结果不能直接照搬。

本文针对伪 H 型群 N_{r,s} 研究这一问题：它们是 2 步幂零李群，其李代数 n_{r,s} = z ⊕ v 由 Clifford 代数 Cl(R^{r,s}) 的容许模 v 构造，并带有左不变度量，该度量在中心 z 上的限制是不定的，即 s ≥ 1。这里 z 与 R^{r,s} 等同，v 带有中性数量积。

黎曼基准允许更大的中心与模

对于黎曼 H 型群，GO 问题已由 Kaplan 和 Riehm 完全解决。设 z 是 m 维中心，v 是 n 维正交补，则 N 是测地轨道流形当且仅当以下三个条件之一成立：m = 1, 2, 3 且 n 任意；m = 5, 6 且 n = 8；或 m = 7 且 n = 8, 16, 24 且 v 是等型 Clifford 模。在最后一种情形中，该条件等价于：对 z 的一组正交基 Z_1, …, Z_7，v 上的线性变换 X ↦ J_{Z1}J_{Z2}···J_{Z7}(X) 要么是 Id，要么是 −Id。

同一黎曼结果还指出，N 是自然约化流形当且仅当 m = 1 或 m = 3。因此在黎曼情形中，七维中心仍然允许在维数为 8、16 和 24 的等型模上存在 GO 度量。

这正是本文用来框定自身结果的比较对象。伪黎曼情形结果要刚性得多：那个七维中心情形的分裂类比是 15 维群 N_{3,4}(v_min)，而一旦 v 被扩大，无论是由等价的还是非等价的极小模扩大，它都会失去 GO 性质。

只有两个签名是自然约化的

第一个主要结果确定了 N_{r,s} 为自然约化流形的签名：当且仅当 (r, s) 为 (0,1) 或 (1,2) 时成立。在这两种情形下，该流形同时也是测地轨道流形，而且这对每个容许 Clifford 模都成立，而不仅对极小模成立。

这两种情形被显式验证。对于 N_{0,1}，李代数等距于 R^{0,1} ⊕ R^{l,l}，Clifford 模分解为 l 个极小容许模 v_min ≅ R^{1,1} 的直和。在合适的正交基下，算子 J_Z 张成一维子空间 V = J(z) ⊂ so(l,l)，它是一个阿贝尔子代数，因此括号条件 [J(Z_1), J(Z_2)] = J(τ_{Z_1}(Z_2)) 在 τ ≡ 0 时得到满足。

对于 N_{1,2}，李代数等距于 R^{1,2} ⊕ R^{2l,2l}，该群的维数为 4l + 3，其中 l ≥ 1。Clifford 代数 Cl(R^{1,2}) 有两个维数为 2 的不可约非等价模 V_+ 和 V_−，由 J_{Z1}J_{Z2}J_{Z3} 作用为 +Id 还是 −Id 来区分。极小容许模是 v_min = V_+ × V_−，带有中性度量，等距于 R^{2,2}，而任何容许模都是 l 个这样的极小模的正交直和。

这两个签名下的自然约化性通过 Ovando 判据以及由 J(z) 生成的李代数结构来建立。该判据要求 V = J(z) 是 so(v) 的李子代数，并且对某个 τ_{Z_1} ∈ so(z) 有 [J(Z_1), J(Z_2)] = J(τ_{Z_1}(Z_2))。

N_{3,4} 仅在极小模下是测地轨道流形

例外的伪黎曼情形是 N_{3,4}。本文证明，当且仅当 v 是极小维容许 Clifford 模时，N_{3,4} 是测地轨道流形但不是自然约化流形。这就是 15 维群 N_{3,4}(v_min)，它是黎曼七维中心情形的分裂类比。

对于这个群，作者显式构造了生成所有测地线（包括零测地线）的单参数等距群，并描述了其生成元的仿射族。该构造使用 v_min 的一组适应 Clifford 关系的特殊基，分析给出了 v_min 上齐性测地线的全部生成元。

与黎曼情形的对比十分鲜明。在黎曼情形中，七维中心允许在维数为 8、16 和 24 的等型模上存在 GO 度量。在伪黎曼情形中，例外签名仅在最小可能的模上才是 GO。扩大 v，即使是用等价的极小模扩大，也会破坏该性质。

扩大模会破坏测地轨道性质

本文证明，当 v 不是极小维容许 Clifford 模时，N_{3,4} 不是测地轨道流形。这涵盖了 v_min ⊕ v_min 以及非等价组合 v_min^− ⊕ v_min^+。

对于 v_min ⊕ v_min，v_min 上的容许数量积仅在非零因子意义下唯一，因此该直和可能带有 ⟨·,·⟩ ⊕ σ⟨·,·⟩，其中 σ = ±1。证明中导出的矛盾对两个 σ 值都相同，因此非 GO 结果对两种度量都成立。

对于 v_min^− ⊕ v_min^+，该模等距于 R^{8,8}。设 Ω = Z_1···Z_7 是 Cl(R^{3,4}) 的体积形式，则 Ω² = 1，且 J_Ω 在 v_min^+ 上作用为 +Id，在 v_min^− 上作用为 −Id。取初始向量 (z_0, x_0) = (Z_1, v^− ⊕ v^+)，证明表明不存在满足所需方程的 D ∈ h：方程组化为 α_1 + ᾱ_1 = 0 且同时 α_1 + ᾱ_1 = 2，构成矛盾。

一般性结论是定理 10：当 p + q > 1 时，伪黎曼 H 型幂零流形 N_{3,4}(⊕^p v_min^+ ⊕ ⊕^q v_min^−) 不是测地轨道流形。这由全测地子群论证连同两个显式非 GO 结果推出。

全测地子群把非 GO 结果向上传递

证明策略解释了为何刚性如此之强。容许子模 v′ ⊂ v 给出一个全测地子群 N_{r,s}(v′) ⊂ N_{r,s}(v)。由于 GO 流形的完备全测地子流形是 GO 的，任何模的非 GO 结果都会传递到所有包含它的模。

正是这一机制把 N_{3,4}(v_min ⊕ v_min) 和 N_{3,4}(v_min^− ⊕ v_min^+) 处的显式失败，转化为关于任意更大模的陈述。它也解释了为什么 (3,4) 处的 GO 性质无法在任何 v 的扩大下存活。

证明结合了三个要素：用于传递的全测地子群论证；用于自然约化情形的 Ovando 判据以及由 J(z) 生成的李代数结构；以及针对 N_{3,4} 的、基于 v_min 的一组适应 Clifford 关系的特殊基的显式分析。在 v_min 上，该分析给出所有齐性测地线的生成元，包括零测地线；而在 v_min ⊕ v_min 和 v_min^− ⊕ v_min^+ 上，它给出测地线非齐性的显式初始向量。

签名划分是本文的决定性阈值

对任意容许模的完整答案是四部分分类。N_{r,s} 是自然约化流形，从而是测地轨道流形，当且仅当 (r, s) ∈ {(0,1), (1,2)}。当 v 是极小维容许 Clifford 模时，N_{3,4} 是测地轨道流形但不是自然约化流形。当 v 不是极小维时，N_{3,4} 不是测地轨道流形。而当 (r, s) ∉ {(0,1), (1,2), (3,4)} 时，N_{r,s} 对任何容许 Clifford 模都不是测地轨道流形。

因此实际阈值是数对 (r, s) 连同模的大小。如果签名是 (0,1) 或 (1,2)，GO 性质在所有容许模上无条件成立。如果签名是 (3,4)，GO 性质完全取决于 v 是否极小：最小可能的模是唯一可行的模，而一旦 v 被等价的或非等价的极小模扩大，该性质就会丧失。其他所有签名都直接失败。

最具决策意义的要点是，伪黎曼情形并非黎曼情形的轻微变形。黎曼七维中心允许在维数为 8、16 和 24 的等型模上存在 GO 度量，而分裂类比仅对最小可能的模才允许 GO。比较这两种情形的读者应把模的维数，而不仅是签名，视为决定答案的变量。

本文引用的文献