[논문 리뷰] Geometric syntomic cohomology and vector bundles on the Fargues-Fontaine curve

Wiesława Nizioł|arXiv (Cornell University)|2016. 05. 23.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 4

한 줄 요약

이 논문은 $\overline{K}$ 위의 다양체에 대한 기하적 심토믹 코homology가 바나흐-콜레즈 공간의 범주로 자연스럽게 올라간다는 것을 증명하며, 비일반적인 경우에 더 풍부한 $p$-진 호지 이론적 정보를 담고 있는 새로운 강한 구조를 드러낸다. 이 논문은 기하적 심토믹 코homology가 $\overline{K}$ 위의 효과적인 필터링된 $\varphi$-모듈의 범주에서 $\operatorname{Ext}$ 군을 계산하며, 비일반적인 설정에서 비영인 $C$-랭크를 가진 유한차원 바나흐-콜레즈 공간임을 보여주며, 타원곡선의 대칭 제곱을 통해 예시화된다.

ABSTRACT

We show that geometric syntomic cohomology lifts canonically to the category of Banach-Colmez spaces and study its relation to extensions of modifications of vector bundles on the Fargues-Fontaine curve. We include some computations of geometric syntomic cohomology Spaces: they are finite rank $Q_p$-vector spaces for ordinary varieties, but in the nonordinary case, these cohomology Spaces carry much more information, in particular they can have a non-trivial $C$-rank. This dichotomy is reminiscent of the Hodge-Tate period map for $p$-divisible groups.

연구 동기 및 목표

• 기하적 심토믹 코homology가 바나흐-콜레즈 공간의 범주로 자연스럽게 올라간다는 것을 확립하기.
• 기하적 심토믹 코호모로지와 파르가스-포인타인 곡선 위의 벡터 번들의 수정에 대한 확장 간의 관계를 명확히 하기.
• 기하적 심토믹 코호모로지가 절대 $p$-진 호지 코호모로지임을 보이며, $\overline{K}$ 위의 효과적인 필터링된 $\varphi$-모듈의 범주에서 $\operatorname{Ext}$ 군으로 계산될 수 있음을 보여주기.
• 기하적 심토믹 코호모로지 군의 구조를 분석하며, 특히 바나흐-콜레즈 공간으로서의 차원을 분석하여 일반적이고 비일반적인 경우를 구분하기.

제안 방법

• 기하적 크리스탈린 코호모로지의 필터링된 프로베니우스 고유공간으로서 기하적 심토믹 코호모로지를 정의한다: $\mathrm{R}\Gamma_{\operatorname{syn}}(\mathcal{X}_{\mathcal{O}_{\overline{K}}},r) = [\mathrm{R}\Gamma_{\operatorname{cr}}(\mathcal{X}_{\mathcal{O}_{\overline{K}}})^{\varphi=p^r} \to \mathrm{R}\Gamma_{\operatorname{cr}}(\mathcal{X}_{\mathcal{O}_{\overline{K}}})/F^r]$.
• 이 복합체가 자연스럽게 유한차원 바나흐-콜레즈 공간의 복합체로 올라가며, 기하적 심토믹 코호모로지에 강한 $p$-진 구조를 제공한다.
• 기하적 $p$-진 호지 복합체 이론과 빌린슨의 기본 보조정리(Beilinson’s Basic Lemma)를 사용하여 심토믹 코호모로지를 $\overline{K}$ 위의 효과적인 필터링된 $\varphi$-모듈의 범주에서 $\operatorname{Ext}$ 군과 연결한다.
• 복합체 $C(X_{\overline{K}})$와 그 부분복합체 $C^+(X_{\overline{K}})$를 포함하는 특별한 삼각형을 구성하고, 몫의 갈루아 코호모로지의 약순성(acyclicity)을 증명하여 주요 비교 결과를 확립한다.
• 기하적 심토믹 코호모로지 군의 $C$-랭크를 분석하며, 딜람 및 하이도-카토 코호모로지의 구조를 사용하여 비일반적인 경우에 비영임을 보인다.
• 일반적인 다양체, 곡선, 타원곡선의 곱에 대해 명시적 계산을 수행하며, $H^0_+(\cdot)$와 추적 사상(trace map)를 계산하여 비영인 $C$-랭크를 설명한다.

실험 결과

연구 질문

• RQ1 기하적 심토믹 코호모로지와 파르가스-포인타인 곡선 위의 벡터 번들의 수정에 대한 확장 간의 관계는 무엇인가?
• RQ2 기하적 심토믹 코호모로지가 바나흐-콜레즈 공간으로서 정확히 어떤 구조를 가지며, 일반적이고 비일반적인 다양체 간에 어떻게 다를까?
• RQ3 기하적 심토믹 코호모로지가 바나흐-콜레즈 공간의 범주로 자연스럽게 올라갈 수 있으며, 이는 그 $p$-진 호지 이론적 성질에 대해 어떤 함의를 갖는가?
• RQ4 $C$-랭크는 기하적 심토믹 코호모로지에서 어떤 역할을 하며, 비일반적 행동을 감지하는 데 어떻게 기여하는가?
• RQ5 타원곡선의 대칭 제곱의 기하적 심토믹 코호모로지는 일반적인 경우에 비해 어떤 더 풍부한 구조를 보이는가?

주요 결과

• 기하적 심토믹 코호모로지가 바나흐-콜레즈 공간의 범주로 자연스럽게 올라가며, 고전적 설정에서는 존재하지 않는 강한 $p$-진 구조를 부여한다.
• 일반적인 다양체의 경우, 기하적 심토믹 코호모로지 군은 유한차원 $\mathbf{Q}_p$-벡터 공간이므로, 차원 $(0,h)$인 바나흐-콜레즈 공간이다.
• 비일반적인 경우, 기하적 심토믹 코호모로지 군은 비영인 $C$-랭크를 가질 수 있으며, 즉 차원 $(d,h)$에서 $d \geq 1$인 경우로, 추가적인 $p$-진 호지 이론적 정보를 담고 있다.
• 코호모로지 군은 $\overline{K}$ 위의 효과적인 필터링된 $\varphi$-모듈의 범주에서 $\operatorname{Ext}$ 군과 동형이며, 이는 기하적 심토믹 코호모로지가 절대 $p$-진 호지 코호모로지임을 증명한다.
• 명시적 계산을 통해 타원곡선의 대칭 제곱의 경우 $H^0_+$ 군이 비영인 $C$-랭크를 가지며, 비일반적 현상의 존재를 보여준다.
• 복합체 $B(\mathrm{R}\Gamma^B_{\operatorname{dR}}(X_{\overline{K}}))$의 갈루아 코호모로지가 약순하며, 이는 주요 비교 결과와 심토믹 주기 지도의 구성에 필수적이다.