Essential theorems in group (co)homology - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T13:59:14Z http://mathoverflow.net/feeds/question/12539 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/12539/essential-theorems-in-group-cohomology Essential theorems in group (co)homology Josh Roberts 2010-01-21T13:46:26Z 2010-05-25T03:35:43Z <p>I'm trying to fill in the gaps in my understanding of group (co)homology and I'm wondering what are considered the "must know" theorems and concepts. I'm thinking of things along the lines of </p> <ol> <li>Hopf's formula - If $G$ has presentation $F/R$, then $H_2(G)=R \cap [F,F]/[F,R]$</li> <li>If $G$ has torsion then $H_n(G)$ has no top dimension</li> <li>$H_n = Tor_n$ so is the left derived functor of $\otimes$</li> <li>$H^n = Ext ^n$ so is the right derived functor of $Hom$</li> <li>If $G$ is discrete, then $H_n(G)=H_n(K(G,1))$</li> </ol> http://mathoverflow.net/questions/12539/essential-theorems-in-group-cohomology/12540#12540 Answer by Andy Putman for Essential theorems in group (co)homology Andy Putman 2010-01-21T13:49:57Z 2010-01-21T13:49:57Z <p>The Hochschild-Serre spectral sequence</p> http://mathoverflow.net/questions/12539/essential-theorems-in-group-cohomology/12542#12542 Answer by Ryan Budney for Essential theorems in group (co)homology Ryan Budney 2010-01-21T14:11:30Z 2010-01-22T01:12:49Z <p>Cameron Gordon's theorem that $H_2(G)$ is generally non-computable from a group presentation of G. IMO this should be the standard appended caveat to Hopf's formula. </p> <p>Gordon, C. Some embedding theorems and undecidability questions for groups. Combinatorial and geometric group theory (Edinburgh, 1993), 105--110, London Math. Soc. Lecture Note Ser., 204, Cambridge Univ. Press, Cambridge, 1995.</p> http://mathoverflow.net/questions/12539/essential-theorems-in-group-cohomology/12547#12547 Answer by Frank for Essential theorems in group (co)homology Frank 2010-01-21T15:28:06Z 2010-01-21T15:28:06Z <p>Tate's theorem for the Tate cohomology (agrees with group cohomology for $r\geq1$) of finite groups states the following and is used heavily:</p> <p>Let $G$ a finite group and $M$ a $G$-module and suppose that for all subgroups $H$ of $G$, $H^1_T(H,M)=0$ and $H^2_T(H,M)$ is cyclic of order $|H|$. Then for all $r$ there is an isomorphism $H^r_T(G,\mathbb{Z})\cong H^{r+2}_T(G,M)$.</p> <p>See Milne's notes on 'Class field theory' or the wikipedia entry for example. This is commonly applied in the case of $G$ being a Galois group $Gal(L/K)$ and $M=L^\times$ for example.</p> http://mathoverflow.net/questions/12539/essential-theorems-in-group-cohomology/12591#12591 Answer by Cam McLeman for Essential theorems in group (co)homology Cam McLeman 2010-01-22T01:07:48Z 2010-05-25T03:35:43Z <p>Shapiro's lemma and dimension-shifting. Cohomology of cyclic groups and Herbrand quotients. </p> <p>It would be helpful to know what you need to know group cohomology for. </p> <p>If you have an interest in pro-p or profinite groups, there's a slew of things to add on here (notably, the interpretation of the ranks of $H^1(G,F_p)$ and $H^2(G,F_p)$ as cardinalities of minimal generator and relator sets, the value of the cup product and Massey products in determining the structure of these relations, the relation with the Schur Multiplicator given by Hopf's formula above). Similarly, if you're interested in group cohomology as Galois cohomology, there's a whole field of mathematics to add on to the list. In addition to class field theory via group cohomology a la Tate, there are a few papers (I remember a particularly good one by Cornell and Rosen) that derive a large portion of a semester of algebraic number theory starting from elementary group cohomology. </p> http://mathoverflow.net/questions/12539/essential-theorems-in-group-cohomology/12605#12605 Answer by mathreader for Essential theorems in group (co)homology mathreader 2010-01-22T04:44:41Z 2010-01-22T04:44:41Z <ol> <li> Interpretation of cohomology of small degree:</li> </ol> <p>$H^1(G,A)$ = crossed homomorphisms $G\to A$ modulo principal ones.</p> <p>$H^2(G,A)$ = equivalence classes of extensions of G by A.</p> <p>$H^3(G,Center(G))$ = obstructions to existence of extensions of G by A.</p> <p>2. Transfer and its applications: If $G$ is finite then</p> <p>1) $H^i(G,M)$ is a torsion group annihilated by multiplication by $|G|$.</p> <p>2) Embedding of $p$-primary component of $H^i(G,M)$ into a subgroup of $H^i(P,M)$, for any $p$-Sylow subgroup $P\subset G$.</p> <p>3. In general, Brown's book "Cohomology of groups" gives a decent overview of what is good to know. </p> http://mathoverflow.net/questions/12539/essential-theorems-in-group-cohomology/19804#19804 Answer by Dev Sinha for Essential theorems in group (co)homology Dev Sinha 2010-03-30T07:07:39Z 2010-03-30T16:12:47Z <p>Here's one which is key for calculations: Let $H$ be a subgroup of $G$ and <code>$W_G(H) = N_G(H)/H$</code>. Then the restriction map <code>$H^*(BG) \to H^*(BH)$</code> maps to the invariants <code>$(H^*(BH))^{W_G(H)}$</code>. </p> <p>When $H$ is abelian, its cohomology is well-known (polynomial tensor exterior) and thus the cohomology of $G$ is mapping to something which can in principal be computed by invariant theory. Follow this with Quillen's theorem that the sum of these maps over all abelian subgroups has kernel which contains only nilpotent elements, and special cases such as Milgram's theorem that this is injective for symmetric groups, and you have a powerful computational tool.</p> <p>Also, here is a nice survey by Alejandro Adem (whose book with Milgram is a good reference, complementary in many ways to Brown's). It is intended for a graduate student summer school audience: <a href="http://www.math.uic.edu/~bshipley/ConMcohomology1.pdf" rel="nofollow">http://www.math.uic.edu/~bshipley/ConMcohomology1.pdf</a></p> http://mathoverflow.net/questions/12539/essential-theorems-in-group-cohomology/19806#19806 Answer by Bo Peng for Essential theorems in group (co)homology Bo Peng 2010-03-30T07:13:21Z 2010-03-30T07:13:21Z <p>It will be pretty nice to learn some Galois cohomology and Class field theory, so that you can see these machineries put to good use.</p>