Explicit reciprocity laws for higher local fields

Abstract

Using the previously constructed explicit reciprocity laws for the generalized Kummer pairing of an arbitrary (one-dimensional) formal group, in this article a special consideration is given to Lubin-Tate formal groups. In particular, this allows for a completely explicit description of the Kummer pairing in terms of multidimensional p-adic differentiation. The results obtained here constitute a generalization, to higher local fields, of the formulas of Artin-Hasse, Iwasawa, Kolyvagin and Wiles.