The group-cohomology tag has no wiki summary.

**1**

vote

**0**answers

70 views

### Integral Cohomology of Symmetric Groups

Does anybody know a reference for the explicit description of the integral cohomology ring of $S_5$ and $S_6$. I can not find them anywhere in the internet. For $S_4$, I found C. B. Thomas's nice ...

**6**

votes

**0**answers

93 views

### vanishing of Lie algebra cohomology with coefficients in an infinite-dimensional module

Let $G$ be a real semisimple Lie group, $K$ its maximal compact subgroup, $\mathfrak g, \mathfrak k$ the corresponding Lie algebras. Let $V$ be a locally convex, Hausdorff vector space, which is a ...

**0**

votes

**0**answers

24 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} = ...

**3**

votes

**1**answer

169 views

### For a cross section $\sigma\colon G/N\to G$, how is $\sigma(y)^{-1}\sigma(x)^{-1}\sigma(xy)$ called?

Let $G$ be a locally compact group, let $N$ be a closed normal subgroup of $G$, and let $\sigma\colon G/N\to G$ be a cross section. Let us define $\alpha\colon G/N\times G/N \to N$ by the formula
$$
...

**-2**

votes

**0**answers

37 views

### Kunneth Formula for group cohomology with time-reversal [closed]

When $G_1$, $G_2$ are unitary groups, the cohomology group of $G_1\times G_2$ can be written as a sum using the Kunneth formula $H^{d+1}(G_1 \times ...

**0**

votes

**0**answers

62 views

### On a property of split short exact sequences [migrated]

Let $A_{\bullet}, B_\bullet$ and $C_\bullet$ be three short exact sequences of groups (not necessarily abelian) out of which $A_\bullet$ and $B_\bullet$ are split. Assume that there is again a short ...

**-3**

votes

**0**answers

98 views

### cohomology of permutation group of order power of $2$

Let $S_k$ be symmetric group of order $k$. What is
$$
H^*(BS_{2^k};\mathbb{Z}_2)?
$$
$$
H^*(BS_{2^k};\mathbb{Z})?
$$
I only know the case $k=1$.

**2**

votes

**1**answer

113 views

### cohomology of orthogonal (or general linear) group over finite fields

Let $\mathbb{Z}_2=\mathbb{Z}/2\mathbb{Z}$. Let
$$
O(\mathbb{Z}_2^{\oplus k})=\{A\mid A \text{ is a } k\times k \text{ - matrix with entries } 0,1, det(A)=\pm 1\}
$$
What is $$
...

**1**

vote

**1**answer

168 views

### cohomology of orthogonal group of integers

Let
$$
O(\mathbb{Z}^{\oplus k})=GL(\mathbb{Z}^{\oplus k})\cap O(k).
$$
What is $$
H^*(BO(\mathbb{Z}^{\oplus k});\mathbb{Z})?
$$
If it cannot be computed out, can we get
$$
H^*(O(\mathbb{Z}^{\oplus ...

**1**

vote

**1**answer

288 views

### cohomology ring of symmetric group of order $3$

Let $S_3$ be the symmetric group of order $3$. What is the cohomology ring
$$
H^*(S_3;\mathbb{Z})?$$
My attempt: I want to use mathematical induction on $n$ for $S_n$.
For $n=1$, $S_1$ is trivial. ...

**3**

votes

**1**answer

164 views

### Centralizers in the universal central extensions of the alternating groups?

For $n \ge 8$ the Schur multiplier $H_2(BA_n, \mathbb{Z})$ (where $A_n$ denotes the alternating group) stabilizes to $\mathbb{Z}_2$, and hence there is a universal central extension $\widetilde{A}_n$ ...

**3**

votes

**3**answers

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

**5**

votes

**0**answers

124 views

### Proof that the second Borel cohomology group of $(\mathbb R, +)$ is trivial

Does anyone have a reference for a fairly direct proof that the second Borel cohomology group for $(\mathbb R, +)$ (with the trivial action on the circle group) is trivial? The motivation is to show ...

**3**

votes

**2**answers

301 views

### symmetric 2-cocycle / many projective representations

Let $G$ be a finite group, $k$ the field of complex numbers.
Are there (cohomologically nontrivial) group 2-cocycles $\sigma\in Z^2(G,k^\times)$ such that for all $g,h\in G$:
...

**3**

votes

**1**answer

125 views

### Lyndon–Hochschild–Serre spectral sequence for not normal subgroup

Is there analog of Lyndon–Hochschild–Serre spectral sequence for not normal subgroup?
What can you say about it? Can you describe $E^{p, q}_1$ ? What is about $E^{p, q}_2$?
What is the best technique ...

**5**

votes

**2**answers

221 views

### Embedding $G$ in a $Z(G)$ extension of $\operatorname{Aut}G$

This question follows up a question I asked on math.SE. This is a refinement and a reference request.
For what groups $G$ does there exist a $Z(G)$-extension of $\operatorname{Aut}G$ (call it ...

**3**

votes

**2**answers

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

**0**

votes

**1**answer

113 views

### cohomology version of Cartan-Leray spectral sequence that deduces cup product

On page 338, A User's Guide to Spectral Sequences. 2nd Edition, by John McCleary, Theorem 8.9, there is a Cartan-Leray spectral sequence for homology:
If $X$ is a connected pace on which the group ...

**5**

votes

**1**answer

146 views

### Reference for Mod 2 cohomology of $BZ_{2r}$ in terms of Stiefel-Whitney Classes

I was hoping for an explicit reference to the description of the mod 2 cohomology of a cyclic group $C_{2r}=\langle t \rangle$ of even order in terms of Stiefel-Whitney classes, i.e., that
...

**9**

votes

**0**answers

154 views

### Stable range of some classifying spaces and iterated loop spaces

Galatius (in his talk) has made very interesting remarks about the stable range of some classifying spaces of groups. To be more concrete, I will mention two examples to illustrate his (?) point of ...

**4**

votes

**1**answer

215 views

### Relation between cohomology of ordered and unordered configuration spaces

Let $M$ be a manifold. Then $F(M,k)/\Sigma_k$, the unordered configuration space of $k$ points, is obtained as a quotient of $F(M,k)$, the ordered configuration space of $k$ points, by the group ...

**0**

votes

**1**answer

132 views

### Two questions on the Schur multiplier of groups of order $p^4$

I tried to find a reference for the computation of the Schur multiplier of groups of order $p^4$.
The case in which $p=2$ is well known, see e.g. Table 1 at ...

**4**

votes

**1**answer

97 views

### Triviality of local system extension

Take a nice space $X$. Let us call a local system on $X$ a functor from the fundamental groupoid of $X$ to groups, so that $G$ is a local system on $X$ if for each $x \in X$ there is a group $G_x$ and ...

**2**

votes

**0**answers

98 views

### Schur covering group [closed]

It is known that every finite group has a Schur covering group.
I'm eager to know every finite group can be considered as a Schur covering group of a group.
If it is not true in general, under what ...

**2**

votes

**0**answers

109 views

### Strange invocation of Shapiro's lemma

I'm having trouble understanding a claim in a paper I'm reading. To avoid having to explain a lot of notation, I'll abstract the claim a bit. Assume that $G$ is a group with a subgroup $H$. Also, ...

**5**

votes

**0**answers

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

**0**

votes

**0**answers

38 views

### An obstruction to existence of invariant trivializations of central extensions in the presence of a group action

This is sort of a follow up question to this.
My real question is a particular case of the following abstract situation. Let $G$, $\pi$ be groups and assume $\pi$ acts on $G$ by automorphisms. Assume ...

**3**

votes

**2**answers

182 views

### Cohomology of SL(2,R) with coefficients given by linear action

Let $SL(2,{\mathbb R})$ act on ${\mathbb R}^2$ by matrix multiplication.
What is known about group cohomology $H^*(SL(2,{\mathbb R}),{\mathbb R}^2)$?
And about $$H^*(\Gamma,{\mathbb R}^2)$$ for a ...

**1**

vote

**0**answers

72 views

### Does this condition imply a polynomial is a product of linear factors

Let $\Lambda$ be a lattice (i.e. $\Lambda \simeq \mathbb{Z}^n$) with a positive subcone $\Lambda^+$. Let $H: \Lambda^+ \rightarrow \mathbb{C}$ be a function such that $\forall\mu \in \Lambda^+$, ...

**3**

votes

**0**answers

112 views

### torsion free for the 2nd cohomology group?

Let $G$ denotes an infinite coutable discrete group with Kazhdan's property (T),
My question is:
is it known that the 2nd cohomology group $H^2(G,\mathbb{Z}G)$ is torsion free?
Thanks in advance!
...

**3**

votes

**2**answers

255 views

### The relation between group cohomology and the cohomology of the classifying space

We know that the Borel group cohomology (group cohomology of measurable functions) of a group $G$, ${\cal H}_B^d(G,Z)$, is given by the cohomology of the classifying space: ${\cal ...

**0**

votes

**1**answer

93 views

### on lifting extensions

Let $G$ be a connected reductive group with $G_{der}$ simply connected and $T$ a maximal torus over an algebraically field $k$.
We consider a extension $\tilde{T}$ of the maximal torus $T$ by a torus ...

**1**

vote

**1**answer

229 views

### Relations between characteristic classes of a group and the Stiefel-Whitney/Pontryagin classes

Let $X$ be a closed manifold and $BG$ be the classifying space of a group $G$
A map from $X$ to $BG$ induce a map from $H^*(BG,Z)$ to $H^*(X,Z)$ by pull back.
Let $GH^*(X,Z)$ be the subgroup of ...

**6**

votes

**1**answer

279 views

### discrete group cohomology vs continuous group cohomology for profinite groups

Let $G$ be a profinite group and $M$ be a finite $G$-module. I can compute the cohomology of $G$ with coefficients in $M$ either as a topological group or as a discrete group. There is an obvious map ...

**7**

votes

**3**answers

293 views

### Non-smooth function with all differences of translates smooth?

Suppose $f:\mathbb{R} \to \mathbb{R}$ has the property that for every fixed $t\in\mathbb{R}$ the function
$$
g_t : x \mapsto f(x) - f(x-t)
$$
is $C^\infty(\mathbb{R})$. Does it follow that $f$ is ...

**0**

votes

**0**answers

61 views

### Corestriction map for the relative homology (cohomology) group

Let $G$ be a group and $N$ be its normal subgroup. Is there any concept of corestriction map for the relative homology (cohomology) group $H_n(G,N,-)$ ($H^n(G,N,-)$) such that when $N=G$ it is the ...

**1**

vote

**0**answers

170 views

### Finite Cohomology and free groups

Let $F$ be a finitely generated nonabelian free profinite group, $p$ a prime number, $L \lhd_o F$ with $[F : L]$ coprime to $p$, $N \lhd_c^\infty F$ contained in $L$ with $L/N$ pro-$p$, and $N \leq H ...

**0**

votes

**0**answers

101 views

### Golod Shafarevich Inequality and Inequalities among higher Cohomology groups

As a consequence of Golod- Shafarevich, we get an inequality between second cohomology group of a $p$-group with coefficients in $F_p$ and the first cohomology group of a $p$-group with coefficients ...

**12**

votes

**2**answers

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

**2**

votes

**0**answers

59 views

### Are Zariski-dense representations of a cocompact complex hyperbolic lattice non-obstructed?

Question
Suppose that $\Gamma < \text{SU}(n,1)$ is a cocompact lattice, and let $\rho \colon \Gamma \to G$ be a representation to a non-compact simple Lie group (most interesting case for me: $G = ...

**41**

votes

**2**answers

1k views

### $H^4(BG,\mathbb Z)$ torsion free for $G$ a connected Lie group

Recently, prompted by considerations in conformal field theory, I was let to guess that for every compact connected Lie group $G$, the fourth cohomology group of it classifying space is torsion free.
...

**12**

votes

**2**answers

494 views

### The sum of the carries when adding and multiplying two numbers in base p

Let $\sigma_p(m,n)$ (resp. $\pi_p(m,n)$) denote the sum of the carries when adding
(resp. multiplying) the numbers $m=\sum_{k\ge0}m_kp^k$ and $n=\sum_{k\ge0}n_kp^k$ using base-$p$ arithmetic where ...

**3**

votes

**1**answer

284 views

### Classes in $H^3(G; \mathbb{Z})$ that restrict to zero on abelian subgroups

Let $G$ be a finite $p$-group. Is it possible to have a nonzero class in $H^3(G; \mathbb{Z})$ that restricts to zero in $H^3(A; \mathbb{Z})$ for every abelian subgroup $A \subset G$? If so, what is a ...

**10**

votes

**1**answer

189 views

### Torsion-free group that is not of type F but is virtually of type F

Recall that a group $G$ is of type F if there exists a compact $K(G,1)$.
There are many examples of groups which are not of type F but which are virtually of type F, that is, they have finite-index ...

**0**

votes

**0**answers

137 views

### natural map from $H^3(BG,\mathbb{Z})$ to $H^3(\underline E G,\mathbb{Z})$?

is there any natural map from natural map from $H^3(BG,\mathbb{Z})$ to $H^3(\underline E G,\mathbb{Z})$? where $G$ is a discrete group, $BG$ is the classifying space, and $\underline E G$ is the ...

**1**

vote

**0**answers

128 views

### Reference on calculation of 2nd cohomology group

Let $G$ be a finitely generated, infinite, countable discrete nonamenable group with zero first Betti number, I.e., $H^1(G, \ell^2(G))=0$, e.g., $G=F_2\times F_2$, the product of free groups of two ...

**1**

vote

**1**answer

137 views

### Successive Schur covers

Let $G_0$ be a finite group and $G_j$ a Schur cover of $G_{j-1}$ for $j=1,2,3\ldots$. Is $G_2$ equal to $G_1$? If not, will the sequence stop after finite steps in general?

**2**

votes

**1**answer

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

**10**

votes

**4**answers

327 views

### The cohomology group $H^{1}(GL_{2}(\mathbb{F}_{p}), M_{2}(\mathbb{F}_{p}))$

Let $M_{2}(\mathbb{F}_{p})$ be the vector space of 2$\times$2 matrices over the finite field $\mathbb{F}_{p}$ where $p$ is a prime number, and let $GL_{2}(\mathbb{F}_{p})$ be the group of invertible ...

**7**

votes

**1**answer

289 views

### Is there a finitely presented group with infinite homology over $\mathbb{Q}$?

Suppose $G$ is a discrete group given by finitely many generators with finitely many relations. Can the homology groups $H_i(G, \mathbb{Q})$, or equivalently $H_i(BG, \mathbb{Q})$ (topological ...