Chebotarev geodesic theorem: non-split case

기술 요약: 체보타레프 측지선 정리: 비분할(Non-Split) 사례

문제 정의
본 논문은 $\mathbb{Q}$ 위의 부동적 쿼터니언 순서(indefinite quaternion orders)의 congruence subgroup에 대한 소수 측지선 정리(Prime Geodesic Theorem, PGT)를 다룬다. 구체적으로, 이 그룹들과 관련된 쌍곡 기하학적 오비폴드(hyperbolic orbifold) 상에서 닫힌 측지선의 길이들의 가중치 합의 점근적 거동을 조사한다. 핵심 문제는 이 "비분할"(나눗셈 대수, division algebra) 사례들에 대해 날카로운 오차항을 갖는 측지선 버전의 체보타레프 밀도 정리(CGDT)를 확립하는 것이다.

PGT와 CGT가 분할 사례($\Gamma = \text{SL}_2(\mathbb{Z})$) 및 그 congruence subgroup들에 대해 광범위하게 연구되어 왔으나(분할 사례에서 알려진 최선의 오차항은 Soundararajan과 Young의 $O_\varepsilon(X^{25/36+\varepsilon})$이다), 비분할 사례(부동적 쿼터니언 나눗셈 대수)는 이전에 더 약한 경계값(예: 주 congruence subgroup에 대해 $7/10 + \varepsilon$)을 나타냈다. 본 연구의 목표는 이 $25/36 + \varepsilon$ 지수를 비분할 설정으로 확장하는 것이다.

방법론
증명 전략은 궤도 적분(orbital integrals)의 명시적 매칭을 통해 비분할 문제를 분할 문제로 환원하는 것에 기초한다. 방법론은 세 가지 주요 단계로 진행된다:

1. 안정 함수(Stable Functions)로의 환원:
   저자는 테스트 함수 $\phi$가 유닛 그룹에 의한 공액 작용(conjugation action)에 대해 불변하지 않을 수 있다는 문제를 먼저 다룬다. 이차 확대체에 대한 아르틴 상호성(Artin reciprocity)을 사용하여, 공액 작용에 대해 함수를 평균화하는 것이 오직 작은 오차항($O(X^{1/2+\varepsilon})$)만을 도입한다는 것을 증명한다. 이를 통해 점근적 계수에 큰 영향을 미치지 않고 테스트 함수가 안정적이라고 가정할 수 있게 된다.

2. 국소 궤도 적분 매칭(Local Orbital Integral Matching):
   핵심적인 기술적 기여는 나눗셈 대수 측($D^\times$)의 궤도 적분과 분할 대수 측($\text{GL}_2$) 사이의 매칭을 구축하는 것이다.

• 저자는 모든 관련 이차 대수 $E$와 원소 $x$에 대해 궤도 적분이 일치하도록 하는 $D^\times$ 상의 매칭 함수 $\phi$와 $\text{GL}_2(\mathbb{Q}_p)$ 상의 함수 $f$를 정의한다.
• 기존의 Jacquet–Langlands 대응(예: [GJ79])과 달리, 본 연구는 함수의 **지지 집합(support)**과 **레벨(level)**을 추적하는 명시적인 구성을 제공한다.
• 구체적으로, 최대 순서(maximal order) 상의 레벨 $p^n$을 가진 함수 $\phi$에 대하여, 저자는 $p^{n+1}$ 레벨을 가진 $\text{GL}_2(\mathbb{Z}_p)$ (또는 $\text{SL}_2(\mathbb{Z}_p)$) 상의 매칭 함수 $f$를 구성한다. 이 구성은 원소의 "깊이(depth)"가 짝수인지 홀수인지를 구분하며, 매칭을 정의하기 위해 특정 헤레디터리 순서(hereditary orders: $M, J$, 그리고 $D$의 최대 순서)를 활용한다.

3. 전역적 합성(Global Synthesis):
   국소 매칭 결과를 측지선 합의 아델(adelic) 공식화와 결합함으로써, 전역적 항등식을 확립한다. $O^1$의 congruence subgroup 상의 안정한 클래스 함수 $\phi$에 대하여, 측지선 합은 무시할 수 있는 오차 내에서 다음과 같이 동일한 $\text{SL}_2(\mathbb{Z})$ 상의 안정한 클래스 함수 $f$의 측지선 합과 같다:
   $$\Psi_{O^1}(X; \phi) = \Psi_{\text{SL}_2(\mathbb{Z})}(X; f) + O_{\varepsilon, \phi}(X^{1/2+\varepsilon})$$

주요 결과
본 논문은 다음과 같은 주요 정리와 따름정리를 확립한다:

• 정리 1.2: 레벨 $q$인 $O^1$의 congruence subgroup $\Gamma$와 클래스 함수 $\phi$에 대하여, 측지선 합 $\Psi_\Gamma(X; \phi)$는 대응하는 분할 합 $\Psi_{\text{SL}_2(\mathbb{Z})}(X; f)$와 오차항 $O(X^{1/2+\varepsilon})$의 합이다.
• 따름정리 1.3 (체보타레프 측지선 정리): 정리 1.2를 분할 사례의 최선 경계값과 결합하여, 비틀린 합(twisted sum)에 대한 오차항이 다음과 같음을 증명한다 (여기서 임의의 허용 가능한 지수 $\theta > 0$에 대해 $\theta = 1/6 + \varepsilon$이 현재 허용 가능하다):
  $$\Psi_\Gamma(X; \phi) = \langle \phi, 1 \rangle X + O(X^{2/3 + \theta/6 + \varepsilon})$$
• 따름정리 1.4 (소수 측지선 정리): $\phi = 1$로 설정함으로써, 본 논문은 비분할 사례에 대한 표준 PGT에 대한 무조건적 경계값을 도출한다:
  $$\Psi_\Gamma(X) = X + O_\Gamma(X^{25/36+\varepsilon})$$
  이는 $\text{SL}_2(\mathbb{Z})$에 대해 알려진 가장 강력한 결과와 일치한다.

의의 및 주장
본 논문은 현재 가장 강력한 형태의 소수 측지선 정리를 분할 사례($\text{SL}_2(\mathbb{Z})$)에서 훨씬 더 넓은 범위의 그룹인 부동적 쿼터니언 순서의 congruence subgroup으로 확장한다고 주장한다.

• 이전 연구 대비 개선: 본 결과는 [Tan+26](주 congruence subgroup에만 적용됨)에서 발견된 지수 $7/10 + \varepsilon$을 임의의 congruence subgroup에 대해 $25/36 + \varepsilon$으로 개선하였다.
• 명시적 매칭: 본 논문은 $\text{GL}_2$의 내부 형식(inner forms)에 대한 국소 궤도 적분의 매칭에 대한 완전히 명시적인 버전을 제공하며, 특히 이전 문헌의 한계였던 테스트 함수의 레벨과 지지 집합을 추적한다.
• 방법론적 독립성: 안정성 감소(Proposition 1.7)의 증명은 아르틴 상호성을 사용하여 "직접(by hand)" 수행되었으며, 안정 궤도 공식(stable trace formula)이나 아서 궤도 공식(Arthur trace formula)의 깊은 배경 지식에 의존하지 않는다.

본 연구는 비분할 사례가 매우 높은 정밀도로 분할 사례로 환원될 수 있음을 효과적으로 보여주며, 이를 통해 모듈러 곡면으로부터 쿼터니언 오비폴드로 최신의 해석적 정수론 경계값을 전이시킨다.