Questions tagged [group-cohomology]
a tool used to compute invariants of group actions using methods from homology theory, such as invariants, coinvariants, extensions... Use with (homology-cohomology).
837
questions
0
votes
0
answers
27
views
Group cohomology reference
I'm interested in studying group cohomology (for discrete groups).
Are there accessible (lecture) notes that give a nice overview of the basics for group cohomology and develop the categorical ...
- 985
0
votes
0
answers
35
views
The torsion subgroup of the coinvariants for a $G$-module.
Let $G$ be a finite group and $M$ be a finitely generated $G$-module,
that is, a finitely generated abelian group on which $G$ acts.
Consider the functor
$$ (G,M)\rightsquigarrow F(G,M):= (M_G)_{\rm ...
- 822
1
vote
0
answers
18
views
Proving that $S^1 \vee S^1 \to S^1$ induces a projection on homology groups
I am trying to compute the homology of the Klein bottle using the Eilenberg-Steenrod axioms and after a number of steps, I reached a part where I need to show that the map $f:S^1 \vee S^1\to S^1$, ...
- 23
0
votes
0
answers
12
views
Group Cohomology as a Left Derived Functor
The $n$th group cohomology is the $n$th right derived functor of the left exact $M \mapsto M^G$ functor. Using the equivalence $\mathbb Z[G]$-$\mathrm{Mod} \cong G$-$\mathrm{Mod}$ we can show that $\...
- 135
0
votes
1
answer
49
views
Compute the ext functor of an abelian torsion group.
Let $G$ be an abelian torsion group. I have to compute the group
$$ \text{Ext}^{1}_{\mathbb{Z}}(G, \mathbb{Z}) $$
and to prove the isomorphism
$$ \text{Ext}^{1}_{\mathbb{Z}}(G, \mathbb{Z}) \simeq \...
- 337
0
votes
0
answers
48
views
Find the number of group extensions of $\mathbb{Z}_{3}$ by $\mathbb{Z}_{6}$.
We have that the number of group extensions of $\mathbb{Z}_{3}$ by $\mathbb{Z}_{6}$ is:
$$\textrm{Ext}_{\mathbb{Z}}^{1}(\mathbb{Z}_{3},\mathbb{Z}_{6}) \simeq \mathbb{Z}_{d} $$
where $d = \gcd(3,6) = 3 ...
- 172
0
votes
1
answer
67
views
Taking $π:C^{n+1} \setminus \{ 0 \}→CP^n$, does the continuous application $q:CP^n→C^{n+1} \setminus \{ 0 \}$ exist such that $π∘q = Id$?
I'm trying to show that the continuous application $q:CP^n→C^{n+1} \setminus \{ 0 \}$ exists such that $π∘q = Id$ in $CP^n$.
To show they are homotopy equivalent, I have been trying to use the lifting ...
1
vote
1
answer
23
views
Exact $G-$sequences of $\mathbb{Z}G$
We have a exact sequence of $G-$modules
$$0\to I_G \to \mathbb{Z}G\to \mathbb{Z}\to 0$$
here $\varepsilon: \mathbb{Z}G \to \mathbb{Z}: \sigma\to 1 \;\forall \sigma \in G$ and $I_G=\ker\varepsilon$ or ...
- 141
2
votes
0
answers
28
views
Proving Hochschild-Serre spectral sequence (of group (co)homology) via Grothendieck spectral sequence
Let $G$ be a group and $N$ be its normal subgroup. Let $A$ be a $G$-module, then we have the Hochschild-Serre spectral sequence
$$
E_2^{p,q} = H^p(G/N, H^q(N,A)) \Rightarrow H^{p+q}(G,A).
$$
and
$$
E_{...
- 1,397
3
votes
1
answer
85
views
A cyclic group extension "on both sides"
I have two extensions of finite groups, letting $C_m$ denote the cyclic group of order $m$:
$$1 \to C_n\to G\to C_3\to 1 \tag{1} $$
$$1 \to C_3\to G\to H\to 1 \tag{2} $$
where $n$ is some composite ...
- 313
0
votes
0
answers
16
views
Stuck at $Conjugacy$ part in Schur-Zassenhaus Theorem.
I am writing the Conjugacy part of Schur-Zasssenhaus theorem, using the Robinson book.
in case of $G/N$ soluble, I have considered, if there is a normal subgroup $N_0$ such that $\{e\}\neq N_0 \leq N$ ...
- 107
1
vote
1
answer
50
views
What's the group extension corresponding to the sum of 2 classes of $H^2(G,A)$
I'm learning Galois/Group Cohomology and i've just seen that the second cohomology group $H^2(G,A)$ (constructed as the factor systems quotient splitting factors) classifies the group extensions of $G$...
- 11
0
votes
0
answers
26
views
Second group cohomology $H^2(\mathbb Z^n, \mathbb C^*)=?$
Regard $\mathbb Z^n$ as an abelian group, and let $\mathbb C^* = \mathbb C-\{0\}$.
Question: What is the group cohomology $H^2(\mathbb Z^n, \mathbb C^*)$?
More specific question is as follows. I have ...
- 1,675
2
votes
0
answers
51
views
Group Cohomology and Pontryagin Duality
My question is related to this question, which I tried to post an answer. I think it is better to ask a question directly.
My question is from the book "Foundations of Quantum Theory: from ...
0
votes
0
answers
40
views
The tensor product over $R$ or $M$?
Here is the Kunneth formula I found for cohomology on the internet here https://topospaces.subwiki.org/wiki/Kunneth_formula_for_cohomology:
But I am confused about if the tensor product over $R$ or $...
- 1,191
0
votes
0
answers
19
views
Quotient of group cohomology by $G$-module automorphisms?
Let $G$ be a finite group and $M$ a finite-dimensional $G$-module over $\mathbb{F}_2 = \{0, 1\}$. Let $f\in Z^1(G, M)$ be a $1$-cocycle, and let $\phi:M\mapsto M$ be a $G$-module automorphism. Do we ...
-1
votes
1
answer
50
views
what is the homology groups of a contracting circle in a torus to a point?
I need to compute the homology groups of the space $X$ obtained by contracting a circle in a torus $T$ to a point.
I think $H_0(X)= \mathbb{Z}$ since $X$ is a connected. For $H_1(X)$ I think we need ...
- 165
0
votes
0
answers
31
views
What is the most straight forward way to compute $H^{2}(\mathbb{Z}_{n},\mathbb{Z}_{k})$?
I'm trying to wrap my head around group cosmology, and I wanted to inquire what would be the most straight forward way to compute $H^{2}(\mathbb{Z}_{n},\mathbb{Z}_{k})$? Would it be to use the fact ...
- 172
2
votes
0
answers
81
views
Relationship between group homology and group cohomology when the group is finite
Let $G$ be a finite group.
If you consider $H^{n+1}(G,\mathbb{Z})$ and $H_{n}(G,\mathbb{Z})$ (with trivial actions) you will get that these are isomorphic. One can do this by considering instead the ...
- 817
0
votes
0
answers
27
views
On a map induced by multiplication on cohomology
Studying group cohomology I landed on a paper with a lot of induced maps. However, I stumbled on something which seems to be a mistake, to me, although the author seems very confident with what he ...
- 564
2
votes
1
answer
104
views
Group Cohomology as a Derived Functor
Let $G$ be a (finite, say) group acting on module $M$. I've been trying to understand how the (standard?) construction of group cohomology $H^i(G,M)$ given by wikipedia relates to the general ...
- 548
2
votes
0
answers
30
views
Profinite Cohomology of $\hat{\mathbb{Z}}$: Abstract proof using $\delta$-functors
Lets $G=\hat{\mathbb{Z}}$ be the profinite completion of the integers, let $T$ be the topological generator of $G$. I'm interested in proving $$H^i(G,M)=\begin{cases}
M^G & i= 0\\
M/(T-1)M &i=...
- 654
1
vote
1
answer
41
views
$0\to \text{Hom}(P_0,G)\to \text{Hom}(P_1,G)\to \text{Hom}(P_2,G)\to\dots$ is an exact sequence. [duplicate]
I am reading ''Algebraic number theory'' by Cassels and Fröhlich and in the chapter IV.4 it says the following:
If $\dots\to P_2\to P_1\to P_0\to\mathbb{Z}\to 0$ is a projective resolution and $G$ is ...
- 1,408
2
votes
1
answer
66
views
Why the torus has open subsets diffeomorphic to a cylinder?
If I take the torus $T$ of revolution in $\mathbb{R}^3$ is very intuitive for me that there is an open subset of $T$ that is diffeomorphic to a cylinder, for example $T$ minus a circle on the $xz$ ...
- 343
2
votes
0
answers
20
views
Adjoint representation of a Lie group in homology of its lie algebra
It is known that a (Lie) group acts trivially (by identity) in its homology. It is also known that Lie algebra acts trivially (by zero endomorphisms) in its homology. Can we say that a Lie group acts ...
- 541
4
votes
0
answers
53
views
Can we use the algebraic definition of group cohomology for $H(BG, A)$ for compact Lie groups $G$?
For any discrete group $G$, the classifying space $BG$ is a $K(G, 1)$ and can be constructed as a simplicial set with $|G|^i$ $i$-simplices. Accordingly, elements of $H^i(BG, A)$ can be represented by ...
- 331
0
votes
0
answers
62
views
If $\phi:G\longrightarrow A^{\times}$ is a nontrivial character, why is $H^1(G,A)=0$?
If $\phi:G\longrightarrow A^{\times}$ is a nontrivial character and $M=A^1$, where $A$ is a ring, why is $H^1(G,M)=0$ if $G$ acts via $\phi$?
This is essentially the claim that Wiles makes on p. 465 ...
- 1,422
1
vote
0
answers
61
views
Definition of Galois Cohomology
For Galois cohomology, one uses the cohomology constructed for profinite groups instead of the usual group cohomology. In other words, one also uses/takes into account the Krull topology we have on ...
- 225
0
votes
1
answer
58
views
Another question on 1-cocycles (explicite computation of 1-cocycles)
I want to calculate 1-cocycles, as they are described in Neukirch's Class field theory. In what follows the Galois group of $L/\mathbb{Q}$ is acting on $L^{\times}$.
The first comment in this question,...
0
votes
0
answers
46
views
A very simple problem on 1-cocycles
Edit: According to the comment of Mindlack this special question is solved, but yet I have no idea if my calculations lead to another number $r\neq 0$. And in the case $r\neq 0$, I don't know how ...
4
votes
0
answers
96
views
Compatibility and consistency between two definitions of cohomology in two books (about coboundary operators and 1-cocycles and computing cohomology)
I was reading cohomology from Neukirch's book, and there he referenced to Hall's book. The two approaches are almost the same (are they not?), and they should give us the same results (cohomology ...
5
votes
2
answers
98
views
Proving Schur-Zassenhaus Theorem, with added assumption that $G/H$ is cyclic
Schur-Zassenhaus Theorem:
If there exists normal Hall-subgroup $H$ of finite group $G$, then there exists complement $K$ of $H$ in $G$.
So if $\exists$ H $\unlhd$ G s.t. |H| is coprime to [G:H] then ...
- 53
1
vote
0
answers
88
views
Weil–Châtelet group of a real elliptic curve is isomorphic to $\Bbb Z/2\Bbb Z$ when $\Delta>0$
This is a question from Silverman's The arithmetic of elliptic curves, exercise 10.7.
Prove $WC(E/ \Bbb R)$ is isomorphic to $\Bbb Z/2\Bbb Z$ when discriminant
$Δ＞0$ and $0$ when $Δ＜0$.
From ...
- 390
4
votes
0
answers
38
views
Virtual cohomological dimension of mapping class group and braid group of punctured surfaces
Let $B_{k}(S_{g}),$ $MCG(S_{g};k)$ and $MCG(S_{g}))$ are Braid group, Mapping class group (relative to $k$) and Mapping class group of orientable surface $S_{g}$, respectively. For $g\geq3,$ we have ...
- 1,014
2
votes
0
answers
55
views
Finiteness of group cohomology
Let $G$ be a finite group and $k$ a field whose characteristic does not divide the order of $G$. Then if $M,N$ are $k[G]$-modules which are finitely generated as $k$-module, then
$$\text{Ext}^i(M,N)=\...
- 1,878
1
vote
0
answers
88
views
The question about the proof isomorphism between simplicial and singular homology group
I want mainly to ask the two question while reading Theorem 2.27 the Hatcher's textbook
Theorem 2.27) The homomorphisms between $H^{\Delta}_n(X,A) \to H_n(X,A) $ are
isomorphism for all n and all $\...
- 667
3
votes
1
answer
89
views
Computing Group Extension and $2$-cocycle in GAP
It is a well known theorem that $2$-cocycle are in bijection with Group extensions.
Suppose if I have group extension, say, for example, $$1\rightarrow C_2 \rightarrow D_{16}\rightarrow D_8\rightarrow ...
- 2,316
4
votes
2
answers
127
views
Interpretation of vanishing of cohomology groups
Let $G$ be a group and $M$ a left $G-$module. It is well know that for some conditions all the cohomology groups $H^{i}(G,M)$, $i=0,1,2,.....$ vanish. The same can be do for the Hochschild cohomology ...
1
vote
0
answers
53
views
2-cocycles in Lie group vs Lie algebra cohomology (context of projective reps)
I'm confused by the relationship between the cocycle condition in Lie algebras vs Lie groups.
For Lie groups, a 2-cocycle is defined (e.g. here) as a map $\Phi : G \times G \rightarrow \mathbb{F}$ ...
- 158
0
votes
0
answers
39
views
What Percentage of Type F Groups are not Poincare Duality Groups?
What "percentage" (in a meaningful sense of the term) of Type F groups are not Poincare duality groups (over any coefficient ring, in particular, over $\mathbb{F}_2$)? Of course, it's an ...
- 649
0
votes
1
answer
67
views
On pairing and cup product in group cohomology
I'm reading the wiki page of local Tate duality.
https://en.wikipedia.org/wiki/Local_Tate_duality#cite_note-2
Let $K$ be a non-archimedean local field, let $K^s$ denote a separable closure of $K$, and ...
- 909
3
votes
0
answers
49
views
Properties of 3-cocycles
Let $G$ be a finite group, $H$ a subgroup of $G$, and $A$ an abelian group.
Assume given a 3-cocycle $\omega:G\times G\times G\rightarrow A$ such that $\omega|_{H\times H\times H}$ is coboundary, say $...
- 381
1
vote
0
answers
53
views
Question on Group cohomology of $C_p \times C_p$
Let $G= C_p \times C_p$, where the cyclic group in the first factor is generated by $a$ and the second factor by $b.$ Let $H_j$ be a subgroup of $G$ generated by $(a, b^j)$ where $0 \le j \le p-1.$ ...
- 821
1
vote
1
answer
61
views
Free action of Group $G$ on $S^n$ gives free resolution of $\mathbb{Z}$ as a $\mathbb{Z}[G]$-module.
Suppose I have a group ${ G }$ acting freely on the sphere ${ S^n }$ for ${ n
\geq 2 }$. Does this somehow get me a free resolution of ${ \mathbb{Z} }$ as a
${ \mathbb{Z}[G] }$-module?
Forgive me if ...
- 1,423
1
vote
0
answers
45
views
What is the action on $H^1$ in Galois cohomology?
This is a question that I haven't been able to find answers for in the books I've looked at, so I wanted to ask it here to get some clarification.
Given an abelian group $A$ and a Galois group $G$ ...
- 1,956
4
votes
1
answer
53
views
Bijection between isomorphism class of torsors and first cohomology set
Let $G$ be a profinite group and let $A$ be a $G$-group. A torsor over $A$ is a non-empty $G$-set $P$ endowed with a simply transitive right action $\star$ of $A$ which is compatible with the left ...
- 387
2
votes
1
answer
98
views
The order of $G$ is invertible in $\mathbb{Q}$, and so we have that $H^n(G,\mathbb{Q})=0$ for $n≥1$, why is so?
Group Cohomology: Question $2$
I am learning group cohomology. In Wikipedia, I need to understand the section $\text{Higher cohomology groups are torsion}$.
The discussion says the cohomology groups $...
- 9,587
0
votes
0
answers
22
views
What is the second cohomology group $H^2(\mathbb{R},U(1))$?
What is the second cohomology group $H^{2}(\mathbb{R},U(1))$?
I am not necessarily looking for a derivation, but a reference where I can found this result which I assume it is known.
- 3,732
2
votes
1
answer
60
views
Notation in Group cohomology and cochains
Group Cohomology: Question $1$
I am learning group cohomology. In the Wikipedia, I couldn't understand few terminologies.
For example, in the section $$\text{The functors $\text{Ext}^n$ and formal ...
- 9,587
1
vote
1
answer
76
views
number of Schur covering groups
Let $G$ be a finite group with derived subgroup $G'$ and Schur multiplier $M(G)$. A Schur cover of $G$ is a group $H$ with a subgroup $Z\le H'\cap Z(H)$ such that $H/Z\cong G$ and $Z\cong M(G)$. Let $...
- 1,527