[論文レビュー] Reciprocity sheaves and logarithmic motives

Shuji Saito|arXiv (Cornell University)|Jul 1, 2021

Algebraic Geometry and Number Theory参考文献 6被引用数 7

ひとこと要約

本稿では、再帰的層と対数的モチーフの間の深い関係を確立し、任意の再帰的層のNisnevichコホロジーが、三角化された対数的モチーフの圏 $\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}}$.

研究の動機と目的

• 微分形式やde Rham-Witt層のような $\mathbf{A}^1$-不変でない現象を含むように、Voevodskyのモチーフ理論を拡張すること。
• Kahn-Saito-Yamazakiによって導入された再帰的層の理論と、Binda, Park, Østværによって開発された三角化された対数的モチーフの圏 $\mathbf{logDM}^{{\operatorname{eff}}}$ を結びつけること。
• 再帰的層のNisnevichコホロジーが $\mathbf{logDM}^{{\operatorname{eff}}}$ において表現可能であることを示し、Voevodskyの基本的同型 (0.1.1) を $\mathbf{A}^1$-不変層を超えて一般化すること。

提案手法

• 再帰的層 $F$ の対数的バージョン $F^\log$ を、対数的有限対応の理論と $\underline{\omega}^{\mathbf{CI}}$-構成を用いて割り当てる関手 $\mathcal{L}og: \mathbf{RSC}_{\operatorname{Nis}} \to \mathbf{Shv}^{ltr}_{dNis}$ を構成する。
• $F^\log$ が厳密に $\overline{\square}$-不変であることを証明し、これは $\mathbf{logDM}^{{\operatorname{eff}}}$ における表現可能性に不可欠である。これには、除数的サイトを介したコホロジーの比較と、$\underline{\omega}^{\mathbf{CI}}F$ の半純粋性を用いる。
• 滑らかなスキーム上の $F$ のNisnevichコホロジーと、対数的スキーム上の $F^\log$ のコホロジーとの間の比較同型を確立する。これには Theorem 5.1 と [1, Th. 5.1.8] の結果に依拠する。
• 対数的構造が自明な場合への制限によって、$\mathbf{Shv}^{ltr}_{dNis}$ 内の写像が決定されることを示し、これにより関手 $\mathcal{L}og$ が完全忠実であることを証明する。対数的準同型と有限対応の整合性を用いる。
• 関手 $\mathcal{L}og$ の正確性を証明するため、$\mathfrak{X}^{MP}$ 上での $\underline{\omega}^{\mathbf{CI}}F$ の正確性に還元する。これには Corollary 2.6(2) を利用する。
• $F^\log(X,\mathrm{triv}) = F(X)$ for $X \in \mathbf{Sm}$ を用いて忠実性を保証し、元の層をその対数的バージョンから再構成可能であることを示す。

実験結果

リサーチクエスチョン

• 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) を一般化している。
• 関手 $\mathcal{L}og: \mathbf{RSC}_{\operatorname{Nis}} \to \mathbf{Shv}^{ltr}_{dNis}$ は完全忠実であり、$F^\log(X,\mathrm{triv}) = F(X)$ for all smooth $X$ を満たすため忠実性が保証されている。
• 対数的層 $F^\log$ は厳密に $\overline{\square}$-不変であり、これは $\mathbf{logDM}^{{\operatorname{eff}}}$ における表現可能性の重要な条件である。除数的サイトにおけるコホロジーの比較により確立された。
• $\mathcal{L}og$ の正確性は、Corollary 2.6(2) によって保証される $\mathfrak{X}^{MP}$ 上での $\underline{\omega}^{\mathbf{CI}}F$ の正確性に還元される。
• $\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$-不変でない層へと拡張している。