Shimura-Taniyama-Weil VS Grothendieck's dessins - MathOverflow

Shimura-Taniyama-Weil VS Grothendieck's dessins

2012-05-10T22:37:00Z

When listening to the beautiful lectures by Gilles Schaeffer at the SLC68, the following (perhaps crazy) question occurred to me: did anyone attempt (succeed?) to combinatorially prove modularity of elliptic curves using dessins d'enfant?

Of course I am not talking about a combinatorial proof of the general result due to Wiles, Taylor, Breuil, Conrad and Diamond. If such a thing existed, everyone and their dog would have heard about it. I am interested in learning about combinatorial proofs, if any, even for very modest examples. As I do not know anything about the subject, references to the relevant literature would be appreciated.

This question can be broken down into the following three:

1) Can one tell `by looking at a dessin' if the corresponding curve is defined over $\mathbb{Q}$? If this is too hard, can one construct an explicit collection of dessins which catches all elliptic curves defined over $\mathbb{Q}$?

2) Does one know explicit dessins for all modular curves?

3) Let $X\rightarrow\mathbb{P}^1$ and $Y\rightarrow\mathbb{P}^1$ be two coverings given by dessins. Is there some sufficient criteria for the existence of a cover $X\rightarrow Y$?

Crazy addendum to a crazy question:

Can one `count' $H_{X,Y}$ the number of covers in question 3)? Again, I am talking about examples.

Answer by Will Sawin for Shimura-Taniyama-Weil VS Grothendieck's dessins

2012-05-11T02:14:54Z

It shouldn't be too hard to find some necessary conditions and some sufficient conditions, e.g., complex conjugation acts on dessins by reflection, so a dessin defined over Q should certainly have a mirror symmetry.
One can certainly give an explicit dessin for all the modular curves, since they all have a map to $X(1) \cong \mathbb P^1$ ramified over only $3$ points (the elliptic points and the cusp), the precondition for a dessin. One can compute it by looking at the group action of $\Gamma/\Gamma(N)$.
The existence of a map which factors through the map to $\mathbb P^1$ is an obvious sufficient condition. It is fairly painless to check but seems very unlikely to be strong enough. I would expect that the problem is extremely hard in general.

Answer by Ariyan Javanpeykar for Shimura-Taniyama-Weil VS Grothendieck's dessins

2012-05-12T11:02:18Z

This does not answer your question. But it was a bit too long to put as a comment.

Firstly, it seems that the following old question is of some relevance.

http://mathoverflow.net/questions/68213/families-of-curves-for-which-the-belyi-degree-can-be-easily-bounded

In fact, dessins $X\to \mathbf{P}^1$ are also called Belyi maps/morphisms/functions on $X$. I wanted to know of curves for which one has explicit bounds on the Belyi degree, i.e., the minimal degree of a dessin $X\to \mathbf{P}^1$. Here are the examples

Fermat curves
Modular curves (congruence or non-congruence)
Hurwitz spaces (see JSE's answer to the above question)
Galois Belyi curves = Wolfart-curves = Galois three-point covers
Elkies' curves (see his answer to the above question).

Let me elaborate on 2. If $\Gamma\subset \mathrm{SL}_2(\mathbf{Z})$ is a finite index subgroup, you can consider the quotient $Y_\Gamma = \Gamma\backslash \mathbf{H}$ , where $\mathbf{H}$ is the complex upper half-plane and $\mathrm{SL}_2(\mathbf{Z})$ acts on $\mathbf{H}$ by Mobius transformations. The curve $Y_\Gamma$ naturally inherits the structure of a connected Riemann surface from $\mathbf{H}$. We compactify $Y_\Gamma$ by adding "cusps". The compactification of $Y_\Gamma$ is usually denoted by $X_\Gamma$. Note that there is a natural map $Y_\Gamma \to Y_{\mathrm{SL}_2(\mathbf{Z})} = Y(1)$ induced by the inclusion $\Gamma\subset \mathrm{SL}_2(\mathbf{Z})$ . This morphism extends to the compactifications $X_\Gamma \to X(1)$ and induces a dessin $X_\Gamma \to \mathbf{P}^1(\mathbf{C})$ after you compose with the isomorphism given by the $j$-invariant $j:X(1)\to\mathbf{P}^1(\mathbf{C}$ . (The branch points are the elliptic points $0$, $1728$ and the cusp $\infty$ of $X(1)$.)

Let me adress your third question. The above is about your second question. I don't have much to say about your first question, unfortunately. What do you mean by a dessin which "captures" all elliptic curves over $\mathbf{Q}$?

Firstly, assume that $X\to \mathbf{P}^1$ is a dessin of prime degree. It's clear that this morphism will not factor.

I get the feeling (but I might be wrong) that you are interested in modular parametrizations of elliptic curves in the following sense. You want to know whether the above explicit dessins on $X_0(n)$ can be shown to factor through some elliptic curve. If this is the case, the answer is likely to be no for $n$ big.

Now, you can bound the number of dessins on a curve $X$ of given degree $d$ by the number of dessins of degree $d$, i.e., the number of topological covers of $\mathbf{P}^1-\{0,1,\infty\}$ .

But your $H_{X,Y}$ will be zero or infinite.

In fact, if it not zero then there exists a dessin $X\to \mathbf{P}^1$ which factors through a dessin $Y\to \mathbf{P}^1$. But Belyi proved that for any finite set $B\subset \mathbf{P}^1(\overline{\mathbf{Q}})$ there exists a dessin $R:\mathbf{P}^1_{\mathbf{Q}}\to\mathbf{P}^1_{\mathbf{Q}}$ (defined over $\mathbf{Q}$ even!) such that $R$ sends $B$ to the set $\{0,1,\infty\}$ . So from a given factorization $X\to Y\to \mathbf{P}^1$ you can construct an infinite number of really different dessins (and associated factorizations).

The former paragraph is just applying the fact that given a dessin $f:X\to \mathbf{P}^1$ you can construct an infinite number of dessins $g :X\to \mathbf{P}^1$ by composing $f$ with an arbitrary dessin on $\mathbf{P}^1$. (Belyi actually gave an algorithm to compute a dessin $R$ on $\mathbf{P}^1$ associated to $B$ as above.)

So to make sense of your last "crazy" question, you might want to fix a dessin $X\to \mathbf{P}^1$ on $X$ and try to look at possible factorizations, where $Y\to \mathbf{P}^1$ is a dessin and $Y$ is not fixed. Thus, let $H_{\pi}$ be the number of pairs $(Y,f)$ up to isomorphism, where $f:Y\to \mathbf{P}^1$ is a dessin and there exists a factorization $g:X\to Y$ such that $\pi = fg$.

I don't think it is possible to give a precise formula for $H_\pi$ easily, but it is certainly possible to bound this number in terms of the degree of your dessin.