No label defined (Q4708901)

The generalizations of local class field theory by using Milnor \(K\)-groups originates in the works of K. Kato and A. N. Parshin: they established so-called higher-dimensional local class field theory [\textit{K. Kato}, J. Fac. Sci., Univ. Tokyo, Sect. IA 26, 303-376 (1979; Zbl 0428.12013); ibid. 27, 603-683 (1980; Zbl 0463.12006); ibid. 29, 31-43 (1982; Zbl 0503.12004); \textit{A. N. Parshin}, Math. USSR, Izv. 10 (1976), 695-729 (1977; Zbl 0366.14003) and Proc. Steklov Inst. Math. 183, 191-201 (1991; Zbl 0731.11064)]. A study of the quotient field \(K\) of \(\mathbb{F}_q [[x_1,\dots, x_n]]\) \((q=p^m)\) was successfully carried out for the cases \(n=2\) [\textit{A. N. Parshin} (1977; loc. cit.) and \textit{S. Shuji}, Adv. Stud. Pure Math. 12, 343-373 (1987; Zbl 0672.12006)] and \(n\geq 4\). In this paper, the author treats the case \(n=3\). He starts to introduce the Milnor \(K_3^M\)-idéle class group \(C_K\), and describes, under the Bloch-Milnor-Kato conjecture, a dual reciprocity isomorphism in connection with \(C_K\) and \(\text{Gal} (K^{ab}/K)\) (where \(K^{ab}\) is the maximal abelian extension of \(K\) in a fixed algebraic closure of \(K\)).