Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
2 answers
126 views

Extensions of $G$-modules parametrized by $H^1$

Let $G$ be a finitely generated group and let $V$, $W$ be one-dimensional representations of $G$ over $\mathbb{F}_q$. (I guess one can think of $V$ and $W$ simply as $G$-modules, which are isomorphic ...
Conjecture's user avatar
12 votes
3 answers
1k views

Lyndon–Hochschild–Serre spectral sequence for a non-normal subgroup

Is there an analogue of the Lyndon–Hochschild–Serre spectral sequence for a non-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 ...
quinque's user avatar
  • 385
3 votes
0 answers
148 views

Group cohomology with coefficients in a graded module

I am working in a problem group cohomology and nailed it down to compute a cohomology using an spectral sequence argument. The situation is as follows: Let $G = C_4 = \langle \sigma \rangle$ be the ...
C. Zhihao's user avatar
  • 283
4 votes
0 answers
207 views

Trivial action in the Hochschild-Serre spectral sequence

I probably don't understand something very basic about Hochschild-Serre spectral sequence. Let $G$ be a group with normal subgroup $N$ and $M$ a $G$-module with trivial action. Then as far as I ...
David Levit-Gurevich's user avatar
7 votes
2 answers
4k views

Conditions for the restriction $H^i(G,A)\to H^i(H,A)$ being surjective

I was wondering what the condition is for the restriction map (in group cohomology) $H^i(G,A)\to H^i(H,A)$ to be surjective. I am a little confused about when maps between cohomology groups are ...
Earthliŋ's user avatar
  • 1,211
3 votes
0 answers
174 views

Induced Homomorphism on Cohomology of Symmetric Group 3

For the symmetric group $S_3$, there is an inclusion $i:\mathbb{Z}/3\mathbb{Z}\hookrightarrow S_3$. How can I assert that the induced homomorphism $$i^{\ast}:H^{n}(S_3,\mathbb{Z})\rightarrow H^{n}(\...
mrde05's user avatar
  • 39
5 votes
2 answers
651 views

Inflate a finite-group cocycle into coboundary in non-Abelian groups

Edit: In case that there is no solution for the original question, I modify to enrich the question. We like to ask a possible specific inflation a $H^3(Q, \mathbb{R} /\mathbb{Z})$ cocycle with a ...
miss-tery's user avatar
  • 755
6 votes
1 answer
2k 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 $\...
Shiquan Ren's user avatar
  • 1,990
12 votes
2 answers
523 views

A question on some computation of group cohomologies

Let $G=H\times J$, where $H\cong J\cong C_2$ (cyclic group of order 2). Let $M \cong \mathbb{Z}$ be a $G$-module via "trivial $H$-action and negation $J$-action". My question is "What are the group ...
Callum P Dunne's user avatar
2 votes
1 answer
264 views

Trivialize a cup-product 3-cocycle of $G$ in a larger group $J$

Inspired by this question, let us take a nontrivial 3-cocycle $\omega_3^G(g_a, g_b, g_c) \in H^3(G,\mathbb{R}/\mathbb{Z})$ in the cohomology group of $G$ with $U(1)=\mathbb{R}/\mathbb{Z}$ coefficient. ...
miss-tery's user avatar
  • 755
9 votes
2 answers
1k 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 ...
wonderich's user avatar
  • 10.5k
2 votes
0 answers
108 views

Relating inflation maps from spectral sequences in lower and higher dimensions

The spectral sequence has some nice property. Consider $ N \to G \overset{R}{\to} Q $ and $G/N=Q$. There is a spectral sequence $\{E^{p,q}_n, d_n\}$ with: (i) The differential is defined as a map $...
wonderich's user avatar
  • 10.5k