[논문 리뷰] Overconvergent unit-root F-isocrystals and isotriviality

Teruhisa Koshikawa|arXiv (Cornell University)|2015. 11. 09.

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

한 줄 요약

이 논문은 유한체 위의 매끄럽고 기하학적으로 연결된 다양체 위의 반수렴하는 단위근 F-이스ок리스탈이 유한 에탈 코ating 후에 상수로 변함을 증명한다. 이는 비에르미트의 무분할 Fontaine-Mazur 추측의 p-진 유사체로 일반화된 결과이다. 핵심 결과는 반단순성 또는 유한 결정력 조건 하에서 등가성( isotriviality )을 보이며, 조작을 통한 곡선으로의 환원과 기본군 기법을 사용한다.

ABSTRACT

We show that a semisimple overconvergent "absolutely unit-root" F-isocrystal on a geometrically connected smooth variety over a finite field becomes constant over a finite covering.

연구 동기 및 목표

• 비다항적 매끄러운 다양체로 비에르미트의 무분할 Fontaine-Mazur 추측의 p-진 유사체를 일반화하기 위해.
• 반수렴하는 단위근 F-이스ок리스탈이 유한 에탈 기저 변경 후에 상수가 되는 조건을 설정하기 위해.
• 곡선의 경우 결과(보조정리 1.1)를 오버컨버제이트 F-이스ок리스탈을 사용하여 고차원 매끄러운 다양체로 확장하기 위해.
• 반단순성과 유한 결정력이 F-이스ок리스탈의 등가성을 보장하는 데서 수행하는 역할를 명확히 하기 위해.
• 모든 폴리노미얼 루트 프로베니우스 고유값을 갖는 국소계열이 유한 코팅 후에 상수가 되는 $\ell$-adic 결과에 대한 p-진 대응체를 제공하기 위해.

제안 방법

• 데종의 조작 정리에 의한 프로젝티브 케이스로의 환원을 통해, 매끄러운 컴actification이 있는 유한 에탈 코팅을 허용한다.
• 반수렴하는 F-이스ок리스탈과 에탈 기본군의 잠재적으로 무분할 p-진 표현 사이의 대응관계를 사용한다.
• 버티니 유사 정리와 레프셰츠 유사 정리를 적용하여 기본군의 컴 pactification에 대해 서면으로 사라지는 곡선을 구성한다.
• 클리포드 이론을 사용하여 유한 결정력을 갖는 표현의 기저가 되는 기하학적 기하학적 표현의 특성들을 분석한다.
• 기본군의 아벨화에서 핵의 유한성을 활용하여, 결정력이 유한 순서일 경우 작용이 유한 몫을 통해 인식됨을 보인다.
• $\ell$-adic 기하학(예: 델리뉴, 케이츠-랭)의 주장들을 p-진 설정으로 적응하여, 단위근 조건 하에서의 등가성을 확립한다.

실험 결과

연구 질문

• RQ1 유한체 위의 매끄러운 다양체 위의 반수렴하는 단위근 F-이스ок리스탈이 유한 에탈 코팅 후에 언제 상수가 되는가?
• RQ2 임의의 기저 표현의 결정력이 유한 순서일 경우, 반수렴하는 F-이스ок리스탈의 등가성에 어떤 영향을 미치는가?
• RQ3 곡선의 등가성 결과를 조작과 기본군 기법을 사용하여 고차원 매끄러운 다양체로 확장할 수 있는가?
• RQ4 모든 프로베니우스 고유값이 $p$-진 단위인 국소계열이 유한 코팅 후에 상수가 되는 p-진 대응체는 무엇인가?
• RQ5 반단순성 또는 유한 결정력의 가정이 모노드로미 행동이 유한 몫을 통해 인식됨을 보장하는 데 얼마나 중요한가?

주요 결과

• 기하학적으로 연결된 다양체 위의 반수렴하는 단위근 F-이스ок리스탈은 유한 에탈 코팅 후에 상수가 된다.
• 어떤 기저 표현의 결정력이 유한 순서일 경우, F-이스ок리스탈은 유한 에탈 코팅 후에 상수가 된다.
• 조작과 기본군 환원을 통해 보조정리 1.1의 곡선 결과를 고차원 다양체로 일반화한다.
• 데종의 조작 정리를 사용하여 프로젝티브 케이스로 환원하고, 기본군에 대한 레프셰츠 유사 정리를 적용한다.
• 오버컨버제이트 F-이스ок리스탈과 잠재적으로 무분할 표현을 사용함으로써, 비콤팩트 케이스에서도 등가성 결과가 성립한다.
• $\ell$-adic 대응체가 확립되어, 모든 프로베니우스 고유값이 $p$-진 단위인 국소계열이 유한 에탈 코팅 후에 상수가 된다.