[논문 리뷰] On the arithmetic of crossratios and generalised Mertens' formulas

Jouni Parkkonen, Frédéric Paulin|arXiv (Cornell University)|2013. 08. 26.

Mathematical Dynamics and Fractals참고 문헌 35인용 수 8

한 줄 요약

이 논문은 허수 정수환과 ℚ 위의 정적 허문자 대수에 관련된 쌍곡 공간 내 산술 점들에 대한 일반화된 메르텐스 공식과 등분포 결과를 수립한다. 쌍곡 기하학에서의 crossratio와 공통 수직선을 통해 유도된 기하학적 복잡도 척도를 사용하여, 이차 무리수의 추적과 이차 형식, 허미트 형식, 하이퍼본 형식에 의한 정수 표현의 점근적 수세기 법칙과 약한-스타르 등분포를 증명하며, 명시적인 오차 한계를 제공한다.

ABSTRACT

We develop the relation between hyperbolic geometry and arithmetic equidistribution problems that arises from the action of arithmetic groups on real hyperbolic spaces, especially in dimension up to 5. We prove generalisations of Mertens' formula for quadratic imaginary number fields and definite quaternion algebras over the rational numbers, counting results of quadratic irrationals with respect to two different natural complexities, and counting results of representations of (algebraic) integers by binary quadratic, Hermitian and Hamiltonian forms with error bounds. For each such statement, we prove an equidistribution result of the corresponding arithmetically defined points. Furthermore, we study the asymptotic properties of crossratios of such points, and expand Pollicott's recent results on the Schottky-Klein prime functions.

연구 동기 및 목표

• 허수 정수환과 정적 허문자 대수에서 고전적 메르텐스 공식을 산술 수세기 문제로 일반화하기.
• 갈루아 켤레에 대한 거리 기반의 새로운 복잡도 척도에 기반한 이차 무리수의 추적에 대한 등분포 결과 수립.
• 명시적인 오차 항을 포함한 이차 형식, 허미트 형식, 하이퍼본 형식에 의한 정수 표현에 대한 점근적 수세기 공식 유도.
• 쌍곡 3차원 공간 내 산술 점들의 교차비의 점근적 행동을 분석하고, 스펙트럼 및 기하학적 불변량과 연관시키기.
• 폴리코프의 슈코프트-클라인 소수 함수에 대한 결과를 쌍곡 기하학의 기하학적 및 역학적 방법을 통해 일반화하기.

제안 방법

• ℂ와 ℍ 내의 노름과 거리에 기반한 자연스러운 복잡도 척도를 정의하기 위해 산술군의 실수 및 복소 쌍곡 공간에 대한 작용을 사용한다.
• 산술 점에서의 Dirac 측도에 등분포 이론을 적용하여, 복잡도가 증가함에 따라 ℂ 또는 ℍ 위의 르베그 측도로의 약한-스타르 수렴을 보여준다.
• 쌍곡 공간 내 점들의 교차비를 활용하여 점근 기하학을 분석하고, 스펙트럼 데이터 및 제타 함수와 연관시킨다.
• 지오데식 영역의 몫의 체적을 산술 불변량(예: 클래스 수, 조정자, 제타 함수 잔여치 등)과 연결하여 수세기 공식을 도출한다.
• 호보울과 지오데식 선 사이의 공통 수직선의 기하학을 활용하여 길이를 대수적 정수의 노름으로 표현한다.
• 오비포르드와 안정자 부분군의 체적 공식 및 불변량을 활용하여, 오차 항을 포함한 점근 전개를 유도한다.

실험 결과

연구 질문

• RQ1 이deal 노름과 축소 노름에 기반해 허수 정수환과 하이퍼본 허문자 대수 내 산술 점을 세는 데 있어 메르텐스 공식을 어떻게 일반화할 수 있는가?
• RQ2 갈루아 켤레까지의 거리로 정의된 복잡도에 따라 실수 및 복소 이차 무리수의 추적은 어떻게 등분포하는가?
• RQ3 이차 형식, 허미트 형식, 하이퍼본 형식에 의한 정수 표현의 점근적 성질은 쌍곡 3차원 공간의 기하학과 산술 불변량과 어떻게 관련되는가?
• RQ4 산술 점들의 교차비는 쌍곡 공간에서 폴리코프의 슈코프트-클라인 소수 함수에 대한 결과를 어떻게 확장하는가?
• RQ5 쌍곡 3차원 공간 내 산술 몫의 체적과 안정자 데이터는 수세기 점근 전개의 주요 계수를 어떻게 결정하는가?

주요 결과

• 허수 정수환의 분수 이상수 ideal 𝔪 내의 u,v에 대해 u/v에서의 Dirac 측도의 정규화된 합은 s→∞일 때 ℂ 위의 르베그 측도로 등분포하며, 밀도는 |DK|ζK(2)/(2πs²) 비례한다.
• ℚ 위의 정적 허문자 대수 A에 대해 ℍ 내 uv⁻¹에서의 Dirac 측도의 정규화된 합은 s→∞일 때 ℍ 위의 르베그 측도로 등분포하며, 밀도는 ∝ π²ζ(3)∏(p³−1)/(360DA s⁴)이다.
• PSL₂(ℤ)의 유한 지수 부분군 G의 G-궤도 내 이차 무리수의 추적은 ε→0일 때 ℝ 위의 르베그 측도로 등분포하며, 밀도는 ∝ π²[PSL₂(ℤ):G]ε/(6[PSL₂(ℤ)α₀:Gα₀]Rα₀)이다.
• 허수 정수환 K≠ℚ(√−4) 내의 황금비 φ에 대해 Γ₀(𝔠)·φ의 추적은 ε→0일 때 ℂ 위의 르베그 측도로 등분포하며, 밀도는 ∝ |DK|³/²ζK(2)n(𝔠)∏(1+1/n(p))ε²/(4π²kc ln φ)이다.
• 쌍곡 3차원 공간 내 공통 수직선의 수세기 함수 ψ̄G,x,y(s)는 점근적으로 s²로 성장하며, 조정자, 제타 함수, 클래스 수 불변량을 포함한 계수를 가진다.
• 수세기 함수의 주요 항은 지오데식 영역의 체적 비율과 안정자 부분군을 통해 유도되며, 오차 항은 O(s⁻ᵏ) (어떤 k>0에 대해)를 갖는다.