[논문 리뷰] Cohomology of arithmetic families of (phi,Gamma)-modules

Kiran S. Kedlaya, Jonathan Pottharst외 1명|arXiv (Cornell University)|2012. 03. 26.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 13

한 줄 요약

이 논문은 $p$-진 해석적 공간 위의 산술적 가족에 대한 $(\varphi,\Gamma)$-코호몰로지와 아이와사와 코호몰로지의 유한성과 기저 변경 호환성을 확립한다. 점별로 정렬된 가족의 갈루아 표현이 큰 부분공간에서 삼각화 가능하다는 것을 증명하며, 콜레먼-마자르 고유곡선에서의 삼각화 행동을 완전히 기술한다. 이는 고전적 모듈라 형식에 대응하는 점들과 $\theta^{k-1}$-사상의 상에 있는 점들을 포함한다.

ABSTRACT

We prove the finiteness and compatibility with base change of the (phi,Gamma)-cohomology and the Iwasawa cohomology of arithmetic families of (phi,Gamma)-modules. Using this finiteness theorem, we show that a family of Galois representations that is densely pointwise refined in the sense of Mazur is actually trianguline as a family over a large subspace. In the case of the Coleman-Mazur eigencurve, we determine the behavior at all points.

연구 동기 및 목표

• 산술적 가족에 대한 $p$-진 해석적 공간 위의 $(\varphi,\Gamma)$-모듈의 $(\varphi,\Gamma)$-코호몰로지와 아이와사와 코호몰로지의 유한성과 기저 변경 호환성을 확립한다.
• 특히 콜레먼-마자르 고유곡선의 맥락에서 갈루아 표현의 가족에 대한 삼각화 이론을 확장한다.
• 초수렴성 모듈라 형식에 대응하는 점들, 특히 $\theta^{k-1}$-사상의 상에 있는 점들에서 삼각화의 행동을 해결한다.
• 상대 로바 띠 링과 완전 복합체를 사용하여 가족의 코호몰로지에 대한 유도 범주적 프레임워크를 제공한다.
• 상대적 맥락에서 $\psi$-연산자를 통해 $(\varphi,\Gamma)$-모듈과 아이와사와 이론 간의 구조적 연결을 명확히 한다.

제안 방법

• 특히 $\mathbf{D}_{\mathrm{perf}}^\flat$-범주를 다루기 위해 유도 범주와 유도 함자 체계를 사용하여 가족의 코호몰로지를 다룬다.
• 프로베누스 $\varphi$의 좌역인 $\psi$-연산자를 적용하여 가족의 아이와사와 코호몰로지를 정의하고 계산한다.
• 특수한 경우로의 분해 기법과 축소를 사용하여 $\mathbb{Q}_p$-아핀로드 대수 위에서 코호몰로지의 유한성 정리를 증명한다.
• 기울기 분해 이론과 약한 적합성 이론을 활용하여 고유다양체 위 특정 점에서의 삼각화 및 그 행동을 분석한다.
• 베르제르와 콜레즈의 결과를 적용하여 갈루아 표현에서 상대적 $(\varphi,\Gamma)$-모듈로의 함자를 가족 맥락에서 다룬다.
• 연속적 특성의 모듈리 공간과 특성 유형의 상대적 $(\varphi,\Gamma)$-모듈의 구성에 기반한 전역 삼각화 정리에 의존한다.

실험 결과

연구 질문

• RQ1 점별로 정렬된 갈루아 표현의 가족이 실제로 가족으로서 삼각화 가능해지는 조건은 무엇인가?
• RQ2 가장자리 $p$-진 가족의 $(\varphi,\Gamma)$-모듈 맥락에서 $\psi$-코호몰로지가 기저 변경에 대해 어떻게 행동하는가?
• RQ3 콜레먼-마자르 고유곡선에서 삼각화의 정확한 행동은 무엇인가? 특히 고전적 모듈라 형식에 대응하는 점들에 대해 말이다.
• RQ4 전역 삼각화가 어떤 점에서 포화되지 않을 때, 그 포화의 지수는 무엇인가?
• RQ5 $\theta^{k-1}$-사상이 정수 계수 $k \geq 2$를 가진 점들에서 삼각화의 존재성과 구조에 어떤 영향을 미치는가?

주요 결과

• 갈루아 코호몰로지 복합체 $\mathrm{C}_{\varphi,\gamma_K}^\bullet(M)$ 과 아이와사와 코호몰로지 복합체 $\mathrm{C}_\psi^\bullet(M)$ 는 유사형이며, 각각 $\mathbf{D}_{\mathrm{perf}}^\flat(A)$ 와 $\mathbf{D}_{\mathrm{perf}}^\flat(\mathcal{R}_A^\infty(\Gamma_K))$ 에 속한다.
• 기저 변경 호환성이 성립한다: 자연적 사상 $\mathrm{C}_{\varphi,\gamma_K}^\bullet(M) \otimes_A^\mathbf{L} B \to \mathrm{C}_{\varphi,\gamma_K}^\bullet(M \widehat{\otimes}_A B)$ 와 $\mathrm{C}_\psi^\bullet(M) \otimes_{\mathcal{R}_A^\infty}^\mathbf{L} \mathcal{R}_B^\infty \to \mathrm{C}_\psi^\bullet(M \widehat{\otimes}_A B)$ 는 유도 범주에서 동형이다.
• 밀도적으로 점별로 정렬된 갈루아 표현의 가족은 매개변수 공간의 큰 부분공간에서 삼각화 가능하다.
• desingularized 고유곡선 $X'$ 에서 전역 삼각화가 존재하며, 비고전적 또는 비정수 계수 형식에 대응하는 점들에서 포화된다.
• 정수 계수 $k \geq 2$ 인 초수렴성 모듈라 형식에 대응하는 점 $z$ 가 $\theta^{k-1}$-사상의 상에 있다면, 삼각화는 포화에서 $t^{k-1}$ 의 차수를 가진 부분모듈로 확장된다.
• 만약 $z$ 가 $\theta^{k-1}$ 의 상에 있다면, $k_{z,\mathrm{id}} = k-1$ 이고, $U_p$-고유값은 $\operatorname{ord}_p \alpha_z = k-1$ 를 만족한다. 이는 비분할성과 모순되며, 유일하게 $k_{z,\mathrm{id}} = 0$ 일 때만 해소된다; 이 모순은 $k_{z,\mathrm{id}} = k-1$ 이어야 한다는 것을 암시한다.