[論文レビュー] On a conjecture of Morel

Utsav Choudhury|arXiv (Cornell University)|Sep 3, 2012

Advanced Algebra and Geometry参考文献 6被引用数 6

ひとこと要約

この論文は、H-群の $π_0^{\mathbb{A}^1}$-不変な成分の Nisnevich シェーブの層化が、自身で $π_0^{\mathbb{A}^1}$-不変であるというモアレの予想を証明する。証明は Nisnevich ブラウン＝ゲルステン性質と $π_0^{\mathbb{A}^1}$-ホモトピー圏における fibrant な置換による $π_0$-計算に依拠し、H-群およびその同次空間に対して $a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))$ が $π_0^{\mathbb{A}^1}$-不変であることを確立する。

ABSTRACT

In this note we prove that the $\mathbb{A}^1$-connected component sheaf $a_{Nis}(π_0^{\mathbb{A}^1}(\mathcal{X}))$ of an $H$-group $\mathcal{X}$ is $\mathbb{A}^1$-invariant.

研究の動機と目的

• H-群の $π_0^{\mathbb{A}^1}$-不変性に関するモアレの予想を解決すること。
• $π_0^{\mathbb{A}^1}$-ホモトピー理論の文脈において、$π_0^{\mathbb{A}^1}$-不変なプレシェーブの Nisnevich シェーブ化への $π_0^{\mathbb{A}^1}$-不変性の拡張を実現すること。
• H-群およびその同次空間に対して、$π_0^{\mathbb{A}^1}$-不変性が Nisnevich シェーブ化のもとで保存されることを確立すること。
• $π_0^{\mathbb{A}^1}$-不変なシェーブの理論における重要な予想の検証を通じて、$π_0^{\mathbb{A}^1}$-ホモトピー理論における基礎的結果を提供すること。
• 特に Nisnevich 位相と $π_0^{\mathbb{A}^1}$-fibrant 置換との関係において、$π_0^{\mathbb{A}^1}$-不変シェーブの層化における振る舞いを明確にすること。

提案手法

• $π_0^{\mathbb{A}^1}$-ホモトピー圏 $Θ(k)$ を用いる。これは、滑らかな $k$-スキーム上の単体的プレシェーブにおける $π_0^{\mathbb{A}^1}$-局所化モデル構造のホモトピー圏として定義される。
• $Ex_{\mathbb{A}^1}$ を用いた fibrant 置換を採用し、任意の $U \in \text{Sm}/k$ に対して $\pi_0^{\mathbb{A}^1}(\mathcal{X})(U) = \pi_0(Ex_{\mathbb{A}^1}(\mathcal{X}))(U)$ が成り立つことを保証する。
• fibrant かつ $π_0^{\mathbb{A}^1}$-fibrant 空間に対して、基本的区分化平方上でのホモトピーカルテジアン性を保証する Nisnevich ブラウン＝ゲルステン性質を適用する。
• $a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))$ が Nisnevich シェーブであることを用い、制限写像 $a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))(U) \to a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))(Δ^1_U)$ が全単射であることを示すことにより、$π_0^{\mathbb{A}^1}$-不変性を証明する。
• 問題を、定理 2.2 とシェーブ性質を用いて、任意の有限生成分離的体拡張 $F/k$ に対して、標準写像 $\pi_0^{\mathbb{A}^1}(\mathcal{X})(\mathbb{A}^1_F) \to a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))(Δ^1_F)$ が全単射であることを示す問題に還元する。
• $\mathbb{Z}[\mathbb{G}_m]$ 及びその Nisnevich シェーブ化の $π_0^{\mathbb{A}^1}$-不変性を活用し、特に強い $π_0^{\mathbb{A}^1}$-不変性の例と反例を構成する。

実験結果

リサーチクエスチョン

• RQ1 H-群 $\mathcal{X}$ に対して、$\pi_0^{\mathbb{A}^1}(\mathcal{X})$ の Nisnevich シェーブ化は $π_0^{\mathbb{A}^1}$-不変のままであるか？
• RQ2 任意の滑らかな $k$-スキーム $U$ に対して、標準写像 $a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))(U) \to a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))(Δ^1_U)$ は全単射か？
• RQ3 H-群およびその同次空間に対して、$\pi_0^{\mathbb{A}^1}(\mathcal{X})$ の $π_0^{\mathbb{A}^1}$-不変性は、その Nisnevich シェーブ化へと拡張可能か？
• RQ4 $\mathbb{Z}(\mathbb{G}_m)$、すなわち $\mathbb{Z}[\mathbb{G}_m]$ の Nisnevich シェーブ化は、強く $π_0^{\mathbb{A}^1}$-不変か？
• RQ5 標準写像 $\mathbb{Z}[\mathbb{G}_m] \to \underline{K}_1^{MW}$ の単射性と、$\mathbb{Z}(\mathbb{G}_m)$ の $π_0^{\mathbb{A}^1}$-不変性との関係は何か？

主な発見

• モアレの予想が証明された：任意の H-群 $\mathcal{X}$ に対して、Nisnevich シェーブ化 $a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))$ は $π_0^{\mathbb{A}^1}$-不変である。
• 定理 2.2 を $Ex_{\mathbb{A}^1}(\mathcal{X})$ に適用することにより、任意の有限生成分離的体拡張 $F/k$ に対して、標準写像 $\pi_0^{\mathbb{A}^1}(\mathcal{X})(\mathbb{A}^1_F) \to a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))(Δ^1_F)$ が全単射であることが示された。
• $\mathbb{Z}(\mathbb{G}_m)$ は $a_{\text{Nis}}(\mathbb{Z}[\mathbb{G}_m])$ として得られるシェーブであり、$\mathbb{G}_m$ が $π_0^{\mathbb{A}^1}$-不変であることと、$\mathbb{Z}[\mathbb{G}_m]$ が Nisnevich ブラウン＝ゲルステン性質を満たすため、$π_0^{\mathbb{A}^1}$-不変である。
• $\mathbb{Z}(\mathbb{G}_m)$ は強く $π_0^{\mathbb{A}^1}$-不変ではない。これは、標準写像 $\sigma_1: \mathbb{G}_m \to \underline{K}_1^{MW}$ が単射でないことが示され、強い $π_0^{\mathbb{A}^1}$-不変性が要求する一意因数分解の存在を否定する。
• H-群 $\mathcal{X}$ の $\pi_0^{\mathbb{A}^1}(\mathcal{X})$ の Nisnevich シェーブ化は $π_0^{\mathbb{A}^1}$-不変であり、この結果は H-群の同次空間へと拡張可能である。
• 証明は、$\pi_0^{\mathbb{A}^1}(\mathcal{X})(U) = \pi_0(Ex_{\mathbb{A}^1}(\mathcal{X}))(U)$ が成り立ち、$Ex_{\mathbb{A}^1}(\mathcal{X})$ が fibrant かつ $π_0^{\mathbb{A}^1}$-fibrant であることを利用しており、$π_0^{\mathbb{A}^1}$-ホモトピー圏におけるホモトピー論的道具の使用を可能にする。