Local square mean in the hyperbolic circle problem

기술적 요약: 쌍곡선 원 문제에서의 국소 제곱 평균

1. 문제 제기
본 논문은 유한 부피 푸크시안 군 $\Gamma \subseteq \text{PSL}_2(\mathbb{R})$에 대한 쌍곡선 원 문제를 다룬다. 구체적으로, 쌍곡선 반지름 $R$을 갖는 중심이 $w$인 원 안에 있는 점 $z$의 $\Gamma$-궤적 내 원소 개수를 추정하는 데 초점을 맞춘다. 특히 $\Gamma = \text{PSL}_2(\mathbb{Z})$이고 $z=w$인 경우, 계수 함수는 다음과 같이 정의된다:
$$N(z, X) := |\{ \gamma \in \Gamma : 4u(\gamma z, z) + 2 \le X \}|$$
여기서 $u(z, w) = \frac{|z-w|^2}{4 \text{Im}z \text{Im}w}$는 쌍곡선 거리 $\rho$와 $1+2u = \cosh \rho$ 관계를 가진다.

오차항 $E(z, X) = N(z, X) - 3X$에 대한 고전적인 점별 경계는 셀버그가 증명한 $O_z(X^{2/3})$로 알려져 있다. 페트리디스와 리세거 [P-R]는 $z$에 대해 평균을 취함으로써 이 오차항의 국소 평균을 $O(X^{7/12+\epsilon})$까지 개선했으나, 어떤 군에 대해서도 점별 경계는 개선되지 않았다. 본 논문은 오차항의 국소 $L^2$-노름(제곱 평균)에 대한 추정을 개선하는 것을 목표로 한다.

2. 주요 결과
주요 정리는 $\text{PSL}_2(\mathbb{Z})$의 표준 기본 영역 $F$ 내의 콤팩트 집합 $\Omega$에 대한 오차항의 국소 $L^2$-노름에 대해 개선된 경계를 확립한다.

정리 1.1: $\Gamma = \text{PSL}_2(\mathbb{Z})$, $F$를 표준 기본 영역, $\Omega \subseteq F$를 콤팩트 집합이라 하자. 그러면 임의의 $\epsilon > 0$에 대해 다음이 성립한다:
$$\left( \int_{\Omega} (N(z, X) - 3X)^2 d\mu_z \right)^{1/2} = O_{\Omega, \epsilon} \left( X^{9/14 + \epsilon} \right)$$
지수 $9/14 \approx 0.642$는 점별 경계 지수 $2/3 \approx 0.666$보다 엄격하게 우수하지만, 페트리디스와 리세거가 선형 평균에 대해 달성한 $7/12 \approx 0.583$ 지수보다는 여전히 약하다.

3. 방법론
증명은 스펙트럼 이론, 산술 기하학, 해석적 추정의 조합을 활용한다.

• 부드러움 처리와 스펙트럼 분해: 저자들은 이항 계수를 사용하여 $N(z, X-jd\tau)$의 선형 결합으로 구성된 부드러운 계수 함수 $N_{d,J}(z, X)$를 도입한다. 이 부드러움 처리는 스펙트럼 방법의 적용을 가능하게 한다. 오차항은 $\Gamma$의 쌍곡선 원소와 비쌍곡선 원소의 기여로 분해된다. 비쌍곡선 기여는 무시할 수 있음 ($O(X^{1/2+\epsilon})$) 이 입증된다.
• 자기형식 내적로의 축소: 문제의 핵심은 쌍곡선 기여의 제곱 적분 추정으로 축소된다. 자기형식 함수의 스펙트럼 확장을 사용하여, 이 적분은 $M_{t,m}(z) = \sum_{\gamma \in \Gamma_t} m(u(z, \gamma z))$ 형태의 합의 내적으로 표현되며, 여기서 $\Gamma_t$는 대각합이 $t$인 원소들의 집합이다.
• 이차 형식과의 연결: 주요 기술적 혁신 (Lemma 2.2) 은 이러한 자기형식 함수들의 내적을 산술적 양과 연관시킨다. 구체적으로, 적분은 다음을 포함하는 합으로 표현된다:
  1. $E_{t_1, t_2}$: 동일한 고정점을 갖는 쌍곡선 원소 쌍의 중앙화자 생성자들의 노름 로그와 관련된 합.
  2. $h(d_1, d_2, t)$: 판별식 $d_1, d_2$와 특정 '공판별식' $t$를 갖는 이차 형식 쌍 $(Q_1, Q_2)$의 $\text{SL}_2(\mathbb{Z})$-동치류 개수.
• 산술적 경계: $h(d_1, d_2, t)$에 대한 명시적 공식은 제한적인 조건 하에서만 알려져 있으므로, 저자들은 매개변수의 약수 개수와 제곱 자유 부분과 관련된 $h(d_1, d_2, t)$에 대한 일반적인 상한 (Lemma 3.1) 을 증명한다.
• 해석적 추정: 증명은 내적 공식에서 비롯된 특수 함수 ($I$ 및 $J$ 함수) 에 대한 상세한 분석을 수반한다. 이러한 함수는 대각합과 부드러움 처리 척도와 관련된 매개변수에 의존한다. 저자들은 테일러 전개, 고계 도함수에 대한 파아 드 브루노 공식, 그리고 매개변수의 상대적 크기에 기반한 신중한 경우 분석을 활용하여 합을 경계 짓는다.
• 최적화: 스펙트럼 근사로부터의 오차항 ($O(X/\sqrt{d})$) 과 산술 합으로부터 유도된 경계 ($O(d^{5/2} X^{-1/2})$) 를 균형 있게 맞추어, 매개변수 $d$를 $X^{5/7}$로 선택함으로써 최종 지수 $9/14$를 얻는다.

4. 주요 기여

• 개선된 $L^2$ 경계: 본 논문은 국소 $L^2$-노름의 맥락에서 쌍곡선 원 문제에 대한 $X^{2/3}$ 점별 경계를 개선한 첫 번째 결과인 $X^{9/14+\epsilon}$를 제공한다.
• 산술 도구: 매개변수에 대한 제한적인 조건 없이 이차 형식 쌍의 클래스 수 $h(d_1, d_2, t)$에 대한 일반적인 상한 (Lemma 3.1) 을 유도하였다.
• 스펙트럼 - 산술 연결고리: 대각합 집합과 관련된 자기형식 함수의 내적을 이차 형식 쌍의 산술적 클래스 수와 연결하는 명시적 공식 (Lemma 2.2).

5. 의의와 한계
이 결과의 의지는 오차항을 국소적으로 $L^2$-의미로 평균화하면 최악의 경우 점별 경계보다 더 나은 지수를 얻을 수 있음을 보여주며, 점별 $X^{2/3}$과 선형 평균 $X^{7/12}$ 사이의 간극을 연결한다는 데 있다.

저자들은 다음과 같은 한계와 향후 연구 방향을 지적한다:

• 군 제한: 현재 증명은 $\text{PSL}_2(\mathbb{Z})$에 특화된 산술 도구에 크게 의존한다. $2/3$보다 나은 지수를 갖는 임의의 유한 부피 푸크시안 군으로 이 결과를 확장하는 것은 여전히 열린 문제이나, 선형 평균 결과는 이전에 [B1] 에 의해 확장된 바 있다.
• 명시적 공식: 저자들은 $h(d_1, d_2, t)$에 대한 명시적 공식이 이용 가능해지고 본 논문에서 유도된 일반적인 상한에 의존하지 않는다면 경계가 더 개선될 수 있다고 제안한다.
• 비교: 이 결과는 선형 평균에 대한 페트리디스와 리세거의 $X^{7/12}$ 경계보다는 약하지만, 점별 경계보다는 강력하다고 명시적으로 기술되어 있다.