[논문 리뷰] Counting lattice points

Alexander Gorodnik, Amos Nevo|ArXiv.org|2009. 03. 09.

Analytic Number Theory Research참고 문헌 50인용 수 11

한 줄 요약

이 논문은 에르고딕 이론을 사용하여 국소적으로 컴act한 군에서 격자 점 수를 세는 문제에 일반적이고 정량적인 해법을 제공하며, 스펙트럼 갭과 정규성 조건 하에서 가족 형태의 영역에 대해 날카운 오차 항을 확립한다. 이는 스펙트럼 갭이 일정한 격자 가족 전반에 걸쳐 균일한 경계를 달성하며, 단순 S대수적 군, 높이 함수를 사용한 유리점, 그리고 대칭 공간에서의 각도 균일분포로까지 결과를 확장한다.

ABSTRACT

For a locally compact second countable group G and a lattice subgroup Gamma, we give an explicit quantitative solution of the lattice point counting problem in general domains in G, provided that i) G has finite upper local dimension, and the domains satisfy a basic regularity condition, ii) the mean ergodic theorem for the action of G on G/Gamma holds, with a rate of convergence. The error term we establish matches the best current result for balls in symmetric spaces of simple higher-rank Lie groups, but holds in much greater generality. In addition, it holds uniformly over families of lattices satisfying a uniform spectral gap. Applications include counting lattice points in general domains in semisimple S-algebraic groups, counting rational points on group varieties with respect to a height function, and quantitative angular (or conical) equidistribution of lattice points in symmetric spaces and in affine symmetric varieties. The mean ergodic theorems which we establish are based on spectral methods, including the spectral transfer principle and the Kunze-Stein phenomenon. We prove appropriate analogues of both of these results in the set-up of adele groups, and they constitute a necessary step in our proof of quantitative results in counting rational points.

연구 동기 및 목표

• 국소적으로 컴팩트하고 두 번 가산적인 군에서 유한한 상부 국소 차원을 가지는 군에 대해 격자 점 수 세기 문제에 일반적이고 정량적인 해법을 개발한다.
• 일반적인 영역에서 격자 점 수의 점근적 세기에서 명시적인 오차 항을 확립하며, 대칭 공간의 최고 수준의 경계와 일치시킨다.
• 스펙트럼 갭이 일정한 격자 부분군 가족 전반에 걸쳐 오차 추정치의 균일성을 확보한다. 이는 정량적 성질 τ를 만족하는 유한 지수 부분군을 포함한다.
• 이 방법을 높이 함수를 사용한 군 다양체 위의 유리점 수 계산과 대칭 및 아핀 대칭 공간에서의 각도 균일분포 연구로 확장한다.
• 스펙트럼 방법을 사용하여 비율을 고려한 평균 에르고딕 정리(즉, 수렴 속도 포함)를 실수 및 아델 군 설정 모두에서 증명한다. 이에는 스펙트럼 이행 원리와 쿤체-스타인 현상이 포함된다.

제안 방법

• 영역 $ B_t $ 에 대한 평균화 연산자에 대해 $ L^2(G/\Gamma) $ 에서 평균 에르고딕 정리를 적용하며, 수렴 속도가 오차 항을 결정한다.
• 영역 $ B_t $ 의 정규성을 측정하기 위해 헬더 잘둥퉁성(지수 $ a $) 개념을 사용한다. 이는 $ m_G(\mathcal{O}_\varepsilon B_t \mathcal{O}_\varepsilon) \leq (1 + c\varepsilon^a) m_G(\cap_{u,v\in\mathcal{O}_\varepsilon} uB_tv) $ 를 만족시킨다.
• 격자 점 수 세기의 오차 항을 $ L^2(G/\Gamma) $ 상에서 평균화 연산자의 스펙트럼 갭과 연결하며, 군 $ G $ 의 상부 국소 차원을 활용한다.
• 스펙트럼 방법을 사용하여 비율을 고려한 평균 에르고딕 정리를 확립한다. 이에는 아델 군에서의 스펙트럼 이행 원리와 쿤제-스타인 현상이 포함된다.
• 아핀 대칭 다양체에서의 집합 $ S_t(\Phi,\Psi) $ 가 지수 $ 1/3 $ 으로 헬더 잘둥퉁성을 지닌다는 것을 증명한다. 이는 $ \mathcal{O}_\varepsilon S_t \mathcal{O}_\varepsilon $ 와 $ \cap_{u,v} uS_tv $ 의 체적 추정을 통해 이루어진다.
• 가장자리 측정 기본 영역과 분할을 사용하여 $ G/H $ 에서의 수를 $ G/\Gamma $ 에서의 수로 감소시키며, 정규성과 균일 경계 유지가 가능하다.

실험 결과

연구 질문

• RQ1 스펙트럼 갭과 정규성 조건이 만족될 경우, 국소적으로 컴팩트한 군 $ G $ 의 일반적인 영역에서 격자 점 수 세기 문제를 정량적으로 해결할 수 있는가?
• RQ2 점근적 세기 $ \Gamma \cap B_t $ 에서의 최적 오차 항은 무엇이며, 이는 영역 $ B_t $ 의 기하학적 성질과 스펙트럼 갭에 어떻게 의존하는가?
• RQ3 특히 정량적 성질 $ \tau $ 를 만족하는 유한 지수 부분군을 포함하여, 격자 가족 전반에 걸쳐 균일한 오차 경계를 확립할 수 있는가?
• RQ4 에르고딕 이론적 접근은 어떻게 높이 함수에 따라 군 다양체 위의 유리점 수를 세는 데로 확장될 수 있는가?
• RQ5 쿠즈-스타인 현상과 스펙트럼 이행은 아델 군에서 평균 에르고딕 정리 증명과 유리점 수 세기에서 어떤 역할을 하는가?

주요 결과

• 스펙트럼 갭이 존재하고 상부 국소 차원이 유한하며, 평균 에르고딕 정리가 고정된 속도로 성립할 경우, 지수 $ a $ 로 헬더 잘둥퉁성을 만족하는 영역 $ B_t $ 에 대해 격자 점 수 세기 문제는 정량적 해법을 가진다.
• 오차 항은 $ C \cdot m_G(B_t)^{-\delta} $ 로 경계되며, 대칭 공간의 최고 수준 결과와 일치하며, 스펙트럼 갭과 정규성 지수 $ a $ 에 명시적으로 의존한다.
• 아핀 대칭 다양체에서의 집합 $ S_t(\Phi,\Psi) $ 는 $ \mathcal{O}_\varepsilon S_t \mathcal{O}_\varepsilon $ 와 $ \cap_{u,v} uS_tv $ 의 체적 추정을 통해 지수 $ 1/3 $ 으로 헬더 잘둥퉁성을 지닌다는 것이 입증된다.
• 이 방법은 스펙트럼 갭이 일정한 격자 가족 전반에 걸쳐 균일한 오차 경계를 제공하며, 정량적 성질 $ \tau $ 의 변형을 만족하는 유한 지수 부분군을 포함한다.
• 스펙트럼 방법을 사용하여 비율을 고려한 평균 에르고딕 정리를 증명하였으며, 이에는 스펙트럼 이행 원리와 쿤제-스타인 현상이 포함된다. 이는 아델 군으로 확장되어 유리점 수 세기 응용에 사용된다.
• 측정 가능한 기본 영역과 분할을 통해 $ G/H $ 에서의 격자 점 수 계산이 $ G/\Gamma $ 에서의 계산으로 감소되며, 정규성과 균일 추정이 유지된다.