群上同調

群論中的指導思想之一，是研究群 ${\displaystyle G}$ 及其表示的關係。群 ${\displaystyle G}$ 的表示是 ${\displaystyle G}$-模的特例：一個 ${\displaystyle G}$-模是一個阿貝爾群 ${\displaystyle M}$ 配上 ${\displaystyle G}$ 在 ${\displaystyle M}$ 上的群作用 ${\displaystyle G\to \mathrm {End} (M)}$。等價的說法是：${\displaystyle M}$ 是群環 ${\displaystyle \mathbb {Z} [G]}$ 上的模。通常將 ${\displaystyle G}$ 的作用寫成乘法 ${\displaystyle m\mapsto gm}$。全體 ${\displaystyle G}$-模自然地構成一個阿貝爾範疇。

對給定的 ${\displaystyle G}$-模 ${\displaystyle M}$，最重要的子群之一是其 ${\displaystyle G}$-不變子群

${\displaystyle M^{G}=\lbrace x\in M:\forall g\in G\ gx=x\rbrace .}$

若 ${\displaystyle N\subset M}$ 是一個 ${\displaystyle G}$-子模（即：是 ${\displaystyle M}$ 的子群，且在 ${\displaystyle G}$ 的作用下不變），則 ${\displaystyle M/N}$ 上賦有自然的 ${\displaystyle G}$-模結構，${\displaystyle N^{G}\subset M^{G}}$，但是未必有 ${\displaystyle (M/N)^{G}=M^{G}/N^{G}}$。第一個群上同調群 ${\displaystyle H^{1}(G,N)}$ 可以設想為兩者間差異的某種量度。一般而言，可以定義一族函子 ${\displaystyle H^{n}(G,-)}$，其間關係可以由長正合序列表示。

以下假設 ${\displaystyle G}$ 為有限群，全體 ${\displaystyle G}$-模構成阿貝爾範疇，其間的態射 ${\displaystyle \mathrm {Hom} _{G}(M,N)}$ 定義為滿足 ${\displaystyle f(gx)=gf(x)}$ 的群同態 ${\displaystyle f:M\to N}$。由於此範疇等價於 ${\displaystyle \mathbb {Z} [G]}$-模範疇，故有充足的內射對象。

函子 ${\displaystyle M\to M^{G}}$ 是從 ${\displaystyle G}$-模範疇映至阿貝爾群範疇的左正合函子。定義 ${\displaystyle H^{n}(G,M)}$ 為其導函子。根據導函子的一般理論，可知：

• ${\displaystyle H^{0}(G,M)=M^{G}}$
• 長正合序列：若 ${\displaystyle 0\to M'\to M\to M''\to 0}$ 為 ${\displaystyle G}$-模的短正合序列，則導出相應的長正合序列

${\displaystyle \cdots \to H^{i-1}(G,M'')\to H^{i}(G,M')\to H^{i}(G,M)\to H^{i}(G,M'')\to H^{i+1}(M')\to H^{i+1}(M)\to \cdots }$

在上述定義中，若固定一個域 ${\displaystyle k}$，並以 ${\displaystyle k[G]}$ 代替 ${\displaystyle \mathbb {Z} [G]}$，得到的上同調群依然同構。

導出函子的定義來自內射分解，不便於具體計算。然而注意到 ${\displaystyle M^{G}=\mathrm {Hom} _{G}(\mathbb {Z} ,M)}$，其中 ${\displaystyle \mathbb {Z} }$ 被賦予平凡的 ${\displaystyle G}$ 作用：${\displaystyle gx=x}$，故群上同調可以用Ext函子表達為

${\displaystyle H^{i}(G,M)=\mathrm {Ext} ^{i}(\mathbb {Z} ,M)}$

另一方面，${\displaystyle G}$-模範疇中也有充足的射影對象，若取一 ${\displaystyle \mathbb {Z} }$ 的射影分解 ${\displaystyle 0\leftarrow \mathbb {Z} \leftarrow P_{\bullet }}$，則有自然的同構 ${\displaystyle \mathrm {Ext} ^{i}(\mathbb {Z} ,M)\simeq H^{i}(\mathrm {Hom} (P_{\bullet },M))}$。最自然的分解是標準分解

${\displaystyle L_{i}:=\sum _{(g_{0},\ldots ,g_{i})\in G}\mathbb {Z} (g_{0},\ldots ,g_{i})}$

${\displaystyle g(g_{0},\ldots ,g_{i})=(gg_{0},\ldots ,gg_{i})}$

${\displaystyle d(g_{0},\ldots ,g_{i})=\sum _{j=0}^{i}(g_{0},\ldots ,{\hat {g}}_{j},\ldots ,g_{i})}$

而 ${\displaystyle L_{0}\to \mathbb {Z} }$ 由 ${\displaystyle g_{0}\mapsto 1}$ 給出。

定義 ${\displaystyle K^{i}:=\mathrm {Hom} _{G}(L_{i},M)}$，其元素為形如 ${\displaystyle f:G^{i+1}\mapsto M}$ 的函數，並滿足 ${\displaystyle f(gg_{0},\ldots ,gg_{i})=gf(g_{0},\ldots ,g_{i})}$，稱之為齊次上鏈。根據 ${\displaystyle G}$ 在 ${\displaystyle L_{i}}$ 上的作用，這種 ${\displaystyle f}$ 由它在形如 ${\displaystyle (e,g_{1},g_{1}g_{2},\ldots ,g_{1}\ldots ,g_{i})}$ 的元素上的取值確定。藉此，可將上鏈複形 ${\displaystyle K^{i}}$ 描述為

• ${\displaystyle K^{i}}$ 的元素為 ${\displaystyle G^{i}\to M}$ 之函數。
• ${\displaystyle (df)(g_{1},\ldots ,g_{i+1})=g_{1}f(g_{2},\ldots ,g_{i+1})+\sum _{j=1}^{i}(-1)^{j}f(g_{1},\ldots ,g_{j}g_{j+1},\ldots ,g_{i+1})+(-1)^{i+1}f(g_{1},\ldots ,g_{i})}$

其中的元素稱為非齊次上鏈。

綜上所述，得到 ${\displaystyle H^{i}(K^{\bullet })=H^{i}(G,M)}$。

較常用的上同調是 ${\displaystyle H^{1}}$ 與 ${\displaystyle H^{2}}$。從標準分解可導出以下的描述：

${\displaystyle H^{1}(G,M)={\dfrac {\{f:G\to M|\forall g,g',\;f(gg')=gf(g')+f(g)\}}{\{f:G\to M:\exists m\,\forall g,\;f(g)=gm-m\}}}}$

準此要領，亦有

${\displaystyle H^{2}(G,M)={\dfrac {\{f:G^{2}\to M|gf(g',g'')-f(gg',g'')+f(g,g'g'')-f(g,g')=0\}}{\{f:G^{2}\to M:\exists h:G\to M,f(g,g')=gh(g')-h(gg')+h(g)\}}}}$

上述理論有一對偶版本：對於任一 ${\displaystyle G}$-模 ${\displaystyle M}$，定義 ${\displaystyle DM}$ 為形如 ${\displaystyle gm-m}$ 的元素生成之子模。考慮從 ${\displaystyle G}$-模範疇映至阿貝爾群範疇的函子

${\displaystyle M\to M_{G}:=M/DM=\mathbb {Z} \otimes _{\mathbb {Z} [G]}M}$

這是一個右正合函子，其導出函子稱為為群同調 ${\displaystyle H_{n}(G,M)}$。群同調可以藉Tor函子描述為

${\displaystyle H_{i}(G,M)\simeq \mathrm {Tor} _{i}^{\mathbb {Z} [G]}(\mathbb {Z} ,M)}$

對於有限群，群同調與群上同調可在塔特上同調群的理論下得到一貫的描述。

將上述定義中的 ${\displaystyle G}$-模 ${\displaystyle M}$ 改成一般的群 ${\displaystyle A}$（未必交換），並帶有 ${\displaystyle G}$ 的作用 ${\displaystyle a\mapsto g(a)}$（稱之為 ${\displaystyle G}$-群）。此時仍然可以定義第零個及第一個群上同調：

${\displaystyle H^{0}(G,A):=A^{G}=\{a\in A|\forall g\in G,\;g(a)=a\}}$

${\displaystyle H^{1}(G,A):={\dfrac {\{a_{s}:G\to A|\forall s,t\in G,\;a_{st}=a_{s}s(a_{t})\}}{\{b_{s}:G\to A|\exists a,b_{s}=a^{-1}s(a)\}}}}$

須留意 ${\displaystyle H^{0}(G,A),H^{1}(G,A)}$ 並不是群，而是帶有一個指定元素的集合（來自 ${\displaystyle A}$ 的單位元素），以下所謂的正合性，都應該在此意義下理解。

若 ${\displaystyle 1\to A\to B\to C\to 1}$ 是 ${\displaystyle G}$-群的短正合序列，則有長正合序列

${\displaystyle 1\to A^{G}\to B^{G}\to C^{G}\to H^{1}(G,A)\to H^{1}(G,B)\to H^{1}(G,C)}$

若 ${\displaystyle A}$落在 ${\displaystyle B}$ 的中心，此序列右端可再加一項 ${\displaystyle H^{1}(G,C)\to H^{2}(G,A)}$。

• Hopf, Heinz, , Comment. Math. Helv., 1942, 14: 257––309, MR6510, （原始内容存档于2011-05-24）
• Milne, James, , 2007 [2007-11-18], （原始内容存档于2012-04-02）, Chapter II
• Rotman, Joseph, , Springer-Verlag, 1995, ISBN 978-0-387-94285-8, MR1307623
• Serre, Jean-Pierre, , Paris: Hermann, 1968, ISBN 2-7056-1296-3, Chapitre VII
• Serre, Jean-Pierre, , Lecture Notes in Mathematics 5 Fifth, Berlin, New York: Springer-Verlag, 1994, ISBN 978-3-540-58002-7, MR1324577
• Shatz, Stephen S., , Princeton, NJ: Princeton University Press, 1972, ISBN 978-0-691-08017-8, MR0347778