10.08.2013 Views

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 ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!