群上同调

✍ dations ◷ 2025-04-04 05:38:22 #群论,代数数论,同调代数

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

群论中的指导思想之一,是研究群 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)}

相关

  • 过敏性休克过敏性休克(英语:Anaphylaxis)反应系指一种严重的全身性过敏反应,发病极快且具有致命性。通常会伴随以下症状:起痒疹、舌头或咽喉肿胀、呼吸困难、呕吐、头晕及低血压;以上症状往
  • 止咳药止咳药是指治疗咳嗽的药品,通常为片状(亦有含化的)、溶液和混悬液。部分止咳水含有可待因或麻黄碱,过量服用会使人产生欣快感,故被滥用者称为摇头水),泛指用于止咳的所有药水,包括医
  • 曹晓风曹晓风(1965年5月-),女,北京人,中国植物表观遗传学家。1988年毕业于北京大学,1991年取得中国农业大学硕士学位,1997年取得北京大学博士学位。担任中国科学院遗传与发育生物学研究所
  • 柳属约400种柳,或柳树,是对柳属(Salix)植物的统称,其下共有四百多种物种,常见于北半球的寒带及温带。柳属植物要进行杂交非常容易,不论是天然或是人工的混种都很普遍。Salix × sepulcr
  • 焦磷酸四乙酯焦磷酸四乙酯(TEPP)简称特普,是一种含磷的有机化合物,是焦磷酸酯的衍生物,是一种无色有吸湿性的剧毒液体。是由法国化学家菲利普·克莱蒙(英语:Philippe de Clermont)所合成,是最早发
  • 广州市荔湾中学广州市荔湾中学,原名“广州市四十三中学”,是中国广东省广州市的一所全日制中学。该校创办于1956年,是全市首批实行“校长负责制”的完全中学,2008年改为现名。该校位于广州市荔
  • 小麦黑粉病小麦黑粉病是危害小麦的主要病害之一;一般分三种:
  • 嘻哈乌龙院《嘻哈乌龙院》是在《乌龙院四格漫画》的基础上制作的动画短片,在腾讯播出。华漫兄弟(天津)互动娱乐有限公司用Flash形式制作。总裁李儒奇说“国内的动漫产业往往只重视作品
  • 畑野浩子畑野浩子(1976年11月23日-)原名畑野广子,现名铃木浩子,是日本模特儿,2004年6月与日本美型男柏原崇结婚之后引退,2006年2月25日宣布离婚,为期一年八个月的婚姻画下句点,婚姻和平收场,两
  • 桑园镇 (蠡县)桑园镇,是中华人民共和国河北省保定市蠡县下辖的一个乡镇级行政单位。桑园镇下辖以下地区:桑园北村、桑园南村、桑园东村、潘东村、潘西村、大南庄村、小南庄村、杨东村、杨西