[论文解读] 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)$ 的上同调同构于 $M \otimes_G \mathrm{sgn}_n$，即在度数 $n$ 处的符号表示的 $G$-不变部分，为在操作代数与表示论语境中统一计算上同调提供了一种工具。

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)$，按单项式次数分次。
• 提取子复形 $C(A)^{(1,\dots,1)}$，即每个 $x_i$ 恰好出现一次的元素，其构成一个同调复形，同构于 $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$ 处的符号表示。
• 将构造推广至其他余操作代数 $\mathcal{P}$，其中 $A$ 为 $k^n$ 上的自由 $\mathcal{P}$-余代数，$C(A)$ 继承分次与 $S_n$-作用。
• 将该框架应用于已知复形，如 Alekseev 与 Torossian 的工作，通过此统一方法重新获得其上同调结果。

实验结果

研究问题

• RQ1 将 $G$-模 $M$ 与 $k[x_1,\dots,x_n]$ 的分次复形中度数为 $(1,\dots,1)$ 的部分张量积构成的复形的上同调是什么？
• RQ2 该构造如何系统地应用于自由李代数与结合代数等操作语境中的上同调计算？
• RQ3 该构造在何种方式下统一或简化了形变理论与操作理论中的现有上同调计算？
• RQ4 该方法能否推广至其他 $\mathbb{Z}^n$-分次代数，而不仅限于多项式代数？
• RQ5 符号表示 $\mathrm{sgn}_n$ 在决定此类复形上同调中起什么作用？

主要发现

• 立方复形 $\mathit{Cub}(G,M)$ 的上同调同构于 $M \otimes_G \mathrm{sgn}_n$，即在度数 $n$ 处的符号表示的 $G$-不变部分，这是一个在 $k$ 上的一维空间。
• 当 $G = S_n$ 且 $M = \mathit{Lie}(n)$ 时，复形 $\mathfrak{lie} = \oplus_n \mathit{Cub}(S_n, \mathit{Lie}(n))$ 的上同调为 $k[-1] \oplus k[-2]$，与 Vergne 的结果一致。
• 当 $G = S_n$ 且 $M = k[S_n]$ 时，复形 $\oplus_n \mathit{Cub}(S_n, k[S_n])$ 的上同调为 $\oplus_n k[-n]$，与 Vergne 的定理 2.3 一致。
• 当 $G = S_n$ 且 $M = k[S_n]_{C_n}$ 时，复形 $\mathfrak{tr}$ 的上同调为 $\oplus_{n \text{ 为奇数}} k[-n]$，恢复了 Alekseev 与 Torossian 的结果。
• 当 $G = S_n$ 且 $M = \mathit{Lie}(n-1)$ 时，复形 $\mathfrak{sder} = \oplus_n \mathit{Cub}(S_n, \mathit{Lie}(n-1))$ 的上同调为 $k[-3]$，与 $\mathfrak{sder}$ 操作代数的上同调一致。
• 该方法同样适用于 Harrison 复形，其上同调由 $n=1$ 情况决定，结果为：当 $n > 1$ 时 $H(\mathit{Harr}(G,M)) \cong 0$，当 $n = 1$ 时为 $M[-1]$。