On families of pure slope \(L\)-functions (Q1812329)

Summary: Let \(R\) be the ring of integers in a finite extension \(K\) of \(\mathbb Q_p\), let \(k\) be its residue field and let \(\chi:\pi_1(X)\to R^{\times}=\text{GL}_{1}(R)\) be a ``geometric'' rank one representation of the arithmetic fundamental group of a smooth affine \(k\)-scheme \(X\). We show that the locally \(K\)-analytic characters \(\kappa:R^{\times}\to\mathbb C_p^{\times}\) are the \(\mathbb C_p\)-valued points of a \(K\)-rigid space \({\mathcal W}\) and that \[ L(\kappa\circ\chi,T)=\prod_{\overline{x}\in X}\frac{1}{1-(\kappa \circ\chi)(\text{Frob}_{\overline{x}})T^{\deg(\overline{x})}}, \] viewed as a two variable function in \(T\) and \(\kappa\), is meromorphic on \(\mathbb A_{\mathbb C_p}^1\times{\mathcal W}\). On the way we prove, based on a construction of \textit{D. Wan} [Ann. Math. (2) 150, No. 3, 867--927 (1999; Zbl 1013.11031); J. Am. Math. Soc. 13, No.4, 853--908 (2000; Zbl 1086.11031); ibid. 13, 853--908 (2000; Zbl 1086.11030)], a slope decomposition for ordinary overconvergent (finite rank) \(\sigma\)-modules, in the Grothendieck group of nuclear \(\sigma\)-modules.