# Questions tagged [group-cohomology]

In mathematics, group cohomology is a set of mathematical tools used to study groups using cohomology theory, a technique from algebraic topology. Analogous to group representations, group cohomology looks at the group actions of a group G in an associated G-module M to elucidate the properties of the group.

626 questions
Filter by
Sorted by
Tagged with
104 views

156 views

### Why do we say the Fitting subgroup/generalized Fitting subgroup control the structure of a group?

I’m learning the Fitting subgroup these days. I’m interested in this topic and particularly in the role that it plays in the structure of groups. Many people on MSE mentioned that the Fitting subgroup/...
193 views

114 views

### Group law in universal central extension of Thompson's group T

I'm having some troubles with universal central extensions and associated cocycles; in particular, I want to understand the group law of the universal central extension of the Thompson's group $T$. ...
305 views

### How does the Steenrod algebra act on $\mathrm{H}^\bullet(p^{1+2}_+, \mathbb{F}_p)$?

Let $p$ be an odd prime. The $\mathbb F_p$ cohomology of the cyclic group of order $p$ is well-known: $\mathrm{H}^\bullet(C_p, \mathbb F_p) = \mathbb F_p[\xi,x]$ where $\xi$ has degree 1, $x$ has ...
328 views

### Cohomology of elementary abelian $p$-groups, i.e. $H(G,{\mathbb F}_p)$ with $G\cong{\mathbb F}_p^r$

I have two questions. $\bf 1.$ First, a reference request. Let $G\cong{\mathbb F}_p^r$ for some integer $r\geq 0$ and let $V=G^*={\rm Hom}(G,{\mathbb F}_p)$. Then $(H(G,{\mathbb F}_p),+,\cup )$ is a ...
119 views

### Characterizing the Haagerup property of finite von Neumann algebras via unbounded derivations

A correspondence $_{N} H_{N}$ is a Hilbert space with two normal commuting left/right representations of $N$ in $B(H)$. The following characterization of property (T) for finite von Neumann algebras ...
415 views

### Realizing inner automorphisms on Eilenberg-MacLane spaces

Let $G$ be a discrete group and let $(X,x_0)$ be a based Eilenberg-MacLane space for $G$, so there is a fixed isomorphism $\pi_1(X,x_0) = G$ and the universal cover $\widetilde{X}$ is contractible. ...
101 views

### Group cohomology of sheaves under closed immersion

Suppose $X$ is a scheme over Spec $\mathbb{Z}$, and $p$ is a non-zero prime in $\mathbb{Z}$. Then we have a closed immersion from the special fibre $i_p: X_p \rightarrow X$. If $\mathscr{F}$ is a ...
186 views

### $G$ uncountable implies $K(G,1)$ is not a finite CW complex

I have read that $H^i(K(\mathbb{R},1)$) has rank $2^\omega$ for any $i\in \mathbb{N}$ (see Thurston's comment here Nontrivial finite group with trivial group homologies?) therefore $K(\mathbb{R},1)$ ...
301 views

### Differential version of $G\mapsto H^3(G,\mathbb Z)$?

Let $\mathit{cLieGrp}^{\mathrm{inj}}$ be the category of compact connected Lie groups, and injective continuous group homomorphisms. Is there a reasonable functor (some kind of degree $3$ differential ...
127 views

### Cohomology with group ring coefficients and compact support

Let $X$ be a contractible space and let $G$ be a group acting freely, properly discontinuously, and cocompactly on $X$. We get an induced action on the singular chain complex $C_{\bullet}(X)$. ...
211 views

### Simplicial model for $\mathcal{L}BG//S^1$ for a finite group $G$

$\require{AMScd}$For $X$ a (nice enough) topological space, the free loop space $\mathcal{L}X$ is the space of continuous maps from $S^1$ to $X$. This space has a natural $S^1$ action given by ...
64 views

### Regular growth of ranks in Iwasawa tower

$\newcommand{\rank}{\operatorname{rank}}$Let $G=H \times K$ be a torsion free pro-$p$, $p$-adic Lie group. Let $H =\mathbb{Z}_p$, the ring of $p$-adic integers and $K$ is a non-commutative torsion ...
442 views

### Trivial homology with local system

Let $X$ be the classifying space of the Higman group $G$. It is well known that $G$ is an acyclic group $$H_{\ast}(X;\mathbb{Z})=H_{\ast}(pt;\mathbb{Z}).$$ Now, suppose that $\mathcal{M}$ is a ...
105 views

69 views

131 views

### Vanishing of first co-homology with coefficients modular representations of small dimension

Is the following true: For any $n$ there exists $p_0$ s.t. for any finite group $G$ of Lie type of rank $\leq n$ and characteristic $p\geq p_0$ and any (irreducible) $\mathbb F_p$ representation $V$ ...
446 views

### Do there exist acyclic simple groups of arbitrarily large cardinality?

Recall that a group $G$ is acyclic if its group homology vanishes: $H_\ast(G; \mathbb Z) = 0$. Equivalently, $G$ is acyclic iff the space $BG$ is acyclic, i.e. $\tilde H_\ast(BG;\mathbb Z) = 0$. In ...
293 views

### Imperfect Tate (cup product) pairing in Galois cohomology?

Let $k$ be a field of characteristic 0 with a fixed algebraic closure $\bar k$ and absolute Galois group $\Gamma={\rm Gal}(\bar k/k)$. Let $M$ be a finite $\Gamma$-module, that is, a finite abelian ...
483 views

76 views

186 views

355 views

### Definition of the Gauss symbol [closed]

Tahara refers to the "Gauss symbol" in the article, On the second cohomology groups of semidirect products, Math. Z. 129 (1972) 365--379. For a fixed $n$, let $S_{ij}$ be the expression \begin{...
240 views

502 views

### Characteristic classes of symmetric group $S_4$

For the symmetric group $S_3$, it is classically known that \begin{equation} H^*(S_3;\mathbb{Z})\cong \mathbb{Z}[x,y]/(2x,6y,x^2-3y), \end{equation} where $|x|=2$ and $|y|=4$. Moreover, $x$ can be ...
Let $K$ be a non archimedean local field whose residue field is of characteristic $p$. Denote by $G$ the absolute Galois group of $K$. Denote by $\mu_p$ the group of $p$-roots of unity and assume it ...
The abelianization of the general linear group $GL(n,\mathbb{R})$, defined by $$GL(n,\mathbb{R})^{ab} := GL(n,\mathbb{R})/[GL(n,\mathbb{R}), GL(n,\mathbb{R})],$$ is isomorphic to $\mathbb{R}^{\times}$....