The group-cohomology tag has no usage guidance.

**9**

votes

**1**answer

2k views

### Kuenneth-formula for group cohomology with nontrivial action on the coefficient

For a trivial action on the coefficient, we have the following Kuenneth formula
for group cohomology:
$$
H^n(G_1 \times G_2; M) \cong
[\oplus_{i= 0}^n H^i(G_1;M) \otimes_M H^{n-i}(G_2;M)]
\oplus [\...

**41**

votes

**9**answers

8k views

### Intuition for Group Cohomology

I'm beginning to learn cohomology for cyclic groups in preparation for use in the proofs of global class field theory (using ideal-theoretic arguments). I've seen the proof of the long exact sequence ...

**60**

votes

**1**answer

3k views

### Nontrivial finite group with trivial group homologies?

I stumbled across this question in a seminar-paper a long time ago:
Does there exist a positive integer $N$ such that if $G$ is a finite group with $\bigoplus_{i=1}^NH_i(G)=0$ then $G=\lbrace 1\...

**18**

votes

**2**answers

1k views

### (co)homology of symmetric groups

Let $S_n=\{\text{bijections }[n]\to[n]\}$ be the n-th symmetric group. Its (co)homology will be understood with trivial action. What are the $\mathbb{Z}$-modules $H_k(S_n;\mathbb{Z})$? Using GAP, we ...

**19**

votes

**4**answers

2k views

### Non-vanishing of group cohomology in sufficiently high degree

Atiyah in his famous paper , Characters and cohomology of finite groups, after proving completion of representation ring in augmentation ideal is the same as $ K(BG)$, gives bunch of corollaries of ...

**11**

votes

**2**answers

797 views

### Hilbert 90 for algebras

Let $L\diagup K$ be a Galois extension of fields satisfying $\left[L:K\right] < \infty$. Let $B$ be a finite-dimensional (as a $K$-vector space) $K$-algebra. Then, the Galois group $G$ of $L\diagup ...

**17**

votes

**1**answer

2k views

### What is the status of the Friedlander-Milnor conjecture today?

For the purposes of this question, the Friedlander-Milnor (FM) conjecture asserts an equality of the group homology for algebraic groups, and their discretizations in the following sense:
Conjecture ...

**6**

votes

**1**answer

456 views

### Non-vanishing of the Tate-Shafarevich kernel in group cohomology

Let $G$ be a finite group. Let $M$ be a finite $G$-module (a finite abelian group with an action of $G$).
We consider a special kind of $G$-modules; in particular, our $M$ is a finite dimensional ...

**32**

votes

**6**answers

3k views

### Why is the standard definition of cocycle the one that _always_ comes up??

This question might not have a good answer. It was something that occurred to me yesterday when I found myself in a pub, needing to do an explicit calculation with 2-cocycles but with no references ...

**17**

votes

**3**answers

819 views

### central extensions of Diff(S^1) and of the semigroup of annuli

$\mathit{Diff}(S^1)$ refers to the group of orientation preserving diffeomorphisms of the circle. The semigroup of annuli $\mathcal A$ is its "complexification": the elements of $\mathcal A$ are ...

**22**

votes

**3**answers

1k views

### Geometric Interpretation of the Lower Central Series for the Fundamental Group?

For any group G we can form the lower central series of normal subgroups by taking $G_0 = G$, $G_1 = [G,G]$, $G_{i+1} = [G,G_i]$. We can check this gives a normal chain
$G_0 > G_1 > ... > ...

**10**

votes

**3**answers

1k views

### Zariski tangent spaces to representation varieties

In Bill Goldman's paper "The Symplectic Nature of the Fundamental Groups of Surfaces" (Advances, 54, 200-225, '84) it is stated that the "Zariski tangent space" to a representation space Hom$(\pi, G)/...

**8**

votes

**1**answer

379 views

### Duality between orbifold and quasi-Hopf algebra (twisted quantum doubles)

A quick Question:
Is there some duality known between the quasi Hopf algebra
$D^\omega(H)$ of a finite group $H$ to an orbifold model (such as
SU(2)/$G$ or SO(3)/$G$ orbifold of some ...

**17**

votes

**2**answers

1k views

### Proofs of the Stallings-Swan theorem

It is a well-known and deep${}^\ast$ theorem that if a group $G$ has cohomological dimension one then it must be free. This was proved in the late 60's by Stallings (for finitely generated groups) and ...

**15**

votes

**7**answers

2k views

### universal cover of SL2(R): does it admit central extensions?

Is it true that the universal cover of SL2(ℝ) has no non-trivial central extensions... as an abstract group?
(that's certainly true as a Lie group)
Motivation:
I have a projective action of SL2(...

**8**

votes

**2**answers

561 views

### H^d[U(1)^n,U(1)] of the Borel cohomology and Chern-Simons theory

Firstly I apologize that I am a physicist, with a relatively unrigorous math training. My approach of the problem can be Feynman style. Below $Z$ is the integer $\mathbb{Z}$, and $U(1)$ Abelian group ...

**12**

votes

**5**answers

1k views

### Tate Cohomology via Stable Categories

Situation
Let $G$ be a finite group and provide $G\text{-mod} := {\mathbb Z}G\text{-mod}$ with the Frobenius structure of ${\mathbb Z}$-split short exact sequences. Denote by $\underline{G\text{-mod}}...

**17**

votes

**0**answers

1k views

### Is the equivariant cohomology an equivariant cohomology?

Suppose a finite group $G$ acts piecewise linearly on a polyhedron $X$. Then there are two kinds of equivariant cohomology (or homology).
$\bullet$ With coefficients in a $\Bbb Z G$-module $M$. A ...

**8**

votes

**3**answers

947 views

### Group cohomology with compact support

Let $\Gamma$ be a discrete group, $V$ a left $\Gamma$-module. One can define the
groups $H^i(\Gamma,V)$ ($i=0,1,2,\dots$) in many ways, and then prove their equivalence: as derived functors
of the ...

**7**

votes

**1**answer

622 views

### Classification of $p$-groups of order $p^n$ with rank $n-1$

Hello,
i've been looking for a way to classify the non-trivial $p$-groups $G$ that live in an exact sequence of the form
$ 0 \rightarrow \mathbb{Z}/p\mathbb{Z} \rightarrow G \rightarrow (\mathbb{Z}...

**5**

votes

**0**answers

189 views

### Third cohomology of mapping class group

I would like to know the third cohomology with coefficients in $U(1)$ or $\mathbb{C}^\ast$ of the mapping class group of a surface of genus at least one. I found many results on the rational ...

**3**

votes

**1**answer

439 views

### Why does the Cheeger--Chern--Simons class descend to H_3(G/B)?

Cheeger and Simons here defined a family of characteristic classes for principal $G$-bundles ($G$ a Lie group). I'm interested in the special case of $\hat c_2:H_3(SL(2,\mathbb C);\mathbb Z)\to\...

**3**

votes

**0**answers

1k views

### group cohomology and cohomology of classifying space [closed]

Let $G$ be a discrete group, and $BG$ is the classifying space.
It is well-known that the group cohomology of $G$-module M, is the same as the cohomology on $BG$ with coefficient in $\tilde{M}$, which ...

**5**

votes

**2**answers

421 views

### Cup products and the transfer map

Let $G_1$ be a finite-index subgroup of $G_2$. Let $i : H^{\ast}(G_2) \rightarrow H^{\ast}(G_1)$ be the induced map of rings. There is then a transfer homomorphism $\tau : H^{\ast}(G_1) \rightarrow ...

**10**

votes

**1**answer

323 views

### Second cohomology of group of $S_n$

Hello,
Let $k$ be a field of characteristic different from $2$.
Let $n\geq 1$ be an integer, and let $T$ be the maximal torus of the $k$-algebraic group $PGL_n$, namely the quotient of diagonal ...

**5**

votes

**0**answers

108 views

### (Eichler-Shimura Isomorphism) Proving c(f) is not a boundary

I have seen a couple of questions related to the Eichler-Shimura Isomorphism, but almost all of them have to do with hodge theory (things I am unfamiliar with) and seem, to me, different/unrelated.
...

**4**

votes

**0**answers

62 views

### Minimal rank of a permutation resolution of a $G$-lattice

Let $G$ be a finite group.
By a $G$-lattice I mean a finitely generated free abelian group $L$ with an action of $G$.
One says that $L$ is a permutation lattice if $L$ has a $\mathbb{Z}$-basis ...

**3**

votes

**1**answer

363 views

### vanishing higher cohomology group for property T group?

Given a countable discrete group $G$ with Kazhdan's property (T), consider $\mathbb{C}G$ or $l^2(G)$ as a left $G$-module, then we can consider the group cohomology,
Is it known that $H^n(G, l^2(G))=...

**8**

votes

**2**answers

478 views

### Interpretation of the monomorphism $H^2(\pi_1(X),\mathbb{Z}) \rightarrow H^2(X,\mathbb{Z})$

Let $X$ be a nice topological space and denote by $\pi_1(X)$ its fundamental group.
It is well-known that there is a well-defined map
$$
0 \rightarrow H^2(\pi_1(X),A) \rightarrow H^2(X,A),$$
where $...

**3**

votes

**2**answers

259 views

### cohomology algebra of braid spaces, configuration spaces

In Homology of $C_{n+1}$-spaces, $n\geq 0$, F.R. Cohen, Lecture Notes in Mathematics, Vol. 533, Chapter 5, 6, 7, 8, 9, 10, 11, the cohomology algebra $H^*(B(\mathbb{R}^{n+1},p),\mathbb{Z}_p)$, for $p$...

**3**

votes

**3**answers

581 views

### classifying space and cohomology of integer general linear group

I have obtained that the classifying space
$$
BGL(\mathbb{R}^n)=BO(\mathbb{R}^n)=G_n(\mathbb{R}^\infty)
$$
is the Grassmannian.
I have also obtained that the mod 2 cohomology is the polynomial ...

**3**

votes

**1**answer

233 views

### Conjugation of group extensions

Let $H$ be a finite group. We write ${{\mathbb{C}}}^{*n}$ for the $n$-dimensional complex torus $({{\mathbb{C}}}^*)^n$.
We have a short exact sequence
$$ 0\to {{\mathbb{Z}}}^n\to {{\mathbb{C}}}^n\to{{\...

**2**

votes

**2**answers

700 views

### Conditions for the restriction $H^i(G,A)\to H^i(H,A)$ being surjective

I was wondering what the condition is for the restriction map (in group cohomology) $H^i(G,A)\to H^i(H,A)$ to be surjective.
I am a little confused about when maps between cohomology groups are ...

**1**

vote

**0**answers

108 views

### when is the restriction $H^2(G,\mathbb{C}^*)\to H^2(K,\mathbb{C}^*)$ surjective?

Let $G$ be a finite group with a subgroup $K$. Given $[\beta]\in H^2(K,\mathbb{C}^*)$ is the an obstruction which checks whether or not $[\beta]$ is the restriction of some $[\alpha]\in H^2(G, \mathbb{...

**1**

vote

**1**answer

195 views

### Cohomology of lattice with coefficients in field of rational functions

In my research, I came across a 1-cocycle in the following group cohomology complex:
Let $\Lambda_\mathbb{Z}$ be a lattice (i.e. isomorphic to $\mathbb{Z}^n)$; let $\Lambda_\mathbb{C} = \Lambda_\...