하이퍼볼릭 표면 위의 Wasserstein 거리와 수론적 적용

초록

본 논문은 유한 면적 하이퍼볼릭 표면에서 1‑Wasserstein 거리를 제어하는 Berry–Esseen 형태의 부등식을 구축하고, 이를 이용해 듀크의 히에른 점·폐곡선 등분포와 Hecke‑Maass 형식의 질량 등분포에 대한 정량적 상한을 얻는다. 비조건부 결과는 |D|^{-1/12+ε}, 일반화된 린델펠프 가설(GLH) 가정 하에서는 |D|^{-1/4+ε} 및 t_g^{-1/2+ε} 수준의 수렴 속도를 제공한다.

상세 분석

논문은 먼저 1‑Wasserstein 거리 W₁을 정의하고, 전통적인 실수축에서의 Berry–Esseen 부등식(정리 1.1)과 토러스·유한체 경우의 확장을 소개한다. 핵심은 이러한 부등식을 하이퍼볼릭 표면 Γ\ℍ(Γ는 SL₂(ℝ)의 격자) 위로 일반화하는 것이다. 이를 위해 거리 함수 ρ와 그에 대응하는 u(z,w)=sinh²ρ(z,w) 를 사용하고, Kantorovich–Rubinstein 이중표현(식 1.4)을 활용한다.

코콤팩트 격자 경우(Lemma 1.5)에서는 L²-정규화된 Maaß cusp form f들의 Weyl 합 ∫_{Γ\ℍ} f dν₁−∫ f dν₂ 를 가중치 e^{-t_f²/T²} 로 평균한 항이 W₁을 제어한다. 비코콤팩트(즉, cusp가 존재) 경우에는 Eisenstein 급수 E_a(z,½+it) 의 적분도 추가된다(정리 1.10). 여기서 ν₁,ν₂ 가 “Y‑α‑cuspidally tight” 조건을 만족하면 Eisenstein 급수의 적분이 수렴한다는 점이 핵심이다.

기술적 도구로는 Selberg–Harish-Chandra 변환의 역함수(k(u)) 를 이용해 가중치 함수를 Fourier‑type 형태로 표현하고, Lemma 2.1에서 k(u)의 비음성 및 적분 추정(식 2.4, 2.5)을 확보한다. 이는 Weyl 합에 대한 가중치를 제어하고, T를 적절히 선택해 최적의 오차율을 얻는 데 필수적이다.

응용 부분에서는 Γ=SL₂(ℤ)인 모듈라 표면을 택한다. 히에른 점 집합 Λ_D(음의 판별식)와 폐곡선 집합 Λ_D(양의 판별식)에 대해 확률 측도 ν_D를 정의하고, 듀크의 정리(정리 1.14)를 정량화한다. 비조건부로는 W₁(ν_D,ν)≪_ε |D|^{-1/12+ε} 를, GLH 가정 하에서는 |D|^{-1/4+ε} 로 개선한다(정리 1.15).

또한 Hecke‑Maass cusp form g∈B에 대해 질량 측도 ν_g를 정의하고, Lindenstrauss–Soundararajan의 QUE 결과를 정량화한다. GLH 가정 시 W₁(ν_g,ν)≪_ε t_g^{-1/2+ε} 를 얻는다(정리 1.20). 이는 기존의 비정량적 ergodic 증명과 달리 구체적인 수렴 속도를 제공한다는 점에서 의미가 크다.

전체적으로, 논문은 하이퍼볼릭 기하와 자동형 이론을 연결하는 새로운 정량적 도구를 제시하고, 기존의 수론적 등분포 문제에 대해 효과적인 Wasserstein 거리 상한을 도출함으로써 향후 QUE, L‑함수 비대칭성, 그리고 고차원 아벨리안 다양체 위의 등분포 연구에 활용될 가능성을 열어준다.