[論文レビュー] Bredon Homology of Partition Complexes

Gregory Arone, W. G. Dwyer+1 more|arXiv (Cornell University)|Jun 1, 2013

Topological and Geometric Data Analysis被引用数 16

ひとこと要約

本稿は、一般の係数を用いて、分割複体 ${\mathcal{P}}_n^\diamond$ のBredonホモロジーおよびコホモロジーを計算し、それが自明であるか、またはSteinbergモジュールを用いた構成によって表現可能であることを示している。この手法は、$p$-部分群の作用における固定点空間の詳細な解析と、等変近似技術を用いており、係数が$p$-部分群に関して射影的である場合にBredonホモロジーが計算可能であることを確立している。

ABSTRACT

We prove that the Bredon homology or cohomology of the partition complex with fairly general coefficients is either trivial or computable in terms of constructions with the Steinberg module. The argument involves developing a theory of Bredon homology and cohomology approximation.

研究の動機と目的

• 不変なサスペンションの分割複体 ${\mathcal{P}}_n^\diamond$ を $\Sigma_n$-空間として見たときのBredonホモロジーおよびコホモロジーを計算すること。
• 従来のBorel構成のmod $p$ ホモロジーに関する結果を、一般の係数系を用いたBredon（コ）ホモロジーへの分析の精緻化によって拡張すること。
• Bredon（コ）ホモロジーが計算可能となる条件を確立すること、特に係数が$p$-部分群に関して射影的である場合に注目すること。
• ティツのビルディングから導かれる構成を用いて、ホモロジーに同型を誘導する等変ホモロジー近似理論を構築することにより、${\mathcal{P}}_n^\diamond$ のホモロジーを計算可能にする。

提案手法

• 著者たちは、$B_k$ を $\mathrm{GL}_k(\mathbb{F}_p)$ のティツのビルディングとするとき、$\Sigma_n^+ \wedge_{\mathrm{Aff}_k} (E\mathrm{GL}_k^+ \wedge B_k^\diamond)$ として与えられる、$\Sigma_n$-等変近似を構成する。
• $\Sigma_n$ の $p$-部分群が ${\mathcal{P}}_n$ に作用する固定点空間を分析し、非可縮性を示す固定点を持つものを特定する（命題6.2）。
• この手法は、Mackeyファンクターを係数系として用い、Bredonホモロジーは共変関手 $\gamma$ によって、コホモロジーは反変関手 $\gamma^\natural$ によって定義される。
• 主な技術的道具は $p$-局所化と $p$-トランスファー性質の使用であり、特定の関手 $M_F$ が $p$-局所ホモロジーを保存し、中心化子および対合条件を満たすことを示している。
• $F \simeq F \circ L_p$ であるならば、関連するMackeyファンクター $M_F$ は $p$-トランスファー性質を満たし、$p$-部分群に関して射影的であることを証明している。
• 核の作用が軌道空間上で恒等写像にホモトープであることを示すことにより、中心化子条件を検証し、奇数 $p$ に対して対合条件を、球面への次数 $-1$ の写像による $-1$-作用がホモトピー群に誘導されることにより確認している。

実験結果

リサーチクエスチョン

• RQ1 一般の係数を用いた分割複体 ${\mathcal{P}}_n^\diamond$ のBredonホモロジーが計算可能となる条件は何か？
• RQ2 $\Sigma_n$ のどの $p$-部分群が ${\mathcal{P}}_n$ において非可縮性を示す固定点集合を持つのか？また、それらはBredonホモロジーにどのように影響を与えるか？
• RQ3 Bredonホモロジーをどのように等変的に近似することで、${\mathcal{P}}_n^\diamond$ のホモロジーを計算できるか？
• RQ4 Mackeyファンクターが満たすべき性質は何か？その結果、関連するBredonホモロジーが非自明かつ計算可能となるようにするためである。
• RQ5 $p$-トランスファー、中心化子、対合条件がどのように作用し合い、関手の $p$-局所化がBredonホモロジーを保存することを保証するか？

主な発見

• ${\mathcal{P}}_n^\diamond$ のMackeyファンクター $M$ を係数とするBredonホモロジーは、$M$ が $p$-部分群に関して射影的であるとき、自明であるか、またはSteinbergモジュールを用いた構成によって計算可能である。
• $\Sigma_n$ に作用する $p$-部分群の固定点空間は、特定の部分群に対してのみ非可縮的であり、命題6.2で完全に分類されている。
• 係数が $p$-部分群に関して射影的であるとき、近似写像 $\Sigma_n^+ \wedge_{\mathrm{Aff}_k} (E\mathrm{GL}_k^+ \wedge B_k^\diamond) \to {\mathcal{P}}_n^\diamond$ はBredonホモロジーに同型を誘導する。
• $F \simeq F \circ L_p$ を満たす関手 $F$ に対して、関連するMackeyファンクター $M_F$ は $p$-トランスファー性質を満たし、$\mathbb{Z}_{(p)}$-加群値をとる。
• 中心化子条件は、核の作用が軌道空間上で恒等写像にホモトープであることから満たされ、ホモロジー上での作用が自明であることを保証する。
• 奇数 $p$ に対して、対合条件は成り立つ：奇数の対合は、局所化されたスペクトルのホモトピー群に $-1$-作用を誘導し、$\tau - 1$ が同型であることを示し、これにより $M_F(\Sigma_n/D)$ 上での $-1$-作用が保証される。