[논문 리뷰] Descent of morphisms of overconvergent F-crystals

Kiran S. Kedlaya|ArXiv.org|2001. 05. 29.

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

한 줄 요약

이 논문은 overconvergent $(F,\nabla)$-crystal의 embedding이 convergent ones으로의 포함에 대해 Tsuzuki의 추측을 증명한다. 이는 잠재적으로 단순화 가능한(crystals)과 최대 두 개의 서로 다른 기울기를 가진 경우에 국한된다. de Jong의 잠재적으로 단순화 가능한 교란과 기울기 분해 기법을 사용하여, $k((t))$ 위에서의 잔여체 코homology의 overconvergence와 잠재적 단순화 가능성을 확립함으로써, Katz의 unipotency와 Galois 표현 간의 등가성에 대한 질문을 해결한다.

ABSTRACT

Tsuzuki has conjectured that for crystals with Frobenius and connection over a local field k((t)), the embedding of the category of overconvergent crystals into the category of convergent crystals is fully faithful. We prove Tsuzuki's conjecture restricted to the subcategory of potentially semistable (or quasi-unipotent) crystals, following de Jong's proof of a slightly weaker result. We also prove Tsuzuki's conjecture restricted to crystals with at most two distinct slopes.

연구 동기 및 목표

• overconvergent $(F,\nabla)$-crystal의 embedding이 $k((t))$ 위에서 convergent ones으로의 포함이 잠재적으로 단순화 가능한 $F$-crystal에 국한되어 완전 충실함을 증명하는 것.
• de Jong의 사상의 연장 정리(theorem on extension of morphisms)를 overconvergent $F$-crystal으로 확장하여, 특히 로그 구조를 가진 $F$-crystal의 맥락에서 적용하는 것.
• Katz의 질문을 해결하는 것: $F$-crystal의 unipotency와 그에 대응하는 Galois 표현의 자명성 간의 등가성.
• $k((t))$ 위의 smooth proper 다양체의 잔여체 코homology가 overconvergent 및 잠재적으로 단순화 가능한 $(F,\nabla)$-crystal을 유도함을 증명하는 것.
• rank 2 및 낮은 기울기의 경우에 대해 잠재적 단순화 가능성 추측의 부분적 증명을 제공하는 것.

제안 방법

• trait 위에서 $X_1 \to X$인 적절하고 사영적인 교란(alteration)을 구성하기 위해 de Jong의 잠재적으로 단순화 가능한 교란 정리를 활용하며, 특별한 기저가 단순화 가능한 기저를 가짐.
• $\tilde{\nabla}$-ring 위에서 $F$-crystal을 기울기가 감소하는 isoclinic 조각들로 분해하기 위해 기울기 분해 이론을 적용함. 이 과정에서 $\tilde{\nabla}$-확장 위에서 고유벡터 구성 기법을 사용함.
• Poincaré 대칭성과 차수 분석을 통해 잔여체 코homology의 당김 맵의 단사성을 보임으로써, 유한 전사 사상에 대해 $\rho^*$가 단사임을 증명함.
• $\tilde{\nabla}$-ring 위의 $\tilde{\nabla}$-crystal에서 $\tilde{\nabla}$-extension 위의 $\tilde{\nabla}$-ring으로의 엔도모르피즘을 올리기 위해 $\frac{1}{d}\rho^*\rho_*$의 프로젝터를 구성함.
• 정리 4.2를 적용하여 $\tilde{\nabla}$-ring 위에서 정의된 엔도모르피즘이 기본 링 $\tilde{\nabla}$로 연장됨을 보임으로써, overconvergence와 잠재적 단순화 가능성 보장.
• $\tilde{\nabla}^{\text{perf}}_{\text{con}} \to \tilde{\nabla}^{\text{perf}}$의 단사성에 기반해 기저 링의 확장에 걸쳐 필터링과 사상의 내림을 수행함.

실험 결과

연구 질문

• RQ1 overconvergent $(F,\nabla)$-crystal의 embedding이 $k((t))$ 위에서 잠재적으로 단순화 가능한 $F$-crystal에 대해 convergent ones으로의 포함이 완전 충실한가?
• RQ2 최대 두 개의 서로 다른 기울기를 가진 $F$-crystal이 Tsuzuki의 Tate 유형 추측을 만족하는가?
• RQ3 $k((t))$ 위의 smooth proper 다양체의 잔여체 코homology가 overconvergent 및 잠재적으로 단순화 가능한 $(F,\nabla)$-crystal을 유도할 수 있는가?
• RQ4 $F$-crystal의 unipotency는 그에 대응하는 Galois 표현의 자명성과 동치인가?
• RQ5 de Jong의 잠재적으로 단순화 가능한 교란 정리는 overconvergent $F$-crystal 간의 사상에 대해 어떤 정도로 내림을 허용하는가?

주요 결과

• Tsuzuki의 추측, 즉 overconvergent $(F,\nabla)$-crystal의 embedding이 convergent ones으로의 포함이 잠재적으로 단순화 가능한 $F$-crystal의 부분범주에 대해 완전 충실함이 성립함.
• 이 추측은 rank 2인 $F$-crystal과 더 나아가 최대 두 개의 서로 다른 기울기를 가진 $F$-crystal에 대해 증명됨.
• $k((t))$ 위의 임의의 smooth proper 다양체의 잔여체 코homology는 overconvergent 및 잠재적으로 단순화 가능한 $(F,\nabla)$-crystal을 유도함.
• $F$-crystal이 unipotent임과 그에 대응하는 Galois 표현이 자명함은 동치이며, 이는 Katz의 질문에 대한 해답임.
• 유한 전사 사상에 대해 잔여체 코hom로의 당김 맵 $\rho^*$는 단사적이며, $\tilde{\nabla}$-rings 위에서 정의된 프로젝터 $\frac{1}{d}\rho^*\rho_*$가 존재함.
• overconvergent $(F,\nabla)$-crystal 간의 사상은 $\tilde{\nabla}^{\text{perf}}_{\text{con}} \to \tilde{\nabla}^{\text{perf}}$의 단사성에 기반해 $\tilde{\nabla}$-rings를 통해 내림이 가능하며, 이는 구조의 내림 보장.