The Hilbert symbol in higher-dimensional local fields for formal Lubin-Tate groups. II (Q2258044)

Let \(K\) be an \(n\)-dimensional local field of characteristic 0, i.e., a sequence of complete discrete valuation fields \(K=K_n,K_{n-1},\dots,K_0\), in which \(K_i\) is the residue field of \(K_{i+1}\), and \(K_0\) is a finite field of characteristic \(p>2\). Denote by \(\mathcal{O}_K\) the ring of integers of \(K\). Let \(F \in \mathcal{O}_K[[X,Y]]\) be a formal Lubin-Tate group over \(\mathcal{O}_K\) and \(L\) a finite extension of \(K\), which contains the group \(W_F^N:=\mathrm{Ker}[t^N]\) of the roots of the isogeny \([t^N]\). Under the hypothesis \(K_1\) is of positive characteristic \(p\), the author gives the explicit formula of the Hilbert symbol \((\cdot,\cdot):K_n^{\mathrm{top}}(L) \times F(\mathfrak{M}_L) \to W_F^N\), where \(K_n^{\mathrm{top}}(L)\) is the Milnor topological group of \(L\), \(\mathfrak{M}_L\) is the maximal ideal of the integer ring of \(L\) and \(F(\mathfrak{M}_L)\) is the corresponding formal \(\mathcal{O}_K\)-module. An explicit formula is derived by showing that the pairing \((\cdot,\cdot)\) coincides with the pairing \(\langle\cdot,\cdot \rangle\) on the module of Cartier curves of the multiplicative group of \(L\) for \(F\). The proof uses the Shafarevich basis. This paper is a continuation of [the author et al., J. Math. Sci., New York 192, No. 2, 137--153 (2013); translation from Zap. Nauchn. Sem. POMI 400, 20--49 (2012; Zbl 1302.11093)]. The previous paper gives the explicit formula under the hypothesis \(K_1\) is of characteristic 0.