Research projects in Algebraic Geometry will be directed by Edray Goins, Associate Professor of Mathematics at Purdue University.
Let $X$ be a compact, connected Riemann surface of genus $g_X$. It is well-known that $X$ is an algebraic variety, that is, $X \simeq \left \{ x \in \mathbb P^n(\mathbb C) \, \bigl| \, F_1(x) = F_2(x) = \cdots = F_m(x) = 0 \right \}$ in terms of a collection of homogeneous polynomials $F_i$ over $\mathbb C$ in $(n+1)$ variables. Denote $\mathcal O_X$ as the ring of regular functions on $X$, that is, "polynomials" $f, g: X \to \mathbb P^1(\mathbb C)$; and denote $\mathcal K_X$ as its quotient field, that is, rational functions $f/g: X \to \mathbb P^1(\mathbb C)$. For example, a Riemann surface $Y \simeq \mathbb P^1(\mathbb C) = \mathbb C \cup \{ \infty \}$ if and only if $g_Y = 0$; then $\mathcal O_Y \simeq \mathbb C[z]$ consists of polynomials in one variable while $\mathcal K_Y \simeq \mathbb C(z)$ consists of rational functions in one variable. In particular, any rational map $\beta: X \to \mathbb P^1(\mathbb C)$ induces a map $\beta^\ast: \mathbb C(z) \to \mathcal K_X$ which sends $\gamma \mapsto \gamma \circ \beta$. The degree $N$ of such a map is the size of the group $ \text{Gal} \bigl( \mathcal K_X / \beta^\ast \, \mathbb C(z) \bigr)$, that is, $N = | \mathcal K_X : \beta^\ast \, \mathbb C(z) | $.
For each $x \in X$, let $\mathcal O_{X, x}$ be the localization of $\mathcal O_X$ at the kernel of the evaluation map $\mathcal O_X \to \mathbb C$ defined by $f \mapsto f(x)$. We view $\mathcal O_{X,x}$ as a discrete valuation ring, so we have a normalized valuation $\text{ord}_x: \mathcal K_X^\times \twoheadrightarrow \mathbb Z$. For example, fix a rational map $\beta: X \to \mathbb P^1(\mathbb C)$. Denoting $\gamma(z) = z - \beta(x_0)$ for some $x_0 \in X$, we have $\big(\gamma \circ \beta)(x) = \beta(x) - \beta(x_0)$, so that the ramification index $e_\beta(x_0) = \text{ord}_{x_0}(\gamma \circ \beta)$ is a positive integer. We say that $z_0 \in \mathbb P^1(\mathbb C)$ is a critical value for $\beta$ if there exists $x_0 \in X$ such that $\beta(x_0) = z_0$ and $e_\beta(x_0) \geq 2$.
As shown by Weil and Belyĭ, the Riemann surface $X$ can be defined in terms of homogeneous polynomials $F_i$ over an algebraic closure $\overline{\mathbb Q}$ if and only if there exists a rational map $\beta: X \to \mathbb P^1(\mathbb C)$ with at most three critical values. Such a rational function is called a Belyĭ map; we may and do assume that these critical values are contained in the set $\{ 0, \, 1, \, \infty \}$. Say that $\beta: X \to \mathbb P^1(\mathbb C)$ is indeed a Belyĭ map of degree $N$. There are three related objects.
Let's make the monodromy group computation more explicit. We can consider a loops $\sigma_0, \, \sigma_1: \ [0,1]: \mathbb P^1(\mathbb C)$ with $\sigma_0(0) = \sigma_1(1) = z_0$ and centered around 0 and 1, respectively, rather explicitly as the paths $\sigma_0(t) = z_0 \, e^{2 \pi \sqrt{-1} t}$ and $\sigma_1(t) = 1 + (z_0 - 1) \, e^{2 \pi \sqrt{-1} t}$. If we have a Belyĭ map $\beta(z) = p(z) / q(z)$ as a rational function of degree $N = \deg(\beta) = \max \{ \deg(p), \, \deg(q) \}$, then paths $\widetilde{\sigma}_0, \, \widetilde{\sigma}_1: \ [0,1] \to \mathbb P^1(\mathbb C)$ satisfying $\beta \circ \widetilde{\sigma}_0 = \sigma_0$ and $\beta \circ \widetilde{\sigma}_1 = \sigma_1$ correspond to unique solutions to the differential equations \[ \dfrac {d \widetilde{\sigma}_0}{dt} = 2 \pi \sqrt{-1} \, \dfrac {p(\widetilde{\sigma}_0) \, q(\widetilde{\sigma}_0)}{p'(\widetilde{\sigma}_0) \, q(\widetilde{\sigma}_0) - p(\widetilde{\sigma}_0) \, q'(\widetilde{\sigma}_0)} \qquad \text{and} \qquad \dfrac {d \widetilde{\sigma}_1}{dt} = 2 \pi \sqrt{-1} \, \dfrac {\bigl[ p(\widetilde{\sigma}_1) - q(\widetilde{\sigma}_1) \bigr] \, q(\widetilde{\sigma}_0)}{p'(\widetilde{\sigma}_1) \, q(\widetilde{\sigma}_1) - p(\widetilde{\sigma}_1) \, q'(\widetilde{\sigma}_1)} \] subject to the initial conditions $\widetilde{\sigma}_0(0) = \widetilde{\sigma}_1(0) = x_k$ for any point $x_k$ in the inverse image $\beta^{-1}(z_0) = \bigl \{ x_1, \, x_2, \, \dots, \, x_N \bigr \}$. (We can choose $z_0$ small enough so that each $x_k \in \mathbb A^1(\mathbb C)$ is a point in the plane.) This gives a collection of $N$ paths on the Riemann sphere $X = \mathbb P^1(\mathbb C) \simeq S^2(\mathbb R)$. An animation of this can be found here:
The goal for the summer is to generalize this to other Riemann surfaces, in particular for the torus. In this project, we use the open source Sage to write code which takes an elliptic curve $E$ and a Belyĭ map $\beta$ to return a movie on the torus -- both in two and three dimensions. Following a 2013 paper by Cremona and Thongjunthug we make the elliptic logarithm $X = E(\mathbb C) \simeq \mathbb C / \Lambda$ explicit using a modification of the arithmetic-geometric mean, then compose with a canonical one-to-one correspondences $\mathbb C / \Lambda \simeq \mathbb T^2(\mathbb R)$. Using this, we focus on several examples of Belyĭ maps which appear on Elkies' Harvard web page Elliptic Curves in Nature.
Say that $X = E(\mathbb C) \simeq \mathbb C / \Lambda \simeq \mathbb T^2(\mathbb R)$ for some elliptic curve $E$. A Belyĭ map $\beta: X \to \mathbb P^1(\mathbb C)$ of degree $N$ yields an extension $\mathcal K_X / \beta^\ast \, \mathbb C(z)$ of degree $N$. In general, this extension is not Galois, but there is a subfield $\mathcal K_\beta \subseteq \beta^\ast \, \mathbb C(z) \subseteq \mathcal K_X$ such that $\mathcal K_X / \mathcal K_\beta$ is indeed Galois. The monodromy group $\text{Mon}(\beta) = \text{Gal} \bigl( \mathcal K_X / \mathcal K_\beta \bigr)$ may be viewed as its Galois group, it is a transitive subgroup of $S_N$. We may compose with an isogeny $\phi: E' \to E$ to yield another Belyĭ map $\beta \circ \phi: E'(\mathbb C) \to X \to \mathbb P^1(\mathbb C)$, and hence another monodromy group $\text{Mon}(\beta \circ \phi) = \text{Gal} \bigl( \mathcal K_X / \mathcal K_{\beta \circ \phi} \bigr)$.
In this project, we seek to understand the relationship between $\text{Mon}(\beta)$ and $\text{Mon}(\beta \circ \phi)$. We will write code in Sage and Mathematica which will allow us to compute various examples, then formulate a conjecture. We will build on the past two summers (PRiME 2015 and PRiME 2016) who formulated conjectures based on a limited number of examples.