群上同调

✍ dations ◷ 2025-04-26 12:01:32 #群论,代数数论,同调代数

在同调代数中,群上同调是一套研究群及其表示的代数工具。群上同调源于代数拓扑,在代数数论上也有重要应用;它是现代类域论的基本构件之一。

群论中的指导思想之一,是研究群 G {\displaystyle G} 及其表示的关系。群 G {\displaystyle G} 的表示是 G {\displaystyle G} -模的特例:一个 G {\displaystyle G} -模是一个阿贝尔群 M {\displaystyle M} 配上 G {\displaystyle G} M {\displaystyle M} 上的群作用 G E n d ( M ) {\displaystyle G\to \mathrm {End} (M)} 。等价的说法是: M {\displaystyle M} 是群环 Z {\displaystyle \mathbb {Z} } 上的模。通常将 G {\displaystyle G} 的作用写成乘法 m g m {\displaystyle m\mapsto gm} 。全体 G {\displaystyle G} -模自然地构成一个阿贝尔范畴。

对给定的 G {\displaystyle G} -模 M {\displaystyle M} ,最重要的子群之一是其 G {\displaystyle G} -不变子群

N M {\displaystyle N\subset M} 是一个 G {\displaystyle G} -子模(即:是 M {\displaystyle M} 的子群,且在 G {\displaystyle G} 的作用下不变),则 M / N {\displaystyle M/N} 上赋有自然的 G {\displaystyle G} -模结构, N G M G {\displaystyle N^{G}\subset M^{G}} ,但是未必有 ( M / N ) G = M G / N G {\displaystyle (M/N)^{G}=M^{G}/N^{G}} 。第一个群上同调群 H 1 ( G , N ) {\displaystyle H^{1}(G,N)} 可以设想为两者间差异的某种量度。一般而言,可以定义一族函子 H n ( G , ) {\displaystyle H^{n}(G,-)} ,其间关系可以由长正合序列表示。

以下假设 G {\displaystyle G} 为有限群,全体 G {\displaystyle G} -模构成阿贝尔范畴,其间的态射 H o m G ( M , N ) {\displaystyle \mathrm {Hom} _{G}(M,N)} 定义为满足 f ( g x ) = g f ( x ) {\displaystyle f(gx)=gf(x)} 的群同态 f : M N {\displaystyle f:M\to N} 。由于此范畴等价于 Z {\displaystyle \mathbb {Z} } -模范畴,故有充足的内射对象。

函子 M M G {\displaystyle M\to M^{G}} 是从 G {\displaystyle G} -模范畴映至阿贝尔群范畴的左正合函子。定义 H n ( G , M ) {\displaystyle H^{n}(G,M)} 为其导函子。根据导函子的一般理论,可知:

在上述定义中,若固定一个域 k {\displaystyle k} ,并以 k {\displaystyle k} 代替 Z {\displaystyle \mathbb {Z} } ,得到的上同调群依然同构。

导出函子的定义来自内射分解,不便于具体计算。然而注意到 M G = H o m G ( Z , M ) {\displaystyle M^{G}=\mathrm {Hom} _{G}(\mathbb {Z} ,M)} ,其中 Z {\displaystyle \mathbb {Z} } 被赋予平凡的 G {\displaystyle G} 作用: g x = x {\displaystyle gx=x} ,故群上同调可以用Ext函子表达为

另一方面, G {\displaystyle G} -模范畴中也有充足的射影对象,若取一 Z {\displaystyle \mathbb {Z} } 的射影分解 0 Z P {\displaystyle 0\leftarrow \mathbb {Z} \leftarrow P_{\bullet }} ,则有自然的同构 E x t i ( Z , M ) H i ( H o m ( P , M ) ) {\displaystyle \mathrm {Ext} ^{i}(\mathbb {Z} ,M)\simeq H^{i}(\mathrm {Hom} (P_{\bullet },M))} 。最自然的分解是标准分解

L 0 Z {\displaystyle L_{0}\to \mathbb {Z} } g 0 1 {\displaystyle g_{0}\mapsto 1} 给出。

定义 K i := H o m G ( L i , M ) {\displaystyle K^{i}:=\mathrm {Hom} _{G}(L_{i},M)} ,其元素为形如 f : G i + 1 M {\displaystyle f:G^{i+1}\mapsto M} 的函数,并满足 f ( g g 0 , , g g i ) = g f ( g 0 , , g i ) {\displaystyle f(gg_{0},\ldots ,gg_{i})=gf(g_{0},\ldots ,g_{i})} ,称之为齐次上链。根据 G {\displaystyle G} L i {\displaystyle L_{i}} 上的作用,这种 f {\displaystyle f} 由它在形如 ( e , g 1 , g 1 g 2 , , g 1 , g i ) {\displaystyle (e,g_{1},g_{1}g_{2},\ldots ,g_{1}\ldots ,g_{i})} 的元素上的取值确定。借此,可将上链复形 K i {\displaystyle K^{i}} 描述为

其中的元素称为非齐次上链。

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

较常用的上同调是 H 1 {\displaystyle H^{1}} H 2 {\displaystyle H^{2}} 。从标准分解可导出以下的描述:

准此要领,亦有

上述理论有一对偶版本:对于任一 G {\displaystyle G} -模 M {\displaystyle M} ,定义 D M {\displaystyle DM} 为形如 g m m {\displaystyle gm-m} 的元素生成之子模。考虑从 G {\displaystyle G} -模范畴映至阿贝尔群范畴的函子

这是一个右正合函子,其导出函子称为为群同调 H n ( G , M ) {\displaystyle H_{n}(G,M)} 。群同调可以藉Tor函子描述为

对于有限群,群同调与群上同调可在塔特上同调群的理论下得到一贯的描述。

将上述定义中的 G {\displaystyle G} -模 M {\displaystyle M} 改成一般的群 A {\displaystyle A} (未必交换),并带有 G {\displaystyle G} 的作用 a g ( a ) {\displaystyle a\mapsto g(a)} (称之为 G {\displaystyle G} -群)。此时仍然可以定义第零个及第一个群上同调:

须留意 H 0 ( G , A ) , H 1 ( G , A ) {\displaystyle H^{0}(G,A),H^{1}(G,A)} 并不是群,而是带有一个指定元素的集合(来自 A {\displaystyle A} 的单位元),以下所谓的正合性,都应该在此意义下理解。

1 A B C 1 {\displaystyle 1\to A\to B\to C\to 1} G {\displaystyle G} -群的短正合序列,则有长正合序列

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

f : H G {\displaystyle f:H\to G} 为群同态,则可将任一 G {\displaystyle G} -模透过 f {\displaystyle f} 视为 H {\displaystyle H} -模,此运算导出上同调之间的映射

此映射与群上同调的长正合序列相容。当 H {\displaystyle H} G {\displaystyle G} 的子群而 f {\displaystyle f} 是包含映射,导出的映射称为限制映射,记为 Res。

由于我们假设 G {\displaystyle G} 为有限群,必有 ( G : H ) < {\displaystyle (G:H)<\infty } ,此时映射

导出一个上限制映射 C o r : H ( H , M ) H ( G , M ) {\displaystyle \mathrm {Cor} :H^{\bullet }(H,M)\to H^{\bullet }(G,M)}

相关

  • Rb5s12,8,18,8,1蒸气压第一:403 kJ·mol−1 第二:2632.1 kJ·mol−1 第三:3859.4 kJ·mol−1 (主条目:铷的同位素铷是一种化学元素,符号为Rb,原子序数为37。铷是种质软、呈银白色的金
  • 转氨酶增高转氨酶(Transaminase)是一种催化转氨基反应的转移酶,将氨基酸的α-氨基转移到一种α-酮酸上。人体内最重要的转氨酶为谷丙转氨酶和谷草转氨酶,都是肝功能测试的重要指标。EC 1.1
  • 美国广播公司美国广播公司(英语:American Broadcasting Company,简称ABC)是美国传统三大广播电视公司之一。创立于1943年,前身为全国广播公司两张广播网之一的蓝色广播网。目前的最大股东是华
  • 语音合成语音合成是将人类语音用人工的方式所产生。若是将电脑系统用在语音合成上,则称为语音合成器,而语音合成器可以用软/硬件所实现。文字转语音(Text-To-Speech,TTS)系统则是将一般语
  • 柯西定理柯西积分定理(或称柯西-古萨定理),是一个关于复平面上全纯函数的路径积分的重要定理。柯西积分定理说明,如果从一点到另一点有两个不同的路径,而函数在两个路径之间处处是全纯的,则
  • 英格里人英格里芬兰人或英格里人(芬兰语:inkeriläiset,inkerinsuomalaiset;俄语:Ингерманландцы)是居住在英格里亚(现俄罗斯列宁格勒州的中部区域)的芬兰人。他们是在17世纪
  • 国民议会 (法国) 政治主题国民议会(法语:Assemblée nationale)是法国议会的下议院,位于巴黎塞纳河畔的波旁宫。根据法兰西第五共和国宪法,国民议会与参议院(上议院)共同组成法国议会。但这一名称
  • 连续体谬误连续体谬误(英语:continuum fallacy),又称划界谬误(英语:line drawing fallacy)、秃子谬误(英语:bald man fallacy)、灰色地带谬误(英语:fallacy of grey)、堆垛悖论(英语:sorites paradox),
  • 厄尔厄尔(英文:Ell)是英格兰古老的长度单位,最早定义大约等同一个成年人前臂的长度,后来在英国定义为45英寸(约1.143米),多数用于裁缝行业。欧洲部分地方也有厄尔这个单位,但定义各有不同
  • 里彭大厦坐标:13°04′54″N 80°16′18″E / 13.0817°N 80.2716°E / 13.0817; 80.2716 里彭大厦(Ripon Building)为 印度泰米尔纳德邦金奈(马德拉斯)的市政当局所在地。其建筑风格结合