[논문 리뷰] On arithmetic families of filtered phi-modules and crystalline representations

Eugen Hellmann|arXiv (Cornell University)|2010. 10. 21.

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

한 줄 요약

이 논문은 아디크 공간 위의 필터링된 $\varphi$-모듈의 산술적 가속가에 대한 약한 적합성 영역이 열린 부분스택임을 증명하며, 고전적 $p$-진 호지 이론을 가속가로 일반화한다. 패파스와 라포포르의 추측을 확인하기 위해 정수 $p$-진 호지 이론 자료에서 필터링된 $\varphi$-모듈 스택으로의 주기 사상의 상을 규명하고, 이 열린 부분스택 위에 일반적인 가속가의 크리스탈린 표현을 구성한다.

ABSTRACT

We consider stacks of filtered phi-modules over rigid analytic spaces and adic spaces. We show that these modules parametrize p-adic Galois representations of the absolute Galois group of a p-adic field with varying coefficients over an open substack containing all classical points. Further we study a period morphism (defined by Pappas and Rapoport) from a stack parametrizing integral data and determine the image of this morphism.

연구 동기 및 목표

• 아디크 공간 위의 필터링된 $\varphi$-모듈의 산술적 가속가를 정의하고 연구하여 라포포르-지크의 기하적 설정을 일반화한다.
• 프로베누스와 필터링이 모두 변하는 산술적 맥락에서의 약한 적합성 개념을 도입한다.
• 아디크 공간 위의 필터링된 $\varphi$-모듈 스택 내에서 약한 적합성 영역이 열린 부분스택임을 증명한다.
• 패파스와 라포포르가 정의한 정수 $p$-진 호지 자료에서 필터링된 $\varphi$-모듈 스택으로의 주기 사상의 상을 규명한다.
• 약한 적합성 영역 위에 크리스탈린 표현의 일반적인 가속가를 구성하여, 이 가속가가 모든 그러한 가속가를 유일하게 매개함을 보여준다.

제안 방법

• 반사체 $E$ 위에서 유한 유형인 아디크 공간의 범주에서 작업하며, 에탈 레이어에서의 병리 현상을 피하기 위해 라이드 애널리틱 공간을 대체한다.
• 계수체 $K_0$를 갖는 $K$-필터링된 $\varphi$-모듈을 매개하는 스택 $\mathfrak{D}_\nu$를 정의하며, 반선형 프로베누스와 유형 $\nu$의 필터링을 갖춘다.
• 고전적 조건을 라이드 애널리틱 설정에서 일반화하여 아디크 스택의 점들에 대한 일반화된 약한 적합성 개념을 도입한다.
• 로바 반환환 및 그 완비화 위의 $\varphi$-모듈 이론을 사용하여 $D_{\rm cris}$-함수를 통해 크리스탈린 표현과 필터링된 $\varphi$-모듈을 연결한다.
• 케들레이아-류의 에탈 $\varphi$-모듈 이론을 아디크 공간으로 일반화하여, 약한 적합성 영역이 열림을 보인다.
• 주기 사상 $\Pi: \widehat{\mathcal{C}}_{K,\nu} \to \mathfrak{D}_\nu^{\rm rig}$을 분석하고, 이 사상이 약한 적합성 영역을 통해 인식되며, 명시적 계산과 내림내림 추론을 통해 그 상을 규명한다.

실험 결과

연구 질문

• RQ1 아디크 공간 위의 산술적 가속가에 대한 필터링된 $\varphi$-모듈 스택 내에서 약한 적합성 영역은 열린가?
• RQ2 정수 $p$-진 호지 자료에서 필터링된 $\varphi$-모듈 스택으로의 주기 사상은 약한 적합성 영역을 통해 인식되는가?
• RQ3 패파스와 라포포르가 정의한 정수 $p$-진 호지 이론의 맥락에서 주기 사상의 상은 무엇인가?
• RQ4 약한 적합성 영역 위에 크리스탈린 표현의 일반적인 가속가를 구성할 수 있는가?
• RQ5 비자명한 경우에 있어서, 적합성 영역은 잔여 갈루아 표현의 변형 공간과 어떻게 관련되는가?

주요 결과

• 약한 적합성 영역 $\mathfrak{D}_\nu^{\rm wa}$는 반사체 $E$ 위에서 유한 유형인 아디크 공간 위의 필터링된 $\varphi$-모듈 스택 $\mathfrak{D}_\nu$ 내의 열린 부분스택이다.
• 주기 사상 $\Pi: \widehat{\mathcal{C}}_{K,\nu} \to \mathfrak{D}_\nu^{\rm rig}$은 $\mathfrak{D}_\nu^{\rm wa}$를 통해 인식되며, 그 상은 정확히 약한 적합성 영역이다.
• 주기 지도의 상은 $\mathfrak{D}_\nu^{\rm rig}$의 점들로 구성되며, 이들에 대응하는 필터링된 $\varphi$-모듈이 약한 적합성을 만족하는 조건으로 묘사되며, 패파스와 라포포르의 추측을 확인한다.
• 열린 부분스택 $\mathfrak{D}_\nu^{\rm wa}$ 위에 크리스탈린 표현의 일반적인 가속가가 존재한다. 이는 연속적인 $G_K$-작용을 갖는 벡터 번들의 형태이며, 크리스탈린 성질을 갖는다.
• 일반적으로는 적합성 영역이 정수 영역보다 엄격히 작으며, 8.29번 예제에서 $\mathfrak{D}_\nu^{\rm adm} \subsetneq \mathfrak{D}_\nu^{\rm int}$임을 보여준다.
• 8.30번 예제에서 적합성 영역은 잔여 표현의 변형 공간들의 서로소 합집합이 아니며, 가속가 내에서 비자명한 모노드로미 행동을 보임을 보여준다.