The group-cohomology tag has no usage guidance.

**16**

votes

**0**answers

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

**13**

votes

**0**answers

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

**13**

votes

**0**answers

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

**10**

votes

**0**answers

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

**9**

votes

**0**answers

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

**8**

votes

**0**answers

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

**8**

votes

**0**answers

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

**8**

votes

**0**answers

370 views

### Is there a general dilogarithm formula for the Cheeger--Chern--Simons class?

I'm looking for a generalization of the calculation of the hyperbolic volume and Chern--Simons invariant for $\operatorname{SL}(2,\mathbb C)$ representations in terms of the Rogers dilogarithm.
...

**7**

votes

**0**answers

93 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

**0**answers

278 views

### Albrecht Fröhlich's text `Groupoids, groupoid spaces and cohomology' (1965)

I am looking for Albrecht Fröhlich's unpublished text `Groupoids, groupoid spaces and cohomology' (1965). In this text Fröhlich defines cohomology of a group with coefficients in a groupoid (this was ...

**7**

votes

**0**answers

183 views

### Evens norm as a derived functor

In the theory of cohomology of groups there are several important maps between cohomologies: restriction, inflation, transfer and Evens norm. The first three of them can be clearly seen on the level ...

**7**

votes

**0**answers

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

**6**

votes

**0**answers

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

**6**

votes

**0**answers

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

**6**

votes

**0**answers

429 views

### Lyndon-Hochschild-Serre spectral sequence and cup products

First here is my setup:
Let $W$ be some group, and $C$ a normal subgroup of finite index, and let $W/C=G$. Now let $L$ be a a $G$-module on which $C$ acts trivially, so in particular we get on action ...

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

**6**

votes

**0**answers

320 views

### Relation between group representations and elements of group cohomology groups

Having already seen group cohomology, I was just introduced to the formula $U \otimes Ind W = Ind(Res(U) \otimes W)$ from representation theory. This seems oddly like the formula $\mathrm{Cor}(u) \cup ...

**5**

votes

**0**answers

118 views

### Example of a torsionfree group satisfying a cohomological condition

Let us call a finitely generated group $G$ cohomologically rich if for each $k \geq 0$, we can find a subgroup $G'$ and a prime $p$ such that $H^k(G';\mathbb F_p) \neq 0$. Examples which come to mind ...

**5**

votes

**0**answers

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

**5**

votes

**0**answers

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

**5**

votes

**0**answers

230 views

### Group cohomology in dimension $-1$

This may seem like a pie-in-the-sky speculation question, but I have good reasons for asking this.
Is there any sense in which $H^{-1}(G;M)$ is defined for a group $G$ and a $G$-module $M$?
The ...

**5**

votes

**0**answers

272 views

### Kuranishi map, group cohomology and the bar complex

Let $\pi$ be a group, $G$ a compact lie group with lie algebra $g$, $A:\pi\to G$ a representation which composes with the adjoint map to give $g$ a $\pi$-module structure. I want to construct a ...

**4**

votes

**0**answers

116 views

### Is the Tensor/Exterior square $G\otimes G$ or $G\wedge G$ of infinite p-group also a p-group?

Let $G$ be an infinite countable p-group. Is it true that $G\otimes G$ or $G\wedge G$ are also p-groups? (where G acts on itself by conjugation). For simplicity, you can consider that $G=[G,G]$, and ...

**4**

votes

**0**answers

59 views

### Minimal rank of a permutation resolution of a $G$-lattice

Let $G$ be a finite group.
By a $G$-lattice I mean a finitely generated free abelian group $L$ with an action of $G$.
One says that $L$ is a permutation lattice if $L$ has a $\mathbb{Z}$-basis ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

179 views

### geometric interpretation of the transgression map

Let $X$ be an algebraic variety over an algebraically closed field $k$ and let a finite group $G$ act on it so that it acts freely on the generic fibre of the projection $X \to X/G$, so ...

**4**

votes

**0**answers

167 views

### Modified radical group of a Kummer extension

If $K/k$ is a degree $p$ Kummer extension of number fields (so $k$ contains the $p^r$th roots of unity for some $r \geq 1$ --- let's also assume $K/k$ is not generated by $p$-power roots of unity), I ...

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

**4**

votes

**0**answers

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

**4**

votes

**0**answers

451 views

### Second cohomology group

Dear Forum,
Let A be an associative division algebra (i.e. a skew field), G a subgroup of the multiplicative group of A and E an extension of the additive group A+ of A by G such that G acts on A+ ...

**3**

votes

**0**answers

80 views

### Schur Multiplier of Tarski Monsters

Is it known whether the Schur Multiplier of the Tarski monsters are finitely generated?

**3**

votes

**0**answers

79 views

### Crossed homomorphisms between power series groups

Consider the group $\mathbb{C}[[z]]_1$ of the power series of the form $a_1 z + a_2 z^2 + \cdots$, with $a_1\neq 0$, under the operation of composition, and $\mathbb{C}[[z]]$ as a ...

**3**

votes

**0**answers

85 views

### Lie group cohomology with coefficients in Lie algebra

I'm looking for a reference, and basic results, about Lie algebra as modules over a Lie group (with the adjoint representation), from the point of view of cohomology. Links with the Lie algebra ...

**3**

votes

**0**answers

152 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

**0**answers

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

**3**

votes

**0**answers

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

**3**

votes

**0**answers

348 views

### Analysis of Eilenberg-MacLane Stacks

In a series of three papers from the fifties, Eilenberg and MacLane did a pretty exhaustive study of what we now call "Eilenberg-MacLane spaces" and used a lot of machinery to do it, e.g. Whitehead's ...

**3**

votes

**0**answers

250 views

### The second homology of a group G and presentation complex of G

Let $G$ be a finitely presentable group. If we assume $H_2(G,Z/pZ) =0$, $p$ is a prime, then can we always find a finite presentation $\mathcal{P}$ of $G$ so that its presentation complex ...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

511 views

### Untwisting the Cohomology with Twisted Coefficients

This question is set on a finite $2$-group $G$ and a subgroup $H$ of index $2$ (but perhaps the question could be answered for arbitrary orders/indexes).
It was asked here on MO whether ...

**3**

votes

**0**answers

103 views

### High-dimensional analogue of Skew

Suppose G and A are abelian groups. Suppose f is a 2-cocycle for the trivial group action of G on A. In other words, we have that:
$$f(g_1,g_2 + g_3) + f(g_2,g_3) = f(g_1 + g_2,g_3) + f(g_1,g_2)$$
...

**2**

votes

**0**answers

51 views

### How to compute group homology of Iwasawa algebra

Let $G$ be a $p$-adic Lie group, $H$ a subgroup of $G$. What is $H_1(H,\Lambda(G))$, where $\Lambda(G)$ is the Iwasawa algebra of $G$ over $\mathbb Z_p$?
If it simplies the question, we may assume ...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

103 views

### Lazard's $\Gamma_n(f)$ as cocycle

In Michel Lazard's "Commutative Formal Groups" Springer Lecture Notes, he defines an operator on a polynomial 3-cochain $f$ denoted $\Gamma_n(f)$, which defines as the $n^{th}$ homogeneous piece of ...

**2**

votes

**0**answers

276 views

### galois cohomology over finite field

Let $X$ a smooth projective geometrically connected curve over a finite field $k$. Let $J$ a smooth commutative group scheme over $X$ and $F$ the function field of $X$.
Do we have a formula to ...

**2**

votes

**0**answers

177 views

### A local-global question on group representations

Let $G$ be a group, and let $V$ be a finite dimensional $\mathbb Q$-linear representation of $G.$ By extension of scalars we obtain the $\mathbb Q_l$-linear representation $V_l=V\otimes\mathbb Q_l.$
...