2025-11-18T08:16:13.178067

Strongly Doubly Reversibile Pairs in Quaternionic Unitary Group of Signature $(n,1)$

Gongopadhyay, Kalane
Let $\PSp(n,1)$ denote the isometry group of quaternionic hyperbolic space $\h^n$. A pair of elements $(g_1,g_2)$ in $\PSp(n,1)$ is said to be \emph{strongly doubly reversible} if $(g_1,g_2)$ and $(g_1^{-1},g_2^{-1})$ belong to the same simultaneous conjugation orbit of $\PSp(n,1)$, and a conjugating element can be chosen to have order two. Equivalently, there exist involutions $i_1,i_2,i_3 \in \PSp(n,1)$ such that $g_1 = i_1 i_2,~ g_2 = i_1 i_3$. We prove that the set of such pairs has Haar measure zero in $\PSp(n,1) \times \PSp(n,1)$. The same result also holds for $\PSp(n) \times \PSp(n)$ for $n\geq 2$. In the special case $n=1$, we show that every pair of elements in $\PSp(1)$ is strongly doubly reversible. Using elementary quaternionic analysis for $\Sp(1)$, we also provide a very short proof of a theorem of Basmajian and Maskit, in Trans. Amer. Math. Soc. 364 (2012), no. 9, 5015--5033, which states that every pair of elements in ${\rm SO}(4)$ is strongly doubly reversible. Furthermore, we derive necessary conditions under which a pair of hyperbolic elements is strongly doubly reversible in $\PSp(1,1)$.
academic

Strongly Doubly Reversibile Pairs in Quaternionic Unitary Group of Signature (n,1)(n,1)

基本信息

  • 论文ID: 2510.14735
  • 标题: Strongly Doubly Reversibile Pairs in Quaternionic Unitary Group of Signature (n,1)(n,1)
  • 作者: Krishnendu Gongopadhyay, Sagar B. Kalane
  • 分类: math.GR (群论), math.GT (几何拓扑)
  • 提交时间: 2025年10月16日
  • 论文链接: https://arxiv.org/abs/2510.14735

摘要

本文研究四元数双曲空间 Hn\mathbb{H}^n 的等距群 PSp(n,1)PSp(n,1) 中的强双可逆对。如果元素对 (g1,g2)(g_1,g_2) 和 (g1−1,g2−1)(g_1^{-1},g_2^{-1}) 属于同一个同时共轭轨道，且共轭元素可以选择为二阶元，则称该对为强双可逆的。作者证明了对于 n≥2n \geq 2，这样的对在 PSp(n,1)×PSp(n,1)PSp(n,1) \times PSp(n,1) 中构成 Haar 测度零集。特别地，当 n=1n=1 时，PSp(1)PSp(1) 中的每一对元素都是强双可逆的，并利用这一结果给出了 Basmajian-Maskit 定理的简洁证明。

研究背景与动机

问题背景

强可逆元素（能表示为两个对合的乘积）在群论和几何学中具有重要意义。在双曲几何中，经典结果表明 PSL(2,C)PSL(2,\mathbb{C}) 中任意两个生成非基本子群的元素都可以表示为共享公共因子的对合乘积，即存在对合 i1,i2,i3i_1, i_2, i_3 使得 A=i1i2A = i_1i_2，B=i1i3B = i_1i_3。

研究动机

  1. 理论推广: 将经典的 PSL(2,C)PSL(2,\mathbb{C}) 结果推广到四元数双曲等距群
  2. 几何理解: 探索四元数双曲空间中等距变换的内在结构
  3. 测度理论: 研究强双可逆对在群中的分布特性
  4. 分类问题: 为双曲元素的强双可逆性提供判别条件

现有研究局限

  • Basmajian 和 Maskit 证明了高维情形下大部分对都不是强双可逆的
  • 四元数的非交换性使得许多复双曲几何的工具无法直接应用
  • 缺乏良好的迹函数或完整的共轭不变量

核心贡献

  1. 主要定理: 证明了 PSp(n,1)PSp(n,1) 中强双可逆对构成 Haar 测度零集（n≥2n \geq 2）
  2. 特殊情形: 完全刻画了 PSp(1)PSp(1) 中所有对都是强双可逆的
  3. 应用结果: 提供了 SO(4) 中每对元素都强双可逆的简洁证明
  4. 双曲元素分析: 证明了双曲元素的双可逆性等价于强双可逆性
  5. 必要条件: 给出了 PSp(1,1)PSp(1,1) 中双曲对强双可逆的 Cartan 角不变量条件

方法详解

任务定义

研究群 GG 中的强双可逆对：对于 (g1,g2)∈G×G(g_1, g_2) \in G \times G，如果存在对合 h∈Gh \in G（即 h2=1h^2 = 1）使得 h(g1,g2)h−1=(g1−1,g2−1)h(g_1, g_2)h^{-1} = (g_1^{-1}, g_2^{-1}) 则称 (g1,g2)(g_1, g_2) 为强双可逆对。

核心方法

1. 维数计算方法

对于 G=PSp(n,1)G = PSp(n,1) 和斜对合 ss（满足 s2=−Is^2 = -I），利用伴随作用分解： g=g+1(s)⊕g−1(s)\mathfrak{g} = \mathfrak{g}_{+1}(s) \oplus \mathfrak{g}_{-1}(s)

其中：

  • dim⁡Rg+1(s)=(n+1)2\dim_{\mathbb{R}} \mathfrak{g}_{+1}(s) = (n+1)^2（中心化子的维数）
  • dim⁡Rg−1(s)=(n+1)(n+2)<dim⁡G\dim_{\mathbb{R}} \mathfrak{g}_{-1}(s) = (n+1)(n+2) < \dim G

2. 四元数分析方法

对于 PSp(1)≅SO(3)PSp(1) \cong SO(3)，利用四元数的特殊性质：

  • 每个单位四元数 q=c1+c2jq = c_1 + c_2j 都可以写成对合乘积
  • 通过解方程 Re(c2e−iθ1)=0\text{Re}(c_2e^{-i\theta_1}) = 0 构造共轭元素

3. 特征值分析

对于双曲元素，利用其对角化形式： A=CAEACA−1,EA=diag(reiθ,eiϕ1,…,eiϕn−1,r−1eiθ)A = C_A E_A C_A^{-1}, \quad E_A = \text{diag}(re^{i\theta}, e^{i\phi_1}, \ldots, e^{i\phi_{n-1}}, r^{-1}e^{i\theta})

技术创新点

  1. 斜对合技术: 利用 s2=−Is^2 = -I 的斜对合在投影群中成为真对合的性质
  2. Cartan 角不变量: 引入四元数双曲几何中的角度不变量作为判别工具
  3. 分块分析: 对双曲元素的特征值结构进行分块处理

实验设置

本文为纯数学理论研究，主要通过严格的数学证明验证理论结果，不涉及数值实验。

验证方法

  1. 构造性证明: 对 PSp(1)PSp(1) 情形给出显式构造
  2. 反例分析: 通过具体例子说明必要条件的充分性不成立
  3. 维数论证: 利用代数几何的维数理论证明测度零性质

主要结果

定理 1.2 (测度零性质)

PSp(n,1)PSp(n,1) 中强双可逆对的集合在 PSp(n,1)×PSp(n,1)PSp(n,1) \times PSp(n,1) 中具有 Haar 测度零。

证明思路:

  • 固定对合 hh，方程 hgh−1=g−1hgh^{-1} = g^{-1} 的解集维数小于 dim⁡G\dim G
  • 所有强双可逆对构成真代数子集，因此测度为零

定理 3.2 (完全可逆性)

PSp(1)PSp(1) 中任意两个元素都是强双可逆的。

证明要点:

  • 利用四元数表示 p2=c1+c2jp_2 = c_1 + c_2j
  • 通过选择适当的 θ1\theta_1 使得 Re(c2e−iθ1)=0\text{Re}(c_2e^{-i\theta_1}) = 0
  • 构造共轭元素 q=eiθ1jq = e^{i\theta_1}j

定理 5.2 (双曲元素特性)

对于双曲元素 A,B∈PSp(n,1)A, B \in PSp(n,1)，(A,B)(A,B) 是双可逆的当且仅当它是强双可逆的。

定理 1.6 (必要条件)

设 A,BA, B 是 PSp(1,1)PSp(1,1) 中无公共不动点的双曲元素，如果 A(aA,rA,aB)≠A(rA,aA,rB)\mathcal{A}(a_A, r_A, a_B) \neq \mathcal{A}(r_A, a_A, r_B) 则 AA 和 BB 不能是强双可逆的。

相关工作

经典结果

  • PSL(2,C) 情形: Goldman, Maskit 等人的经典结果
  • 实双曲情形: PSL(2,R) 中的类似性质
  • 高维推广: Basmajian-Maskit 对高维 Möbius 群的研究

复双曲几何

  • Will 对 PU(2,1) 中 loxodromic 对的分类
  • Paupert-Will 对 R-可分解对的完整分类
  • Ren 等人对 C-可分解对的描述

四元数双曲几何

  • Bhunia-Gongopadhyay 关于 Sp(n,1) 中每个元素可表示为两个斜对合乘积的结果
  • Chen-Greenberg 关于双曲元素共轭性的引理

结论与讨论

主要结论

  1. 测度理论结果: 除了低维特殊情形，强双可逆对在四元数双曲等距群中是稀有的
  2. 完全分类: PSp(1)≅SO(3)PSp(1) \cong SO(3) 中的完全可逆性为 SO(4) 结果提供了新证明
  3. 几何判别: Cartan 角不变量提供了双曲对强双可逆性的几何判别条件

局限性

  1. 充分性缺失: 必要条件的逆向不总是成立
  2. 分类困难: 四元数非交换性使得完全分类变得困难
  3. 计算复杂性: 缺乏有效的算法判别任意对的强双可逆性

未来方向

  1. 完整分类: 寻找 PSp(1,1)PSp(1,1) 中强双可逆对的充要条件
  2. 算法开发: 开发有效的判别算法
  3. 推广研究: 扩展到更一般的四元数 Hermitian 形式
  4. 几何应用: 探索在三角群和离散群理论中的应用

深度评价

优点

  1. 理论深度: 将经典群论结果成功推广到四元数设定
  2. 方法创新: 巧妙结合了李群理论、四元数分析和代数几何
  3. 结果完整: 给出了从一般理论到具体判别条件的完整图景
  4. 应用价值: 为已知结果提供了新的简洁证明

技术亮点

  1. 维数论证: 利用李代数分解的维数计算是关键创新
  2. 四元数技巧: 对四元数共轭方程的巧妙处理
  3. 几何洞察: Cartan 角不变量的引入体现了深刻的几何理解

不足之处

  1. 条件完备性: 部分必要条件缺乏充分性
  2. 计算复杂性: 实际判别仍然困难
  3. 推广局限: 方法对更高维情形的适用性有限

影响力评估

  1. 理论贡献: 丰富了四元数双曲几何的理论基础
  2. 方法价值: 提供的技术方法可能适用于相关问题
  3. 应用前景: 在离散群理论和双曲几何中有潜在应用

适用场景

  1. 理论研究: 四元数双曲几何和相关李群理论
  2. 几何分析: 双曲空间的等距变换研究
  3. 代数几何: 实代数簇的测度理论分析

参考文献

论文引用了18篇重要文献，包括：

  • Basmajian-Maskit 的开创性工作 2
  • Bhunia-Gongopadhyay 关于四元数双曲等距的基础结果 3
  • Goldman, Maskit 等人关于经典情形的重要工作 7,9
  • 复双曲几何中的相关分类结果 11,13,17

本文在四元数双曲几何这一专门领域做出了重要的理论贡献，特别是在强双可逆对的测度理论性质方面给出了完整的图景。虽然在算法和应用方面还有改进空间，但其理论深度和方法创新性使其成为该领域的重要进展。