Maximal Fuchsian subgroups of the $d=2$ Bianchi group

기술 요약: $d = 2$ 비안키 군의 극대 푸크시아 부분군

문제 정의
본 논문은 $d=2$ 비안키 군 $\Gamma = \text{PSL}(2, \mathbb{Z}[\sqrt{-2}])$ 내의 극대 비원소적 푸크시아 부분군(이하 F-부분군)의 분류 및 기하학적 정량화를 다룬다. 일반적인 비안키 군에 대한 이러한 부분군의 분류는 기저가 되는 허 이차체의 이데알 클래스 군에 따라 복잡해질 수 있으나, 본 연구는 $d=2$인 경우에 구체적으로 집중한다. 주요 목적은 이들 부분군의 공액 클래스를 부정 정수 사원수 대수의 정수 차수(integral orders)로서 명시적으로 기술하고, 각 클래스에 대한 정확한 공부적 부피(covolume) 공식을 도출하며, 이를 통해 쌍곡 3차원 오비폴드 $\Gamma \backslash \mathbb{H}^3$ 내의 원시 전곡선 매립 곡면(primitive totally geodesic immersed surfaces)의 점근적 성장률을 계산하는 데 적용하는 것이다.

방법론
이 접근법은 F-부분군과 쌍곡 공간의 경계 $\partial \mathbb{H}^3 \cong \mathbb{C} \cup \{\infty\}$ 상의 원(circle) 사이의 대응 관계에 기초한다.

1. 기하학적 분류: 저자는 Vul (2017)과 Jung (2019)의 분류 결과를 활용하여, 모든 F-부분군이 축약된 방정식 $A|z|^2 + Bz + \bar{B}\bar{z} + C = 0$으로 정의되는 고유한 원 $C$를 안정화함을 식별한다. 이 원들의 판별식 $D = B\bar{B} - AC$는 이들의 주요 불변량 역할을 한다.
2. 대수적 실현: 각 판별식 $D$에 대하여, 저자는 그에 대응하는 부정 정수 사원수 대수 $Q = (-2, D)_{\mathbb{Q}}$를 구성한다. 원의 안정자(stabilizer)는 특정 $\mathbb{Z}$-차수 $M$ 내의 축약 노름 1인 원소들의 군($M_1$)으로 실현된다.
3. 명시적 차수 구성: 공액 작용 하에서의 안정자의 행렬 표현을 분석함으로써, 저자는 $D$의 4, 8 또는 16에 대한 합동 클래스에 대응하는 여섯 가지 구별된 차수 패밀리 $M(1)$부터 $M(6)$까지의 명시적 $\mathbb{Z}$-기저를 도출한다.
4. 부피 계산: $M$의 축약 판별식과 축약 노름 군의 국소 지수를 포함하는 부피 공식을 사용하여, 결과적인 푸크시아 군의 공부적 부피를 계산한다. 기술적 작업의 상당 부분은 이 차수들의 2-진 분석(2-adic analysis), 특히 8에 대한 값들을 면밀히 검토하여 에이흘러 심볼(Eichler symbols)과 축약 노름 군의 지수 $[\mathbb{Z}_2^\times : \text{nrd}(M_2^\times)]$를 계산하는 과정에 할애된다.

주요 기여 및 결과

• 명시적 분류 (정리 2): 본 논문은 $Q = (-2, D)_{\mathbb{Q}}$ 내의 $\mathbb{Z}$-차수들을 공액 클래스의 목록으로 제공하며, 이는 판별식 $D$의 합동성에 따라 다음과 같이 분류된다:
  • $M(1)$: 임의의 $D$에 대하여 $\mathbb{Z}[1, i, j, ij]$.
  • $M(2)$: $D \equiv 1 \pmod 4$인 경우 $\mathbb{Z}[1, i, \frac{1+j}{2}, \frac{i+ij}{2}]$.
  • $M(3), M(4)$: $D \equiv 2, 6 \pmod{16}$에서 발생하는 분모가 4인 차수들.
  • $M(5), M(6)$: $D \equiv 2, 3 \pmod 4$에서 발생하는 분모가 2인 차수들.
• 공부적 부피 공식 (정리 3): 저자는 $M_1/\{\pm 1\}$의 정밀한 부피 공식을 도출한다. 부피는 $c \pi F(D)$로 주어지며, 여기서 $F(D)$는 르장드르 기호 $\left(\frac{-2}{p}\right)$를 포함하는 곱이고, 상수 $c$는 특정 차수와 $D \pmod 8$의 합동성에 따라 결정된다. 특히, 본 논문은 분모에 $2^2$의 거듭제곱을 갖는 기저 원소를 가진 차수($M(3)$ 및 $M(4)$)를 고려하기 위해 엄밀한 2-진 분석을 수행함으로써, 기존의 부피 계산을 수정하고 확장하였다. 이는 $d=1$ 또는 $d \equiv 3 \pmod 4$의 경우에는 나타나지 않는 특징이다.
• 점근적 성장 (정리 5): 부피 공식과 판별식에 대한 계수 보조정리(counting lemma)를 결합하여, 저자는 넓이가 $x$ 미만인 원시 전곡선 매립 곡면의 개수 $\Pi(x)$의 점근적 거동을 확립한다. 극한값은 다음과 같이 계산된다:
  $$\lim_{x \to \infty} \frac{\Pi(x)}{x} = \frac{45}{16\pi} \prod_{p>2} \left( 1 - \frac{1}{p} + \frac{1}{p + \left(\frac{-2}{p}\right)} \right)$$

의의 및 범위
본 논문은 $d=2$ 비안키 군에 대한 극대 푸크시아 부분군을 정수 사원수 차수의 관점에서 명시적으로 기술한 첫 번째 사례임을 주장하며, $d=1$ 및 $d \equiv 3 \pmod 4$를 다루었던 이전 연구들의 공백을 메운다. 이 연구는 $d=2$의 경우가 더 높은 거듭제곱의 2를 분모로 갖는 차수의 존재로 인해 독특한 산술적 과제를 제시하며, 이는 이전에 해당 분야에 적용되었던 것보다 더 정교한 2-진 분석을 필요로 함을 강조한다.

저자는 본 방법론이 $d=2$에 대해서는 정밀한 결과를 도출하지만, 주어진 판별식에 대한 공액 클래스의 수가 많고 합동 조건이 더 복잡할 수 있는 다른 비안키 군(예: $d=5$)으로 쉽게 일반화되지는 않을 수 있다고 언급한다. 이 결과는 $\mathbb{Q}(\sqrt{-d})$의 이데알 클래스 군에 4차 원소를 포함하는 원소가 없다는 가정하에, 비안키 오비폴드 내의 곡면들에 대한 소수 측지선 정리(prime geodesic theorems)에 대한 폭넓은 이해에 기여한다. 본 논문은 새로운 실험적 응용을 제안하기보다는 특정 쌍곡 다양체 내의 기하학적 대상들을 계수하기 위한 이론적 틀을 공고히 하는 데 목적이 있다.