[논문 리뷰] Images directes II: F-isocristaux convergents

Jean-Yves Étesse|arXiv (Cornell University)|2009. 10. 23.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 3

한 줄 요약

이 논문은 정수 계수의 양성 특성의 완전체 k 위의 k-스킴에 대한 정규적이고 매끄럽고 liftable인 사상에 의한 수렴 F-isocrystal의 직접 이미지의 수렴성을 확립한다. 테이히뮐러 상승과 전문화 사상의 비교를 통해, 이러한 직접 이미지 위에서의 프로베누스 사상이 동형사상임을 증명하며, 고전적인 라이드 코hom올로지 결과를 프로베누스 구조를 갖춘 수렴 F-isocrystal 설정으로 확장한다.

ABSTRACT

This article is the second one of a series of three articles devoted to direct images of isocrystals: here we consider convergent isocrystals with Frobenius structure. Let V be a complete discrete valuation ring, with residue field k = V/m of characteristic p > 0 and fraction field K of characteristic 0. Firstly we characterize convergent F-isocrystals on a smooth affine k-scheme. Secondly, for perfect k and after a detailed exposition of the Teichmûller liftings, especially for the affine rigid line, we derive the existence of Frobenius isomorphisms on the direct images of convergent F-isocrystals under a proper smooth and liftable k-morphism.

연구 동기 및 목표

• 매끄럽고 아핀 k-스킴 위의 수렴 F-isocrystal을 특성화하기 위해.
• 특히 아핀 직선에 대해 라이드 해석 기하학의 맥락에서 테이히뮐러 상승을 연구하기 위해.
• 정규적이고 매끄럽고 상승 가능한 k-사상에 의한 F-isocristaux convergents의 직접 이미지의 수렴성을 확립하기 위해.
• 이러한 직접 이미지 위에서의 프로베누스 사상이 동형사상임을 증명하기 위해.
• 이러한 직접 이미지와 관련된 L-함수를 연구하기 위한 기초를 마련하기 위해.

제안 방법

• 몬스키-워시니처 유형의 묘사에 의한 매끄럽고 아핀 k-스킴 위의 수렴 F-isocrystal의 특성화.
• 형식 스킴에 대한 테이히뮐러 상승을 구성하고, 전문화 및 환원 사상과의 관계를 규명하기 위해.
• 테이히뮐러 상승이 전문화 사상의 단면임을 이용하여 라이드 코hom올로지로 감소시키기 위해.
• 라이드 코호몰로지에서의 프로베누스 동형사상에 대한 기존 결과를 활용하여 직접 이미지의 동일한 성질을 유도하기 위해.
• 보쉬-뒤르거-레임르의 기준 적용: 한 면에서 동형사상이라면 전체적으로도 동형사상이다.
• 직접 이미지의 기저 변경과 면 함수자 간의 호환성 및 프로베누스 구조 유지

실험 결과

연구 질문

• RQ1 정규적이고 매끄러운 사상에 의한 수렴 F-isocrystal의 직접 이미지가 다시 수렴 F-isocrystal이 되는 조건은 무엇인가?
• RQ2 라이드 해석 기하학 맥락에서 테이히뮐러 상승은 전문화 및 환원 사상과 어떻게 상호작용하는가?
• RQ3 직접 이미지 위의 프로베누스 사상이 면별 분석을 통해 동형사상임을 증명할 수 있는가?
• RQ4 테이히뮐러 상승은 면 함수자를 실현하고 프로베누스와 어떻게 가환하는가?
• RQ5 직접 이미지의 수렴성은 사상과 기저 스킴의 코호몰로지 성질과 어떻게 관련되는가?

주요 결과

• 매끄럽고 아핀 k-스킴 위의 수렴 F-isocrystal은 몬스키-워시니처 유형의 묘사로 특성화된다.
• 완전체 k에 대해, 테이히뮐러 상승은 전문화 사상에 대한 표준적인 단면을 제공하며 프로베누스와 가환한다.
• 정규적이고 매끄럽고 상승 가능한 k-사상에 의한 수렴 F-isocrystal의 직접 이미지는 다시 수렴 F-isocrystal이다.
• 테이히뮐러 상승을 통한 라이드 코호몰로지로의 감소를 통해 이러한 직접 이미지 위의 프로베누스 사상이 동형사상임을 증명한다.
• 직접 이미지 구성은 기저 변경과 면 함수자와 호환되며 프로베누스 구조를 유지한다.
• 결과는 유한 에탈레 사상 뿐 아니라, 프로젝티브 및 상대적 완전교차 사상으로도 확장된다.