The tag has no usage guidance.

learn more… | top users | synonyms

7
votes
1answer
117 views

Schur multiplier of $Sp(2g, \mathbb{Z}_2)$ for $g \geq 3$

This question is about the computation of $H_2(Sp(2g, \mathbb{Z}_2), \mathbb{Z})$, where $Sp(2g, \mathbb{Z}_2)$ is the group of symplectic $2g \times 2g$ matrices over $\mathbb{Z}_2$. With respect to ...
6
votes
2answers
322 views

First Galois cohomology of Weil restriction of $\mathbb{G}_m$

Let $L/K$ be a finite Galois extension, write $G:= Gal(L/K)$. Denote by $R = Res(\mathbb{G}_m)$ the Weil restriction of $\mathbb{G}_m$, from $L$ to $K$. I want to show that its first Galois cohomology ...
5
votes
0answers
88 views

Continuous cohomology via model category

Is it possible to formulate notion of continuous cohomology in terms of model categories? If yes, then is there a reference for this?
4
votes
2answers
117 views

$2$-cohomology group of semi-direct products

Let $G=N\rtimes T$ and let $A$ be a $G$-module with a trivial $G$-action. The action of $T$ on induce a natural action of $T$ on the second cohomology group of $N$. Denote by $H^2(N,A)^T$ the ...
3
votes
0answers
122 views

Is central extension of a group equivalent to a bundle with gauge field?

Let $\tilde G$ be a central extension of a group $G$ by $U(1)$. One common elegant definition is that there should be a short exact sequence of groups: $0 \to U(1) \to \tilde G \to G \to 0$ ...
4
votes
0answers
70 views

Generalization of a 1D unitary representation

Probably a very naive question, but I'd be grateful for any input. Consider 1D representations of finite group $G$: $\chi(g) \chi(h) = \chi(g h)$ with $\chi(g)\in \text{U}(1)$, and $\chi(1)=1$. The ...
5
votes
0answers
93 views

Restriction of $H^3(M_{24}, U(1))$ to $M_{12} \rtimes \mathbb{Z}_2$

$M_{12}\rtimes \mathbb{Z}_2$ is a maximal subgroup of $M_{24}$, where $M_{24}$ and $M_{12}$ are Mathieu groups . Also, it is known that $H^3(M_{24}, U(1)) \cong \mathbb{Z}_{12}$. I want to find the ...
2
votes
2answers
228 views

Behaviour of cohomology groups under extension of scalars

Let $\hat{R}\to R$ be a homomorphism of commutative unital rings and let $\hat{M}$ be an $\hat{R}G$-module for a group $G$. Does the $R$-module isomorphism $$H^n(G,\hat{M}\otimes R)\cong ...
2
votes
0answers
104 views

Integral cohomology of elementary abelian groups

Let $p$ be a prime. I am looking for a reference or a short proof for the fact that cohomology groups $H^i((\mathbb{Z}/p\mathbb{Z})^n,\, \mathbb{Z}),\, i>0,$ have exponent $p$ (i.e., that they are ...
0
votes
0answers
69 views

When can a 2-cocycle on a subgroup can be extended?

This question is based on a question when is the restriction $H^2(G,\mathbb{C}^*)\to H^2(K,\mathbb{C}^*)$ surjective? I am asking this as a new question as I already asked that user but got no ...
0
votes
1answer
48 views

How to claculate the $T$-stable subgroup of second cohomology group

Let $G=\langle x,y,z,w \mid [y,x]=w^p=z, x^{p^2}=y^p=z^p=1 \rangle$ be a group, where $[u,v]=u^{-1}v^{-1}uv$, $p$ is a prime and the commutator which do not appear is 1. Let $N=\langle y,w \rangle ...
5
votes
1answer
102 views

Generalization of a lemma of Livne

Let $H$ be a finite $2$-group. Let $N_{4}(H)$ be the subgroup generated by fourth powers. Let $H_{4}$ be the last term in the short exact sequence $1\rightarrow N_4(H) \rightarrow H \rightarrow H_{4} ...
9
votes
0answers
187 views

Homological stability for orthogonal groups

In Vogtmann's paper "Spherical posets and homological stability for $O_{n,n}$" it is shown that for all fields different than the field $F_2$ with two elements the homology groups of the orthogonal ...
12
votes
0answers
230 views

In what sense is the braid group $B_3$ the universal central extension of the modular group $\Gamma$?

First let's recall some definitions. Let $G$ be a perfect group, so that $$H^2(G, A) \cong \text{Hom}(H_2(G), A)$$ for all abelian groups $A$ by universal coefficients. This means that when $A = ...
12
votes
2answers
322 views

Cohomological obstructions to lift $\pi_0$ of a topological group

Let $G$ be a topological group. Denote the same group with the discrete topology by $G^\delta$ and denote the group of connected components of $G$ by $\pi_0G$. I am interested in the question when we ...
3
votes
2answers
244 views

rational cohomology of symmetric groups

Let $\Sigma_k$ be the $k$-th symmetric group and $B\Sigma_k$ be its classifying space. How to prove: for any $n\geq 1$ and the $n$-skeleton $sk_n (B\Sigma_k)$, there exists a finite dimensional ...
14
votes
1answer
477 views

Is the moduli space of graphs simply connected?

The moduli space of graphs $MG_n$ is the quotient of Culler-Vogtmann's outer space $X_n$ by the action of $\mathrm{Out}(F_n)$. It can be thought of as the space of metric graphs homotopy equivalent to ...
4
votes
1answer
153 views

Transgression in terms of k-invariant for chain complexes

I am looking for a reference for the following. Say we have a $G$-space $X$ whose homology groups (in field coefficients $k$) are non-zero only in dimension zero and for a fixed $n>0$. Let $M$ ...
5
votes
0answers
96 views

Second homology of mapping class group via universal coefficient theorem

Let $S_g$ be the closed, orientable surface of genus $g\ge 2$ and $Mod(S_{g,1})$ the mapping class group of homeomorphisms fixing a base point $x_0\in S_g$ modulo isotopies fixing $x_0$. It is known ...
0
votes
0answers
86 views

When can the restriction map be zero or onto?

Let $G$ be a finite $p$ group of order $p^n$ and $N$ be a subgroup of $G$ of index $p$. Let $res:H^2(G,A) \rightarrow H^2(N,A)$ be the restriction map on cohomology, where $A$ is a trivial $G$ module. ...
6
votes
0answers
169 views

What's the name of the cohomology class associated to a projective representation?

Suppose $\rho : G \to PGL_n(k)$ is a projective representation of a group $G$ over a field $k$. It's classical that the obstruction to lifting this to a linear representation $G \to GL_n(k)$ is a ...
1
vote
0answers
84 views

Homology of spherical braid groups

By the spherical braid group, I mean the fundamental group of the configuration space of distinct unordered points in $S^2$. I am wondering what is known about the group homology of the spherical ...
0
votes
0answers
117 views

Rational cohomological dimension of the lattices in $SL_n(\mathbb{Q}_p)$

What is the rational cohomological dimension of the lattices in $SL_n(\mathbb{Q}_p)$, where $n\geq 3$ ? A reference would be appreciated. For the definition of "cohomological dimension of a group ...
0
votes
0answers
61 views

Homology of product of two groups [duplicate]

There is well known formula for the homology of product of two groups with coefficient in integers, that is $0 \rightarrow \oplus_{p+q=n}H_p(G,\mathbb{Z}) \otimes H_q(H,\mathbb{Z}) \rightarrow H_n(G ...
4
votes
1answer
146 views

Obstruction for two subgroups to be conjugated by an automorphism

Altough this sounds as a very basic question, I didn't receive any answer on stack exchange and by people more knowledgeable than me Take $p$ a prime number and $P$ an abelian finite $p$-group. Let ...
8
votes
2answers
267 views

Groups with trivial rational homology and their finite index subgroups

For a short exact sequence $0 \to G \to H \to K \to 0$ of (discrete) groups with $K$ finite we have, as a consequence of the Hochschild-Serre spectral sequence, that $H^{\ast}(H;\mathbb Q) = ...
7
votes
2answers
304 views

How to compute second homology of a group given by presentation with two relators

I am interested in calculating of $H_2(G,\mathbb{Z})$, where $G$ is a group given by presentation with two relators $\langle a,b| r_1 = r_2 = 1\rangle$. Moreover, I am interested in such ...
3
votes
2answers
269 views

mod p cohomology ring of alternating groups

Let $A_n$ be the alternating group of $\{1,2,\cdots,n\}$. (1). What is the cohomology ring $$ H^*(A_4;\mathbb{Z}/3) $$ and its Steenrod operation $P^i$'s? (2). Are there general results about the ...
3
votes
0answers
93 views

Schur Multiplier of Tarski Monsters

Is it known whether the Schur Multiplier of the Tarski monsters are finitely generated?
2
votes
2answers
187 views

Do quasi-isometric groups have the same rational cohomology?

Let $G_1$ and $G_2$ be two finitely generated groups which are quasi-isometric in the sense of geometric group theory. Are their rational cohomology rings $H^{\ast}(G_i; \mathbb Q)$ necessarily ...
4
votes
0answers
142 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 ...
7
votes
3answers
346 views

Computations in modular cohomology of finite groups

Let $k$ be an algebraically closed field of characteristic $p$, let $G$ be a finite group whose order is divisible by $p$, and let $H(G)$ be the commutative cohomology algebra of $G$ with coefficients ...
0
votes
1answer
104 views

cohomology ring of the fundamental group of unordered configuration space

From the lecture notes INTRODUCTION TO CONFIGURATION SPACES AND THEIR APPLICATIONS, p. 18, I find: Os it possible to derive the cohomology ring $H^*(Conf(S,k)/\Sigma_k;\mathbb{Z}_2)$ from the above ...
7
votes
1answer
135 views

Obstructions to Picard-graded groups of maps

Suppose $(C,\odot,\Bbb I)$ is an additive category with a compatible symmetric monoidal structure and $Pic(C)$ is the group of isomorphism classes of objects which have an inverse under $\odot$. For ...
4
votes
1answer
135 views

symmetric measurable 2-cocycles on compact abelian groups vanish?

Is the following result true? If it is, could you plese give me a reference for it? Thanks in advance! Let $(G, \mu)$ be any compact abelian group with Haar measure $\mu$ (The case I am interested ...
2
votes
1answer
180 views

Profinite groups, directed sets and $H^1$

Usually whenever one reads the definition of profinite group, one starts with an ordered set $I$ which is directed, meaning that for every $i,j\in I$ there is some $k\in I$ such that $i\leq k$ and ...
3
votes
0answers
81 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
1answer
172 views

The term $H^1(N,A)^{G/N}$ in the inflation-restriction exact sequence

[a repost from SE due to the lack of response] Given a group $G$, let $A$ be a $G$-module and let $N\trianglelefteq G$. If I understand it correctly, the superscript "G/N" in the third term of the ...
1
vote
0answers
160 views

divisible 2nd cohomolgy group $H^2(G,\mathbb{Z}G)$

Recall that a (nontrivial) abelian group $A$ is called divisible if the multiplication by $n$ is surjection $A\to A$ for all $n\in\mathbb{Z}_{>1}$. My question is the following. Is there a ...
6
votes
1answer
298 views

Connected CW complex, isomorphism?

Let $\pi$ be a group and let $K(\pi, 1)$ be a connected CW complex such that $\pi_1(K(\pi, 1)) = \pi$ and $\pi_q(K(\pi, 1)) = 0$ for $q \neq 1$. My question is, are $H_*(K(\pi, 1);A)$ and ...
3
votes
1answer
258 views

What is the (co-)homology of $K(\mathbb{R}_\delta,n)$?

To elaborate on the question from the title, $\mathbb{R}_\delta$ is the additive group of real numbers (without any topology) and $K(\mathbb{R}_\delta,n)$ is an Eilenberg-MacLane space. I would like ...
6
votes
3answers
520 views

Homological vs. cohomological dimension of a group/space

I have several related questions regarding homological vs. cohomological dimension of a space/group (this is not a duplicate of this). The standard definition of the cohomological dimension $cd(X)$ ...
3
votes
0answers
89 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 ...
1
vote
0answers
43 views

Independence of inverse system to define continuous cohomology for profinite groups

I have a problem concerning cohomology of profinite groups as it is defined e.g. in Gille's and Szamuely's "Central Simple Algebras and Galois Cohomology" on page 86. For a profinite group ...
2
votes
2answers
476 views

What is the $\mathbb Z/2$-cohomology of $\mathrm B^n(\mathbb Z/2)$?

I would like to know the cohomology groups $\mathrm H^\bullet(\mathrm B^n(\mathbb Z/2);\mathbb Z/2)$. I assume that this is a standard computation, but I'm not sure where to look up the answer (and, ...
2
votes
2answers
365 views

Lifting projective Galois representation with condition

Let $\bar{\rho}: G_K\to PGL_n(\mathbb{C})$ be projective representation of the absolute Galois group of a number field $K$ and $\varphi\in Aut(G_K)$. A theorem of Tate tells us that we can always ...
4
votes
0answers
60 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 ...
9
votes
1answer
288 views

Nontrivial finite group with trivial cohomology in prescribed degree

For any non-trivial finite group $G$ there exists some $j > 0$ such that $H^{aj}(G) \neq 0$ for all $a = 1,2,3,\dots$, see e.g. this question: Non-vanishing of group cohomology in sufficiently high ...
5
votes
0answers
137 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 ...
1
vote
1answer
221 views

What is the cokernel of the map $H^2\big(\pi_1(X), \mathbb Z\big) \longrightarrow H^2(X,\mathbb Z).$

For a manifold $X$ (for simplicity, assumed to be compact), let $\pi_1(X)$ be the fundamental group of $X$. What is the cokernel of the map $$H^2\big(\pi_1(X), \mathbb Z\big) \longrightarrow ...