[논문 리뷰] $PGT$ on $PSL(2,\mathbb{Z})$. A short proof

Muharem Avdispahić|arXiv (Cornell University)|2017. 03. 01.

Analytic Number Theory Research참고 문헌 10인용 수 6

한 줄 요약

이 논문은 Iwaniec의 명시적 공식과 Gallagher의 보조정리(lemma)를 사용하여 모듈라 표면 $PSL(2,\mathbb{Z})$의 소 지오데식 정리에서 개선된 오차 항 경계를 간결하게 증명한다. 오차 항이 유한한 로그 측도를 가진 집합 외부에서 $O\left(x^{2/3}("log\log x)^{1/3+\varepsilon}\right)$임을 확립하며, 이는 이전의 조건부 경계를 향상시키고 일반화된 Lindelöf 추측의 예측과 일치한다.

ABSTRACT

Taking the Iwaniec explicit formula as a starting point, we give a short proof of a more precise $\frac{2}{3}$ bound for the exponent in the error term of the Gallagher-type prime geodesic theorem for the modular surface.

연구 동기 및 목표

• 기존의 조건부 경계를 초월하여 모듈라 표면 $PSL(2,\mathbb{Z})$의 소 지오데식 정리에서 오차 항을 더욱 정밀하게 개선하는 것.
• 해석적 수론 기법을 사용하여 오차 항의 $\frac{2}{3}$ 지수에 대한 간결한 증명을 제공하는 것.
• 오차 항 $O\left(x^{2/3}(\log\log x)^{1/3+\varepsilon}\right)$ 가 유한한 로그 측도를 가진 집합 외부에서 성립함을 보이는 것.
• Selberg zeta 함수의 맥락에서 일반화된 Lindelöf 추측의 예측과 조건부 결과 사이의 격차를 메우는 것.

제안 방법

• Selberg zeta 함수 $Z_\Gamma(s)$의 비자명한 영점 $\rho = \frac{1}{2} + i\gamma$ 를 이용해 체비셰프 함수 $\psi_\Gamma(x)$ 를 표현하기 위해 Iwaniec의 명시적 공식을 활용한다.
• 매개수 $\theta = \frac{1}{4\pi}$ 를 가진 Gallagher의 보조정리를 적용하여 영점에 대한 지수 합의 $L^2$ 노름을 제어하고, 문제를 영점의 짧은 간격에 대한 합으로 변환한다.
• Weyl 법칙을 활용해 합 $\sum_{t < |\rho| \leq t+1} \frac{1}{|\rho|}$ 를 $O(1)$ 으로 유계화함으로써 $t$ 에 대한 적분에 대해 $O(T)$ 경계를 도출한다.
• 변수 치환 $x = e^n e^{2\pi(u + \frac{1}{4\pi})}$ 를 수행하여 영점에 대한 합의 $L^2$ 노름을 $u \in [-\frac{1}{4\pi}, \frac{1}{4\pi}]$ 에 대한 적분과 연결한다.
• $L^2$ 추정과 측도 이론적 추론을 결합하여 예외적인 $x$ 값의 집합 $A_n$ 을 정의하고, 그 로그 측도가 수렴함을 보여 $A = \bigcup A_n$ 이 유한한 로그 측도를 가짐을 증명한다.
• 오차 항을 최소화하기 위해 매개수 $T \approx \frac{x^{1/3}\log x}{(\log\log x)^{1/3+\varepsilon}}$ 를 최적화하여 최종 경계를 도출한다.

실험 결과

연구 질문

• RQ1 모듈라 표면 $PSL(2,\mathbb{Z})$의 소 지오데식 정리에서 오차 항이 기존의 $\frac{25}{36}+\varepsilon$ 경계를 초월하여 조건부로도 향상될 수 있는가?
• RQ2 기존의 명시적 공식과 조화 분석 기법을 사용하여 오차 항의 $\frac{2}{3}+\varepsilon$ 지수에 대한 짧고 자립적인 증명이 존재하는가?
• RQ3 Gallagher의 보조정리는 Selberg zeta 함수의 맥락에서 어떻게 변형되어 영점에 대한 지수 합을 제어하는 데 사용될 수 있는가?
• RQ4 유한한 로그 측도를 가진 집합 외부에서 $x^{2/3}$ 경계가 달성 가능한가? 이는 일반화된 Lindelöf 추측과 일치하는가?

주요 결과

• 논문은 $A$ 가 유한한 로그 측도를 가진 집합일 때, $x \notin A$ 이면 오차 항 $\psi_\Gamma(x) = x + O\left(x^{2/3}\log x (\log\log x)^{1/3+\varepsilon}\right)$ 를 확립한다.
• $\pi_\Gamma(x) - \int_0^x \frac{dt}{\log t}$ 에 대한 경계 $O\left(x^{2/3}(\log\log x)^{1/3+\varepsilon}\right)$ 가 유한한 로그 측도를 가진 집합 $A$ 외부에서 달성된다.
• 명시적 공식에서 오차 항을 최소화하기 위해 매개수 $T \approx \frac{x^{1/3}\log x}{(\log\log x)^{1/3+\varepsilon}}$ 를 최적화함으로써 최종 경계를 도출한다.
• 예외 집합 $A$ 의 로그 측도는 유한하여, 이 경계가 로그 밀도 의미에서 거의 모든 곳에서 성립함을 보장한다.
• 이론적 기법을 과도하게 사용하지 않고, Iwaniec의 명시적 공식과 Gallagher의 보조정리에 기반하여 $\frac{2}{3}$ 지수에 대한 간결한 증명을 제공한다.