On the ramification of étale cohomology groups (Q1741456)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the ramification of étale cohomology groups
scientific article

    Statements

    On the ramification of étale cohomology groups (English)
    0 references
    0 references
    3 May 2019
    0 references
    In this paper, the author proves a case of a conjecture on the action of the Abbes-Saito logarithmic ramification filtration on the cohomology of an étale sheaf ([\textit{A. Abbes} and \textit{T. Saito}, Am. J. Math. 124, No. 5, 879--920 (2002; Zbl 1084.11064)]). \par Let $K$ be a complete discrete valuation field with perfect residual field. Let $X$ be a connected proper scheme over $\mathcal{O}_K$ and let $D$ be a simple normal crossing divisor on $X$ with $D_1,\dots,D_n$ the irreducible components and $U=X-D$, such that the pair $(X,U)$ is strictly semi-stable (i.e. semi-stable locally for the Zariski topology, see Definition 2.4) over $\mathcal{O}_K$. Let $M_i$ be the field of fractions of the henselization of the local ring of $X$ at the generic point of $D_i$ and let $\eta_i=\mathrm{Spec}(M_i)$. Let $G_{M_i}$ and $G_K$ be the absolute Galois group of $M_i$ and $K$, which are endowed with the Abbes-Saito logarithmic filtration $(G^t_{M_i,\log})$ and $(G^t_{K,\log})$ for $t\in\mathbb{Q}_{\geq0}$. For a non-negative real number $s$, let $G^{s+}_{M_i,\log}$ be the closure of the union of those $(G^t_{M_i,\log})$ for $t>s$, and in the same way we define $G^{s+}_{K,\log}$. Let $\mathcal{G}$ be a smooth $\overline{\mathbb{Q}_\ell}$-sheaf on $U$ which is at most tamely ramified on the generic fiber $X_K$. Then it is conjectured (Conjecture 1.1) that if $(G^{s+}_{M_i,\log})$ acts trivially on $\mathcal{G}_{\overline{\eta_i}}$ for every $i$, then $(G^{s+}_{K,\log})$ acts trivially on $H^j_c(U_{\overline{K}},\mathcal{G})$ for all $j$. \par The main result is Theorem 5.1, where the Conjecture 1.1 is proven under the assumptions that $K$ has equal positive characteristic, the relative dimension is $1$ and $\mathcal{G}$ has rank $1$. The proof uses the Kato-Saito conductor formula in [\textit{K. Kato} and \textit{T. Saito}, Publ. Math., Inst. Hautes Étud. Sci. 117, 1--178 (2013; Zbl 1290.14011)].
    0 references
    0 references
    ramification filtration
    0 references

    Identifiers