[논문 리뷰] Full faithfulness for overconvergent F-isocrystals

Kiran S. Kedlaya|ArXiv.org|2001. 10. 11.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 27

한 줄 요약

이 논문은 양성 특성의 체 위의 매끄러운 다양체에서 overconvergent $F$-isocrystal에서 convergent $F$-isocrystal로의 忘却 함자(forgotten functor)가 전부 충실(fully faithful)하다는 것을 증명한다. 이는 핵심적인 내림내림 성질을 확립한다. 증명은 overconvergent $F$-isocrystal의 준단순성(quasi-unipotence)과 overconvergent 거듭제곱급 수열환에 대한 Quillen-Suslin 유형 정리에 기반하며, Frobenius와 접속 불변량을 이용해 전체 문제를 애매한 공간 위의 국소 계산으로 감소시킨다.

ABSTRACT

Let X be a smooth variety over a field of characteristic p>0. We prove that the forgetful functor from the category of overconvergent F-isocrystals on X to the category of convergent F-isocrystals is fully faithful. The argument uses the quasi-unipotence theorem for overconvergent F-isocrystals (recently proved independently by Andre, Mebkhout, and the author; see math.AG/0110124), plus arguments of de Jong. In the process, we establish a theorem of Quillen-Suslin type (i.e., every finite projective module is free) over rings of overconvergent power series.

연구 동기 및 목표

• overconvergent에서 convergent $F$-isocrystal로의 忘却 함자가 전부 충실함을 증명함으로써 Tsuzuki의 추측을 해결한다.
• convergent isocrystal에 기인한 rigid cohomology의 병리적 성질을 해결하기 위해, overconvergent isocrystal이 전부 충실한 부분범주를 이룬다는 것을 증명한다.
• 완비 이산 평가환수 위의 overconvergent 거듭제곱급 수열환 위의 유한 프로젝티브 모듈에 대한 Quillen-Suslin 유형 정리를 확립한다.
• 전체 전부 충실성 문제를 유한 에테일 코팅과 푸시포워드 구성에 의해 애매한 공간 위의 국소 계산으로 감소시킨다.

제안 방법

• 최근 André, Mebkhout, 그리고 저자가 별도로 증명한 overconvergent $F$-isocrystal에 대한 준단순성 정리의 결과를 활용한다.
• de Jong의 동차 특성 케이스에서의 확장 정리 증명 기법을 $p$-진 설정으로 적응하여 적용한다.
• overconvergent $F$-isocrystal의 범주가 Hom에 대해 닫혀 있으며, 사상들이 Frobenius 고정점, 접속 사라짐 섹션에 대응한다는 사실을 이용한다.
• 유한 에테일 코팅을 통해 전체 문제를 overconvergent 및 convergent 범주에서의 푸시포워드를 이용해 애매한 공간으로 감소시킨다.
• Quillen-Suslin 유형 결과를 적용: 완비 이산 평가환수 위의 overconvergent 거듭제곱급 수열환 위의 모든 유한 프로젝티브 모듈은 자유이다.
• 완비화된 환에서 Frobenius 고정점, 접속 사라짐 섹션의 랭크를 분석함으로써, 이들이 overconvergent 부분환에 속해 있음을 보인다.

실험 결과

연구 질문

• RQ1 양성 특성의 체 위의 매끄러운 다양체에서 overconvergent에서 convergent $F$-isocrystal로의 忘却 함자가 전부 충실한가?
• RQ2 전체 전부 충실성의 문제를 애매한 공간 위의 국소 진술로 감소시킬 수 있는가?
• RQ3 overconvergent $F$-isocrystal은 준단순성 성질을 만족하는가? 즉, 유한 기본변환 후 국소 단일화가 단순화되는가?
• RQ4 완비 이산 평가환수 위의 overconvergent 거듭제곱급 수열환 위의 모든 유한 프로젝티브 모듈은 자유인가? (Quillen-Suslin 정리 유사)
• RQ5 overconvergent에서 convergent isocrystal로 전환할 때, $H^0_F(X,\mathcal{E})$의 Frobenius 고정점, 접속 사라짐 섹션의 랭크는 그대로 유지되는가?

주요 결과

• 모든 양성 특성의 체 $k$ 위의 매끄럽고 분리된 $k$-스키마 $X$에 대해, $\mathit{F^a\text{-}Isoc^\dagger}(X/K) \to \mathit{F^a\text{-}Isoc}(X/K)$ 의 忘却 함자는 전부 충실하며, 이는 Tsuzuki의 추측을 해결한다.
• $H^0_F(X,\mathcal{E})$의 랭크, 즉 Frobenius 고정점, 접속 사라짐 섹션의 공간의 랭크는 overconvergent 및 convergent 범주에서 동일하다.
• 완비 이산 평가환수 위의 overconvergent 거듭제곱급 수열환 위의 모든 유한 프로젝티브 모듈은 자유이며, 이는 이 맥락에서 Quillen-Suslin 유형 정리를 확립한다.
• 증명은 전체 전부 충실성 문제를 애매한 공간 위의 국소 진술로 감소시키며, overconvergent 거듭제곱급 수열환과 Frobenius 작용의 구조 덕분에 섹션을 제어할 수 있다.
• 핵심 기술적 입력은 overconvergent $F$-isocrystal의 준단순성으로, 이는 Frobenius 및 접속 방정식의 해가 overconvergent임을 보장한다.
• 각 변수에 대해 overconvergent 거듭제곱급 수열환의 교차 성질 $\cap_i R_i = R$ 는, 완비화된 환에서의 해가 overconvergent 부분환에 속한다는 결론을 이끌어낸다.