[논문 리뷰] Comparison between rigid syntomic and crystalline syntomic cohomology for strictly semistable log schemes with boundary

Veronika Ertl, Kazuki Yamada|arXiv (Cornell University)|2018. 05. 14.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 5

한 줄 요약

이 논문은 혼합 특성수 (0,p)의 완비 이산 평가환환 위의 엄격하게 세미안정(log) 스킴에 대해 강성 구조 코homology를 도입하고, 양호한 컴actsification이 존재할 경우 Nekovář–Nizioł의 결정 구조 코homology와의 비교 등장사상(비교 등장사상)을 확립한다. 주요 기술적 진전은 Große-Klönne의 강성 Hyodo–Kato 이론을 수정하고, 경계를 가진 로그 스킴으로 일반화함으로써, 고유값 $p^r$, $r \geq -1$에 대해 프로베니우스 고유공간에서 프로베니우스와 Hyodo–Kato 사상 간의 호환성을 보장하는 정규 복합체를 가능하게 하였다. 결과적으로, 컴actsification이 가능한 경우 강성 및 결정 구조 코homology 간의 호환성이 확인된다.

ABSTRACT

We introduce rigid syntomic cohomology for strictly semistable log schemes over a complete discrete valuation ring of mixed characteristic (0,p). In case a good compactification exists, we compare this cohomology theory to Nekovář-Nizioł's crystalline syntomic cohomology of the generic fibre. The main ingredients are a modification of Große-Klönne's rigid Hyodo-Kato theory and a generalisation of it for strictly semistable log schemes with boundary.

연구 동기 및 목표

• 혼합 특성수 (0,p)에서 엄격하게 세미안정 로그 스킴에 대해 순수 분석적이고 p-진 조건자 계산에 적합한 p-진 코hom로지 이론을 개발한다.
• 국소 양상에 대한 의존성으로 인한 로그 강성 코hom로지의 기술적 과제를 극복하기 위해 정규 강성 복합체를 구축한다.
• Große-Klönne의 강성 Hyodo–Kato 이론을 경계를 가진 로그 스킴으로 일반화하여, 결정 구조 코호몰로지와의 비교를 가능하게 한다.
• 양호한 컴actsification이 존재하는 경우 강성 및 결정 구조 코호몰로지 간의 비교 등장사상을 확립한다.
• 고유값 $p^r$, $r \geq -1$에 대해 강성 및 결정 구조 Hyodo–Kato 사상이 프로베니우스 고유공간에서 호환됨을 보인다.

제안 방법

• Große-Klönne의 강성 Hyodo–Kato 이론의 수정을 통해 미세 로그 스킴 및 경계를 가진 로그 스킴에 대해 정규 강성 복합체를 구성한다.
• 단순 복합체 해상 및 경계를 가진 T-로그 스킴을 이용해 경계가 있는 엄격하게 세미안정 로그 스킴에 대한 강성 Hyodo–Kato 코호몰로지를 정의한다.
• 강성 및 결정 코호몰로지 간 비교를 위해 로그 수렴 코호몰로지를 다리로 활용하며, 결정 및 수렴 Poincaré 보조정리를 활용한다.
• 강성 Hyodo–Kato 복합체에서 기저 변경 및 프로베니우스 구조의 호환성을 확립하여, 프로베니우스 고유공간과의 호환성을 보장한다.
• 강성, 수렴, 결정 코호몰로지 이론을 포함하는 교환 다이어그램을 구성하고, 비교 사상과 준등형사상( quasi-isomorphism)을 포함한다.
• 정규 사상 $\mathrm{sp}: R\Gamma_{\mathrm{dR}}(X_K) \to R\Gamma_{\mathrm{rig}}(X_0/O_\pi^K)$ 가 준등형사상임을 증명함으로써, 프로베니우스 고유공간에서 Hyodo–Kato 사상 간 호환성이 확인된다.

실험 결과

연구 질문

• RQ1 혼합 특성수 (0,p)에서 경계를 가진 엄격하게 세미안정 로그 스킴에 대해 강성 구조 코호몰로지를 어떻게 정의할 수 있는가?
• RQ2 함수적 및 프로베니우스와의 호환성을 확보하기 위해 Große-Klönne의 강성 Hyodo–Kato 이론에 어떤 수정이 필요한가?
• RQ3 국소 양상에 대한 의존성을 피하는 정규 강성 코호몰로지 복합체의 구성이 가능한가?
• RQ4 양호한 컴actsification이 존재할 경우 강성 구조 코호몰로지를 결정 구조 코호몰로지와 비교할 수 있는가?
• RQ5 고유값 $p^r$, $r \geq -1$에 대해 강성 및 결정 구조 Hyodo–Kato 사상은 프로베니우스 고유공간에서 호환되는가?

주요 결과

• 완비 이산 평가환환의 혼합 특성수 (0,p) 위의 엄격하게 세미안정 로그 스킴에 대해 경계를 가진 강성 구조 코호몰로지가 구성되었다.
• 로그 수렴 코호몰로지 및 결정 코호몰로지 다이어그램을 통한 분석을 통해, 고유값 $p^r$, $r \geq -1$에 대해 강성 Hyodo–Kato 사상이 결정 구조 Hyodo–Kato 사상과 프로베니우스 고유공간에서 호환됨을 보였다.
• 정규 사상 $\mathrm{sp}: R\Gamma_{\mathrm{dR}}(X_K) \to R\Gamma_{\mathrm{rig}}(X_0/O_\pi^K)$ 가 준등형사상임을 증명함으로써, Hyodo–Kato 사상 간 호환성이 확인되었다.
• 강성 구조 코호몰로지의 구성은 쿠퍼 곱과 호환되며, 이는 [8, §2.4]의 방법과 동일한 방식을 따른다.
• $R\Gamma_{\mathrm{rig}}((V^\bullet, P^\bullet)/T)$ 에서 프로베니우스 자기사상은 잘 정의되어 있으며, 특수 섹션의 강성 코호몰로지에서의 프로베니우스와 호환된다.
• $r \geq 0$ 인 경우, $R\Gamma_{\mathrm{rig}}^{\mathrm{syn}}((X_0,X_0), r, \pi)$ 와 $R\Gamma_{\mathrm{cr}}^{\mathrm{syn}}(X, r, \pi)$ 를 정의하는 다이어그램 사이에 준등형사상이 확립되었으며, 이는 컴actsification 가능한 경우의 비교를 확인한다.