Ordinary deformations are unobstructed in the cyclotomic limit (Q6090239)

``The deformation theory of ordinary representations of the absolute Galois groups of totally real number fields (over a finite field \(k\)) has been studied for a long time, starting with the work of Hida, Mazur and Tilouine, and continued by Wiles and others. Hida has studied the behaviour of these deformations when one considers the p-cyclotomic tower of extensions of the field. In the limit, one obtains a deformation ring \(R_{\infty}\) classifying the ordinary deformations of the (Galois group of) the \(p\)-cyclotomic extension.'' The authors show, that if \(R_{\infty}\) is Noetherian and certain adjoint \(\mu\)-invariants vanish (as is often expected), then \(R_{\infty}\) is free over the ring of Witt vectors of \(k\) (Theorem 1.6). It is expected that the \(\mu\)-invariant typically vanishes if the underlying Galois representation is residually irreducible (see [\textit{R. Sujatha}, ``WIN-Women in numbers'', Fields Inst. Commun. 60, 265--276 (2011)]). ``One may ask if the main result can be proved for \({}^{L}G\)-valued deformations of a \({}^{L}G\)-valued mod \(p\) Galois representation with \(G\) a reductive group. To follow the current approach, it seems essential to impose adequacy for the image of the mod \(p\) Galois representation and suppose the vanishing of certain adjoint \(\mu\)-invariants.''