[論文レビュー] Purity of reciprocity sheaves

Shuji Saito|arXiv (Cornell University)|Apr 8, 2017

Algebraic structures and combinatorial models参考文献 8被引用数 3

ひとこと要約

本稿は、ヴォエヴォズキーのホモトピー不変性フレームワークをモジュラス・シャーファーへ拡張することで、カーン＝サイトウ＝山崎による再帰的シャーファーの純粋性に関する予想を証明する。再帰的シャーファーが ${\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.

研究の動機と目的

• 再帰的シャーファーの純粋性に関するカーン＝サイトウ＝山崎の予想をモジュラス・シャーファーの文脈で証明すること。
• ヴォエヴォズキーのホモトピー不変な移動付きプレシャーファー理論を、再帰的シャーファーおよび立方体不変シャーファーのより広い枠組みへ拡張すること。
• モジュラス付きモチーフの三角圏の基礎的性質を確立することにより、非ホモトピー不変現象を含むヴォエヴォズキーの圏を一般化すること。
• 再帰的シャーファーのコホモロジー・プレシャーファーが ${\overline{\square}}$-不変であり、局所単射性および消滅定理を満たすことを示すこと。
• シャーファイフィケーション過程が ${\overline{\square}}$-不変性を保存することを示し、モジュラス付きモチーフの圏の構成に不可欠な要因を提供すること。

提案手法

• 再帰的シャーファーの圏 ${\mathbf{RSC}}$ を、${\mathbf{PST}}$ の完全なアーベル部分圏として導入し、ホモトピー不変シャーファーを一般化する。
• $\mathfrak{X} = (\overline{X}, X_\infty)$ とし、$\overline{X}$ をコンパクトかつ $X_\infty$ を境界除数とするとき、$h_0(\mathfrak{X})$ を $\mathbb{Z}_{\operatorname{tr}}(X)$ の商として定義する。
• ココール・フォーミュラ $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))$ を用いて、コホモロジー・プレシャーファーの ${\overline{\square}}$-不変性を確立する。
• 局所単射性およびギジン写像の技法を適用し、モジュラス付き再帰的シャーファーの純粋性定理を証明する。
• ニスネヴィッチ・コホモロジーおよびシャーファイフィケーションを用いて、$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)})$ を示す。
• ヘンゼリアン局所環および固有写像に関する技術的補題を用いて、コホモロジカルな議論における補助および有限性条件を制御する。

実験結果

リサーチクエスチョン

• RQ1 モジュラス・シャーファーの文脈において、再帰的シャーファーの純粋性に関する予想は成立するか？
• RQ2 再帰的シャーファー理論を用いて、ヴォエヴォズキーのホモトピー不変性フレームワークを非ホモトピー不変シャーファーへ拡張できるか？
• RQ3 再帰的シャーファーのコホモロジー・プレシャーファーは ${\overline{\square}}$-不変であり、局所的に単射的か？
• RQ4 ${\overline{\square}}$-不変プレシャーファーのシャーファイフィケーションが ${\overline{\square}}$-不変性を保存するか？
• RQ5 再帰的シャーファーの純粋性および不変性の結果を用いて、モジュラス付きモチーフの三角圏を構成できるか？

主な発見

• カーン＝サイトウ＝山崎の再帰的シャーファーの純粋性に関する予想は、${\overline{\square}}$-不変性および局所単射性の技法を用いて証明された。
• 再帰的シャーファーのコホモロジー・プレシャーファーが ${\overline{\square}}$-不変であることが示され、ヴォエヴォズキーのホモトピー不変性がモジュラス設定へ一般化された。
• シャーファイフィケーション関手は ${\overline{\square}}$-不変性を保存し、${\overline{\square}}$-不変プレシャーファーのニスネヴィッチ・シャーファイフィケーションが依然として ${\overline{\square}}$-不変であることが保証された。
• ${\mathbf{RSC}}$ は ${\mathbf{HI}}$ を含み、$\Omega^i$、$W_n\Omega^i$、および単位的部が存在する代数群のプレシャーファーを含む重要な対象を含む。
• ギジン写像およびファイブレーション技法を用いて、$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)})$ を示し、純粋性結果を裏付ける。
• 補助を持つコホモロジーの消滅定理が確立され、$i < 0$ および $F \in \mathbf{RSC}$ に対して $H^i_c(X, F) = 0$ が成り立つことが示され、モジュラス付きモチーフの三角構造にとって不可欠な要因となった。