Galois cohomology H^1(Q_p, Z_p(2)) = 0? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T17:42:22Z http://mathoverflow.net/feeds/question/87572 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/87572/galois-cohomology-h1q-p-z-p2-0 Galois cohomology H^1(Q_p, Z_p(2)) = 0? pierre matsumi 2012-02-05T10:39:27Z 2012-02-06T06:43:25Z <p>For Tate twists Z_p(2), which is defined by the projective limit of \mu_{p^m}(2) over all m>0, I would like to calculate H^1(Q_p, Z_p(2)). </p> <p>I guess this is zero, but cannot prove it. Is it possible to calculate and prove H^1(Q_p, \mu_{p^m}(2)) = 0 for each m> 0? </p> <p>Just teach me, please. </p> <p>Pierre MATSUMI </p> http://mathoverflow.net/questions/87572/galois-cohomology-h1q-p-z-p2-0/87574#87574 Answer by Timo Keller for Galois cohomology H^1(Q_p, Z_p(2)) = 0? Timo Keller 2012-02-05T10:56:16Z 2012-02-05T15:24:26Z <p>Have you tried the Hochschild-Serre spectral sequence <code>$H^p(\mathbf{Q}_p(\mu_{p^m})/\mathbf{Q}_p, H^q(\mathbf{Q}_p(\mu_{p^m}), \mu_{p^m}^{\otimes 2})) \Rightarrow H^{p+q}(\mathbf{Q}_p, \mu_{p^m}^{\otimes 2})$</code> and the exact sequence of lower terms $0 \to E_2^{1,0} \to E^1 \to E_2^{0,1} \to E_2^{2,0} \to E^2$?</p> <p>See also Neukirch, Schmidt, Wingberg, Cohomology of Number Fields, Corollary (7.3.8). This reduces the determination of $H^1$ to that of $H^0$, which is trivial, and of $H^2$, which can be treated using the dualising module $\mu$.</p> http://mathoverflow.net/questions/87572/galois-cohomology-h1q-p-z-p2-0/87609#87609 Answer by Ralph for Galois cohomology H^1(Q_p, Z_p(2)) = 0? Ralph 2012-02-05T19:26:35Z 2012-02-06T06:43:25Z <p>Explicitly we have $H^1(\mathbb{Q}_p,\mathbb{Z}_p(2)) = \begin{cases} \mathbb{Z}_p \oplus \mathbb{Z}/p\mathbb{Z} &amp; \text{if } p \le 3 \newline \mathbb{Z}_p &amp; \text{if } p > 3.\end{cases}$</p> <p>This follows from the Remark following Prop. 7.3.10 of Neukirch et. al (same book as in Timo's answer): $$H^1(\mathbb{Q}_p,\mathbb{Z}_p(2)) \cong H^1(\mathbb{Q}_p,\mathbb{Q}_p/\mathbb{Z}_p(-1))^\vee \overset{7.3.10}{\cong} (\mathbb{Q}_p/\mathbb{Z}_p \oplus \mathbb{Z}/w_p^2 \mathbb{Z})^\vee = \mathbb{Z}_p \oplus \mathbb{Z}/w_p^2 \mathbb{Z}$$ where $\vee$ denotes the Pontryagin dual and $n=w_p^2$ is the maximal $p$-power such the the degree of $\mathbb{Q}_p(\mu_n) \mid \mathbb{Q}_p$ divides $2$. </p> <p>The same argument can be used to compute $H^1(K,\mathbb{Z}_p(i))$ for all finite extensions $K \mid \mathbb{Q}_p$ and all $i \in \mathbb{Z}$. </p>