## Return to Question

2 added 3 characters in body

The setup for my question is as follows: $k$ is a field, $K$ a Galois extension of $k$ with group $G$, $k^\prime$ an arbitrary extension of $k$, and $K^\prime/k^\prime$ another Galois extension of fields with group $G^\prime$ (the notation, as well as the setup, is essentially verbatim from Chapter X, Section 4 of Serre's Local Fields). Given a $k$-monomorphism $f:K\rightarrow K^\prime$, we get a homomorphism $\overline{f}:G^\prime\rightarrow G$ (sending $s^\prime\in G^\prime$ to the unique $s\in G$ with $f\circ s=s^\prime\circ f$), and if we have another $k$-monomorphism $g:K\rightarrow K^\prime$, then there is some unique $s\in G$ with $f\circ s=f^\prime$ (both these facts are consequences of the normality of $K$ over $k$, which implies that every $k$-monomorphism of $K$ into $K^\prime$ has the same image), so the homomorphism $\overline{g}:G^\prime\rightarrow G$ induced by $g$ is just that induced by $f$ followed by a conjugation of $G$.

Now, if $A$ is a commutative group scheme over $k$, then such an $f$ (as above) gives a map $A(K)\rightarrow A(K^\prime)$ that is compatible (in the sense of group cohomology) with $\overline{f}:G\rightarrow G^\prime$, so we get maps $H^n(G,A(K))\rightarrow H^n(G^\prime,A(K^\prime))$. The key fact which comes from the considerations in the previous paragraph is that if we use a different $k$-monomorphism $g:K\rightarrow K^\prime$, then the induced maps on cohomology differ by the map $H^n(G,A(K))\rightarrow H^n(G,A(K))$ induced by the pair $x\mapsto sxs^{-1}$ and $p\mapsto s^{-1}p$, which is the identity.

My question regards a particular case of this situation but with (what appears to me) to be a twist. $k$ is a global field, $k^\prime=k_v$ is the completion of $k$ at some place $v$, $K=k^s$ is a separable closure of $k$, and $K^\prime=k_v^s$ is a separable closure of $k$. Any two embeddings of $k^s$ into $k_v^s$ over $k\rightarrow k_v$ differ by an element of the absolute Galois group $G_k=Gal(k^s/k)$ of $k$ (these are just two choices of places of $k^s$ extending $v$). As before, with such an embedding, I get a map $G_{k_v}=Gal(k_v^s/k_v)\rightarrow G_k$ which is (by Krasner's lemma) an injection with image the decomposition group in $G_k$ of the corresponding place. Any two such injections differ by conjugation in $G_k$. So, if I have, for instance, an abelian variety $A$ over $k$, I get canonical "localization" maps $H^n(k,A(k^s))\rightarrow H^n(k_v,A(k_v^s))$, i.e., they are independent of the embedding of $k^s$ into $k_v^s$. But now if I start with an arbitrary $G_k$-module $M$, the homomorphism $G_{k_v}\rightarrow G_{k}$ makes $M$ into a $G_{k_v}$-module and is compatible with the identity $M\rightarrow M$ (where the target is regarded as a module over the local Galois group), so I get a map on cohomology $H^n(k,M)\rightarrow H^n(k_v,M)$. My question is how can this map be independent of the embedding $k^s\rightarrow k_v^s$? It's true that any two embeddings give rise to conjugate injections of the local Galois group into the global one, but the action of the local group on $M$ is defined in terms of the map $G_{k_v}\rightarrow G_k$. There is no canonical choice of $G_{k_v}$-action on $M$ as there is in the case of a commutative $k$-group scheme. As far as I can tell, if I use a different embedding, I get a conjugate homomorphism $G_{k_v}\rightarrow G_k$, and this gives a DIFFERENT action of $G_{k_v}$ on $M$. So, strictly speaking, the map on cohomology induced by a second embedding shouldn't even have the same target as the one induced by the first. Even in dimension zero, shouldn't the Galois invariants of $G_{k_v}$ with respect to the different actions differ by an element of $G_k$ (i.e. if $a$ is fixed by $G_{k_v}$ with respect to the first action then $sa$ is fixed by $G_{k_v}$ with respect to the second action, where $s\in G_k$). I would greatly appreciate if somebody could clarify what I'm not getting right here. I know these maps have to be canonical, and everywhere this is stated it's attributed to the fact that conjugation induces the identity on cohomology, but when I've tried to apply this, it doesn't seem to work out if my Galois module isn't already endowed with an action of $G_{k_v}$.

I apologize for this post being so long. I suspect there's something simple I've overlooked that will warrant maybe a sentence or two, but I felt like I needed to try to motivate this question somewhat.

1

# How canonical are localization maps in Galois cohomology?

The setup for my question is as follows: $k$ is a field, $K$ a Galois extension of $k$ with group $G$, $k^\prime$ an arbitrary extension of $k$, and $K^\prime/k^\prime$ another Galois extension of fields with group $G^\prime$ (the notation, as well as the setup, is essentially verbatim from Chapter X, Section 4 of Serre's Local Fields). Given a $k$-monomorphism $f:K\rightarrow K^\prime$, we get a homomorphism $\overline{f}:G^\prime\rightarrow G$ (sending $s^\prime\in G^\prime$ to the unique $s\in G$ with $f\circ s=s^\prime\circ f$), and if we have another $k$-monomorphism $g:K\rightarrow K^\prime$, then there is some unique $s\in G$ with $f\circ s=f^\prime$ (both these facts are consequences of the normality of $K$ over $k$, which implies that every $k$-monomorphism of $K$ into $K^\prime$ has the same image), so the homomorphism $\overline{g}:G^\prime\rightarrow G$ induced by $g$ is just that induced by $f$ followed by a conjugation of $G$.

Now, if $A$ is a commutative group scheme over $k$, then such an $f$ (as above) gives a map $A(K)\rightarrow A(K^\prime)$ that is compatible (in the sense of group cohomology) with $\overline{f}:G\rightarrow G^\prime$, so we get maps $H^n(G,A(K))\rightarrow H^n(G^\prime,A(K^\prime))$. The key fact which comes from the considerations in the previous paragraph is that if we use a different $k$-monomorphism $g:K\rightarrow K^\prime$, then the induced maps on cohomology differ by the map $H^n(G,A(K))\rightarrow H^n(G,A(K))$ induced by the pair $x\mapsto sxs^{-1}$ and $p\mapsto s^{-1}p$, which is the identity.

My question regards a particular case of this situation but with (what appears to me) to be a twist. $k$ is a global field, $k^\prime=k_v$ is the completion of $k$ at some place $v$, $K=k^s$ is a separable closure of $k$, and $K^\prime=k_v^s$ is a separable closure of $k$. Any two embeddings of $k^s$ into $k_v^s$ over $k\rightarrow k_v$ differ by an element of the absolute Galois group $G_k=Gal(k^s/k)$ of $k$ (these are just two choices of places of $k^s$ extending $v$). As before, with such an embedding, I get a map $G_{k_v}=Gal(k_v^s/k_v)\rightarrow G_k$ which is (by Krasner's lemma) an injection with image the decomposition group in $G_k$ of the corresponding place. Any two such injections differ by conjugation in $G_k$. So, if I have, for instance, an abelian variety $A$ over $k$, I get canonical "localization" maps $H^n(k,A(k^s))\rightarrow H^n(k_v,A(k_v^s))$, i.e., they are independent of the embedding of $k^s$ into $k_v^s$. But now if I start with an arbitrary $G_k$-module $M$, the homomorphism $G_{k_v}\rightarrow G_{k}$ makes $M$ into a $G_{k_v}$-module and is compatible with the identity $M\rightarrow M$ (where the target is regarded as a module over the local Galois group), so I get a map on cohomology $H^n(k,M)\rightarrow H^n(k_v,M)$. My question is how can this map be independent of the embedding $k^s\rightarrow k_v^s$? It's true that any two embeddings give rise to conjugate injections of the local Galois group into the global one, but the action of the local group on $M$ is defined in terms of the map $G_{k_v}\rightarrow G_k$. There is no canonical choice of $G_{k_v}$-action on $M$ as there is in the case of a commutative $k$-group scheme. As far as I can tell, if I use a different embedding, I get a conjugate homomorphism $G_{k_v}\rightarrow G_k$, and this gives a DIFFERENT action of $G_{k_v}$ on $M$. So, strictly speaking, the map on cohomology induced by a second embedding shouldn't even have the same target as the one induced by the first. Even in dimension zero, shouldn't the Galois invariants of $G_{k_v}$ with respect to the different actions differ by an element of $G_k$ (i.e. if $a$ is fixed by $G_{k_v}$ with respect to the first action then $sa$ is fixed by $G_{k_v}$ with respect to the second action, where $s\in G_k$). I would greatly appreciate if somebody could clarify what I'm not getting right here. I know these maps have to be canonical, and everywhere this is stated it's attributed to the fact that conjugation induces the identity on cohomology, but when I've tried apply this, it doesn't seem to work out if my Galois module isn't already endowed with an action of $G_{k_v}$.

I apologize for this post being so long. I suspect there's something simple I've overlooked that will warrant maybe a sentence or two, but I felt like I needed to try to motivate this question somewhat.