[論文レビュー] Deformation functors of local actions

Jakub Byszewski|arXiv (Cornell University)|Dec 1, 2011

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

ひとこと要約

本稿は、正の特性における曲線上の局所的群作用の変形理論を調査し、群、その正規部分群、および商群の間の変形函手の間の制限および誘導写像を導入する。群 $ G $ の変形函手が、その部分群と商群に関連する函手のファイバード積の滑らかな拡張として分解可能であると提案し、障害理論を用いたコホロロジー的証拠と、変形函手の準同型写像の障害空間に関する主要結果を提示する。

ABSTRACT

We study the behaviour of infinitesimal deformation functors of local group actions with regard to passing to subgroups and quotient groups. Inspired by the cohomological information, we conjecture the existence of a decomposition of a deformation functor of a local $G$-action as a smooth extension of a fibered product of functors related to a subgroup and a quotient group of $G$.

研究の動機と目的

• 部分群および商群への移行の下で、局所的群作用の無限小変形函手の挙動を理解すること。
• 標準的な群コホロロジー作用素（制限および誘導）を変形函手のレベルに一般化すること。
• 群 $ G $ の変形函手が、正規部分群 $ N $ および商 $ G/N $ に関連する函手のファイバード積の滑らかな拡張として分解可能かどうかを調査すること。
• 障害理論を用いて、そのような分解に関するコホロロジー的証拠を提供すること。

提案手法

• 標準的な群コホロロジー作用素を昇格させることで、変形函手 $ D_G $、$ D_N $、$ D_{G/N} $ 間の制限および誘導写像を定義する。
• 変形理論的性質を分析するため、写像 $ (\operatorname{res}, \operatorname{ind}) : D_G \to D_N^{G/N} \times D_{G/N} $ を構成する。
• スペクトル系列の技法と非同調的複体を用いて、特に接写像および障害類を含むコホロロジー的データを計算する。
• プロ代表可能性の仮定の下で、双複体の全複体を用いて、写像 $ (\operatorname{res}, \operatorname{ind}) $ の完全な障害空間を確立する。
• Hochschild–Serre スペクトル系列を用いて、$ G $、$ N $、$ G/N $ のコホロロジーを関連付け、コホロロジー上の誘導写像を計算する。
• 障害空間の計算がコホロロジー的期待に一致することを検証し、予想された分解を支持する。

実験結果

リサーチクエスチョン

• RQ1 プロ代表可能な函手 $ F $ が存在し、写像 $ D_G \to D_N^{G/N} \times_F D_{G/N} $ が滑らかくなるかどうか。
• RQ2 変形函手上の制限および誘導写像が、群コホロロジーにおける対応する写像とどのように関係するか。
• RQ3 変形函手 $ D_G $ が、部分群および商群の構造を反映する $ D_N^{G/N} $ と $ D_{G/N} $ のファイバード積の滑らかな拡張として記述可能かどうか。
• RQ4 写像 $ (\operatorname{res}, \operatorname{ind}) : D_G \to D_N^{G/N} \times D_{G/N} $ の完全な障害空間は何か、そしてそれがコホロロジーとどのように関係するか。
• RQ5 この分解技法を、正の特性からゼロ特性への群作用の持ち上げ問題を帰納的に解くためにどの程度応用できるか。

主な発見

• 制限写像 $ \operatorname{res} $ の接写像は、群コホロロジーにおける標準的制限写像 $ \operatorname{H}^1(G, \Theta) \to \operatorname{H}^1(N, \Theta)^{G/N} $ と一致する。
• 定理 3.4 で、誘導写像 $ \operatorname{ind} $ の接写像のコホロロジー的記述が確立される。
• コホロロジーのレベルで、写像 $ (\operatorname{res}, \operatorname{ind}) $ はファイバード積構造と整合的であり、予想された分解を支持する（系 4.3）。
• プロ代表可能性の仮定の下で、定理 4.9 は双複体からのコホロロジー的データを用いて、写像 $ (\operatorname{res}, \operatorname{ind}) $ の完全な障害空間を構成する。
• 障害空間の計算は、$ D_G $ が $ D_N^{G/N} \times_F D_{G/N} $ の滑らかな拡張として分解可能であるという予想に対する強い証拠を提供する。
• この結果は、$ D_G $ の普遍変形環が、$ D_N $ および $ D_{G/N} $ のそれらから明示的に計算可能である可能性を示唆しており、注記 4.5 で指摘されている。