Published online by Cambridge University Press: 03 April 2014
Let  $K_1$ and
$K_1$ and  $K_2$ be complete discrete valuation fields of residue characteristic
$K_2$ be complete discrete valuation fields of residue characteristic  $p>0$. Let
$p>0$. Let  $\pi _{K_1}$ and
$\pi _{K_1}$ and  $\pi _{K_2}$ be their uniformizers. Let
$\pi _{K_2}$ be their uniformizers. Let  $L_1/K_1$ and
$L_1/K_1$ and  $L_2/K_2$ be finite extensions with compatible isomorphisms of rings
$L_2/K_2$ be finite extensions with compatible isomorphisms of rings  $\mathcal{O}_{K_1}/(\pi _{K_1}^m)\, {\simeq }\,\mathcal{O}_{K_2}/(\pi _{K_2}^m)$ and
$\mathcal{O}_{K_1}/(\pi _{K_1}^m)\, {\simeq }\,\mathcal{O}_{K_2}/(\pi _{K_2}^m)$ and  $\mathcal{O}_{L_1}/(\pi _{K_1}^m)\, {\simeq }\,\mathcal{O}_{L_2}/(\pi _{K_2}^m)$for some positive integer
$\mathcal{O}_{L_1}/(\pi _{K_1}^m)\, {\simeq }\,\mathcal{O}_{L_2}/(\pi _{K_2}^m)$for some positive integer  $m$ which is no more than the absolute ramification indices of
$m$ which is no more than the absolute ramification indices of  $K_1$ and
$K_1$ and  $K_2$. Let
$K_2$. Let  $j\leq m$ be a positive rational number. In this paper, we prove that the ramification of
$j\leq m$ be a positive rational number. In this paper, we prove that the ramification of  $L_1/K_1$ is bounded by
$L_1/K_1$ is bounded by  $j$ if and only if the ramification of
$j$ if and only if the ramification of  $L_2/K_2$ is bounded by
$L_2/K_2$ is bounded by  $j$. As an application, we prove that the categories of finite separable extensions of
$j$. As an application, we prove that the categories of finite separable extensions of  $K_1$ and
$K_1$ and  $K_2$ whose ramifications are bounded by
$K_2$ whose ramifications are bounded by  $j$ are equivalent to each other, which generalizes a theorem of Deligne to the case of imperfect residue fields. We also show the compatibility of Scholl’s theory of higher fields of norms with the ramification theory of Abbes–Saito, and the integrality of small Artin and Swan conductors of
$j$ are equivalent to each other, which generalizes a theorem of Deligne to the case of imperfect residue fields. We also show the compatibility of Scholl’s theory of higher fields of norms with the ramification theory of Abbes–Saito, and the integrality of small Artin and Swan conductors of  $p$-adic representations with finite local monodromy.
$p$-adic representations with finite local monodromy.