[論文レビュー] Suspension spectra and higher stabilization

Jacobson R. Blomquist, John E. Harper|arXiv (Cornell University)|Dec 16, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 4

ひとこと要約

この論文は、点付き空間からスペクトルへの安定化ファンクターがホモトピー的降下を満たすことを確立し、安定化の後、1連結な点付き空間と1連結な $\tilde{\mathsf{K}}$-コメルススペクトルの間で導来同値性が成り立つことを示している。これは、タイラー・ローワンが提起した反復ホモトピー懸垂空間に関する長年の予想を解消するものであり、反復安定化写像から生じる立方体的図式の均一なカルテジアン性の推定を提供する高次安定化定理を導入することで達成された。

ABSTRACT

We prove that the stabilization of spaces functor---the classical construction of associating a spectrum to a pointed space by tensoring with the sphere spectrum---satisfies homotopical descent on objects and morphisms. This is the stabilization analog of the Quillen-Sullivan theory main result that the rational chains (resp. cochains) functor participates in a derived equivalence with certain coalgebra (resp. algebra) complexes, after restriction to 1-connected spaces up to rational equivalence. In more detail, we prove that the stabilization of spaces functor participates in a derived equivalence with certain coalgebra spectra (where the stabilization construction naturally lands), after restriction to 1-connected spaces up to weak equivalence. This resolves in the affirmative the infinite case, involving stabilization and suspension spectra, of a question/conjecture posed by Tyler Lawson on (iterated) suspension spaces almost ten years ago. A key ingredient of our proof, of independent interest, is a higher stabilization theorem for spaces that provides strong estimates for the uniform cartesian-ness of certain cubical diagrams associated to n-fold iterations of the spaces-level stabilization map; this is the stabilization analog of Dundas' higher Hurewicz theorem.

研究の動機と目的

• 点付き空間からスペクトルへの古典的安定化ファンクター $\Sigma^\infty$ におけるホモトピー的降下の確立。
• タイラー・ローワンが提起した反復懸垂空間の無限大の場合に関する未解決予想の解消。
• 1連結な点付き空間と1連結な $\tilde{\mathsf{K}}$-コメルススペクトルの間の導来同値性の証明、ここで $\tilde{\mathsf{K}} = \Sigma^\infty \tilde{\Omega}^\infty$。
• $n$ 重反復の空間レベル安定化写像から生じる立方体的図式のカルテジアン性に関する強力な一様推定の提供。
• ダンダスの高次ホイッカー・ツェルの定理に類似した高次安定化定理の確立、安定化プロセスに適用可能。

提案手法

• $(\Sigma^\infty, \Omega^\infty)$ 隣接関係から誘導される、点付き空間と $\tilde{\mathsf{K}}$-コメルススペクトルの間の導来隣接関係の利用、ここで $\tilde{\mathsf{K}} = \Sigma^\infty \tilde{\Omega}^\infty$。
• 反復安定化写像によるコサイミリカル解体を用いて、空間の $\tilde{\Omega}^\infty \Sigma^\infty$-完備化を構成。
• コサイミリカル図式 $\mathfrak{C}(Y)$ におけるホモトピー極限を適用し、スペクトル上の $\tilde{\mathsf{K}}$-コメルス構造を回復。
• 隣接関係における導来余単位および単位写像を用いて弱同値を確立し、1連結な対象上で導来同値性を証明。
• 反復 $n$ 重安定化図式の均一なカルテジアン性の推定を提供する高次安定化定理の導入。
• 対称スペクトル上のインジェクティブ安定モデル構造および導来函手 $\tilde{\Omega}^\infty$ と $\tilde{\mathsf{K}}$ を用いて、ファイブラシーと安定性を保証。

実験結果

リサーチクエスチョン

• RQ1 安定化ファンクター $\Sigma^\infty$ は1連結な点付き空間上でホモトピー的降下を満たすか？
• RQ2 1連結な点付き空間のホモトピー圏と1連結な $\tilde{\mathsf{K}}$-コメルススペクトルのホモトピー圏の間で導来同値性が成立するか？
• RQ3 1連結な空間 $X$ の $\tilde{\Omega}^\infty \Sigma^\infty$-完備化は、弱同値の意味で元の空間を回復するか？
• RQ4 $n$ 重反復の安定化写像から生じる立方体的図式に対して、均一なカルテジアン性の推定を確立できるか？
• RQ5 安定化ファンクターは、$\tilde{\mathsf{K}}$-コメルス構造に移行した後、1連結な対象間の写像空間に弱同値を誘導するか？

主な発見

• 安定化ファンクター $\Sigma^\infty$ は、1連結な点付き空間のホモトピー圏と1連結な $\tilde{\mathsf{K}}$-コメルススペクトルのホモトピー圏の間で導来同値性を誘導する。
• 任意の1連結な $\tilde{\mathsf{K}}$-コメルススペクトル $Y$ に対して、導来余単位写像 $\Sigma^\infty \operatorname{holim}_\Delta \mathfrak{C}(Y) \xrightarrow{\simeq} Y$ は弱同値であり、ホモトピー的本質的全射性が確認される。
• 任意の1連結な点付き空間 $X'$ に対して、導来単位写像 $X' \xrightarrow{\simeq} \operatorname{holim}_\Delta \mathfrak{C}(\Sigma^\infty X')$ は弱同値であり、$\Sigma^\infty$ が1連結空間上でホモトピー的に完全忠実であることが示される。
• 1連結な空間 $X$ の $\tilde{\Omega}^\infty \Sigma^\infty$-完備化は、$\operatorname{holim}_\Delta \mathfrak{C}(\Sigma^\infty X)$ と弱同値であり、自然な弱同値のジグザグが確立される。
• 高次安定化定理が証明され、反復 $n$ 重安定化図式のカルテジアン性に関する強力な一様推定が提供され、ダンダスの高次ホイッカー・ツェルの定理に類似している。
• $X'$ が $\tilde{\Omega}^\infty \Sigma^\infty$-完備かつファイブラスなとき、自然な写像 $\Sigma^\infty \colon \operatorname{Map}(X,X') \xrightarrow{\simeq} \operatorname{Map}_{\mathsf{coAlg}_{\tilde{\mathsf{K}}}}(\Sigma^\infty X, \Sigma^\infty X')$ は弱同値であり、写像空間における全射性が確認される。