A Short Course on Galois Cohomology - William Stein - University of ...
A Short Course on Galois Cohomology - William Stein - University of ...
A Short Course on Galois Cohomology - William Stein - University of ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
But in fact it induces multiplicati<strong>on</strong> by −1 <strong>on</strong> A:<br />
s = t −1 st<br />
<br />
s<br />
<br />
G <br />
G<br />
A<br />
<br />
A<br />
a <br />
t−1a = −a<br />
Thus it induces the map H q (G, A) −1<br />
−→ H q (G, A), and we c<strong>on</strong>clude that, <strong>on</strong><br />
the k-vector space H q (G, A), we have −1 = 1 and so H q (G, A) = 0 for all<br />
q ≥ 0.<br />
Remark 26. In the pro<strong>of</strong> we can replace G by any subgroup <strong>of</strong> GLn(k)<br />
that c<strong>on</strong>tains a n<strong>on</strong>-identity scalar t.<br />
Example 27. Let E/k be an ellipctic curve and suppose that ¯ρE,p : Gk ↠<br />
Aut(E[p]) is surjective. Then<br />
for all q ≥ 0.<br />
H q (Gal(k(E[p])/k), E[p]) = 0<br />
9 The restricti<strong>on</strong>-inflati<strong>on</strong> sequence<br />
Propositi<strong>on</strong> 28. Let H ⊳ G be a normal subgroup and A ∈ ModG. Then<br />
we have an exact sequence<br />
0 → H 1 (G/H, A H ) inf<br />
−→ H 1 (G, A) res<br />
−→ H 1 (H, A)<br />
Pro<strong>of</strong>. We check this directly <strong>on</strong> 1-cocycles, following Atiyah–Wall. We begin<br />
with exactness at H1 (G/H, AH ), that is, the injectivity <strong>of</strong> inf. C<strong>on</strong>sider<br />
H1 (G/H, AH ) inf<br />
−→ H1 (G, A), [f] ↦→ [ ¯ f] where<br />
G <br />
<br />
<br />
<br />
G/H f<br />
¯f<br />
14<br />
<br />
A<br />
<br />
<br />
AH