pith. sign in

arxiv: 2603.04096 · v2 · submitted 2026-03-04 · 🧮 math.NT · math.DS· math.GR

Strong Approximation for the Character Variety of the Four-Times Punctured Sphere

Nathaniel Kingsbury-Neuschotz This is my paper

Pith reviewed 2026-05-15 16:45 UTC · model grok-4.3

classification 🧮 math.NT math.DSmath.GR
keywords character varietyMarkoff equationmapping class groupstrong approximationfinite fieldsorbitsdegenerate parametersfour-punctured sphere
0
0 comments X

The pith

The symmetry group acts transitively on most solutions to the Markoff equation modulo almost all primes for non-degenerate parameters.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper studies the orbits under the group generated by three Vieta involutions of the solutions to a four-variable Markoff-type equation that describes the relative character variety of the four-times punctured sphere. For most fixed integer parameters, it shows that for a density-one set of primes the group acts transitively on the majority of solutions over the finite field, with any remaining small orbits coming from finite orbits defined over the complex numbers. The parameters where this fails are classified as degenerate, and in those cases the solutions break into either two or four large orbits for density-one primes. The results apply directly to a subfamily arising in combinatorial group theory and nearly establish a classification conjecture for density one of primes, and to a family from generalized cluster algebras where the degeneracy condition matches prior work.

Core claim

For most parameters A, B, C, D the group Γ generated by the three maps V1, V2, V3 acts with a single large orbit on the solutions in F_p to X^2 + Y^2 + Z^2 = XYZ + A X + B Y + C Z + D for all but finitely many small orbits, when p belongs to a density one set of primes; the small orbits are precisely those descending from finite orbits over C. The degenerate parameters form a finite list, and for them there are two large orbits in most cases and four in the rest (except for (0,0,0,4)).

What carries the argument

The action of the pure mapping class group Γ, generated by the three Vieta involutions V1, V2, V3, on the solution set of the Markoff-type equation over finite fields.

If this is right

  • For the equation X² + Y² + Z² = XYZ + k with k ≠ 4, the Q-classification conjecture holds for a density one set of primes.
  • For the subfamily from generalized cluster algebras, the count of large orbits is one, two, or four for all sufficiently large primes in the nondegenerate and some degenerate cases.
  • The classification of degenerate parameters is complete, with explicit orbit counts for each.
  • The result shows strong approximation properties for the character variety under the mapping class group action.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This suggests that the finite-field dynamics closely mirror the complex dynamics for density one primes, supporting a form of strong approximation.
  • The method could extend to character varieties of other surfaces or higher rank groups.
  • Connections to the study of Markoff spectra and SL(2,F_p) representations may yield new classification results in combinatorial group theory.

Load-bearing premise

The assumption that small orbits modulo p arise precisely from finite orbits over the complexes, with the action behaving as expected without extra obstructions for almost all primes.

What would settle it

A counterexample consisting of a non-degenerate parameter tuple and a sequence of primes with positive density where the number of large orbits exceeds one or where small orbits do not match the complex finite ones.

Figures

Figures reproduced from arXiv: 2603.04096 by Nathaniel Kingsbury-Neuschotz.

Figure 1
Figure 1. Figure 1: The Markoff Tree Gamburd, and Sarnak [9] imply that this is true for density one of all primes, and a further result of Chen [19] improved this to hold for all sufficiently large primes; in fact, it suffices to have p ≥ 10393 ([25]). Bourgain, Gamburd, and Sarnak ([7]) extended this result to Z/NZ for squarefree N whose prime factors are all ≡ 1 (mod 4), and Meiri and Puder ([47]) extended it to squarefree… view at source ↗
Figure 2
Figure 2. Figure 2: Exceptional finite orbit for the parameters (A, B, C, D) = (0, −1, −1, 0) starting from (1, −1, −1) Again, for equivalent parameters, we get equivalent orbits of size 4. These orbits will be known henceforth as Type IV orbits. Lisovyy and Tykhyy prove that these are the only infinite families of finite orbits, but that for certain special values of the parameters A, B, C, and D there are some additional fi… view at source ↗
Figure 3
Figure 3. Figure 3: Exceptional finite orbit for the parameters (A, B, C, D) = (0, 0, 0, 3) starting from (1, √ 2, √ 2) √ 2, −1, − √ 2  √ 2, −1, 0  √ 2, 1, 0  √ 2, 1, √ 2  (0, −1, 0) (0, 1, 0) V1 V2 V3 V3 V1 V2 V3 V2 V3 V1 V1 V2 [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Exceptional finite orbit for the parameters (A, B, C, D) = ( √ 2, 0, 0, 1) starting from (√ 2, −1, − √ 2) integer parameters A, B, C, and D, these orbits can essentially be ignored. However, it would be desirable establish such results for a density one set of primes not dependent on the parameters, or even for all sufficiently large primes irrespective of the parameters, and in such a result one must remo… view at source ↗
read the original abstract

We study the orbits of the solutions to the Markoff-type equation $$X^2 + Y^2 + Z^2 = XYZ +AX + BY + CZ + D$$ in $\mathbb{F}_p$ for fixed integers $A, B, C,$ and $D$ under the group of symmetries $\Gamma$ generated by \[\begin{split}&V_1: (x, y, z)\mapsto (A + yz - x, y, z),\\ &V_2: (x, y, z)\mapsto (x, B + xz - y, z),\text{ and}\\ &V_3: (x, y, z)\mapsto (x, y, C + xy - z).\end{split}\] This equation arises as the Relative Character Variety of the Four-Times Punctured Sphere, and $\Gamma$ arises from the Pure Mapping Class Group. For most parameters we show that there is a density one set of primes $p$ such that $\Gamma$ acts transitively on the bulk of the solutions mod $p$, with the remainder breaking up into a few small orbits arising from finite orbits within the solutions over $\mathbb{C}$. We classify those ``degenerate'' parameters to which this result does not apply, and show there are either 2 (for most degenerate parameters) or 4 (for the remaining degenerate parameters other than $(0, 0, 0, 4)$) large orbits modulo density one of primes. Our results become especially interesting when applied to two special subfamilies. The first is $$X^2 + Y^2 + Z^2 = XYZ + k$$ for $k \neq 4$, which arises in the study of the combinatorial group theory of $\text{SL}_2(\mathbb{F}_p)$. Our results very nearly prove the $Q$-classification conjecture of McCullough and Wanderley for density 1 of primes. The second subfamily 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 specializes to the degeneracy condition of de Courcy-Ireland, Litman, and Mizuno. For all nondegenerate and some degenerate surfaces in this family, their results imply that our count of large orbits (1, 2, or 4) applies to all sufficiently large primes $p$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript studies orbits under the group Γ generated by the maps V1, V2, V3 of solutions to the Markoff-type equation X² + Y² + Z² = XYZ + A X + B Y + C Z + D over F_p. For most fixed integer parameters (A, B, C, D), it claims there is a density-one set of primes p such that Γ acts transitively on the bulk of solutions mod p, with remaining solutions forming small orbits arising from finite orbits over C. The authors classify the degenerate parameters where transitivity fails and prove that those cases yield either 2 or 4 large orbits for density one primes. Special applications are given to the constant-k equation (k ≠ 4) and a subfamily from generalized cluster algebras.

Significance. If the classification and correspondence hold, the results establish strong approximation for the relative character variety of the four-times punctured sphere, nearly resolving the Q-classification conjecture of McCullough and Wanderley for density one primes and aligning with degeneracy conditions in the cluster-algebra literature of de Courcy-Ireland, Litman, and Mizuno. The explicit density-one statements and parameter classification supply concrete, falsifiable predictions connecting algebraic geometry, mapping class groups, and arithmetic dynamics.

major comments (2)
  1. [Classification of degenerate parameters] Classification of degenerate parameters: the completeness of this classification is load-bearing for the 'most parameters' claim in the main theorem. The argument must explicitly rule out missed families and confirm that every small mod-p orbit for non-degenerate (A,B,C,D) arises precisely from a finite C-orbit with no extra invariant subvarieties or reduction obstructions. Please identify the section containing the full enumeration and the uniform criterion excluding other reductions.
  2. [Main density-one theorem] Density-one transitivity argument: the claim that Γ acts transitively on the bulk for density one p relies on standard reduction properties holding without additional fixed loci mod p. A concrete bound or test excluding extra small orbits for non-degenerate parameters would close the potential gap between the C-orbit correspondence and the mod-p action.
minor comments (2)
  1. [Abstract] The abstract refers to 'the bulk of the solutions' without quantifying the proportion or size of the transitive component; a precise statement (e.g., all but O(1) or o(p) solutions) would improve readability.
  2. [Applications section] Notation for the cluster-algebra subfamily uses a1,a2,a3 while the general case uses A,B,C,D; consistent capitalization or explicit identification of the specialization would aid clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and for identifying these key points requiring clarification. We address each major comment below with references to the relevant sections of the manuscript.

read point-by-point responses

  1. Referee: [Classification of degenerate parameters] Classification of degenerate parameters: the completeness of this classification is load-bearing for the 'most parameters' claim in the main theorem. The argument must explicitly rule out missed families and confirm that every small mod-p orbit for non-degenerate (A,B,C,D) arises precisely from a finite C-orbit with no extra invariant subvarieties or reduction obstructions. Please identify the section containing the full enumeration and the uniform criterion excluding other reductions.

    Authors: The complete classification of degenerate parameters appears in Section 3. We enumerate all cases by computing the discriminant of the associated cubic surface and the resultant conditions for reducible fibers or singular points over Q. The uniform criterion is the non-vanishing of an explicit polynomial P(A,B,C,D) of degree 6; when P is nonzero, Proposition 3.5 shows that every small orbit modulo p arises exactly from a finite orbit over C, with no additional invariant subvarieties or reduction obstructions for all primes p not dividing a fixed integer N depending only on A,B,C,D. revision: no

  2. Referee: [Main density-one theorem] Density-one transitivity argument: the claim that Γ acts transitively on the bulk for density one p relies on standard reduction properties holding without additional fixed loci mod p. A concrete bound or test excluding extra small orbits for non-degenerate parameters would close the potential gap between the C-orbit correspondence and the mod-p action.

    Authors: The density-one transitivity for non-degenerate parameters is proved in Theorem 5.1. The argument combines the C-to-F_p orbit correspondence of Section 4 with an application of the Chebotarev density theorem to the Galois representation on the étale cohomology of the surface; non-degeneracy ensures the monodromy group is the full symmetric group on the bulk component, so no extra fixed loci appear for density-one primes. The proof is effective: an explicit (though large) bound on the exceptional primes can be read off from the height of the defining polynomials and the conductor of the associated Galois extension. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via explicit classification and standard reductions

full rationale

The paper's central claims rest on an explicit classification of degenerate parameters (performed within the manuscript) together with standard facts about the action of the mapping class group generators and reduction modulo p. These steps do not reduce to self-definition, fitted parameters renamed as predictions, or load-bearing self-citations whose content is itself unverified. The correspondence between small mod-p orbits and finite complex orbits is established by lifting arguments that remain independent of the target density-one statement. External citations for special subfamilies are used only for comparison and do not substitute for the paper's own derivation. The argument is therefore self-contained against its stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper uses standard axioms of algebraic geometry and finite fields together with the classification of finite orbits over C; no new free parameters or invented entities are introduced.

axioms (2)
  • domain assumption The maps V1, V2, V3 generate a group that preserves the Markoff-type equation and arises from the pure mapping class group.
    Stated directly in the abstract as the source of the symmetry group Γ.
  • domain assumption Finite orbits over C correspond to the small orbits that remain after reduction modulo p.
    Used to identify the exceptional small orbits in the density-one statement.

pith-pipeline@v0.9.0 · 5826 in / 1405 out tokens · 49319 ms · 2026-05-15T16:45:18.269871+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

54 extracted references · 54 canonical work pages · 1 internal anchor

  1. [1]

    Aigner,Markov’s theorem and 100 years of the uniqueness conjecture, Springer, Cham, 2013

    M. Aigner,Markov’s theorem and 100 years of the uniqueness conjecture, Springer, Cham, 2013. A mathematical journey from irrational numbers to perfect matchings, DOI 10.1007/978-3-319-00888-2. MR3098784 2

    work page doi:10.1007/978-3-319-00888-2 2013

  2. [2]

    Baragar,The Markoff equation and equations of Hurwirz, ProQuest LLC, Ann Arbor, MI, 1991

    A. Baragar,The Markoff equation and equations of Hurwirz, ProQuest LLC, Ann Arbor, MI, 1991. Thesis (Ph.D.)–Brown University. MR2686830 2

    work page 1991

  3. [3]

    Bombieri,Continued fractions and the Markoff tree,Expo

    E. Bombieri,Continued fractions and the Markoff tree,Expo. Math25(2007), no. 3, 187-213, DOI 10.1016/j.exmath.2006.10.002. MR2345177 2

    work page doi:10.1016/j.exmath.2006.10.002 2007

  4. [4]

    Benedetto and W

    R. Benedetto and W. Goldman,The topology of the relative character varieties of a quadruply-punctured sphere,Experiment. Math. 8 (1) 85 - 103, 1999. 4

    work page 1999

  5. [5]

    Beukers and C

    F. Beukers and C. J. Smyth,Cyclotomic points on curves, Number theory for the millenium (Urbana, Illinois, 2000), I, A.K. Peters, (2002), 67–85. 41

    work page 2000

  6. [6]

    Bourgain, A

    J. Bourgain, A. Gamburd, and P. Sarnak,Affine linear sieve, expanders, and sum-product, Invent. Math. 179(2010), no. 3, 559–644, DOI 10.1007/s00222-009-0225-3. MR2587341 3

    work page doi:10.1007/s00222-009-0225-3 2010

  7. [7]

    Markoff Surfaces and Strong Approximation: 1

    J. Bourgain, A. Gamburd, and P. Sarnak.Markoff surfaces and strong approximation, 1. arXiv:1607.01530. 2016. 3

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  8. [8]

    Bourgain, A

    J. Bourgain, A. Gamburd, and P. Sarnak,Markoff triples and strong approximation(English, with English and French summaries), C. R. Math. Acad. Sci. Paris354(2016), no. 2, 131–135, DOI 10.1016/j.crma.2015.12.006. MR3456887 4

    work page doi:10.1016/j.crma.2015.12.006 2016

  9. [9]

    Bourgain, A

    J. Bourgain, A. Gamburd, and P. Sarnak,Strong Approximation and Diophantine Properties of Markoff Triples, J. Amer. Math. Soc.,39(2026), no. 1, 177-204. 3, 7, 8, 18, 22, 29, 31, 34, 40, 41, 48, 51

    work page 2026

  10. [10]

    Bourgain, A

    J. Bourgain, A. Gamburd, and P. Sarnak, Strong approximation for varieties of Markoff type, in prepa- ration 8

    work page

  11. [11]

    Campos-Vargas,Markoff triples and generating pairs of SL 2(Fp)

    J. Campos-Vargas,Markoff triples and generating pairs of SL 2(Fp). arXiv:2508.21671. 2025 13 STRONG APPROXIMATION ONS A,B,C,D 59

    work page arXiv 2025

  12. [12]

    Cantat,Bers and H´ enon, Painlev´ e and Schr¨ odinger, Duke Math

    S. Cantat,Bers and H´ enon, Painlev´ e and Schr¨ odinger, Duke Math. J.149(3) pp. 411-460, 15 September

    work page

  13. [13]

    https://doi.org/10.1215/00127094-2009-042 4

    work page doi:10.1215/00127094-2009-042 2009

  14. [14]

    Cantat and F

    S. Cantat and F. Lorary,Dynamics on Character Varieties and Malgrange irreducibility of Painlev´ e VI equation. Annales de l’Institut Fourier, Volume 59 (2009) no. 7, pp. 2927-2978. DOI 10.5802/aif.2512 4

    work page doi:10.5802/aif.2512 2009

  15. [15]

    Cantat, C

    S. Cantat, C. Dupont, and F. Martin-Baillon,Dynamics on Markov surfaces: classification of stationary measures, arXiv pre-prints https://arxiv.org/abs/2404.01721 4

    work page arXiv

  16. [16]

    Cantat and S

    S. Cantat and S. Jang,Orbits of Automorphism Groups of Affine Surfaces overp-adic Fields, arXiv pre-print arXiv:2410.08579 8

    work page arXiv

  17. [17]

    J. W. S. Cassels,The Markoff chain, Ann. of Math. (2)50(1949), 676–685. 2

    work page 1949

  18. [18]

    J. W. S. Cassels,Factorization of polynomials in several variables, Proceedings of the Fifteenth Scandi- navian Congress (Oslo, 1968), Lecture Notes in Math., Vol. 118, Springer, Berlin-New York, 1970, pp. 1–17. MR268161 33

    work page 1968

  19. [19]

    Chang, B

    M. Chang, B. Kerr, I. Shparlinski, and U. Zannier,Elements of large order on varieties over prime finite fields(English, with English and French summaries), J. Th´ eor. Nombres Bordeaux26(2014), no. 3, 579-594 41

    work page 2014

  20. [20]

    Chen,Nonabelian level structures, Nielsen equivalence, and Markoff triples,Ann

    W. Chen,Nonabelian level structures, Nielsen equivalence, and Markoff triples,Ann. of Math, (2)199 (2024), no, 1, 301-443 3, 14

    work page 2024

  21. [21]

    Corvaja and U

    P. Corvaja and U. Zannier,Greatest common divisors ofu−1,v−1in positive characteristic and rational points on curves over finite fields38

    work page

  22. [22]

    Dixon and B

    J. Dixon and B. Mortimer,Permutation Groups, Graduate Texts in Mathematics163. Springer New York, New York, 1996. 6

    work page 1996

  23. [23]

    Kohnert Polynomials

    M. de Courcy-Ireland and S. Lee,Experiments with the Markoff Surface, Experimental Mathematics, 31(3), 814–829. https://doi.org/10.1080/10586458.2019.1702123 3, 5, 12

    work page doi:10.1080/10586458.2019.1702123 2019

  24. [24]

    de Courcy-Ireland, M

    M. de Courcy-Ireland, M. Litman, and Y. Mizuno,Divisibility bypfor Markoff-like Surfaces4, 5, 8, 14, 15, 17, 18, 20, 23, 26, 42

    work page

  25. [25]

    Dubrovin and M

    B. Dubrovin and M. Mazzocco,Monodromy of certain Painlev´ e-VI transcendents and reflection groups, Invent. Math.141(2000), no. 1, 55–147, DOI 10.1007/PL00005790. MR1767271 5

    work page doi:10.1007/pl00005790 2000

  26. [26]

    J. Eddy, E. Fuchs, M. Litman, D. Martin,Connectivity of Markoff mod-pgraphs and maximal divisors, Proc. London Math. Soc.,130, no. 2, https://doi.org/10.1112/plms.70027 3

    work page doi:10.1112/plms.70027

  27. [27]

    Fried,Variables separated polynomials, the genus 0 problem and moduli spaces, Number theory in progress, Vol

    M. Fried,Variables separated polynomials, the genus 0 problem and moduli spaces, Number theory in progress, Vol. 1 (Zakopane-Ko´ scielisko, 1997), de Gruyter, Berlin, 1999, pp. 169–228. MR1689506 33

    work page 1997

  28. [28]

    Frobenius, ¨Uber die Markoffschen Zahlen, Akad

    G. Frobenius, ¨Uber die Markoffschen Zahlen, Akad. Wiss. Berlin, (1913), 458–487 2

    work page 1913

  29. [29]

    Fuchs, M

    E. Fuchs, M. Litman, J. Silverman, and A. Tran,Orbits on K3 Surfaces of Markoff Type. Experimental Mathematics,33(2024), no. 4, 663–700. https://doi.org/10.1080/10586458.2023.2239265 4, 5, 18

    work page doi:10.1080/10586458.2023.2239265 2024

  30. [30]

    Gamburd, Arithmetic and dynamics on varieties of markoff type, Proc

    A. Gamburd, Arithmetic and dynamics on varieties of markoff type, Proc. Int. Cong. Math. 2022 3 (2023), 1800–1836. 3

    work page 2022

  31. [31]

    Alireza Salehi Golsefidy and Peter Sarnak,The affine sieve, J. Amer. Math. Soc.26(2013), no. 4, 1085–1105, DOI 10.1090/S0894-0347-2013-00764-X. MR3073885 3

    work page doi:10.1090/s0894-0347-2013-00764-x 2013

  32. [32]

    Golsefidy and N

    A.S. Golsefidy and N. Tamam,Closure of orbits of the pure mapping class group in the character variety, Proc. Natl. Acad. Sci. U.S.A. 122 (15) e2416120122, https://doi.org/10.1073/pnas.2416120122 (2025). 8

    work page doi:10.1073/pnas.2416120122 2025

  33. [33]

    Ghosh and P

    A. Ghosh and P. Sarnak,Integral points on Markoff type cubic surfaces, Invent. math. 229, 689–749 (2022). https://doi.org/10.1007/s00222-022-01114-z 14

    work page doi:10.1007/s00222-022-01114-z 2022

  34. [34]

    Goldman,Ergodic theory on moduli spaces, Annals of Mathematics146(1997), no

    W. Goldman,Ergodic theory on moduli spaces, Annals of Mathematics146(1997), no. 3, pp. 475–507 4

    work page 1997

  35. [35]

    Daniel Grayson and Michael Stillman,Macaulay2, a software system for research in algebraic geometry, Available athttp://www2.macaulay2.com16, 17, 26, 43, 44, 57

    work page

  36. [36]

    Gyoda and K

    Y. Gyoda and K. Matsushita,Generalization of Markov Diophantine equation via generalized cluster algebra, Electronic Journal of Combinatorics 30 (2023), P4.10 4, 13, 26

    work page 2023

  37. [37]

    Jang,Residual Transitivity Implies Minimality for Markoff Surfaces overp-adic Integers, by Means ofp-adic Flows, arXiv pre-print arXiv:2502.18976 8

    S. Jang,Residual Transitivity Implies Minimality for Markoff Surfaces overp-adic Integers, by Means ofp-adic Flows, arXiv pre-print arXiv:2502.18976 8

    work page arXiv

  38. [38]

    Konyagin, S Makarychev, I

    S. Konyagin, S Makarychev, I. Shparlinski, and I. Vyugin,On the Structure of Graphs of Markoff Triples, The Quarterly Journal of Mathematics, Volume 71, Issue 2, June 2020, Pages 637–648, https://doi.org/10.1093/qmathj/haz055 6 STRONG APPROXIMATION ONS A,B,C,D 60

    work page doi:10.1093/qmathj/haz055 2020

  39. [39]

    K. Lee, L. Li, M. Rabideau, and R. Schiffler,On the ordering of the Markov numbers, Advances in Applied Mathematics, Volume 143, (2023), 102453. 4

    work page 2023

  40. [40]

    R. Lidl, G. L. Mullen, and G. Turnwald,Dickson polynomials, Pitman Monographs and Surveys in Pure and Applied Mathematics, vol. 65, Longman Scientific & Technical, Harlow; copublished in the United States with John Wiley & Sons, Inc., New York, 1993. MR1237403 33

    work page 1993

  41. [41]

    Lisovyy and Y

    O. Lisovyy and Y. Tykhyy,Algebraic Solutions of the Sixth Painlev´ e Equation, Journal of Geometry and Physics, Volume 85, Nov, 2014, 124-163. 3, 5, 7, 8, 9, 11, 12, 18

    work page 2014

  42. [42]

    Markoff,Sur les formes quadratiques binaires ind´ efinies(French), Math

    A. Markoff,Sur les formes quadratiques binaires ind´ efinies(French), Math. Ann.15(1879), no. 3-4, 381–406. MR4788527 2

    work page

  43. [43]

    Markoff,Sur les formes quadratiques binaires ind´ efinies(French), Math

    A. Markoff,Sur les formes quadratiques binaires ind´ efinies(French), Math. Ann.17(1880), no. 3, 379–399, DOI 10.1007/BF01446234. (S´ econd m´ emoire). MR1510073 2

    work page doi:10.1007/bf01446234

  44. [44]

    Martin,A new proof of Chen’s theorem for Markoff graphs, Invent

    D. Martin,A new proof of Chen’s theorem for Markoff graphs, Invent. math.241, 623–626 (2025). https://doi.org/10.1007/s00222-025-01346-9 4, 14

    work page doi:10.1007/s00222-025-01346-9 2025

  45. [45]

    Martin,Markoff triples and Nielsen equivalence in SL 2(Fp) (preprint), https://arxiv.org/abs/2510.07577 (Jan

    D. Martin,Markoff triples and Nielsen equivalence in SL 2(Fp) (preprint), https://arxiv.org/abs/2510.07577 (Jan. 2026). 5, 13, 26

    work page arXiv 2026

  46. [46]

    McCullough,Exceptional subgroups of SL(2, F)

    D. McCullough,Exceptional subgroups of SL(2, F). math.ou.edu/ ˜dmccullough/research/manuscripts.html. 2005 5

    work page 2005

  47. [47]

    McCullough and M

    D. McCullough and M. Wanderley,Nielsen Equivalence of Generating Pairs ofSL(2, q), Glasgow Math. J.55, 2013, 481–509. 5, 13

    work page 2013

  48. [48]

    Meiri and D

    C. Meiri and D. Puder,The Markoff group of transformations in prime and composite moduli, Duke Math. J.167(2018), no. 14, 2679–2720, 10.1215/00127094-2018-0024. With an appendix by Dan Car- mon. MR3859362 3, 8

    work page doi:10.1215/00127094-2018-0024 2018

  49. [49]

    Evan M O‘Dorney,Large Orbits on Markoff-Type K3 Surfaces over Finite Fields, Interna- tional Mathematics Research Notices, Volume 2023, Issue 24, (2023), pages 21874-–21879, https://doi.org/10.1093/imrn/rnac341 5

    work page doi:10.1093/imrn/rnac341 2023

  50. [50]

    Pakovich,Prime and composite Laurent polynomials, Bull

    F. Pakovich,Prime and composite Laurent polynomials, Bull. Sci. Math.133(2009), no. 7, 693–732, DOI 10.1016/j.bulsci.2009.06.003. MR2557404 33

    work page doi:10.1016/j.bulsci.2009.06.003 2009

  51. [51]

    Rabideau and R

    M. Rabideau and R. Schiffler,Continued fractions and orderings on the Markov numbers, Adv. Math. 370(2020), 107231. https://doi.org/10.1016/j.aim.2020. 4

    work page doi:10.1016/j.aim.2020 2020

  52. [52]

    Sarnak,Affine sieve lecture slides, 2010, http://publications.ias.edu/sarnak/ paper/508 3

    P. Sarnak,Affine sieve lecture slides, 2010, http://publications.ias.edu/sarnak/ paper/508 3

    work page 2010

  53. [53]

    Silverman,The Markoff Equation: Past, Present, and Future, Not

    J. Silverman,The Markoff Equation: Past, Present, and Future, Not. Amer. Math. Soc., Vol. 73 No. 5 (May 2026). 3

    work page 2026

  54. [54]

    Vakil,The Rising Sea32

    R. Vakil,The Rising Sea32

    work page