Purity for Hodge-Tate representations (Q636755)

Let \(K\) be a complete discrete valuation ring of characteristic \(0\), with perfect residue field \(k\) of characteristic \(p>0\). Let \({\mathcal O}_K\) denote the ring of integers of \(K\) and let \(\pi\) be a uniformizer of \({\mathcal O}_K\). Let \(A'\) be an \({\mathcal O}_K\)-algebra such that there exist integers \(d\geq0\), \(e\geq0\) and \(t_0,\ldots,t_d\in A'\) such that \(t_0\cdots t_d=\pi^e\) and the homomorphism \({\mathcal O}_K[T_0,\ldots,T_d]/(T_0\cdots T_d-\pi^e)\to A'\) defined by \(T_i\mapsto t_i\) is étale. Choose and fix such \(t_0,\ldots,t_d\in A'\). Let \(A\) be the \(p\)-adic henselization or \(p\)-adic completion of the localization of \(A'\) by a multiplicative set. Assume that \(\text{Spec}(A/\pi A)\) is connected; then \(A\) is a normal domain. Put \(I_A=\{i\in{\mathbb Z}_{\geq0}\,|\,0\leq i\leq d, t_i\notin A^{\times}\}\). Assume that \(\text{Spec}(A/\sum_{i\in J}t_iA)\) is non-empty and irreducible for every non-empty subset \(J\) of \(I_A\). Let \({\mathcal K}\) be the field of fractions of \(A\) and let \(\overline{\mathcal K}\) be an algebraic closure of \({\mathcal K}\). Put \(A_K=A\otimes_{{\mathcal O}_K}K\) and let \(\overline{A}\) denote the union of all finite normal \(A\)-algebras \(B\) contained in \(\overline{\mathcal K}\) such that \(A_K\to B\otimes_AA_K\) is étale. Put \(G_A=\text{Gal}(\text{Frac}(\overline{A})/\text{Frac}({A}))\). Then there is a notion of Hodge-Tate representation of \(G_A\) (Hyodo). For each prime ideal \({\mathfrak p}\) of \(A\) of height \(1\) containing \(p\), let \({\mathcal O}_{{\mathcal K}_{{\mathfrak p}}}\) denote the completion of the local ring \(A_{\mathfrak p}\); this is a complete discrete valuation ring. Put \({\mathcal K}_{{\mathfrak p}}=\text{Frac}({\mathcal O}_{{\mathcal K}_{{\mathfrak p}}})\). Let \(\overline{{\mathcal K}_{{\mathfrak p}}}\) be an algebraic closure of \({\mathcal K}_{{\mathfrak p}}\) and put \(G_{{\mathcal K}_{{\mathfrak p}}}=\text{Gal}(\overline{{\mathcal K}_{{\mathfrak p}}}/{\mathcal K}_{{\mathfrak p}})\). Choose and fix an extension \(\text{Frac}(\overline{A})\to\overline{{\mathcal K}_{{\mathfrak p}}}\) of the natural homomorphism \({\mathcal K}\to{\mathcal K}_{{\mathfrak p}}\); it induces a homomorphism \(G_{{\mathcal K}_{{\mathfrak p}}}\to G_A\). In this paper, a purity result for Hodge-Tate representations of \(G_A\) is proven: a \(p\)-adic representation \(V\) of \(G_A\) is Hodge-Tate if and only if the action of \(G_{{\mathcal K}_{{\mathfrak p}}}\) on \(V\) through the homomorphism \(G_{{\mathcal K}_{{\mathfrak p}}}\to G_A\) is Hodge-Tate for every prime ideal \({\mathfrak p}\) of \(A\) of height \(1\) containing \(p\). As an application it is proved that for a morphism of schemes \(f:X\to \text{Spec}(A_K)\) which is separated and of finite type, the relative \(p\)-adic étale cohomology with compact support is Hodge-Tate if it is locally constant.