Class numbers of cyclic 2-extensions and Gross conjecture over ℚ

Yi Ouyang,Hang Xue
DOI: https://doi.org/10.1007/s11425-010-4070-z
2010-01-01
Science China Mathematics
Abstract:The Gross conjecture over ℚ was first claimed by Aoki in 1991. However, the original proof contains too many mistakes and false claims to be considered as a serious proof. This paper is an attempt to find a sound proof of the Gross conjecture under the outline of Aoki. We reduce the conjecture to an elementary conjecture concerning the class numbers of cyclic 2-extensions of ℚ.
What problem does this paper attempt to address?