On Kummer characters arising from Galois actions on the pro-$p$ fundamental groups of once-punctured CM elliptic curves

Shun Ishii
2024-09-04
Abstract:In this paper, we study certain Kummer characters arising from the pro-$p$ geometric fundamental groups of CM elliptic curves minus their origins (once-punctured CM elliptic curves). These characters may be regarded as analogues of the Soulé characters. We investigate various arithmetic assumptions under which such characters are nontrivial or even surjective.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to specific Kummer characters, which are derived from the Galois action on the pro - $p$ geometric fundamental group of once - punctured elliptic curves with complex multiplication (CM). Specifically, the author studies whether these characters are nontrivial or even surjective under certain arithmetic assumptions. ### Problem Background The paper mainly studies specific characters arising from the Galois action on the pro - $p$ geometric fundamental group of once - punctured CM elliptic curves. These characters can be regarded as the elliptic analogues of Soulé characters, the latter of which are derived from the Galois action on the pro - $p$ geometric fundamental group of the three - punctured projective line. ### Main Problems 1. **Nontriviality**: Study under what conditions these elliptic Soulé characters are nontrivial. 2. **Surjectivity**: Study under what conditions these elliptic Soulé characters are surjective. ### Research Objects - **Once - punctured CM elliptic curve**: That is, remove a point on the elliptic curve, and the elliptic curve has the complex multiplication property. - **Pro - $p$ geometric fundamental group**: This is the largest pro - $p$ quotient of the geometric étale fundamental group. - **Galois action**: Consider the action of the Galois group on the above - mentioned fundamental group. ### Research Methods The author links these characters to elliptic units by introducing and studying elliptic Soulé characters and using tools such as Kummer theory and the norm map. Specifically, the author defines the following: - **Elliptic Soulé characters**: For $m=(m_1, m_2)\in\mathbb{Z}_{\geq1}^2$, the $m$ - th elliptic Soulé character $\kappa_m$ is defined, and its reduction modulo $p^n$ corresponds to a certain product form. - **Elliptic units**: Construct elliptic units by defining the rational function $\theta_a$ associated with the ideal $a$ and studying the properties of its special values at torsion points. ### Main Results The main results of the paper include: 1. **Nontriviality**: If $H^2_{\text{ét}}(\text{Spec}(O_K[1/p]),\mathbb{Z}_p(m))$ is finite, then $\kappa_m$ is nontrivial. 2. **Surjectivity**: For certain specific $m$, $\kappa_m$ is surjective, which depends on some class number conditions and the decomposition of ideals. ### Conclusion This paper reveals the nontriviality and surjectivity of elliptic Soulé characters under specific arithmetic conditions by in - depth study of their properties, providing a new perspective for further understanding Galois representations and the arithmetic properties of elliptic curves.