Degeneration of the Hilbert pairing in formal groups over local fields

Abstract

For an arbitrary local field K (a finite extension of the field Qp) and an arbitrary formal group law F over K, we consider an analog cF of the classical Hilbert pairing. A theorem by S. V. Vostokov and I. B. Fesenko says that if the pairing cF has a certain fundamental symbol property for all Lubin—Tate formal groups, then cF = 0. We generalize the theorem of Vostokov—Fesenko to a wider class of formal groups. Our first result concerns formal groups that are defined over the ring OK of integers of K and have a fixed ring O0 of endomorphisms, where O0 is a subring of OK. We prove that if the symbol cF has the above-mentioned symbol property, then cF = 0. Our second result strengthens the first one in the case of Honda formal groups. The paper consists of three sections. After a short introduction in Sec. 1, we recall basic definitions and facts concerning formal group laws in Sec. 2. In Sec. 3, we state and prove two main results of the paper (Theorems 1 and 2). Refs 8.