Having the same wild ramification is preserved by the direct image (Q1673762)

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^!\).