[논문 리뷰] Notes on the arithmetic of Hilbert modular forms

A. Raghuram, Naomi Tanabe|arXiv (Cornell University)|2011. 02. 09.

Advanced Algebra and Geometry참고 문헌 37인용 수 32

한 줄 요약

이 논문은 정칙 대수적 귀납적 자동형 타원곡선 표현의 주기 관계를 사용하여, 정수형 힐버트 모듈라 형식에 부착된 표준 L함수의 임계값에 관한 쌀라의 정리를 새로운 방식으로 증명한다. 중심 임계값을 적절한 거듭제곱의 $2\pi i$와 주기로 나눈 값이 표현의 유리성 체에 속하며, 자동형 타원곡선 갈루아 동치성도 성립함을 보이며, 전체 실수 체 위에서 $\mathrm{GL}_2$ 자동형 표현과 힐버트 모듈라 형식 사이의 정확한 사전을 통해 고전적 주기 $u(r,\mathbf{f})$와 코homological 주기 $p^\epsilon(\Pi)$를 연결한다.

ABSTRACT

The purpose of this semi-expository article is to give another proof of a classical theorem of Shimura on the critical values of the standard L-function attached to a Hilbert modular form. Our proof is along the lines of previous work of Harder and Hida (independently). What is different is an organizational principle based on the period relations proved by Raghuram and Shahidi for periods attached to regular algebraic cuspidal automorphic representations. The point of view taken in this article is that one need only prove an algebraicity theorem for the most interesting L-value, namely, the central critical value of the L-function of a sufficiently general type of a cuspidal automorphic representation. The period relations mentioned above then gives us a result for all critical values. To transcribe such a result into a more classical context we also discuss the arithmetic properties of the dictionary between holomorphic Hilbert modular forms and automorphic representations of GL(2) over a totally real number field F.

연구 동기 및 목표

• 힐버트 모듈라 형식에 대한 표준 L함수의 임계값에 관한 쌀라의 정리를 코homological 기반의 대체 증명을 제공하는 것.
• 정칙 대수적 귀납적 자동형 타원곡선 표현의 맥락에서 주기 관계를 통해 중심 임계값의 갈루아 동치성을 확립하는 것.
• 좁은 클래스수가 1이 아니어도 성립하는, 정수형 힐버트 모듈라 형식과 전체 실수 체 위의 $\mathrm{GL}_2$ 자동형 표현 사이의 자치적이고 산술적으로 호환되는 사전을 구성하는 것.
• 고전적 주기 $u(r,\mathbf{f})$와 코homological 주기 $p^\epsilon(\Pi)$ 사이의 관계를 명확히 하여, 갈루아 작용과 휘어짐에 대해 호환됨을 보이는 것.

제안 방법

• 라그루람-샤히디의 주기 관계를 활용하여 코homological 주기 $p^\epsilon(\Pi)$를 $L$-값의 갈루아 쌍대체와 연결하는 것.
• 임의의 전체 실수 체 $F$에 대해 유효한 정수형 힐버트 모듈라 형식과 $\mathrm{GL}_2(\mathbb{A}_F)$의 정칙 대수적 귀납적 자동형 타원곡선 표현 사이의 사전을 적용하는 것.
• $\Pi_f$의 윌리엄슨 모델과 코homological 실현에 대한 유리수 구조를 구성하여 주기 $p^\epsilon(\Pi)$를 정의하는 것.
• 갈루아 동치성 확립: $\sigma\left(\frac{L_f(1/2,\Pi)}{(2\pi i)^{d_\infty} p^{(+,\dots,+)}(\Pi)}\right) = \frac{L_f(1/2,{}^\sigma\Pi)}{(2\pi i)^{d_\infty} p^{(+,\dots,+)}({}^\sigma\Pi)}$.
• 짝수 무게 조건 하에서 $p^{++}(\Pi(\mathbf{f})) \sim (2\pi i)^{\sum_j (k_0 - k_j)/2} u(++, \mathbf{f})$의 관계 유도로 고전적 주기와 코homological 주기를 연결하는 것.
• 알고리즘적 헤크 캐릭터로의 휘어짐을 통해 주기 관계를 홀수 무게와 모든 서명 $\epsilon \in (\mathbb{Z}/2\mathbb{Z})^n$로 확장하는 것.

실험 결과

연구 질문

• RQ1 힐버트 모듈라 형식에 대한 $L$-함수의 임계값에 관한 쌀라의 정리를 코homological 자동형 주기와 갈루아 동치성을 이용해 어떻게 재증명할 수 있는가?
• RQ2 고전적 주기 $u(r,\mathbf{f})$와 자동형 표현에 부착된 코homological 주기 $p^\epsilon(\Pi)$ 사이의 정확한 관계는 무엇인가?
• RQ3 전체 실수 체 위의 힐버트 모듈라 형식과 $\mathrm{GL}_2$ 자동형 표현 사이의 사전은 $\mathrm{Aut}(\mathbb{C})$ 작용과 호환되는가?
• RQ4 알고리즘적 헤크 캐릭터로의 휘어짐에 따라 주기는 어떻게 변하는가? 이는 휘어진 $L$-함수의 임계값과 어떻게 관련되는가?
• RQ5 중심 임계값 $L_f(1/2, \Pi)$의 산술적 의미는 어떤가? 특히 유리성 체와 주기의 관점에서 설명할 수 있는가?

주요 결과

• 중심 임계값 $L_f(1/2, \Pi)$을 $(2\pi i)^{d_\infty} p^{(+,\dots,+)}(\Pi)$로 나눈 값은 갈루아 작용 $\sigma \in \mathrm{Aut}(\mathbb{C})$에 대해 항상 유리성 체 $\mathbb{Q}(\Pi)$에 속한다.
• 코homological 주기 $p^{++}(\Pi(\mathbf{f}))$는 고전적 주기 $u(++, \mathbf{f})$와 $p^{++}(\Pi(\mathbf{f})) \sim (2\pi i)^{\sum_j (k_0 - k_j)/2} u(++, \mathbf{f})$의 관계로 연결되며, $\sim$는 $\mathbb{Q}(\mathbf{f})^*$의 원소 곱으로 정의된다.
• 힐버트 모듈라 형식 $\mathbf{f}$의 유리성 체 $\mathbb{Q}(\mathbf{f})$는 관련된 자동형 표현 $\Pi(\mathbf{f})$의 유리성 체 $\mathbb{Q}(\Pi(\mathbf{f}))$와 일치한다.
• 모든 $\epsilon \in (\mathbb{Z}/2\mathbb{Z})^n$에 대해 주기 $p^\epsilon(\Pi)$는 헤크 캐릭터로의 휘어짐 하에서 $u(\epsilon, \mathbf{f})$와 유사한 갈루아 동치성 성질을 만족한다.
• 주기 관계는 홀수 무게로도 휘어짐을 통해 확장되며, 짝수 무게의 경우와 동일한 형식적 구조를 유지한다.
• 전체 실수 체 위의 힐버트 모듈라 형식과 $\mathrm{GL}_2$ 자동형 표현 사이의 사전은 $F$의 좁은 클래스수가 1이 아니어도 $\mathrm{Aut}(\mathbb{C})$-동치성과 호환된다.