Narrow Results

We establish a precise correspondence between the ABC Conjecture and ${𝒩}=4$ super-Yang–Mills theory. This is achieved by combining three ingredients: (i) Elkies’ method of mapping ABC-triples to elliptic curves in his demonstration that ABC implies Mordell/Faltings; (ii) an explicit pair of elliptic curve and associated Belyi map given by Khadjavi–Scharaschkin; and (iii) the fact that the bipartite brane-tiling/dimer model for a gauge theory with toric moduli space is a particular dessin d’enfant in the sense of Grothendieck. We explore this correspondence for the highest quality ABC-triples as well as large samples of random triples. The conjecture itself is mapped to a statement about the fundamental domain of the toroidal compactification of the string realization of ${𝒩}=4$ SYM.

If is a branched covering between closed surfaces, there are several easy relations one can establish between the Euler characteristics and χ(Σ), orientability of Σ and , the total degree, and the local degrees at the branching points, including the classical Riemann–Hurwitz formula. These necessary relations have been shown to be also sufficient for the existence of the covering except when Σ is the sphere 𝕊 (and when Σ is the projective plane, but this case reduces to the case Σ = 𝕊). For Σ = 𝕊 many exceptions are known to occur and the problem is widely open.

Generalizing methods of Baránski, we prove in this paper that the necessary relations are actually sufficient in a specific but rather interesting situation. Namely under the assumption that Σ = 𝕊, that there are three branching points, that one of these branching points has only two pre-images with one being a double point, and either that and that the degree is odd, or that has genus at least one, with a single specific exception. For the case of we also show that for each even degree there are precisely two exceptions.

A classical result states that the determinant of an alternating link is equal to the number of spanning trees in a checkerboard graph of an alternating connected projection of the link. We generalize this result to show that the determinant is the alternating sum of the number of quasi-trees of genus j of the dessin of a non-alternating link.

Furthermore, we obtain formulas for coefficients of the Jones polynomial by counting quantities on dessins. In particular, we will show that the jth coefficient of the Jones polynomial is given by sub-dessins of genus less or equal to j.