
TL;DR
This paper explores the relationships between symmetric, exterior, and classical group cohomologies, introducing spectral sequences and identifying conditions under which they are isomorphic, such as for torsion-free groups.
Contribution
It establishes a detailed connection between different cohomology theories of groups, including the introduction of spectral sequences to analyze their relationships.
Findings
Map from exterior to symmetric cohomology is a split monomorphism
Symmetric and classical cohomologies are isomorphic for torsion-free groups
Spectral sequences elucidate the relationships between the cohomology theories
Abstract
We investigate the relationship between the symmetric, exterior and classical cohomologies of groups. The first two theories were introduced respectively by Staic and Zarelua. We show in particular, that there is a map from exterior cohomology to symmetric cohomology which is a split monomorphism in general and an isomorphism in many cases, but not always. We introduce two spectral sequences which help to explain the realtionship between these cohomology groups. As a sample application we obtain that symmetric and classical cohomologies are isomorphic for torsion free groups.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Symmetric cohomology of groups
Mariam Pirashvili
Department of Mathematics
University of Southampton
University Road
Southampton
SO17 1BJ
Abstract.
We investigate the relationship between the symmetric, exterior and classical cohomologies of groups. The first two theories were introduced respectively by Staic and Zarelua. We show in particular, that there is a map from exterior cohomology to symmetric cohomology which is a split monomorphism in general and an isomorphism in many cases, but not always. We introduce two spectral sequences which help to explain the realtionship between these cohomology groups. As a sample application we obtain that symmetric and classical cohomologies are isomorphic for torsion free groups.
The research was supported by the EPSRC grant EP/N014189/1 Joining the dots: from data to insight.
AMS classification: 20J06 18G40.
1. Introduction
Let be a group and be a -module. In order to better understand 3-algebras arising in lattice field theory [3], Staic defined a variant of group cohomology, which he denoted by and called symmetric cohomology of groups [6]. Some aspects of this theory were later extended by Singh [5] and Todea [9]. There is an obvious natural transformation from the symmetric cohomology to the classical Eilenberg-MacLane cohomology
[TABLE]
According to [6],[7], is an isomorphism if and is a monomorphism for . By Corollary 2.3 in [7] we know that is an isomorphism if has no elements of order two.
Ten years prior to this, Zarelua had also defined a version of group cohomology, denoted by and called exterior cohomology of groups [10]. It also comes together with a natural transformation
[TABLE]
with similar properties. The exterior cohomology has the following striking property: If is a finite group of order , then for all
The aim of this work is to obtain more information about homomorphisms and . We construct a natural transformation such that the following diagram commutes:
[TABLE]
Our results in Section 3 show that the homomorphism is a split monomorphism in general, and an isomorphism in certain cases, namely if or has no elements of order two. In general, is not an isomorphism.
Our next results are related to the homomorphism . We construct a spectral sequence for which are edge homomorphisms, . As any first quadrant spectral sequence, it gives a 5-term exact sequence (see for example [8, Exercise 5.1.3]) which has the following form:
[TABLE]
Here the product is taken over all subgroups of order two. The exactness at is an answer to Problem 25 by Singh in [2]. At the very end of Section in [6], Staic wondered about the injetivity of the map under the assumption that has no elements of order . A trivial consequence of our spectral sequence says that, if has no elements of order two, then one has an exact sequence:
[TABLE]
[TABLE]
In particular, if has no elements of order two and three, then , for .
Among other consequences of our spectral sequence, we mention the following: if is a torsion free group, then is an isomorphism for all .
The paper is organised as follows: In Section 2 we recall the definitions of the symmetric and exterior cohomologies. In the next section we construct the transformation and prove our first result, which shows that is quite often an isomorphism, but not always. In the final section we construct a spectral sequence and we prove our main result Theorem 4.2.
2. Preliminaries
2.1. Classical cohomology
Let be a group and be a -module. One way to define the cohomology is via cochains, as . The group of -cochains of with coefficients in is the set of functions from to :
[TABLE]
The differential is the map
[TABLE]
Given a chain complex such as this one, one can define its normalised subcomplex. In each dimension , define to be the group of -cochains which satisfy the normalisation condition
[TABLE]
The canonical inclusion is a chain equivalence [4].
Another way to define is via projective resolutions, as . The standard projective resolution of by -modules is the sequence of -module homomorphisms [1]
[TABLE]
where
[TABLE]
and the mapping sends each generator to . An element of
[TABLE]
is then a function such that
[TABLE]
The maps
[TABLE]
defined by
[TABLE]
induce an isomorphism of cochain complexes [1]. Moreover, one has a commutative diagram
[TABLE]
where the horizontal maps are isomorphisms and the vertical maps are inclusions and homotopy equivalences. Here consists of such maps that
[TABLE]
Thus
[TABLE]
2.2. Symmetric cohomology
We now discuss a subcomplex of introduced by Staic in [6] and [7]. It is based on an action of on (for every ) compatible with the differential. In order to define this action, it is enough to define how the transpositions , act. For one defines:
[TABLE]
Denote by the subgroup of the invariants of this action. That is, . Staic proved that is a subcomplex of [6], [7].
Definition 2.1**.**
The homology of this subcomplex is called the symmetric cohomology of with coefficients in and is denoted by .
Remark 2.2**.**
There is a natural map induced by the inclusion .
2.3. Exterior powers
In order to define the chain complex introduced by Zarelua [10] we need to recall some facts about exterior powers.
Definition 2.3**.**
The exterior algebra of an abelian group is a quotient algebra of the tensor algebra with respect to the two-sided ideal generated by the elements of the form .
A weaker version of this, denoted by , can be defined as the quotient algebra of the tensor algebra with respect to the two-sided ideal generated by the elements of the form . Since
[TABLE]
it is clear that one has the canonical quotient maps
[TABLE]
Denote by the kernel of the projection . Thus we have a short exact sequence
[TABLE]
Clearly . Hence
[TABLE]
The images of in and are denoted by and respectively. Recall that if is a free abelian group with a set as basis, then is a free abelian group with basis elements , where . It is also well-known that is a free abelian group with basis elements , where . Here is a total order on .
In , , things are a bit more complicated because of the relation , which is a consequence of the relation . It implies that is an -vector space. The epimorphism has a splitting given by . Here are distinct elements in . Thus
[TABLE]
Thus expressions of the form , where , are canonical generators of . Among these elements, ones with strict inequalities form a basis of the summand corresponding to the free abelian group part, while the rest form a basis of the -vector space .
2.4. Exterior cohomology of groups
We now discuss a subcomplex of , denoted by , introduced by Zarelua in [10].
According to Lemma 3.1 in [10], there is a differential
[TABLE]
in the exterior algebra generated by given by
[TABLE]
where, as usual, the hat denotes a missing value. The group acts on this chain complex by:
[TABLE]
Definition 2.4**.**
The homology groups of the cochain complex (denoted by )
[TABLE]
are called the exterior cohomology groups of the group with coefficients in and are denoted by .
Therefore, is the subcomplex of of all -maps such that
[TABLE]
and
[TABLE]
for all .
Remark 2.5**.**
There is a natural transformation induced by the inclusion .
Remark 2.6**.**
Let be a finite group of order . Since is a free abelian group of rank , we have , for and for . On the other hand, as we will see later, the groups are nontrivial for infinitely many .
3. Comparison of symmetric and exterior cohomologies
3.1. Construction of the map
We need two more complexes: and . They are defined as follows.
Definition 3.1**.**
Let denote the subcomplex of of all -maps such that
[TABLE]
for all .
So we have the following subcomplexes:
[TABLE]
Definition 3.2**.**
Let be the complex defined by
[TABLE]
Thus belongs to if
[TABLE]
This subcomplex has already been considered by [9], who showed that if has no elements of order , then for all . We will later prove the same fact in a different way.
We have the following subcomplexes:
[TABLE]
In order to understand the relationship between all these complexes it is useful to rewrite them in terms of resolutions, which we constructed in Lemma 3.3 below.
Since , the standard projective resolution can be rewritten as
[TABLE]
If one replaces the tensor algebra by either version of the exterior algebra, one still obtains a resolution, though in general no longer a projective one. This is the subject of the following lemma.
Lemma 3.3**.**
One has a commutative diagram of resolutions of :
[TABLE]
One denotes these resolutions by , and respectively.
Proof.
In this proof, take . We only present the proof for , as the proof for is similar. We construct a homomorphism by the formula
[TABLE]
To show that this is a contracting homotopy, we need to check that . Indeed, we have
[TABLE]
∎
Lemma 3.4**.**
The differential sends to . Moreover, it is compatible with the decompostion (2.3.2). Hence
[TABLE]
and .
Proof.
By Lemma 3.3 the canonical projection is a chain map, inducing an isomorphism in homology, hence is a chain subcomplex with trivial homology. To finish the proof, it suffices to note that the map , , commutes with differentials and hence defines a splitting of chain complexes.
∎
Lemma 3.5**.**
After applying the functor to the resolutions in Lemma 3.3 one obtains the following diagram
[TABLE]
where all horizontal arrows are inclusions and vertical arrows are isomorphisms.
Proof.
A key point is to show that restricting on yields an isomorphism between and . To this end, take . Then
[TABLE]
The equation translates to
[TABLE]
In a similar way, the other equations above give the condition 3.1.1 for . ∎
If one passes to cohomology, one obtains the homomorphisms
[TABLE]
and the commutativity of the diagram in Lemma 3.5 shows that .
Proposition 3.6**.**
The homomorphism is a split monomorphism. Moreover, it is an isomorphism provided has no elements of order two.
Proof.
The first part follows from Lemma 3.4. Assume has no elements of order two. It suffices to show that . Take an element . Then we have
[TABLE]
for all . If , one obtains and hence . This implies that and the proof is finished. ∎
3.2. -cohomology
In order to state the realtionship between the exterior and symmetric cohomology we need to introduce new groups.
Definition 3.7**.**
For a group and a -module one defines the -homology by
[TABLE]
Since is an -vector space, it follows that the groups are also -vector spaces, . The importance of these groups comes from the fact that
[TABLE]
which is a trivial consequence of Lemma 3.4. It follows from Proposition 3.6 that if has no elements of order two, then .
3.3. Preliminaries on spectral sequences
To state our main result of this section, let us recall the construction of the hypercohomology spectral sequences. These spectral sequences will also play a prominent role in the next section.
Let be a group and be a left -module. For any chain complex of left -modules one defines to be the homology of the total complex of the bicomplex , where is an injective resolution of .
There exist two spectral sequences. Both of them abut to the group . They are:
[TABLE]
[TABLE]
We also need the following easy lemma on spectral sequences
Lemma 3.8**.**
Assume a spectral sequence abuts to zero and if or , where is a fixed integer. Then
[TABLE]
3.4. Vanishing of -cohomology in low dimensions
Now we can state the main result of this section:
Theorem 3.9**.**
Let be a group and be a -module. Then
[TABLE]
Hence is an isomorphism for .
Proof.
In the hypercohomology spectral sequence we take Since , the spectral sequence gives . Thus, the spectral sequence has the form
[TABLE]
Since we see that
[TABLE]
According to (2.3.1) we have for . It follows from Lemma 3.8 that for . Thus by the same Lemma it suffices to show that if .
One checks that the following diagram of -modules commutes:
[TABLE]
where
[TABLE]
[TABLE]
Since the set of elements , (resp. ) forms an -basis of (resp. ), the -homomorphism (resp. ) is an isomorphism. In general, the -homomorphism is not an isomorphism, but only a split monomorphism. Hence the projective resolutions
[TABLE]
can be used to compute and . In both cases
[TABLE]
Hence if . The first projective resolution gives
[TABLE]
where Since as a -module, the second projective resolution gives
[TABLE]
Moreover, it also shows that the group is a direct summand of . It follows that there is an isomorphism of chain complexes
[TABLE]
for some , where , for some and . Since is a monomorphism, it follows that . And as , we obtain that and the proof is finished. ∎
Now we give an example which shows that , is not an isomorphism in general.
3.5. The symmetric and exterior cohomologies of
Let , be the cyclic group of order two. In this section we compute both symmetric and exterior cohomologies of . The computation of the exterior cohomology is extremely easy. In fact, for , the resolution has the following form:
[TABLE]
where . So,
[TABLE]
For the symmetric cohomology one has the following result:
Lemma 3.10**.**
For and with trivial action of on , one has
[TABLE]
Thus, in general,
Proof.
Consider the resolution
[TABLE]
Fix and in consider the elements
[TABLE]
[TABLE]
Then and generate as a -module. More accurately, is a free -module with the generator . As a -module,
[TABLE]
with generating and generating . For odd , ,
[TABLE]
with generating each of the summands. Similarly to for larger we have
[TABLE]
where the generate the summands and generates .
Beginning from , the coboundary maps are given by the matrices
[TABLE]
where , ,
[TABLE]
where , ,
[TABLE]
where , ,
[TABLE]
where , . Based on this the result easily follows. ∎
4. Relationship between exterior and classical cohomology
We start this section with the following easy and probably well-known fact. It will be used in the proof of Theorem 4.2 below.
Lemma 4.1**.**
Let and , where are distinct elements in . If , then the order of divides .
Proof.
If one forgets the sign, it follows from the assumption that the multiplication by permutes the elements , meaning the cyclic group generated by acts on the set . The action is free, because it is given by the multiplication in . Hence all orbits will have the same length equal to the order of , dividing . ∎
Now we can state our main result.
Theorem 4.2**.**
For any group and any -module , there is a first quadrant spectral sequence
[TABLE]
with properties
- (i)
* and the edge homomorphism is precisely , .*
- (ii)
If , then .
- (iii)
*If , and the equation has only trivial solution in , then . *
- (iv)
If is a prime number and , then
[TABLE]
Here the product is taken over all subgroups of order and for each such subgroup, the corresponding action of on is induced by the inclusion.
Remark 4.3**.**
If is not prime, then , can be described as a product (usually of several copies) of the group cohomology of subgroups of order , where , but the exact formula is too complex to state here. From this it is easy to deduce that for all (compare with the proof of the part i) of Corollary 4.4).
Proof.
In the hypercohomology spectral sequence discussed in Section 3.3, we take , and , which we denote simply by . This gives the spectral sequences
[TABLE]
[TABLE]
Let us first consider the second spectral sequence. As is a resolution of , we have
[TABLE]
Therefore, the second spectral sequence degenerates to the isomorphism
[TABLE]
Substituting this value into the first spectral sequence, we obtain the spectral sequence
[TABLE]
Since the differential in the first page of the spectral sequence is induced by the boundary map in the resolution , it follows that for , the chain complex coincides with the Zarelua chain complex and the statement (i) follows.
If , then vanishes for . Hence for , and the property (ii) holds.
Next, the -module is free as an abelian group with a basis of the form , where . Here is any total order on . If one ignores the sign, we see that acts on the basis. Thus decomposes as a direct sum of -submodules corresponding to these orbits. In particular, summands corresponding to free orbits are free -modules. Now, if the assertion of (iii) holds, all orbits are free thanks to Lemma 4.1 and hence the -group vanishes and for . Thus the property (iii) is proved.
If is prime and is a cyclic subgroup of , then for the basis element one has for odd , and for . Thus determines a non free summand of . This summand is isomorphic to for odd and for . This summand has an obvious projective resolution
[TABLE]
if is odd and
[TABLE]
if . From this it follows that this summand of contributes the factor (resp. ) in for odd (resp. ). By Lemma 4.1 all non-free summands of arise in this way and hence has the form described in (iv). ∎
Thus the first plane/page of the spectral sequence is:
{q}$${0}$${\displaystyle\prod_{C_{2}\subset G}H^{q+1}(C_{2},M)}$${\displaystyle\prod_{C_{3}\subset G}H^{q}(C_{3},M)}$${\cdots}$${Ext^{q}(\Lambda^{p+1}\mathbb{Z}[G],M)}$${\cdots}$${\vdots}$${\vdots}$${\vdots}$${\vdots}$${\ddots}$${\vdots}$${\cdots}$${2}$${0}$${\displaystyle\prod_{C_{2}\subset G}H^{3}(C_{2},M)}$${\displaystyle\prod_{C_{3}\subset G}H^{2}(C_{3},M)}$${\cdots}$${Ext^{2}(\Lambda^{p+1}\mathbb{Z}[G],M)}$${\cdots}$${1}$${0}$${\displaystyle\prod_{C_{2}\subset G}H^{2}(C_{2},M)}$${\displaystyle\prod_{C_{3}\subset G}H^{1}(C_{3},M)}$${\cdots}$${Ext^{1}(\Lambda^{p+1}\mathbb{Z}[G],M)}$${\cdots}$${0}$${H_{\lambda}^{0}(G,M)}$${H_{\lambda}^{1}(G,M)}$${H_{\lambda}^{2}(G,M)}$${\cdots}$${H_{\lambda}^{p}(G,M)}$${\cdots} {0}$${1}$${2}$${\cdots}$${p}
As an immediate consequence of Theorem 4.2 one obtains the following corollary.
Corollary 4.4**.**
- (i)
For any group and any -module , the homomorphism is an isomorphism for and , while and can be fit in an exact sequence:
[TABLE]
- (ii)
If has no elements of order two, then for any -module , the homomorphism is an isomorphism, while and can be fit in an exact sequence:
[TABLE]
[TABLE]
- (iii)
If all nontrivial elements of are of infinite order, then is an isomorphism for all .
Proof.
- (i)
We first show that if , the differential vanishes. In fact, by part (iv) of Theorem 4.2 the group is annihilated by the multiplication by 2, while the group is annihilated by the multiplication by 3 and hence the corresponding map is zero. This fact implies that for all . The rest is a consequence of the 5-term exact sequence, which we have in any first quadrant spectral sequence.
- (ii)
Assume . By part (iii) of Theorem 4.2 and the fact that does not contain an element of order two, we have , if and is a power of two. It follows that , for and hence the result.
- (iii)
By part (iii) of Theorem 4.2 we have for all . Hence the spectral sequence degenerates and in particular, the edge homomorphism is an isomorphism.
∎
Example. Let be a prime number and be a cyclic group of order . Then
[TABLE]
In fact, the case when follows from Remark 2.6, while the case follows from part (iii) of Theorem 4.2.
Acknowledgements
The paper was written during the author’s postdoctoral fellowship at the University of Southampton. The author would like to thank the staff of the School of Mathematics, especiallly Prof. J. Brodzki, for providing me with excellent conditions to work.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] M. Atiyah and C. T. C. Wall Cohomology of groups. In W. S. Cassels, A. Fröhlich (Eds.), Algebraic Number Theory. London Academic Press, (1967), 94-115.
- 2[2] V. G. Bardakov , K. Gongopadhyay , M. Singh , A. Vesnin , J. Wu . Some Problems on Knots, Braids, and Automorphism Groups. Siberian Electronic Mathematical Reports, Volume 12 (2015), 394–405.
- 3[3] R.J. Lawrence . Algebras and triangle relations. J. Pure and Appl. Algebras. 100(1995), 43-72.
- 4[4] S. Mac Lane . Homology. Springer. Berlin (1963).
- 5[5] M. Singh . Symmetric continuous cohomology of topological groups. Homology, Homotopy and Appl. 15(2013), 279-302.
- 6[6] M. D. Staic . From 3-algebras to Δ Δ \Delta -groups and symmetric cohomology. J. of Algebra 332(2009), 1360-1376.
- 7[7] M. D. Staic . Symmetric cohomology of groups in low dimensions. Arch. Math.93(2009), 205-211.
- 8[8] C. Weibel . An introduction to homological algebra. Cambridge University Press. Cambridge. 1997.
