On arithmetic monodromy representations of Eisenstein type in fundamental groups of once punctured elliptic curves (Q374582)

\textit{P. Deligne} [Publ., Math. Sci. Res. Inst. 16, 79--297 (1989; Zbl 0742.14022)] and \textit{Y. Ihara} [Ann. Math. (2) 123, 43--106 (1986; Zbl 0595.12003)] initiated the study of representations of the absolute Galois group \(G_{\mathbb{Q}}\) to \(\mathrm{Out}(\pi_1( \mathbb{P}^1_{\bar{\mathbb{Q}}}-\{0,1,\infty\},\vec{\mathfrak{m}} ) \big)\) coming from the short exact sequence \[ 1 \rightarrow \pi_1( \mathbb{P}^1_{\bar{\mathbb{Q}}}-\{0,1,\infty\},\vec{\mathfrak{m}} ) \big) \rightarrow \pi_1( \mathbb{P}^1_{{\mathbb{Q}}}-\{0,1,\infty\},\vec{\mathfrak{m}} ) \big) \rightarrow G_{\mathbb{Q}} \rightarrow 1. \] Ihara was able to construct universal power series for Jacobi sums from the meta abelian reduction of the above representation to the pro-\(l\) free group in two generators. S. Bloch, in a letter to Deligne, considered an elliptic analogon of this construction based on the short exact sequence: \[ 1 \rightarrow \pi_1( E_{\bar{k}}-\{O\},\vec{\mathfrak{m}} ) \big) \rightarrow \pi_1( E-\{O\},\vec{\mathfrak{m}} ) \big) \rightarrow G_{\mathbb{Q}} \rightarrow 1. \] where \(k\) is a number field, and \(E\) an elliptic curve defined over \(k\). Bloch proposed a new power series representation: \[ \mathcal{E}:G_{k(E_{l^\infty})} \rightarrow \mathbb{Z}_l[[T_1,T_2]], \qquad \sigma \mapsto \mathcal{E}_\sigma, \] where \(k(E_{l^\infty})\) is the field generated by the coordinates of all \(l\)-power torsion points of \(E\). This construction was further studied by \textit{H. Tsunogai} [Math. Nachr. 171, 315--324 (1995; Zbl 0823.14015)], who explained why the representation \(\mathcal{E}\) can not be extended to \(G_k\). The author extends Tsunogai's treatment introducing for each \(l\)-power \(m\) a continuous mapping: \[ \mathbb{E}_m: G_k\times \mathbb{Z}_l^2 \rightarrow \mathbb{Z}_l \qquad \left(\sigma, (u,v) \right) \mapsto \mathbb{E}_m(\sigma; u,v), \] which is periodic in \((u,v)\) modulo \(m\) for \(\sigma\in G_{k(E_{l^\infty})}\) and determines an element in \(\mathbb{E}_m(\sigma)\) in the group ring \(\mathbb{Z}_l[(\mathbb{Z}/m\mathbb{Z})^2]\). The Bloch-Tsunogai element \(\mathcal{E}_\sigma\) can be recovered through a limit measure procedure involving Kummer cocycles. The author results can be expressed in pro-\(\mathcal{C}\) full classes of finite groups. An explicit formula expressing \(\mathbb{E}_m(\sigma;u,v)\) in terms of higher modulus in \(\mathbb{Z}_{\mathcal{C}}\) is given, which involves power roots of Kummer units. In the complex analytic model the formula involves generalized Dedekind-Rademacher functions as the main periodic part of the invariant.