Reversibility and its asymptotic counting in Picard group

技術的要約：ピカール群における可逆性とその漸近計数

問題設定
本論文は、ピカール・モジュラー群 $P := \text{PSL}(2, \mathbb{Z}[i])$ における「可逆性（reversibility）」の概念を調査している。群 $G$ の元 $g$ は、ある $h \in G$ に対して $hgh^{-1} = g^{-1}$ が成り立つとき、可逆（または実）であると定義される。もしこの共役させる元 $h$ が対合（involution）として選べる場合、$g$ は強可逆（strongly reversible）と呼ばれる。フックス群（$\text{PSL}(2, \mathbb{R})$ の離散部分群）における可逆性は、相反的な測地線（reciprocal geodesics）と結びついてよく理解されているが、クライン群（$\text{PSL}(2, \mathbb{C})$ の離散部分群）における状況は研究が進んでいない。著者らは、ピカール群における可逆な元の分類、およびトレースに境界を持つ可逆な共役類の漸近的成長率の決定という未解決問題に取り組んでいる。

手法
著者らは、幾何学的群論、ガウス整数の算術的性質、および解析的数論を組み合わせた手法を用いている。

1. 可逆性と強可逆性の同値性： 本論文はまず、クライン群に関する一般的な結果として、可逆性と強可逆性が一致することを確立する。これは、元の不動点とそれに対する反転元（reverser）を分析することによって証明される。すなわち、クライン群における任意の反転元は、対合（またはそれに共役なもの）でなければならない。
2. 特殊な代表元による分類： ピカール群に対して、著者らは $c \neq 0$ である行列 $\begin{pmatrix} a & b \\ c & d \end{pmatrix}$ を持つロキドロミック（loxodromic）な元に対して、特定の不変量 $f_A = (a-d)/c$ を導入する。著者らは、$f_A \in \{0, 1, i, 1+i\}$ となる行列の「特殊な形式」を特定することで、可逆な元を分類する。これにより、幾何学的な分類問題をガウス整数上の算術的問題へと還元している。
3. 中心化群の分析： 著者らは、可逆な元の中心化群を分析する。ロキドロミックな元が無限巡回的な中心化群を持つ場合、各共役類はちょうど8つのこのような特殊な代表元を含むことを証明する。この係数は、特殊な行列の計数を共役類の計数へと変換する上で極めて重要である。
4. 除数和による漸近計数： 計数問題は、トレースのノルムが $T$ で抑えられた特殊な行列の数を推定することへと還元される。これは、$\mathbb{Z}[i]$ 上の制限付き除数関数を用いた和の推定へとつながる。著者らは、$\sum \tau^*(\mu-2)\tau^*(\mu+2)$ という形の和を扱うために、ガウス整数におけるインガム（Ingham）の古典的な加法的除数定理のアナログを確立した。ここで $\tau^*$ は分岐素数 $(1+i)$ と互いに素な約数を数える。分母 $c$ が $1+i$ で割り切れる「分岐」の場合を慎重に扱うため、トレースの評価に基づく局所的な重み $W(e)$ を導入している。

主要な貢献と結果

• 定理 1.1 (分類): $g \in \text{PSL}(2, \mathbb{Z}[i])$ が可逆であるための必要十分条件は、以下のいずれかである：

  1. $g$ が楕円元（elliptic）である。
  2. $g$ が放物線元（parabolic）である。
  3. $g$ がロキドロミックであり、$f_h \in \{0, 1, i, 1+i\}$ を満たす元 $h$ に共役である。
     さらに、無限巡回的な中心化群を持つロキドロミックな可逆共役類は、それぞれちょうど8つのこのような特殊な代表元を含む。

• 定理 1.2 (漸近計数): $R_T$ を、トレースのノルムが高々 $T$ である可逆なロキドロミック共役類の集合とする。この集合の濃度は以下を満たす：
  $$|R_T| = \frac{3\pi}{32G} T(\log T)^2 + O(T \log T (\log \log T)^2)$$
  ここで $G = L(2, \chi_{-4})$ はカタランの定数である。

• 解析的手法 (定理 6.8): 本論文は、任意の固定されたシフト $\kappa \in \mathbb{Z}[i] \setminus \{0\}$ を持つガウス整数のインガムの加法的除数定理のアナログを証明している：
  $$\sum_{0 < N\nu \le x} \tau(\nu)\tau(\nu+\kappa) = \frac{\pi^3}{16\zeta_K(2)} \sigma_{-1}(\kappa) x(\log x)^2 + O(x \log x)$$
  この結果は、主計数公式を導出するために制限付き除数関数 $\tau^*$ に適応されている。

意義
本論文は、ビアンキ群の基本的な例であるピカール・モジュラー群における可逆性に関する特定の未解決問題を解決している。可逆性がクライン群の設定において強可逆性を意味することを証明することで、著者らはこれらの元の幾何学的解釈を統一している。漸近公式の導出は、3次元双曲空間のオービフォールドにおける可逆共役類の最初の精密な成長率を提供し、ピカール群の幾何学をガウス整数の深い算術的性質へと結びつけている。本研究は、可逆性が相反的な測地線に関連する既知のフックス群の結果を、より複雑な双曲3空間の幾何学へと拡張するものである。