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

From MaRDI portal
scientific article
Language Label Description Also known as
English
On arithmetic monodromy representations of Eisenstein type in fundamental groups of once punctured elliptic curves
scientific article

    Statements

    On arithmetic monodromy representations of Eisenstein type in fundamental groups of once punctured elliptic curves (English)
    0 references
    0 references
    23 October 2013
    0 references
    \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.
    0 references
    Galois representation
    0 references
    arithmetic fundamental group
    0 references
    elliptic curve
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references