Partial zeta values, Gross's tower of fields conjecture, and Gross-Stark units

摘要

We prove a conjecture of Gross regarding the "order of vanishing" of Stickelberger elements relative to an abelian tower of fields and give a cohomological construction of the conjectural Gross-Stark units. This is achieved by introducing an integral version of the Eisenstein cocycle.