Chebotarev geodesic theorem: split case

기술적 요약: "Chebotarev geodesic theorem: split case" (Alberto Acosta Reche 저)

문제 제기
본 논문은 합동 부분군 $\Gamma \subset SL_2(\mathbb{Z})$에 대한 소수 기하선 정리(Prime Geodesic Theorem, PGT)를 조사하며, 특히 몫군 $\bar{\Gamma} = \Gamma' \backslash \Gamma$ (여기서 $\Gamma'$는 일반적으로 주 합동 부분군 $\Gamma(q)$인 정규 부분군) 내의 특정 켤레류(conjugacy classes) 내에서의 소수 기하선 분포에 초점을 맞춘다. 이 문제는 대수적 수론에서의 체보타레프 밀도 정리(Chebotarev Density Theorem)의 기하선 버전이다.

$\Psi_\Gamma(X) \sim X$라는 점근적 거동은 잘 확립되어 있으나(오차항 $E_\Gamma(X)$ 포함), 일반적인 합동 사례에서, 특히 비자명한 클래스 함수(class functions)에 의해 가중치가 부여된 경우 오차항의 정확한 수렴 속도는 여전히 핵심적인 과제로 남아 있다. Luo와 Sarnak [LS95], 그리고 Soundararajan과 Young [SY13]의 선행 연구는 $\Gamma = SL_2(\mathbb{Z})$ 및 특정 부분군에 대해 $O_\epsilon(X^{25/36+\epsilon})$의 오차항을 달성하며 강력한 경계값을 확립하였다. 그러나 임의의 클래스 함수와 임의의 합동 부분군에 대해 이러한 결과를 확장하고, ($-I \notin \Gamma(q)$일 때 발생하는) 무게 1 마스 형식(Maass forms)의 기술적 문제를 처리하는 데에는 추가적인 발전이 필요했다.

방법론
저자는 선행 연구들을 일반화하기 위해 스펙트럼 이론, 트레이스 공식(trace formulas), 그리고 해석적 수론 기법들을 결합하여 사용한다. 방법론은 다음과 같은 몇 가지 주요 단계로 진행된다:

1. 합동 캐릭터로의 환원: 유도된 캐릭터(induced characters)에 관한 아르틴의 정리와 유도된 클래스 함수의 성질을 사용하여, 임의의 클래스 함수에 대한 합을 추정하는 문제를 합동 캐릭터 $\chi$에 대한 합을 추정하는 문제로 환원한다 (Lemma 2.1, Proposition 2.3). 이를 통해 문제의 초점을 뒤틀린 체비셰프 합(twisted Chebyshev sum) $\Psi_\Gamma(X; \chi)$로 옮길 수 있다.

2. 스펙트럼 분해 및 트레이스 공식: 본 논문은 셀베르그 트레이스 공식(Selberg trace formula)과 브루게만-쿠즈네초프 트레이스 공식(Bruggeman–Kuznetsov trace formula)을 활용한다. 중요한 기술적 난제는 테스트 함수가 특정 성장 조건을 만족해야 하는 합동 캐릭터에 브루게만-쿠즈네초프 공식을 적용하는 것이다. 저자는 Proskurin [Pro03]의 논증을 채택하고, 클로네스토머 합(Kloosterman sums)에 대한 Weil의 경계값을 사용하여 테스트 함수의 조건을 완화한다 (Section 3.6).

3. 정규 직교 기저의 구성: Hecke 연산자와 잘 상호작용하는 $(\Gamma, \chi)$에 대한 마스 큐스프 형식(Maass cusp forms)의 정규 직교 기저를 구성하는 것이 핵심 요소이다. 저자는 각 $u_j$가 뉴폼(newform) $f_j$의 트위스트들의 올드스페이스(oldspaces)의 합에 속하는 기저 $\{u_j\}$의 존재를 증명한다 (Corollary 6.5). 이 구조적 결과는 관련 스펙트럼 평균을 $L$-함수의 관계로 표현하는 데 필수적이다.

4. 스펙트럼 평균 및 $L$-함수:

   • Luo-Sarnak 일반화 (Theorem 1.7): 저자는 임의의 합동 캐릭터에 대해 Luo-Sarnak의 논증을 일반화한다. 이는 나이브한 랭킨-셀베르그 급수(Rankin–Selberg series) $L(s; |u_j|^2)$의 스펙트럼 평균을 추정하는 과정을 포함한다. 기저를 올드스페이스로 분해하고 뉴폼과 트위스트의 이론을 활용함으로써, 저자는 임계선 위에서 $|L(s; |u_j|^2)|^2$의 평균에 대한 경계값을 확립한다 (Theorem 7.1). 이는 스펙트럼 라지 시브(spectral large sieve)와 어드조인트 $L$-함수(adjoint $L$-functions)의 경계값에 의존한다.
   • Soundararajan-Young 일반화 (Theorem 1.8): 저자는 Bykovskii–Zagier 급수 $Z(s; t)$를 사용하여 Soundararajan-Young의 접근법을 일반화한다. 이 급수는 트레이스 공식의 쌍곡형 기여(hyperbolic contribution)를 디리클레 $L$-함수로 표현한다. 저자는 $Z(s; t)$가 허용 가능한 부콘벡시티 지수(admissible subconvexity exponent) $\theta$를 포함하여 임계선 위에서 갖는 경계값을 증명한다 (Proposition 9.7). 이는 $Z(s; t)$의 $L$-함수 곱으로의 인수분해와 허용 가능한 지수의 정의에 기초한다 (Definition 1.1).

5. 최적화: 최종 오차항은 트레이스 공식에서 유도된 명시적 공식(explicit formulas)의 파라미터들을 최적화함으로써, Luo-Sarnak 전략(Theorem 1.7)과 Soundararajan-Young 전략(Theorem 1.8) 사이를 보간(interpolation)하여 도출된다.

주요 기여 및 결과

• 주요 정리 (Theorem 1.2): 본 논문은 임의의 합동 부분군 $\Gamma$, $\bar{\Gamma}$ 상의 임의의 클래스 함수 $f$, 그리고 임의의 허용 가능한 지수 $\theta > 0$에 대하여, 뒤틀린 체비셰프 합이 다음을 만족함을 증명한다:
  $$\Psi_\Gamma(X; f) = \langle f, 1_{\bar{\Gamma}} \rangle_{\bar{\Gamma}} X + O_{f, \theta, \epsilon}(X^{2/3 + \theta/6 + \epsilon}).$$
  부콘벡시티 지수 $\theta = 1/6 + \epsilon$ (Petrow와 Young [PY20, PY23]에 의해 허용 가능함이 알려진)을 가정하면, 무조건적인 오차항은 $O_{f, \epsilon}(X^{25/36 + \epsilon})$이다.

• 따름정리 1.3 (합동 부분군에 대한 PGT): 직접적인 결과로서, 임의의 합동 부분군 $\Gamma$에 대해 소수 기하선 정리가 오차항 $E_\Gamma(X) = O_\epsilon(X^{25/36 + \epsilon})$와 함께 성립한다. 이는 [LRS95]의 Luo-Sarnak 경계값이 일반화될 수 있다는 주장을 강화한다.

• 따름정리 1.4 (기하선 디리클레 정리): 본 논문은 기하선 버전의 디리클레 산술 급수 정리를 확립한다. 임의의 $a \in \mathbb{Z}/q\mathbb{Z}$에 대하여, 트레이스(trace)가 modulo $q$에서 $a$와 합동인 기하선의 합은 트레이스 사상의 파이버(fiber) 크기에 비례하며, 동일한 오차항 $O(X^{25/36+\epsilon})$를 갖는다. 이는 $X$-측면(aspect)에서의 오차항에 관한 [CHK24] 및 [Dei25]의 기존 결과들을 개선한다.

• 정리 1.7 및 1.8: 이 중간 결과들은 스펙트럼 파라미터 $T$에 대한 지수 합 $S(T, X)$의 필요한 경계값을 제공한다. 정리 1.7은 Luo-Sarnak 경계($S(T, X) \ll T^{5/4}X^{1/8}$)를 일반화하며, 정리 1.8은 Soundararajan-Young 경계($S(T, X) \ll X^{1/4+\theta/2}T^{1/2}$)를 일반화한다.

의의 및 주장
본 논문은 임의의 합동 부분군과 임의의 클래스 함수에 대해 체보타레프 기하선 정리가 $25/36 + \epsilon$ 지수를 가짐을 입증하는 최초의 무조건적인 증명을 제공한다고 주장한다. 이는 $SL_2(\mathbb{Z})$와 상수 함수라는 특수한 사례에 국한되었던 Luo, Sarnak, Soundararajan, Young의 결과를 합동 캐릭터라는 일반적인 설정으로 통합하고 확장한 것이다.

저자는 본 설정이 $-I$를 포함하지 않는 합동 부분군을 수용한다는 점에서 Sarnak의 원래 작업 [Sar80]보다 약간 더 일반적임을 명시한다 (이는 무게 1 마스 형식의 처리를 요구한다). 그 의의는 "split case" 논증(Bykovskii–Zagier 급수 및 랭킨-셀렉르 컨볼루션 사용)을 이 더 넓은 맥락에 성공적으로 적응시켜, 광범위한 쌍곡 다양체 클래스에 대해 기대되는 오차항의 거동을 확인했다는 데 있다. 본 논문은 공약된 최적의 경계값인 $X^{1/2+\epsilon}$에 도달했다고 주장하지 않으며, 그러한 경계값은 여전히 매우 어렵다는 점을 언급하면서도, 이 일반적인 설정에서 현재 알려진 가장 좋은 무조건적 경계값을 확립한다.