Return to Question

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 finite group $Q$ into a coboundary in the following two cases in quaternion group or dihedral group:

1. Inflate the 3-cocycle $\alpha_{1}$ in $Q=Z_2$ via a dihedral group $G=D_8$ of order 8.

2. Inflate the 3-cocycle $\alpha_{2}$ in $Q=Z_2 \times Z_2$ via a quaternion group $G=H_8$ of order 8.

Consider the cocycle $\alpha_1(g_a,g_b, g_c) \in H^3(Z_2, \mathbb{R} /\mathbb{Z})$ and $\alpha_2((g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2})) \in H^3(Z_2 \times Z_2, \mathbb{R} /\mathbb{Z})$ in the 3rd cohomology group of $Z_2$ and $Z_2 \times Z_2$ respectively, where $g_a,g_b,g_c \in Z_2$ respectively, and $(g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2})\in Z_2 \times Z_2$ respectively.

Let both $\alpha_1$ and $\alpha_2$ to be a cup product form: $$\alpha_1(g_a,g_b, g_c)=(-1)^{g_{a}g_{b}g_{c}}. $$ $$\alpha_2((g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2}))=(-1)^{g_{a1}g_{b2}g_{c2}}. $$

question: How can we trivialize a $H^3(Z_2, \mathbb{R} /\mathbb{Z})$'s cocycle $\alpha_1$ into a coboundary and trivialize a $H^3(Z_2 \times Z_2, \mathbb{R} /\mathbb{Z})$'s cocycle $\alpha_2$ into a coboundary $$\alpha_1= \delta \beta_1$$ $$\alpha_2= \delta \beta_2$$ in a large group dihedral $D_8$ and quaternion $H_8$, respectively, by finding the explicit 2-cochain $\beta_1$ and $\beta_2$?

Where we can regard the group homomorphism $$H_8 \to Z_2 \times Z_2 \text{ and } D_8 \to Z_2$$. And we can use the fact that $H_8/Z_2=Z_2 \times Z_2$, we can call $H_8=G$, and $Z_2=N$ normal subgroup, and $Z_2 \times Z_2=Q$ as the quotient group. We can also choose either the fact that $D_8/Z_4=Z_2$ or $D_8/(Z_2)^2=Z_2$. We all have $G/N=Q$.

In particular, not only the explicit 2-cochain, but also I am interested in finding the relations to Lyndon Hochschild Serre spectral sequence and the $d_2$ differential, its homomorphism $d_2:H^1(Q,H^1(N,\mathbb{R} /\mathbb{Z}))\to H^3(Q,\mathbb{R} /\mathbb{Z})$ in the $E_2$ pages. Or whether it requires other $d_n$ differentials to determine the inflation of cocycle.

p.s. The original post in ME received little attention so I decide to try MO.

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 finite group $Q$ into a coboundary in the following two cases in quaternion group or dihedral group:

1. Inflate the 3-cocycle $\alpha_{1}$ in $Q=Z_2$ via a dihedral group $G=D_8$ of order 8.

2. Inflate the 3-cocycle $\alpha_{2}$ in $Q=Z_2 \times Z_2$ via a quaternion group $G=H_8$ of order 8.

Consider the cocycle $\alpha_1(g_a,g_b, g_c) \in H^3(Z_2, \mathbb{R} /\mathbb{Z})$ and $\alpha_2((g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2})) \in H^3(Z_2 \times Z_2, \mathbb{R} /\mathbb{Z})$ in the 3rd cohomology group of $Z_2$ and $Z_2 \times Z_2$ respectively, where $g_a,g_b,g_c \in Z_2$ respectively, and $(g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2})\in Z_2 \times Z_2$ respectively.

Let both $\alpha_1$ and $\alpha_2$ to be a cup product form: $$\alpha_1(g_a,g_b, g_c)=(-1)^{g_{a}g_{b}g_{c}}. $$ $$\alpha_2((g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2}))=(-1)^{g_{a1}g_{b2}g_{c2}}. $$

question: How can we trivialize a $H^3(Z_2, \mathbb{R} /\mathbb{Z})$'s cocycle $\alpha_1$ into a coboundary and trivialize a $H^3(Z_2 \times Z_2, \mathbb{R} /\mathbb{Z})$'s cocycle $\alpha_2$ into a coboundary $$\alpha_1= \delta \beta_1$$ $$\alpha_2= \delta \beta_2$$ in a large group dihedral $D_8$ and quaternion $H_8$, respectively, by finding the explicit 2-cochain $\beta_1$ and $\beta_2$?

Where we can regard the group homomorphism $$D_8 \to Z_2 \text{ and } H_8 \to Z_2 \times Z_2. $$

1. We can choose either the fact that $D_8/Z_4=Z_2$ or $D_8/(Z_2)^2=Z_2$. We can call $D_8=G$, and $Z_4$ or $(Z_2)^2=N$ normal subgroup, and $Z_2=Q$ as the quotient group. We all have $G/N=Q$.

2. And we can use the fact that $H_8/Z_2=Z_2 \times Z_2$, we can call $H_8=G$, and $Z_2=N$ normal subgroup, and $Z_2 \times Z_2=Q$ as the quotient group. We all have $G/N=Q$.

In particular, not only the explicit 2-cochain, but also I am interested in finding the relations to Lyndon Hochschild Serre spectral sequence and the $d_2$ differential, its homomorphism $d_2:H^1(Q,H^1(N,\mathbb{R} /\mathbb{Z}))\to H^3(Q,\mathbb{R} /\mathbb{Z})$ in the $E_2$ pages. Or whether it requires other $d_n$ differentials to determine the inflation of cocycle.

p.s. The original post in ME received little attention so I decide to try MO.

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 finite group $Q$ into a coboundary in the following two cases in quaternion group or dihedral group:

1. Inflate the 3-cocycle $\alpha_{1}$ in $Q=Z_2$ via a dihedral group $G=D_8$ of order 8.

2. Inflate the 3-cocycle $\alpha_{2}$ in $Q=Z_2 \times Z_2$ via a quaternion group $G=H_8$ of order 8.

Consider the cocycle $\alpha_1(g_a,g_b, g_c) \in H^3(Z_2, \mathbb{R} /\mathbb{Z})$ and $\alpha_2((g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2})) \in H^3(Z_2 \times Z_2, \mathbb{R} /\mathbb{Z})$ in the 3rd cohomology group of $Z_2$ and $Z_2 \times Z_2$ respectively, where $g_a,g_b,g_c \in Z_2$ respectively, and $(g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2})\in Z_2 \times Z_2$ respectively.

Let both $\alpha_1$ and $\alpha_2$ to be a cup product form: $$\alpha_1(g_a,g_b, g_c)=(-1)^{g_{a}g_{b}g_{c}}. $$ $$\alpha_2((g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2}))=(-1)^{g_{a1}g_{b2}g_{c2}}. $$

question: How can we trivialize a $H^3(Z_2, \mathbb{R} /\mathbb{Z})$'s cocycle $\alpha_1$ into a coboundary and trivialize a $H^3(Z_2 \times Z_2, \mathbb{R} /\mathbb{Z})$'s cocycle $\alpha_2$ into a coboundary $$\alpha_1= \delta \beta_1$$ $$\alpha_2= \delta \beta_2$$ in a large group quaternion $H_8$ by finding the explicit 2-cochain $\beta_1$ and $\beta_2$?

Where we can regard the group homomorphism $$H_8 \to Z_2 \times Z_2 \text{ and } D_8 \to Z_2$$. And we can use the fact that $H_8/Z_2=Z_2 \times Z_2$, we can call $H_8=G$, and $Z_2=N$ normal subgroup, and $Z_2 \times Z_2=Q$ as the quotient group. We can also choose either the fact that $D_8/Z_4=Z_2$ or $D_8/(Z_2)^2=Z_2$. We all have $G/N=Q$.

In particular, not only the explicit 2-cochain, but also I am interested in finding the relations to Lyndon Hochschild Serre spectral sequence and the $d_2$ differential, its homomorphism $d_2:H^1(Q,H^1(N,\mathbb{R} /\mathbb{Z}))\to H^3(Q,\mathbb{R} /\mathbb{Z})$ in the $E_2$ pages. Or whether it requires other $d_n$ differentials to determine the inflation of cocycle.

p.s. The original post in ME received little attention so I decide to try MO.

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 finite group $Q$ into a coboundary in the following two cases in quaternion group or dihedral group:

1. Inflate the 3-cocycle $\alpha_{1}$ in $Q=Z_2$ via a dihedral group $G=D_8$ of order 8.

2. Inflate the 3-cocycle $\alpha_{2}$ in $Q=Z_2 \times Z_2$ via a quaternion group $G=H_8$ of order 8.

Consider the cocycle $\alpha_1(g_a,g_b, g_c) \in H^3(Z_2, \mathbb{R} /\mathbb{Z})$ and $\alpha_2((g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2})) \in H^3(Z_2 \times Z_2, \mathbb{R} /\mathbb{Z})$ in the 3rd cohomology group of $Z_2$ and $Z_2 \times Z_2$ respectively, where $g_a,g_b,g_c \in Z_2$ respectively, and $(g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2})\in Z_2 \times Z_2$ respectively.

Let both $\alpha_1$ and $\alpha_2$ to be a cup product form: $$\alpha_1(g_a,g_b, g_c)=(-1)^{g_{a}g_{b}g_{c}}. $$ $$\alpha_2((g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2}))=(-1)^{g_{a1}g_{b2}g_{c2}}. $$

question: How can we trivialize a $H^3(Z_2, \mathbb{R} /\mathbb{Z})$'s cocycle $\alpha_1$ into a coboundary and trivialize a $H^3(Z_2 \times Z_2, \mathbb{R} /\mathbb{Z})$'s cocycle $\alpha_2$ into a coboundary $$\alpha_1= \delta \beta_1$$ $$\alpha_2= \delta \beta_2$$ in a large group dihedral $D_8$ and quaternion $H_8$, respectively, by finding the explicit 2-cochain $\beta_1$ and $\beta_2$?

Where we can regard the group homomorphism $$H_8 \to Z_2 \times Z_2 \text{ and } D_8 \to Z_2$$. And we can use the fact that $H_8/Z_2=Z_2 \times Z_2$, we can call $H_8=G$, and $Z_2=N$ normal subgroup, and $Z_2 \times Z_2=Q$ as the quotient group. We can also choose either the fact that $D_8/Z_4=Z_2$ or $D_8/(Z_2)^2=Z_2$. We all have $G/N=Q$.

In particular, not only the explicit 2-cochain, but also I am interested in finding the relations to Lyndon Hochschild Serre spectral sequence and the $d_2$ differential, its homomorphism $d_2:H^1(Q,H^1(N,\mathbb{R} /\mathbb{Z}))\to H^3(Q,\mathbb{R} /\mathbb{Z})$ in the $E_2$ pages. Or whether it requires other $d_n$ differentials to determine the inflation of cocycle.

p.s. The original post in ME received little attention so I decide to try MO.

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 finite group $Q$ into a coboundary in the following two cases in quaternion group or dihedral group:

1. Inflate the 3-cocycle $\alpha_{1}$ in $Q=Z_2$ via a dihedral group $G=D_8$ of order 8.

2. Inflate the 3-cocycle $\alpha_{2}$ in $Q=Z_2 \times Z_2$ via a quaternion group $G=H_8$ of order 8.

Consider the cocycle $\alpha_1(g_a,g_b, g_c) \in H^3(Z_2, \mathbb{R} /\mathbb{Z})$ and $\alpha_2((g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2})) \in H^3(Z_2 \times Z_2, \mathbb{R} /\mathbb{Z})$ in the 3rd cohomology group of $Z_2$ and $Z_2 \times Z_2$ respectively, where $g_a,g_b,g_c \in Z_2$ respectively, and $(g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2})\in Z_2 \times Z_2$ respectively.

Let both $\alpha_1$ and $\alpha_2$ to be a cup product form: $$\alpha_1(g_a,g_b, g_c)=(-1)^{g_{a}g_{b}g_{c}}. $$ $$\alpha_2((g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2}))=(-1)^{g_{a1}g_{b2}g_{c2}}. $$

question: How can we trivialize a $H^3(Z_2, \mathbb{R} /\mathbb{Z})$'s cocycle $\alpha_1$ into a coboundary and trivialize a $H^3(Z_2 \times Z_2, \mathbb{R} /\mathbb{Z})$'s cocycle $\alpha_2$ into a coboundary $$\alpha_1= \delta \beta_1$$ $$\alpha_2= \delta \beta_2$$ in a large group quaternion $H_8$ by finding the explicit 2-cochain $\beta_1$ and $\beta_2$?

Where we can regard the group homomorphism $$H_8 \to Z_2 \times Z_2 \text{ and } D_8 \to Z_2$$. And we can use the fact that $H_8/Z_2=Z_2 \times Z_2$, we can call $H_8=G$, and $Z_2=N$ normal subgroup, and $Z_2 \times Z_2=Q$ as the quotient group. We can also choose either the fact that $D_8/Z_4=Z_2$ or $D_8/(Z_2)^2=Z_2$. We all have $G/N=Q$.

In particular, not only the explicit 2-cochain, but also I am interested in finding the relations to Lyndon Hochschild Serre spectral sequence and the $d_2$ differential, its homomorphism $d_2:H^1(Q,H^1(N,U(1)))\to H^3(Q,U(1))$ in the $E_2$ pages. Or whether it requires other $d_n$ differentials to determine the inflation of cocycle.

p.s. The original post in ME received little attention so I decide to try MO.

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 finite group $Q$ into a coboundary in the following two cases in quaternion group or dihedral group:

1. Inflate the 3-cocycle $\alpha_{1}$ in $Q=Z_2$ via a dihedral group $G=D_8$ of order 8.

2. Inflate the 3-cocycle $\alpha_{2}$ in $Q=Z_2 \times Z_2$ via a quaternion group $G=H_8$ of order 8.

Consider the cocycle $\alpha_1(g_a,g_b, g_c) \in H^3(Z_2, \mathbb{R} /\mathbb{Z})$ and $\alpha_2((g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2})) \in H^3(Z_2 \times Z_2, \mathbb{R} /\mathbb{Z})$ in the 3rd cohomology group of $Z_2$ and $Z_2 \times Z_2$ respectively, where $g_a,g_b,g_c \in Z_2$ respectively, and $(g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2})\in Z_2 \times Z_2$ respectively.

Let both $\alpha_1$ and $\alpha_2$ to be a cup product form: $$\alpha_1(g_a,g_b, g_c)=(-1)^{g_{a}g_{b}g_{c}}. $$ $$\alpha_2((g_{a1},g_{a2}),(g_{b1},g_{b2}),(g_{c1},g_{c2}))=(-1)^{g_{a1}g_{b2}g_{c2}}. $$

question: How can we trivialize a $H^3(Z_2, \mathbb{R} /\mathbb{Z})$'s cocycle $\alpha_1$ into a coboundary and trivialize a $H^3(Z_2 \times Z_2, \mathbb{R} /\mathbb{Z})$'s cocycle $\alpha_2$ into a coboundary $$\alpha_1= \delta \beta_1$$ $$\alpha_2= \delta \beta_2$$ in a large group quaternion $H_8$ by finding the explicit 2-cochain $\beta_1$ and $\beta_2$?

Where we can regard the group homomorphism $$H_8 \to Z_2 \times Z_2 \text{ and } D_8 \to Z_2$$. And we can use the fact that $H_8/Z_2=Z_2 \times Z_2$, we can call $H_8=G$, and $Z_2=N$ normal subgroup, and $Z_2 \times Z_2=Q$ as the quotient group. We can also choose either the fact that $D_8/Z_4=Z_2$ or $D_8/(Z_2)^2=Z_2$. We all have $G/N=Q$.

In particular, not only the explicit 2-cochain, but also I am interested in finding the relations to Lyndon Hochschild Serre spectral sequence and the $d_2$ differential, its homomorphism $d_2:H^1(Q,H^1(N,\mathbb{R} /\mathbb{Z}))\to H^3(Q,\mathbb{R} /\mathbb{Z})$ in the $E_2$ pages. Or whether it requires other $d_n$ differentials to determine the inflation of cocycle.

p.s. The original post in ME received little attention so I decide to try MO.