[논문 리뷰] Reciprocity sheaves and logarithmic motives

Shuji Saito|arXiv (Cornell University)|2021. 07. 01.

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

한 줄 요약

이 논문은 복소수의 코homology 이론이 로그 모티프의 삼각형 카테고리 $\mathbf{logDM}^{{\operatorname{eff}}}$ 안에서 표현 가능하다는 것을 증명함으로써, 상반성의 셰이프와 로그 모티프 사이의 깊은 연결 고리를 확립한다. 핵심 결과는 각 상반성의 셰이프에 대해 그 로그 버전을 부여하는 함자 $\mathcal{L}og: \mathbf{RSC}_{\operatorname{Nis}} \to \mathbf{Shv}^{ltr}_{dNis}$ 가 정확하고 완전한 함자임을 보여주며, 이는 상반성의 셰이프의 카테고리가 로그 모티프의 프레임워크에 통합됨을 의미한다.

ABSTRACT

We connect two developments aiming at extending Voevodsky's theory of motives over a field in such a way to encompass non-$\mathbf{A}^1$-invariant phenomina. One is theory of reciprocity sheaves introduced by Kahn-Saito-Yamazaki. Another is theory of the triangulated category $\operatorname{\mathbf{logDM}}^{\operatorname{eff}}$ of logarithmic motives launched by Binda, Park and Østvær. We prove that the Nisnevich cohomology of reciprocity sheaves is representable in $\operatorname{\mathbf{logDM}}^{\operatorname{eff}}$.

연구 동기 및 목표

• 비-$\mathbf{A}^1$-불변 현상(예: 미분형식과 de Rham-Witt 셰이프)을 포함하도록 Voevodsky의 모티프 이론을 확장하기 위해.
• Kahn-Saito-Yamazaki가 도입한 상반성의 셰이프 이론을 Binda, Park, Østvær가 개발한 삼각형 카테고리 $\mathbf{logDM}^{{\operatorname{eff}}}$의 로그 모티프 이론과 연결하기 위해.
• 모든 상반성의 셰이프 $F$에 대해 Nisnevich 코homology가 $\mathbf{logDM}^{{\operatorname{eff}}}$ 안에서 표현 가능하다는 것을 보여주며, Voevodsky의 기본 등식 (0.1.1)을 $\mathbf{A}^1$-불변 셰이프를 초월하여 일반화하기 위해.

제안 방법

• 각 상반성의 셰이프 $F$에 대해 그 로그 버전인 $F^\log$를 부여하는 함자 $\mathcal{L}og: \mathbf{RSC}_{\operatorname{Nis}} \to \mathbf{Shv}^{ltr}_{dNis}$ 를 구성하기 위해, 로그 유한 대응과 $\underline{\omega}^{\mathbf{CI}}$-구성 이론을 사용한다.
• 표현 가능성의 핵심 조건인 $F^\log$ 가 엄격하게 $\overline{\square}$-불변임을 보이기 위해, 분할적 사이트와 $\underline{\omega}^{\mathbf{CI}}F$ 의 반순수성에 기반한 코homology 비교를 수행한다.
• 부드러운 스킴에서 $F$ 의 Nisnevich 코hom로지와 로그 스킴에서 $F^\log$ 의 코호몰로지 사이의 비교 등식을 수립하기 위해, 정리 5.1 과 [1, 정리 5.1.8] 의 결과에 의존한다.
• 로거스의 사상이 유한 대응과 호환됨을 이용하여, $\mathbf{Shv}^{ltr}_{dNis}$ 안의 사상들이 자명한 로그 구조로의 제한에 의해 결정됨을 보여, 함자 $\mathcal{L}og$ 가 완전한 함자임을 입증한다.
• 코로나리아 2.6(2) 를 활용하여, $\mathfrak{X}^{MP}$ 에서의 $\underline{\omega}^{\mathbf{CI}}F$ 의 정확성으로 귀결함으로써, $\mathcal{L}og$ 의 정확성을 증명한다.
• $X \in \mathbf{Sm}$ 에 대해 $F^\log(X,\mathrm{triv}) = F(X)$ 임을 이용하여, 충실성과 원래 셰이프의 재구성 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 상반성의 셰이프의 Nisnevich 코호몰로지가 카테고리 $\mathbf{logDM}^{{\operatorname{eff}}}$ 에서 표현 가능할 수 있는가?
• RQ2 카테고리 $\mathbf{RSC}_{\operatorname{Nis}}$ 에서의 상반성의 셰이프에서 카테고리 $\mathbf{Shv}^{ltr}_{dNis}$ 의 로그 전이 셰이프로의 완전한 함자와 정확한 함자가 존재하는가?
• RQ3 로그 구조 $F \mapsto F^\log$ 가 상반성의 셰이프의 코호몰로지 구조를 유지하는가? 특히, 분할적 사이트와의 관계에서나, 블로우업의 맥락에서 어떻게 작용하는가?
• RQ4 $F^\log$ 의 $\overline{\square}$-불변성은 $\mathbf{logDM}^{{\operatorname{eff}}}$ 에서의 코호몰로지 표현 가능성과 어떻게 관련이 있는가?
• RQ5 함자 $\mathcal{L}og$ 는 그 로그 대응체로부터 원래의 상반성의 셰이프를 어느 정도 복원할 수 있는가?

주요 결과

• 모든 상반성의 셰이프 $F \in \mathbf{RSC}_{\operatorname{Nis}}$ 에 대해 Nisnevich 코호몰로지가 $\mathbf{logDM}^{{\operatorname{eff}}}$ 에서 표현 가능하며, 이는 $\mathbf{A}^1$-불변 셰이프를 초월하여 Voevodsky의 등식 (0.1.1) 을 일반화한다.
• $F \mapsto F^\log$ 를 정의하는 함자 $\mathcal{L}og: \mathbf{RSC}_{\operatorname{Nis}} \to \mathbf{Shv}^{ltr}_{dNis}$ 는 완전한 함자이며, 모든 부드러운 $X$ 에 대해 $F^\log(X,\mathrm{triv}) = F(X)$ 이므로 충실성이 보장된다.
• 로그 셰이프 $F^\log$ 는 엄격하게 $\overline{\square}$-불변이며, 이는 $\mathbf{logDM}^{{\operatorname{eff}}}$ 에서의 표현 가능성에 핵심 조건이다. 이는 분할적 사이트에서의 코호몰로지 비교를 통해 입증되었다.
• 코로나리아 2.6(2) 가 보장하는 lin $\mathfrak{X}^{MP}$ 에서의 $\underline{\omega}^{\mathbf{CI}}F$ 의 정확성에 기반하여, $\mathcal{L}og$ 의 정확성이 도출된다.
• $\underline{\omega}^{\mathbf{CI}}$ 와 $\mathcal{L}og$-함자를 통한 $F^\log$ 의 구성은 로그 유한 대응과 Nisnevich 위상에 대해 호환성을 보장한다.
• 모든 $F \in \mathbf{RSC}_{\operatorname{Nis}}$ 에 대해 등식 $H^i_{\operatorname{Nis}}(X, F_X) \simeq \operatorname{Hom}_{\mathbf{logDM}^{{\operatorname{eff}}}}(M(X), L^{\mathbf{A}^1}F^\log[i])$ 가 성립하며, 이는 Voevodsky의 표현 가능성 이론을 비-$\mathbf{A}^1$-불변 셰이프로 확장한다.