Critical points of toroidal Belyi maps (Edray Goins, Pomona)

A Belyi map $\beta: \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 $\beta: 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, \beta)$ a Toroidal \Belyi pair.

There are many examples of Belyi maps $\beta: 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 = \beta^{-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).