[論文レビュー] The symmetric power and étale realisation functors commute

Arnav Tripathy|arXiv (Cornell University)|Feb 4, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用数 3

ひとこと要約

この論文は、分離的閉体上の固有、正規、ネーター的、幾何的に連結な代数的空間に対して、対称冪関手とエタール実現関手が弱同値の意味で可換であることを確立する。主な結果は、対称冪のエタールホモトピー型とエタールホモトピー型の対称冪との間の弱同値性であり、エタールホモトピーにおける有効なDold-Thom定理およびエタールホモトピー群の対称冪安定化写像による安定化をもたらす。

ABSTRACT

We show that under mild hypotheses on a proper algebraic space $X$, the functors of taking its symmetric powers and its étale realisation commute up to weak equivalence. We conclude an effective version of the Dold-Thom theorem for the étale site and discuss the stabilisation results for the natural morphisms of étale homotopy groups $π_k \mathrm{Sym}^n X o π_k \mathrm{Sym}^{n+1} X$ in the context of the Weil conjectures.

研究の動機と目的

• 代数幾何における対称冪とエタールホモトピー型の間の比較を確立すること。
• 弱同値となる自然な写像 $\operatorname{Sym}^n(X_{\text{ét}}) \to (\operatorname{Sym}^n X)_{\text{ét}}$ が、やや弱い仮定のもとで成り立つことを証明すること。
• 対称冪を用いて、エタールホモロジーと無限対称冪のホモトピー群を関係づける、有効なDold-Thom定理を導出すること。
• 自然な包含写像 $\operatorname{Sym}^n X \to \operatorname{Sym}^{n+1}X$ によるエタールホモトピー群の安定化を分析すること。
• 古典的トポロジーにおけるDold-Thom定理に類似した、対称冪を用いたエタールホモロジーのホモトピー的基盤を提供すること。

提案手法

• 代数的空間にプロホモトピー型を関連付けるために、アーチンとマズールのエタールホモトピー論を用いる。
• コホノロジー的表現において、整数係数と torsion エタールホモロジーを関係づけるために普遍係数定理を適用する。
• ボレル＝ムーアホモロジーと長完全系列を用いて、実アフィン空間の対称冪の連結性を分析する。
• 単体上の対称積の層化を用いた次元に関する帰納的議論により、低次のホモロジーを制御する。
• コファイバー列 $\operatorname{Sym}^{n-1}X \to \operatorname{Sym}^n X \to \text{cone}$ を用いて、連結性と安定化を分析する。
• セル分解と $\mathbb{R}^k$ 上の対称冪構成を用いて、球面の場合に還元する。

実験結果

リサーチクエスチョン

• RQ1 固有代数的空間に対して、対称冪関手とエタール実現関手が弱同値の意味で可換であるか？
• RQ2 対称冪を用いて、エタールホモトピー型に対して有効なDold-Thom定理を定式化できるか？
• RQ3 自然な安定化写像 $\operatorname{Sym}^n X \to \operatorname{Sym}^{n+1}X$ がエタールホモトピー群に与える影響はどの程度か？
• RQ4 包含写像 $\operatorname{Sym}^{n-1}X \to \operatorname{Sym}^n X$ のコファイバーのエタール設定における連結性は？
• RQ5 代数的幾何における対称冪のホモトピー的安定化が、トポロジー的Dold-Thom定理とどのように類似しているか？

主な発見

• 固有、正規、ネーター的、幾何的に連結な代数的空間が分離的閉体上に存在するとき、自然な写像 $\operatorname{Sym}^n(X_{\text{ét}}) \to (\operatorname{Sym}^n X)_{\text{ét}}$ はプロホモトピー型として弱同値である。
• 無限対称冪 $\operatorname{Sym}^\infty X$ はエタールホモロジー群を実現する： $\pi_n^{\text{ét}} \operatorname{Sym}^\infty X \simeq \widetilde{H}_n(X_{\text{ét}}, \mathbb{Z})$。
• 安定化写像 $\alpha_n: \operatorname{Sym}^n X \to \operatorname{Sym}^{n+1} X$ は $k < n$ に対して $\pi_k^{\text{ét}}$ に同型を誘導し、$k = n$ に対しては全射を誘導する。
• コファイバー $\operatorname{Sym}^{n-1}S^k \to \operatorname{Sym}^n S^k$ は $S^{nk-1}/S_n$ であり、これは $(n-1)$-連結であるため、ホモトピー群の安定化が成立する。
• ボレル＝ムーアホモロジー $\operatorname{Sym}^n \mathbb{R}^k$ は次数 $n$ より小さい次数で消えることが、層化とK"unneth型分解を用いた帰納的証明により示される。
• 安定化結果は球面の対称冪に対して成り立ち、セル分解と細胞の対称積への貼り合わせにより、一般の代数的空間へ拡張可能である。