1: \begin{abstract}

2: Let $\K$ be a number field and $S$ a  finite set of places of $\K$.

3: We study the kernels $\Sha_S$ of maps $H^2(\G_S,\fq_p) \rightarrow \oplus_{v\in S} H^2(\G_v,\fq_p)$. 

4: There is a natural injection $\Sha_S \hookrightarrow \CyB_S$, 

5: into  the dual $\CyB_S$ of a certain readily computable Kummer group $\V_S$, %a certain readily computable Kummer group $\CyB_S$,

6:  which is always an isomorphism in the wild case. 

7: The tame case is much more mysterious. Our main result is that given a finite  $X$ coprime to $p$, there

8: exists a finite set of places $S$ coprime to $p$ such that

9: $\Sha_{S\cup X} \stackrel{\simeq}{\hookrightarrow} \CyB_{S\cup X} \stackrel{\simeq}{\twoheadleftarrow}

10:  \CyB_X \hookleftarrow \Sha_X  $. In particular, we show that in the tame case $ \Sha_Y$ can {\it increase} with increasing $Y$.

11:  This is in  contrast with the wild case where $\Sha_Y$ is nonincreasing in size with increasing $Y$.

12: \end{abstract}

13: