[논문 리뷰] Overholonomicity of overconvergent $F$-isocrystals over smooth varieties

Daniel Caro, Nobuo Tsuzuki|ArXiv.org|2008. 03. 14.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 6

한 줄 요약

이 논문은 양의 특성의 완전체 위의 매끄러운 다양체에서의 overconvergent $F$-isocrystal의 overholonomicity를 확립하며, overconvergent $F$-isocrystal에서의 overholonomicity와 devissability가 동치임을 증명한다. 이 동치성은 Grothendieck의 다섯 가지 코homological 연산에 대한 안정성을 암시하며, 텐서 곱과 같은 연산을 포함하여 닫혀 있는 강력한 $p$-adic 코homology 이론을 제공한다.

ABSTRACT

We prove the overholonomicity of overconvergent $F$-isocrystals over smooth varieties. This implies that the notions of overholonomicity and devissability in overconvergent $F$-isocrystals are equivalent. Then the overholonomicity is stable under tensor products. So, the overholonomicity gives a $p$-adic cohomology stable under Grothendieck's cohomological operations.

연구 동기 및 목표

• 양의 특성의 완전체 위의 매끄러운 다양체에서의 overconvergent $F$-isocrystal의 overholonomicity를 확립한다.
• overconvergent $F$-isocrystal에서의 overholonomicity와 devissability가 동치인 개념임을 증명한다.
• overholonomicity가 Grothendieck의 다섯 가지 코homological 연산(텐서 곱 포함)에 대해 안정됨을 보인다.
• 모든 표준 코homological 연산에 대해 안정된 $p$-adic 코homology 이론을 제공하며, Berthelot의 holonomicity에 대한 추측을 일반화한다.

제안 방법

• Kedlaya의 반안정 환원 정리를 활용하여 문제를 잔여가 로그적 특이성을 가지며, 잔여가 니르프로텐트인 완전체 위의 isocrystal로 축소한다.
• 적절한 일반적으로 에탈라의 강하를 적용하여 반안정 환원 설정에서의 overholonomicity 성질을 강하한다.
• 매끄러운 다양체에서의 overconvergent $F$-isocrystal과 overcoherent $F$-isocrystal 간의 동치성을 활용하여 문제를 산술 $\mathcal{D}$-모듈의 언어로 변환한다.
• 닫힌 점에서의 코homological 유한성 조건과 국소화 함자들을 통한 overholonomicity의 특성화를 사용한다.
• overconvergent 구조를 갖는 $\mathcal{D}^\dagger$-모듈과 그 유도 함자, 특히 $\mathbb{R}\underline{\Gamma}^\dagger$ 및 $f_+$ 함자들을 적용한다.
• 특별히, 초과된 역상, 직접 이미지, 국소 코homology 함자들에 대한 overcoherence와 overholonomicity의 안정성에 의존한다.

실험 결과

연구 질문

• RQ1 양의 특성의 완전체 위의 매끄러운 다양체에서의 overconvergent $F$-isocrystal은 overholonomic인가?
• RQ2 overconvergent $F$-isocrystal에서의 overholonomicity 개념은 devissability와 동치인가?
• RQ3 overholonomicity는 Grothendieck의 다섯 가지 코homological 연산(텐서 곱 포함)에 대해 안정적인가?
• RQ4 적절한 일반적으로 에탈라 사상에 의해 $F$-complex의 overholonomicity는 강하 가능한가?
• RQ5 overconvergent $F$-isocrystal에서의 overholonomicity와 devissability 간의 동치성은 표준 코homological 연산 전체에 대해 카테고리의 안정성을 암시하는가?

주요 결과

• 매끄러운 다양체에서의 overconvergent $F$-isocrystal의 overholonomicity가 확립되어, 안정적인 $p$-adic 코homology 이론으로 향하는 핵심 단계를 해결한다.
• 매끄러운 다양체의 맥락에서 overconvergent $F$-isocrystal에서의 overholonomicity와 devissability가 동치임이 입증된다.
• $F$-complex의 overholonomicity는 텐서 곱에 대해 안정되며, 이는 코homological 이론에 있어 핵심적인 성질이다.
• overholonomic $F$-complex의 카테고리는 Grothendieck의 다섯 가지 코homological 연산—직접 이미지, 초과된 직접 이미지, 역상, 초과된 역상, 텐서 곱—모두에 대해 안정된다.
• 증명은 Kedlaya의 반안정 환원 정리와 적절한 일반적으로 에탈라 강하에 기반하며, 잔여가 니르프로텐트인 로그적 isocrystal의 경우로 문제를 축소한다.
• 곡선의 경우, 이 논문은 inverse image에 대한 holonomicity의 안정성에 관한 Berthelot의 추측을 확인하며, 이는 이 경우에서 holonomicity와 overholonomicity가 일치함을 암시한다.