Iwasawa theory of totally real fields for certain non-commutative p-extensions

In this paper, we will prove the non-commutative Iwasawa main conjecture—formulated by John Coates, Takako Fukaya, Kazuya Kato, Ramdorai Sujatha and Otmar Venjakob (2005)—for certain specific non-commutative p-adic Lie extensions of totally real fields by using theory on integral logarithms introduced by Robert Oliver and Laurence R. Taylor, theory on Hilbert modular forms introduced by Pierre Deligne and Kenneth A. Ribet, and so on. Our results give certain generalization of the recent work of Kazuya Kato on the proof of the main conjecture for Galois extensions of Heisenberg type.