Admissible \(\varphi \)-modules and \(p\)-adic unitary representations (Q415459): Difference between revisions

The starting point of this paper is the observation that Fontaine's theory of \(\varphi\)-modules can be formally extended to understand Galois representations of fields \(E\) of characteristic \(p\) on not necessarily finitely generated, but \(p\)-adically separated and complete \(\mathbb{Z}_p\)-modules. The target of the equivalence of categories in this generality is the category \(\Phi^{\text{adm}}_{\mathfrak{o}_{\mathcal{E}}}\) of \textit{admissible} \(\varphi\)-modules over \(\mathfrak{o}_{\mathcal{E}}=\mathfrak{o}_{\tilde{\mathcal{E}}}^{\mathrm{Gal}(E^{\text{sep}}/E)}\) where \(\mathfrak{o}_{\tilde{\mathcal{E}}}\) is a Cohen-ring of \(E^{\text{sep}}\). On the other hand, let \(K\) be a local field with ring of integers \(\mathfrak{o}\) of residual characteristic \(p\) and \(h\geq 1\) an integer. Several compact subgroups of \(\mathrm{GL}_h(K)\) appear as the Galois-group of suitable field extensions. For instance, let \(P\) be the the subgroup of \(\mathrm{GL}_h(K)\) consisting of matrices \(g=(g_{ij})_{i,j}\) such that \(\det(g)\in\mathfrak{o}^\times\) and \(g_{i1}=0\) for \(2\leq i\leq h\) and put \(P_0=P\cap \mathrm{GL}_h(\mathfrak{o})\). \(P_0\) is isomorphic to \(\mathrm{Gal}(L_\infty/L_0)\) where \(L_0\) is a complete discretely valued field of the same characteristic as \(K\). This is seen by considering a certain fibre of the Lubin-Tate moduli tower. So one may apply the above observation to continuous representations of \(P_0\) on \(p\)-adically separated and complete \(\mathbb{Z}_p\)-modules if \(\mathrm{char}(K)=p\). Inverting \(p\) on both sides one may attach admissible \(\varphi\)-modules over \(\mathcal{E}=\mathfrak{o}_{\mathcal{E}}[p^{-1}]\) to unitary Banach space representations of \(P_0\) over \(\mathbb{Q}_p\). However, if \(\mathrm{char}(K)=0\) then difficulties arise, as one has to invoke a generalization of the field of norms functor in order to pass to characteristic \(p\). Here the problem is that the residue field of \(L_0\) is not perfect unless \(h=1\). So the author needs to use \textit{A. J. Scholl}'s [Doc. Math., J. DMV Extra Vol., 685--709 (2006; Zbl 1186.11070)] generalized fields of norms. In the paper, other compact open subgroups of \(\mathrm{GL}_h(K)\) are also considered. Moreover, one may extend the action of \(P_0\) on \(L_{\infty}\) to an action of \(P\). This allows the author to relate continuous representations of \(P\) and of its quotient group \(\mathrm{GL}_{h-1}(K)\) on \(p\)-adically separated and complete \(\mathbb{Z}_p\)-modules to a certain category of locally trivial cohomological coefficient systems of admissible \(\varphi\)-modules on the Bruhat-Tits building of \(\mathrm{GL}_{h-1}(K)\).