McCullough–Wanderley Conjecture Overview

• The McCullough–Wanderley conjecture is a classification principle linking generating pairs in SL(2, F_q) with Markoff-type equations and trace invariants.
• It employs Nielsen moves and Vieta dynamics to relate group-theoretic commutator invariants to geometric Markoff parameters, ensuring orbit-transitivity on finite-field surfaces.
• The conjecture underpins strong approximation results, with recent work verifying unique orbit structures for density-one prime sets under explicit arithmetic conditions.

Searching arXiv for the cited papers and closely related work on the McCullough–Wanderley conjecture, Markoff surfaces, and complete Pick kernels. The McCullough–Wanderley conjecture is a family of conjectural classification statements for generating pairs of $\mathrm{SL}_2(\mathbb F_q)$, their $T_2$-equivalence classes, and the Markoff-equivalence classes of triples in $\mathbb F_q^3$ satisfying a Markoff-type equation. In the formulations emphasized in recent work, the central principle is that the relevant equivalence class should be determined by a commutator invariant on the group-theoretic side and by the Markoff parameter on the geometric side. Through the trace map and Fricke’s identity, the conjecture becomes an orbit-transitivity problem for Vieta involutions on finite-field Markoff surfaces, and this places it at the intersection of combinatorial group theory, arithmetic dynamics, and strong approximation (Campos-Vargas, 29 Aug 2025, Martin, 8 Oct 2025).

1. Conjectural formulations

McCullough and Wanderley formulated several closely related conjectures for $\mathrm{SL}_2(\mathbb F_q)$. The invariant on the group-theoretic side is the Higman invariant, namely the extended conjugacy class of the commutator,

$$\mathrm{cl}_G([g_1,g_2])\cup \mathrm{cl}_G([g_2,g_1]).$$

For $\mathrm{SL}_2(\mathbb F_q)$, this is essentially the same as the trace of the commutator, since matrices in that extended conjugacy class share the same trace (Martin, 8 Oct 2025).

Conjecture	Object classified	Classifying datum
Classification conjecture	Nielsen classes of generating pairs in $\mathrm{SL}_2(\mathbb F_q)$	Higman invariant
$T$-classification conjecture	$T_2$-systems in $\mathrm{SL}_2(\mathbb F_q)$	Trace invariant
$T_2$0-classification conjecture	Markoff classes of essential triples	$T_2$1

In the formulation stated for prime fields $T_2$2, the $T_2$3-classification conjecture says: let $T_2$4 be a generating pair of $T_2$5. Then two generating pairs are Nielsen equivalent if and only if their commutators lie in the same extended conjugacy class of $T_2$6. The same paper states this more concretely as

$T_2$7

Moreover, if $T_2$8, there is also a single orbit of generating pairs at level $T_2$9; if $\mathbb F_q^3$0, there are two orbits at level $\mathbb F_q^3$1. Here the level is

$\mathbb F_q^3$2

This is the form in which the conjecture is tied directly to orbit structure on finite-field Markoff surfaces (Campos-Vargas, 29 Aug 2025).

A complementary Markoff-side formulation is that the Markoff class of an essential triple $\mathbb F_q^3$3 is uniquely determined by

$\mathbb F_q^3$4

The significance of the 2025 structural result is that the $\mathbb F_q^3$5-classification conjecture implies the classification conjecture and the $\mathbb F_q^3$6-classification conjecture, so the Markoff-side orbit problem controls the other two formulations (Martin, 8 Oct 2025).

2. Trace triples, Nielsen moves, and Vieta dynamics

The geometric framework is built from the trace map

$\mathbb F_q^3$7

Fricke’s trace identity gives

$\mathbb F_q^3$8

Accordingly, if $\mathbb F_q^3$9, then $\mathrm{SL}_2(\mathbb F_q)$0 lies on

$\mathrm{SL}_2(\mathbb F_q)$1

In the alternative parameterization used elsewhere, setting

$\mathrm{SL}_2(\mathbb F_q)$2

places the trace triple on

$\mathrm{SL}_2(\mathbb F_q)$3

This is the basic bridge from generating pairs in $\mathrm{SL}_2(\mathbb F_q)$4 to affine cubic surfaces over finite fields (Campos-Vargas, 29 Aug 2025, Martin, 8 Oct 2025).

On pairs $\mathrm{SL}_2(\mathbb F_q)$5, the papers use Nielsen moves such as

$\mathrm{SL}_2(\mathbb F_q)$6

as well as the standard elementary Nielsen generators. On triples $\mathrm{SL}_2(\mathbb F_q)$7, these induce the Vieta involutions

$\mathrm{SL}_2(\mathbb F_q)$8

together with coordinate permutations. The cited work states that these correspond exactly under the trace map: $\mathrm{SL}_2(\mathbb F_q)$9 for every Nielsen move $$\mathrm{cl}_G([g_1,g_2])\cup \mathrm{cl}_G([g_2,g_1]).$$0. Thus Nielsen dynamics on generating pairs and Markoff dynamics on trace triples are two realizations of the same action (Campos-Vargas, 29 Aug 2025).

This correspondence also motivates the notion of an essential triple: a triple in $$\mathrm{cl}_G([g_1,g_2])\cup \mathrm{cl}_G([g_2,g_1]).$$1 is essential if it comes from a generating pair $$\mathrm{cl}_G([g_1,g_2])\cup \mathrm{cl}_G([g_2,g_1]).$$2 of $$\mathrm{cl}_G([g_1,g_2])\cup \mathrm{cl}_G([g_2,g_1]).$$3. The conjectural picture is then that, after removing a short list of exceptional small orbits, all essential triples with fixed parameter should lie in one Markoff orbit (Martin, 8 Oct 2025).

3. Exceptional orbits and finite-orbit rigidity

A central theme in recent work is that the failure of transitivity is concentrated in explicitly classifiable exceptional orbits. One classification theorem partitions the corresponding non-projective subgroup types in $$\mathrm{cl}_G([g_1,g_2])\cup \mathrm{cl}_G([g_2,g_1]).$$4 into affine, projective, and exceptional finite triangle-group types

$$\mathrm{cl}_G([g_1,g_2])\cup \mathrm{cl}_G([g_2,g_1]).$$5

with admissibility conditions

$$\mathrm{cl}_G([g_1,g_2])\cup \mathrm{cl}_G([g_2,g_1]).$$6

$$\mathrm{cl}_G([g_1,g_2])\cup \mathrm{cl}_G([g_2,g_1]).$$7

$$\mathrm{cl}_G([g_1,g_2])\cup \mathrm{cl}_G([g_2,g_1]).$$8

$$\mathrm{cl}_G([g_1,g_2])\cup \mathrm{cl}_G([g_2,g_1]).$$9

The same theorem gives a complete list of exceptional orbits on $\mathrm{SL}_2(\mathbb F_q)$0 (Campos-Vargas, 29 Aug 2025).

Type	Representative and level	Size
Dihedral $\mathrm{SL}_2(\mathbb F_q)$1	$\mathrm{SL}_2(\mathbb F_q)$2 at level $\mathrm{SL}_2(\mathbb F_q)$3; $\mathrm{SL}_2(\mathbb F_q)$4 at level $\mathrm{SL}_2(\mathbb F_q)$5	$\mathrm{SL}_2(\mathbb F_q)$6; $\mathrm{SL}_2(\mathbb F_q)$7
Tetrahedral $\mathrm{SL}_2(\mathbb F_q)$8	$\mathrm{SL}_2(\mathbb F_q)$9 at level $\mathrm{SL}_2(\mathbb F_q)$0	$\mathrm{SL}_2(\mathbb F_q)$1
Octahedral $\mathrm{SL}_2(\mathbb F_q)$2	$\mathrm{SL}_2(\mathbb F_q)$3 at level $\mathrm{SL}_2(\mathbb F_q)$4	$\mathrm{SL}_2(\mathbb F_q)$5
Icosahedral $\mathrm{SL}_2(\mathbb F_q)$6	$\mathrm{SL}_2(\mathbb F_q)$7 at level $\mathrm{SL}_2(\mathbb F_q)$8; $\mathrm{SL}_2(\mathbb F_q)$9 at level $T$0; $T$1 at level $T$2	$T$3; $T$4; $T$5

These exceptional finite-field orbits are stated to agree exactly with the finite orbits of the complex Markoff-type equations $T$6 found by Dubrovin and Mazzocco. The cited interpretation is that the small orbits are rigid and are not accidental finite-field phenomena (Campos-Vargas, 29 Aug 2025).

A broader strong-approximation result for the cubic surfaces

$T$7

organizes the exceptional set differently. For nondegenerate parameters, the only small orbits that need to be removed are those arising from finite $T$8-orbits over $T$9, classified by Lisovyy–Tykhyy as Type I singleton orbits, Type II of size $T_2$0, Type III of size $T_2$1, Type IV of size $T_2$2, plus $T_2$3 exceptional orbits (Kingsbury-Neuschotz, 4 Mar 2026).

4. Strong approximation and the orbit-transitivity principle

The McCullough–Wanderley conjecture is closely tied to strong approximation for Markoff surfaces. One formulation states that every solution of $T_2$4 over $T_2$5 descends from a solution over $T_2$6, and that the action of Vieta involutions on $T_2$7 is essentially transitive. In the finite-field orbit language, the strong approximation conjecture is that for each $T_2$8 there should be a unique large orbit $T_2$9 such that

$\mathrm{SL}_2(\mathbb F_q)$0

where $\mathrm{SL}_2(\mathbb F_q)$1 is the union of exceptional orbits at level $\mathrm{SL}_2(\mathbb F_q)$2. Equivalently, every non-exceptional point lies in one “cage” orbit $\mathrm{SL}_2(\mathbb F_q)$3 (Campos-Vargas, 29 Aug 2025).

A major result is that, when $\mathrm{SL}_2(\mathbb F_q)$4, the $\mathrm{SL}_2(\mathbb F_q)$5-classification conjecture is equivalent to strong approximation. The mechanism described in the literature is that strong approximation gives one generating orbit on each non-singular level, but a priori a tower over a triple could split into two Nielsen orbits; when $\mathrm{SL}_2(\mathbb F_q)$6, the relevant towers over the cage are connected. The same discussion records an important caveat at the special level $\mathrm{SL}_2(\mathbb F_q)$7: if $\mathrm{SL}_2(\mathbb F_q)$8, there is one generating orbit, whereas if $\mathrm{SL}_2(\mathbb F_q)$9, there are two generating orbits. The equivalence is stated for all levels $T_2$00 with $T_2$01 not a square, and for $T_2$02 under the appropriate congruence condition (Campos-Vargas, 29 Aug 2025).

This perspective clarifies a common source of ambiguity. The conjecture is not merely a statement about isolated Nielsen classes; it is a global transitivity statement for the Vieta action after the explicit exceptional locus has been removed. Bourgain–Gamburd–Sarnak are cited as showing that there is a very large orbit $T_2$03 with at most $T_2$04 points outside it, which reduces the problem to identifying the small exceptional orbits (Campos-Vargas, 29 Aug 2025).

5. Proven cases and density-one results

Recent work has supplied two different kinds of progress. The first is a structural implication: $T_2$05-classification implies the classification conjecture and the $T_2$06-classification conjecture. The second is an arithmetic verification for a large set of prime fields. One theorem states that if $T_2$07 is prime and

$T_2$08

then for every $T_2$09, there is exactly one orbit of solutions to

$T_2$10

under the Vieta involutions, except for a short explicit list of exceptional orbits. Under the same arithmetic hypothesis there is a single orbit of generating pairs with fixed commutator trace, except in the classical $T_2$11, $T_2$12 exception where there are two orbits. The paper describes this as proving the McCullough–Wanderley conjectures for prime fields $T_2$13 whenever $T_2$14, covering a density

$T_2$15

of primes (Martin, 8 Oct 2025).

A different density-one theorem concerns the more general cubic surface

$T_2$16

For nondegenerate integer parameters, and for a density one set of primes $T_2$17 depending on the parameters, $T_2$18 acts transitively on the complement of the small orbits coming from finite orbits over $T_2$19. In the special family

$T_2$20

the paper states that its results “very nearly prove the $T_2$21-classification conjecture of McCullough and Wanderley for density 1 of all primes,” and that via Martin this also “very nearly proves their Classification and $T_2$22-Classification conjectures for density 1 of all primes.” The qualification is explicit: the density-one prime set depends on the parameter, and the proof requires a lower bound of the form

$T_2$23

or the general parameter version with $T_2$24. This parameter dependence prevents a full uniform proof in the strongest form (Kingsbury-Neuschotz, 4 Mar 2026).

The same source also records Martin’s transfer theorem: if the solutions to

$T_2$25

over $T_2$26, with $T_2$27, which are not reductions of finite orbits over $T_2$28 form a single orbit under $T_2$29, then the Higman invariant fully classifies Nielsen equivalence classes of generating pairs of $T_2$30. This is the precise bridge from orbit transitivity on the Markoff-type surface to the Classification Conjecture (Kingsbury-Neuschotz, 4 Mar 2026).

6. Obstructions, degenerate parameters, and terminological distinctions

The modern finite-field theory emphasizes that transitivity can genuinely fail for degenerate parameters. For the general family

$T_2$31

the degeneracy condition is

$T_2$32

The equivalence here is by permuting $T_2$33 and changing signs of two of them in the permitted way. For nondegenerate parameters, the density-one giant-orbit theorem applies; for degenerate parameters, there must be at least $T_2$34 large orbits, and in some cases $T_2$35 large orbits, so transitivity fails (Kingsbury-Neuschotz, 4 Mar 2026).

In the one-parameter family

$T_2$36

the degeneracy condition forces $T_2$37, so the only degenerate surface in that subfamily is the Cayley cubic. This isolates the main obstruction to a uniform Markoff-plus-$T_2$38 transitivity statement. In the generalized cluster-algebra family

$T_2$39

the same paper states that

$T_2$40

and over the integers

$T_2$41

This matches the de Courcy-Ireland–Litman–Mizuno obstruction (Kingsbury-Neuschotz, 4 Mar 2026).

The name “McCullough” also appears in an unrelated operator-theoretic context: the McCullough–Quiggin characterization of complete Pick kernels. A 2019 note gives “a short and simple proof of necessity in the McCullough–Quiggin characterization of complete Pick kernels” and concerns positive semidefinite kernels, reproducing kernel Hilbert spaces, and the positivity of

$T_2$42

That line of work is distinct from the McCullough–Wanderley conjectures on Markoff triples and Nielsen equivalence, even though both literatures involve McCullough’s earlier contributions (Knese, 2019).

Taken together, the current picture is technically sharp. The conjecture is best viewed as an orbit-classification principle linking generating pairs of $T_2$43, Vieta dynamics on Markoff surfaces, and strong approximation. Its exceptional locus is now highly explicit, its dependence on subgroup structure and finite complex orbits is understood in detail, and large classes of prime fields are covered by rigorous theorems. What remains open is the strongest uniform form: a fully parameter-independent orbit-transitivity statement for all nondegenerate levels and all sufficiently large primes.