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).
Categories: math.AG