The group-cohomology tag has no wiki summary.

**55**

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 ...

**34**

votes

**9**answers

6k 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 ...

**32**

votes

**1**answer

1k views

### H^4 of the Monster

The Monster group $M$ acts on the moonshine vertex algebra $V^\natural$.
Because $V^\natural$ is a holomorphic vertex algebra (i.e., it has a unique irreducible module), there is a corresponding ...

**24**

votes

**6**answers

3k views

### Why does non-abelian group cohomology exist?

If K is a non-abelian group on which a group G acts via automorphisms, we can define 1-cocycles and 1-coboundaries by mimicking the explicit formulas coming from the bar resolution in ordinary group ...

**24**

votes

**3**answers

2k views

### Why aren't there more classifying spaces in number theory?

Much of modern algebraic number theory can be phrased in the framework of group cohomology. (Okay, this is a bit of a stretch -- much of the part of algebraic number theory that I'm interested ...

**23**

votes

**0**answers

510 views

### Is there a Kan-Thurston theorem for fibrations ?

Given a fibration $F \to X \to B$ with all spaces path-connected. Is there a (discrete) group $G$ with normal subgroup $H$ such that
$$H^\ast(BG;\mathcal{A}) = H^\ast(X;\mathcal{A})$$
...

**21**

votes

**3**answers

877 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 > ... > ...

**20**

votes

**2**answers

663 views

### Is super-vector spaces a “universal central extension” of vector spaces?

Is there some sense in which the category $sVect$ of super-vector spaces is the "maximal non-trivial extension" of $Vect$ as a symmetric monoidal category?
Is the $\mathbb Z/2$ that shows up in the ...

**18**

votes

**2**answers

805 views

### When does a homomorphism factor through a free group?

Let $f\colon\thinspace G\to H$ be a surjective homomorphism of finitely generated groups. Are there any methods to decide whether $f$ factors through a free group? That is, does there exist a free ...

**18**

votes

**5**answers

1k 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 ...

**16**

votes

**2**answers

678 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 ...

**16**

votes

**1**answer

910 views

### Grothendieck's question on the Brauer group for groups

Let $G$ be a group, and let $M(G)=H^2(G,\mathbb{C}^*)$ be the Schur multiplier of $G$. There is a group $Br(G)$ of complex projective representations of $G$ modulo those that can be lifted to linear ...

**15**

votes

**3**answers

2k views

### Why is BG infinite dimensional for G finite ?

If $G \neq \lbrace 1 \rbrace$ is a finite group with classifying space $BG$
then there are infinitely many i such that $H^i(BG,\mathbb{Z}) \neq 0$. This
can be found, for example, there:
...

**15**

votes

**7**answers

1k 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 ...

**15**

votes

**1**answer

973 views

### Reference request: The first cohomology of SL(2,Z) with coefficients in homogeneous polynomials

Let $H_k$ be the vector space of degree $k$ homogeneous polynomials in two variables.I'm looking for a reference for the fact that $H^1(SL(2,\mathbb Z);H_k)=M^0(k+2)\oplus\overline{M^0(k+2)}\oplus ...

**15**

votes

**3**answers

703 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 ...

**15**

votes

**0**answers

888 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 ...

**14**

votes

**7**answers

2k views

### Essential theorems in group (co)homology

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
...

**14**

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 ...

**14**

votes

**1**answer

1k views

### Are all Galois cohomology groups also étale cohomology groups?

Let $K$ be a field and $K^s$ a separable closure of $K$, and let $\mathcal{F}$ be a sheaf on $\mathrm{Spec}(K)$ (in the Ã©tale topology).
By Grothendieck's Galois Theory, we have the isomorphism
...

**13**

votes

**6**answers

2k views

### Characterization of the transfer map in group theory

Let $i : H \to G$ be a subgroup of finite index. The transfer map is a special homomorphism $V(i) : G^\mathrm{ab} \to H^\mathrm{ab}$. The usual ad hoc definition uses a set of representatives of $H$ ...

**13**

votes

**2**answers

413 views

### The Teichmüller's algebraic interpretation of $H^3$ in group cohomology

In the book "Cohomology of Groups" of Kenneth S. Brown, it is told in the introduction that TeichmÃ¼ller arrived to $H^3$ in an algebraic context, i.e. that TeichmÃ¼ller worked with an algebraic ...

**13**

votes

**3**answers

419 views

### Does this subgroup of “even braids” have a name?

The full braid group on $n$ strands $B_n$ admits a surjective homomorphism $p\colon\thinspace B_n\to \Sigma_n$ onto the symmetric group on $n$ letters, which takes a braid to the induced permutation ...

**13**

votes

**1**answer

461 views

### Second nonabelian group cohomology: cocycles vs. gerbes

In 1965 Jean Giraud published two Comptes Rendus notes titled "Cohomologie non abÃ©lienne", and in 1971 he published a book with the same title.
In 1966 Tonny A. Springer's paper "Nonabelian $H^2$ in ...

**13**

votes

**0**answers

442 views

### Noether-Deuring for injections and surjections?

Noether-Deuring theorem (not in the strongest form, but in the one I usually need):
Let $L\diagup K$ be a field extension. Let $A$ be a $K$-algebra which is finite-dimensional as a vector space over ...

**12**

votes

**2**answers

741 views

### Geometric model for classifying spaces of alternating groups

The classifying space of the nth symmetric group $S_n$ is well-known to be modeled by the space of subsets of $R^\infty$ of cardinality $n$. Various subgroups of $S_n$ have related models. For ...

**12**

votes

**4**answers

1k views

### metaplectic group does not split

I'm trying to understand the Weil representation and hope there are some experts around who can set me straight. Let $F$ be a non-Archimedean local field (I don't mind assuming that the characteristic ...

**12**

votes

**2**answers

622 views

### Is the following map from Z(G) x H^3(G, C*) --> H^2(G, C*) ever nontrivial?

Suppose that G is a finite group, then we have the following map f which takes an element z in the center of G and a 3-cohomology class w and returns a 2-cohomology class f(z,w) (for concreteness ...

**12**

votes

**2**answers

286 views

### Group cohomology without G-modules (a.k.a. what does this bar construction compute?)

Without any prior exposure to the cohomology of groups, one might naively proceed by replacing a group by a sort of resolution.
For instance, let's take $G = \mathbb{Z}^2$, and "resolve":
$$ 0 \to ...

**12**

votes

**1**answer

797 views

### Interpretation of universal coefficients theorem for group cohomology

Suppose $G$ and $A$ are abelian groups (I'm setting $G$ abelian to keep the discussion simple, though there are analogues for non-abelian $G$) with $G$ acting trivially on $A$. By the universal ...

**11**

votes

**3**answers

1k views

### The relationship between group cohomology and topological cohomology theories

I was recently trying to learn a little bit about group cohomology, but one point has been confusing me. According to wikipedia (http://en.wikipedia.org/wiki/Group_cohomology and some other sources on ...

**11**

votes

**1**answer

344 views

### Do there exist non-isomorphic groups with the same cohomology?

For any group $G$, cohomology can be viewed as a functor
$$
H^\ast(G,-): G{\sf\text{-}mod}\to {\sf GrAbGrp},
$$
where $G{\sf\text{-}mod}$ denotes the category of (left) $\mathbb{Z}[G]$-modules and ...

**11**

votes

**1**answer

197 views

### Crossed modules and degree-3 group cohomology

It is well known (see e.g. K. Brown, "Cohomology of groups") that a degree-3 cohomology class of a group G with coefficients in a module A can be thought of as an equivalence class of crossed modules, ...

**11**

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 ...

**11**

votes

**1**answer

415 views

### The semidihedral group of order 16 and ko

Let $\mathcal{A}(1)$ denote the subalgebra of the $\mathrm{mod}\ 2$ Steenrod algebra generated by $\mathrm{Sq}^1$ and $\mathrm{Sq}^2$.
The cohomology with $\mathbf{F}_2$ coefficients of the ...

**11**

votes

**1**answer

234 views

### Group cochains invariant under the action of the symmetric group

Let $G$ be a finite group and $A$ an abelian group. Recall the cochain groups
$$
C^k = \{f: G^k \to A\}
$$
and the coboundary map
$$
\delta : C^k \to C^{k+1}
$$
$$
(\delta f)(g_1, \ldots, g_{k+1}) ...

**10**

votes

**2**answers

295 views

### H*(braid group, irrep of symmetric group) = ?

As in the title, say $\lambda$ is some irrep of the symmetric group $S_n$, and $Br_n$ the braid group on $n$ strands,
What is $H^*(Br_n, \lambda)$?

**10**

votes

**2**answers

667 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 ...

**10**

votes

**4**answers

633 views

### Examples of Tate cohomology rings

If $G$ is a finite group with periodic cohomology then the Tate cohomology ring can be easily computed to be the localization $\hat{H}^\ast(G,\mathbb{Z}) = H^\ast(G,\mathbb{Z})_{(z)}$ where $z$ is a ...

**10**

votes

**2**answers

419 views

### An explicit description of $\operatorname{gr}(k \cdot G)$ for the filtration induced by the augmentation ideal?

Let $A$ be any bialgebra (associative, unital, etc.) over a ring $k$. Then among other things it has a counit $\epsilon : A \to k$, and hence an augmentation ideal $I = \ker \epsilon$, which is a ...

**10**

votes

**1**answer

489 views

### Second homology group of free nilpotent p-group

Let $F_n$ be a free group on $n$ generators. Fix a prime $p$. Let $\gamma_k^p(F_n)$ be the mod $p$ lower central series, i.e. the inductively defined series
$$\gamma_0^p(F_n) = F_n \quad \text{and} ...

**10**

votes

**1**answer

392 views

### A map from the coinvariants of the dual to the dual of the invariants for a G-module

Suppose $G$ is a group and $X$ is a $\mathbb{Z}[G]$-module. Recall that the augmentation ideal $I \subset \mathbb{Z}[G]$ is generated by elements of the form $g - 1$ for $g \in G$, the coinvariants ...

**10**

votes

**0**answers

363 views

### To what extent does (co)homology of groups made discrete depend on set theory?

There's a well-known paper by Milnor, "On the homology of Lie groups made discrete," that discusses the relation between the homology of a Lie group $G$ and the underlying discrete group $G^\delta$. ...

**9**

votes

**4**answers

421 views

### Can one do without a classifying space when showing vanishing of cohomology

Let $G$ be a discrete group and $A$ an abelian group, then $H^n (G,A)$ can be defined as $$ H^n (G,A) = H^n (B_G, A)$$
Where $B_G$ is the classifying space of $G$, i.e. $B_G = E_G / G$ where $E_G$ is ...

**9**

votes

**1**answer

370 views

### Finitely generated subgroups of a product of free groups

Is it true that a finitely generated subgroup of a cartesian product of free groups has a finite cohomological dimension?
The same question about pro-$p$ groups:
Is it true that a finitely generated ...

**9**

votes

**3**answers

955 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, ...

**9**

votes

**1**answer

483 views

### A torsionfree group with infinite cohomological dimension and no infinitely generated free abelian subgroup

Recently I've been reading about cohomological finiteness conditions for groups, my main source being Brown's book "Cohomology of Groups".
One of the first things one learns is that a group with ...

**9**

votes

**2**answers

570 views

### Cohomological dimension of a homomorphism

Let $G$ and $\Gamma$ be discrete groups, and let $\phi\colon\thinspace G\to \Gamma$ be a homomorphism.
Define its cohomological dimension $\operatorname{cd}\phi$ to be the least integer $d$ such that ...

**9**

votes

**2**answers

1k views

### How to compute the cohomology of the general linear group with integral entries

Q: So how does one compute the cohomology groups $H^*(GL_n(\mathbf{Z}),\mathbf{Z})$?
First note that $H^*(GL_n(\mathbf{Z}),\mathbf{Z})$ is isomorphic to $H_B^*(Y/GL_n(\mathbf{Z}),\mathbf{Z})$ (Betti ...

**9**

votes

**1**answer

350 views

### Can group cohomology be used to study fiber bundles?

Is (non-abelian) cohomology used to study vector and principal bundles?
Can you give me a text or an article?
For example:
Consider a vector bundle $E$ with fiber $V$ and base manifold $M$.
Consider ...