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

Bruno Kahn, Shuji Saito+1 more|arXiv (Cornell University)|Jul 24, 2017

Algebraic structures and combinatorial models被引用数 8

ひとこと要約

この論文は、特異点の解消を仮定することで、モジュラス付きモチーフと再帰的ニスネーヴィチ・シェーブととの間に深い接続を確立し、有効モチービック複体の三角的圏が、再帰的シェーブと同値な心臓を持つ t 構造を備えることを証明する。さらに、この圏内の Hom 群が、モジュラス付きサスリン複体のハイパーグループと同型であることを特定し、これにより、モジュラス付きサスリンホモロジーに対する新しいメイヤー＝ビエトリス系列が得られる。

ABSTRACT

We exhibit an intimate relationship between motives with modulus from arXiv:1511.07124 [math.AG] and sheaves from arXiv:1402.4201 [math.AG]. Assuming resolution of singularities, we prove that the triangulated category of effective motivic complexes $\mathbf{MDM}^{\mathrm{eff}}$ admits a $t$-structure whose heart is equivalent to the category of reciprocity Nisnevich sheaves. We also give an isomorphism between some Hom groups in $\mathbf{MDM}^{\mathrm{eff}}$ and the hypercohomology of some Suslin complexes with modulus. As an application, we prove some Mayer-Vietoris sequences for Suslin homology with modulus.

研究の動機と目的

• モジュラス付きモチーフと再帰的ニスネーヴィチ・シェーブとの間の構造的関係を確立すること。
• 有効モチービック複体の圏に、再帰的シェーブの圏と同値な心臓を持つ t 構造の存在を証明すること。
• モチービック圏内の Hom 群が、モジュラス付きサスリン複体のハイパーグループとどのように関係するかを特定すること。
• この枠組みを用いて、モジュラス付きサスリンホモロジーに対する新しいメイヤー＝ビエトリス系列を導出すること。

提案手法

• arXiv:1511.07124 に記載されたモジュラス付きモチーフの枠組みを用いて、有効モチービック複体の三角的圏を構成する。
• arXiv:1402.4201 に記載された再帰的シェーブの理論を応用し、t 構造の心臓を同定する。
• 特異点の解消を基礎的仮定として用い、t 構造および関連する同値関係の妥当性を保証する。
• モチービック圏内の Hom 群と、モジュラス付きサスリン複体のハイパーグループとの間の同型を確立する。
• 得られた t 構造と同型を用いて、モジュラス付きサスリンホモロジーに対するメイヤー＝ビエトリス系列を導出する。
• ニスネーヴィチ降下と双対性技術を用いて、モジュラス付き複体のコホモロジー的性質を分析する。

実験結果

リサーチクエスチョン

• RQ1 有効モチービック複体の圏は、再帰的ニスネーヴィチ・シェーブの圏と同値な心臓を持つ t 構造を備えているか？
• RQ2 モチービック圏内の Hom 群は、モジュラス付きサスリン複体のハイパーグループとどのように関係しているか？
• RQ3 t 構造と同型の結果を用いて、モジュラス付きサスリンホモロジーに対する新しいメイヤー＝ビエトリス系列を導出できるか？
• RQ4 特異点の解消は、t 構造および関連する同値関係の妥当性を保証するために果たす役割は何か？
• RQ5 再帰的シェーブは、モジュラス付きモチーフの自然なカテゴリカル実現として、どの程度適切か？

主な発見

• 特異点の解消を仮定すれば、有効モチービック複体の三角的圏は、再帰的ニスネーヴィチ・シェーブの圏と同値な心臓を持つ t 構造を備える。
• モチービック圏内の Hom 群と、モジュラス付きサスリン複体のハイパーグループとの間に、自然な同型が存在する。
• この同型により、モジュラス付きサスリンホモロジーにおける新しいメイヤー＝ビエトリス系列の構成が可能になる。
• 結果は、再帰的シェーブを通じて、モジュラス付きモチーフのコホモロジー的解釈を提供する。
• この枠組みにより、モジュラス付き代数的サイクルのホモロジー的性質の深い理解が可能になる。
• この研究は、モチービックホモトピー理論と再帰的シェーブの理論との間の橋渡しを果たし、両分野を豊かにしている。