Galois deformation theory for norm fields and flat deformation rings (Q533817)

Let \(K\) be a finite extension of \({\mathbb Q}_p\), \( K_\infty=K(\root {p^\infty}\of {\pi})\) for a chosen uniformizer \(\pi\in K\), \({\mathcal G}_{K_\infty}:=\text{Gal}(\overline{K}/K_\infty)\), \(\overline{\rho}_\infty:{\mathcal G}_{K_\infty}\to\text{GL}_d({\mathbb F})\) a representation, where \({\mathbb F}\) is a finite field of characteristic \(p\), \(h\geq 0\) an integer. The author proves that there is a complete local noetherian \(W({\mathbb F})\)-algebra \(R_\infty^{\square,\leq h}\) such that for any finite algebra \(A\) over \(\text{Frac}W({\mathbb F})\) there exists a natural bijection between \(\Hom_{W({\mathbb F})}(R_\infty^{\square,\leq h},A)\) and the set of \(A\)-lifts of \(\overline{\rho}_\infty\) which are of height \(\leq h\) as \(p\)-adic representations.