A proof of the refined class number formula of Gross
arXiv:1608.04718 · doi:10.2140/tunis.2023.5.73
Abstract
In 1988, Gross proposed a conjectural congruence between Stickelberger elements and algebraic regulators, which is often referred to as the refined class number formula. In this paper, we prove this congruence.
arXiv comment38 pages