The group-cohomology tag has no wiki summary.

**3**

votes

**1**answer

244 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

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

**4**

votes

**1**answer

1k views

### Kuenneth-formula for group cohomology with nontrivial action on the coefficient

For a trivial action on the coefficient, we have the following Kuenneth formula
for group cohomology:
$$
H^n(G_1 \times G_2; M) \cong
[\oplus_{i= 0}^n H^i(G_1;M) \otimes_M H^{n-i}(G_2;M)]
\oplus ...

**3**

votes

**3**answers

1k views

### Group cohomology of compact Lie group with integer coeffient

It is known that group cohomology class $H^d[U(1),Z]$ is Z for even d and 0 for odd d.
Do we know $H^d[G,Z]$ for $G=SO(3)$, $SU(2)$ and other compact Lie group?
Also is the Borel-group-cohomology ...

**5**

votes

**2**answers

730 views

### Calculate the group cohomology classes $H^d[U(1)\rtimes Z_2, Z]$ and $H^d[U(1)\rtimes Z_2, Z_T]$

I would like to know what are the group cohomology classes $H^d[U(1)\rtimes Z_2, Z]$ and $H^d[U(1)\rtimes Z_2, Z_T]$, and/or how to calculate them.
It can be shown that $H^d[U(1), Z]$ is $Z$ for ...

**2**

votes

**0**answers

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

**3**

votes

**2**answers

660 views

### Invariants and base change

Suppose $R$ is a Noetherian commutative ring, and $M$ a finite free $R$-module, with an action of a finitely generated discrete group $G$ by $R$-linear maps.
Is there any homological condition on ...

**5**

votes

**2**answers

531 views

### Subobject-poset (co-)homology

Given a group, there is another way to define its "(co-)homology" using a classifying space. Specifically, one takes the partially ordered set of its proper non-trivial subgroups (if they exist), and ...

**12**

votes

**3**answers

1k views

### The relationship between group cohomology and topological cohomology theories

I was recently trying to learn a little bit about group cohomology, but one point has been confusing me. According to wikipedia (http://en.wikipedia.org/wiki/Group_cohomology and some other sources on ...

**2**

votes

**1**answer

338 views

### Why does the Cheeger--Chern--Simons class descend to H_3(G/B)?

Cheeger and Simons here defined a family of characteristic classes for principal $G$-bundles ($G$ a Lie group). I'm interested in the special case of $\hat c_2:H_3(SL(2,\mathbb C);\mathbb ...

**5**

votes

**1**answer

181 views

### Annulators for minimal primes in group cohomology

Let $G$ be a finite group and $p$ be an odd prime. It's known by work of Quillen that the minimal primes of $H^{2\ast}(G;\mathbb{F}_p)$ are in one-to-one correspondence with the maximal elementary ...

**7**

votes

**0**answers

332 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

**3**answers

447 views

### Tabulation of known unstable rational homology of moduli space?

Does there exist a tabulation of the known rational homology of mapping class groups of genus $g$ with $m$ punctures? I'm most interested in the case when punctures can be permuted.

**1**

vote

**1**answer

319 views

### Equivalence of central extensions of Abelian groups

Background: For a projective representation of $G$ on a Hilbert space there is
a 2-cocycle $c:G\times G \to \mathbb T$ where the cocycle condition $\delta c=0$ reads $c(f,g)c(fg,k) =c(f,hk)c(h,k)$ ...

**32**

votes

**1**answer

1k views

### H^4 of the Monster

The Monster group $M$ acts on the moonshine vertex algebra $V^\natural$.
Because $V^\natural$ is a holomorphic vertex algebra (i.e., it has a unique irreducible module), there is a corresponding ...

**1**

vote

**3**answers

360 views

### Is $\mathbb{Z}_p$ flat $\mathbb{Z}_pG$-module for a finite $p$-group $G$?

Hello?
I have a simple question.
Is $\mathbb{Z}_p$ flat $\mathbb{Z}_pG$-module for a finite $p$-group $G$?
Here, $p$ is prime and $\mathbb{Z}_p$ means the integers localized at $(p)$.
If not, is it ...

**15**

votes

**0**answers

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

**6**

votes

**1**answer

351 views

### Posets of cosets and contractibility

For this question let $G$ be a group, perhaps infinite, and let $H_i$ for $i\in I$ be a (finite) family of subgroups closed under taking intersections. I am interested in the coset poset ...

**4**

votes

**1**answer

226 views

### When is a Massey product the image of a Bockstein operator?

I have a discrete group $G$ and classes $x,y\in H^1(G;\mathbb{Q})$ (group cohomology with coefficients in the rationals viewed as a trivial $G$-module) such that the Massey product $$\alpha:=\langle ...

**16**

votes

**1**answer

927 views

### Grothendieck's question on the Brauer group for groups

Let $G$ be a group, and let $M(G)=H^2(G,\mathbb{C}^*)$ be the Schur multiplier of $G$. There is a group $Br(G)$ of complex projective representations of $G$ modulo those that can be lifted to linear ...

**1**

vote

**3**answers

627 views

### Group cohomology of an abelian group with nontrivial action

How do I compute the group cohomology $H^2(G,A)$ if G is a finite abelian group acting nontrivially on a finite abelian group A?

**8**

votes

**2**answers

763 views

### How do I get the correct long exact sequence for relative group cohomology in terms of derived functors?

Background:
I want to consider relative group cohomology: the construction is as follows. I have a subgroup $H\subseteq G$ (and note that I don't want to assume that $H$ is normal in $G$), and a ...

**3**

votes

**0**answers

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

**4**

votes

**1**answer

341 views

### Examples of p-groups exhibiting isomorphic mod-p cohomology rings.

Hello,
given 2 different finite $p$-groups $G$ and $H$, $|G|=|H|=p^n$.
It has been shown by Ian Leary that the mod-p cohomology rings do not determine the groups $G$ and $H$. In fact he gave an ...

**7**

votes

**1**answer

342 views

### Cohomology of the infinite loop space of the affine grassmanian (as in the generalized Mumford conjecture)

I've been reading Hatcher's survey "A short exposition of the Madsen-Weiss theorem". In it, he outlines a nice proof of the "generalized Mumford conjecture", which asserts that the stable cohomology ...

**14**

votes

**4**answers

2k views

### Non-vanishing of group cohomology in sufficiently high degree

Atiyah in his famous paper , Characters and cohomology of finite groups, after proving completion of representation ring in augmentation ideal is the same as $ K(BG)$, gives bunch of corollaries of ...

**12**

votes

**4**answers

1k views

### metaplectic group does not split

I'm trying to understand the Weil representation and hope there are some experts around who can set me straight. Let $F$ be a non-Archimedean local field (I don't mind assuming that the characteristic ...

**15**

votes

**7**answers

1k views

### universal cover of SL2(R): does it admit central extensions?

Is it true that the universal cover of SL2(ℝ) has no non-trivial central extensions... as an abstract group?
(that's certainly true as a Lie group)
Motivation:
I have a projective action of ...

**6**

votes

**1**answer

305 views

### Third bordism group of BG, where G is an arbitrary compact Lie group.

Is anything known about $\Omega_3(BG)$, where $G$ is an arbitrary compact Lie group; i.e., is it possible to describe the structure of $\Omega_3(BG)$ for any compact Lie group? I know that $H_3(BG)$ ...

**7**

votes

**3**answers

391 views

### Embedding groups into groups with some vanishing homology groups

Which finite subsets $S \subset \mathbb{N}$ have the following property : every countable group $G$ embeds into a finitely generated group $\Gamma$ such that $H_i(\Gamma;\mathbb{Z})=0$ for all $i \in ...

**1**

vote

**1**answer

325 views

### On the group homology

Let $G$ be a group satisfying
$H_1(G;\mathbb{Z})$ is free abelian group and $H_i(G;\mathbb{Z})=0$ for $i\geq 2$.
Is it true that $G$ is free group?

**15**

votes

**3**answers

712 views

### central extensions of Diff(S^1) and of the semigroup of annuli

$\mathit{Diff}(S^1)$ refers to the group of orientation preserving diffeomorphisms of the circle. The semigroup of annuli $\mathcal A$ is its "complexification": the elements of $\mathcal A$ are ...

**9**

votes

**1**answer

501 views

### A torsionfree group with infinite cohomological dimension and no infinitely generated free abelian subgroup

Recently I've been reading about cohomological finiteness conditions for groups, my main source being Brown's book "Cohomology of Groups".
One of the first things one learns is that a group with ...

**6**

votes

**2**answers

700 views

### Group cohomology with compact support

Let $\Gamma$ be a discrete group, $V$ a left $\Gamma$-module. One can define the
groups $H^i(\Gamma,V)$ ($i=0,1,2,\dots$) in many ways, and then prove their equivalence: as derived functors
of the ...

**9**

votes

**1**answer

373 views

### Finitely generated subgroups of a product of free groups

Is it true that a finitely generated subgroup of a cartesian product of free groups has a finite cohomological dimension?
The same question about pro-$p$ groups:
Is it true that a finitely generated ...

**4**

votes

**1**answer

409 views

### Tamagawa numbers of abelian varieties and torsion.

Let $A$ be an abelian variety defined over a number field $K$. Fix a prime $v \subset \mathcal{O}_K$, with underlying rational prime $p$. What relationship, known or conjectural (if any), should there ...

**2**

votes

**1**answer

444 views

### corestriction and transversals

Is the corestriction map from a subgroup H to a group G, on the first Tate cohomology group H^1, dependent on the chosen transversal of H is G?

**3**

votes

**2**answers

316 views

### Cup products and the transfer map

Let $G_1$ be a finite-index subgroup of $G_2$. Let $i : H^{\ast}(G_2) \rightarrow H^{\ast}(G_1)$ be the induced map of rings. There is then a transfer homomorphism $\tau : H^{\ast}(G_1) \rightarrow ...

**8**

votes

**1**answer

978 views

### Why isn't the orbifold cohomology of $pt/G$ equal to the cohomology of $BG$?

The classifying space of a group $G$ is given by taking a contractible space $E$ equipped with a free $G$-action, and looking at the quotient, which we dub $BG$. The homotopy type of this space (and ...

**9**

votes

**2**answers

1k views

### How to compute the cohomology of the general linear group with integral entries

Q: So how does one compute the cohomology groups $H^*(GL_n(\mathbf{Z}),\mathbf{Z})$?
First note that $H^*(GL_n(\mathbf{Z}),\mathbf{Z})$ is isomorphic to $H_B^*(Y/GL_n(\mathbf{Z}),\mathbf{Z})$ (Betti ...

**10**

votes

**2**answers

426 views

### An explicit description of $\operatorname{gr}(k \cdot G)$ for the filtration induced by the augmentation ideal?

Let $A$ be any bialgebra (associative, unital, etc.) over a ring $k$. Then among other things it has a counit $\epsilon : A \to k$, and hence an augmentation ideal $I = \ker \epsilon$, which is a ...

**2**

votes

**0**answers

288 views

### Cohomologies associated to residually torsion-free nilpotent groups

This question is related to my previous question: Relationship between the cohomology of a group and the cohomology of its associated Lie algebra.
A group $G$ is ${\it residually \ torsion \ free \ ...

**55**

votes

**1**answer

3k views

### Nontrivial finite group with trivial group homologies?

I stumbled across this question in a seminar-paper a long time ago:
Does there exist a positive integer $N$ such that if $G$ is a finite group with $\bigoplus_{i=1}^NH_i(G)=0$ then $G=\lbrace ...

**3**

votes

**1**answer

250 views

### Cocyles for abelian extensions

Suppose we have an abelian extension of Hopf algebras,
$$k \rightarrow k^G \rightarrow A \rightarrow kF \rightarrow k.$$
According to the general theory there is a left action of $F$ on $G$ and a ...

**13**

votes

**0**answers

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

**3**

votes

**2**answers

666 views

### A question about finite groups.

Let $k$ be a positive integer. Is it true that any finite group $H$ of cardinal $4k+2$ whose center contains an element $h$ of order $2$ is isomorphic to the direct product ...

**6**

votes

**2**answers

787 views

### Transfer homomorphisms with coefficients

In group cohomology, for $H$ a finite-index subgroup of $G$ and $M$ a $G$-module, there is a transfer (or corestriction) map $Cor : H^* (H;M) \to H^*(G;M)$.
In homotopy theory, there is a transfer ...

**15**

votes

**1**answer

991 views

### Reference request: The first cohomology of SL(2,Z) with coefficients in homogeneous polynomials

Let $H_k$ be the vector space of degree $k$ homogeneous polynomials in two variables.I'm looking for a reference for the fact that $H^1(SL(2,\mathbb Z);H_k)=M^0(k+2)\oplus\overline{M^0(k+2)}\oplus ...

**2**

votes

**1**answer

366 views

### Tate-Farrell cohomology of a circle

I know my question is very imprecise. I am trying to understand Tate-Farrell cohomology of the infinite Lie group $S^1$ (say, with coefficients in $\mathbb C$). I would expect that the answer is ...

**2**

votes

**3**answers

680 views

### Another group cohomology cup product question

I am wondering if there is a way to see the cup product, in some cases, without using cochain complexes. The situation I am interested in is the following:
Let $G=F/R$ be a finitely presented group ...