Multivariable Lubin-Tate (\(\varphi, \Gamma\))-modules and filtered \(\varphi-\)modules (Q2448545)

This article introduces the theory of multivariable \((\varphi,\Gamma)\)-modules over certain power series rings which are denoted in the main text by \(\mathcal{R}^+(Y)\) and \(\mathcal{R}(Y)\) in the multivariable \(Y=(Y_0,Y_1,\cdots,Y_{h-1})\). Here, the number of variables \(h\) is also the \(\mathbb{Z}_p\)-rank of \(\Gamma\). More precisely, \(\Gamma=\Gamma_F\) in the main text and \(\Gamma_F=\mathcal{O}_F^\times\) is the unit group of an unramified extension \(F/\mathbb{Q}_p\) of degree \(h\). There are natural actions of \(\Gamma_F\) and the Frobenius on the rings \(\mathcal{R}^+(Y)\) and \(\mathcal{R}(Y)\), both descending from the action on univariate power series. The theory here in part generalizes a construction (in a single variable) of \textit{M. Kisin} and \textit{W. Ren} [Doc. Math., J. DMV 14, 441--461 (2009; Zbl 1246.11112)]. The main motivation behind this extension is summarized in the following paragraph (quote from [Zbl 1246.11112]): `` (\(\dots\)) it seems likely that in order to obtain a classification valid for any crystalline \(G_K\)- representation one needs to consider higher dimensional subrings of \(W(\text{Fr} R)\), constructed using the periods of all the conjugates of [the Lubin-Tate group].'' For \(F\) as above, let \(D\) denote a finite dimensional \(F\)-vector space, equipped with an \(F\)-linear Frobenius \(\varphi_q: D\rightarrow D\) (where \(q=p^h\)) and a commuting action of \(\Gamma_F\) together with an \(h\)-step \(\Gamma_F\)-stable filtration. One example of such \(D\) would be the crystalline Dieudonné module of an \(F\)-linear crystalline \(G_F\)-representation \(V\). Attached to any such \(D\), the author constructs an \(\mathcal{R}^+(Y)\)-module \(M^+(D)\). As in the text, we set \(M(D):=M^+(D)\otimes_{\mathcal{R}^+(Y)}\mathcal{R}(Y)\). The first main result of the current article asserts that \(M^+(D)\) is reflexive and coadmissible. The proof uses the already-known single variable case, together with an interpretation of \(M^+(D)\) as the global sections of a coherent sheaf on the open unit poly-disc. The second main result of the paper establishes an isomorphism between \(\widetilde{B}_{\text{rig}}^\dagger\otimes_{\mathcal{R}(Y)} M(D_{\text{cris}}(V))\) and \(\widetilde{B}_{\text{rig}}^\dagger\otimes_F V\) for an \(F\)-linear crystalline \(G_F\)-representation \(V\). Finally, the author proves that the functors \(M \mapsto D_{\text{cris}}(M)\) and \(D\mapsto M(D)\) are mutual inverses between the category of crystalline \((\varphi_q,\Gamma_F)\)-modules over \(\mathcal{R}(Y)\) and the category of \(\varphi_q\)-modules with an \(h\)-step filtration. As the author points out, the theory is still incomplete, for example in the aspects that (so far as the reviewer understands) it yet remains to be determined how to identify the \((\varphi_q,\Gamma_F)\)-modules which arise from \(G_F\)-representations and which \(G_F\)-representations give rise to overconvergent \((\varphi_q,\Gamma_F)\)-modules. Despite the very technical nature of the article, the author does a great job motivating the reader for the task at hand and the article is both enlightening and a good read.