The group-cohomology tag has no usage guidance.

**4**

votes

**0**answers

232 views

### Eilenberg-Mac Lane spaces for surface group extensions.

(The question has been edited. It was pointed out in the comments that $\Gamma_G$ could be a surface group, thought of as a finite extension of another surface group, in which case $G$ is finite.)
...

**5**

votes

**1**answer

274 views

### Does the following “symmetric” 2nd cohomology group of a finite group with coefficients in $Z_2$ always vanish?

Let $G$ be a finite group. Usually, a 2-cocycle on $G$ with values in $\mathbb{Z}\_2 = \{+1, -1\}$ is a collection of signs $\epsilon_{g,h} \in \{+1, -1\}$, $g,h \in G$, satisfying the cocycle ...

**4**

votes

**2**answers

564 views

### Mackey(also Green and Tambara) functors and Greenlees-May

This is somewhat related to a question that I asked on Math.SE but, sadly, received no response. I apologize ahead of time if this is not appropriate for MO. Feel free to vote to close if this is the ...

**7**

votes

**0**answers

404 views

### Can the Bockstein spectral sequence be used to compute cohomology rings ?

If $G$ is a finite group then there is the so-called Bockstein spectral sequence $$E_2^n = H^n(G,\mathbb{F}_p) \Rightarrow \begin{cases} \mathbb{F}_p & n =0 \newline 0 & n>0\end{cases}$$ ...

**1**

vote

**0**answers

116 views

### Extensions of orthogonal groups of torsion quadratic forms.

Hi. This is related to a question I asked earlier. The setup is:
Let $L$ be an $n$-dimensional lattice with an integer valued quadratic form $q$. Fix a basis $e_i$ for $L$ and let $K_{ij} = ...

**6**

votes

**0**answers

127 views

### Is it true that there are exactly two conjugacy classes of order two elements in Out(R)?

In the title, $R$ stands for the hyperfinite III1 factor.
An order two element $\alpha\in Out(M)$ ($M$ any factor) has an invariant $c(\alpha)\in H^3(\mathbb Z/2,S^1)=\mathbb Z/2$.
Q: Is $c$ the ...

**5**

votes

**2**answers

255 views

### What is a higher genus analogue of the Pontryagin product?

Given a compact oriented aspherical $3$--manifold $M$ with torus boundary $\partial M\simeq T^2$ (e.g. a knot complement), the condition that the images in $\pi_1 M$ of basis $x,y\in \pi_1 T^2$ under ...

**19**

votes

**2**answers

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

**4**

votes

**1**answer

155 views

### Uniqueness of the rank of the core of a lattice

In the paper
P.J. Webb: Bounding the ranks of ZG-lattices by their restrictions to elementary abelian groups. J. Pure Appl. Algebra 23 (3) (1982), 311-318.
the author writes in the introduction ...

**2**

votes

**1**answer

172 views

### Calculating $H^n(G, \mathbb{Z}G)$ as co-homology with compact support of a proper co-compact $G$-CW-complex $X$

This question was originally posted to Math.StackExchange, but having got no response there, I'm reposting it here. I apologise if it is too elementary for this site.
(Original post: ...

**4**

votes

**2**answers

317 views

### Extensions of topological groups

Suppose I have a central extension $1 \to U(1) \to \hat{G} \to G \to 1$ of a topological group $G$ by the circle group $U(1)$ in such a way that $\hat{G} \to G$ is a principal $U(1)$-bundle. Moreover, ...

**6**

votes

**2**answers

497 views

### cohomological dimension of a group acting on a product

I recently came across an interesting result of Kobayashi [Corollary 5.5], a special case of which is the following: Suppose $\Gamma$ is a discrete torsion free subgroup of $SL_n(\mathbb{R})$ which ...

**5**

votes

**1**answer

154 views

### For which rings R is SL_n(R) a virtual duality group

A famous theorem of Borel and Serre says that if $R$ is the ring of integers in an algebraic number field, then $\text{SL}_n(R)$ satisfies virtual Bieri-Eckmann duality. In other words, there exists ...

**8**

votes

**1**answer

497 views

### Which information can be obtained from Poincaré series ?

If $A= \bigoplus_{i\ge 0}A_i$ is a graded commutative Noetherian algebra over a field, its Poincaré series is given by $P(t) = \sum_{i\ge 0} \dim(A_i)t^i$. Although the definition of $P(t)$ only ...

**13**

votes

**1**answer

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

**2**

votes

**2**answers

320 views

### Whether such an algebra has to be the Group algebra

Let $\mathbb C$ be the field of the complex numbers, $\mathbb Q$ the field of the rational numbers.
Let $G$ be an additive subgroup of $\mathbb Q$.
$R$ is an commutative algebra over $\mathbb C$, ...

**3**

votes

**2**answers

399 views

### Cohomological dimension of finitely presented group

I have a group of cohomological dimension 2 generated by two elements. Is it possible to deduce that the group is commutative or, more generally, does $\mathrm{cd}\ G=2$ imply anything about the ...

**0**

votes

**0**answers

99 views

### Isomorphisms of group extensions arising from antisymmetric forms

Let $V,W$ be topological vector spaces and fix continuous antisymmetric bilinear forms $\omega_1:V\times V\to \mathbb{R}$, $\omega_2:W\times W\to\mathbb{R}$. Since $\omega_1$ is a 2-cocycle (in fact ...

**1**

vote

**1**answer

386 views

### Finiteness theorems for profinite groups

Let $G$ be a profinite group which fits in the following short exact sequence:
$$
1\rightarrow N\rightarrow G \rightarrow K\rightarrow 1
$$
Assume that $N$ is a pro-$p$ group and that $K$ is ...

**17**

votes

**2**answers

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

**9**

votes

**1**answer

309 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

**1**answer

387 views

### Transgressions commute with the Steenrod operations on the base and fiber in a central group extension?

The following sentence is quoted from the paper ON THE COHOMOLOGY OF SPLIT EXTENSIONS by D. J. BENSON AND M. FESHBACH:
In general, the differentials in the Lyndon-Hochschild-Serre spectral sequence
...

**1**

vote

**0**answers

387 views

### Profiniteness Condition for Hochschild-Serre Spectral Sequence?

This question may seem elementary to experts but I am quite confused about it:
According to the entry of Lyndon–Hochschild–Serre spectral sequence on wikipedia, for a group extension $1\to N\to G\to ...

**2**

votes

**2**answers

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

**6**

votes

**1**answer

930 views

### How to Compute Transgressions in a Serre Spectral Sequence?

For a short exact sequence of groups $1\rightarrow A\rightarrow B\rightarrow C\rightarrow 1$ there is an associated fibration $K(A,1)\rightarrow K(B,1)\rightarrow K(C,1)$, which can be constructed by ...

**7**

votes

**2**answers

1k views

### First group homology with general coefficients

When $G$ acts trivially on $M$, the first homology group is just the abelianisation of $G$ tensored with $M$, i.e. $H_1(G;M)=(G/[G,G])\otimes_\mathbb Z M$.
Is there any similar statement when $G$ ...

**1**

vote

**0**answers

147 views

### Twisted homology of free products

Let $G_1$ and $G_2$ be groups and let $M$ be a vector space equipped with actions of $G_1$ and $G_2$. The free product $G_1 \ast G_2$ thus acts on $M$. How can one compute the twisted group homology ...

**11**

votes

**1**answer

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

**1**

vote

**1**answer

161 views

### Homology of abelian groups and their finite-index subgroups

Fix some $1 \leq k \leq n$. I'm looking for finite-dimensional vector spaces $M_{n,k}$ over $\mathbb{Q}$ on which $\mathbb{Z}^n$ acts such that the natural map $H_k(\ell \mathbb{Z}^n,M_{n,k}) ...

**11**

votes

**1**answer

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

**9**

votes

**2**answers

598 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

**4**answers

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

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

**27**

votes

**1**answer

747 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})$$
...

**4**

votes

**1**answer

328 views

### Cohomology $H^*(G,K)$ of wreath products

Let $G = Sym(a) \wr Sym(b)$ be a wreath product of symmetric groups - I'm particularly interested in the Weyl group of type $B$, $Sym(2) \wr Sym(n)$. Let $k$ be a field of characteristic $p$.
What is ...

**1**

vote

**0**answers

165 views

### Exotic Chains for Group Homology of a Complex Lie Group

Related Question: Exotic Chains for Group Cohomology of a Complex Lie Group
Let's take the group homology of a affine algebraic group over $\mathbb C$ (with its discrete topology). The natural ...

**4**

votes

**0**answers

160 views

### Exotic Chains for Group Cohomology of a Complex Lie Group

Related Question: Exotic Chains for Group Homology of a Complex Lie Group
Let's take the group cohomology of a affine algebraic group over $\mathbb C$ (with its discrete topology). The natural ...

**3**

votes

**2**answers

319 views

### Sign in the product of the LHS spectral sequence

Given an extension of groups
$$ 1 \to H \to G \to Q \to 1,$$
there is a spectral sequence
$$E^{ip}_2(M) = H^i(Q,H^p(H,M)) \Rightarrow H^{i+p}(G,M).$$
I understand that the composition of the cup ...

**3**

votes

**0**answers

211 views

### Identifying projective representations using “gauge-invariant” traces tr[V_g V_h V_k … ]

Background
A projective representation $V_g\in \mathrm{GL}_n(\mathbb{C})$ of a group $G$ is characterized by $V_gV_h=\omega(g,h)V_h$, where $\omega(g,h)\in\mathrm{U}(1)$ is a 2-cocycle. Changing the ...

**5**

votes

**2**answers

682 views

### The Norm Map in (group) cohomology via classifying spaces

The well-known transfer map in group (co)homology can be defined with only homological algebra, or with algebraic topology via classifying spaces (group cohomology of $G$ is isomorphic to ordinary ...

**15**

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

**21**

votes

**2**answers

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

**1**

vote

**1**answer

219 views

### Dimension of fixed points of Galois group actions

I have a question about fixed points of Galois group actions.
I am hoping that this is easy for the experts.
Let $k$ be a field of characteristic $0$. Let $K$ be a finite
Galois extension of $k$ ...

**16**

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

**2**

votes

**1**answer

401 views

### Inseparable Galois Cohomology

First let me give a general form of my question, and then I'll give some motivation and a more specific version of it. Let $K/k$ be a Galois extension of fields with Galois group $G$, and let $X$ be ...

**5**

votes

**3**answers

727 views

### Continuous cohomology of semi-simple Lie group.

Let $G$ be a real connected semi-simple Lie group. Let $M$ be a finite dimensional representation of it. Are there general criteria when the continuous cohomology groups $H_{cont}^q(G,M)$ vanish?
A ...

**10**

votes

**4**answers

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

**1**

vote

**1**answer

542 views

### Group cohomology with $Z_2$ coefficient

I would like to know what are the group cohomology classes $H^d[Z_n, Z_2]$, $H^d[U(1), Z_2]$, $H^d[SO(n), Z_2]$, $H^d[SU(n), Z_2]$, etc. Thanks!
(Here the group cohomology $H^d[G, M]$ for a group ...

**3**

votes

**1**answer

246 views

### Large modules with non-trivial cohomology

Let $p$ be a prime and $F$ algebraic closer of $F_p$.
I want to know if it is possible to construct family of groups $\{G_i\}_{i=1}^{\infty}$ and a family of simple modules $V_i$ over $F[G_i]$ of ...

**3**

votes

**1**answer

427 views

### Hirsch length and cohomological dimension

It seems to be known that Hirsch length and cohomological dimension agree for (torsion-free, finitely generated) polycyclic groups.
If we drop the assumption "torsion-free", then cd is of course ...