[논문 리뷰] On the resonances of convex co-compact subgroups of arithmetic groups

Dmitry Jakobson, Frédéric Naud|arXiv (Cornell University)|2010. 11. 29.

Advanced Algebra and Geometry참고 문헌 21인용 수 4

한 줄 요약

이 논문은 산술군의 부분군인 볼록 코어랙터 코어랙터 푸크시안 군에 대해 실제 부분이 실수인 진동수의 효과적인 하한을 확립한다. $\delta > \frac{1}{2}$ 이면 최소 $\frac{\delta}{2} - \frac{1}{4}$ 까지, $\delta \leq \frac{1}{2}$ 이면 $\frac{\delta(1-2\delta)}{2}$ 까지 실수 부분이 확보되며, 이러한 결과는 해당 스트립 내에 무한히 많은 진동수가 존재하고, 스펙트럼 분석을 통한 쌍곡형 격자점 수세기에서 개선된 오차 항을 유도한다.

ABSTRACT

Let $Λ$ be a non-elementary convex co-compact fuchsian group which is a subgroup of an arithmetic fuchsian group. We prove that the Laplace operator of the hyperbolic surface $X=Λ\backslash\H$ has infinitely many resonances in an effective strip depending on the dimension of the limit set $δ$. Applications to lower bounds for the hyperbolic lattice point counting problem are derived.

연구 동기 및 목표

• 산술 푸크시안 군에서 유도된 볼록 코어랙터 코어랙터 쌍곡면에 대해 진동수의 최대 실수 부분을 결정하는 것.
• 비율 $G(\Lambda)$에 대한 효과적인 하한을 확립하는 것. 여기서 $G(\Lambda)$ 는 $\sigma < \delta$ 이면서 $\{\operatorname{Re}(s) \geq \sigma\}$ 내에 유한한 수의 진동수만 존재하는 최소의 $\sigma$ 이다.
• 진동수 분포를 이용해 쌍곡형 격자점 수세기 문제의 오차 항에 대한 정량적 개선을 이끌어내는 것.
• 비원소군에서 $\delta \neq \frac{1}{2}$ 이면 스펙트럼 갭 $G(\Lambda)$ 가 엄밀히 양수임을 확인하며, $G(\Lambda) = \frac{\delta}{2}$ 라는 추측을 지지하는 것.

제안 방법

• 유도핵 $R_\Lambda(s;z,z')$ 의 유리형 계속을 이용해 고유값(진동수)를 분석하기 위해 Guillopé-Zworski 파라메트릭스 구성법을 사용한다.
• 합분할을 통한 관계를 이용해 Poincaré 급수 $P_\Lambda(s;z,z')$ 와 수세기 함수 $N(T;z,z')$ 를 연결한다.
• 가우스 제타함수 표현을 적용하여 $R_\Lambda(s;z,z')$ 와 $P_\Lambda(s;z,z')$ 를 항등식 $R_\Lambda(s;z,z') = \frac{4^{s-1}}{\pi} \frac{(\Gamma(s))^2}{\Gamma(2s)} P_\Lambda(s;z,z') + H(s;z,z')$ 를 통해 연결한다.
• 유도핵의 진동수의 구조를 분석하여, 대각선에서 벗어난 곳에서는 잔여항 $A_1(\zeta;z,z')$ 가 비자명한 실해석 함수임을 보여준다.
• 해석 함수의 영점 집합을 이용해 주어진 반평면 내에 유한한 수의 진동수를 갖는 예외적인 $(z,z')$ 쌍의 영집합 $\mathcal{N}$ 을 구성한다.
• 오차 항 $O(e^{\rho T})$ 에서 너무 작은 $\rho$ 를 가정할 경우 모순을 도출하여, $\rho$ 가 $\frac{\delta}{2} - \frac{1}{4} - \epsilon_0$ 초과여야 한다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 산술군의 부분군인 볼록 코어랙터 코어랙터 푸크시안 군에 대해 진동수의 최대 실수 부분은 무엇이며, 이는 임계 지수 $\delta$ 에 어떻게 의존하는가?
• RQ2 비율 $G(\Lambda)$ 에 대해 효과적인 하한을 확립할 수 있는가? 여기서 $G(\Lambda)$ 는 $\sigma < \delta$ 이면서 $\{\operatorname{Re}(s) \geq \sigma\}$ 내에 유한한 수의 진동수만 존재하는 최소의 $\sigma$ 이다.
• RQ3 진동수의 분포는 쌍곡형 격자점 수세기 문제의 오차 항에 어떻게 영향을 미치는가?
• RQ4 추측 $G(\Lambda) = \frac{\delta}{2}$ 는 참인가? 그리고 산술 부분군 설정에서 효과적인 하한에 의해 지지되는가?

주요 결과

• 모든 $0 < \delta \leq \frac{1}{2}$ 에 대해, 스펙트럼 갭은 $G(\Lambda) \geq \frac{\delta(1 - 2\delta)}{2}$ 를 만족하며, 이는 $\delta < \frac{1}{2}$ 일 때 양수이다.
• 모든 $\delta > \frac{1}{2}$ 이고 $\Lambda$ 가 산술군의 볼록 코어랙터 부분군일 경우, $G(\Lambda) \geq \frac{\delta}{2} - \frac{1}{4}$ 를 만족하며, 이는 $\delta > \frac{1}{2}$ 일 때 양수이다.
• 하한 $\frac{\delta}{2} - \frac{1}{4}$ 는 효과적이며 일반적인 볼록 코어랙터 코어랙터 다양체에 대한 이전의 비효율적 또는 약한 하한보다 개선된 것이다.
• 이 결과는 거의 모든 대각선에서 벗어난 $(z,z')$ 쌍에 대해, 유도핵 $R_\Lambda(s;z,z')$ 가 반평면 $\{\operatorname{Re}(s) \geq \frac{\delta}{2} - \frac{1}{4} - \epsilon_0\}$ 내에 무한히 많은 극을 가짐을 시사한다.
• 격자점 수세기 함수 $N(T;z,z')$ 는 $N(T;z,z') = \sum_j Q_j(T;z,z') e^{\delta_j T} + O(e^{\rho T})$ 를 만족하며, 여기서 $\rho \geq \frac{\delta}{2} - \frac{1}{4} - \epsilon_0$ 이므로 더 개선된 오차 항을 얻는다.
• 분석은 추측된 스펙트럼 갭 $G(\Lambda) = \frac{\delta}{2}$ 가 점점 더 일관됨을 확인한다. $\delta \to 0$ 일 때 이 하한은 $\frac{\delta}{2} + O(\delta^2)$ 와 유사하게 행동한다.