4
$\begingroup$

I'm looking for an example of the following situation:

  • A group $G$ generated by finite subgroups $H$ and $K$,
  • a non-trivial 3-cocycle $\omega \in H^3(G, \mathbb{k}^\times)$

such that

  • the restrictions of $\omega$ to a 3-cocycle on each of $H$ or $K$ is a coboundary.

If such an example is possible with at least one of $H^2(H, \mathbb{k}^\times)$ and $H^2(K, \mathbb{k}^\times)$ non-trivial as well that would be even better

Improve this question
$\endgroup$

1 Answer 1

Reset to default
6
$\begingroup$

If $\mathbb{k}^\times$ is the multiplicative group of some field, the following works with $\mathbb{k}=\mathbb{F}_3$:

The Quaternion group $Q_8$ is generated by two cyclic subgroups $H,K$ of order 4 and $$H^\ast(H;\mathbb{F}_2)\cong H^\ast(K;\mathbb{F}_2)\cong \mathbb{F}_2[a,b]/(a^2)\; ,\quad|a|=1, |b|=2$$ $$H^\ast(Q_8;\mathbb{F}_2) = \mathbb{F}_2[x,y,z]/(xy,x^3-y^3)\;,\quad |x|=|y|=1,|z|=4$$ Thus $x$ restricts on $H,K$ to some class $c$ having $c^2=0$ and consequently $x^3\neq 0$ restricts to zero on $H,K$.

Improve this answer
$\endgroup$
4
  • $\begingroup$ Thanks Ralph, that's perfect. The same groups also work for $\mathbb k = \mathbb C$, right? $\endgroup$
    – Kim Morrison
    Commented May 16, 2013 at 15:57
  • $\begingroup$ No, I'm afraid, but it doesn't: For $\mathbb{k}=\mathbb{C}$ the question is equivalent to finding $\omega \in H^4(G;\mathbb{Z})\cong H^3(G;\mathbb{C}^\times)$ that restricts to zero. Since the cohomology of $Q_8$ is 4-periodic, $H^4(Q_8;\mathbb{Z})$ is generated by a cohomology class z (of order 8) that restricts non-zero on both, H and K. $\endgroup$
    – Ralph
    Commented May 16, 2013 at 22:06
  • $\begingroup$ Ah. Do you know an example with $\mathbb k = \mathbb C$? $\endgroup$
    – Kim Morrison
    Commented May 17, 2013 at 2:34
  • 2
    $\begingroup$ Yes: Let $H$ resp. $K$ be any finite group those integral cohomology has a non-zero class x resp. y of degree 2. Then $xy\in H^4(H\times K;\mathbb{Z})=H^3(H\times K;\mathbb{C}^\times)$ is non-zero and restricts to zero on $H$ and $K$. If you take $H=K=\mathbb{Z}/p\oplus \mathbb{Z}/p$ then you get an example with $H^2(H;\mathbb{C}^\times)\neq 0$. $\endgroup$
    – Ralph
    Commented May 17, 2013 at 7:57

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .