Arithmetic topology in Ihara theory. II: Milnor invariants, dilogarithmic Heisenberg coverings and triple power residue symbols (Q1710762)

In this paper, a wide class of triple quadratic (resp., cubic) residue symbols \([p_1,p_2,p_3]\) of primes \(p_i\) (\(i=1,2,3\) in \(\mathbb{Q}\) (resp., \(\mathbb{Q}(\sqrt{-3})\)) is connected to the mod \(\ell\) Milnor invariants introduced in previous work [\textit{H. Kodani} et al., Publ. Res. Inst. Math. Sci. 53, No. 4, 629--688 (2017; Zbl 1430.11082)] as certain coefficients of Magnus series of Frobenius elements arising from Ihara theory on Galois representations in the pro-\(\ell\) fundamental groups of punctured projective lines. Dilogarithmic mod \(\ell\) Heisenberg ramified covering \(D(\ell)\) of \(\mathbb{P}^1\) plays a central role ``as a higher analog of the dilogarithmic function for the gerbe associated to the mod \(\ell\) Heisenberg group''. The monodromy transformations of certain functions on \(D(\ell)\) along the pro-\(\ell\) longitudes of Frobenius elements turn out to capture the aimed power residue symbols via Wojtkowiak's work on the \(\ell\)-adic Galois polylogarithms.