The tag has no wiki summary.

learn more… | top users | synonyms

-2
votes
0answers
36 views

Kunneth Formula for group cohomology with time-reversal [on hold]

When $G_1$, $G_2$ are unitary groups, the cohomology group of $G_1\times G_2$ can be written as a sum using the Kunneth formula $H^{d+1}(G_1 \times ...
0
votes
0answers
62 views

On a property of split short exact sequences [migrated]

Let $A_{\bullet}, B_\bullet$ and $C_\bullet$ be three short exact sequences of groups (not necessarily abelian) out of which $A_\bullet$ and $B_\bullet$ are split. Assume that there is again a short ...
-3
votes
0answers
90 views

cohomology of permutation group of order power of $2$

Let $S_k$ be symmetric group of order $k$. What is $$ H^*(BS_{2^k};\mathbb{Z}_2)? $$ $$ H^*(BS_{2^k};\mathbb{Z})? $$ I only know the case $k=1$.
2
votes
1answer
111 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
166 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 ...
1
vote
1answer
286 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
159 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
363 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 ...
5
votes
0answers
124 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
300 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
121 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
220 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
216 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
112 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
145 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 ...
9
votes
0answers
154 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
214 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
131 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
97 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
97 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
108 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
66 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
181 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
71 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
112 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
252 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
93 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
276 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
291 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
59 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
100 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 ...
10
votes
2answers
715 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
58 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 = ...
41
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
494 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
188 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
128 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 ...
1
vote
1answer
136 views

Successive Schur covers

Let $G_0$ be a finite group and $G_j$ a Schur cover of $G_{j-1}$ for $j=1,2,3\ldots$. Is $G_2$ equal to $G_1$? If not, will the sequence stop after finite steps in general?
2
votes
1answer
292 views

vanishing higher cohomology group for property T group?

Given a countable discrete group $G$ with Kazhdan's property (T), consider $\mathbb{C}G$ or $l^2(G)$ as a left $G$-module, then we can consider the group cohomology, Is it known that $H^n(G, ...
10
votes
4answers
326 views

The cohomology group $H^{1}(GL_{2}(\mathbb{F}_{p}), M_{2}(\mathbb{F}_{p}))$

Let $M_{2}(\mathbb{F}_{p})$ be the vector space of 2$\times$2 matrices over the finite field $\mathbb{F}_{p}$ where $p$ is a prime number, and let $GL_{2}(\mathbb{F}_{p})$ be the group of invertible ...
7
votes
1answer
288 views

Is there a finitely presented group with infinite homology over $\mathbb{Q}$?

Suppose $G$ is a discrete group given by finitely many generators with finitely many relations. Can the homology groups $H_i(G, \mathbb{Q})$, or equivalently $H_i(BG, \mathbb{Q})$ (topological ...
8
votes
0answers
375 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 ...
1
vote
0answers
73 views

when is the restriction $H^2(G,\mathbb{C}^*)\to H^2(K,\mathbb{C}^*)$ surjective?

Let $G$ be a finite group with a subgroup $K$. Given $[\beta]\in H^2(K,\mathbb{C}^*)$ is the an obstruction which checks whether or not $[\beta]$ is the restriction of some $[\alpha]\in H^2(G, ...
2
votes
0answers
97 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 ...
6
votes
0answers
73 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 ...