Let $F$ be a unramified finite extension of $\mathbb{Q}_{p}$ and $\overline{\unicode[STIX]{x1D70C}}$ be an irreducible mod $p$ two-dimensional representation of the absolute Galois group of $F$. The aim of this article is the explicit computation of the Kisin variety parameterizing the Breuil–Kisin modules associated to certain families of potentially Barsotti–Tate deformations of $\overline{\unicode[STIX]{x1D70C}}$. We prove that this variety is a finite union of products of $\mathbb{P}^{1}$. Moreover, it appears as an explicit closed connected subvariety of $(\mathbb{P}^{1})^{[F:\mathbb{Q}_{p}]}$. We define a stratification of the Kisin variety by locally closed subschemes and explain how the Kisin variety equipped with its stratification may help in determining the ring of Barsotti–Tate deformations of $\overline{\unicode[STIX]{x1D70C}}$.

We study extensions $L/K$ of complete discrete valuation fields $K$ with residue field $\bar{K}$ of characteristic $p\,>\,0$, which we do not assume to be perfect. Our work concerns ramification theory for such extensions, in particular we show that all classical properties which are true under the hypothesis “the residue field extension$\bar{L}/\bar{K}$is separable” are still valid under the more general hypothesis that the valuation ring extension is monogenic. We also show that conversely, if classical ramification properties hold true for an extension $L/K$, then the extension of valuation rings is monogenic. These are the “well ramified” extensions. We show that there are only three possible types of well ramified extensions and we give examples. In the last part of the paper we consider, for the three types, Kato’s generalization of the conductor, which we show how to bound in certain cases.