Having the same wild ramification is preserved by the direct image (Q1673762)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Having the same wild ramification is preserved by the direct image |
scientific article |
Statements
Having the same wild ramification is preserved by the direct image (English)
0 references
14 September 2018
0 references
Let \(S\) be the spectrum of an excellent strictly local henselian discrete valuation ring with residue characteristic \(p\), \(p = 0\) allowed, and \(f: X \to Y\) a morphism of separated schemes of finite type over \(S\). Let \(\Lambda,\Lambda'\) be finite fields of characteristics \(\ell,\ell' \neq p\) and \(K_c(X,\Lambda)\) the Grothendieck group of constructible sheaves of \(\Lambda\)-modules on \(X\). The main theorem is the following: Theorem. The morphism \(f_! \times f_!: K_c(X,\Lambda) \times K_c(X,\Lambda') \to K_c(Y,\Lambda) \times K_c(Y,\Lambda')\) induces a morphism \(f_! \times f_!: \Delta_c(X,\Lambda,\Lambda') \to \Delta_c(Y,\Lambda,\Lambda')\) with \(\Delta_c(X,\Lambda,\Lambda')\) the elements \((a,b) \in K_c(X,\Lambda') \to K_c(Y,\Lambda)\) with \(a,b\) the same wild ramification (Definition 2.4). As a corollary (Corollary 4.2), one obtains the compatibility of \(K_c(X,\Lambda)_0 \subset K_c(X,\Lambda)\) (wild ramification \(0\): Definition 2.7) with \(f^*, f_*, f_!\) and \(f^!\).
0 references
étale and other Grothendieck topologies and cohomologies
0 references
ramification problems
0 references