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

Basic Information

• Paper ID: 2510.14735
• Title: Strongly Doubly Reversible Pairs in Quaternionic Unitary Group of Signature $(n,1)$
• Authors: Krishnendu Gongopadhyay, Sagar B. Kalane
• Classification: math.GR (Group Theory), math.GT (Geometric Topology)
• Submission Date: October 16, 2025
• Paper Link: https://arxiv.org/abs/2510.14735

Abstract

This paper investigates strongly doubly reversible pairs in the isometry group $PSp(n,1)$ of quaternionic hyperbolic space $\mathbb{H}^n$. A pair of elements $(g_1,g_2)$ is called strongly doubly reversible if both $(g_1,g_2)$ and $(g_1^{-1},g_2^{-1})$ belong to the same simultaneous conjugacy orbit, and the conjugating element can be chosen to be an involution. The authors prove that for $n \geq 2$, such pairs form a Haar measure zero set in $PSp(n,1) \times PSp(n,1)$. In particular, when $n=1$, every pair of elements in $PSp(1)$ is strongly doubly reversible, and this result is used to provide a concise proof of the Basmajian-Maskit theorem.

Research Background and Motivation

Problem Background

Strongly reversible elements (expressible as products of two involutions) hold significant importance in group theory and geometry. In hyperbolic geometry, a classical result states that any two elements in $PSL(2,\mathbb{C})$ generating a non-elementary subgroup can be expressed as products of involutions sharing a common factor; that is, there exist involutions $i_1, i_2, i_3$ such that $A = i_1i_2$ and $B = i_1i_3$.

Research Motivation

1. Theoretical Generalization: Extending classical $PSL(2,\mathbb{C})$ results to quaternionic hyperbolic isometry groups
2. Geometric Understanding: Exploring the intrinsic structure of isometric transformations in quaternionic hyperbolic space
3. Measure Theory: Investigating the distribution properties of strongly doubly reversible pairs in groups
4. Classification Problems: Providing discriminant conditions for the strong double reversibility of hyperbolic elements

Limitations of Existing Research

• Basmajian and Maskit demonstrated that most pairs in higher dimensions are not strongly doubly reversible
• The non-commutativity of quaternions prevents direct application of many tools from complex hyperbolic geometry
• Lack of good trace functions or complete conjugacy invariants

Core Contributions

1. Main Theorem: Proves that strongly doubly reversible pairs in $PSp(n,1)$ form a Haar measure zero set ($n \geq 2$)
2. Special Case: Completely characterizes that all pairs in $PSp(1)$ are strongly doubly reversible
3. Application Results: Provides a concise proof that every pair in $SO(4)$ is strongly doubly reversible
4. Hyperbolic Element Analysis: Proves that double reversibility of hyperbolic elements is equivalent to strong double reversibility
5. Necessary Conditions: Establishes conditions on Cartan angle invariants for strong double reversibility of hyperbolic pairs in $PSp(1,1)$

Methodology Details

Task Definition

Study strongly doubly reversible pairs in group $G$: for $(g_1, g_2) \in G \times G$, the pair is called strongly doubly reversible if there exists an involution $h \in G$ (i.e., $h^2 = 1$) such that $h(g_1, g_2)h^{-1} = (g_1^{-1}, g_2^{-1})$

Core Methods

1. Dimension Calculation Method

For $G = PSp(n,1)$ and skew involution $s$ (satisfying $s^2 = -I$), utilize the adjoint action decomposition: $\mathfrak{g} = \mathfrak{g}_{+1}(s) \oplus \mathfrak{g}_{-1}(s)$

where:

• $\dim_{\mathbb{R}} \mathfrak{g}_{+1}(s) = (n+1)^2$ (dimension of centralizer)
• $\dim_{\mathbb{R}} \mathfrak{g}_{-1}(s) = (n+1)(n+2) < \dim G$

2. Quaternionic Analysis Method

For $PSp(1) \cong SO(3)$, exploit special properties of quaternions:

• Every unit quaternion $q = c_1 + c_2j$ can be written as a product of involutions
• Construct conjugating elements by solving $\text{Re}(c_2e^{-i\theta_1}) = 0$

3. Eigenvalue Analysis

For hyperbolic elements, utilize their diagonalized form: $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})$

Technical Innovations

1. Skew Involution Technique: Exploit the property that skew involutions $s^2 = -I$ become true involutions in the projective group
2. Cartan Angle Invariants: Introduce angle invariants from quaternionic hyperbolic geometry as discriminant tools
3. Block Analysis: Decompose the eigenvalue structure of hyperbolic elements into blocks

Experimental Setup

This is pure mathematical theoretical research, verified primarily through rigorous mathematical proofs rather than numerical experiments.

Verification Methods

1. Constructive Proofs: Provide explicit constructions for the $PSp(1)$ case
2. Counterexample Analysis: Use concrete examples to demonstrate that necessary conditions are not always sufficient
3. Dimension Arguments: Apply dimension theory from algebraic geometry to prove measure zero properties

Main Results

Theorem 1.2 (Measure Zero Property)

The set of strongly doubly reversible pairs in $PSp(n,1)$ has Haar measure zero in $PSp(n,1) \times PSp(n,1)$.

Proof Strategy:

• Fix an involution $h$; the solution set of $hgh^{-1} = g^{-1}$ has dimension less than $\dim G$
• All strongly doubly reversible pairs form a proper algebraic subset, hence have measure zero

Theorem 3.2 (Complete Reversibility)

Any two elements in $PSp(1)$ are strongly doubly reversible.

Key Points:

• Represent $p_2 = c_1 + c_2j$ using quaternions
• Choose appropriate $\theta_1$ such that $\text{Re}(c_2e^{-i\theta_1}) = 0$
• Construct conjugating element $q = e^{i\theta_1}j$

Theorem 5.2 (Hyperbolic Element Characterization)

For hyperbolic elements $A, B \in PSp(n,1)$, the pair $(A,B)$ is doubly reversible if and only if it is strongly doubly reversible.

Theorem 1.6 (Necessary Condition)

Let $A, B$ be hyperbolic elements in $PSp(1,1)$ with no common fixed points. If $\mathcal{A}(a_A, r_A, a_B) \neq \mathcal{A}(r_A, a_A, r_B)$ then $A$ and $B$ cannot be strongly doubly reversible.

Related Work

Classical Results

• PSL(2,C) Case: Classical results by Goldman, Maskit, and others
• Real Hyperbolic Case: Analogous properties in $PSL(2,\mathbb{R})$
• Higher-Dimensional Generalizations: Basmajian-Maskit's work on higher-dimensional Möbius groups

Complex Hyperbolic Geometry

• Will's classification of loxodromic pairs in $PU(2,1)$
• Paupert-Will's complete classification of R-decomposable pairs
• Ren et al.'s description of C-decomposable pairs

Quaternionic Hyperbolic Geometry

• Bhunia-Gongopadhyay's result that every element in $Sp(n,1)$ is expressible as a product of two skew involutions
• Chen-Greenberg's lemma on conjugacy of hyperbolic elements

Conclusions and Discussion

Main Conclusions

1. Measure-Theoretic Results: Except for special low-dimensional cases, strongly doubly reversible pairs are rare in quaternionic hyperbolic isometry groups
2. Complete Classification: Complete reversibility in $PSp(1) \cong SO(3)$ provides a new proof for the $SO(4)$ result
3. Geometric Discrimination: Cartan angle invariants provide geometric discriminant conditions for strong double reversibility of hyperbolic pairs

Limitations

1. Lack of Sufficiency: The converse of necessary conditions does not always hold
2. Classification Difficulty: Non-commutativity of quaternions makes complete classification challenging
3. Computational Complexity: Lack of effective algorithms for discriminating arbitrary pairs

Future Directions

1. Complete Classification: Find necessary and sufficient conditions for strongly doubly reversible pairs in $PSp(1,1)$
2. Algorithm Development: Develop effective discriminant algorithms
3. Generalization: Extend to more general quaternionic Hermitian forms
4. Geometric Applications: Explore applications in triangle groups and discrete group theory

In-Depth Evaluation

Strengths

1. Theoretical Depth: Successfully generalizes classical group-theoretic results to quaternionic settings
2. Methodological Innovation: Skillfully combines Lie group theory, quaternionic analysis, and algebraic geometry
3. Result Completeness: Provides a complete picture from general theory to specific discriminant conditions
4. Application Value: Offers new concise proofs for known results

Technical Highlights

1. Dimension Arguments: Dimension calculations using Lie algebra decomposition represent key innovations
2. Quaternionic Techniques: Clever handling of quaternionic conjugacy equations
3. Geometric Insight: Introduction of Cartan angle invariants reflects deep geometric understanding

Shortcomings

1. Condition Completeness: Some necessary conditions lack sufficiency
2. Computational Complexity: Practical discrimination remains difficult
3. Generalization Limitations: Method applicability to higher-dimensional cases is limited

Impact Assessment

1. Theoretical Contribution: Enriches the theoretical foundations of quaternionic hyperbolic geometry
2. Methodological Value: Techniques may apply to related problems
3. Application Prospects: Potential applications in discrete group theory and hyperbolic geometry

Applicable Scenarios

1. Theoretical Research: Quaternionic hyperbolic geometry and related Lie group theory
2. Geometric Analysis: Study of isometric transformations in hyperbolic spaces
3. Algebraic Geometry: Measure-theoretic analysis of real algebraic varieties

References

The paper cites 18 important references, including:

• Basmajian-Maskit's pioneering work 2
• Bhunia-Gongopadhyay's foundational results on quaternionic hyperbolic isometries 3
• Important work by Goldman, Maskit, and others on classical cases 7,9
• Related classification results in complex hyperbolic geometry 11,13,17

This paper makes important theoretical contributions in the specialized field of quaternionic hyperbolic geometry, particularly providing a complete picture of measure-theoretic properties of strongly doubly reversible pairs. While there remains room for improvement in algorithms and applications, its theoretical depth and methodological innovation make it a significant advance in the field.