Abstract:In this work, we determine all Lattes maps which are Belyi morphisms. It turns out that in the generic case, i.e. when the automorphism group is $\ZZ/2\ZZ$, the corresponding family of Lattes maps are Belyi morphisms if and only if the isogeny is multiplication by two. This family form a continuous family of Belyi maps. Elliptic curves with complex multiplication also determine a family over $\ZZ$ of Belyi morphisms. We give the explicit formulas for the first few Belyi morphisms when the curve has complex multiplication by 3rd root of unity.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine which Lattès maps are Belyi morphisms. Specifically, the author explores which isogenies can induce Belyi morphisms in different situations, especially when the elliptic curve has no complex multiplication (CM) and when it has complex multiplication.
### Main content of the paper
1. **Background and motivation**:
- Belyi's theorem states that there exists a Belyi morphism on an arithmetic curve, that is, a meromorphic function that is ramified at most at three points (usually 0, 1, and ∞).
- This paper aims to find all Lattès maps that can induce Belyi morphisms and pays special attention to these maps on elliptic curves.
2. **Non - CM case**:
- When the elliptic curve \(C/\Omega\) has no complex multiplication, the only non - trivial automorphism group is \(\mathbb{Z}/2\mathbb{Z}\).
- It turns out that in this case, only the isogeny of multiplying by 2 (or its translation) can induce a Belyi morphism. This forms a continuous family of Belyi maps, parameterized by elliptic curves on the moduli space.
3. **CM case**:
- When the elliptic curve has complex multiplication, the automorphism group can be \(\mathbb{Z}/3\mathbb{Z}\), \(\mathbb{Z}/4\mathbb{Z}\), or \(\mathbb{Z}/6\mathbb{Z}\).
- For each case, the paper gives specific formulas to describe the corresponding Belyi morphisms. For example:
- When \(\Gamma=\mathbb{Z}/3\mathbb{Z}\), \(\pi = \wp'\), and for any integer \(n\), the map \(\varphi\) is a Belyi morphism that is ramified at most at three points.
- When \(\Gamma=\mathbb{Z}/4\mathbb{Z}\), \(\pi = (\wp(z))^2\), and the ramification points come from the roots of \(\wp\) and \(\wp'\).
- When \(\Gamma=\mathbb{Z}/6\mathbb{Z}\), \(\pi = (\wp(z))^3\), and the ramification points come from the roots of \(\wp\) and \(\wp'\).
### Main conclusions
- If the elliptic curve \(C/\Omega\) has no complex multiplication, then the corresponding Lattès map is a Belyi morphism if and only if the isogeny is the map of multiplying by 2 (or its translation).
- If the elliptic curve \(C/\Omega\) has complex multiplication, then for any integer \(n\), the Lattès map obtained by the isogeny of multiplying by \(n\) is a Belyi morphism.
### Formula summary
- For \(\Gamma=\mathbb{Z}/3\mathbb{Z}\), the map \(\varphi\) can be expressed as:
\[
\varphi(z)=\begin{cases}
\frac{1}{8}(z - 1)(z + 1)^3/(z+\frac{1}{2})^3&\text{when }n = 2\\
\frac{1}{27}(z^3+3z^2 - 6z + 1)^3/z(z - 1)(z^2 - z + 1)^3&\text{when }n = 3\\
\frac{1}{8}z(z^5+8z^4 - 32z^3+28z^2 - 10z + 3)^3/(2z^5 - 5z^4+15z^3 - 16
\end{cases}
\]