Integral representations associated with p-adic field extensions (Q909713)

Let K be a p-adic number field having an algebraically closed residue field, which is an assumption for convenience in order to restrict attention to totally ramified extensions, and let \(K_{\infty}\) be a \({\mathbb{Z}}_ p\)-extension of K. The author considers the semilinear representation of \(Gal(K_{\infty}/K)\) given by its action on the additive group of the ring of integers of \(E\otimes_ K K\) for any extension E/K, and shows necessary and sufficient conditions that finite Galois p-extensions of K be isomorphic. Let F be a p-adic number field with the p-adic norm \(| |\). Let G be a finite p-group of order \(p^ n\) and let V be an F-vector space of dimension \(p^ n\), a regular representation space for G. Assume that V is non-Archimedean normed over F, with the norm stable under the action of G. We put \(M=\{x\in V:\) \(| x| \leq 1\}\) and \(Tr_ G=\sum_{\sigma \in G}\sigma\). Then he proves that if \(| Tr_ G(\theta)| =k>p^{-p^{-n}}\) for some \(\theta\in M\), then \(a^{- 1}{\mathfrak O}_ F[G]\theta \supset M\supset {\mathfrak O}_ F[G]\theta\), where \(a\in F\) is any element such that \(| a| \leq k^{p^ n}\) (here \({\mathfrak O}_ F\) is the ring of integers of F and \({\mathfrak O}_ F[G]\) is the group ring of G over \({\mathfrak O}_ F)\). When M is a G-stable ``lattice'', i.e., a \(p^ n\)-dimensional free \({\mathfrak O}_ F\)-submodule of V on which G acts, we define \(Ord_ M x=\max \{t\in {\mathbb{Z}}:\) \(\pi^{-t}x\in V\}\) where \(x\in V\) and \(\pi\) is the prime element of F, and put \(| x|_ M=| \pi |^{Ord_ M x}\). Then his result can be applied to \(M=\{x\in V:\) \(| x|_ M\leq 1\}.\) Secondly, he considers the semilinear Galois representations. Let F/K be a totally ramified Galois extension of degree a power of p with \(Gal(F/K)=H\). Let M be a semilinear representation of H, i.e., a free \({\mathfrak O}_ F\)-module of finite rank on which H acts semilinearly. We denote by \(M^ H\) an \({\mathfrak O}_ K\)-submodule of M consisting of elements fixed by H. He defines a reduced basis \(\{x_ i\}\) of \(M^ H\) such that \(\{x_ i\}\) is an \({\mathfrak O}_ K\)-basis of \(M^ H\) satisfying the condition \(Ord_ M\{c_ 1x_ 1+...+c_ dx_ d:\) \(c_ i\in K\}=Min_{c_ i}\{Ord_ M c_ ix_ i\}\) where \(d=rank_{{\mathfrak O}_ F} M\), and then shows that there exists a reduced basis of \(M^ H.\) Finally we put \(\Gamma =Gal(K_{\infty}/K)\) and let \(K_ m\) be the fixed field of \(\Gamma_ m=\Gamma^{p^ m}\) so that \(Gal(K_ m/K)\cong \Gamma /\Gamma_ m\). Let \({\mathfrak O}_ m\) be the ring of integers of \(K_ m\). For any Galois extension E/K we put \(E_ m=EK_ m\) and \(E_{\otimes_ m}=E\otimes_ K K_ m\). Then he proves that (i) two finite Galois p-extensions E/K and \(E'/K\) are isomorphic if and only if for a sufficiently large m the \({\mathfrak O}_ m\)-semilinear representations of \(\Gamma /\Gamma_ m\) on the additive groups \({\mathfrak O}(E_{\otimes_ m})\) and \({\mathfrak O}(E'_{\otimes_ m})\) are isomorphic; (ii) two finite Galois p-extensions \(E_{\infty}/K_{\infty}\) and \(E'_{\infty}/K_{\infty}\) are isomorphic if and only if \({\mathfrak O}(E_{\infty})\) and \({\mathfrak O}(E'_{\infty})\) are isomorphic as \({\mathfrak O}_{\infty}\)-modules.