The χ-part of the Analytic Class Number Formula, for Global Function Fields
Let F/k be a finite abelian extension of global function fields, totally split at a distinguished place ∞ of k. We show that a complex Gras conjecture holds for Stark units, and we derive a refined analytic class number formula.