[論文レビュー] More examples of motivic cell structures

Matthias Wendt|arXiv (Cornell University)|Dec 2, 2010

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

ひとこと要約

本稿は、滑らかで射影的で固定点が孤立する $\mathbb{G}_m$-作用をもつ多様体に対して、Białynicki-Birula分解を用いてモチビックセル構造を確立する。このような多様体は安定セル構造をもち、分解型再帰的群の射影的同次空間に対しては不安定セル構造すら持つことが示され、$\mathbb{A}^1$-ホモトピー型および$\mathbb{A}^1$-ホモロジーの計算が、$\mathbb{P}^1$-安定$\mathbb{A}^1$-ホモロジーにおける長完全系列を通じて可能になる。

ABSTRACT

In this note, we describe motivic cell structures arising from the Bialynicki-Birula decomposition. This provides a description of the stable A^1-homotopy types of smooth projective G_m-varieties where the G_m-action has isolated fixed points.

研究の動機と目的

• $\mathbb{A}^1$-ホモトピー論におけるモチビックセル構造を持つ多様体の既知のリストを拡張すること。
• 滑らかで射影的で固定点が孤立する$\mathbb{G}_m$-多様体に対して、Białynicki-Birula分解を用いたモチビックセル構造の体系的構成を提供すること。
• DuggerとIsaksen (2005) が提起した、分解型再帰的群の下での射影的同次空間の不安定セル構造に関する問いを解決すること。
• モチビックセル構造が安定ホモトピー型を完全に記述でき、代表的コホモロジー理論の計算を可能にすることを示すこと。

提案手法

• 滑らかで射影的で固定点が孤立する$\mathbb{G}_m$-多様体に対して、Białynicki-Birula分解を用いてセルフィルトレーションを構成する。
• ホモトピーコファイバー列 $X\setminus X_i \to X\setminus X_{i-1} \to \mathrm{Th}(N_i)$ を用いて、ストラトゥムと正規束のスティーブンスの関係を確立する。
• $\mathbb{A}^1$-ホモトピー圏における$\mathcal{A}$-セルオブジェクトの概念を用い、セルを $S^{p,q}$-球面およびスティーブンスにモデル化する。
• DuggerとIsaksen (2005) が提示した安定セル構造基準を適用し、ストラトゥムがアフィンファイブレーションであれば、フィルトレーションがセル構造を導くことを示す。
• 固定点が孤立する$\mathbb{G}_m$-作用はアフィン空間ストラトゥムをもたらし、これによりスティーブンスが $S^{2n,n}$-球面のワジに一致することを用いる。
• $\mathbb{P}^1$-安定$\mathbb{A}^1$-ホモロジーにおける長完全系列を適用し、セルからホモロジーを計算する。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的で固定点が孤立する$\mathbb{G}_m$-多様体に対して、代数群作用を用いてモチビックセル構造を構成できるか？
• RQ2 Białynicki-Birula分解は、このような多様体に安定$\mathbb{A}^1$-セル構造をもたらすか？
• RQ3 分解型再帰的群の下での射影的同次空間は、モチビックな意味で不安定セル的か？
• RQ4 モチビックセル構造を用いて、これらの多様体の$\mathbb{A}^1$-ホモロジーおよびコホモロジーを計算できるか？
• RQ5 このような多様体の$\mathbb{A}^1$-ホモトピー型は、その複素トポロジカル実現をどの程度反映するか？

主な発見

• Białynicki-Birula分解は、固定点が孤立する滑らかで射影的な$\mathbb{G}_m$-多様体に対してモチビックセル構造を提供し、これにより安定セル的となる。
• 分解型再帰的群の下での射影的同次空間に対しては、シューベルトセル分解が不安定モチビックセル構造を与える。これはDuggerとIsaksen (2005) が提起した問いを解決する。
• モチビックセル構造は、$\mathbb{P}^1$-安定$\mathbb{A}^1$-ホモロジーにおける長完全系列を誘導し、セル $S^{2n,n}$ からホモロジーを計算可能にする。
• このような多様体の$\mathbb{A}^1$-チェーン複体は、ミックス・テイタ型である。これは代数閉体上での$\mathbb{A}^1$-ホモトピー型の剛性に関する予想を支持する。
• これらの多様体の安定ホモトピー型は、完全にそのモチビックセル構造によって決定され、代表的コホモロジー理論の計算が可能になる。
• $\mathbb{Z}[\frac{1}{2}]_{-}$-局所化圏において、セル構造により、実埋め込みがなくてもホモトピー論的剛性結果が得られる。