Skip to main content
5 of 5
added 5 characters in body; edited body
JSpecter
  • 516
  • 4
  • 7

Let $L/K$ be a finite abelian extension of local fields. Although, there is no generic form for the image of the norm map, $N^{L}_K$, in practice one can follow the following procedure to determine its image.

Choose a uniformizer $\pi_L$ in $\mathcal{O}_L.$ Then $L^{\times}$ is equal to the group generated by $\pi_L$ and $\mathcal{O}_L^{\times}.$ It follows that $N^{L}_K L^{\times} = \langle N^{L}_K(\pi_L) \rangle N^{L}_K \mathcal{O}_L^{\times},$ Hence to determine $N^{L}_K L^{\times}$ it is enough to establish the image of $\mathcal{O}_L^{\times}$ under the norm mapping.

The group $N^L_K \mathcal{O}_L^{\times}$ is a subgroup of $\mathcal{O}_K^{\times}$ and by a group cohomology argument it can be shown that

$[\mathcal{O}_K^{\times}:N^{L}_K\mathcal{O}_L^{\times}] = e(L|K) = [L^{\times} : K^{\times}\mathcal{O}_L^{\times}].$

In particular, if $L/K$ is unramified, $\mathcal{O}_K^{\times} =N^{L}_K\mathcal{O}_L^{\times}$ and hence $N^{L}_K L^{\times} = \langle N^{L}_K(\pi_L) \rangle \mathcal{O}_K^{\times}.$

The norm group of a tamely ramified extension is similarly easy to deduce. Write

$$\mathcal{O}_L^{\times} = \langle \zeta_{q_L - 1} \rangle U_L$$

where $q_L$ is the residue field characteristic of $L$ and $\zeta_n$ denotes a primitive n-th root of unity. Denote the residue field of $L$ by $l$ and that of $K$ by $k,$ then

$$N^L_K(\zeta_{q_L -1}) = N^l_k(\zeta_{q_L -1})^{e(L|K)} = \zeta_{q_K -1}^{e(L|K)}.$$

As $U_K$ is a pro-$p$ group and contains the image of $U_L$ under $N^L_K,$ we have in the tamely ramified case that $U_K = N^L_K(U_L)$ else $\mathcal{O}_K^{\times}/N^{L}_K\mathcal{O}_L^{\times}$ would contain an element of $p$-power order contradicting the equality

$$[\mathcal{O}_K^{\times}:N^{L}_K\mathcal{O}_L^{\times}] = e(L|K)$$

and the fact that $L/K$ was assumed tamely ramfied. It follows in the tamely ramified case that $$N^{L}_K L^{\times} = \langle N^{L}_K(\pi_L), \zeta_{q_K -1}^{e(L|K)}\rangle U_K$$

The case of wild ramification is more difficult. But two facts are helpful. First, in the case $K$ is a p-adic field $U_K^{ap^n} \supset 1 +\mathcal{M}_K^{2ne(k|\mathbb{Q}_p) + 1}$ where $a$ and $p$ are relatively prime. Hence, it is enough to determine the image of the norm mapping in the units of $\mathcal{O}_K \mod \mathcal{M}_K^{2ne(k|\mathbb{Q}_p) + 1},$ a finite set.

Another technique is to determine the higher ramification filtration of $Gal(L/K)^{ab}.$ In practice this can be done by examining the derivatives of the irreducible polynomial of $\pi_L.$ These groups map under the inverse of the artin map to the higher unit groups. As the domain of the inverse of the artin map is $K^{\times}/N^{L}_K L^{\times}$ their sizes reveal norm indexes within the higher unit groups. For a good exposition see Serre's book Local Fields.

JSpecter
  • 516
  • 4
  • 7