[논문 리뷰] Distribution of modular symbols for compact surfaces

Morten S. Risager|ArXiv.org|2003. 08. 06.

Advanced Algebra and Geometry참고 문헌 8인용 수 8

한 줄 요약

이 논문은 비편평한 쌍곡형 리만 표면에 대해 모듈라 기호의 점근 정규분포를 설정한다. 이를 위해 비극점(non-cuspidal)이고 컴팩트한 경우로 일반화된 초월 이즈엔슈타인 급수(hyperbolic Eisenstein series)를 도입한다. 주요 결과는 길이 매개변수 T가 증가함에 따라 정규화된 모듈라 기호가 표준 이변량 정규분포로 수렴한다는 것이다. 이는 이전의 비컴팩트 표면에서의 결과를 컴팩트 표면으로 확장한 것이다.

ABSTRACT

We prove that the modular symbols appropriately normalized and ordered have an asymptotical normal distribution for all cocompact subgroups of SL_2(R). We introduce hyperbolic Eisenstein series in order to calculate the moments of the modular symbols.

연구 동기 및 목표

• 비컴팩트에서 컴팩트한 쌍곡형 리만 표면으로 모듈라 기호의 분포론 이론을 확장하기 위해.
• 골드펠드의 비틀린 이즈엔슈타인 급수의 한계를 극복하기 위해, 이는 쿠스가 필요하므로 컴팩트한 경우에 실패하기 때문이다.
• 컴팩트한 설정에서 모듈라 기호를 분석하기 위한 새로운 도구로 초월 이즈엔슈타인 급수를 정의하고 연구하기 위해.
• 정규화된 모듈라 기호와 조화 미분형식의 점근 정규성을 확립하기 위해.
• 정규화된 기호의 모멘트가 표준 이변량 가우시안 분포의 모멘트로 수렴함을 증명하기 위해.

제안 방법

• 초월 이즈엔슈타인 급수를 $ E^{{\tilde{\gamma}}_1}(z,s) = \sum_{{\gamma} \in {{\Gamma}_1\backslash\Gamma}} \left( \frac{\Im({\gamma}z)}{|{\gamma}z|} \right)^s $ 로 정의하며, $ \Re(s) > 1 $ 에서 성립한다.
• 초월 이즈엔슈타인 급수의 전체 복소평면에 대한 유리형 해석적 계속을 증명하며, 라플라스 연산자의 고유값 $ s_j(1-s_j) $ 에서 $ -2n + s_j $ 에 극점이 있음을 밝힌다.
• 해석적 연산자 방법을 사용하여 함수방정식 $ (\Delta + s(1-s))E^{{\tilde{\gamma}}_1}(z,s) = -s^2 E^{{\tilde{\gamma}}_1}(z,s+2) $ 를 유도한다.
• 초월 이즈엔슈타인 급수의 스펙트럼 전개에 복소적 경로 적분을 적용하여, 행렬 노름이 유계인 군 원소의 점근 수를 유도한다.
• 모듈라 기호를 $ [\gamma,f] = \sqrt{ \frac{\operatorname{vol}(\Gamma\backslash\mathbb{H})}{\log((a^2+b^2)(c^2+d^2))} } \int_{z_0}^{\gamma z_0} f(z)dz $ 로 정규화한다.
• 부분합과 모멘트 분석을 사용하여 정규화된 기호의 모멘트가 표준 이변량 정규분포의 모멘트로 수렴함을 보인다.

실험 결과

연구 질문

• RQ1 컴팩트한 쌍곡형 표면에서 모듈라 기호의 분포가 점근적으로 정규분포임을 증명할 수 있는가?
• RQ2 쿠스가 없는 컴팩트한 경우에 이즈엔슈타인 급수는 어떻게 적응시킬 수 있는가?
• RQ3 새로운 초월 이즈엔슈타인 급수의 스펙트럼 행동과 유리형 구조는 어떠한가?
• RQ4 정규화된 기호의 모멘트는 가우시안 분포의 모멘트로 수렴하는가?
• RQ5 행렬 노름이 유계인 $ \Gamma_1\backslash\Gamma $ 내의 군 원소의 점근 성장률은 어떠한가?

주요 결과

• 정규화된 모듈라 기호 $ [\gamma,f] $ 는 상호상관이 없는 이변량 정규분포를 점근적으로 가지며, $ T \to \infty $ 일 때 $ \frac{1}{2\pi} \int_R \exp\left(-\frac{x^2+y^2}{2}\right) dxdy $ 로 수렴한다.
• 정규화된 기호의 모멘트는 표준 이변량 가우시안 분포의 모멘트로 수렴한다: $ n,m $ 이 짝수일 때 $ M_{n,m}(X_T) \to \frac{n!}{(n/2)!2^{n/2}} \frac{m!}{(m/2)!2^{m/2}} $ 이고, 그렇지 않으면 0이다.
• $(\Gamma_1\backslash\Gamma)^T $ 내 원소의 수는 점근적으로 $ \frac{2\log\mu \cdot T}{\operatorname{vol}(\Gamma\backslash\mathbb{H}) \cdot y} + O(T^{1-\delta}) $ 로 성장한다. 여기서 $ \delta > 0 $ 이다.
• 초월 이즈엔슈타인 급수의 $ s=1 $ 에서의 잔여는 $ \frac{2\log\mu}{\operatorname{vol}(\Gamma\backslash\mathbb{H})} $ 이며, 이는 수량 함수의 주요 항을 제어한다.
• 정규화된 실수부와 허수부는 각각 표준 정규분포로 경계적으로 수렴하며, 한계 측도는 $ \frac{1}{\sqrt{2\pi}} \int_a^b \exp\left(-\frac{x^2}{2}\right) dx $ 이다.
• 결과는 실수 조화 미분형식 $ \alpha = \Re(f(z)dz) $ 에도 확장되며, $ [\gamma,\alpha] $ 도 실수 직선상에서 표준 정규분포로 수렴한다.