[論文レビュー] MW-homotopy sheaves and Morel generalized transfers

Niels Feld|arXiv (Cornell University)|Jul 29, 2020

Algebraic structures and combinatorial models参考文献 13被引用数 4

ひとこと要約

本稿は、MW-ホモトピー層への有理係数でのBass-Tate移動に関するモアルの予想を証明し、一般化された移動構造、MW移動、フレームド移動の間の同値性を確立し、これらの結果を応用して、$Γ^1$-安定化においてd=1では有理的、d=2では整数的に対し、バッハマン＝ヤケルソンの保守性予想を検証する。

ABSTRACT

We explore a conjecture of Morel about the Bass-Tate transfers defined on the contraction of a homotopy sheaf and prove that the conjecture is true with rational coefficients. Moreover, we study the relations between (contracted) homotopy sheaves, sheaves with Morel generalized transfers and MW-homotopy sheaves, and prove an equivalence of categories. As applications, we describe the essential image of the canonical functor that forgets MW-transfers and use theses results to discuss the conservativity conjecture in A^1-homotopy due to Bachmann and Yakerson.

研究の動機と目的

• ホモトピー層の最初の収縮 $M_{-1}$ におけるBass-Tate移動の関手的性に関するモアルの予想を解決すること。
• 一般化された移動構造、MW移動、フレームド移動の間の関係を明確化すること。
• MW-ホモトピー層から通常のホモトピー層への忘却関手の本質的像を特徴づけること。
• 得られた結果を $Γ^1$-安定化におけるバッハマンとヤケルソンの保守性予想に応用すること。
• モチーフ的ホモトピー論における、異なる移動構造を持つ層のカテゴリの間のカテゴリカル同値性を確立すること。

提案手法

• ラインバンドルによるねじれを含む一般化された移動構造のためのモアルの公理を拡張し、一般化された移動構造を持つ層を定義する。
• 一般化された移動構造を持つ層に対してRost-Schmid複体を構成し、押し出し、引き戻し、GW作用、および留数の関手的性を証明する。
• 有理化された収縮ホモトピー層 $M_{-1,×}$ が一般化された移動構造を備えることを証明し、モアルの予想を有理的条件下で確認する。
• 一般化された移動構造を持つ層に対して、前層 $χ_*(M)$ と $M$ の間に自然な同型が存在することを示し、$χ_*$ が同値であることを示す。
• Calmès-Faselの有限ミルナー・ウィット対応を用いてMW移動を定義し、MW-ホモトピー層と一般化された移動構造を持つ層のカテゴリの同値性を証明する。
• 同値性を応用して、MW層から通常の層への忘却関手 $γ_*$ の本質的像が、一般化された移動構造を持つ層に正確に一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 Bass-Tate移動が $M_{-1}$ においてホモトピー層に対してwell-definedな一般化された移動構造を定めるか？
• RQ2 一般化された移動構造を持つホモトピー層のカテゴリ、MW移動のカテゴリ、フレームド移動のカテゴリは同値か？
• RQ3 MW-ホモトピー層から通常のホモトピー層への忘却関手の本質的像は何か？
• RQ4 $Γ^1$-安定化関手 $Σ^{∞}_{Γ_m}$ は、$d=1$ および $d=2$ において有界下の対象で保守的か？
• RQ5 Bass-Tate移動の交差多重度公式は、一般に成立するか？

主な発見

• Bass-Tate移動が $M_{-1}$ において $×$ とテンソル積を取ることで、well-behavedな一般化された移動構造を定め、有理的条件下でモアルの予想を証明する。
• MW-ホモトピー層のカテゴリは、関手 $γ_*$ と $χ^*$ を通じて、一般化された移動構造を持つホモトピー層のカテゴリと同値である。
• 忘却関手 $γ_*: Γ^{–\text{MW}}(k) → Γ^{\text{gtr}}(k)$ の本質的像は、正確に一般化された移動構造を持つホモトピー層からなる。
• バッハマン＝ヤケルソンの予想は、$d=1$ では有理的、$d=2$ では整数的条件下で成立し、$Σ^{∞}_{Γ_m}$-安定化関手は有界下の対象で保守的である。
• 一般化された移動構造を持つホモトピー層のカテゴリは、MW-ホモトピー層のカテゴリおよびフレームド移動のカテゴリと同値であり、$Γ^{\text{gtr}}(k) ≍ Γ^{\text{MW}}(k) ≍ Γ^{\text{fr}}(k)$ を確立する。
• $d=2$ において、自然な写像 $ℓ_0\Omega^d_{Γ^1}\Sigma^d_{Γ^1}\mathcal{X} \to \u03c0_0\Omega^{d+1}_{Γ^1}\Sigma^{d+1}_{Γ^1}\mathcal{X}$ は同型である。これは[BCD+20]で残された問題を解決する。