[논문 리뷰] Frobenius gauges and a new theory of p-torsion sheaves in characteristic p. I

Jean-Marc Fontaine, Uwe Jannsen|arXiv (Cornell University)|2013. 04. 12.

Homotopy and Cohomology in Algebraic Topology인용 수 8

한 줄 요약

이 논문은 특성 p에서 딜로나 모듈러스를 일반화하고 크리스탈린 코homology를 정밀화하는 새로운 선형대수적 구조인 프로베니우스 게이지(Frobenius gauges)를 소개한다. 싱토피크 및 fppf 위상에서 이들 게이지를 값으로 가지는 코homology 이론을 구성함으로써, 저자들은 고전적 p- torsion 층 이론을 확장하고, 양의 특성에서의 다양체에 대해 더 정밀하고 유한형태의 코homological 도구를 제공하는 프레임워크를 수립한다.

ABSTRACT

We develop a new cohomology theory in characteristic p>0, the so called F-gauge cohomology, a cohomology with values in the category of so-called F-gauges, which refines the cristalline cohomology. In this first paper we mainly discuss the theory for smooth projective varieties over perfect fields of charatceristic p. We also compare our theory with other existing structures like the F-zips of Moonen and Wedhorn and the displays of Langer and Zink.

연구 동기 및 목표

• l = p일 때 에탈 위상에서의 실패를 극복하고 특성 p에서 p- torsion 층에 대한 새로운 코homology 이론을 개발하는 것.
• 프로베니우스 게이지를 사용하여 고전적 딜로나 모듈러스 및 관련 구조(예: 디스플레이, F-zips)를 더 넓은 프레임워크로 일반화하는 것.
• 크리스탈린 코homology를 확장하고 더 세밀한 산술적·기하학적 정보를 포착하는 보다 정밀한 코homology 이론인 게이지 코homology를 정의하는 것.
• 싱토피크-에탈 층을 통해 p-adic 호지 이론과 갈루아 표현의 특별한 섹션 사이의 연결 고리를 수립하는 것.
• 표현 자체가 아닌 층 이론적 구조를 통해 갈루아 표현의 변형을 연구하기 위한 기초를 마련하는 것.

제안 방법

• 완전한 특성 p의 체 k에 대해 윌팅 환 W(k) 위에서 일반화된 딜로나 모듈러스로 간주되는 게이지, φ-모듈러스, φ-게이지를 도입한다.
• 부드러운 다양체 X의 드 레함 복합체에서 유일한 게이지 G₁(X)를 구성하며, 프로베니우스 연산자와 미분 연산자를 갖춘다. 이는 엄격하고 효과적인 φ-게이지로 구성된다.
• 싱토피크 위상과 O₁^cris 를 갖는 링 층을 사용하여 φ-W_n-게이지 값을 갖는 게이지 코homology 이론 H^i_g(X, W_n)을 정의한다.
• 위상 α: X_syn → X_Zar에 대해 Rα_*G₁ ≅ G₁(X)라는 자연스러운 동형사상을 수립하여 게이지 코hom로와 드 레함 코homology를 연결한다.
• W_n-크리스탈 이론과 fppf/fpqc 위상을 사용하여 새로운 층 이론적 구성들을 정의하고 기존의 p- torsion 층들과 관련지운다.
• 고전적 세르 쌍대성과 드 레함 복합체의 구조를 활용하여 부드럽고 완전한 다양체의 경우 게이지 코hom로에 대해 피카르 에 대칭성을 증명한다.

실험 결과

연구 질문

• RQ1 l = p일 때 크리스탈린 코homology를 정밀화하고 에탈 코hom로의 실패를 극복할 수 있는 특성 p에서 p- torsion 층에 대한 코homology 이론을 어떻게 구성할 수 있는가?
• RQ2 μ_{p^n}과 Z/p^nZ와 같은 층의 구조를 통합된 프레임워크 안에서 포괄할 수 있는 딜로나 모듈러스의 적절한 일반화는 무엇인가?
• RQ3 프로베니우스 게이지는 양의 특성 기하학에서 기존의 구조들인 F-zips, 디스플레이, W_n-크리스탈과 어떻게 관련되어 있는가?
• RQ4 게이지 코hom로는 고전적 대칭 정리(예: 피카르 대칭)를 새로운 종류의 층 이론적 불변량으로 확장할 수 있는가?
• RQ5 싱토피크-에탈 위상은 p-adic 호지 이론적 대상들, 예를 들어 갈루아 표현의 특별한 섹션을 어떻게 실현하는가?

주요 결과

• 게이지 코hom로 H^i_g(X, W_n)은 유한형이며, d가 완전한 특성 p의 체 k 위의 부드럽고 완전한 다양체 X의 차원일 때 i ≥ d이면 영이 된다.
• 부드럽고 완전한 다양체의 경우, 게이지 코호몰로지에 대해 완전한 피카르 대칭이 성립한다: H^i_g(X, W_n) × H^{2d−i}_g(X, W_n) → H^{2d}_g(X, W_n) ≅ W_n(−d)이며, 이때 이중화 게이지 W_n(−d)는 프로베니우스 σ를 갖는다.
• α: X_syn → X_Zar가 사이트 사이의 사상일 때, 자연스러운 동형사상 Rα_*G₁ ≅ G₁(X)가 존재하며, 이는 포앙틴-메싱 동형사상을 통해 게이지 코호몰로지와 드 레함 복합체를 연결한다.
• 게이지 코호몰로지의 0차 부분은 크리스탈린 코호몰로지를 복원한다: H^i_g(X, W_n)^0 = H^i_cr(X/W_n).
• 드 레함 φ-게이지 G₁(X)는 프로베니우스와 미분 연산자를 갖는 드 레함 복합체에서 구성되며, [0, d]에 집중된 엄격하고 효과적인 게이지로 구성된다.
• 이 이론은 p-adic 호지 이론의 특별한 섹션에 대한 층 이론적 실현을 제공하며, 싱토피크 층에서 p^n 곱셈의 핵은 새로운 종류의 p- torsion 층으로 나타난다.