[論文レビュー] The Picard group in equivariant homotopy theory via stable module categories

Achim Krause|arXiv (Cornell University)|Aug 12, 2020

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

ひとこと要約

本稿は、等変安定ホモトピー論におけるコン pact 物体のための新規な等方性分離機構を導入し、安定モジュール圏を用いて、幾何的固定点と Weyl 群の安定モジュール圏におけるグリューデータによって逆元可能な $G$-スペクトルを記述する。主な貢献は、$G = A_5$ における Picard 群の完全な計算であり、それは表現球面と特定の次元関数が制約を受けるモジュラー条件を満たす異常な逆元可能なスペクトルによって生成されることを示している。

ABSTRACT

We develop a mechanism of "isotropy separation for compact objects" that explicitly describes an invertible $G$-spectrum through its collection of geometric fixed points and gluing data located in certain variants of the stable module category. As an application, we carry out a complete analysis of invertible G-spectra in the case $G=A_5$. A further application is given by showing that the Picard groups of $\mathrm{Sp}^G$ and a category of derived Mackey functors agree.

研究の動機と目的

• 幾何的固定点と安定モジュール圏におけるグリューデータを用いた逆元可能な $G$-スペクトルの記述のためのカテゴリカルな枠組みを構築すること。
• 次元関数とモジュラー制約を用いた逆元可能な $A_5$-スペクトルの完全分類を提供すること。
• 真の $G$-スペクトルの Picard 群と、Weyl 群に関連する安定モジュール圏の Picard 群との間の明確な関係を確立すること。
• ${\operatorname{Sp}^G}$ の Picard 群が $H\mathbb{Z}_G$ からのインフレーションによって導かれる導来マックェイ関手の Picard 群と一致することを示すこと。

提案手法

• 幾何的固定点と Weyl 群の安定モジュール圏を介して ${\operatorname{Pic}(\operatorname{Sp}^G)}$ を分解する 1-カルテジアン図式を導入し、Picard $\infty$-群の圏を用いる。
• 等方性分離フレームワークを用いて、幾何的固定点と $\operatorname{StMod}(\mathbb{Z}W_G(K))$ 内のグリューデータ同型を介して、逆元可能な $G$-スペクトルを帰納的に再構成する。
• 次元ホモモルフィズム $\operatorname{Pic}(\operatorname{Sp}^G) \to \prod_{\operatorname{Orb}(G)} \mathbb{Z}$ を適用し、部分商群 $C_p \times C_p$ からの制約を分析する。
• $D_{2p}$ の Tate コホホロジーの 4 周期性を活用し、$\operatorname{StMod}(\mathbb{Z}D_{2p})$ 内での次元関数の実現可能性を特定する。
• スミス標準形を用いて、$\mathcal{D}(A_5)$ 内の実現可能な一般化された次元関数の部分群の基底を計算する。
• 特に $p=3$ および $p=5$ に対して、Sylow 部分群および正規化子への制限を用いて実現可能性条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 真の $A_5$-スペクトルの Picard 群の構造は何か？ また、次元関数とはどのように関係するか？
• RQ2 $A_5$ 上のどの一般化された次元関数が逆元可能な $G$-スペクトルによって実現可能か？
• RQ3 Weyl 群の安定モジュール圏が、逆元可能な $G$-スペクトルのグリューデータをどのように制御するか？
• RQ4 ${\operatorname{Sp}^G}$ の Picard 群が、Weyl 群の安定モジュール圏からのみ計算可能か？
• RQ5 $D_{2p}$ の Tate コホホロジーにおける 4 周期性が、逆元可能な $G$-スペクトルを制約する役割を果たすか？

主な発見

• ${\operatorname{Sp}^{A_5}}$ の Picard 群は $\mathbb{Z}^7$ に同型であり、7 個の独立した逆元可能なスペクトルによって生成される。
• 最初の4つの基底要素は、$A_5$ の自明表現、4次元、5次元、3次元の既約表現に対応する表現球面である。
• 残りの4つの基底要素は異常であり、幾何的に構成可能ではなく、自明部分群における非自明な $\mathbb{Z}/4$-値グリューデータを持つ次元関数に対応する。
• $d_{A_5} = 1$ かつすべての $H \neq A_5$ に対して $d_H = 0$ である次元関数は実現可能であり、これはすべての真の部分群で固定点が自明な非自明な逆元可能なスペクトルの存在を示している。
• 一般化された次元関数 $d$ の実現可能性は、パリティ制約および mod 4 でのモジュラー方程式を含む9つの条件によって決定され、特に $d_e - 3d_{C_2} + 2d_{C_2 \times C_2} = 0$ および $d_e - 2d_{C_2} - d_{C_3} + 2d_{D_6} \equiv 0 \pmod{4}$ が関与する。
• ${\operatorname{Sp}^G}$ の Picard 群は、${\operatorname{Mod}_{\operatorname{Sp}^G}(H\mathbb{Z}_G)}$ のそれと一致しており、Picard 群が $\pi_0(H\mathbb{Z}) = \mathbb{Z}$ のみに依存することを示している。