[論文レビュー] The cubical complex of a permutation group representation - or however you want to call it

Pavol Ševera, Thomas Willwacher|arXiv (Cornell University)|Mar 16, 2011

Geometric and Algebraic Topology参考文献 4被引用数 4

ひとこと要約

本稿では、置換群 $G \subset S_n$ と $G$-加群 $M$ から構成されるコチェーン複体 $\mathit{Cub}(G,M)$、いわゆる「立方体複体」を導入する。これは多項式代数 $k[x_1,\dots,x_n]$ のバー複体の次数 $(1,\dots,1)$ の部分複体を用いて構成される。主な結果として、$\mathit{Cub}(G,M)$ のコホモロジーは、次数 $n$ における符号表現 $\mathrm{sgn}_n$ の $G$-不変部分空間 $M \otimes_G \mathrm{sgn}_n$ に同型であり、この結果は、オペラッド的および表現論的文脈におけるコホモロジー計算を統一的に扱うための強力な道具を提供する。

ABSTRACT

This paper is about a small combinatorial trick, which is well known, but has no name. Let G be a permutation group acting on a vector space M. There is a natural way to assign a cosimplicial space to these data. We call the resulting cochain complex the cubical complex. Its cohomology is easy to compute. We give some examples of its occurrence in nature.

研究の動機と目的

• 代表論およびホモロジー代数におけるよく知られたが名前が付けられていない組合せ論的構成を形式化し、命名すること。
• 対称群の作用と多項式代数から構成される標準的複体を用いて、群表現のコホモロジーを計算する洗練された一般枠組みを提供すること。
• 自由リー代数および結合代数から生じるようなオペラッド的複体のコホモロジー計算へのこの構成の有用性を示すこと。
• 既存の文献における結果を統一的に一般化し、オペラッド理論および変形理論における多様なコホモロジー計算の背後にある同一のアイデアがこの構成に由来することを示すこと。

提案手法

• 多項式代数 $A = k[x_1,\dots,x_n]$ のバー複体 $C(A)$ を定義し、単項式の次数で次数づける。
• 各 $x_i$ をちょうど1つずつ含む要素からなる部分複体 $C(A)^{(1,\dots,1)}$ を抽出し、これは $n$-立方体の境界と同型なコサイクロイダル複体をなす。
• $\mathit{Cub}(G,M) = M \otimes_G C(A)^{(1,\dots,1)}$ を $G$ を通じたテンソル積として構成し、$S_n$-同変性を保つ。
• $G$-不変部分をとる操作がホモロジーと可換であることを用いて、$H(\mathit{Cub}(G,M)) \cong M \otimes_G \mathrm{sgn}_n$ を導出。ここで $\mathrm{sgn}_n$ は次数 $n$ における符号表現である。
• 代数 $A$ が $k^n$ 上の自由 $\mathcal{P}$-余代数であるような他のコオペラッド $\mathcal{P}$ に対してもこの構成を一般化。$C(A)$ は次数づけられ、$S_n$-作用を引き継ぐ。
• この枠組みをアレクセエフとトロシヤンの研究に登場する既知の複体に適用し、統一的な方法でそれらのコホモロジー結果を再現する。

実験結果

リサーチクエスチョン

• RQ1 多項式代数 $k[x_1,\dots,x_n]$ のバー複体の次数 $(1,\dots,1)$ 部分と $G$-加群 $M$ をテンソル積にとった複体のコホモロジーは何か？
• RQ2 この構成を、自由リー代数および結合代数のようなオペラッド的文脈におけるコホモロジー計算に体系的に応用する方法は何か？
• RQ3 この構成は、変形理論およびオペラッド理論における既存のコホモロジー計算をどのように統一的または簡略化するか？
• RQ4 この方法は多項式代数を超えて、$\mathbb{Z}^n$-次数付き代数（コオペラッドから生じる）へ一般化可能か？
• RQ5 符号表現 $\mathrm{sgn}_n$ は、このような複体のコホモロジーを決定づける役割を果たすのはどのような点か？

主な発見

• $\mathit{Cub}(G,M)$ のコホモロジーは、次数 $n$ における符号表現 $\mathrm{sgn}_n$ の $G$-不変部分空間 $M \otimes_G \mathrm{sgn}_n$ に同型であり、これは $k$ 上の1次元空間である。
• $G = S_n$ および $M = \mathit{Lie}(n)$ の場合、複体 $\mathfrak{lie} = \oplus_n \mathit{Cub}(S_n, \mathit{Lie}(n))$ のコホモロジーは $k[-1] \oplus k[-2]$ に一致し、ヴェルネの結果と一致する。
• $G = S_n$ および $M = k[S_n]$ の場合、複体 $\oplus_n \mathit{Cub}(S_n, k[S_n])$ のコホモロジーは $\oplus_n k[-n]$ に一致し、ヴェルネの定理2.3と整合する。
• $G = S_n$ および $M = k[S_n]_{C_n}$ の場合、複体 $\mathfrak{tr}$ のコホモロジーは $\oplus_{n \text{ 奇数}} k[-n]$ に一致し、アレクセエフとトロシヤンの結果を回復する。
• $G = S_n$ および $M = \mathit{Lie}(n-1)$ の場合、複体 $\mathfrak{sder} = \oplus_n \mathit{Cub}(S_n, \mathit{Lie}(n-1))$ のコホモロジーは $k[-3]$ に一致し、$\mathfrak{sder}$ オペラッドのコホモロジーと一致する。
• 同様の方法はハリソン複体に対しても適用可能であり、コホモロジーは $n=1$ の場合に決定づけられる。$n > 1$ のとき $H(\mathit{Harr}(G,M)) \cong 0$、$n = 1$ のとき $M[-1]$ が得られる。