Critical Points of Toroidal Belyĭ Maps
Authors:
Tesfa Asmara,
Edray Herber Goins,
Erik Imathiu-Jones,
Maria Maalouf,
Isaac Robinson,
Sharon Sneha Spaulding
Abstract:
A Belyi map $β: \mathbb{P}^1(\mathbb{C}) \to \mathbb{P}^1(\mathbb{C})$ is a rational function with at most three critical values; we may assume these values are $\{ 0, \, 1, \, \infty \}$. Replacing $\mathbb{P}^1$ with an elliptic curve $E: \ y^2 = x^3 + A \, x + B$, there is a similar definition of a Belyi map $β: E(\mathbb{C}) \to \mathbb{P}^1(\mathbb{C})$. Since…
▽ More
A Belyi map $β: \mathbb{P}^1(\mathbb{C}) \to \mathbb{P}^1(\mathbb{C})$ is a rational function with at most three critical values; we may assume these values are $\{ 0, \, 1, \, \infty \}$. Replacing $\mathbb{P}^1$ with an elliptic curve $E: \ y^2 = x^3 + A \, x + B$, there is a similar definition of a Belyi map $β: E(\mathbb{C}) \to \mathbb{P}^1(\mathbb{C})$. Since $E(\mathbb{C}) \simeq \mathbb T^2(\mathbb {R})$ is a torus, we call $(E, β)$ a Toroidal Belyi pair. There are many examples of Belyi maps $β: E(\mathbb{C}) \to \mathbb P^1(\mathbb{C})$ associated to elliptic curves; several can be found online at LMFDB. Given such a Toroidal Belyi map of degree $N$, the inverse image $G = β^{-1} \bigl( \{ 0, \, 1, \, \infty \} \bigr)$ is a set of $N$ elements which contains the critical points of the Belyi map. In this project, we investigate when $G$ is contained in $E(\mathbb{C})_{\text{tors}}$. This is work done as part of the Pomona Research in Mathematics Experience (NSA H98230-21-1-0015).
△ Less
Submitted 21 December, 2022;
originally announced December 2022.
