On the Shafarevich Group of Restricted Ramification Extensions of Number Fields in the Tame Case

Publication date 9 September 2019

Abstract: Let

K

be a number field and

S

a finite set of places of

K

. We study the kernels

S h a_{S}

of maps

H^{2} (G_{S}, f q_{p}) i g h t a r r o w o p l u s_{v i n S} H^{2} (G_{v}, f q_{p})

. There is a natural injection

S h a_{S} h o o k r i g h t a r r o w C y B_{S}

, into the dual

C y B_{S}

of a certain readily computable Kummer group

V_{S}

, which is always an isomorphism in the wild case. The tame case is much more mysterious. Our main result is that given a finite

X

coprime to

p

, there exists a finite set of places

S

coprime to

p

such that

S h a_{S c u p X} s t a c k r e l s i m e q h o o k r i g h t a r r o w C y B_{S c u p X} s t a c k r e l s i m e q w o h e a d l e f t a r r o w C y B_{X} h o o k l e f t a r r o w S h a_{X}

. In particular, we show that in the tame case

S h a_{Y}

can {it increase} with increasing

Y

. This is in contrast with the wild case where

S h a_{Y}

is nonincreasing in size with increasing

Y

.

This page was built for publication: On the Shafarevich Group of Restricted Ramification Extensions of Number Fields in the Tame Case