3
votes
1answer
111 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 ...
4
votes
0answers
128 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 ...
9
votes
1answer
358 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
2answers
266 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 ...
11
votes
1answer
234 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}) ...
6
votes
1answer
618 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 ...
3
votes
1answer
256 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 ...
3
votes
0answers
261 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 ...
2
votes
1answer
149 views

A sort of “group-ring” construction on coefficient systems in group homology (+ special case involving GL(n,Z))

Let $G$ be a discrete group and $M$ be an $RG$-module for some ring $R$ (I'm happy to assume that $R = \mathbb{Q}$). Define $R[M]$ to be the set of $R$-linear combinations of formal symbols of the ...
6
votes
0answers
265 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 ...
8
votes
2answers
521 views

H^d[U(1)^n,U(1)] of the Borel cohomology and Chern-Simons theory

Firstly I apologize that I am a physicist, with a relatively unrigorous math training. My approach of the problem can be Feynman style. Below $Z$ is the integer $\mathbb{Z}$, and $U(1)$ Abelian group ...
2
votes
1answer
231 views

Explicit 2-Cocycles of G=Z2×Z2xZ2 over U(1)

We know that group cohomology $H^2(G,U(1))$ consists of 2-cocycles $\beta(A,B)\in U(1)$ corresponding to elements in the group $H^2(G,U(1))$, where $A\in G,B \in G$. Note that $\beta(A,B)$ satisfies ...
8
votes
1answer
240 views

Generalizations and limitations of Quillen's F-isomorphism theorem

Quillen proved in 1971 ("The Spectrum of an Equivariant Cohomology Ring: I,II") for a large class of groups $G$ including compact Lie groups groups of finite virtual cohomological dimension ...
2
votes
2answers
510 views

Group cohomology of orthogonal groups with integer coefficient

I would like to know the group cohomology of orthogonal groups $SO(n)$, which is the topological cohomology of the classifying space of the group: $H^*(BSO(n);\mathbb{Z}) = $ ? (for example for ...
7
votes
1answer
173 views

Nonhyperbolic groups that contain no free abelian groups or Baumslag-Solitar groups

I've heard it conjectured that a finitely presentable group $G$ is hyperbolic if it satisfies the following two conditions. $G$ contains no subgroup isomorphic to a Baumslag-Solitar group $BS(n,m)$ ...
2
votes
1answer
207 views

Naturality of the transfer in group cohomology

Let $G$ be a (discrete) group and $H\le G$ a subgroup of finite index. Then there is a transfer map $$tr\colon\thinspace H^\ast(H;M)\to H^\ast(G;M) $$ in group cohomology, where $M$ is any $G$-module ...
5
votes
0answers
235 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
0answers
209 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
2answers
495 views

Mackey(also Green and Tambara) functors and Greenlees-May

This is somewhat related to a question that I asked on Math.SE but, sadly, received no response. I apologize ahead of time if this is not appropriate for MO. Feel free to vote to close if this is the ...
4
votes
2answers
300 views

Extensions of topological groups

Suppose I have a central extension $1 \to U(1) \to \hat{G} \to G \to 1$ of a topological group $G$ by the circle group $U(1)$ in such a way that $\hat{G} \to G$ is a principal $U(1)$-bundle. Moreover, ...
6
votes
2answers
461 views

cohomological dimension of a group acting on a product

I recently came across an interesting result of Kobayashi [Corollary 5.5], a special case of which is the following: Suppose $\Gamma$ is a discrete torsion free subgroup of $SL_n(\mathbb{R})$ which ...
4
votes
1answer
135 views

For which rings R is SL_n(R) a virtual duality group

A famous theorem of Borel and Serre says that if $R$ is the ring of integers in an algebraic number field, then $\text{SL}_n(R)$ satisfies virtual Bieri-Eckmann duality. In other words, there exists ...
4
votes
1answer
269 views

Transgressions commute with the Steenrod operations on the base and fiber in a central group extension?

The following sentence is quoted from the paper ON THE COHOMOLOGY OF SPLIT EXTENSIONS by D. J. BENSON AND M. FESHBACH: In general, the differentials in the Lyndon-Hochschild-Serre spectral sequence ...
1
vote
0answers
342 views

Profiniteness Condition for Hochschild-Serre Spectral Sequence?

This question may seem elementary to experts but I am quite confused about it: According to the entry of Lyndon–Hochschild–Serre spectral sequence on wikipedia, for a group extension $1\to N\to G\to ...
6
votes
1answer
649 views

How to Compute Transgressions in a Serre Spectral Sequence?

For a short exact sequence of groups $1\rightarrow A\rightarrow B\rightarrow C\rightarrow 1$ there is an associated fibration $K(A,1)\rightarrow K(B,1)\rightarrow K(C,1)$, which can be constructed by ...
1
vote
0answers
134 views

Twisted homology of free products

Let $G_1$ and $G_2$ be groups and let $M$ be a vector space equipped with actions of $G_1$ and $G_2$. The free product $G_1 \ast G_2$ thus acts on $M$. How can one compute the twisted group homology ...
1
vote
1answer
153 views

Homology of abelian groups and their finite-index subgroups

Fix some $1 \leq k \leq n$. I'm looking for finite-dimensional vector spaces $M_{n,k}$ over $\mathbb{Q}$ on which $\mathbb{Z}^n$ acts such that the natural map $H_k(\ell \mathbb{Z}^n,M_{n,k}) ...
11
votes
1answer
416 views

The semidihedral group of order 16 and ko

Let $\mathcal{A}(1)$ denote the subalgebra of the $\mathrm{mod}\ 2$ Steenrod algebra generated by $\mathrm{Sq}^1$ and $\mathrm{Sq}^2$. The cohomology with $\mathbf{F}_2$ coefficients of the ...
9
votes
2answers
572 views

Cohomological dimension of a homomorphism

Let $G$ and $\Gamma$ be discrete groups, and let $\phi\colon\thinspace G\to \Gamma$ be a homomorphism. Define its cohomological dimension $\operatorname{cd}\phi$ to be the least integer $d$ such that ...
21
votes
3answers
880 views

Geometric Interpretation of the Lower Central Series for the Fundamental Group?

For any group G we can form the lower central series of normal subgroups by taking $G_0 = G$, $G_1 = [G,G]$, $G_{i+1} = [G,G_i]$. We can check this gives a normal chain $G_0 > G_1 > ... > ...
23
votes
0answers
510 views

Is there a Kan-Thurston theorem for fibrations ?

Given a fibration $F \to X \to B$ with all spaces path-connected. Is there a (discrete) group $G$ with normal subgroup $H$ such that $$H^\ast(BG;\mathcal{A}) = H^\ast(X;\mathcal{A})$$ ...
5
votes
2answers
576 views

The Norm Map in (group) cohomology via classifying spaces

The well-known transfer map in group (co)homology can be defined with only homological algebra, or with algebraic topology via classifying spaces (group cohomology of $G$ is isomorphic to ordinary ...
15
votes
3answers
2k views

Why is BG infinite dimensional for G finite ?

If $G \neq \lbrace 1 \rbrace$ is a finite group with classifying space $BG$ then there are infinitely many i such that $H^i(BG,\mathbb{Z}) \neq 0$. This can be found, for example, there: ...
1
vote
1answer
482 views

Group cohomology with $Z_2$ coefficient

I would like to know what are the group cohomology classes $H^d[Z_n, Z_2]$, $H^d[U(1), Z_2]$, $H^d[SO(n), Z_2]$, $H^d[SU(n), Z_2]$, etc. Thanks! (Here the group cohomology $H^d[G, M]$ for a group ...
3
votes
1answer
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
3answers
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 ...
4
votes
2answers
674 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 ...
11
votes
3answers
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 ...
15
votes
0answers
891 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 ...
4
votes
1answer
224 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
1answer
910 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 ...
7
votes
1answer
335 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 ...
6
votes
1answer
303 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)$ ...
6
votes
2answers
682 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 ...
3
votes
2answers
313 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 ...
9
votes
2answers
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 ...
2
votes
0answers
284 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 \ ...
6
votes
2answers
758 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 ...
2
votes
3answers
670 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 ...
24
votes
3answers
2k views

Why aren't there more classifying spaces in number theory?

Much of modern algebraic number theory can be phrased in the framework of group cohomology. (Okay, this is a bit of a stretch -- much of the part of algebraic number theory that I'm interested ...