[論文レビュー] Algebraic models of change of groups in rational stable equivariant homotopy theory

J. P. C. Greenlees|arXiv (Cornell University)|Jan 25, 2015

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

ひとこと要約

本稿は、群の作用に関する有理数的安定等加群ホモトピー論における誘導、制限、余誘導函手の明示的な代数的モデルを、群の群環およびコホモロジー環上の階数付き加群の導来圏を用いて提示する。主な貢献は、位相的群の変換函手と、$H^*(BG_e)[\overline{G}]$ および $H^*(BH_e)[\overline{H}]$ 上の捩れ加群における代数的演算との明確な対応関係を確立し、誘導（$\theta^\dagger$）、制限（$\theta_*$）、余誘導（$\theta^*$）の代数的双対を明示的な式で与えることにある。

ABSTRACT

Shipley and the author have given an algebraic model for free rational G-spectra for a compact Lie group G. In the present note we describe, at the level of homotopy categories, the algebraic models for induction, restriction and coinduction relating free rational G-spectra and free rational H-spectra for a subgroup H of G. The justification for giving this short and elementary account is (1) the author found it difficult to guess the correct answer, (2) the answer depends on which Quillen equivalence is used between topology and algebra and (3) this has provided useful insight in several other projects (including arXiv:1501.03425).

研究の動機と目的

• 有理数的安定等加群ホモトピー論の文脈において、群の変換函手（誘導、制限、余誘導）の代数的モデルを確立すること。
• $G$-スペクトルと$H$-スペクトルの間の函手の随伴三重対が、階数付き加群の導来圏における代数的演算にどのように対応するかを記述すること。
• 誘導、制限、余誘導の代数的双対を、テンソル積、ホモモーフィズム、群環作用を用いて明示的な式で与えること。
• 相対的双対化モジュールおよびワイル群作用が代数的モデルにおいて果たす役割を明らかにすること、特に非自明なワイル群が存在する場合を含めて。
• 具体的な例（例えば $G = SO(3)$, $H = O(2)$）を通じて、モデルの有効性を示し、代数的函手が既知の位相的性質を回復することを示すこと。

提案手法

• シップリーとグリーンリーズによって確立された自由な有理数的 $G$-スペクトルの代数的モデルを用い、自由 $G$-スペクトルのホモトピー圏を $H^*(BG_e)[\overline{G}]$ 上の捩れ加群の導来圏と同一視する。
• 代数的誘導函手 $\theta^\dagger$ を $\mathbb{Q}[\overline{G}] \otimes_{\mathbb{Q}[\overline{H}]} \Sigma^{L(G/H)} N$ として構成し、ここで $L(G/H)$ は同次空間の接空間を表す。
• 代数的制限函手 $\theta_*$ を $H^*(BH_e) \otimes_{H^*(BG_e)} M$ として定義し、恒等成分の包含に沿ったベースチェンジを用いる。
• 代数的余誘導函手 $\theta^*$ を $\mathrm{Hom}_{\mathbb{Q}[\overline{H}]}(\mathbb{Q}[\overline{G}], N)$ として定義し、ワイル群の双対作用を符号化する。
• 例 $G = SO(3)$, $H = O(2)$ において、相対的双対化モジュール $\mathbb{D}(G_e|H_e) \cong \Sigma^2 \tilde{\mathbb{Q}} \otimes \mathbb{Q}[c]$ を明示的に計算し、階数のシフトを補正する。
• 導来圏における普遍性が満たされることを確認することで、代数的函手の随伴関係を検証する。

実験結果

リサーチクエスチョン

• RQ1 自由な有理数的 $G$-スペクトルと $H$-スペクトルの間の位相的群の変換函手（誘導、制限、余誘導）をどのように代数的にモデル化できるか？
• RQ2 階数付き加群の導来圏において、誘導、制限、余誘導をモデル化する函手 $\theta^\dagger$, $\theta_*$, $\theta^*$ の明確な代数的表現は何か？
• RQ3 ワイル群作用およびワイル群代数の構造が、特に非自明なワイル群が存在する場合に代数的モデルにどのように影響を与えるか？
• RQ4 相対的双対化モジュールは、特に非自明な成分が存在する場合に、代数的モデルにおける階数のシフトを補正するために果たす役割は何か？
• RQ5 代数的モデルは、$G = SO(3)$, $H = O(2)$ のような具体的な例において明示的に計算・検証可能か？

主な発見

• 誘導函手 $i_*$ は、$\theta^\dagger(N) = \mathbb{Q}[\overline{G}] \otimes_{\mathbb{Q}[\overline{H}]} \Sigma^{L(G/H)} N$ として代数的にモデル化され、ここでシフト $\Sigma^{L(G/H)}$ は同次空間 $G/H$ の次元を補償する。
• 制限函手 $i^*$ は $\theta_*(M) = H^*(BH_e) \otimes_{H^*(BG_e)} M$ としてモデル化され、恒等成分の包含に沿ったベースチェンジである。
• 余誘導函手 $i_!$ は $\theta^*(N) = \mathrm{Hom}_{\mathbb{Q}[\overline{H}]}(\mathbb{Q}[\overline{G}], N)$ としてモデル化され、$N$ 上のワイル群の双対作用を符号化する。
• 例 $G = SO(3)$, $H = O(2)$ において、代数的制限は $\theta_*M = \mathbb{Q}[c] \otimes_{\mathbb{Q}[d]} M$（$d \mapsto c^2$）であり、余誘導は $\theta^*(N) = N^W$、すなわち $N$ の $W$-不変部分空間である。
• 相対的双対化モジュール $\mathbb{D}(G_e|H_e)$ は $\Sigma^2 \tilde{\mathbb{Q}} \otimes \mathbb{Q}[c]$ として計算され、誘導モデルにおける階数のシフトを補償し、双対性と整合性を保証する。
• 代数的モデルは、位相的随伴関係を反映する随伴三重 $\theta^\dagger \dashv \theta_* \dashv \theta^*$ を形成し、導来圏の構造とも整合する。