Thaine's method for circular units and a conjecture of Gross
Printed: Apr 1995
We formulate a conjecture analogous to Gross' refinement of the Stark
conjectures on special values of abelian L-series at $s = 0$. Some evidence for the
conjecture can be obtained, thanks to the fundamental ideas of F. Thaine.