[논문 리뷰] Le système d'Euler de Kato en famille (I)

Shanwen Wang|arXiv (Cornell University)|2012. 11. 18.

Advanced Algebra and Geometry참고 문헌 9인용 수 3

한 줄 요약

이 논문은 $p$-진 무게 공간 $ω$ 위에서 고전적 대상들을 보간하는 Kato의 오일러 체계와 명시적 상호작용 법칙의 가족을 구성한다. $p$-진 모듈러 형식과 분포를 이용하여 Kato 지수 함수의 $p$-진 보간을 수립함으로써, $p$-진 모듈러 형식과 아이ゼ인슈타인 분포를 통한 $p$-진 가족 버전의 명시적 상호작용 법칙을 증명한다.

ABSTRACT

This article is the first article of a serie of articles on the generalization of Kato's Euler system. The main subject of this article is to construct a family of Kato's Euler systems and a family of Kato's explicit reciprocity laws over the weight space, which interpolate the corresponding classical objects.

연구 동기 및 목표

• 무게 공간 $\mathscr{W}$ 위에서 Kato의 오일러 체계를 $p$-진 가족으로 일반화하여, 고전적 구성들을 $p$-진 해석적 환경으로 확장한다.
• 비판적 $p$-진 $L$-값에 대해 고전적 Kato 상호작용 법칙을 보간하는 $\mathscr{W}$ 위의 명시적 상호작용 법칙의 가족을 구성한다.
• 모듈러 형식과 분포의 $p$-진 가족을 통해 Kato 지수 함수의 $p$-진 보간을 수립한다.
• 아이제인슈타인-크로네커 분포의 $p$-진 가족을 정의하고 연구하며, 이를 명시적 상호작용 법칙의 가족과 연결한다.
• 후속 논문에서 $p$-진 $L$-함수와 아이와사와 이론을 다루는 데 기초가 되는 프레임워크를 제공한다.

제안 방법

• 유니버설 $p$-진 특성과 강한 해석 기하학을 이용하여 무게 공간 $\mathscr{W}$ 위에서 바나흐 표현의 $p$-진 가족을 구성한다.
• 고전적 아이제인슈타인 급수의 $p$-진 보간을 통해 $p$-진 가족의 아이제인슈타인-크로네커 분포 $z_{\mathbf{Eis},c,d}(\kappa^{\mathbf{univ}},j)$를 도입한다.
• 유니버설 특성 $\kappa^{\mathbf{univ}}$와 $p$-진 제타 함수를 이용하여 $p$-진 $L$-함수를 정의하고, 분포 $z_{\mathbf{Eis},c,d}$와 연결한다.
• 표현 $\mathbf{D}_{1,j,\mathscr{W}}$의 구조를 이용하여 오일러 체계의 가족에 대해 쌍대 지수 함수 $\exp^*_{\mathbf{Kato},\nu}$를 적용한다.
• 오일러 체계의 가족을 이용하여 갈루아 군 위에 2-코호몰로지 군을 수립하고, 리 대수 코호몰로지로 이동하여 상호작용 법칙을 도출한다.
• 애미즈 변환과 $p$-진 적분을 사용하여 $p$-진 $L$-값과 상호작용 법칙의 항들, 특히 모듈러 형식의 상수항을 비교한다.

실험 결과

연구 질문

• RQ1 Kato의 오일러 체계는 어떻게 무게 공간 $\mathscr{W}$ 위에서 $p$-진 가족으로 확장될 수 있으며, 고전적 점들에서 고전적 체계를 보간할 수 있는가?
• RQ2 비판적 $p$-진 $L$-값에 대해 고전적 Kato 상호작용 법칙을 보간하는 $p$-진 가족의 명시적 상호작용 법칙을 구성할 수 있는가?
• RQ3 아이제인슈타인-크로네커 분포의 역할은 가족에서 상호작용 법칙의 보간을 실현하는 데 어떤가?
• RQ4 쌍대 지수 함수 $\exp^*_{\mathbf{Kato},\nu}$는 $p$-진 가족 설정에서 어떻게 행동하며, 오일러 체계와 어떤 관계가 있는가?
• RQ5 $p$-진 모듈러 형식의 상수항은 어떻게 유니버설 분포의 $p$-진 적분으로 해석될 수 있으며, 이는 상호작용 법칙으로 이어지는가?

주요 결과

• 논문은 유니버설 특성 $\kappa^{\mathbf{univ}}$를 매개변수로 사용하는 무게 공간 $\mathscr{W}$ 위에서 Kato의 오일러 체계의 $p$-진 가족을 구성하며, 고전적 무게에서 고전적 체계를 보간한다.
• 무게 공간 $\mathscr{W}$ 위에서 명시적 상호작용 법칙의 가족이 수립되었으며, 고전적 Kato 상호작용 법칙을 $p$-진 가족 설정으로 일반화한다.
• 표현 $\mathbf{D}_{1,j,\mathscr{W}}$의 가족을 위한 쌍대 지수 함수 $\exp^*_{\mathbf{Kato},\nu}$가 구성되었으며, 이는 상호작용 법칙의 보간을 가능하게 한다.
• 오일러 체계와 관련된 $p$-진 모듈러 형식의 상수항이 애미즈 변환을 통해 유니버설 아이제인슈타인 분포의 $p$-진 적분과 동일하다고 밝혀졌다.
• 핵심 항등식 $\exp^*_{\mathbf{Kato},\nu}(z_{M,A}) = \frac{1}{(j-1)!}M^{-2j}\operatorname{ord}(\alpha/M)^{j-1}\kappa^{\mathbf{univ}}(M/\operatorname{ord}(\alpha/M))F_{c,\alpha/M,\beta/M}(\kappa^{\mathbf{univ}},j)E^{(j)}_{d,\gamma/M,\delta/M}$ 가 증명되었으며, 이는 가족 내에서 상호작용 법칙을 확인한다.
• 특수값의 $L$-함수를 보간하기 위해 $p$-진 적분과 $p$-진 제타 함수를 사용하여, 상호작용 법칙을 통해 오일러 체계와 연결된 $L$-함수의 특수값을 유도한다.