Some arithmetic aspects of ortho-integral surfaces

Basic Information

• Paper ID: 2504.09403
• Title: Some arithmetic aspects of ortho-integral surfaces
• Authors: Nhat Minh Doan, Khanh Le
• Classification: math.GT (Geometric Topology), math.NT (Number Theory)
• Publication Date: October 14, 2025 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2504.09403

Abstract

This paper investigates ortho-integral (OI) hyperbolic surfaces with completely geodesic boundaries, characterized by the property that every orthogonal geodesic (a geodesic arc whose endpoints meet the boundary perpendicularly) has an integer hyperbolic cosine length. The study demonstrates that for any fixed topology, there exist only finitely many OI surfaces, yet infinitely many commensurability classes arise as the topology varies. Furthermore, the paper provides a complete classification of OI pairs of pants and OI once-punctured tori, proving that their doubles are genus 2 arithmetic surfaces derived from quaternion algebras over $\mathbb{Q}$.

Research Background and Motivation

Problem Context

1. Orthogonal geodesic spectrum research: Since Basmajian's introduction of the orthogonal length spectrum in 1993, this field has become an important research direction in hyperbolic geometry. Orthogonal geodesics are geodesic arcs whose endpoints meet the boundary perpendicularly, and their length spectra are intimately related to the geometric properties of surfaces.
2. Basmajian's identity: An important geometric identity states that the total boundary length of a hyperbolic surface with geodesic boundary can be recovered from the orthogonal length spectrum: $\ell(\partial X) = \sum_{L \in O(X)} 2\log(\coth(L/2))$
3. Arithmetic properties research: The arithmetic properties of hyperbolic surfaces, particularly the study of trace fields and quaternion algebras, are crucial for understanding the algebraic structure of these geometric objects.

Research Motivation

1. Combinatorial structure analysis: The first author's previous work Doa25 discovered that the cosh lengths of orthogonal geodesics can be obtained by solving non-homogeneous quadratic equations, which inspired deeper investigation into arithmetic properties.
2. Finiteness questions: By analogy with finiteness results for arithmetic surfaces, investigating whether OI surfaces possess similar finiteness properties.
3. Classification problems: Completely classifying OI surfaces in the simplest cases to provide a foundation for more general situations.

Core Contributions

1. Finiteness theorem: Proves that the set of OI surfaces with fixed genus $g$ and $n > 0$ boundary components is non-empty and finite (Theorem 1.2).
2. Complete classification: Provides complete classification of OI pairs of pants and OI once-punctured tori, determining all possible parameter combinations (Theorems 4.1 and 4.4).
3. Integrality properties: Proves that every closed geodesic on OI surfaces satisfies $\text{tr}^2_{SL}(\mu) \in \mathbb{Z}$ (Theorem 1.3).
4. Arithmetic verification: Demonstrates that the doubles of all OI pairs of pants and OI once-punctured tori are genus 2 arithmetic surfaces.
5. Infinite commensurability classes: Constructs infinitely many pairwise incommensurable OI surfaces (Theorem 1.4).

Detailed Methodology

Problem Definition

The study investigates ortho-integral hyperbolic surfaces, namely surfaces satisfying the condition that the hyperbolic cosine lengths of all orthogonal geodesics are integers. Specifically, for a hyperbolic surface $X$, if its orthogonal cosh length spectrum $O_{\text{cosh}}(X) := \{\cosh(\ell(\mu)) | \mu \text{ is an orthogonal geodesic on } X\} \subset \mathbb{Z}$, then $X$ is called ortho-integral.

Core Methodological Framework

1. Hexagon Decomposition Method

• Decompose surfaces into right-angled hexagons using orthogonal bases
• Parametrize orthogonal geodesics through rooted tree structures
• Establish recursive formulas for computing cosh lengths

2. Associated Quadratic Forms

For a right-angled hexagon $H(a,b,c)$, construct the associated quadratic form: $q_{(a,b,c)}(x,y,z) = (a^2-1)x^2 + (b^2-1)y^2 + (c^2-1)z^2 - 2(ab+c)xy - 2(bc+a)yz - 2(ca+b)zx$

3. Matrix Group Methods

Compute cosh lengths of orthogonal geodesics through orbits of linear transformation groups $G_P$ and $G_T$:

• Pairs of pants: three orbits $G_P \cdot u$, where $u$ is $(−1,c,b)^T$, $(c,−1,a)^T$, or $(b,a,−1)^T$
• Once-punctured tori: one orbit $G_T \cdot u$, where $u = (b,a,−1)^T$

Technical Innovations

1. Geometric-Algebraic Correspondence

Establishes direct correspondence between hexagon decompositions and quadratic forms, enabling transformation of geometric problems into algebraic computations.

2. Trace Field Analysis

Analyzes the integrality of the square of traces of closed geodesics to establish necessary conditions for OI surfaces.

3. Application of Bavard's Inequality

Cleverly applies Bavard's inequality concerning the orthogonal systole, combined with integrality conditions to obtain key bound estimates.

Experimental Setup

Theoretical Verification Methods

1. Computer-assisted verification: Uses programs to verify all possible parameter combinations
2. Inequality analysis: Employs mathematical analysis to eliminate most parameter ranges
3. Arithmetic invariant computation: Calculates Hilbert symbols and ramification sets of quaternion algebras

Classification Criteria

• Pairs of pants: Parameters $(a_1, a_2, a_3)$ satisfy $a_1 \leq a_2 \leq a_3$ with $a_i > 1$
• Once-punctured tori: Uses the concept of minimal orthogonal bases, with parameters $(a,b,c)$ satisfying $1 < a \leq b \leq c$

Experimental Results

Main Classification Results

Complete Classification of OI Pairs of Pants (Theorem 4.1)

Seven classes in total: $(2,2,2)$, $(2,2,5)$, $(2,2,17)$, $(3,3,3)$, $(3,3,7)$, $(3,3,19)$, $(5,5,11)$

Complete Classification of OI Once-Punctured Tori (Theorem 4.4)

Thirty-four classes in total, including:

• $(2,2,2)$, $(2,2,3)$, $(2,2,5)$, $(2,3,6)$, $(2,4,4)$, etc.
• Maximum parameters: $(19,21,21)$

Arithmetic Invariant Results

The doubles of all OI pairs of pants and once-punctured tori are arithmetic surfaces, with quaternion algebras completely determined by Hilbert symbols. For example:

• $(2,2,2)$ corresponds to $(3,3)$ with ramification set $\{2,3\}$
• $(3,3,3)$ corresponds to $(5,2)$ with ramification set $\{2,5\}$

Commensurability Results

By constructing sequences $\{X_n\}$ (obtained by gluing $P(a,a,a)$, $a \in \{2,3\}$), the paper proves:

• Each $X_n$ is an OI surface
• The inradius $r_n$ is strictly increasing, hence pairwise incommensurable
• Thus obtaining infinitely many commensurability classes

Related Work

Orthogonal Geodesic Spectrum Research

1. Basmajian (1993): Introduced the concept of orthogonal length spectrum
2. Bridgeman-Kahn (2010): Generalized volume formulas
3. Masai-McShane (2023): Rigidity and flexibility studies

Arithmetic Surface Theory

1. Takeuchi (1975): Characterization of arithmetic Fuchsian groups
2. Maclachlan-Reid (2003): Arithmetic theory of hyperbolic 3-manifolds
3. Borel (1981): Finiteness of bounded-area arithmetic surfaces

Identities in Hyperbolic Geometry

1. McShane's identity: Classical identity on closed surfaces
2. Mirzakhani's identity: Generalization to surfaces with boundary
3. Bridgeman-Tan framework: Unified theory of geometric identities

Conclusions and Discussion

Main Conclusions

1. Finiteness: OI surfaces with fixed topology are finite in number, but commensurability classes are infinite
2. Complete classification: The simplest cases (pairs of pants and once-punctured tori) are completely resolved
3. Arithmeticity: The doubles of all fundamental OI surfaces are arithmetic
4. Constructive methods: Provides explicit methods for constructing infinitely many incommensurable OI surfaces

Limitations

1. Scope restrictions: Currently only completely solves genus 0 cases (pairs of pants and once-punctured tori)
2. Higher genus difficulties: Classification of higher genus surfaces remains open
3. Arithmeticity conjecture: Whether the doubles of all OI surfaces are arithmetic remains unproven

Future Directions

1. Higher genus classification: Extension to OI surfaces of higher genus
2. Generalization of arithmeticity: Prove arithmeticity of doubles of general OI surfaces
3. Application extensions: Explore applications in other geometric structures

In-Depth Evaluation

Strengths

1. Theoretical completeness: Provides complete classification for fundamental cases with clear theoretical framework
2. Methodological innovation: Cleverly combines geometric, algebraic, and number-theoretic methods
3. Computational feasibility: Provides concrete computational methods and discrimination criteria
4. Deep results: Establishes profound connections between geometric objects and arithmetic structures

Weaknesses

1. Limited scope: Only solves the simplest cases; general theory remains incomplete
2. Technical complexity: Some proofs rely on complex computational verification
3. Generalization difficulties: Extension to more general cases faces technical obstacles

Impact

1. Theoretical contribution: Opens new directions at the intersection of hyperbolic geometry and number theory
2. Methodological inspiration: Provides new tools for studying similar problems
3. Practical applications: Offers new approaches for constructing arithmetic surfaces

Applicable Scenarios

This research is applicable to:

1. Arithmetic problems in hyperbolic geometry
2. Geometric analysis of moduli spaces
3. Geometric realization of quaternion algebras
4. Studies of commensurability problems

References

The paper cites abundant relevant literature, primarily including:

• Basmajian's pioneering work on orthogonal geodesics
• Maclachlan-Reid's classical textbooks on arithmetic groups
• Bridgeman et al.'s series of works on geometric identities
• The authors' previous foundational research on ortho-integral surfaces

This paper makes important contributions at the intersection of hyperbolic geometry and number theory, providing new perspectives and tools for understanding the arithmetic properties of hyperbolic surfaces. While currently only solving fundamental cases, its methods and results establish a solid foundation for subsequent research.