The universal ordinary deformation ring associated to a real quadratic field (Q2120913): Difference between revisions

The author studies ring structure of the big ordinary Hecke algebra \(\mathbb{T}\) with the modular deformation \(\rho_{\mathbb T}:\mathrm{Gal}({\overline{\mathbb Q} }/ \mathbb{Q})\rightarrow\mathrm{GL}_2(\mathbb{T})\) of an induced Artin representation \(\mathrm{Ind}^{\mathbb Q}_F \varphi\) from a real quadratic field \(F\) with a fundamental unit \(\varepsilon\), varying a prime \(p\geq 3\) split in \(F\). Under mild assumptions \((\mathrm{H0})-(\mathrm{H3})\) on the prime \(p\) (we do not mention these assumptions due to technical terminology reason) the author proves that \(\mathbb{T}\) is an integral domain free of even rank \(e>0\) over \(\Lambda\) for the weight Iwasawa algebra \(\Lambda\) étale outside \(\mathrm{ Spec} (\Lambda / p(\langle \varepsilon \rangle -1))\) for \(\langle \varepsilon \rangle : =(1+{\mathbb T})^{\log} _p (\varepsilon)/ \log_p (1+p) \in {\mathbb Z}_p[[T]] \subseteq \Lambda\). If \(p\nmid e\), \(\mathbb{T}\) is shown to be a normal noetherian domain of dimension \(2\) with ramification locus exactly given by \((\langle \varepsilon \rangle -1)\). Moreover, only under \(p\)-distinguishedness \((\mathrm{ H0})\), he observes that any modular specialization of weight \(\geq 2\) of \(\rho_{\mathbb T}\) is indecomposable over the inertia group at \(p\) which solving a conjecture of Greenberg without exception).