[논문 리뷰] Counting and equidistribution in Heisenberg groups

Jouni Parkkonen, Paulin, Frédéric|arXiv (Cornell University)|2014. 02. 28.

Mathematical Dynamics and Fractals참고 문헌 51인용 수 4

한 줄 요약

이 논문은 복소 hyperbolic 기하학과 허수 정수환 위의 산술 격자들을 이용하여 히젠베르그 군 내의 산술 체인과 삼차 점에 대한 渐近적 수세기 및 등분포 결과를 확립한다. Cygan 지름이 적어도 ε 이상인 체인의 수에 대한 메르텐스 유형의 공식을 증명하여 ε⁻⁴에 비례하는 渐近적 성장을 보이며, 지름이 0으로 갈수록 체인 중심의 등분포를 입증한다.

ABSTRACT

We strongly develop the relationship between complex hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on complex hyperbolic spaces, especially in dimension $2$. We prove a Mertens' formula for the integer points over a quadratic imaginary number fields $K$ in the light cone of Hermitian forms, as well as an equidistribution theorem of the set of rational points over $K$ in Heisenberg groups. We give a counting formula for the cubic points over $K$ in the complex projective plane whose Galois conjugates are orthogonal and isotropic for a given Hermitian form over $K$, and a counting and equidistribution result for arithmetic chains in the Heisenberg group when their Cygan diameter tends to $0$.

연구 동기 및 목표

• 산술 격자의 작용 하에서 히젠베르그 군 내 산술 체인에 대한 渐近적 수세기 및 등분포 결과를 확립하기.
• 허미트 형식의 정수 점의 빛의 원뿔 내에서의 수에 대한 메르텐스 유형의 공식 유도하기.
• 주어진 허미트 형식에 대해 Galois 쌍대가 수직이자 동차인 삼차 점의 수를 세는 공식 증명하기.
• 체인의 Cygan 지름이 0으로 갈수록 초구에서 유한한 산술 체인 중심의 등분포 분석하기.
• 비틀림이 있는 음의 곡률 공간 내 공통 수직선에 대한 기하적 수세기 기법을 복소 hyperbolic 설정으로 확장하기.

제안 방법

• 비틀림이 있는 음의 곡률 공간 내 볼록 부분집합 간의 공통 수직선에 대한 기하적 수세기 결과를 활용하며, 이를 복소 hyperbolic 기하학에 적응한다.
• 복소 hyperbolic 공간 내 공통 수직선의 초기 및 종점 접선 벡터에 대한 등분포 정리를 적용한다.
• 체인 지름 측정 및 복잡도 정의에 적합한 자연스러운 거리로 히젠베르그 군 내의 Cygan 거리 사용.
• 복소 사영 평면과 그 안정자 위에서 산술 격자 PSU_q(O_K)의 작용을 이용해 체인과 삼차 점의 궤도 정의.
• 산술 공식 내 명시적 상수 유도를 위해 히젠베르그 군 및 그 부분군 내 체적과 코체적의 측도 이론적 계산에 의존한다.
• 히젠베르그 군에서 무한원 경계로의 수직 투영을 통한 측도의 보편화를 이용해 체인 중심의 등분포를 증명한다.

실험 결과

연구 질문

• RQ1 히젠베르그 군 내 산술 체인의 수는 그들의 Cygan 지름에 따라 어떻게 증가하는가?
• RQ2 체인의 지름이 0으로 갈수록 유한한 산술 체인 중심은 히젠베르그 군 내에서 등분포하는가?
• RQ3 허수 정수환 K 위의 삼차 점 중 Galois 쌍대가 주어진 허미트 형식에 대해 동차이자 수직인 점의 수는 어떻게 渐近적으로 증가하는가?
• RQ4 비틀림이 있는 곡률 공간 내 공통 수직선에 대한 기하적 수세기 기법을 어떻게 복소 hyperbolic 설정으로 적응시킬 수 있는가?
• RQ5 산술 체인과 삼차 점의 수세기 및 등분포에 대한 산술 공식 내 정확한 상수는 무엇인가?

주요 결과

• Cygan 지름이 적어도 ε 이상인 점의 안정자에 대한 산술 체인 수는 c·ε⁻⁴(1 + O(ε^κ))의 형태로 渐近적으로 증가하며, 명시적인 c > 0 및 κ > 0 가 존재한다.
• 체인의 Cygan 지름이 0으로 갈수록 유한한 산술 체인 중심은 히젠베르그 군 내에서 등분포하며, 약한 별거 수렴 방식으로 Haar 측도로 수렴한다.
• K 위의 삼차 점 중 동차이자 수직인 쌍대가 존재하는 점의 수 중 복잡도 c(z) ≤ s 인 점의 수는 C·s⁴(1 + O(s⁻^κ))의 형태로 渐近적으로 증가하며, 명시적인 C > 0 및 κ > 0 가 존재한다.
• 체인에 대한 渐近적 수세기 공식은 ζ_K(3), |D_K|, 격자의 코체적을 포함하는 명시적 상수를 포함하며, 수렴 속도는 O(ε^κ)이다.
• K = Q(i) 인 경우, 수세기 공식은 ψ_{C₀, PSU_q(Z[i])}(ε) = (16πζ(3)/(3ζ_Q(i)(3)))·ε⁻⁴(1 + O(ε^κ))를 도출한다.
• 등분포 결과는 명시적 계산을 통해 확인되었으며, ε⁴ 곱하기 체인 중심에 대한 Dirac 덮개의 합은 약한 별거 수렴 방식으로 히젠베르그 군의 Haar 측도로 수렴한다.