[논문 리뷰] Existence de filtrations admissibles sur des isocristaux

Jean-Marc Fontaine, Michael Rapoport|ArXiv.org|2002. 04. 24.

Mathematical Dynamics and Fractals인용 수 4

한 줄 요약

이 논문은 p진 필드 위의 이스코크리스털에 대한 허용 가능한 필터레이션의 존재성을 확립하며, 이러한 필터레이션이 존재함과 동시에 허용 가능한 필터레이션이 존재하기 위한 필요충분조건으로 허그 필터레이션 다각형이 뉴턴 다각형을 지배하는 것을 증명한다. 이 결과는 Fontaine의 약한 허용 기준을 임의의 유한 확장에 대해 일반화하며, 필터링된 이스코크리스털과 크리스탈린 갈루아 표현 간의 기본적인 동치관계를 제공함으로써 이론을 Q_p의 임의의 유한 확장으로 확장한다.

ABSTRACT

Let (D,phi) be an isocrystal over an algebraically closed field of characteristic p. Let F^bullet be a filtration on D. If F^bullet is (weakly) admissible, its type vector is greater or equal to the slope vector of (D,phi). We prove that conversely, give a type mu greater or equal to the slope vector of (D,phi), there exists an admissible filtration F^bullet on D of type vector equal to mu. We also give a group theoretic version of this statement and relate it to the existence of lattices M in D with mu(M)=mu.

연구 동기 및 목표

• Q_p의 유한 확장에 대한 이스코크리스털에 대한 허용 가능한 필터레이션의 존재를 확립하기 위해.
• Fontaine의 약한 허용 기준을 Q_p의 임의의 유한 확장 F로 일반화하기 위해.
• 특정 조건을 만족하는 크리스탈린 갈루아 표현을 갖는 필터링된 이스코크리스털과 허용 가능한 필터레이션을 갖는 필터링된 이스코크리스털 간의 카테고리적 동치관계를 제공하기 위해.
• 이스코크리스털에 추가 구조를 가미한 맥락으로 허그 및 뉴턴 다각형 이론을 확장하기 위해.
• 허용 가능한 필터레이션의 존재가 허그 다각형이 뉴턴 다각형을 지배하는 것과 동치임을 증명하기 위해.

제안 방법

• L = F ⊗_{W(k_F)} W(k) 위의 유한차원 벡터 공간으로서 이스코크리스털을 정의하고, σ-선형이며 전단사인 자기변환 φ를 갖는다.
• 이스코크리스털과 필터레이션 각각에 대해 뉴턴 다각형 P(ν)와 허그 다각형 P(μ)를 도입한다.
• 두 조건을 만족하는 필터레이션을 허용 가능한 필터레이션으로 정의한다: (i) 총 기울기 |μ|는 |ν|와 같고, (ii) 모든 부분 이스코크리스털에 대해 허그 기울기가 뉴턴 기울기를 지배한다.
• 부분합을 통한 (Q^d)_+ 상의 부분순서를 이용하여 뉴턴 다각형과 허그 다각형을 비교한다.
• GL_d의 경우로의 환원을 통해 허용 가능한 필터레이션의 존재를 증명하고, HN-코캐릭터 및 Cp 위의 플라그 다양체의 분해를 이용한다.
• Rapoport-Zink와 Kottwitz의 결과를 적용하여 Cp 위의 주기 공간과 플라그 다양체의 허용 점의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 Q_p의 유한 확장 F 위의 이스코크리스털이 허용 가능한 필터레이션을 갖는 조건은 무엇인가?
• RQ2 허그 다각형이 뉴턴 다각형을 지배하는 것과 허용 가능한 필터레이션의 존재 사이의 관계는 무엇인가?
• RQ3 p진 맥락에서 필터링된 이스코크리스털과 갈루아 표현 간의 정확한 카테고리적 동치관계는 무엇인가?
• RQ4 허용 가능한 필터레이션의 존재가 순수하게 다각형 지배성에 의해 특징지어질 수 있는가?
• RQ5 주어진 코캐릭터 μ에 대해 Cp 위의 플라그 다양체에서 허용 점의 공간의 구조는 어떻게 되는가?

주요 결과

• 이스코크리스털 (D, φ)에 대해 허용 가능한 필터레이션이 존재함과 동시에 (Q^d)_+ 상의 부분순서에서 μ ≥ ν(D, φ)이 성립하는 것은 필요충분조건이다.
• 이 정리는 Q_p가 아닌 Q_p의 임의의 유한 확장 F에 대해서도 Fontaine의 약한 허용 기준을 일반화한다.
• 허용 가능한 필터레이션을 갖는 필터링된 이스코크리스털의 범주와 Gal(̄L/L)의 F-표현 중에서 크리스탈린이면서 조건 (∗): C_p-벡터 공간 V_{C_p,F}가 갈루아 불변 원소들에 의해 생성됨을 만족하는 부분범주 사이에 자연스러운 동치관계가 존재한다.
• GL_d의 경우, L 위의 플라그 다양체 F(L)는 |λ| = 0인 λ ∈ (Q^d)_+ 로 색인된 서로소 스트라타로 분해되며, 최소 스트라타(λ = 0)는 μ ≥ ν일 때에만 비어 있지 않다.
• 플라그 다양체 F(G, {μ})(C_p)의 허용 점의 공간은 μ의 코어지그레이트가 b의 뉴턴 코캐릭터 ν_b를 지배할 때에만 비어 있지 않다.
• 이 결과는 (φ, N)-모듈러에도 적용되며, 기저 이스코크리스털에 대한 허용 가능한 필터레이션이 N-구조를 포함할 경우에도 여전히 허용 가능하다.