[Paper Review] Strong Approximation for the Character Variety of the Four-Times Punctured Sphere

Nathaniel Kingsbury-Neuschotz|arXiv (Cornell University)|Mar 4, 2026

Limits and Structures in Graph Theory0 citations

TL;DR

The paper proves that for nondegenerate parameters, the group generated by Vieta involutions acts transitively on almost all solutions modulo p for a density-one set of primes, with small finite orbits corresponding to complex finite orbits, and analyzes degenerate cases with multiple large orbits.

ABSTRACT

We study the orbits of the solutions to the Markoff-type equation $$X^2 + Y^2 + Z^2 = AX + BY + CZ + D$$ in $\mathbb{F}_p$ for fixed integers $A, B, C,$ and $D$ under the group of symmetries $Γ$ generated by $$V_1: (x, y, z)\mapsto (A + yz - x, y, z),$$ $$V_2: (x, y, z)\mapsto (x, B + xz - y, z), ext{ and}$$ $$V_3: (x, y, z)\mapsto (x, y, C + xy - z).$$ For most quadruples of parameters $(A, B, C, D)$, we show that there is a density one set of primes $p$ such that $Γ$ acts transitively on the bulk of the solutions mod $p$, with the remainder breaking up into a few small orbits which arise from finite orbits within the solutions over $\mathbb{C}$. For those ``degenerate'' quadruples of parameters $(A, B, C, D)$ to which this result does not apply, we show that there must be at least 2 large orbits, and in some cases 4 large orbits, under the action of this group. Our results become especially interesting when applied to two special subfamilies. The first is $$X^2 + Y^2 + Z^2 = XYZ + k$$ for $k eq 4$, which arises in the study of the combinatorial group theory of $ ext{SL}_2(\mathbb{F}_p)$. Our results very nearly prove the $Q$-classification conjecture of McCullough and Wanderley for density 1 of all primes, and thus by the work of Martin very nearly proves their Classification and $T$-Classification conjectures for density 1 of all primes. The second special family is $$x_1^2 + x_2^2 + x_3^2 + a_1x_2x_3 + a_2x_1x_3 + a_3x_1x_2 = (3+a_1+a_2+a_3)x_1x_2x_3,$$ which arises from certain generalized cluster algebras. Here, our notion of ``degenerate'' parameters $(A, B, C, D)$ specializes to the degeneracy condition of de Courcy-Ireland, Litman, and Mizuno. For this family, their results imply that our transitivity result applies to all sufficiently large primes $p$, independent of $a_1, a_2,$ and $a_3.$

Motivation & Objective

• Investigate orbit structure of solutions to Markoff-type equations modulo primes under a Vieta-involution group action.
• Classify and remove small finite orbits arising from complex-geometry considerations using Lisovyy–Tykhyy results.
• Establish a density-one transitivity result for nondegenerate parameter quadruples on the surface S_{A,B,C,D}(F_p).
• Analyze the degenerate parameter cases and describe the multiplicity of large orbits in those regimes.
• Connect the dynamics to applications in group theory and generalized cluster algebras.

Proposed method

• Study the family of surfaces S_{A,B,C,D} defined by X^2+Y^2+Z^2=XYZ+AX+BY+CZ+D.
• Define Vieta involutions V1,V2,V3 that generate the symmetry group Γ and its automorphisms.
• Classify and remove small finite orbits via Lisovyy–Tykhyy results on Painlevé VI related orbits.
• Employ endgame strategy and Weil-type bounds with sieve methods to construct a large connected component containing most orbits.
• Address degeneracy by introducing a nondegeneracy condition (Definition 1.4) and prove separate transitivity results for nondegenerate cases.
• Consider extensions Γ′ including extra automorphisms to verify they do not collapse large orbits in the nondegenerate setting.

Experimental results

Research questions

• RQ1 Under what conditions on (A,B,C,D) does Γ act transitively on the non-exceptional part of S_{A,B,C,D}(F_p) for a density-one set of primes p?
• RQ2 How do small finite orbits arising from complex finite orbits influence transitivity modulo p, and how can they be classified and isolated?
• RQ3 What degeneracy conditions force multiple large Γ-orbits, and how do extra automorphisms affect orbit connectivity in degenerate cases?
• RQ4 How do the results apply to the combinatorial group theory of SL_2(F_p) via the X^2+Y^2+Z^2=XYZ+k family and to generalized cluster algebras?
• RQ5 Can the density-one transitivity be made uniform over parameters A,B,C,D or extended to other moduli (e.g., N or p-adic contexts)?

Key findings

• For nondegenerate (A,B,C,D), there exists a density-one set of primes p where S_{A,B,C,D}(F_p) has a single giant Γ-orbit and the rest are small orbits coming from finite Γ-orbits over C.
• Small exceptional orbits over C (Type I–IV and 45 exceptional orbits) persist modulo p as predicted, and their union E(p) is precisely removed to obtain the large transitive component S^*_{A,B,C,D}(p).
• In degenerate cases, there must be at least two large Γ-orbits, and sometimes four, under the action of Γ; extra automorphisms in Γ′ may connect some, but not all, large orbits.
• The results nearly prove the Q-classification conjecture of McCullough and Wanderley for density-one primes in the k ≠ 4 case of X^2+Y^2+Z^2=XYZ+k, connecting to Higman invariant classifications for SL_2(F_p).
• For the generalized cluster algebra family (1.3), the nondegeneracy condition specializes to a degeneracy condition studied by de Courcy-Ireland, Litman, and Mizuno, yielding transitivity for all sufficiently large p independent of a1,a2,a3.