[논문 리뷰] On $p$-adic absolute Hodge cohomology and syntomic coefficients, I

Frédéric Déglise, Nizio{\l}, Wies{\l}awa|arXiv (Cornell University)|2015. 08. 11.

Algebraic Geometry and Number Theory인용 수 2

한 줄 요약

이 논문은 잠재적으로 준정적 갈루아 표현의 도파민 카테고리에서 유도된 호모로지로 하여금 심토믹 코homology를 p-진 절대 호지 코hom로 정의함으로써, p-진 절대 호지 코homology로써의 심토믹 코homology를 확립한다. 모티브 호모토피 이론을 통해 심토믹 계수를 도입하고, 고유이고 평탄한 다양체에 대해 심토믹 내림차순 스펙트럴 시퀀스가 E2에서 분리됨을 증명하며, 혼합 모티브의 p-진 실현과 비교 동형사상들을 제공함으로써 이전의 양호한 감소 및 준정적 감소의 경우를 일반화한다.

ABSTRACT

We interpret syntomic cohomology of Nekov\'a\v{r}-Nizio{\l} as a $p$-adic absolute Hodge cohomology. This is analogous to the interpretation of Deligne-Beilinson cohomology as an absolute Hodge cohomology by Beilinson and generalizes the results of Bannai and Chiarellotto, Ciccioni, Mazzari in the good reduction case, and of Yamada in the semistable reduction case. This interpretation yields a simple construction of the syntomic descent spectral sequence and its degeneration for proper and smooth varieties. We introduce syntomic coefficients and show that in dimension zero they form a full triangulated subcategory of the derived category of potentially semistable Galois representations. Along the way, we obtain $p$-adic realizations of mixed motives including $p$-adic comparison isomorphisms. We apply this to the motivic fundamental group generalizing results of Olsson and Vologodsky.

연구 동기 및 목표

• 심토믹 코homology를 베일린슨의 절대 호지 코homology의 p-진 유사체로 해석함으로써, 델리뉴-베일린슨 코homology를 p-진 설정으로 확장한다.
• 유입 가능한 필터링된 (ϕ,N,GK)-모듈의 도파민 카테고리로 구성된 p-진 호지 구조의 도파민 카테고리와 이를 통해 심토믹 코homology를 이 카테고리에서의 유도된 호모로지로 정의한다.
• 심토믹 계수를 모티브 호모토피 이론을 통해 유도된 dg-대수 Esyn 위의 모듈로 일반화하여, 국소적으로 일정한 계수 체계를 가능하게 한다.
• 델리뉴의 고전적 방법을 사용하여 고유하고 평탄한 다양체에 대해 심토믹 내림차순 스펙트럴 시퀀스가 E2에서 분리됨을 증명한다.
• 노리와 보에보츠키의 혼합 모티브에 대한 p-진 실현을 제공하며, 에테일 및 드 람 코homology와의 비교 동형사상을 포함한다.

제안 방법

• 특수 섹션(프로페서 및 모노드로미)과 일반 섹션(호지 필터링)의 카테고리들을 접합하여, 유입 가능한 p-진 호지 복합체의 dg-카테고리를 구성한다.
• RΓDFK(XK, r)을 필터링된 (ϕ,N,GK)-모듈의 도파민 카테고리에서 잠재적으로 준정적 갈루아 표현의 도파민 카테고리로 가는 t-구조 등가 사상 θ⁻¹에 의한 역상으로 정의한다.
• 베일린슨의 기본 보조정리(Basic Lemma)를 사용하여, 분할과 ˇCech 접합을 통해 애매한 다양체에 대해 잠재적으로 준정적 복합체를 정의함으로써, 세포 코homology의 p-진 유사체를 도출한다.
• 심토믹 코homology를 모티브 dg-대수 Esyn을 통해 표현하여, 보에보츠키의 모티브 M(X)에 대해 RΓsyn(X, r) = R HomDMh(K,Qp)(M(X), Esyn(r))가 성립하도록 한다.
• Esyn 위의 모듈로 심토믹 계수를 정의하며, RΓH(X, M) = R HomEsyn−modX(Esyn,X, M)로 코homology를 표현함으로써 모티브와의 호환성을 확보한다.
• p-진 비교 정리(예: 베일린슨-히요도-카토)를 모티브 수준으로 올리며, 고시스인 사상과 곱셈과의 호환성을 보장한다.

실험 결과

연구 질문

• RQ1 심토믹 코homology는 베일린슨의 델리뉴-베일린슨 코호몰로지에 대한 p-진 유사체로 간주될 수 있는가?
• RQ2 p-진 호지 모듈의 일반화와 6-함수 형식체계를 지원하는 방식으로 심토믹 계수를 체계적으로 정의할 수 있는가?
• RQ3 고유하고 평탄한 다양체에 대해 심토믹 내림차순 스펙트럴 시퀀스는 E2에서 분리되는가? 만약 그렇다면 그 이유는 무엇인가?
• RQ4 혼합 모티브의 p-진 실현(Nori 및 Voevodsky)은 갈루아 표현과 어떻게 관련되어 있으며, 비교 동형사상은 무엇인가?
• RQ5 기하, 노리-기하, 그리고 구조적 p-진 갈루아 표현의 카테고리들의 구조적 성질은 무엇인가?

주요 결과

• r ≥ 0에 대해 심토믹 코호몰로지 RΓsyn(X, r)은 RΓH(X, r) := R HomDb(DFK)(K(0), RΓDFK(XK, r))와 동형이 되며, 이는 p-진 절대 호지 코호몰로지로의 정의를 확립한다.
• 고유하고 평탄한 X에 대해 심토믹 내림차순 스펙트럴 시퀀스 H^i_st(GK, H^j_ét(XK, Qp(r))) ⇒ H^{i+j}_H(X, r)는 하드 레프슈츠 정리에 의해 E2에서 분리된다.
• 심토믹 모듈의 카테고리(Esyn-모듈)는 잠재적으로 준정적 갈루아 표현의 도파민 카테고리의 전형적인 삼각형 부분카테고리이다.
• p-진 실현 함자 RΓpst : Db(DFK) → Db(Reppst(GK))는 전사적이며, 모티브 6-함수 형식체계와 호환된다.
• 기하적 및 구조적 p-진 갈루아 표현은 텐서곱과 타원형 변환에 대해 안정하며, 모든 H^i_ét(XK, Qp(r))를 포함한다. 여기서 X는 평탄한 프로젝티브 다양체이다.
• 구조적 표현의 카테고리 Repc(GK)는 모든 기하 표현의 잠재적으로 준정적 확장들을 포함하며, 확장과 재취소에 대해 닫혀 있다.