Effect of increasing the ramification on pseudo-deformation rings (Q2155601)

``\textit{N. Boston} [Duke Math. J. 66, No. 3, 357--367 (1992; Zbl 0768.11043)] studied the effect of enlarging the set of primes that can ramify on the structure of the universal deformation ring of an odd, absolutely irreducible representation of \(\text{Gal}(\overline{\mathbb Q}/\mathbb Q)\) over a finite field which is attached to a modular eigenform of weight \(2\). His results were generalized by \textit{G. Böckle} [Math. Nachr. 206, 85--110 (1999; Zbl 0958.11042)] to any continuous \(2\)-dimensional representation of \(\text{Gal}(\overline{\mathbb Q}/\mathbb Q)\) over a finite field such that the centralizer of its image is exactly scalars. The aim of this paper is to study the same problem for pseudo-deformation rings i.e. universal deformation rings of pseudo-representations.'' ``Given a continuous, odd, semi-simple \(2\)-dimensional representation of \(G_{\mathbb Q,Np}\) over a finite field of odd characteristic \(p\) and a prime \(l\) not dividing \(Np\), we study the relation between the universal deformation rings of the corresponding pseudo-representations for the groups \(G_{\mathbb Q,Nlp}\) and \(G_{\mathbb Q,Np}\). As a related problem, we investigate when the universal pseudo-representation arises from an actual representation over the universal deformation ring. Under some hypotheses, we prove analogues of theorems of Boston and Böckle for the reduced pseudo-deformation rings. We improve these results when the pseudo-representation is unobstructed and \(p\) does not divide \(l^2-1\). When the pseudo-representation is unobstructed and \(p\) divides \(l+1\), we prove that the universal deformation rings in characteristic \(0\) and \(p\) of the pseudorepresentation for \(G_{\mathbb Q,Nlp}\) are not local complete intersection rings. As an application of our main results, we prove a big \(R = T\) theorem.''