Strongart数学笔记浅谈Galois上同调理论及其应用.pdfVIP

浅谈Galois上同调理论及其应用 Galois上同调是有限群上同调理论的推广，与二次型理论，中 心单代数理论、代数群等数学分支都有着广泛的联系，下面我就来简 单介绍一下它的基本理论及其应用概况。 先从投射有限群（profinite group）讲起，它实际上就是有限 群的投射极限，等价于紧完全不连通的拓扑群。对于交换投射有限群， 可以通过Poincare对偶Hom（-，Q/Z)对应于挠Abel群。为什么要 考虑投射有限群呢？那是因为Galois群都是投射有限群。具体来说， 假若Ω/k是Galois扩张，那么其Galois群同构于Ω/k的所有有限 子扩张L/k的Galois群的投射极限，这里的同构是建立在拓扑群的 意义上的。 实际上，我们已经有了抽象群的上同调，那么投射有限群与它有 什么差别呢？主要就是加上了拓扑概念，对应的G-模A是要求连续， 因此有时也被称为连续上同调。接下来来我们自然可以问，是否存在 一个投射有限群，它的上同调与它作为抽象群的上同调是不同的？这 对于有限群是成立的，这是因为有限群的拓扑是离散的；对于零阶上 同调群，两者也是相同的，它们都等于群作用的不动点集。但假若我 们取Z^为Z生成的投射有限群，它平凡的作用在Q上，那么对于连 续上同调H^1(Z^,Q)=limH^1(Z/n,Q)=0，但对于一般上同调H^1(Z,Q） =Hom(Z^,Q)≠0，这是因为由于Q的可除性，我们可以扩张Hom(Z,Q) 的非零元。 投射有限群的上同调的代数构造与抽象群的上同调完全类似，这 里我就不再重复了。下面看相应的上同调序列，假若我们已经有投射 有限群G-模的短正合列1→A→B→C→1，我们可以期盼这样的长正合 列： 1→H^0(G,A)→H^0(G,B)→H^0(G,C)→H^1(G,A)→H^1(G,B)→H^1(G, C)→H^2(G,A)→… 其具体结论是逐步递进的： 1）A是B的普通子群时，序列可以连到H^1(G,B) 2）A是B的正规子群时，序列可以连到H^1(G,C） 3）A是B的中心子群时，序列可以连到H^2(G,A) 同时有两个连通同态也很值得注意：记上述正合列中f：A→B ， 1）δ_0：H^0(G,C)→H^1(G,A). 对任何c∈C^G，有拉回元素 b∈B^G，定义δ_0（c）=[α},使得f（α_σ）=b^(-1)σ·b. 2）δ_1：H^1(G,C)→H^2(G,A). 对任何[γ]∈H^1(G,C)，各γ_σ 均有拉回元素β_σ，定义δ_1([γ])=[α},使得f（α_σ,τ）=β_σ （σ·β_τ)(β_σ,τ）^(-1). 这样的符号看似比较杂乱，但实际上就是群元素σ作用后带来的 “交换障碍”，同时一阶连续上同调H^1(G,A)还可以被解释为A上 的G-挠子（torsor）或主齐性空间，即带与G-作用一致的单可迁右 作用的G-集。 接下来我们要介绍Galois上同调，完整的解释需要函子表示与 仿射群概型的思想，这里自然是没办法详细介绍的，只能先直观的看 成H^n(G_(K)，F（K）），有时也简记为H^n(K/k,F)，这里G_(K)就是 K在基域k上的Galois群；F是k上的代数范畴到群范畴上的函子， 它常常是以仿射群概型的形式出现，其作用自然给定为： σ·x=F(σ)(x)，最后把这个整体解释为关于投射有限群的上同调。 特别的，我们更关注K=k_s(基域k的可分闭包，此时的上同调就直 接记为H^n(k,F)。 下面看几个最常见的情形： 1）H^q(K/k,G_a)=0,若q≥1. 2）H^1(K/k,G_m)=0，这是Hilbert 90的推论，对任何可分k- 代数A，H^1(K,GL_1(A))=1 3）H^1(k,μ_n）=k*/k*^n，这可以由正合列 1→μ_n(k_s)→k_s×→k_s×→1的上同调与2）导出。 4）H^2(k,G_m)=Br(k)，这可以由正合列1→L*→GL_n （L)→PGL_n(L)→1的δ_1给出，详见参考书[2]. 5) H^2(k,μ_n)=Br_n(k)，这可以由正合列 1→μ_n(k_s)→k_s×→k_s×→1的上同调与4）导出。 H^1常常与代数分类相关，详细的说明需要用到Galois下降理 论，这里只从容易记忆代数版开始介绍。对域扩张K/k与Galois扩 张Ω/K，对任何k-代数A，H^1(Ω/K,Aut_alg(A)(Ω))与Ω上同构于