The group-cohomology tag has no wiki summary.

**8**

votes

**0**answers

375 views

### Homology of Lie groups

Let $G$ be a Lie group and $G^{\delta}$ the underlying group (with discrete topology). Obviously, we have a continuous map of groups $i:G^{\delta}\rightarrow G$ which induces a map between classifying ...

**1**

vote

**0**answers

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

**2**

votes

**0**answers

97 views

### (Co)Homology of groups vs. Lie algebras: polynomial rings

For Lie groups (or algebraic groups over fields) there is a strong relation between the cohomology of the group and the cohomology of its Lie algebra. Some MO-question where this is discussed can be ...

**6**

votes

**0**answers

73 views

### Bloch group, hyperbolic manifolds and rigidity

I have some questions concerning the hyperbolic geometry side of the rigidity question for $K_3$ which asks if the natural map $K_3^{\operatorname{ind}}(\overline{\mathbb{Q}})\to ...

**7**

votes

**1**answer

168 views

### Transfers on Bloch groups and scissors congruence groups

I have a couple of questions concerning existence and description of
transfers for Bloch groups and scissors congruence groups/pre-Bloch
groups.
To fix notation and recall definitions:
From the ...

**1**

vote

**0**answers

152 views

### extension problem for the Atiyah-Hirzebruch spectral sequence

For a generalized homology theory $h$ and a Serre fibration $F\rightarrow E\rightarrow B$, we can define an Atiyah-Hirzebruch spectral sequence\begin{equation}E^2_{p,q}=H_p(B,h_q(F))\Rightarrow ...

**4**

votes

**2**answers

281 views

### stability results for the Atiyah-Hirzebruch spectral sequence

For a generalized homology theory $h$ and a Serre fibration $F\rightarrow E\rightarrow B$, we can define an Atiyah-Hirzebruch spectral sequence\begin{equation}E^2_{p,q}=H_p(B,h_q(F))\Rightarrow ...

**2**

votes

**1**answer

128 views

### Explicit reference on generator of $H^4(BQ_8;\mathbb{Z})\cong \mathbb{Z}_8$ identified with second Chern class of standard representation

It is extremely well-known that $H^*(BQ_8;\mathbb{Z})=\mathbb{Z}[\alpha,\beta,\gamma]$ with relations $2\alpha=2\beta=8\gamma=\alpha^2=\beta^2=\alpha\beta-4\gamma=0$, $|\alpha|=|\beta|=2$ and ...

**2**

votes

**1**answer

188 views

### spectral sequence with non-trivial action on coefficients

Set-up:
Consider the trivial extension, where $p$ is the projection onto the $\mathbb{Z}_2$ component,$$1\rightarrow N\rightarrow N\times\mathbb{Z}_2\xrightarrow{p}\mathbb{Z}_2\rightarrow 1$$
Define ...

**6**

votes

**1**answer

139 views

### Hochschild-Serre spectral sequence and non-trivial action on coefficients

Consider an extension\begin{equation}1\rightarrow N\rightarrow G\xrightarrow{\rho} K\rightarrow 1\end{equation}Let $K$ act on a $K$-module $A$ by $\phi_k: a\mapsto k\cdot a$. Define a $G$-action ...

**7**

votes

**0**answers

130 views

### The homology of the braid group with coefficients in the Burau representation

Let $B_n$ denote the braid group with $n$ braids. The Burau representation $B_n\to GL_n(\mathbb{Z}[t^{\pm1}])$ makes $(\mathbb{Q}[t^{\pm1}])^n$ a $B_n$-module. I am curious in knowing what $H_i(B_n, ...

**13**

votes

**1**answer

391 views

### Fundamental theorem of K-theory for loop groups over $\mathbb{F}_1$?

As the title says, I would like to know what the fundamental theorem of algebraic K-theory would say over the field with one element. Recall that the fundamental theorem of K-theory provides a ...

**3**

votes

**0**answers

76 views

### Rational cohomology of $S$-arithmetic groups over function fields and Gauss-Bonnet

I have a question on the ranks of rational cohomology groups of
$S$-arithmetic groups over function fields. To fix the situation, $G$
is a simple Chevalley group of rank $r$, $k=\mathbb{F}_q$ a finite
...

**0**

votes

**1**answer

117 views

### Known computations of certain 2-cohomology groups?

I wanted to know if there are any computations of cohomology groups $H^n(\Gamma,A^{(\Gamma)})$ in the literature for certain $n\in\mathbb{N}$, Abelian groups $A$, and infinite groups $\Gamma$.
Here ...

**1**

vote

**0**answers

231 views

### Functors with Mayer-Vietoris Sequences

Let $F$ be a contravariant functor from some category of spaces (e.g. smooth manifolds or (compact?) topological Hausdorff spaces), to Abelian groups. Assume that for any open sets $U, V \subseteq X$ ...

**2**

votes

**1**answer

202 views

### What are the cohomology classes $H^d(BSO_\infty,Z)$ and $H^d(BO_\infty,Z)$?

The Theorem 1.5 and 1.6 of
Brown, Edgar H., Jr. The cohomology of BSOn and BOn with integer coefficients. Proc. Amer. Math. Soc. 85 (1982), no. 2, 283–288.
give a general answer for $H^d(BSO_n,Z)$ ...

**1**

vote

**2**answers

208 views

### Introductory text on Group Cohomology [closed]

What are good introductory textbooks available on Cohomology of Groups?

**2**

votes

**1**answer

206 views

### Cohomology of elementary Abelian p-group

Let $E=(\mathbb{Z}/p\mathbb{Z})^n$, an elementary Abelian p-group.
Let $k$ be an algebraically closed field of characteristic 0.
There is a good description of $H^*(E,F^{\times})$ where $F$ is a field ...

**4**

votes

**1**answer

299 views

### What are the low-degree group cohomology of the mapping class group of a surface

Let $MCG_g$ be the mapping class group of genus $g$ closed surface.
(Say $MCG_1=SL(2,Z)$).
I would like to know what is the group cohomology of $MCG_g$ with coefficients in Z, such as ...

**3**

votes

**1**answer

129 views

### In H_2 of Sp(2g,Z), why does Meyer's signature cocycle give 4 times a generator?

Fix some $g \geq 2$, let $\Gamma_g$ be the mapping class group of a genus $g$ surface, and let $\pi : \Gamma_g \rightarrow Sp(2g,\mathbb{Z})$ be the projection. In
Meyer, Werner
Die Signatur von ...

**16**

votes

**1**answer

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

**9**

votes

**0**answers

266 views

### Non split extension isomorphic (as a group) to a split extension

$\def\Z{\mathbb{Z}}$
Let $A$ be a finite abelian group and $G$ a finite group acting on $A$.
Then the extension $0 \to A \to E \to G \to 1$ is splits if and only if the corresponding $2$-cocycle is ...

**5**

votes

**0**answers

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

**4**

votes

**1**answer

227 views

### Group extensions isomorphic as groups

Let $G$ be a group and $A$ a $G$-module. It well know that there is a group isomorphism between the second cohomologoy group $H^2(G,A)$ and the abelian group $OpExt(G,A)$ of classes of extension ...

**3**

votes

**1**answer

613 views

### Relations between the cohomology of discrete groups and of profinite groups

Let $G$ be a discrete group and $K$ be the profinite completion of $G$. Let $C_K$ denote the category of contionuous $K$-modules and ${C_K}'$ denotes category of finite continuous $K$-modules. Now for ...

**9**

votes

**1**answer

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

**3**

votes

**1**answer

96 views

### Are finite-dimensional representations of groups of type $\text{FP}_{\infty}$?

Let $G$ be a group (possibly infinite) and $k$ be a field. A module $M$ over $k[G]$ is said to be of type $\text{FP}_{\infty}(k)$ if it has a projective resolution each of whose terms is finitely ...

**3**

votes

**0**answers

90 views

### Groups such that all finite-dim representations are finitely presented

Let $G$ be an infinite group. What sorts of finiteness properties can I put on $G$ to ensure the following holds for all $M$?
Let $M$ be a finite-dimensional vector space over $\mathbb{Q}$ upon ...

**12**

votes

**2**answers

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

**4**

votes

**0**answers

85 views

### On restriction to centralizers of all elements in group cohomology

If $G$ is a finite group, what do we know of the natural «restriction» map $$H^\bullet(G,\mathbb Z)\to\left(\bigoplus_{g\in G}H^\bullet(Z(g),\mathbb Z)\right)^G,$$
with $Z(g) $ the centralizer of $g ...

**3**

votes

**2**answers

261 views

### Cohomology of the tangent sheaf of $\mathbb{P}(1,2,3)$

Using the exact sequence
$$0\mapsto\mathcal{O}_{\mathbb{P}^{2}}\rightarrow\mathcal{O}_{\mathbb{P}^{2}}(1)^{\oplus 3}\rightarrow T_{\mathbb{P}^{2}}\mapsto 0$$
it is easy to compute ...

**8**

votes

**2**answers

253 views

### 3-cocycle representatives for the dihedral group $D_{2n}$?

I am looking for a reference for a complete list of 3-cocycle representatives for $H^3(D_{2n},\mathbb{C}^\times)$, where
$$
D_{2n}=\langle a, b\mid a^2=b^2=(ab)^n=e\rangle
$$
is the dihedral group of ...

**1**

vote

**1**answer

255 views

### Cohomology after completion

I've been scouring google and asking friend about something I was certain must be absolutely the easiest thing to people who do homological algebra, and none seem to know the answer to this, so if ...

**3**

votes

**2**answers

314 views

### n-cocycles of finite abelian groups from cohomology group

Question: Given a generic finite abelian group $G=\mathbb{Z}_{N^{(1)}} \times \cdots \times \mathbb{Z}_{N^{(k)}}$.
(1) What is the explicit forms of its cohomology group (see my definition) in a ...

**1**

vote

**2**answers

137 views

### Differentials in the Lyndon-Hoschild-Serre Sequence for p=0

I'm interested in whether there is a simple description of the differentials in the first column of the LHS spectral sequence (the column with $E_2^{0,q}=H^0(BK,H^q(BG))=H^q(BG)^K$ for a short exact ...

**11**

votes

**1**answer

258 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}) ...

**7**

votes

**1**answer

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

**9**

votes

**1**answer

262 views

### Calculations of nonabelian group cohomology of R^n

I am looking at $H^1(\mathbb{R}^n,G)$ where $G$ is a finite 2-group. I'm wondering if such things have been calculated. I'm afraid I can't say I know anything here, past the result that this ...

**6**

votes

**1**answer

1k views

### Double coset formulas for Orthogonal groups [Solved]

According to Madsen-Brumfiel "Evaluation of the Transfer and the Universal Surgery Classes" Inventiones mathematicae 32 (1976): 133-170 Theorem 3.11, we can compute
the composition
...

**11**

votes

**1**answer

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

**-1**

votes

**1**answer

162 views

### one-cocycles over finite groups

Let $G$ be a finite group and let $S$ be a subgroup of $G$. Let
$\alpha$ be a one-cocycle $G\to M$ for some $G$-module $M$, and
suppose that $Res_{S}^{G}\alpha=0$. For $g\in G$, and $S^{g}=gSg^{-1}$,
...

**8**

votes

**1**answer

242 views

### Obstruction to extension of non-abelian groups - finite example?

Let $G$ be a non-abelian group, let $\Pi$ be a group, and let $\eta: \Pi\rightarrow Out(G)$ be a homomorphism, where $Out(G)$ is the group of automorphisms of G modulo the normal subgroup of inner ...

**3**

votes

**1**answer

313 views

### Maps between classifying spaces

Let $G$ be a discrete group and let $BG \simeq K(G,1)$ be its classifying space. Let $H$ be a topological group with classifying space $BH$.
In case $H$ is also discrete, it was pointed out in the ...

**12**

votes

**1**answer

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

**0**

votes

**0**answers

163 views

### on the Galois cohomology of reductive groups

Let $G$ a simply connected group over an algebraically closed field.
$F=k((t))$ and $\mathcal{O}=k[[t]]$.
Let $\gamma\in G(\mathcal{O})\cap G(F)^{rs}$.
Let $E=k((t^{1/n}))$ with $n$ prime to the ...

**9**

votes

**1**answer

360 views

### Cohomology of Formal Groups

Lubin and Tate, in discussing moduli of 1-dimensional formal groups construct a cohomology theory of formal groups, at least in degrees 0,1 and 2. Does their result about deformations actually follow ...

**9**

votes

**1**answer

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

**4**

votes

**1**answer

194 views

### Interesting families of groups as group extensions

Let me start this question with an example that hopefully makes clear what I am looking for:
A discrete subgroup $G$ of the group of euclidean isometries of $\mathbb{R}^d$ is called a ...

**12**

votes

**2**answers

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

**0**

votes

**0**answers

153 views

### Descent for group actions

Suppose I have a finite Galois extension of fields $K/k$, as well as a finite group $G$ with a surjection $f: G \rightarrow \mathrm{Gal}(K/k)$.
Finally, suppose I have an action $\sigma$ of $G$ on a ...