The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
2answers
197 views

Universal coefficient theorem for group homology and cohomology

I've been looking for any kind of universal coefficient theorem for group homology and cohomology, including dual universal coefficient theorems. However, the only things I can find are ones where the ...
2
votes
1answer
147 views

When is finding an explicit inverse of an isomorphism not possible

My question is about Shapiro's lemma. Consider the isomorphism $\phi: H^n(G, Hom_{ZH}(ZG, A))\cong H^n(H,A)$ of shapiro's lemma. I would like to describe this via cochains. So the obvious map is ...
5
votes
1answer
154 views

Dimensions of a vector space akin to modular symbols

The group $\operatorname{SL}_2(\mathbb Z)$ acts on polynomials in two variables $\mathbb C[x,y]$ via $A\cdot f(x,y)\mapsto f(A^{-1}.(x,y))$ where $(x,y)$ is regarded as a column vector. There are two ...
1
vote
0answers
67 views

Cohomology of discrete group with compact support

This is closely related to a previous question on the topic, but hopefully adds some motivation. Let $G_{/\mathbf Q}$ be a semisimple group, $K\subset G(\mathbf R)$ a maximal compact subgroup, and ...
0
votes
0answers
44 views

question about Computations of gelfand-fuks cohomology, the cohomology of function spaces, and the cohomology of configuration spaces

In the paper Computations of gelfand-fuks cohomology, the cohomology of function spaces, and the cohomology of configuration spaces, F. R. Cohen, L. R. Taylor, Geometric Applications of Homotopy ...
1
vote
1answer
68 views

What if the low-degree cohomology of a $G$-module and all its restrictions vanish?

Let $G$ be a finite group. If $M$ is a free $\mathbf{Z}[G]$-module, then $H^1(G',M) = H^2(G',M) = 0$ for all subgroups $G' \subset G$. Are there any other modules, free of finite rank over ...
3
votes
1answer
172 views

Conjugation of group extensions

Let $H$ be a finite group. We write ${{\mathbb{C}}}^{*n}$ for the $n$-dimensional complex torus $({{\mathbb{C}}}^*)^n$. We have a short exact sequence $$ 0\to {{\mathbb{Z}}}^n\to ...
1
vote
0answers
89 views

Integral Cohomology of Symmetric Groups

Does anybody know a reference for the explicit description of the integral cohomology ring of $S_5$ and $S_6$. I can not find them anywhere in the internet. For $S_4$, I found C. B. Thomas's nice ...
6
votes
0answers
111 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 ...
1
vote
1answer
151 views

Cohomology of lattice with coefficients in field of rational functions

In my research, I came across a 1-cocycle in the following group cohomology complex: Let $\Lambda_\mathbb{Z}$ be a lattice (i.e. isomorphic to $\mathbb{Z}^n)$; let $\Lambda_\mathbb{C} = ...
3
votes
1answer
197 views

For a cross section $\sigma\colon G/N\to G$, how is $\sigma(y)^{-1}\sigma(x)^{-1}\sigma(xy)$ called?

Let $G$ be a locally compact group, let $N$ be a closed normal subgroup of $G$, and let $\sigma\colon G/N\to G$ be a cross section. Let us define $\alpha\colon G/N\times G/N \to N$ by the formula $$ ...
2
votes
1answer
117 views

cohomology of orthogonal (or general linear) group over finite fields

Let $\mathbb{Z}_2=\mathbb{Z}/2\mathbb{Z}$. Let $$ O(\mathbb{Z}_2^{\oplus k})=\{A\mid A \text{ is a } k\times k \text{ - matrix with entries } 0,1, det(A)=\pm 1\} $$ What is $$ ...
1
vote
1answer
174 views

cohomology of orthogonal group of integers

Let $$ O(\mathbb{Z}^{\oplus k})=GL(\mathbb{Z}^{\oplus k})\cap O(k). $$ What is $$ H^*(BO(\mathbb{Z}^{\oplus k});\mathbb{Z})? $$ If it cannot be computed out, can we get $$ H^*(O(\mathbb{Z}^{\oplus ...
2
votes
1answer
294 views

cohomology ring of symmetric group of order $3$

Let $S_3$ be the symmetric group of order $3$. What is the cohomology ring $$ H^*(S_3;\mathbb{Z})?$$ My attempt: I want to use mathematical induction on $n$ for $S_n$. For $n=1$, $S_1$ is trivial. ...
3
votes
1answer
177 views

Centralizers in the universal central extensions of the alternating groups?

For $n \ge 8$ the Schur multiplier $H_2(BA_n, \mathbb{Z})$ (where $A_n$ denotes the alternating group) stabilizes to $\mathbb{Z}_2$, and hence there is a universal central extension $\widetilde{A}_n$ ...
3
votes
3answers
385 views

classifying space and cohomology of integer general linear group

I have obtained that the classifying space $$ BGL(\mathbb{R}^n)=BO(\mathbb{R}^n)=G_n(\mathbb{R}^\infty) $$ is the Grassmannian. I have also obtained that the mod 2 cohomology is the polynomial ...
6
votes
0answers
126 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 ...
3
votes
2answers
313 views

symmetric 2-cocycle / many projective representations

Let $G$ be a finite group, $k$ the field of complex numbers. Are there (cohomologically nontrivial) group 2-cocycles $\sigma\in Z^2(G,k^\times)$ such that for all $g,h\in G$: ...
3
votes
1answer
130 views

Lyndon–Hochschild–Serre spectral sequence for not normal subgroup

Is there analog of Lyndon–Hochschild–Serre spectral sequence for not normal subgroup? What can you say about it? Can you describe $E^{p, q}_1$ ? What is about $E^{p, q}_2$? What is the best technique ...
5
votes
2answers
221 views

Embedding $G$ in a $Z(G)$ extension of $\operatorname{Aut}G$

This question follows up a question I asked on math.SE. This is a refinement and a reference request. For what groups $G$ does there exist a $Z(G)$-extension of $\operatorname{Aut}G$ (call it ...
3
votes
2answers
218 views

cohomology algebra of braid spaces, configuration spaces

In Homology of $C_{n+1}$-spaces, $n\geq 0$, F.R. Cohen, Lecture Notes in Mathematics, Vol. 533, Chapter 5, 6, 7, 8, 9, 10, 11, the cohomology algebra $H^*(B(\mathbb{R}^{n+1},p),\mathbb{Z}_p)$, for ...
0
votes
1answer
120 views

cohomology version of Cartan-Leray spectral sequence that deduces cup product

On page 338, A User's Guide to Spectral Sequences. 2nd Edition, by John McCleary, Theorem 8.9, there is a Cartan-Leray spectral sequence for homology: If $X$ is a connected pace on which the group ...
5
votes
1answer
146 views

Reference for Mod 2 cohomology of $BZ_{2r}$ in terms of Stiefel-Whitney Classes

I was hoping for an explicit reference to the description of the mod 2 cohomology of a cyclic group $C_{2r}=\langle t \rangle$ of even order in terms of Stiefel-Whitney classes, i.e., that ...
10
votes
0answers
156 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 ...
4
votes
1answer
231 views

Relation between cohomology of ordered and unordered configuration spaces

Let $M$ be a manifold. Then $F(M,k)/\Sigma_k$, the unordered configuration space of $k$ points, is obtained as a quotient of $F(M,k)$, the ordered configuration space of $k$ points, by the group ...
0
votes
1answer
138 views

Two questions on the Schur multiplier of groups of order $p^4$

I tried to find a reference for the computation of the Schur multiplier of groups of order $p^4$. The case in which $p=2$ is well known, see e.g. Table 1 at ...
4
votes
1answer
98 views

Triviality of local system extension

Take a nice space $X$. Let us call a local system on $X$ a functor from the fundamental groupoid of $X$ to groups, so that $G$ is a local system on $X$ if for each $x \in X$ there is a group $G_x$ and ...
2
votes
0answers
101 views

Schur covering group [closed]

It is known that every finite group has a Schur covering group. I'm eager to know every finite group can be considered as a Schur covering group of a group. If it is not true in general, under what ...
2
votes
0answers
116 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, ...
5
votes
0answers
67 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. ...
0
votes
0answers
38 views

An obstruction to existence of invariant trivializations of central extensions in the presence of a group action

This is sort of a follow up question to this. My real question is a particular case of the following abstract situation. Let $G$, $\pi$ be groups and assume $\pi$ acts on $G$ by automorphisms. Assume ...
3
votes
2answers
184 views

Cohomology of SL(2,R) with coefficients given by linear action

Let $SL(2,{\mathbb R})$ act on ${\mathbb R}^2$ by matrix multiplication. What is known about group cohomology $H^*(SL(2,{\mathbb R}),{\mathbb R}^2)$? And about $$H^*(\Gamma,{\mathbb R}^2)$$ for a ...
1
vote
0answers
76 views

Does this condition imply a polynomial is a product of linear factors

Let $\Lambda$ be a lattice (i.e. $\Lambda \simeq \mathbb{Z}^n$) with a positive subcone $\Lambda^+$. Let $H: \Lambda^+ \rightarrow \mathbb{C}$ be a function such that $\forall\mu \in \Lambda^+$, ...
3
votes
0answers
119 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
2answers
262 views

The relation between group cohomology and the cohomology of the classifying space

We know that the Borel group cohomology (group cohomology of measurable functions) of a group $G$, ${\cal H}_B^d(G,Z)$, is given by the cohomology of the classifying space: ${\cal ...
0
votes
1answer
94 views

on lifting extensions

Let $G$ be a connected reductive group with $G_{der}$ simply connected and $T$ a maximal torus over an algebraically field $k$. We consider a extension $\tilde{T}$ of the maximal torus $T$ by a torus ...
1
vote
1answer
229 views

Relations between characteristic classes of a group and the Stiefel-Whitney/Pontryagin classes

Let $X$ be a closed manifold and $BG$ be the classifying space of a group $G$ A map from $X$ to $BG$ induce a map from $H^*(BG,Z)$ to $H^*(X,Z)$ by pull back. Let $GH^*(X,Z)$ be the subgroup of ...
6
votes
1answer
289 views

discrete group cohomology vs continuous group cohomology for profinite groups

Let $G$ be a profinite group and $M$ be a finite $G$-module. I can compute the cohomology of $G$ with coefficients in $M$ either as a topological group or as a discrete group. There is an obvious map ...
7
votes
3answers
297 views

Non-smooth function with all differences of translates smooth?

Suppose $f:\mathbb{R} \to \mathbb{R}$ has the property that for every fixed $t\in\mathbb{R}$ the function $$ g_t : x \mapsto f(x) - f(x-t) $$ is $C^\infty(\mathbb{R})$. Does it follow that $f$ is ...
0
votes
0answers
66 views

Corestriction map for the relative homology (cohomology) group

Let $G$ be a group and $N$ be its normal subgroup. Is there any concept of corestriction map for the relative homology (cohomology) group $H_n(G,N,-)$ ($H^n(G,N,-)$) such that when $N=G$ it is the ...
1
vote
0answers
170 views

Finite Cohomology and free groups

Let $F$ be a finitely generated nonabelian free profinite group, $p$ a prime number, $L \lhd_o F$ with $[F : L]$ coprime to $p$, $N \lhd_c^\infty F$ contained in $L$ with $L/N$ pro-$p$, and $N \leq H ...
0
votes
0answers
103 views

Golod Shafarevich Inequality and Inequalities among higher Cohomology groups

As a consequence of Golod- Shafarevich, we get an inequality between second cohomology group of a $p$-group with coefficients in $F_p$ and the first cohomology group of a $p$-group with coefficients ...
12
votes
2answers
882 views

(co)homology of symmetric groups

Let $S_n=\{\text{bijections }[n]\to[n]\}$ be the n-th symmetric group. Its (co)homology will be understood with trivial action. What are the $\mathbb{Z}$-modules $H_k(S_n;\mathbb{Z})$? Using GAP, we ...
2
votes
0answers
60 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 = ...
42
votes
2answers
1k views

$H^4(BG,\mathbb Z)$ torsion free for $G$ a connected Lie group

Recently, prompted by considerations in conformal field theory, I was let to guess that for every compact connected Lie group $G$, the fourth cohomology group of it classifying space is torsion free. ...
12
votes
2answers
500 views

The sum of the carries when adding and multiplying two numbers in base p

Let $\sigma_p(m,n)$ (resp. $\pi_p(m,n)$) denote the sum of the carries when adding (resp. multiplying) the numbers $m=\sum_{k\ge0}m_kp^k$ and $n=\sum_{k\ge0}n_kp^k$ using base-$p$ arithmetic where ...
3
votes
1answer
284 views

Classes in $H^3(G; \mathbb{Z})$ that restrict to zero on abelian subgroups

Let $G$ be a finite $p$-group. Is it possible to have a nonzero class in $H^3(G; \mathbb{Z})$ that restricts to zero in $H^3(A; \mathbb{Z})$ for every abelian subgroup $A \subset G$? If so, what is a ...
10
votes
1answer
193 views

Torsion-free group that is not of type F but is virtually of type F

Recall that a group $G$ is of type F if there exists a compact $K(G,1)$. There are many examples of groups which are not of type F but which are virtually of type F, that is, they have finite-index ...
0
votes
0answers
137 views

natural map from $H^3(BG,\mathbb{Z})$ to $H^3(\underline E G,\mathbb{Z})$?

is there any natural map from natural map from $H^3(BG,\mathbb{Z})$ to $H^3(\underline E G,\mathbb{Z})$? where $G$ is a discrete group, $BG$ is the classifying space, and $\underline E G$ is the ...
1
vote
0answers
138 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 ...