[논문 리뷰] Purity of reciprocity sheaves

Shuji Saito|arXiv (Cornell University)|2017. 04. 08.

Algebraic structures and combinatorial models참고 문헌 8인용 수 3

한 줄 요약

이 논문은 Voevodsky의 호모토피 불변성 프레임워크를 모듈러스 층으로 확장하여 Kahn-Saito-Yamazaki가 제기한 상호작용 층의 순수성에 대한 추측을 증명한다. 이를 통해 상호작용 층이 ${\overline{\square}}$-불변성과 국소 순수성을 만족함을 보이며, 비호모토피 불변성의 모티브 현상도 포괄하는 모듈러스를 가진 모티브의 삼각 범주를 구축할 수 있다.

ABSTRACT

The purpose of this paper is to prove a conjecture on reciprocity sheaves by Kahn-Saito-Yamazaki. This is accomplished by extending Voevodsky's fundamental results on homotopy invariant (pre)sheaves with transfers to its generalizations, reciprocity sheaves and cube-invariant sheaves in the context of theory of modulus (pre)sheave with transfers. The main results of this paper is expected to play a crucial role in deducing the main properties of the triangulated category of motives with modulus, which is a new triangulated category enlarging Voevodsky's triangulated category of motives to encompass non homotopy invariant motivic phenomena.

연구 동기 및 목표

• 모듈러스 층의 맥락에서 Kahn-Saito-Yamazaki의 상호작용 층에 대한 순수성 추측을 증명하기 위해.
• Voevodsky의 호모토피 불변 예비층과 전이를 갖는 이론을 상호작용 층과 큐브 불변 층의 더 넓은 프레임워크로 확장하기 위해.
• 비호모토피 불변 현상도 포함하는 모듈러스를 가진 모티브의 삼각 범주의 기본 성질을 확립하기 위해.
• 상호작용 층의 코homology 예비층이 ${\overline{\square}}$-불변이며 국소 단사성과 소멸 정리들을 만족함을 보여주기 위해.
• 모듈러스를 가진 모티브의 범주를 구성하는 데 핵심적인, ${\overline{\square}}$-불변성을 유지하는 층화 과정이 보존됨을 보여주기 위해.

제안 방법

• 호모토피 불변 층을 일반화하는 상호작용 층의 범주 ${\mathbf{RSC}}$를 ${\mathbf{PST}}$의 전체 아벨 부분범주로 도입한다.
• $h_0(\mathfrak{X})$를 쌍 $\mathfrak{X} = (\overline{X}, X_\infty)$를 사용하여 $\mathbb{Z}_{\operatorname{tr}}(X)$의 몫으로 정의한다. 여기서 $\overline{X}$는 완비이고 $X_\infty$는 경계 디바이저이다.
• 코어널 공식 $h_0(\mathfrak{X})(Y) = \operatorname{Coker}(\mathbf{\underline{M}Cor}(Y \otimes \overline{\square}, \mathfrak{X}) \xrightarrow{i_0^* - i_1^*} \mathbf{Cor}(Y,X))$를 통해 코homology 예비층의 ${\overline{\square}}$-불변성을 확립한다.
• 국소 단사성과 Gysin 사상 기법을 적용하여 모듈러스를 가진 상호작용 층의 순수성 정리를 증명한다.
• Nisnevich 코hom로지와 층화를 사용하여 $F \in \mathbf{HI} \cap \mathbf{NST}$에 대해 $H^i(X_{\operatorname{Nis}}, (F_{\operatorname{Nis}})_X) \simeq H^i(X_{\operatorname{Nis}}, (\underline{a}_{\operatorname{Nis}} G)_{(X,\emptyset)})$임을 보인다.
• 헤네시안 국소 환과 전순사상에 대한 기술적 보조정리를 사용하여 코hom로지적 추론에서 지지와 유한성 조건을 제어한다.

실험 결과

연구 질문

• RQ1 모듈러스 층의 맥락에서 상호작용 층의 순수성에 대한 추측이 맞는가?
• RQ2 상호작용 층 이론을 통해 Voevodsky의 호모토피 불변성 프레임워크를 비호모토피 불변 층으로 확장할 수 있는가?
• RQ3 상호작용 층의 코homology 예비층은 ${\overline{\square}}$-불변이며 국소 단사적인가?
• RQ4 ${\overline{\square}}$-불변 예비층의 층화가 ${\overline{\square}}$-불변성을 유지하는가?
• RQ5 상호작용 층의 순수성과 불변성 결과를 바탕으로 모듈러스를 가진 모티브의 삼각 범주를 구성할 수 있는가?

주요 결과

• Kahn-Saito-Yamazaki의 상호작용 층의 순수성 추측은 ${\overline{\square}}$-불변성과 국소 단사성 기법을 통해 증명된다.
• 상호작용 층의 코homology 예비층이 ${\overline{\square}}$-불변임이 입증되어, Voevodsky의 호모토피 불변성을 모듈러스 설정으로 일반화한다.
• 층화 함자에서 ${\overline{\square}}$-불변성이 유지되며, 이는 ${\overline{\square}}$-불변 예비층의 Nisnevich 층화가 여전히 ${\overline{\square}}$-불변임을 보장한다.
• ${\mathbf{RSC}}$ 범주는 ${\mathbf{HI}}$를 포함하고 있으며, $\Omega^i$, $W_n\Omega^i$, 그리고 유니포텐트 부분을 가진 대수적 군의 예비층과 같은 중요한 대상을 포함한다.
• Gysin 사상과 피브레이션 기법을 사용하여 $F \in \mathbf{HI} \cap \mathbf{NST}$에 대해 $H^i(X_{\operatorname{Nis}}, (F_{\operatorname{Nis}})_X) \simeq H^i(X_{\operatorname{Nis}}, (\underline{a}_{\operatorname{Nis}} G)_{(X,\emptyset)})$임을 보였으며, 이는 순수성 결과를 뒷받침한다.
• 지지가 있는 코homology에 대한 소멸 정리가 확립되어, $F \in \mathbf{RSC}$에 대해 $H^i_c(X, F) = 0$ for $i < 0$임을 보였으며, 이는 모듈러스를 가진 모티브의 삼각적 구조에 필수적이다.