On Greenberg's conjecture on a certain real quadratic field (Q5928550)

Let \(p\) be a prime number and let \(F_{\infty} = \cup_{n \geq 0} F_n\) be the cyclotomic \(\mathbb Z _p\)-extension of a totally real number field \(F\). A conjecture of \textit{R. Greenberg}'s [Am. J. Math. 98, 263-284 (1976; Zbl 0334.12013)] predicts that the power of \(p\) dividing the class number of \(F_n\) is bounded independently of \(n\). Here, using a criterion of \textit{H. Ichimura} and \textit{H. Sumida} [Tôhoku Math. J. (2) 49, No. 2, 203-215 (1997; Zbl 0886.11060)], the author shows that this conjecture holds in the case of \(p = 3\) and the quadratic number field \(\mathbb{Q}(\sqrt{39345017})\), which has an infinite \(3\)-class field tower.