[論文レビュー] What precisely are $E_{\infty}$ ring spaces and $E_{\infty}$ ring spectra?

J. P. May|ArXiv.org|Mar 16, 2009

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

ひとこと要約

この論文は、$E_{u}$ 円環空間および $E_{u}$ 円環スペクトルの包括的で現代的な記述を提供し、長年の用語法と定義のあいまいさを明確にしている。古典的な構成と現代のスペクトルの対称モノイダル圏との間の明確な関係を確立し、標準的な $E_{u}$ 操作ペア $(\scr{C}, \scr{L})$ が理論の基盤をなしていることを証明するとともに、$X$ が連結であるとき $ \Sigma\mathbb{E}\Omega X \to \mathbb{E}X$ が同型であることを示し、無限ループ空間論と円環スペクトル論を結びつける。

ABSTRACT

E infinity ring spectra were defined in 1972, but the term has since acquired several alternative meanings. The same is true of several related terms. The new formulations are not always known to be equivalent to the old ones and even when they are, the notion of "equivalence" needs discussion: Quillen equivalent categories can be quite seriously inequivalent. Part of the confusion stems from a gap in the modern resurgence of interest in E infinity structures. E infinity ring spaces were also defined in 1972 and have never been redefined. They were central to the early applications and they tie in implicitly to modern applications. We summarize the relationships between the old notions and various new ones, explaining what is and is not known. We take the opportunity to rework and modernize many of the early results. New proofs and perspectives are sprinkled throughout.

研究の動機と目的

• 時間の経過とともに複数の意味をとるようになった、$E_{\infty}$ 円環空間および $E_{\infty}$ 円環スペクトルの定義と同型関係に関する長年のあいまいさを解消すること。
• 圏論的および操作的道具を用いて、特に加法的および乗法的無限ループ空間マシンに関する、無限ループ空間論の基礎的結果を再構築し、現代化すること。
• 標準的な $E_{\infty}$ 操作ペア $(\scr{C}, \scr{L})$（$\scr{C}$ はスティーナー操作、$\scr{L}$ は線形等長写像操作）が $E_{\infty}$ 円環構造を定義する役割を明確にすること。
• 現代のスペクトルの圏間のクイレン同型が、空間レベルの構造、特に $E_{\infty}$ 円環空間と $E_{\infty}$ 円環スペクトルの関係を保存しないことの証明を行い、基礎的な同型関係の再検討を必要とすること。
• $X$ が連結であるとき、写像 $\omega: \Sigma\mathbb{E}\Omega X \to \mathbb{E}X$ が同型であることを確立し、無限ループ空間マシンとスペクトル構成 $\mathbb{E}$ の間の重要な接続を確認すること。

提案手法

• $\scr{C}$ をスティーナー操作、$\scr{L}$ を線形等長写像操作とする標準的な $E_{\infty}$ 操作ペア $(\scr{C}, \scr{L})$ を用い、$E_{\infty}$ 円環空間を操作ペアの代数として定義する。
• モノイダル形式を適用し、$E_{\infty}$ 円環空間および $E_{\infty}$ 円環スペクトルを関連するモノイドの代数として再表現することで、比較のための圏論的枠組みを提供する。
• バーバー構成 $B(\Sigma^\infty, C, \Omega X)$ を用いた無限ループ空間マシンにより、スペクトル $\mathbb{E}X$ を実現し、その $C$-作用を分析する。
• $C$-ファンクター間の自然変換 $\chi: \Sigma\Sigma^\infty \to \Sigma^\infty\Sigma$ を構成し、その自然性およびモノイド作用と整合することを証明し、主要な同型を確立する。
• 図式の追跡と自然性を用いて、合成写像 $\omega: \Sigma\mathbb{E}\Omega X \to \mathbb{E}X$ が $C$-作用と整合するスペクトルの有効な写像であることを検証する。
• $\scr{O}[\scr{T}]$ 内の $\eta: G \to \Omega BG$ の群完備化性質を適用し、 $\mathbb{E}G$、$\mathbb{E}\Omega BG$、および $\Omega\mathbb{E}BG$ が自然に同型なスペクトルであることを示す。

実験結果

リサーチクエスチョン

• RQ1 現代の $E_{\infty}$ 円環スペクトルのさまざまな定式化は、1972年のオリジナルの定義と同値であるか。特に、$E_{\infty}$ 円環空間との関係を保存するか。
• RQ2 現代のスペクトルの圏間のクイレン同型は、$E_{\infty}$ 円環空間と $E_{\infty}$ 円環スペクトルの間のホモトピー論的関係をどの程度保存するか。
• RQ3 $X$ が連結であるとき、写像 $\omega: \Sigma\mathbb{E}\Omega X \to \mathbb{E}X$ が同型であるか。これは無限ループ空間マシンにどのような意味を持つのか。
• RQ4 標準的な操作 $\scr{C}$（スティーナー）および $\scr{L}$（線形等長写像）は、$E_{\infty}$ 円環空間を定義するためにどのように作用し、なぜこのペアが本質的であるのか。
• RQ5 バーバー複体 $B(\Sigma^\infty, C, X)$ を用いた古典的 $\mathbb{E}X$ の構成が、$\Sigma$ の懸垂関手と可換になり、$C$-作用を保存し、自然な同型をもたらすかを示せるか。

主な発見

• $X$ が連結であるとき、写像 $\omega: \Sigma\mathbb{E}\Omega X \to \mathbb{E}X$ はスペクトルの自然な同型である。これは、無限ループ空間マシンにおける重要な構造的同型関係を確認するものである。
• $\scr{C}$ をスティーナー操作、$\scr{L}$ を線形等長写像操作とする標準的な $E_{\infty}$ 操作ペア $(\scr{C}, \scr{L})$ は、$E_{\infty}$ 円環空間を定義するための正しい枠組みを提供する。この文脈では、すべての $E_{\infty}$ 操作が同値であるとは限らない。
• バーバー複体 $B(\Sigma^\infty, C, X)$ を用いた $\mathbb{E}X$ の構成は $C$-作用と整合する。また、写像 $\chi: \Sigma\Sigma^\infty \to \Sigma^\infty\Sigma$ は $C$-ファンクター間の自然な同型である。
• $\scr{O}[\scr{T}]$ 内の群完備化 $\eta: G \to \Omega BG$ は、 $\mathbb{E}G$、$\mathbb{E}\Omega BG$、$\Omega\mathbb{E}BG$ の間の自然な同型を誘導し、 $\mathbb{E}_{1}G \simeq BG$ が $\scr{O}$-空間として成り立つことを示す。
• 同型 $\Sigma\mathbb{E}\Omega X \to \mathbb{E}X$ は、合成写像 $\Sigma\mathbb{E}\Omega X \cong B(\Sigma^\infty\Sigma, C, \Omega X) \to B(\Sigma^\infty\Sigma, \Omega C\Sigma, \Omega X) \to \mathbb{E}X$ によって確立され、図式の追跡により整合性が検証された。
• 本論文は、現代のスペクトルの圏間のクイレン同型が、$E_{\infty}$ 円環空間と $E_{\infty}$ 円環スペクトルを結ぶ空間レベルの構造を保存しないことを示し、定義の直接的な比較が不可欠であることを示した。