Nonabelian level structures, Nielsen equivalence, and Markoff triples

TL;DR

This paper proves a strong approximation property for the Markoff equation using a congruence on Nielsen equivalence classes, leading to the resolution of a conjecture about the transitivity of Markoff automorphisms over finite fields.

Contribution

It establishes a new congruence on Nielsen classes and applies it to prove a conjecture on Markoff automorphisms' transitivity over finite fields, with finitely many exceptions.

Findings

Transitivity of Markoff automorphisms on nonzero points over most finite fields.

Finiteness of congruence conditions satisfied by Markoff numbers.

Connectivity of certain Hurwitz spaces of elliptic curve covers.

Abstract

In this paper we establish a congruence on the degree of the map from a component of a Hurwitz space of covers of elliptic curves to the moduli stack of elliptic curves. Combinatorially, this can be expressed as a congruence on the cardinalities of Nielsen equivalence classes of generating pairs of finite groups. Building on the work of Bourgain, Gamburd, and Sarnak, we apply this congruence to show that for all but finitely many primes $p$, the group of Markoff automorphisms acts transitively on the nonzero $\mathbb{F}_p$-points of the Markoff equation $x^2 + y^2 + z^2 - 3xyz = 0$. This yields a strong approximation property for the Markoff equation, the finiteness of congruence conditions satisfied by Markoff numbers, and the connectivity of a certain infinite family of Hurwitz spaces of $\text{SL}_2(\mathbb{F}_p)$-covers of elliptic curves. With possibly finitely many exceptions, this resolves a conjecture of Bourgain, Gamburd, and Sarnak, first posed by Baragar in 1991. Since their methods are effective, this reduces the conjecture to a finite computation.