A proof of the refined class number formula of Gross
  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. 
Minoru Hirose
math.NT