[논문 리뷰] Integral Eisenstein cocycles on GLn, I : Sczech's cocycle and p-adic L-functions of totally real fields

Pierre Charollois, Samit Dasgupta|arXiv (Cornell University)|2012. 06. 14.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 8

한 줄 요약

이 논문은 소수 ℓ에서의 스무딩 연산을 통해 GLₙ(Q) 위에서 스체흐의 아이zen슈타인 코호몰로지 족을 정수론적 형태로 재구성하며, 전체 실수 체의 부분 zeta 함수가 음의 정수에서 정수성을 갖는다는 것을 증명하고, p-진 L-함수의 새로운 코호몰로지적 구성법을 제시한다. 또한 이 p-진 L-함수의 s=0에서의 영점의 차수는 기대되는 값 이상임을 입증하여, 그로스의 추측을 확인한다. 스피에스의 형식론을 활용한다.

ABSTRACT

We define an integral version of Sczech's Eisenstein cocycle on GLn by smoothing at a prime ell. As a result we obtain a new proof of the integrality of the values at nonpositive integers of the smoothed partial zeta functions associated to ray class extensions of totally real fields. We also obtain a new construction of the p-adic L-functions associated to these extensions. Our cohomological construction allows for a study of the leading term of these p-adic L-functions at s=0. We apply Spiess's formalism to prove that the order of vanishing at s=0 is at least equal to the expected one, as conjectured by Gross. This result was already known from Wiles' proof of the Iwasawa Main Conjecture.

연구 동기 및 목표

• 소수 ℓ에서의 스무딩 연산을 통해 GLₙ(Q) 위에서 스체흐의 아이젠슈타인 코호몰로지 족의 정수론적 보완을 제공한다.
• 전체 실수 체의 레이 클래스 확장과 관련된 부분 zeta 함수가 음의 정수에서 정수성을 갖는다는 것을 증명한다.
• 코호몰로지 방법을 통해 p-진 L-함수를 구성하고, s=0에서의 주요 항을 연구한다.
• 이 p-진 L-함수의 s=0에서의 영점 차수가 기대되는 값과 일치함을 입증하여, 그로스의 추측을 확인한다.

제안 방법

• 소수 ℓ에서 원래의 아이젠슈타인 코호몰로지 족 Ψ를 스무딩하여, 보다 우수한 정수론적 성질을 지닌 새로운 코호몰로지 족 Ψₗ을 얻는다.
• Ψₗ과 호모로지 클래스 사이의 코호몰로지 쌍형식을 이용해 zeta 함수의 특수값을 추출한다.
• 스피에스의 p-진 L-함수 형식론을 적용하여 s=0에서의 영점 차수를 분석한다.
• Cₚ^♭(Fₚ)이 ℂₚ[T]-모듈로 자유임을 입증함으로써, 코호몰로지 계산을 위한 스펙트럴 시퀀스의 응용을 가능하게 한다.
• 로그 항의 다항식 차수에 대한 귀납법을 사용하여, 특정 특성 함수가 코チェ인 복합체의 이상 I에 속해 있음을 보인다.
• 유도 모듈로의 구조와 하우치하우드–세르 스펙트럴 시퀀스를 활용하여 자유성 및 분해 성질을 도출한다.

실험 결과

연구 질문

• RQ1 스무딩된 아이젠슈타인 코호몰로지 족 Ψₗ은 전체 실수 체의 부분 zeta 함수가 음의 정수에서 정수 값을 갖는가?
• RQ2 이 정수론적 코호몰로지 족을 통해 전체 실수 체의 레이 클래스 확장에 관련된 p-진 L-함수를 코호몰로지적으로 구성할 수 있는가?
• RQ3 이 p-진 L-함수의 s=0에서의 영점 차수는 얼마이며, 이는 추측된 기대값과 일치하는가?
• RQ4 ℓ에서의 스무딩 연산은 원래 코호몰로지 족에 비해 정수론적 성질을 어떻게 향상시키는가?
• RQ5 이 코호몰로지적 구성은 그로스가 예측한 영점 차수의 최소성 증명에 충분한가?

주요 결과

• 스무딩된 zeta 함수 ζ_f,ₖ(𝔞,s)는 음의 정수 s에서 ℤ[1/ℓ] 값을 갖는다. 이는 스무딩 이후 정수성을 증명한다.
• 이 값을 보간하는 p-진 L-함수 ζ_f,ₖ,p(𝔞,s)는 스무딩된 코호몰로지 족 Ψₗ과의 코호몰로지 쌍형식을 통해 구성된다.
• p-진 L-함수의 s=0에서의 영점 차수는 기대되는 값 이상이며, 이는 그로스의 추측을 확인한다.
• 코체인 복합체 Cₚ^♭(Fₚ)는 자유 ℂₚ[T]-모듈로서, 하우치하우드–세르 스펙트럴 시퀀스가 E²에서 분해됨을 의미한다.
• 적절한 조건 하에, 복합체의 이상 I는 |n| ≤ k 및 |R| > |n| 조건을 만족하는 모든 다항식 ℓ(x)^n을 포함한다.
• 이 구성은 델리뉴–리베트 및 카수-누구에의 결과를 확장하며, zeta 함수 특수값의 정수성에 대한 새로운 증명을 제공한다.