[論文レビュー] Units of ring spectra and Thom spectra

Matthew Ando, Andrew J. Blumberg+3 more|ArXiv.org|Oct 24, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 35被引用数 43

ひとこと要約

この論文は、現代のホモトピー論を用いて、$E_\infty$ および $A_\infty$ 環スペクトルにおけるトームスぺクトルと方向性の統一的枠組みを確立する。$gl_1A$ が $Σ^\infty_+\Omega^\infty$ の右随伴であることを証明し、$A$-加群トームスぺクトル $Mf$ が $R$-方向性を持つのは、$B \to BGL_1A \to BGL_1R$ の合成が零であるときであり、かつそのときに限ることを示し、古典的障害理論を一般化する。

ABSTRACT

We review and extend the theory of Thom spectra and the associated obstruction theory for orientations. We recall (from May, Quinn, and Ray) that a commutative ring spectrum A has a spectrum of units gl(A). To a map of spectra f: b -> bgl(A), we associate a commutative A-algebra Thom spectrum Mf, which admits a commutative A-algebra map to R if and only if b -> bgl(A) -> bgl(R) is null. If A is an associative ring spectrum, then to a map of spaces f: B -> BGL(A) we associate an A-module Thom spectrum Mf, which admits an R-orientation if and only if B -> BGL(A) -> BGL(R) is null. We also note that BGL(A) classifies the twists of A-theory. We develop and compare two approaches to the theory of Thom spectra. The first involves a rigidified model of A-infinity and E-infinity spaces. Our second approach is via infinity categories. In order to compare these approaches to one another and to the classical theory, we characterize the Thom spectrum functor from the perspective of Morita theory.

研究の動機と目的

• トームスぺクトルの古典的障害理論を $A_\infty$ 環スペクトルへ拡張すること。
• 環スペクトルの単位元スペクトルを、$Σ^\infty_+\Omega^\infty$ への右随伴として、現代的でホモトピー的に整合性のある形で定式化すること。
• $∞$-圏とパラメトライズドスペクトルを用いて、$E_\infty$ と $A_\infty$ の両設定におけるトームスぺクトル理論を統一すること。
• モラータ理論を用いてトームスぺクトル関手を特徴づけ、それを線分束の幾何学と可逆加群に関連付けること。

提案手法

• [$HTT$] の $∞$-圏的枠組みを用いて、パラメトライズドスペクトルをモデル化し、左カーン拡張を用いてトームスぺクトルを定義する。
• $Σ^\infty_+\Omega^\infty$ への右随伴として、$gl_1A$ を構成し、連結スペクトルと $E_\infty$ 環スペクトルのホモトピー圏における導来随伴を確立する。
• $A$ を $A_\infty$ 環スペクトルとするとき、$f: B \to BGL_1A$ が線分束を分類するものとして、$B \to BGL_1A \to \mathrm{Mod}_A$ の図式のコロイミットとして $A$-加群トームスぺクトル $Mf$ を定義する。
• 随伴とホモトピー下付き積を用いて、$∞$-圏における $R$-加群の写像空間を含むプルバックとして、$Mf$ の $R$-方向性の空間を特徴づける。
• 2つの同等のアプローチを確立する：1つは [Blum05, BCS08] に従う $A_\infty$ 空間の剛体化モデルを用いるもの、もう1つは $∞$-圏と対称モノイダル構造を用いるもの。
• モラータ理論を適用し、トームスぺクトル関手が $R$-代数から $R$-線分束への忘却関手への左随伴としての普遍的性質を持つことにより、それを特徴づける。

実験結果

リサーチクエスチョン

• RQ1 古典的障害理論を、現代の $∞$-圏的およびホモトピー的代数を用いて、どのように再定式化できるか？
• RQ2 $E_\infty$ 環スペクトル $A$ に対するスペクトルの単位元 $gl_1A$ の正確なホモトピー的性質は何か？ そして $Σ^\infty_+\Omega^\infty$ 関手とはどのように関係するか？
• RQ3 トームスぺクトルと方向性の理論を、$E_\infty$ から $A_\infty$ 環スペクトルへ、整合的かつ計算可能な形で拡張できるか？
• RQ4 剛体化された空間と $∞$-圏の2つの異なるアプローチが、どのように同等のトームスぺクトル関手の構成をもたらすか？
• RQ5 モラータ理論は、トームスぺクトル関手を普遍的構成として特徴づけるために、どのように役立つか？

主な発見

• $gl_1A$ は、連結スペクトルから $E_\infty$ 環スペクトルへの関手 $Σ^\infty_+\Omega^\infty$ への右随伴であり、導来随伴を確立する。
• $E_\infty$ $A$-代数トームスぺクトル $Mf$ が $E_\infty$ $R$-代数へ写像を持つのは、$b \to bgl_1A \to bgl_1R$ の合成が零であるときであり、かつそのときに限る。これは古典的障害条件を一般化する。
• $A$ を $A_\infty$ 環スペクトルとするとき、$f: B \to BGL_1A$ に対応する $A$-加群トームスぺクトル $Mf$ が $R$-方向性を持つのは、$B \to BGL_1A \to BGL_1R$ が零であるときであり、かつそのときに限る。これは障害理論を $A_\infty$ 設定へ拡張する。
• $Mf$ の $R$-方向性の空間は、$R$-加群の $∞$-圏におけるホモトピー下付き積として実現された、$f$ の自明な線分束への持ち上げの空間と同値である。
• $R$-線分束上の恒等写像に関連するトームスぺクトル $MR$ は、$R^\circ / \mathrm{Aut}(R^\circ)$、すなわち単位球面の自己同型によるホモトピー商と同値である。
• モラータ理論により理論が統一される：トームスぺクトル関手は、$R$-代数から $R$-線分束への忘却関手への左随伴としての普遍的性質を持つ。