A finiteness result for the compactly supported cohomology of rigid analytic varieties. II. (Q2372821)

Let \(h:X\to Y\) be a separated morphism of adic spaces of finite type over a non-archimedean field \(k\). Suppose that \(Y\) is affinoid and \(\dim(Y)\leq1\). Let \(L\) be a locally closed constructible subset of \(X\) and let \(g:(X,L)\to Y\) be the morphism of pseudo-adic spaces induced by \(h\). Let \(A\) be a noetherian torsion ring with torsion prime to \(\text{char}(k^0/k^{00})\) and let \(F\) be a constant \(A\)-module of finite type on \((X,L)_{\text{ét}}\). In this paper it is shown that, for every \(n\in{\mathbb N}_0\), the higher direct image sheaf with proper support \(R^ng_!F\) is generically constructible, i.e. there exists an open subset \(U\) of \(Y\) such that the restriction \(R^ng_!F|_U\) is constructible and every \(x\in Y\) whose support \(\text{supp}(x)=\{c\in{\mathcal O}_Y(Y); c(x)=0\}\in\text{Spec}({\mathcal O}_Y(Y))\) is a generic point of \(\text{Spec}({\mathcal O}_Y(Y))\) is contained in \(U\). The main ingredient of the proof is a result on algebraization of finite morphisms of adic spaces. There is a natural class \({\mathcal C}(Y)\) of \(A\)-modules on \(Y_{\text{ét}}\) generated by the constructible \(A\)-modules as defined in [\textit{R. Huber}, Étale cohomology of rigid analytic varieties and adic spaces. Aspects of Mathematics. E30. (Wiesbaden): Vieweg. (1996; Zbl 0868.14010)] and the Zariski-constructible \(A\)-modules. If \(h\) is locally algebraic, it can be deduced from the previous result that \(R^ng_!F\) is an element of \({\mathcal C}(Y)\). Note that for \(\text{char}(k)=0\) and finite \(A\) this was already shown by \textit{R. Huber} [J. Algebr. Geom. 7, 313--357 (1998; Zbl 1040.14008)]. As an application, if \(k\) is algebraically closed, \(X\) a separated scheme of finite type over \(k\) and \((F_n)_{n\in{\mathbb N}}\) a constructible \(R_{\bullet}\)-module on \(X_{\text{ét}}\), for a cdvr \(R\) with \(0<\text{char}(R/{\mathfrak{m}}_R)\neq\text{char}(k^0/k^{00})\), one obtains a comparison isomorphism for the \(\ell\)-adic cohomology of \(X\) and its associated adic space \(X^{ad}\): \[ H_c^q(X,(F_n)_{n\in {\mathbb N}})\cong H_c^q(X^{\text{ad}},(F^{\text{ad}}_n)_{n\in {\mathbb N}}). \] For \(\text{char}(k)=0\) this comparison isomorphism was already proved by \textit{R. Huber} [Compos. Math. 112, 217--235 (1998; Zbl 0930.14010)].