2025-11-21T15:43:23.085483

Some arithmetic aspects of ortho-integral surfaces

Doan, Le

We investigate ortho-integral (OI) hyperbolic surfaces with totally geodesic boundaries, defined by the property that every orthogeodesic (i.e. a geodesic arc meeting the boundary perpendicularly at both endpoints) has an integer cosh-length. We prove that while only finitely many OI surfaces exist for any fixed topology, infinitely many commensurability classes arise as the topology varies. Moreover, we completely classify OI pants and OI one-holed tori, and show that their doubles are arithmetic surfaces of genus 2 derived from quaternion algebras over $\mathbb{Q}$.

academic

直交積分曲面の算術的側面に関する研究

基本情報

論文ID: 2504.09403
タイトル: Some arithmetic aspects of ortho-integral surfaces
著者: Nhat Minh Doan, Khanh Le
分類: math.GT (幾何位相幾何学), math.NT (数論)
発表日時: 2025年10月14日 (arXiv v2)
論文リンク: https://arxiv.org/abs/2504.09403

要約

本論文は、完全測地境界を有する直交積分(ortho-integral, OI)双曲曲面を研究する。これらの曲面は、すべての直交測地線(すなわち、両端点が境界に垂直に交差する測地弧)が整数双曲余弦長を有するという特性で定義される。研究により、任意の固定位相に対して有限個のOI曲面のみが存在することが証明されたが、位相の変化に伴い無限個の可通約類が生じる。さらに、OI三角パンツとOI単一穴トーラスが完全に分類され、それらの二重化が $\mathbb{Q}$ 上の四元数代数から導出される2属算術曲面であることが証明された。

研究背景と動機

問題背景

直交測地線スペクトルの研究: Basmajianが1993年に直交長スペクトルを導入して以来、この分野は双曲幾何学の重要な研究方向となっている。直交測地線は、両端点が境界に垂直に交差する測地弧であり、その長スペクトルは曲面の幾何学的性質と密接に関連している。
Basmajian恒等式: 重要な幾何学的恒等式は、測地境界を有する双曲曲面の総境界長がOI長スペクトルから復元できることを示している: $\ell(\partial X) = \sum_{L \in O(X)} 2\log(\coth(L/2))$
算術性質の研究: 双曲曲面の算術性質、特にトレース体と四元数代数の研究は、これらの幾何学的対象の代数構造を理解するための鍵である。

研究動機

組合せ構造分析: 第一著者の先行研究Doa25において、直交測地線のcosh長が非斉次二次方程式を解くことで得られることが発見され、これが算術性質の深い研究を促発した。
有限性問題: 算術曲面の有限性結果に類比して、OI曲面も同様の有限性性質を有するかどうかを研究する。
分類問題: 最も単純な場合のOI曲面を完全に分類し、より一般的な場合の基礎を提供する。

核心的貢献

有限性定理: 属 $g$ と $n > 0$ 個の境界成分を有するOI曲面の集合が空でなく有限であることを証明した(定理1.2)。
完全分類: OI三角パンツとOI単一穴トーラスを完全に分類し、すべての可能なパラメータ組合を決定した(定理4.1と4.4)。
積分性質: OI曲面上のすべての閉測地線が $\text{tr}^2_{SL}(\mu) \in \mathbb{Z}$ を満たすことを証明した(定理1.3)。
算術性検証: すべてのOI三角パンツとOI単一穴トーラスの二重化が2属算術曲面であることを証明した。
無限可通約類: 互いに不可通約な無限個のOI曲面を構成した(定理1.4)。

方法の詳細説明

任務定義

直交積分双曲曲面を研究する。すなわち、すべての直交測地線の双曲余弦長が整数である曲面である。具体的には、双曲曲面 $X$ に対して、その直交cosh長スペクトル $O_{\text{cosh}}(X) := \{\cosh(\ell(\mu)) | \mu \text{は} X \text{上の直交測地線}\} \subset \mathbb{Z}$ ならば、 $X$ を直交積分と呼ぶ。