[논문 리뷰] Counting, Mixing and Equidistribution of horospheres in geometrically finite rank one locally symmetric manifolds

Инканг Ким|arXiv (Cornell University)|2011. 03. 25.

Mathematical Dynamics and Fractals참고 문헌 24인용 수 24

한 줄 요약

이 논문은 무한체적, 기하학적으로 유한한 랭크 1 국소 대칭 다각형에서 확장되는 수평면의 등분포를 확립하고, 이를 바탕으로 $\mathbb{F}^{n+1}$에서 이산군 $\Gamma\subset O_{\mathbb{F}}(n,1)$에 의한 궤도의 궤도 수 계산에 정확한 점근적 공식을 도출하며, 명시적인 오차 항을 포함한다. 핵심 결과는 노름이 $T$ 이하인 궤도 점의 수에 대해 $T^\delta$ 성장률을 보이며, 스펙트럼 갭에 따라 영향을 받는 거듭제곱 절감 오차 항을 포함한다. 이는 아폴로니우스 구 포장에서 소수 곡률을 가진 구의 수를 세는 데의 응용을 가능하게 한다.

ABSTRACT

In this paper we study the equidistribution of expanding horospheres in infinite volume geometrically finite rank one locally symmetric manifolds and apply it to the orbital counting problem in apollonian sphere packing.

연구 동기 및 목표

• 기하학적으로 유한하고 무한체적인 랭크 1 국소 대칭 다각형에서 확장되는 수평면의 버거-로블린 측도에 대한 등분포를 확립한다.
• 이산군 $\Gamma \subset SO(n,1), SU(n,1), Sp(n,1)$이 $\mathbb{F}^{n+1}$에 작용하는 경우의 정량적 궤도 수 계산 공식을 유도하며, 오차 항을 제어한다.
• 등분포 결과를 아폴로니우스 구 포장에서 곡률이 소수인 구의 수를 세는 문제에 적용한다.
• 스펙트럼 갭 추정과 $L^2$-행렬 계수 기법을 통합하여 이전의 랭크 1 사례 결과를 확장한다.

제안 방법

• 랭크 1 대칭 공간에서의 수평면 좌표를 사용하여 수평면를 매개변수화하고, $N$과 $A$ 위의 적분을 통해 수 계산 함수를 표현한다.
• $L^2(\Gamma\backslash G)^K$에서 단위 표현 이론과 스펙트럼 이론을 적용하여 함수를 최하단 고유함수 $\phi_0$와 수직 보조 공간으로 분해한다.
• 스펙트럼 갭에 의한 행렬 계수 추정을 통해 수평면 평균의 점근적 제어를 얻는다: $\int \psi(n_x a_y) dn \sim y^{D-\delta}$.
• 부드러운 캐시 함수 $\phi_\epsilon$를 구성하고 $\Gamma\backslash G$ 위에서 평균을 내어 테스트 함수 $\Phi_\epsilon$를 정의함으로써 $L^2$-노름 추정을 활용한다.
• 랑글랜드 분해와 $M$ 위에서의 평균을 사용하여 문제를 $\Gamma\backslash G/M$ 위의 $L^2$-노름으로 축소하고, 이곳에서 수평면 평균을 제어한다.
• 큰 筛법과 $r$-거의 소수를 사용한 筛법을 적용하여, $k$개 곡률이 $r$-거의 소수인 궤도의 수에 대한 하한을 도출한다.

실험 결과

연구 질문

• RQ1 기하학적으로 유한하고 무한체적인 랭크 1 국소 대칭 다각형에서 확장되는 수평면은 어떻게 등분포하는가?
• RQ2 이산 기하학적으로 유한한 군 $\Gamma$에 의한 궤도 점의 수 $\{v \in v_0\Gamma : ||v|| < T\}$의 정확한 점근적 성장률은 무엇인가?
• RQ3 스펙트럼 갭과 $L^2$-행렬 계수 추정을 사용하여 궤도 수 계산 함수의 오차 항을 정량적으로 제어할 수 있는가?
• RQ4 수평면의 등분포 결과는 아폴로니우스 구 포장에서 곡률이 소수인 구의 수를 세는 등의 수론적 문제에 어느 정도 적용될 수 있는가?
• RQ5 아폴로니우스 포장에서 상호 접촉하는 5개의 구로 이루어진 5-튜플 중 곡률이 $r$-거의 소수인 것의 수에 대한 하한은 무엇인가?

주요 결과

• 궤도 수 계산 함수는 $\#\{v \in v_0\Gamma : ||v|| < T\} \sim c_{\phi_0} \delta^{-1} T^\delta \int_K ||v_0(g_0^{-1}kg_0)||^{-\delta} dk$ 를 만족하며, $K$-불변 노름에 명시적인 의존성을 포함한다.
• 특수한 $K$-불변 노름의 경우, 수 계산 함수는 $c_{\phi_0} \delta^{-1} ||v_0||^{-\delta} T^\delta (1 + O(T^{-\delta'}))$ 로 표현되며, 여기서 $\delta'$ 는 스펙트럼 갭에 따라 결정된다.
• 등분포 결과는 $L^2$-행렬 계수 감쇠를 통해 확립되며, $\psi \in L^2_c(\Gamma\backslash G)^K$ 에 대해 $\int \psi(n_x a_y) dn \sim y^{D-\delta}$ 를 만족한다. 여기서 $D$ 는 경계의 하우스도르프 차원이다.
• 곡률가 $r$-거의 소수인 5-튜플의 수에 대한 하한은 $\pi_k^{\mathcal{P}}(T)^r \gg \frac{T^{\delta_\Gamma}}{\log^k T}$ 를 만족하며, $r$ 은 스펙트럼 갭에 따라 달라진다.
• 이 결과는 [23]의 이전 작업을 실수, 복소수, 퀼리니언 하이퍼볼릭 공간을 포함한 일반적인 랭크 1 사례로 확장한다.
• 아폴로니우스 구 포장에의 적용은 수 계산 함수에 거듭제곱 절감 오차 항을 제공하며, 이는 $r$-거의 소수 곡률을 세는 데에 筛법을 사용할 수 있게 한다.