[논문 리뷰] Groupes p-divisibles, groupes finis et modules filtrés

Christophe Breuil|arXiv (Cornell University)|2000. 09. 01.

Algebraic Geometry and Number Theory인용 수 5

한 줄 요약

이 논문은 p-진 국소체의 정수環의 유한한 전체로 끊어진 확장(동일한 특성 0)에 대한 p-나누어지지 않는 군들 사이의 카테고리 간의 반동치를, 특정한 유형의 필터링된 모듈—구체적으로 완비 분할거듭제곱 대수 위의 강력히 나누어지지 않는 모듈—사이에 설정한다. 핵심적 혁신은 Fontaine의 p-나누어지지 않는 군과 유한한 평탄한 p-군에 대한 분류를 임의의 끊어진 정도 e와 p ≠ 2에 대해 확장하는 데에 있으며, 이는 심토믹 토포스 기법과 프로베누스 유사 연산자 φ₁를 기반으로 한 일반화된 딜레돈느 모듈 이론을 사용한다.

ABSTRACT

Let k be a perfect field of characteristic p>0. When p>2, Fontaine and Laffaille have classified p-divisibles groups and finite flat p-groups over the Witt vectors W(k) in terms of filtered modules. Still assuming p>2, we extend these classifications over an arbitrary complete discrete valuation ring A with unequal characteristic (0,p) and residue field k by using "generalized" filtered modules. In particular, there is no restriction on the ramification index. In the case k is included in \bar{F}_p (and p>2), we then use this new classification to prove that any crystalline representation of the Galois group of Frac(A) with Hodge-Tate weights in {0,1} contains as a lattice the Tate module of a p-divisible group over A.

연구 동기 및 목표

• OK 위의 p-나누어지지 않는 군과 유한한 평탄한 p-군에 대한 Fontaine의 분류를 낮은 끊어진 정도(e ≤ p−2)의 경우를 넘어서 확장하기 위해
• 갈로아 표현에 의존하지 않는, p-나누어지지 않는 군과 그 반대의 유한한 평탄한 p-군에서 필터링된 모듈을 체계적이고 내재적으로 구성하기 위해
• p ≠ 2일 때, OK 위의 p-나누어지지 않는 군과 강력히 나누어지지 않는 필터링된 모듈 사이에 완전한 반동치를 설정하기 위해
• k ⊆ F_p 이고 p ≠ 2인 경우, Hodge-Tate 무게 {0,1}을 가진 크리스탈린 표현에 대한 Fontaine의 추측을 증명하기 위해
• 고도 높은 끊어진 정도에서 비아벨리안이거나 충실하지 않은 섬세한 함수자 문제를 다루기 위해 심토믹 토포스와 분할거듭제곱 대수를 사용하는 새로운 프레임워크를 개발하기 위해

제안 방법

• Witt의 환 W(k) 위에 완비 분할거듭제곱 대수 S를 구성하고, 필터링 Fil¹S와 S 위의 모듈에 대한 프로베누스 유사 연산자 φ₁를 정의한다.
• M이 유한 생성된 S-모듈이고, Fil¹M이 Fil¹S·M를 포함하며, φ₁: Fil¹M → M이 반선형 사상이면서 그 상이 M을 생성하는 일반화된 필터링된 모듈(M, Fil¹M, φ₁)을 도입한다.
• Spec(OK) 위의 심토믹 토포스를 사용하여 φ₁ 연산자를 정의하고 조작하며, Berthelot-Breen-Messing의 크리스탈린 코homology 도구를 활용한다.
• 각 필터링된 모듈(M, Fil¹M, φ₁)에 대해 심토믹 사이트에 관련된 군의 캐논컬한 층을 정의하고, 이가 OK 위의 유한한 평탄한 군 스킴으로 표현 가능하다는 것을 증명한다.
• 유한한 평탄한 p- torsion 군 스킴에서 필터링된 모듈로의 함자는 devissage를 통해 전부 충실하고 본질적으로 전사임을 증명한다.
• 분류를 적용하여 Fontaine의 추측을 증명한다: p-진 갈로아 표현이 Hodge-Tate 무게 {0,1}을 가진 크리스탈린 표현이 되는 것은, 그것이 OK 위의 p-나누어지지 않는 군으로부터 유래될 때이고 그 때에만 성립한다.

실험 결과

연구 질문

• RQ1 Fontaine의 OK 위의 p-나누어지지 않는 군에 대한 분류는 e ≤ p−2의 경우를 넘어서고 p ≠ 2일 때까지 확장될 수 있는가?
• RQ2 갈로아 표현에 의존하지 않고, OK 위의 유한한 평탄한 p-군으로부터 그의 구조를 포괄하는 캐논컬한 내재적 필터링된 모듈을 구성할 수 있는가?
• RQ3 고도 높은 끊어진 정도에서 일반적인 섬세한 함수자가 충실하지 않은 것을 어떻게 극복할 수 있는가?
• RQ4 OK 위의 p-나누어지지 않는 군에 관련된 필터링된 모듈의 정확한 구조는 무엇이며, 그것이 강력히 나누어지지 않게 되기 위한 조건은 무엇인가?
• RQ5 임의의 끊어진 정도에 대해, p-나누어지지 않는 군과 필터링된 모듈 사이의 반동치가 OK 위의 전체 카테고리로 확장되는가?

주요 결과

• 논문은 p ≠ 2일 때, OK 위의 p-나누어지지 않는 군의 카테고리와 강력히 나누어지지 않는 필터링된 모듈의 카테고리 사이에 완전한 반동치를 설정한다.
• 분류는 이전 Fontaine의 결과를 e ≤ p−2에서 임의의 끊어진 정도 e로 확장하였고, p-나누어지지 않는 군에서 유한한 평탄한 p-군으로까지 확장하였다.
• 필터링된 모듈은 심토믹 토포스를 통해 구성되며, φ₁ 연산자는 버스체이빙의 역함수를 캡슐화하고 있으며, 군 스킴의 mod p² 환원에 따라 달라진다.
• 반동치는 두 단계 과정을 통해 증명된다: 필터링된 모듈에 대해 심토믹 사이트에 군의 층을 할당하고, 크리스탈린 코homology를 사용하여 유한한 평탄한 군 스킴에서 필터링된 모듈을 구성한다.
• 이 결과는 Hodge-Tate 무게 {0,1}을 가진 p-진 갈로아 표현이 크리스탈린임과 동시에 그것이 OK 위의 p-나누어지지 않는 군으로부터 기인할 때에만 성립함을 시사하며, 이 경우 Fontaine의 추측을 증명한다.
• 필터링된 모듈의 구성은 갈로아 표현에 의존하지 않으며, 일반적인 섬세한 함수자가 충실하지 않은 고도 높은 끊어진 정도 문제를 해결한다.