Abstract:Since the development of higher local class field theory, several explicit reciprocity laws have been constructed. In particular, there are formulas describing the higher-dimensional Hilbert symbol given, among others, by M. Kurihara, A. Zinoviev and S. Vostokov. K. Kato also has explicit formulas for the higher-dimensional Kummer pairing associated to certain (one-dimensional) $p$-divisible groups.
In this paper we construct an explicit reciprocity law describing the Kummer pairing associated to any (one-dimensional) formal group. The formulas are a generalization to higher-dimensional local fields of Kolyvagin's reciprocity laws. The formulas obtained describe the values of the pairing in terms of multidimensional $p$-adic differentiation, the logarithm of the formal group, the generalized trace and the norm on Milnor K-groups.
In the second part of this paper, we will apply the results obtained here to give explicit formulas for the generalized Hilbert symbol and the Kummer pairing associated to a Lubin-Tate formal group. The results obtained in the second paper constitute a generalization to higher local fields, of the formulas of Artin-Hasse, K. Iwasawa and A. Wiles.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the explicit description of the Kummer pairing (associated with an arbitrary formal group) in high - dimensional local fields. Specifically, the author hopes to generalize Kolyvagin's explicit reciprocity law in the low - dimensional case to higher - dimensional local fields. This involves using multi - dimensional p - adic derivatives, the logarithm of the formal group, the generalized trace and the norms on Milnor K - groups to express the values of these pairings.
### Main problem summary
1. **Generalize the explicit reciprocity law**:
- The author aims to generalize the existing explicit reciprocity laws in low - dimensional local fields (such as the formulas of Artin - Hasse, Iwasawa and Wiles) to higher - dimensional local fields.
- Specifically, the Kummer pairing is studied, which is a generalized Hilbert symbol in which the multiplicative structure is replaced by a formal group structure.
2. **Kummer pairing of formal groups**:
- Study how to describe the Kummer pairing of an arbitrary formal group using multi - dimensional p - adic derivatives, the logarithm of the formal group, the generalized trace and the norms on Milnor K - groups.
- The values of these pairings can be calculated by the above tools and can be generalized to higher - dimensional local fields.
3. **Derivation of specific formulas**:
- Derive and verify the specific formulas for describing the Kummer pairing. For example, formula (3) describes the relationship between the norm residue symbol and the multi - dimensional derivative:
\[
(\mathrm{N}_{M/L}(\alpha), x)_L^n = T_{M/S}\left(\frac{D_i^{M,m}(\alpha)}{a_1 \cdots a_d} l_F(x)\right)
\]
- where \( D_i^{M,m} \) is a \( d \)-dimensional derivative, \( l_F \) is the logarithm of the formal group, \( T_{M/S} \) is the generalized trace, and \( \mathrm{N}_{M/L} \) is the norm on Milnor K - groups.
4. **Applications and improvements**:
- The author also discusses the applications of these formulas, especially the further refinement in the case of Lubin - Tate formal groups.
- Compares the similarities and differences with other similar works, showing that under certain conditions, the results of this paper are more precise.
By solving these problems, the author not only extends the application range of the classical reciprocity law, but also provides new tools and methods for class field theory in high - dimensional local fields.