Hida duality and the Iwasawa main conjecture (Q2324867)

Based on authors' abstract: The central result of this paper is a refinement of Hida's duality theorem between ordinary \(\Lambda\)-adic modular forms and the universal ordinary Hecke algebra. In particular, the author gives a sufficient condition for this duality to be integral with respect to particular submodules of the space of ordinary \(\Lambda\)-adic modular forms. This refinement allows us to give a simple proof that the universal ordinary cuspidal Hecke algebra modulo Eisenstein ideal is isomorphic to the Iwasawa algebra modulo an ideal related to the Kubota-Leopoldt \(p\)-adic \(L\)-function. The motivation behind these results stems from a proof of the Iwasawa main conjecture over \(\mathbb{Q}\) by \textit{M. Ohta} [Ann. Sci. Éc. Norm. Supér. (4) 36, No. 2, 225--269 (2003; Zbl 1047.11046)]. Ohta's argument in [loc. cit.] employs results on congruence modules that require a Euler's totient function condition and a non-exceptional hypotheses. While simple and elegant, Ohta's proof requires some restrictive hypotheses which we could be removed using the author's results. The results in this paper were obtained in an effort to extend Ohta's proof in [loc. cit.] by circumventing the obstructions arising from his congruence module argument.