Explicit Reciprocity Laws for Formal Drinfeld Modules

In this paper, we prove explicit reciprocity laws for a class of formal Drinfeld modules having stable reduction of height one, in the spirit of those existing in characteristic zero (cf. the work of Wiles [13]). We begin by defining the Kummer pairing in the language of formal Drinfeld modules defined over local fields of positive characteristic. We then prove explicit formulas for this pairing in terms of the logarithm of the formal Drinfeld module, a certain Coleman power series, torsion points and the trace. Our results extend the explicit formulas already proved by Anglès [1] for Carlitz modules, and by Bars and Longhi [4] for sign-normalized rank one Drinfeld modules. The approach followed is similar to the ones followed in the previously mentioned papers [1, 4, 13], taking into account the subtleties derived from the fact that the formal Drinfeld modules considered are formal power series, and are no longer polynomials.