Coleman integration using the Tannakian formalism Academic Article uri icon


  • We use a new idea to construct a theory of iterated Coleman functions on overconvergent spaces with good reduction in any dimension. A Coleman function in this theory consists of a unipotent differential equation, a functional on the underlying bundle and a solution to the equation on a residue class. The new idea is to use the theory of Tannakian categories and the action of Frobenius to analytically continue solutions of the differential equation to all residue classes.

publication date

  • January 1, 2002