The field-of-norms functor and the Hilbert symbol for higher local fields (Q449670)

Let \(F\) be an \(N\)-dimensional local field of characteristic \(0\). Let the last residue field \(F^{(N)}\) be the finite field \(k\). Fix a local system of parameters \(\pi_1,\dots,\pi_N\) in \(F\). Let \(v_F\) be the first valuation of \(F\) such that \(v_F(F^{\ast})= {\mathbb Z}\). Then \(v_F\) can be extended uniquely to \(\bar{F}\), an algebraic closure of \(F\) and consider the ideals \({\mathfrak p}_F^c :=\{a\in\bar{F}\mid v_F(a)\geq c\}\) for \(c\geq 0\). Let \(F_{\bullet}\) be a strictly deeply ramified (SDR) fields tower with parameters \((0,c)\), where \(0<c\leq v_F(p)\). That is, \(F_{\bullet}=\{F_n\mid n\geq 0\}\) is an increasing tower of algebraic extensions of \(F_0=F\) such that for all \(n\geq 0\), the last residue field of \(F_n\) is \(k\) and there exists a system of local parameters \(\pi_1^{(n)}, \dots, \pi_N^{(n)}\) in \(F_n\) such that \(\pi_i^{(n+1)p}\equiv \pi_i^{(n)} \bmod {\mathfrak p}_F^c\), \(1\leq i\leq N\). The field of norms functor \(X\) attaches to \(F_{\bullet}\) a field \(X(F_{\bullet})={\mathcal F}\) of characteristic \(p\). The field \({\mathcal F}\) has a natural structure of \(N\)-dimensional local field of characteristic \(p\) with system of local parameters \(\bar{t}_i=\lim\limits_{\leftarrow n}\pi_i^{(n)}\), \(1\leq i\leq N\) and the last residue field \({\mathcal F}^{(N)}\) is \(k\). That is, \({\mathcal F}\) is the field of formal Laurent series \(k((\bar{t}_N)) \cdots ((\bar{t}_1))\). Let \(K_N^t({\mathcal F})\) and \(K_N^t(F)\) be the \(N\)-th topological Milnor groups of \({\mathcal F}\) and \(F\) respectively. We have \(K_N^t ({\mathcal F})\cong \lim\limits_{\leftarrow n}K_N^t(F_n)\) via the norm maps \(N_{F_{n+1}/F_n}\). Consider the natural map \({\mathcal N}_{{\mathcal F}/F}: K_N^t({\mathcal F}) \to K_N^t(F)\). Let \(\hat{F}_{\infty}\) be the completion with respect to \(v_F\) of \(F_{\infty}=\bigcup_{n\geq 0} F_n\). Under the condition \(\zeta_M\in F_{\infty}\), where \(\zeta_M\) is an \(M\)-th primitive root of unity, there exists a map \((\;,\;)_M^{F_{\bullet}} : \hat{F}^{\ast}_{\infty}\times N_{{\mathcal F}/F}(K^t_N({\mathcal F}))\to \langle \zeta_M\rangle\). Let \(\omega\in{\mathbb Z}\), \(\omega \geq 0\). A tower \(F_{\bullet}\) is \(\omega\)-admissible if \(cp^{\omega}>2v_F(p)/(p-1)\) and \(\zeta_{p^{M+\omega}} \in F_{\omega}\). The main result of the paper under review is to provide an explicit formula for the \(M\)-th Hilbert symbol for an \(\omega\)-admissible SDR tower \(F_{\bullet}\) in terms of the trace and the \(N\)-dimensional residue.