[논문 리뷰] Algebraic cycles on Hilbert modular fourfolds and poles of L-functions

Dinakar Ramakrishnan|ArXiv.org|2003. 10. 11.

Advanced Algebra and Geometry참고 문헌 34인용 수 13

한 줄 요약

이 논문은 힐버트 모듈러스 4차곡선에서 코디멘션 2의 대수적 사이클에 대한 테이트 추측에 강력한 증거를 제시한다. 이는 갈루아 표현과 관련된 L함수의 극의 존재와 대수적 사이클의 존재를 연결함으로써 이루어지며, 특히 K가 2차부분체를 갖는 4차 전체 실수체일 경우, L(s, Vₗ)의 s = 3에서의 극의 차수는 코디멘션-2 대수적 사이클의 비-CM 부분의 차원과 일치함을 증명함으로써, (2,4)-경우에 추측을 검증한다.

ABSTRACT

In this paper we give some evidence for the Tate (and Hodge) conjecture(s) for a class of Hilbert modular fourfolds X, whose connected components arise as arithmetic quotients of the fourfold product of the upper half plane by congruence subgroups Γof SL(2, O_K), where O_K denotes the ring of integers of a quartic, Galois, totally real number field K. The expected relationship to the orders of poles of the associated L-functions is verified for abelian extensions of \Q. Also shown is the existence of homologically non-trivial cycles of codimension two which are not intersections of divisors.

연구 동기 및 목표

• 힐버트 모듈러스 4차곡선에서 코디멘션-2 대수적 사이클에 대한 테이트 추측에 비자명한 증거를 제공하는 것.
• ℓ-아디크 갈루아 표현과 관련된 L함수의 극의 차수와 대수적 사이클의 공간의 차수 사이의 정확한 연결 고리를 설정하는 것.
• 비-CM 부분의 호모로지와 힐버트 모듈러스 형태의 아사이 L함수 간의 관계를 분석하는 것.
• 이전 연구 [Ra3]에서 아사이 표현과 L함수 항등식에 대한 부호 관례 오류를 수정하는 것.
• 이전의 아사이 전이 및 그의 함자성과 L함수 분해와의 호환성에 관한 결과들을 정밀화하고 수정하는 것.

제안 방법

• 힐버트 모듈러스 4차곡선의 Baily-Borel 및 토로이드적 컴actsification을 이용하여 수체 위에서의 호모로지와 대수적 사이클을 연구한다.
• 헤케 특성자와 힐버트 모듈러스 신형식 이론을 적용하여 갈루아 표현을 구성하고, 이를 L함수와 연관시킨다.
• GL(2)/K 위의 극대자기표현 π에 대한 아사이 L함수 L(s, As(π))를 분석하고, 이를 랭킨-셀버그 L함수 L(s, As(π) × As(π)∨)와 연결한다.
• 기저 변경 공식 As(π)ₖ ≅ π ⊠ (π∘θ)를 활용하여 아사이 표현의 구조와 그 자동형성의 성질을 연구한다.
• 맥키 이론과 유도 기계를 적용하여 갈루아 경우에서 아사이 표현을 분해하고, θ-불변일 경우의 가역성에 대해 유추한다.
• Langlands의 텐서 유도 프레임워크와 일치하기 위해, [Ra3]의 부호 관례 오류를 수정하기 위해 아사이 표현을 2차 특성자 δ로 휘두르는 방식을 사용한다.

실험 결과

연구 질문

• RQ1 힐버트 모듈러스 4차곡선에서 L(s, Vₗ)의 s = 3에서의 극의 차수는 비-CM 부분의 코디멘션-2 대수적 사이클의 차원과 일치하는가?
• RQ2 아사이 L함수 L(s, As(π))가 촘파크탈이 되는 조건은 무엇이며, 이는 π∘θ ≇ π⊗μ를 만족하는지와 어떻게 관련되는가?
• RQ3 아사이 표현의 정의에서 발생하는 부호 관례 오류는 [Ra3]의 L함수 항등식에 어떤 영향을 미치며, 어떤 수정이 필요한가?
• RQ4 힐버트 모듈러스 형태 π의 아사이 전이 Π는 함자성과 L함수 항등식 L(s, Π × η) = L(s, π; r ⊗ η)를 통해 어떻게 특징지을 수 있는가?
• RQ5 힐버트 모듈러스 4차곡선의 맥락에서 H⁴의 테이트 클래스와 L함수의 극 사이의 정확한 관계는 무엇인가?

주요 결과

• 힐버트 모듈러스 4차곡선의 ℓ-아디크 호모로지에 관련된 L함수 L(s, Vₗ)는 복소수 평면 C 위로 유리형 계속을 가지며, s = 3에서의 극의 차수는 dim ℤ²(Xₖ)′과 일치함을 보여, (2,4)-경우에 테이트 추측을 확인한다.
• M/K의 CM 확장에 대응하는 헤케 특성자 Ψ에 의해 연결된 힐버트 모듈러스 신형식 g_Ψ에 대해, 아사이 L함수 L(s, As(π))는 π∘θ가 어떤 이델 클레스 특성자 μ에 대해 π⊗μ와 동형이 아닐 때에만 촘파크탈이 된다.
• WK 위의 2차원 갈루아 표현 σ에 대한 아사이 표현 As(σ)는 M/K가 갈루아일 경우 가역적이며, 이는 L(s, As(σ) × As(σ)∨)에 이중극을 유도함으로써 As(π)가 촘파크탈이 아님을 시사한다.
• 이전 논문 [Ra3]의 부호 관례 오류 수정을 위해서는 아사이 표현을 2차 특성자 δ로 휘두르는 것이 필요하며, 따라서 핵심 공식에서 As(σ)는 As(σ)⊗δ로 대체되어야 한다.
• GL(4)/F 위의 아사이 전이 Π는 모든 이소바릭 자동형 표현 η에 대해 L(s, Π × η) = L(s, π; r ⊗ η)를 만족함을 보여, 그 함자성과 정확한 국소 성분을 확인한다.
• 국소 성분 Π_v는 함자성에 의해 관련된 GL(4, F_v)의 적절한 표현이며, 이는 글로벌 아사이 전이의 타당성을 검증한다.