\(B _{\text{Sen}}\) via distributions on weight space (Q452267)

Let \(p\) be an odd prime and let \({\mathcal W}\) be the \(p\)-adic weight space. \({\mathcal W}\) is a rigid space over \({\mathbb Q}_p\) whose points with values in a complete extension \(K\) of \({\mathbb Q}_p\) are given by \({\mathcal W}(K)= \mathrm{Hom}_{\mathrm{cont}}({\mathbb Z}_p^{\ast}, K^{\ast})\). Let \(\tau\) be the Teichmüller character \({\mathbb Z}_p^{\ast}\to \mu_{p-1}\subseteq {\mathbb Z}_p^{\ast}\). Any \(\psi\in {\mathcal W}(K)\) can be factored as \(\psi(x)= \tau(x)^i\psi(\langle x\rangle)\) where \(\langle x\rangle = x/\tau(x)\in 1+p{\mathbb Z}_p\), for a unique \(i\in {\mathbb Z}/(p-1){\mathbb Z}\). Then \({\mathcal W}\) is the disjoint union of \((p-1)\)-disks \({\mathcal W}^i\). The space \({\mathcal W}\) modulo the \((p-1)\)-torsion given by the powers \(\tau^i\) is canonically identified with the identity component \({\mathcal W}^0\), which has only \(p\)-power torsion. The main objective in this paper is to describe the quotient \({\mathcal W}^0/ {\mathcal W}^0_{\mathrm{tors}}\). First, the logarithm map \(\log_p\) gives a biyective map \({\mathcal W}^0({\mathbb C}_p)/{\mathcal W}^0_{\mathrm{tors}}({\mathbb C}_p)\to {\mathbb C}_p\), \(\psi\mapsto \log_p(\psi(\gamma))\), where \(\gamma\) is a generator of the pro-cyclic group \(1+p{\mathbb Z}_p\). Define the analytic function \(\vartheta =\frac{1}{\log_p(\gamma)}\log_p(1+t)\). The author shows that \(\vartheta\) defines a canonical analytic function \(\vartheta: {\mathcal W}_n^0\to {\mathbb A}^1_{p^{n-1/(p-1)}}\) for each \(n\geq 0\), where \({\mathbb A}^1_{p^{n-1/(p-1)}}\) denotes the affinoid ball of radius \(p^{n-1/(p-1)}\) with center at \(0\) in the affine line \({\mathbb A}^1\). The main result is that \(\vartheta\) identifies \({\mathbb A}^1_{p^{n-1/(p-1)}}\) with the quotient \({\mathcal W}^0_n\) by \({\mathcal W}^0_n[p^n]\) and that \({\mathcal W}^0/{\mathcal W}^0_{\mathrm{tors}}\tilde{\longrightarrow} {\mathbb A}^1\). Set \(X_n={\mathcal W}_n^0/{\mathcal W}_n^0[p^n]\) and consider a space of distributions \({\mathcal D}(X_n, K)\). Let \({\mathcal D}(X_{\infty},K)\) be the direct limit of \(\{D(X_n,K)\}_n\). It is shown that the period ring \(B_{\mathrm{HT}}\) can be embedded non-canonically into \({\mathcal D} (X_{\infty},{\mathbb C}_p)\). In the last section it is proved that certain Fourier transforms \({\mathcal F}_n\) provide an isomorphism between \(B_{\mathrm{Sen}}\) and \({\mathcal D}(X_{\infty},{\mathbb C}_p)\) where \(B_{\mathrm{Sen}}\) is the ring of power series in \({\mathbb C}_p[[T]]\) with positive radius of convergence introduced by \textit{P. Colmez} [C. R. Acad. Sci., Paris, Sér. I 318, No. 11, 983--985 (1994; Zbl 0809.11077)].