Admissible \(\varphi \)-modules and \(p\)-adic unitary representations (Q415459): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
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)\). | |||
Property / review text: 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)\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Gergely Zábrádi / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11S23 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14G20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 22D10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6031784 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(p\)-adic unitary representations | |||
Property / zbMATH Keywords: \(p\)-adic unitary representations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
admissible \(\varphi\)-modules | |||
Property / zbMATH Keywords: admissible \(\varphi\)-modules / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00209-010-0829-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1991314306 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An analogue of the field-of-norms functor and of the Grothendieck conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algèbre commutative / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ELLIPTIC MODULES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4288641 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lubin-Tate and Drinfeld bundles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representation theory and sheaves on the Bruhat-Tits building / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Banach space representations and Iwasawa theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deformation spaces of one-dimensional formal modules and their cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Galois actions on torsion points of one-dimensional formal modules / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 03:40, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Admissible \(\varphi \)-modules and \(p\)-adic unitary representations |
scientific article |
Statements
Admissible \(\varphi \)-modules and \(p\)-adic unitary representations (English)
0 references
8 May 2012
0 references
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)\).
0 references
\(p\)-adic unitary representations
0 references
admissible \(\varphi\)-modules
0 references