[論文レビュー] An alternative approach to equivariant stable homotopy theory

Mark Hovey, David White|arXiv (Cornell University)|Dec 13, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 6

ひとこと要約

この論文は、特定のG-宇宙に依存しない、簡素化された不変安定ホモトピー論のアプローチを提案する。G-スペクトルを、連続的なG作用を備えた直交スペクトルとして定義することで、選択されたG-宇宙に依存しない。標準的な安定モデル構造がBousfield局域化によって得られ、Mandell–Mayの古典的理論が回復され、任意の宇宙Uに対して、ナードG-スペクトルとG_U-スペクトルのカテゴリが同値であることが示される。

ABSTRACT

Building on the work of Martin Stolz, we develop the basics of equivariant stable homotopy theory starting from the simple idea that a G- spectrum should just be a spectrum with an action of G on it, in contrast to the usual approach in which the definition of a G-spectrum depends on a choice of universe.

研究の動機と目的

• G-スペクトルを直交スペクトルにG作用を備えて定義することで、不変安定ホモトピー論を再定式化し、特定のG-宇宙に依存しないようにする。
• ナードG-スペクトルのカテゴリと任意のG-宇宙Uに対するG_U-スペクトルのカテゴリが、Quillen同値性を介して同値であることを示す。
• Bousfield局域化によってUレベルのモデル構造を局域化した標準的なG-スペクトルの安定モデル構造が、Mandell–Mayの安定モデル構造と一致することを確立する。
• 得られるモデルカテゴリが、モノイド公理、右固有性、およびコフェイブルな対象の平坦性といった重要なホモトピー的性質を満たすことを証明する。
• Stolzの作業を、安定同型ではなくBousfield局域化を用いることで概念的に簡素化し、理論をより直感的かつアクセスしやすくする。

提案手法

• G-スペクトルを、コンパクトリー群Gの連続作用を備えた直交スペクトルとして定義する。
• 評価関手Ev_V(X) = X(V) = X_n は、表現ρ: G → O(n) によって誘導されるG作用を備え、その左随伴F_Vを用いて宇宙に基づくスペクトルと関連付ける。
• G-スペクトル上の対称モノイダルUレベルのモデル構造を構成し、弱同値とファイブレーションが、すべてのV ∈ Uに対してG-空間X(V)上でレベルワイズに検出されることを保証する。
• F_V S^V → S（id: S^V → Ev_V F_0 S^0の随伴）におけるBousfield局域化を適用し、S^VとのスメイリングがQuillen同値性となるように保証する。
• 関手αとβを介して、G-スペクトル上のU安定モデル構造と標準的なG_U-スペクトルモデル構造との間でQuillen同値性を確立する。
• Mandell–MayおよびElmendorf–Mayの既知の結果を活用し、得られるモデル構造がモノイド公理、右固有性、およびコフェイブル対象の平坦性を満たすことを検証する。

実験結果

リサーチクエスチョン

• RQ1 G-スペクトルをG作用を備えた直交スペクトルとして定義することで、G-宇宙を固定せずに不変安定ホモトピー論を展開できるか？
• RQ2 G-スペクトル上のUレベルのモデル構造は、古典的なG_U-スペクトル上の安定モデル構造とどのように関係するか？
• RQ3 F_V S^V → SにおけるBousfield局域化は、G-スペクトル上の標準的な安定モデル構造を回復するか？
• RQ4 モノイド公理、右固有性、コフェイブル対象の平坦性といった重要なホモトピー的性質が、U安定モデル構造で保たれるか？
• RQ5 得られる理論はMandell–Mayの枠組みと同値であり、不変安定ホモトピー論の基礎的セットアップを簡素化するか？

主な発見

• G-スペクトルは、任意の宇宙の選択に依存しない、直交スペクトルに連続的G作用を備えたものとして同値に定義できる。
• ナードG-スペクトルのカテゴリは、関手αとβを介して、任意のG-宇宙Uに対するG_U-スペクトルのカテゴリとQuillen同値である。
• Bousfield局域化によりF_V S^V → Sにおける局域化によって得られるG-スペクトル上のU安定モデル構造は、Mandell–Mayの安定モデル構造とQuillen同値である。
• U安定モデル構造における弱同値は、すべての閉部分群H ≤ Gに対して、すべての安定ホモトピー群π_q^H(−)に同型を誘導する写像に正確に一致する。
• 安定ファイブレーションは、すべてのV, W ∈ Uに対して、図式X(V) → Ω^W X(V⊕W)がホモトピー・プルバックであるようなレベルファイブレーションである。
• U安定モデル構造はモノイド公理を満たし、右固有であり、コフェイブル対象は平坦である。これにより、モノイドおよびその上のモジュールの良い理論が保証される。