[논문 리뷰] Prime geodesic theorem of Gallagher type

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

Analytic Number Theory Research참고 문헌 15인용 수 5

한 줄 요약

이 논문은 히퍼볼릭 다양체에서의 세르베르그 제타 함수의 비자명한 영점에 대한 0-밀도 추정과 $L^2$-절댓값 추정을 활용하여, 체비쇼프 함수 $\psi(x)$의 명시적 공식에 갈라그란-유사 평균화 방법을 적용함으로써, 컴팩트 리만 곡면에 대한 소지오메트릭 정리의 오차 항의 지수를 기존의 $\frac{3}{4}$에서 $\frac{7}{10}$으로 감소시킨다. 이는 유한한 로그 측도를 가진 집합 외부에서 성립한다.

ABSTRACT

We reduce the exponent in the error term of the prime geodesic theorem for compact Riemann surfaces from $\frac{3}{4}$ to $\frac{7}{10}$ outside a set of finite logarithmic measure.

연구 동기 및 목표

• 컴팩트 리만 곡면에 대한 소지오메트릭 정리의 오차 항을 고전적 bound인 $O(x^{3/4} \log x^{-1})$를 초월하여 향상시키는 것.
• 이전에 리만 제타 함수의 맥락에서 사용된 갈라그란-유사 평균화 방법을, 히퍼볼릭 다양체에서의 세르베르그 제타 함수로 확장하는 것.
• 유한한 로그 측도를 가진 집합 외부에서 오차 항이 $O(x^{7/10} (\log x)^{1/5} (\log \log x)^{1/5 + \varepsilon})$임을 확보하는 것.
• 낮은 영점의 기여를 제어하고, 비자명한 영점에 대한 진동하는 합을 $L^2$-노름을 통해 추정함으로써, $\psi(x)$에 대한 명시적 공식을 정밀화하는 것.

제안 방법

• 세르베르그 제타 함수의 비자명한 영점 $\rho$ 에 대한 합을 포함하는 통합 체비쇼프 함수 $\psi_1(x)$에 대해 헤이할의 명시적 공식을 적용한다.
• 비감소 함수 $\psi$ 에 대해 $\psi(x) \leq \frac{1}{h} \int_x^{x+h} \psi(t) dt$ 를 이용하여, 평균화를 통한 점별 제어를 가능하게 한다.
• 실부 $\rho = \frac{1}{2}$ 인 영점에 대한 진동 합을 $L^2$-절댓값 추정을 통해 추정하며, $\sum \frac{t^{\rho+1}}{\rho(\rho+1)}$ 의 평균 제곱을 활용한다.
• 실수선을 간격 $[e^n, e^{n+1})$ 로 이중분할하고, 영점 합이 임계값을 초과하는 영역인 예외 집합 $E_n$ 과 $F_n$ 을 정의하며, 이들의 로그 측도가 유한하다는 것을 보인다.
• 이중분할 간격 내에서의 영점 수를 제어하기 위해 0-밀도 추정을 적용하며, $\sum_{Y < |\gamma| \leq T} \left| \frac{t^{\rho+1}}{\rho(\rho+1)} \right|^2 \frac{dt}{t^4} = O(1/Y)$ 라는 추정을 사용한다.
• 오차 항들 사이의 균형을 맞추기 위해 평균화 매개변수 $h$ 를 최적화하며, $h$ 와 $x^2 / hT$, $x^{1/2} Y$, $x^\alpha (\log x)^\beta (\log \log x)^\beta / h$ 의 항들을 고려하여, $\alpha = \frac{7}{5}$, $\beta = \frac{2}{5}$ 를 도출한다.

실험 결과

연구 질문

• RQ1 컴팩트 리만 곡면에 대해 소지오메트릭 정리의 오차 항을 $O(x^{3/4})$ 이하로 향상시킬 수 있는가?
• RQ2 세르베르그 제타 함수의 맥락에서 갈라그란-유사 평균화 방법을 통해 오차 항의 지수를 $\frac{7}{10}$ 으로 달성할 수 있는가?
• RQ3 이러한 강력한 오차 bound 가 실패하는 예외 집합의 크기는 얼마이며, 이 집합의 로그 측도가 유한하다는 것을 증명할 수 있는가?
• RQ4 $L^2$-절댓값 추정과 0-밀도 추정이 명시적 공식 내의 진동 기여를 제어하는 데 어떻게 상호작용하는가?
• RQ5 다음 간격으로 넘어갈 때 $x+h$ 가 다음 간격으로 넘어가는 전이 상황을 다룰 수 있는가? 이 경우 오차 제어를 잃지 않고 유지할 수 있는가?

주요 결과

• 유한한 로그 측도를 가진 집합 $G$ 를 제외한 $x$ 에 대해 오차 항이 $O\left(x^{7/10} (\log x)^{1/5} (\log \log x)^{1/5 + \varepsilon}\right)$ 로 감소됨을 보였다.
• 주요 결과로는 $\psi(x) = x + \sum_{\frac{7}{10} < \rho < 1} \frac{x^\rho}{\rho} + O\left(x^{7/10} (\log x)^{1/5} (\log \log x)^{1/5 + \varepsilon}\right)$ 이 $G$ 를 제외한 영역에서 성립하며, 이는 이전의 bound 를 향상시킨다.
• 예외 집합 $G = \bigcup E_n \cup \bigcup F_n$ 은 유한한 로그 측도를 가지며, 이는 오차 bound 가 로그 의미에서 거의 곳 곳에서 성립함을 보장한다.
• 낮은 영점의 기여를 합을 분할하고 $L^2$-추정을 적용함으로써 효과적으로 제어하였으며, 핵심 추정 $\int_T^{eT} \left| \sum \frac{t^{\rho+1}}{\rho(\rho+1)} \right|^2 \frac{dt}{t^4} = O(1/T)$ 이 도출되었다.
• $h \approx x^{7/10} (\log x)^{1/5} (\log \log x)^{1/5}$ 를 선택함으로써, 경쟁하는 오차 항들이 균형을 이루며 최적의 지수를 도출하였다.
• 결과적으로 일반적인 컴팩트 리만 곡면에 대해 소지오메트릭 정리의 오차 지수로 $\frac{7}{10}$ 이 달성 가능하다는 것이 확인되었으며, 이는 모듈라 곡면 뿐만 아니라 일반적인 경우에도 성립한다.