[論文レビュー] Rational Equivariant Spectra

David Barnes|ArXiv.org|Feb 7, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 26被引用数 8

ひとこと要約

この論文は、モデル圏論とスペクトル代数を用いて、有限群およびコンパクトリー群のための有理的等変同調理論の分類を確立する。有理的 G-スペクトルはボウスフィールド局在を用いて構成され、有限群の場合、有理的 G-スペクトルのホモトピー圏は、群 G の共轭類ごの部分群 H に対する有理的ワイル群環 QWGH 上の階数付き加群の圏の積に同値であることが示され、以前の結果を一般化する。主たる貢献は、自己対合的圏とねじれ群環を用いた有理的 O(2)-等変スペクトルのモーリタ理論的分解であり、O(2) の連続ダイヘドラ群に対して完全な代数的モデルを提供する。

ABSTRACT

We develop model categories of rational equivariant spectra whose homotopy categories are equivalent to the category of rational equivariant cohomology theories. We prove that given an orthogonal decomposition of the unit in the rational Burnside ring, the model category of rational equivariant spectra decomposes into a product of localisations. We use this result to reprove the classification of rational equivariant cohomology theories for finite groups and to study such cohomology theories for the group O(2). We then concentrate on a split piece of the O(2) case and relate it to rational SO(2) equivariant spectra.

研究の動機と目的

• 有限およびコンパクトリー群のための有理的 G-スペクトルのホモトピー圏に対する完全な代数的モデルを提供すること。
• 特に非アーベル的および正の次元を持つ群（例：O(2)）に対して、有理的 G-等変同調理論の分類を有限群の範囲を越えて一般化すること。
• イデムポテン成分の族とモデル圏論的技法を用いて、有理的 G-スペクトルの分解をためる枠組みを構築すること。
• 有理的 O(2)-スペクトルとねじれ群環上の加群の間のモーリタ同値を確立し、代数的計算を可能にすること。
• 自己対合的圏とモデル圏論を導入・研究し、等変ホモトピー論におけるワイル群作用と双対性を扱うこと。

提案手法

• G-スペクトルのモデル圏のボウスフィールド局在を用いて、有理的ホモロジーにおける局在により有理的 G-スペクトルを構成する。
• 豊富な圏と ν-圏の理論を適用し、自己対合を伴う等変スペクトルをモデル化する。
• トポロジカルな Etop-スペクトルとねじれ群環構成を用いて、O(2)-スペクトルのモデルとしての圏 τ#ι∗SQ–mod を導入する。
• 自己対合的ファンクターとモーリタ同値を用いて、異なる環oid上の加群の圏を関連づけ、特に mod–Etop と mod–φ∗N˜QEtop 間の関係を調べる。
• ねじれ群環構成を用いて O(2) のワイル群作用をモデル化し、スペクトルを既約成分に分解可能にする。
• 閉じた C-加群とスペクトル的モデル圏の理論を用いて、代数的同値をホモトピー的同値に持ち上げる。

実験結果

リサーチクエスチョン

• RQ1 O(2) のような非有限群に対して、有理的 G-スペクトルはどのように代数的に分類可能か？
• RQ2 有理的 O(2)-等変スペクトルのホモトピー圏の構造は何か？
• RQ3 有理的 O(2)-スペクトルの圏は、イデムポテン成分の族を用いてより単純な代数的成分に分解可能か？
• RQ4 圏およびモデル圏における自己対合的構造は、O(2)-等変ホモトピー論における双対性と対称性をどのように反映するか？
• RQ5 ねじれ群環構成は、ワイル群作用をモデル化し、モーリタ同値を可能にする上で果たす役割は何か？

主な発見

• 有限群 G に対して、有理的 G-スペクトルのホモトピー圏は、G の共役類ごの部分群 H に対する有理的ワイル群環 QWGH 上の階数付き加群の圏の積に同値である。
• 有理的 O(2)-スペクトルの圏は、Etop-スペクトル上のねじれ群環構成による加群の圏に同値であり、完全な代数的モデルを提供する。
• 圏 τ#ι∗SQ–mod が、自己対合的モーリタ同値により mod–Etop に同値であることが示され、O(2)-スペクトルとその代数的同型物との間に双対性が確立される。
• mod–φ∗N˜QEtop と mod–Dφ∗N˜QEtop 間に、新しいモーリタ同値が構成され、有理的 O(2)-スペクトルが、整合性を持つ自己対合を備えた dgQ-加群でモデル化可能であることが示される。
• 本論文は、有理的 O(2)-スペクトルの圏が、ねじれ群環上の加群の圏の積に分解可能であることを証明し、有限群の場合の一般化を達成する。
• 自己対合的モデル圏論と ν-圏論の理論を用いて、代数的同値をホモトピー的同値に持ち上げる。これにより、等変有理ホモトピー論のための強固な枠組みが提供される。