Picard groups in \(p\)-adic Fourier theory (Q2449861)

Let \(L\) be a finite extension of \(\mathbb{Q}_p\) and \(o \subset L\) its ring of integers. Let \(\hat{o}\) be the rigid \(L\)-analytic group parametrizing the locally analytic characters of \(o\) constructed by \textit{P. Schneider} and \textit{J. Teitelbaum} [Doc. Math., J. DMV 6, 447--481 (2001; Zbl 1028.11069)]. The paper under review studies the Picard group \(\mathrm{Pic}(\hat{o}_K)\), where \(K\) is a finite extension of \(L\) and \(\hat{o}_K = \hat{o} \, \hat{\otimes}_L \, K\). The author proves that the variety \(\hat{o}_K\) admits an admissible affinoid covering \(\hat{o}_K = \cup_n \hat{o}_{K,n}\) where each \(\hat{o}_{K,n}\) is a twisted form of a closed disc with respect to a finite Galois extension depending on \(n\). He proves that the canonical homomorphism \[ \mathrm{Pic}(\hat{o}_K) \, \longrightarrow \, \varprojlim\nolimits_{r}\mathrm{Pic}(\hat{o}_{K,n}) \] is bijective. In addition, \(\mathrm{Pic}(\hat{o}_{K,n})\) is finite for all \(n \geq 1\), and \(\mathrm{Pic}(\hat{o}_K)\) is profinite. If \(L \neq \mathbb{Q}_p\), the author proves that the unit section in \(\hat{o}_K\) provides a divisor class of infinite order, thus showing that the abelian group \(\mathrm{Pic}(\hat{o}_K)\) is not finitely generated and is not a torsion group. Finally, the author relates \(\mathrm{Pic}(\hat{o}_K)\) to the Grothendieck group \(K_0(\hat{o}_K)\) and proves that rank and determinant mappings induce a canonical isomorphism of abelian groups \[ \text{rk} \oplus \det : K_0(\hat{o}_K) \, \longrightarrow \, \mathbb Z\oplus\mathrm{Pic}(\hat{o}_K). \]