[논문 리뷰] Uniformization, Unipotent Flows and the Riemann Hypothesis

Sergio L. Cacciatori, Matteo A. Cardella|arXiv (Cornell University)|2011. 02. 06.

Algebraic Geometry and Number Theory참고 문헌 39인용 수 3

한 줄 요약

이 논문은 종수 $g$의 주로 극화된 아벨 다양체의 모듈리 공간에서의 유니포텐트 흐름과 리만 가설 사이의 깊은 연결 고리를 설정한다. 이는 Iwasawa 좌표와 Rankin-Selberg 방법을 사용하여 $\Gamma_g$-자기형 함수의 유니포텐트 방향으로의 평균화에 따른 渐近적 행동을 분석함으로써, 등분포의 오차 항이 리만 제타 함수의 비자명한 영점들의 실부의 상한에 의해 제어됨을 증명함으로써, 리만 가설을 통해 에르고딕 이론과 수론을 연결한다.

ABSTRACT

We prove equidistribution of certain multidimensional unipotent flows in the moduli space of genus $g$ principally polarized abelian varieties (ppav). This is done by studying asymptotics of $\pmbΓ_{g} \sim Sp(2g,\mathbb{Z})$-automorphic forms averaged along unipotent flows, toward the codimension-one component of the boundary of the ppav moduli space. We prove a link between the error estimate and the Riemann hypothesis. Further, we prove $\pmbΓ_{g - r}$ modularity of the function obtained by iterating the unipotent average process $r$ times. This shows uniformization of modular integrals of automorphic functions via unipotent flows.

연구 동기 및 목표

• 종수 $g$의 주로 극화된 아벨 다양체의 모듈리 공간 ($\mathcal{A}_g$)에서 다차원 유니포텐트 흐름의 등분포를 확립하는 것.
• $\Gamma_g$-자기형 함수의 유니포텐트 평균화에 따른 $\mathcal{A}_g$의 codimension-one 경계로 향하는 渐近적 행동을 분석하는 것.
• 등분포 추정의 오차 항이 리만 제타 함수의 비자명한 영점들의 실부의 상한과 직접적으로 연결됨을 보여주는 것.
• 반복적인 유니포텐트 평균화가 $\Gamma_{g-r}$ 하에서 모ularity를 유지함을 증명함으로써, Zagier의 $SL(2,\mathbb{Z})$ 결과를 일반화하는 것.
• 유니포텐트 흐름 역학과 자기형 함수를 통한 모듈라 적분의 균일화를 통합하는 것.

제안 방법

• $Sp(2g,\mathbb{R})$의 Iwasawa 분해를 사용하여 시겔 상반평면 $\mathcal{H}_g$를 유니포텐트, 대각선, 직교 성분으로 매개변수화하는 것.
• 유니포텐트 평균화 하에서 자기형 함수의 $L^2$-노름과 스펙트럼 성질을 연구하기 위해 Rankin-Selberg 방법을 적용하는 것.
• $\tau_g$의 $(g-r)$-계수 블록 분해를 사용하여 $2g-1$개의 실수 매개변수 $(w_{11}, \underline{w}, \underline{u})$에 해당하는 유니포텐트 방향을 분리하는 것.
• Iwasawa 좌표에서 $\mathcal{H}_g$의 리만계량을 유도하고, 라플라스 연산자 $\Delta$를 결정하기 위해 역계량 성분 $G^{v_iv_i}$를 계산하는 것.
• 에이젠스타인 급수 $\boldsymbol{E}_{g,1}(\tau,s)$ 위에서 라플라스 연산자의 작용을 계산하여, 초함수 유형의 고유값 방정식을 만족함을 보여주는 것.
• $\Gamma_g$에 대한 라플라스 연산자의 불변성을 이용하여 고유값 결과를 전체 자기형 함수 공간으로 확장하는 것.

실험 결과

연구 질문

• RQ1 모듈리 공간 $\mathcal{A}_g$에서의 유니포텐트 흐름의 등분포에서 오차 항은 리만 가설과 어떻게 관련이 있는가?
• RQ2 유니포텐트 부분군에 대한 반복 평균화 과정에서 자기형 함수의 모듈라리티가 유지될 수 있는가?
• RQ3 Iwasawa 좌표에서 $\mathcal{H}_g$ 위의 라플라스 연산자의 스펙트럼 행동은 무엇이며, 자기형 $L$-함수와 어떻게 관련이 있는가?
• RQ4 Iwasawa 매개변수화는 유니포텐트 흐름과 그들의 등분포 분석을 어떻게 촉진하는가?
• RQ5 유니포텐트 평균화 과정은 동역학계를 통해 어느 정도까지 모듈라 적분의 균일화를 이끌어내는가?

주요 결과

• 유니포텐트 흐름의 등분포에서의 오차 추정은 리만 제타 함수의 비자명한 영점들의 실부의 상한인 $\Theta = \sup\{\Re(\rho) \mid \zeta^*(\rho) = 0\}$에 의해 제어된다.
• 자기형 함수 $f$의 유니포텐트 평균 $\langle f \rangle_{v_1}(\tau_{g-1})$ 는 $\Gamma_{g-1}$의 작용에 대해 불변이며, 이는 평균화된 함수의 $\Gamma_{g-1}$-모듈라리티를 증명한다.
• 라플라스 연산자 $\Delta$ 는 에이젠스타인 급수 $\boldsymbol{E}_{g,1}(\tau,s)$ 위에서 $\Delta \boldsymbol{E}_{g,1}(\tau,s) = 2^{\frac{g-1}{g+1}} s(g-s) \boldsymbol{E}_{g,1}(\tau,s)$ 를 만족함을 보여, 스펙트럼 고유값 방정식을 확립한다.
• Iwasawa 매개변수화와 $\mathcal{H}_g$ 위의 리만계량의 행렬식으로부터 유도된 계량 성분 $G^{v_iv_i} = 2^{\frac{g-1}{g+1}} v_i^2$.
• 이 방법은 $SL(2,\mathbb{Z})$에 대한 Zagier의 장수호로사이클 평균 결과를 고계수 심플렉틱 군과 고종수 모듈리 공간으로 일반화한다.
• 반복적인 유니포텐트 평균화 과정은 $\Gamma_{g-r}$-모듈라 함수를 차례로 도출하며, 동역학적 흐름을 통한 모듈라 적분의 균일화를 보여준다.