Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
Extending the study of Ihara's heavenly abelian varieties beyond quadratic extensions, this work characterizes the arithmetic of heavenly elliptic curves defined over cubic number fields. These curves govern pro-$\ell$ Galois representations unramified away from $\ell$, reflecting the arithmetic behavior of étale covers of the projective line minus three points. The authors prove that totally balanced curves have non-surjective $\ell$-torsion trace representations, establish a prime bound beyond which all heavenly cubic curves are balanced, and contrast their trace profiles with complex multiplication curves.
Moving from quadratic to cubic fields reveals a far richer landscape of heavenly elliptic curves, where totally balanced structures force the trace of the $\ell$-torsion Galois representation to remain strictly non-surjective.
The study of heavenly abelian varieties is motivated by a question of Ihara. When an elliptic curve $E/K$ is heavenly at $\ell$, the extension $K(E[\ell^\infty])/K(μ_\ell^\infty)$ is pro-$\ell$ and unramified away from $\ell$. These are the same arithmetic conditions as the fixed field of the kernel attached to pro-$\ell$ étale covers of the projective line over $K$ minus three points. In this paper we study heavenly elliptic curves defined over cubic number fields. Following the work on McLeman and Rasmussen in the quadratic case, we find that there is a wider range of possible behaviors for the trace of a balanced elliptic curve in the cubic case. In this setting, we introduce a further distinction between balanced and totally balanced curves. With this, we show that trace of the representation on the $\ell$-torsion for totally balanced elliptic curves is non-surjective. We also compute a bound on primes $\ell$ after which any heavenly elliptic curve defined over a cubic number field must be balanced. Finally we compare the trace behavior of totally balanced elliptic curves with CM elliptic curves.