[논문 리뷰] On F-crystalline representations

Bryden Cais, Tong Liu|arXiv (Cornell University)|2015. 02. 05.

Advanced Algebra and Geometry인용 수 4

한 줄 요약

이 논문은 Kisin의 정수계열 표현 이론과 Kisin 모듈을 임의의 유한 확장 $F/\mathbb{Q}_p$ 및 일반적인 다항식 $f(u)$로 확장하여, $K_\infty/K$라는 새로운 종류의 무한하고 완전히 악의적 분할을 갖는 확장체를 구성한다. 이들 확장체에서 표현 $V$의 제약 함자 $V \mapsto V|_{G_{K_\infty}}$ 는 $F$-정수계열 표현의 범주에서 완전 충실하다. 또한 일반화된 프로베니우스 승수를 갖는 높이 1 Kisin 모듈을 통해 $F$-Barsotti-Tate 군을 분류한다.

ABSTRACT

We extend the theory of Kisin modules and crystalline representations to allow more general coefficient fields and lifts of Frobenius. In particular, for a finite and totally ramified extension $F/\mathbb Q_p$, and an arbitrary finite extension $K/F$, we construct a general class of infinite and totally wildly ramified extensions $K_\infty/K$ so that the functor $V\mapsto V|_{G_{K_\infty}}$ is fully-faithfull on the category of $F$-crystalline representations $V$. We also establish a new classification of $F$-Barsotti-Tate groups via Kisin modules of height 1 which allows more general lifts of Frobenius.

연구 동기 및 목표

• 임의의 유한 확장 $F/\mathbb{Q}_p$ 에 대해 Kisin의 $\mathbb{Z}_p$-격자 이론을 반정적 표현으로부터 $F$-정수계열 표현으로 일반화한다.
• 다항식 $f(u)$ 를 이용해 프로베니우스 반복 시스템 $\{\pi_n\}$ 을 정의함으로써, 고전적인 $p^n$-단위근으로부터 유도된 $K_\infty$ 를 대체하는 새로운 종류의 무한하고 완전히 악의적 분할을 갖는 확장체 $K_\infty/K$ 를 구성한다.
• Hodge-Tate 무게가 $\{0,\dots,r\}$ 에 속하는 $F$-정수계열 표현의 범주에서 제약 함자 $V \mapsto V|_{G_{K_\infty}}$ 가 완전 충실하다는 것을 증명한다.
• 일반화된 프로베니우스 스타일을 갖는 높이 1 Kisin 모듈을 통해 $\mathcal{O}_K$ 위의 $F$-Barsotti-Tate 군을 분류한다.
• $(\varphi, \hat{G})$-모듈 이론과 Breuil 이론을 더 일반적인 계수 체와 프로베니우스 승수로 확장하기 위한 기초 도구를 마련한다.

제안 방법

• 다항식 $f(u) \equiv u^q \mod \mathfrak{m}_F$ 를 만족하는 조건 하에, $\mathfrak{S}_F = \mathcal{O}_F[[u]]$ 에서 $W(k)$ 에서는 $q$-거듭제곱 프로베니우스로 작용하고, $\mathcal{O}_F$ 에서는 자명하게 작용하며, $u$ 를 $f(u)$ 로 보내는 일반화된 프로베니우스 준동형사상 $\varphi$ 를 정의한다.
• $f(\pi_n) = \pi_{n-1}$ 을 만족하는 일관된 체계 $\{\pi_n\}$ 을 통해 $K_{\underline{\pi}} = \bigcup_n K(\pi_n)$ 를 구성한다. 이는 갈루아가 아니며 완전히 악의적 분할을 갖는 확장체이다.
• 다음 조건을 만족하는 $\mathfrak{S}_F$-자유 유한 모듈 $\mathfrak{M}$ 을 $E(u)$-높이 $r$ 의 Kisin 모듈로 정의한다: $\varphi$-반선형 준동형사상 $\varphi_\mathfrak{M}$ 이 존재하고, 그 선형화의 여항이 $E(u)^r$ 에 의해 소멸된다.
• $T_{\mathfrak{S}}(\mathfrak{M})$ 함자를 통해 Kisin 모듈에서 $F$-정수계열 표현의 $\mathcal{O}_F$-격자로의 대응을 정의하며, Kisin 의 기존 구성법을 일반화한다.
• $G_{K_\infty}$-안정 격자 $T \subset V$ 에 대해 $T_{\mathfrak{S}}(\mathfrak{M}) \simeq T$ 를 만족하는 $\mathfrak{S}_F$-선형 동형사상을 구성함으로써, $V \mapsto \mathfrak{M}$ 이 $F$-정수계열 표현에서 완전 충실하다는 것을 증명한다.
• 다른 $f(u)$ 에 대응하는 Kisin 모듈이 $W(R)_F$ 로의 기저 변경 후 서로 동형이 된다는 추측을 제기하며, 고전적 경우의 비교 결과를 일반화한다.

실험 결과

연구 질문

• RQ1 Kisin 의 $\mathbb{Z}_p$-격자 이론은 반정적 표현에서 $F$-정수계열 표현으로 임의의 유한 확장 $F/\mathbb{Q}_p$ 에 대해 일반화될 수 있는가?
• RQ2 고전적인 $u^p$ 가 아니라 일반적인 다항식 $f(u)$ 를 사용해 $K_\infty$ 를 구성할 경우, 제약 함자 $V \mapsto V|_{G_{K_\infty}}$ 는 여전히 $F$-정수계열 표현에서 완전 충실한가?
• RQ3 $F$-Barsotti-Tate 군은 프로베니우스 스타일이 고전적 경우를 초월해 일반화된 경우에도 높이 1 Kisin 모듈을 통해 분류될 수 있는가?
• RQ4 $F$ 와 $\pi$ 가 고정되어 있을 때, 서로 다른 $f(u)$ 에 대응하는 Kisin 모듈은 어떻게 관련되어 있는가?
• RQ5 이 일반화된 설정에서 Kisin 모듈의 토피컬 이론을 확장할 수 있으며, 잠재적으로 정수계열 표현의 축소에 관한 기존 결과를 복원할 수 있는가?

주요 결과

• Hodge-Tate 무게가 $\{0,\dots,r\}$ 에 속하는 $F$-정수계열 표현의 범주에서 제약 함자 $V \mapsto V|_{G_{K_\infty}}$ 는 Kisin 의 고전적 결과를 일반화하여 완전 충실하다.
• $G_{K_\infty}$-안정 $\mathcal{O}_F$-격자 $T$ 를 갖는 임의의 $F$-정수계열 표현 $V$ 에 대해, $T_{\mathfrak{S}}(\mathfrak{M}) \simeq T$ 를 만족하는 $E(u)$-높이 $r$ 의 Kisin 모듈 $\mathfrak{M}$ 이 존재한다. 이는 Kisin 의 구성법을 일반적인 $F$ 와 $f(u)$ 로 확장한 것이다.
• $\mathcal{O}_K$ 위의 $F$-Barsotti-Tate 군의 범주는 $\mathfrak{S}_F$ 위의 높이 1 Kisin 모듈과 일반화된 프로베니우스 스타일을 갖는 범주와 반대 등가이다.
• 이 구성은 알려진 경우를 복원한다: $f(u) = u^p$ 이면 Kisin 이론으로 축소되며, $v_F(a_1) = 1$ 이면 Kisin-Ren 의 Lubin-Tate 경우를 포함한다.
• 논문은 $W(R)_F$ 로의 기저 변경 후 서로 다른 $f(u)$ 에 대응하는 Kisin 모듈이 동형이 된다는 추측을 제기하며, 보편적인 비교 동형사상의 존재를 시사한다.
• 이 이론은 Breuil 의 반정적 표현 분류 및 토피컬 Kisin 모듈 이론을 확장하기 위한 프레임워크를 제공하지만, 일반적인 $f(u)$ 에서의 단조성 연산자는 아직 해결되지 않은 과제로 남아 있다.