[논문 리뷰] On the Gross-Stark Conjecture

Samit Dasgupta, Mahesh Kakde외 1명|arXiv (Cornell University)|2016. 05. 26.

Advanced Algebra and Geometry참고 문헌 11인용 수 5

한 줄 요약

이 논문은 전체 짝수 성질을 가진 전체 실수 체 위의 특성에 대해 Deligne–Ribet p-진 L함수의 s=0에서의 주항항에 대한 Gross의 추측을 증명한다. 호모로지 방법, Hida 가닥, 그리고 Galois 호모로지 클래스를 통한 p-진 조정자 계산을 이용하여, 해석적 주항항이 특성에 의해 잘라낸 사슬체에서 단위의 p-진 조정자와 일치함을 입증한다. 이는 Iwasawa 이론과 p-진 L함수 분야에서 오랫동안 남아있던 추측을 해결한다.

ABSTRACT

In 1980, Gross conjectured a formula for the expected leading term at $s=0$ of the Deligne--Ribet $p$-adic $L$-function associated to a totally even character $ψ$ of a totally real field $F$. The conjecture states that after scaling by $L(ψω^{-1}, 0)$, this value is equal to a $p$-adic regulator of units in the abelian extension of $F$ cut out by $ψω^{-1}$. In this paper, we prove Gross's conjecture.

연구 동기 및 목표

• 전체 실수 체 위의 전체 짝수 성질을 가진 특성에 대해 Deligne–Ribet p-진 L함수의 s=0에서의 주항항에 대한 Gross의 1980년 추측을 증명한다.
• p-진 L함수의 주항항과 아벨 확장에서의 단위의 p-진 조정자 간의 정확한 p-진 유사체를 설정한다.
• Hida 가닥으로부터 유도된 호모로지 클래스를 구성하고 분석하여 Iwasawa 이론의 핵심 미해결 문제를 해결한다.
• 특성과 그 역의 해석적 계수가 다를 수 있는 미묘한 경우까지 포함하여 모든 경우를 완성하기 위해 새로운 c-코호모로지 생성법을 도입한다.

제안 방법

• Hida 가닥과 p-진 모듈러 형식을 이용하여, 특히 Hida Hecke 대수의 쌓인 형식 위에서의 작용을 통해 Galois 호모로지에서 클래스를 구성한다.
• Hecke 대수에서 완비화된 군환으로의 호모모르피즘 φ를 정의하여, 호모로지 클래스와 p-진 L함수 간의 관계를 설정한다.
• 단위군의 마이너스 부분과 Galois 모듈러 구조를 이용하여, 호모로지 클래스와 단위군 간의 호모로지 수직성 원리를 적용한다.
• p-진 로그 함수와 p-단위에 대한 값매기기 함수를 사용하여 p-진 조정자를 정의하고, 행렬식 계산을 통해 이를 p-진 L함수의 주항항과 연결한다.
• p를 나누는 소수들에서의 호모로지 클래스의 국소적 행동을 분석하며, 특성이 p에서 비분할되었는지 또는 분할되었는지에 따라 경우를 구분한다.
• 쌍대성 원리와 Hecke 대수 내의 합동식을 이용하여, 조정자 사상의 행렬식이 해석적 주항항과 일치함을 보이며, 이는 χ와 χ⁻¹의 해석적 계수가 다를 경우에도 성립한다.

실험 결과

연구 질문

• RQ1 Gross의 추측에 따르면, s=0에서의 Deligne–Ribet p-진 L함수의 주항항은 ψω⁻¹에 의해 잘라낸 아벨 확장에서의 단위의 p-진 조정자와 일치하는가?
• RQ2 Hida 가닥과 Galois 호모로지 클래스를 포함한 호모로지 방법을 통해 p-진 조정자를 계산할 수 있는가?
• RQ3 특성 χ와 χ⁻¹의 해석적 계수가 다를 경우, 특히 r_an(χ) > r_an(χ⁻¹)일 경우 추측은 어떻게 행동하는가?
• RQ4 모든 경우, 즉 p 위의 분할 및 비분할 소수를 포함하여, 조정자와 해석적 L함수 값 간의 호모로지 구성이 통합 가능한가?
• RQ5 논문 [8]의 정리 4.4의 증명에서 누락된 경우를 b-코호모로지 대신 c-코호모로지로 메울 수 있는가?

주요 결과

• 논문은 Gross의 추측을 완전히 증명한다: 전체 실수 체 F 위의 모든 전체 짝수 특성 χ에 대해, p-진 L함수 L_p(χω, s)의 s=0에서의 주항항은 p-진 조정자 R_p(χ)와 일치한다.
• r_an(χ) ≠ r_an(χ⁻¹)인 모든 경우에도, L_an(χ⁻¹) = R_p(χ⁻¹)의 등식이 성립함을 입증하여 이전 연구의 격차를 메운다.
• 특성 χ⁻¹의 해석적 계수가 χ의 것보다 낮을 경우를 다루기 위해 Hida 가닥에서 유도된 Galois 호모로지 클래스를 구성하고, c-코호모로지를 사용한다.
• 호모로지 클래스를 통해 계산된 조정자 사상의 행렬식은 Hecke 대수의 단위를 제외하고는 해석적 주항항과 정확히 일치하며, 이는 추측의 정당성을 확인한다.
• 비순환적 경우에도 p-진 조정자는 단위군이 p-진 로그 함수와 값매기기 함수에 의해 이미지로 표현되는 것을 보여준다.
• 이 결과는 p=2를 포함한 모든 소수 p에 대해 성립하며, 이는 이전의 해석적 증명 범위를 초월하여 추측의 타당성을 확장한다.