[논문 리뷰] Harish-Chandra Modules over $\Bbb Z$

Günter Harder|arXiv (Cornell University)|2014. 07. 02.

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

한 줄 요약

이 논문은 GL₂(ℝ)의 이산 계열 표현에 대한 정수 ℤ 위에서의 하리슈-찬드라 모듈을 도입하고, 그들의 코homology를 연구한다. 이는 유리수 배수의 π의 거듭제곱을 유도하는 유도 모듈 간의 상호연결 연산자가 존재함을 증명하며, 산술기하학에서 코homological 주기의 정수성에 대한 유리수 성질을 지지한다.

ABSTRACT

In this note we discuss the concept of Harish-Chandra modules over the integers. The main result is a rationality result for certain intertwining operator which is used in a joint paper with Raghuram. We also discuss an interesting question concerning the arithmetic properties of this intertwining operator.

연구 동기 및 목표

• 실수 재구성 리 군에 대한 정수 ℤ 위에서의 하리슈-찬드라 모듈을 정의하고 구성하기.
• 특히 이산 계열 표현의 맥락에서, 이러한 모듈의 코homology를 유한 생성 ℤ-모듈로 연구하기.
• ℚ(s) 위에서 유도된 모듈 간의 상호연결 연산자를 분석하여, 그것이 Γ(s)R(s) 형태로 표현되며 R(s) ∈ ℚ(s)임을 보여주기.
• 상호연결 연산자가 코homology에 유도하는 동형사상이 ℚ가 아닌 ℤ 위에서 정의되는지 조사하기.
• 주기의 유리수 성질이 L-함수와 아이zer스타인 클래스의 산술적 성질과 어떻게 연결되는지 탐구하기.

제안 방법

• Lie 대수 𝔤_ℤ와 최대 컴act 부분군 스킴 𝒦/ℤ의 작용이 일치하는 ℤ-모듈로서 하리슈-찬드라 모듈을 정의하기.
• ℚ(s) 위에서의 국소화와 트위스팅을 이용해 Bernstein-Gelfand 함자 𝔻_λ^ε의 정수형 버전을 구성하기.
• H^•(𝔤_ℤ, 𝒦, 𝔻_λ^ε ⊗ ℳ_λ,ℤ[𝑖,1/2])의 코homology 군을 유한 생성 ℤ-모듈로 계산하기.
• ℚ(s) 위에서 적분 변환을 통한 상호연결 연산자를 정의하고, 그것이 R(s) ∈ ℚ(s)인 Γ(s)R(s) 형태로 표현됨을 보여주기.
• 상호연결 연산자를 s=0에서 평가하여, 그것이 π의 거듭제곱의 비영의 유리수 배수임을 증명하기.
• 갈루아 불변성과 국소적 평탄화를 이용해 대수적 주기 Ω_i(π_f,ι,ε)를 정의하고, 그것들을 코homological L-값과 연결하기.

실험 결과

연구 질문

• RQ1 GL₂(ℝ)의 이산 계열 표현은 정수 ℤ 위에서 정수적 구조로 표현될 수 있는가?
• RQ2 ℤ 위에서의 하리슈-찬드라 모듈의 코homology 군은 유한 생성 ℤ-모듈인가?
• RQ3 유도된 하리슈-찬드라 모듈 간의 상호연결 연산자가 s=0에서 평가될 때, 그것이 π의 거듭제곱의 유리수 배수를 유도하는가?
• RQ4 상호연결 연산자가 코homology에 유도하는 동형사상은 ℚ가 아닌 ℤ 위에서 정의되는가?
• RQ5 주기 Ω_i(π_f,ι,ε)의 소인수는 아이제스타인 클래스와 L-값의 분모와 어떻게 관련되는가?

주요 결과

• GL₂에 대한 ℤ-정수 이산 계열 모듈의 코homology는 최상위 차수에서 계수 1인 자유 ℤ-모듈이다.
• 유도 모듈 간의 상호연결 연산자는 R(s) ∈ ℚ(s)인 Γ(s)R(s) 형태이며, s=0에서의 값은 π의 거듭제곱의 비영의 유리수 배수이다.
• 상호연결 연산자가 코homology에 유도하는 동형사상은 ℤ 위에서 정의되며, 산술 코hom로의 주기의 정수성에 대한 지지를 제공한다.
• 주기 Ω_i(π_f,ι,ε)는 계수 체의 정수환 내 단위에 대해 잘 정의되며, 그 비율은 정수환의 단위군에 속한다.
• L-값 비율 L^coh(ι,σ×σ′^v, m₀)/L^coh(ι,σ×σ′^v, 1+m₀)의 유리수 성질은 정밀 주기 정의를 통해 유지되며, 이제는 산술적 의미를 갖는다.
• 주기의 소 아이디얼로의 분해는 아이제스타인 클래스의 분모를 반영할 수 있으나, 이는 μ̃의 인자 c_∞(μ̃)에 의해 가려질 수 있다.