[論文レビュー] Multiplicative structures on homotopy spectral sequences II

Daniel Dugger|ArXiv.org|May 13, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 17

ひとこと要約

本稿では、導来函手技法と符号修正済みカップ積を用いて、ポストニコフ／ホワイトヘッド、ボクシュタイン、ホモトピー固定点、およびレーラー＝セールのスペクトル系列の複数の古典的構造に乗法的構造を確立する。主な貢献は、グレーディングされた環構造とキョスズル符号則に整合するように、スペクトル系列のペアリングにおける符号規約を体系的に取り扱うことであり、$E_2$-項と層または特異コホモロジー群との明示的同型が得られる。

ABSTRACT

The paper summarizes the construction of pairings on some standard spectral sequences in algebraic topology.

研究の動機と目的

• 標準的ホモトピースペクトル系列における乗法的構造の厳密な枠組みを提供し、古典的構成における符号のあいまいさを是正すること。
• 定理6.1を適用することで[D1]の結果を拡張し、符号を制御したスペクトル系列のペアリングを導出すること。
• $E_2$-項をグローバルに同型な構造を用いて、よく知られたコホモロジー群（例：特異または層コホモロジー）に同定すること。
• グレーディングされたコチェイン複体におけるキョスズル符号則を用いて、スペクトル系列間のカップ積ペアリングにおける符号問題を解消すること。
• レーラー＝セールスペクトル系列が、ファイバー空間の外部積と整合する乗法的構造を、符号因子を除いて持つことを示すこと。

提案手法

• スペクトルの圏における導来スメッシュ積を扱うために、導来函手と記号$\underline{\wedge}$を用いる。
• 符号修正済み微分およびカップ積の公式を適用：$\delta\alpha = -(-1)^n \alpha(\partial c)$ および $(\alpha \cup \beta)(c \otimes d) = (-1)^{qp} \alpha(c) \cdot \beta(d)$ により、キョスズル符号則に準拠する。
• 降下スペクトル系列の$E_2$-項を特定するために、$V \mapsto \mathcal{E}^{-p}(S^q \wedge V_+)$ の前層の層化を用いた層コホモロジーを採用する。
• 自然変換$\eta_{p,q}$を用いて、$E_2$-項とコホモロジー群の間のグローバル同型を確立し、外部積と整合性を保つ。
• ハイパーカバー$|U_*|$のスケルタルフィルトレーションを適用して、$\operatorname{\mathcal{F}}(X, H\mathbb{Z})$ を計算するスペクトル系列を構成し、$X$ が局所的可縮である場合には特異コホモロジーに接続する。
• スuspension同型と対角写像を用いて、$E_2$-項上のペアリングを層コホモロジー積に結びつけ、$(-1)^{t(p+q)}$ の補正因子を含む。

実験結果

リサーチクエスチョン

• RQ1 フィルトレートされた空間、タワー、およびファイブレーションから生じるスペクトル系列に、一貫性のある乗法的構造をどのように定義できるか？
• RQ2 $E_2$-項におけるカップ積が、コホモロジーにおける古典的外部積に対応するようにするために必要な符号規約は何か？
• RQ3 降下スペクトル系列の$E_2$-項はどのように層コホモロジーと関係し、ペアリングの正確な形は何か？
• RQ4 レーラー＝セールスペクトル系列に、ファイバー積ペアリングと整合する乗法的構造を付与できるか？
• RQ5 ハイパーカバーとスケルタルフィルトレーションは、特異コホモロジーの導来函手としてスペクトル系列を実現するために果たす役割は何か？

主な発見

• アティヤ＝ヒルツブルグスペクトル系列は、キョスズル則による符号修正がなされれば、乗法的構造を備えることができ、$E_2$-項は双重グレーディング環として$\oplus_{p,q} H^p(X; E^q)$ に同型である。
• ハイパーカバー$U_*$に付随する降下スペクトル系列の$E_2$-項は、$H^q_{\text{shf}}(X, \mathcal{G}^{p,q})$ にグローバルに同型であり、ここで$\mathcal{G}^{p,q}$ は$V \mapsto \mathcal{E}^{-p}(S^q \wedge V_+)$ の層化である。
• レーラー＝セールスペクトル系列に関して、$E_2$-項は$H^q_{\text{shf}}(B, \mathcal{H}^{-p-q}(F))$ に同型であり、$E_2$-項上のペアリングは、符号因子$(-1)^{t(p+q)}$ を含む層コホモロジー積として与えられる。
• $X$ および $Y$ が局所的可縮であるとき、$X \times Y$ の降下スペクトル系列は、$|\pi_0(U)|$ のアティヤ＝ヒルツブルグスペクトル系列を回復し、構成の整合性を示す。
• レーラー＝セールスペクトル系列の$E_2$-項上のペアリングは、符号補正を除いて、層コホモロジー積とグローバルに同型であり、コホモロジーにおける外部積と整合性を保つ。
• レーラー＝セールスペクトル系列の乗法的構造は、スペクトル系列のペアリングと対角写像の合成から生じ、符号補正はスuspension同型とキョスズル則に起因する。