Namespaces
Variants
Actions

Difference between revisions of "Serre theorem in group cohomology"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (texified)
 
Line 1: Line 1:
A theorem proved by J.-P. Serre in 1965 about the cohomology of pro-<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s1302501.png" />-groups which has important consequences in group cohomology and representation theory (cf. also [[Pro-p group|Pro-<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s1302502.png" />-group]]; [[Cohomology of groups|Cohomology of groups]]). The original proof appeared in [[#References|[a7]]], a proof in the context of finite group cohomology appears in [[#References|[a1]]].
+
A theorem proved by J.-P. Serre in 1965 about the cohomology of pro-$p$-groups which has important consequences in group cohomology and representation theory (cf. also [[Pro-p group|Pro-$p$-group]]; [[Cohomology of groups|Cohomology of groups]]). The original proof appeared in [[#References|[a7]]], a proof in the context of finite group cohomology appears in [[#References|[a1]]].
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s1302503.png" /> denote a fixed prime number and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s1302504.png" /> a pro-<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s1302506.png" />-group, that is, an inverse limit of finite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s1302507.png" />-groups (cf. also [[P-group|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s1302508.png" />-group]]). Assume that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s1302509.png" /> is not an elementary Abelian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025011.png" />-group (i.e. it is not isomorphic to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025012.png" /> for some indexing set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025013.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025014.png" /> is cyclic of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025015.png" />). Then Serre's theorem asserts that there exist non-trivial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025016.png" /> cohomology classes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025017.png" /> such that the product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025018.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025019.png" /> is the Bockstein operation associated to the exact coefficient sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025020.png" /> (see [[#References|[a9]]] and [[Cohomology operation|Cohomology operation]]). Note that for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025021.png" /> this is simply the squaring operation.
+
Let $p$ denote a fixed prime number and $G$ a pro-$p$-group, that is, an inverse limit of finite $p$-groups (cf. also [[P-group|$p$-group]]). Assume that $G$ is not an elementary Abelian $p$-group (i.e. it is not isomorphic to $(\textbf{Z}/p)^I$ for some indexing set $I$, where $\textbf{Z}/p$ is cyclic of order $p$). Then Serre's theorem asserts that there exist non-trivial $\mod p$ cohomology classes $v_1,...,v_k\in H^1(G,\textbf{Z}/p)$ such that the product $\beta(v_1)...\beta(v_k)=0$, where $\beta:H^1(G,\textbf{Z}/p)\to H^2(G,\textbf{Z}/p)$ is the Bockstein operation associated to the exact coefficient sequence $0\to\textbf{Z}/p\to\textbf{Z}/p^2\to\textbf{Z}/p\to 0$ (see [[#References|[a9]]] and [[Cohomology operation|Cohomology operation]]). Note that for $p=2$ this is simply the squaring operation.
  
For a finite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025022.png" />-group, this can be made more explicit as follows. Each cohomology class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025023.png" /> corresponds to a (non-zero) homomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025024.png" /> and hence an index-<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025025.png" /> subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025026.png" />. The class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025027.png" /> can be represented as an extension class
+
For a finite $p$-group, this can be made more explicit as follows. Each cohomology class $v_i$ corresponds to a (non-zero) homomorphism $\phi_i:G\to\textbf{Z}/p$ and hence an index-$p$ subgroup $G_i\subset G$. The class $\beta(v_i)\in\text{Ext}^{2_{\textbf{Z}/p[G]}}(\textbf{Z}/p,\textbf{Z}/p)$ can be represented as an extension class
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025028.png" /></td> </tr></table>
+
\begin{equation}0\to\textbf{Z}/p\to\textbf{Z}/p[G/G_i]\to\textbf{Z}/p[G/G_i]\to\textbf{Z}/p\to0,\end{equation}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025029.png" /> denotes the usual permutation module obtained by induction. When concatenated together, one obtains a representation of the product, which is an element in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025030.png" />, as
+
where $\textbf{Z}/p[G/G_i]$ denotes the usual permutation module obtained by induction. When concatenated together, one obtains a representation of the product, which is an element in $\text{Ext}^{2k_{\textbf{Z}/p[G]}}\:(\textbf{Z}/p,\textbf{Z}/p)$, as
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025031.png" /></td> </tr></table>
+
\begin{equation}0\to\textbf{Z}/p\to\textbf{Z}/p[G/G_k]\to\textbf{Z}/p[G/G_k]\to...\to\\\to\textbf{Z}/p[G/G_1]\to\textbf{Z}/p[G/G_1]\to\textbf{Z}/p]\to0,\end{equation}
 
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025032.png" /></td> </tr></table>
 
  
 
which the theorem asserts to be the trivial extension class.
 
which the theorem asserts to be the trivial extension class.
  
The original application of Serre's result was for proving that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025033.png" /> is a [[Profinite group|profinite group]] without elements of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025034.png" />, then the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025035.png" />-cohomological dimension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025036.png" /> is equal to the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025037.png" />-cohomological dimension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025038.png" /> for any open subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025039.png" /> (see [[#References|[a8]]] for more on this; cf. also [[Cohomological dimension|Cohomological dimension]]).
+
The original application of Serre's result was for proving that if $G$ is a [[Profinite group|profinite group]] without elements of order $p$, then the $p$-cohomological dimension of $G$ is equal to the $p$-cohomological dimension of $U$ for any open subgroup $U\subset G$ (see [[#References|[a8]]] for more on this; cf. also [[Cohomological dimension|Cohomological dimension]]).
  
However, it is also a basic technical result used in proving the landmark result (see [[#References|[a5]]] and [[#References|[a6]]]) that the Krull dimension (cf. [[Dimension|Dimension]]) of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025040.png" /> [[Cohomology|cohomology]] of a [[Finite group|finite group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025041.png" /> is equal to the rank of the largest elementary Abelian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025042.png" />-subgroup in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025043.png" />. More precisely, Serre's theorem can be used to verify that for a finite non-Abelian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025044.png" />-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025045.png" />, the Krull dimension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130250/s13025046.png" /> (the maximal rank of a polynomial subalgebra) is determined on maximal proper subgroups, hence leading to an inductive argument which can be reduced to elementary Abelian subgroups.
+
However, it is also a basic technical result used in proving the landmark result (see [[#References|[a5]]] and [[#References|[a6]]]) that the Krull dimension (cf. [[Dimension|Dimension]]) of the $\mod p$ [[Cohomology|cohomology]] of a [[Finite group|finite group]] $G$ is equal to the rank of the largest elementary Abelian $p$-subgroup in $G$. More precisely, Serre's theorem can be used to verify that for a finite non-Abelian $p$-group $G$, the Krull dimension of $H^*(G,\textbf{Z}/p)$ (the maximal rank of a polynomial subalgebra) is determined on maximal proper subgroups, hence leading to an inductive argument which can be reduced to elementary Abelian subgroups.
  
 
This, in turn, can be extended to arbitrary finite groups and to cohomology with coefficients in a modular representation. Indeed, it is a basic result in the theory of complexity and cohomological varieties in representation theory. This is explained [[#References|[a2]]], [[#References|[a3]]] and [[#References|[a4]]].
 
This, in turn, can be extended to arbitrary finite groups and to cohomology with coefficients in a modular representation. Indeed, it is a basic result in the theory of complexity and cohomological varieties in representation theory. This is explained [[#References|[a2]]], [[#References|[a3]]] and [[#References|[a4]]].

Latest revision as of 22:16, 5 February 2021

A theorem proved by J.-P. Serre in 1965 about the cohomology of pro-$p$-groups which has important consequences in group cohomology and representation theory (cf. also Pro-$p$-group; Cohomology of groups). The original proof appeared in [a7], a proof in the context of finite group cohomology appears in [a1].

Let $p$ denote a fixed prime number and $G$ a pro-$p$-group, that is, an inverse limit of finite $p$-groups (cf. also $p$-group). Assume that $G$ is not an elementary Abelian $p$-group (i.e. it is not isomorphic to $(\textbf{Z}/p)^I$ for some indexing set $I$, where $\textbf{Z}/p$ is cyclic of order $p$). Then Serre's theorem asserts that there exist non-trivial $\mod p$ cohomology classes $v_1,...,v_k\in H^1(G,\textbf{Z}/p)$ such that the product $\beta(v_1)...\beta(v_k)=0$, where $\beta:H^1(G,\textbf{Z}/p)\to H^2(G,\textbf{Z}/p)$ is the Bockstein operation associated to the exact coefficient sequence $0\to\textbf{Z}/p\to\textbf{Z}/p^2\to\textbf{Z}/p\to 0$ (see [a9] and Cohomology operation). Note that for $p=2$ this is simply the squaring operation.

For a finite $p$-group, this can be made more explicit as follows. Each cohomology class $v_i$ corresponds to a (non-zero) homomorphism $\phi_i:G\to\textbf{Z}/p$ and hence an index-$p$ subgroup $G_i\subset G$. The class $\beta(v_i)\in\text{Ext}^{2_{\textbf{Z}/p[G]}}(\textbf{Z}/p,\textbf{Z}/p)$ can be represented as an extension class

\begin{equation}0\to\textbf{Z}/p\to\textbf{Z}/p[G/G_i]\to\textbf{Z}/p[G/G_i]\to\textbf{Z}/p\to0,\end{equation}

where $\textbf{Z}/p[G/G_i]$ denotes the usual permutation module obtained by induction. When concatenated together, one obtains a representation of the product, which is an element in $\text{Ext}^{2k_{\textbf{Z}/p[G]}}\:(\textbf{Z}/p,\textbf{Z}/p)$, as

\begin{equation}0\to\textbf{Z}/p\to\textbf{Z}/p[G/G_k]\to\textbf{Z}/p[G/G_k]\to...\to\\\to\textbf{Z}/p[G/G_1]\to\textbf{Z}/p[G/G_1]\to\textbf{Z}/p]\to0,\end{equation}

which the theorem asserts to be the trivial extension class.

The original application of Serre's result was for proving that if $G$ is a profinite group without elements of order $p$, then the $p$-cohomological dimension of $G$ is equal to the $p$-cohomological dimension of $U$ for any open subgroup $U\subset G$ (see [a8] for more on this; cf. also Cohomological dimension).

However, it is also a basic technical result used in proving the landmark result (see [a5] and [a6]) that the Krull dimension (cf. Dimension) of the $\mod p$ cohomology of a finite group $G$ is equal to the rank of the largest elementary Abelian $p$-subgroup in $G$. More precisely, Serre's theorem can be used to verify that for a finite non-Abelian $p$-group $G$, the Krull dimension of $H^*(G,\textbf{Z}/p)$ (the maximal rank of a polynomial subalgebra) is determined on maximal proper subgroups, hence leading to an inductive argument which can be reduced to elementary Abelian subgroups.

This, in turn, can be extended to arbitrary finite groups and to cohomology with coefficients in a modular representation. Indeed, it is a basic result in the theory of complexity and cohomological varieties in representation theory. This is explained [a2], [a3] and [a4].

References

[a1] A. Adem, R.J. Milgram, "Cohomology of finite groups" , Grundlehren , 309 , Springer (1994) MR1317096 Zbl 0828.55008 Zbl 0820.20060
[a2] D.J. Benson, "Representations and cohomology II: Cohomology of groups and modules" , Studies in Advanced Math. , 32 , Cambridge Univ. Press (1991) Zbl 0731.20001
[a3] J.F. Carlson, "Modules and group algebras" , ETH Lect. Math. , Birkhäuser (1994) MR1428452 MR1393196 MR1342784 MR1338985 MR1159220 MR0621286 MR0613859 MR0528565 MR0491914 MR0472985 MR0554578 MR0419506 MR0364411 Zbl 0883.20006 Zbl 0837.20010 Zbl 0762.20021 Zbl 0484.20005
[a4] L. Evens, "Cohomology of groups" , Oxford Univ. Press (1992) MR1144017 MR0574102 MR0153725 Zbl 0742.20050 Zbl 0122.02804
[a5] D. Quillen, "The spectrum of an equivariant cohomology ring I–II" Ann. of Math. , 94 (1971) pp. 549–602 MR0298694 Zbl 0247.57013
[a6] D. Quillen, B. Venkov, "Cohomology of finite groups and elementary Abelian subgroups" Topology , 11 (1972) pp. 317–318 MR0294506 Zbl 0245.18010
[a7] J.-P. Serre, "Sur la dimension cohomologique des groupes profinis" Topology , 3 (1965) pp. 413–420 MR0180619 Zbl 0136.27402
[a8] J.-P. Serre, "Cohomologie Galoisienne" , Lecture Notes in Mathematics , 5 , Springer (1994) (Edition: Fifth) MR1324577 Zbl 0812.12002
[a9] E. Spanier, "Algebraic topology" , Springer (1989) MR1325242 Zbl 0810.55001 Zbl 0477.55001 Zbl 0222.55001 Zbl 0145.43303
How to Cite This Entry:
Serre theorem in group cohomology. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Serre_theorem_in_group_cohomology&oldid=24127
This article was adapted from an original article by Alejandro Adem (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article