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
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
ramification filtration
0 references