A ring of periods for Sen modules in the imperfect residue field case (Q984671)

In [Math. Ann. 327, No. 4, 793--813 (2003; Zbl 1072.11089)] \textit{O. Brinon} generalized Sen's theory. For a topological field \(B\) with a continuous action of a topological group \(G\), let \(\roman{Rep}_ B G\) be the category of finite dimensional \(B\)-vector spaces with continuous, semi-linear \(G\)-action. Let \(K\) be a field of characteristic \(0\) complete under a discrete valuation and residue field \(k\) of characteristic \(p>0\). Let \([k:k^ p]=p^ h\). Let \(K_ \infty= K(\mu_\infty, t_ 1^{p^{-\infty}}, \ldots, t_ h^{p^{-\infty}})\) where \(\{t_1,\ldots,t_ h\}\subseteq K\) is a \(p\)--basis of \(k\). Finally, let \({\mathbb C} _ p=\hat{\bar{K}}\), \(G_ K=\roman{Gal}(\bar{K}/K)\). In [C. R. Acad. Sci., Paris, Sér. I 318, No. 11, 983--985 (1994; Zbl 0809.11077)] \textit{P. Colmez} defined a ring of periods \({\mathbb B}_{\text{Sen}}\) and reconsidered the functor \({\mathbb D}_{\text{Sen}}\), where \({\mathbb D}_{\text{Sen}}(V)\) is the differential representation of a vector space \(V\in \roman{Rep}_{{\mathbb C}_ p} G_ K\), by using \({\mathbb B}_{\text{Sen}}\) in the case \(h=0\). The main purpose of this note is to extend these results to the case \(h>0\). The principal result is that there exists a functorial isomorphism \({\mathbb D}_{\text{Sen}}(V) \to \big({\mathbb B}_{\text{Sen}}\otimes_ {{\mathbb C}_ p} V\big)^{G_{K_{\infty}}}\) of finite dimensional \({\mathfrak g}_ {K_{\infty}}\)--representations, where \(G_ {K_{\infty}}=\roman{Gal}(\bar{K}/K_ \infty), {\mathfrak g}_{K_{\infty}}= K_{\infty}\otimes_{{\mathbb Q}_ p} {\mathfrak g}\), and \({\mathfrak g}= {\mathbb Q}_ p \ltimes {\mathbb Q}_ p^ h\) is the \((h+1)\)--dimensional \(p\)--adic Lie algebra, where \({\mathbb Q}_ p\) acts on \({\mathbb Q}_ p ^ h\) by scalar multiplication.