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

署名 $(n,1)$ の四元数ユニタリ群における強二重可逆対

基本情報

論文ID: 2510.14735
タイトル: Strongly Doubly Reversibile Pairs in Quaternionic Unitary Group of Signature $(n,1)$
著者: Krishnendu Gongopadhyay, Sagar B. Kalane
分類: math.GR（群論）、math.GT（幾何位相）
提出日時: 2025年10月16日
論文リンク: https://arxiv.org/abs/2510.14735

要旨

本論文は四元数双曲空間 $\mathbb{H}^n$ の等距変換群 $PSp(n,1)$ における強二重可逆対を研究する。元素対 $(g_1,g_2)$ と $(g_1^{-1},g_2^{-1})$ が同一の同時共役軌道に属し、共役元素を二次元素として選択できる場合、その対を強二重可逆と呼ぶ。著者らは $n \geq 2$ に対して、このような対が $PSp(n,1) \times PSp(n,1)$ においてハール測度零集合を構成することを証明した。特に $n=1$ のとき、 $PSp(1)$ 内のすべての元素対は強二重可逆であり、この結果を利用してBasmajian-Maskit定理の簡潔な証明を与えた。

研究背景と動機

問題背景

強可逆元素（二つの対合の積として表現可能）は群論と幾何学において重要な意義を持つ。双曲幾何では、古典的結果として $PSL(2,\mathbb{C})$ 内の任意の二つの非基本部分群を生成する元素は、公通因子を共有する対合の積として表現可能であることが知られている。すなわち、対合 $i_1, i_2, i_3$ が存在して $A = i_1i_2$ 、 $B = i_1i_3$ となる。

研究動機

理論的拡張: 古典的な $PSL(2,\mathbb{C})$ の結果を四元数双曲等距変換群へ推広する
幾何的理解: 四元数双曲空間における等距変換の内在的構造を探究する
測度論: 強二重可逆対の群内での分布特性を研究する
分類問題: 双曲元素の強二重可逆性に対する判別条件を提供する

既存研究の限界

BasmajianとMaskitは高次元の場合、大部分の対が強二重可逆でないことを証明した
四元数の非可換性により、複素双曲幾何の多くの道具が直接適用できない
適切なトレース関数または完全な共役不変量が不足している

核心的貢献

主定理: $PSp(n,1)$ における強二重可逆対がハール測度零集合を構成することを証明（ $n \geq 2$ ）
特殊情形: $PSp(1)$ 内のすべての対が強二重可逆であることを完全に特徴付ける
応用結果: $SO(4)$ 内のすべての元素対が強二重可逆であることの簡潔な証明を提供
双曲元素分析: 双曲元素の二重可逆性が強二重可逆性と同値であることを証明
必要条件: $PSp(1,1)$ における双曲対の強二重可逆性に対するCartan角不変量条件を与える

方法の詳細

問題の定義

群 $G$ における強二重可逆対を研究する： $(g_1, g_2) \in G \times G$ に対して、対合 $h \in G$ （すなわち $h^2 = 1$ ）が存在して $h(g_1, g_2)h^{-1} = (g_1^{-1}, g_2^{-1})$ を満たす場合、 $(g_1, g_2)$ を強二重可逆対と呼ぶ。