[논문 리뷰] On Families of (Phi,Gamma)-modules

Kiran S. Kedlaya, Ruochuan Liu|arXiv (Cornell University)|2008. 11. 29.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 4

한 줄 요약

이 논문은 아핀이드 바나흐 대수 위에서 $p$-진 갈루아 표현과 오버컨버젠티드 에탈레 $(\varphi,\Gamma)$-모듈의 국소적 동치를 확립하며, 전반적 이론에서의 핵심 장애 요소를 제거한다. 이는 이러한 모듈이 국소적으로 표현으로 올라갈 수 있음을 보여준다. 주요 결과는 라지 애날리틱 기반 위에서 에탈레 $(\varphi,\Gamma)$-모듈이 임의의 라지 애날리틱 점 주변에서 갈루아 표현이 되며, 이는 동형 사상에 대해 유일한 올림으로서 성립한다.

ABSTRACT

Berger and Colmez introduced a theory of families of overconvergent étale (Phi,Gamma)-modules associated to families of p-adic Galois representations over p-adic Banach algebras. However, in contrast with the classical theory of (Phi,Gamma)-modules, the functor they obtain is not an equivalence of categories. In this paper, we prove that when the base is an affinoid space, every family of (overconvergent) étale (Phi,Gamma)-modules can locally be converted into a family of p-adic representations in a unique manner, providing the "local" equivalence. There is a global mod p obstruction related to the moduli of residual representations.

연구 동기 및 목표

• 일반적인 $p$-진 바나흐 대수 위에서 $(\varphi,\Gamma)$-모듈의 가족에 대해 베르거–콜름스 함수자가 동치가 되지 않는다는 실패를 다루기 위해.
• 라지 애날리틱 기하학의 맥락에서 갈루아 표현에서 $(\varphi,\Gamma)$-모듈로 가는 함수자의 국소적 역함수를 확립하기 위해.
• 모 $p$ 잔여 표현이 $(\varphi,\Gamma)$-모듈을 갈루아 표현으로 올리는 데 있어 전반적 장애 요소로서의 역할을 명확히 하기 위해.
• 비국소적 일관성의 기울기 다각형을 고려하여 콜무즈의 유한차원 벡터 공간 이론과 케들레야의 기울기 필터링 이론을 가족 설정으로 확장하기 위해.
• 아핀이드 기반 위에서 필터링된 $(\phi,N)$-모듈의 가족으로 포인트-콜름스 정리를 일반화하기 위한 프레임워크를 제공하기 위해.

제안 방법

• 아핀이드 $S$에 대해 $\mathbf{B}^{\dagger}_{\mathrm{rig},K}\widehat{\otimes}_{{\mathbb{Q}}_p} S$ 위에서 $(\varphi,\Gamma)$-모듈의 가족을 정의하기 위해 $p$-진 바나흐 대수 이론과 라지 애날리틱 기하학을 사용하기 위해.
• 일부 $\mathcal{R}$-환 위에서 표현의 국소 자유성에 관한 루트케보함베르트의 결과를 적용하여 국소 기저의 존재를 보장하기 위해.
• 모듈 $\mathfrak{m}_x$ 모듈로의 환원을 올리는 변화기저 행렬 $V$를 구성한 후, 레마 7.1을 사용한 변형 논증을 통해 $D$가 가역이 되도록 하기 위해.
• 레마 7.3을 사용하여 새로운 기저를 $U$ 행렬을 통해 생성하며, 새로운 프로베니우스 행렬의 원소들이 $p\mathcal{O}_S\widehat{\otimes}\mathcal{R}^{\mathrm{int},s}$에 속하고 양의 기울기를 가지도록 하기 위해.
• 변환을 반복 적용하여 기저를 더 큰 환으로 확장함으로써, $S\widehat{\otimes}\mathcal{R}^{[s,ps]}_{K'_0}$ 위에서 에탈레 모델의 존재를 증명하기 위해.
• 잔여체 $L = S/\mathfrak{m}_x$로의 기저 변경 후, $\mathrm{Gal}(L/{\mathbb{Q}}_p)$의 갈루아 수축을 사용하여 올림을 원래 기저 $S$로 되돌리기 위해.

실험 결과

연구 질문

• RQ1 아핀이드 기반 위에서 오버컨버젠티드 에탈레 $(\varphi,\Gamma)$-모듈의 가정이 국소적으로 $p$-진 갈루아 표현의 가정으로 올라갈 수 있는가?
• RQ2 이러한 가정을 전반적으로 올리는 데 있어 전반적 장애 요소의 성격은 무엇이며, 이는 표현의 모 $p$ 환원과 어떻게 관련되어 있는가?
• RQ3 모든 $p$-진 체 위에서 유한차원 벡터 공간 이론을 가정으로 확장하여 $(\varphi,\Gamma)$-모듈에서 갈루아 표현을 복원할 수 있는가?
• RQ4 가정의 에탈레 영역이 베르키비치 애날리틱 공간에서 열린 부분집합과 일치하는가? 그렇지 않다면 그 이유는 무엇인가?
• RQ5 포인트-콜름스 정리는 아핀이드 기반 위에서 약하게 적합한 필터링된 $(\phi,N)$-모듈의 가정으로 일반화될 수 있는가?

주요 결과

• 모든 $\mathbb{Q}_p$ 위의 아핀이드 대수 $S$에 대해, $\mathbf{B}^{\dagger}_{\mathrm{rig},K}\widehat{\otimes}_{{\mathbb{Q}}_p} S$ 위에서 $(\varphi,\Gamma)$-모듈의 가정이 라지 애날리틱 점 $x$에서 에탈레이면, $x$의 아핀이드 이웃 $M(B)$가 존재하여, $B$ 위로 제한된 모듈이 고유한 $B$-선형 갈루아 표현으로부터 유래됨을 보여준다.
• 전반적 올림의 장애 요소는 모 $p$ 잔여 수준에 완전히 귀속되며, 체네비에의 예시에서 보듯이 모 $p$ 표현이 일관되게 자명화될 수 없음으로써 이를 입증한다.
• 기울기 제어와 가역 행렬을 사용한 변형 이론적 논증을 통해 국소적 올림이 달성되며, 기저를 바꾼 후 프로베니우스 작용이 에탈레가 되도록 보장한다.
• 기저를 좁혀서 변형 매개변수 $D$를 가역적으로 만들고 오차 항 $W$의 $p$-진 값이 양이 되도록 하여 반복적 정밀화를 가능하게 한다.
• 결과는 약하게 적합한 필터링된 $(\phi,N)$-모듈의 가정으로까지 확장되며, 이는 국소적으로 포인트-콜름스 정리의 가정 버전이 성립함을 시사한다.
• 이론은 베르키비치 점으로까지 확장되지 않으며, 에탈레 영역이 베르키비치 공간에서 열린 집합이 아니라는 반례로 이를 보여주며, 이 맥락에서 라지 애날리틱 기하학과 베르키비치 애날리틱 기하학 사이의 근본적 차이를 드러낸다.