Markoff-like Surfaces

• Markoff-like surfaces are families of affine cubic surfaces defined via the Markoff polynomial and its variants, characterized by Vieta-type involutions and strong symmetry properties.
• They provide practical insights into arithmetic dynamics, integral Hasse principles, and explicit Brauer–Manin obstructions in the study of Diophantine geometry.
• Research on these surfaces spans finite-field dynamics, p-adic behavior, and K3 analogues, linking trace character varieties and recurrence constraints to deep arithmetic phenomena.

Markoff-like surfaces are families of affine cubic surfaces, and in some extensions K3 surfaces, organized around the Markoff polynomial and its close relatives. In the cited literature, the core examples are the affine cubic surfaces $U_a: x^2+y^2+z^2-xyz=a$, the generalized Markoff surfaces $X_m: x^2+y^2+z^2-3xyz=m$, and several character-variety and Wehler-surface analogues with the same coordinate symmetries and Vieta-type transformations (Mishra, 2024, Alfaya et al., 24 Mar 2026, Dao, 2023). Their study sits at the intersection of Diophantine geometry, arithmetic dynamics, finite-field expansion, Brauer–Manin theory, and low-dimensional character varieties (Ghosh et al., 2021, Dao, 2022).

1. Defining equations and geometric models

In current usage, “Markoff-like” does not refer to a single equation but to a family of closely related level sets and deformations. A central normalization is the Markoff polynomial

$M(x,y,z)=x^2+y^2+z^2-xyz,$

whose level sets

$U_a:\quad x^2+y^2+z^2-xyz=a$

are called the family of affine Markoff type cubic surfaces (Mishra, 2024). Another recurring normalization is

$x^2+y^2+z^2-3xyz=m,$

viewed as a family of generalized Markoff surfaces $X_m$ whose positive integral points are Markoff $m$-triples (Alfaya et al., 24 Mar 2026). The one-parameter family

$V_k:\quad x_1^2+x_2^2+x_3^2-x_1x_2x_3=k$

is the framework in which integral points, “class numbers,” and almost-all Hasse principle results are developed (Ghosh et al., 2017).

Family	Equation	Context
Affine Markoff type cubic surfaces	$x^2+y^2+z^2-xyz=a$	Integral Hasse principle and density results
Generalized Markoff surfaces	$x^2+y^2+z^2-3xyz=m$	Markoff $X_m: x^2+y^2+z^2-3xyz=m$0-triples, trees, and branches
Four-holed-sphere relative character varieties	$X_m: x^2+y^2+z^2-3xyz=m$1	Markoff-type affine cubic surfaces
Markoff-type K3 surfaces	$X_m: x^2+y^2+z^2-3xyz=m$2	Wehler K3 analogues

The geometry depends sharply on the normalization. For

$X_m: x^2+y^2+z^2-3xyz=m$3

the projective closure

$X_m: x^2+y^2+z^2-3xyz=m$4

is smooth if and only if $X_m: x^2+y^2+z^2-3xyz=m$5, and $X_m: x^2+y^2+z^2-3xyz=m$6 is the complement of the hyperplane section $X_m: x^2+y^2+z^2-3xyz=m$7, where the $X_m: x^2+y^2+z^2-3xyz=m$8 are three lines at infinity (Colliot-Thélène et al., 2018). In the $X_m: x^2+y^2+z^2-3xyz=m$9-trace normalization

$M(x,y,z)=x^2+y^2+z^2-xyz,$0

the surfaces are nonsingular affine cubic surfaces for $M(x,y,z)=x^2+y^2+z^2-xyz,$1, and the literature quoted there identifies them as nonsingular log K3’s (Ghosh et al., 2021). The four-holed-sphere family

$M(x,y,z)=x^2+y^2+z^2-xyz,$2

is likewise treated as an affine cubic surface obtained from a smooth cubic surface by removing three coplanar lines (Dao, 2022).

This multiplicity of models is structural rather than terminological. Some papers work with cubic surfaces in $M(x,y,z)=x^2+y^2+z^2-xyz,$3, some with compactifications in $M(x,y,z)=x^2+y^2+z^2-xyz,$4, and some with $M(x,y,z)=x^2+y^2+z^2-xyz,$5-surfaces in $M(x,y,z)=x^2+y^2+z^2-xyz,$6; the common thread is the persistence of Vieta-type involutions, strong coordinate symmetry, and arithmetic problems on integral or finite-field points.

2. Vieta involutions, trees, and orbit structures

The defining formal feature of a Markoff-like surface is that the equation is quadratic in each variable separately, so one can replace one root by the other. For

$M(x,y,z)=x^2+y^2+z^2-xyz,$7

this yields the familiar Vieta involutions

$M(x,y,z)=x^2+y^2+z^2-xyz,$8

together with the analogous involutions in the other coordinates; permutations and double sign changes enlarge the symmetry group (Ghosh et al., 2021, Ghosh et al., 2017). For generalized Markoff $M(x,y,z)=x^2+y^2+z^2-xyz,$9-triples on

$U_a:\quad x^2+y^2+z^2-xyz=a$0

the corresponding transformations are

$U_a:\quad x^2+y^2+z^2-xyz=a$1

and these preserve the Markoff parameter $U_a:\quad x^2+y^2+z^2-xyz=a$2 (Alfaya et al., 24 Mar 2026).

In the integral theory, these involutions organize points into trees, branches, and fundamental domains. For $U_a:\quad x^2+y^2+z^2-xyz=a$3 in the generalized $U_a:\quad x^2+y^2+z^2-xyz=a$4-normalization, a minimal Markoff $U_a:\quad x^2+y^2+z^2-xyz=a$5-triple is defined by $U_a:\quad x^2+y^2+z^2-xyz=a$6, and the number of distinct $U_a:\quad x^2+y^2+z^2-xyz=a$7-trees equals the number of minimal Markoff $U_a:\quad x^2+y^2+z^2-xyz=a$8-triples (Alfaya et al., 24 Mar 2026). In the classical one-parameter family $U_a:\quad x^2+y^2+z^2-xyz=a$9, the Markoff morphisms act with finitely many orbits on $x^2+y^2+z^2-3xyz=m,$0 for every $x^2+y^2+z^2-3xyz=m,$1, while the Cayley cubic $x^2+y^2+z^2-3xyz=m,$2 is exceptional and has infinitely many inequivalent $x^2+y^2+z^2-3xyz=m,$3-orbits (Ghosh et al., 2017).

Over finite fields, the same transformations become graph dynamics. For the classical surface

$x^2+y^2+z^2-3xyz=m,$4

fixing one coordinate $x^2+y^2+z^2-3xyz=m,$5 cuts out a conic $x^2+y^2+z^2-3xyz=m,$6, and the composition of a transposition with a Vieta involution acts on that conic by the matrix

$x^2+y^2+z^2-3xyz=m,$7

with hyperbolic, elliptic, and parabolic cases distinguished by the quadratic character of $x^2+y^2+z^2-3xyz=m,$8 (Bourgain et al., 2016). In the three-parameter deformation

$x^2+y^2+z^2-3xyz=m,$9

the Vieta involutions become

$X_m$0

and the proof of orbit-divisibility by $X_m$1 uses angle functions $X_m$2 satisfying

$X_m$3

on appropriate domains (Courcy-Ireland et al., 2 Sep 2025).

This suggests that “Markoff-like” denotes not only a shape of equation but also a specific dynamical package: quadratic-in-one-variable geometry, involutive mutations, and orbit decompositions that can be studied by conic fibrations, trees, or finite graphs.

3. Integral points, local-global principles, and the Brauer–Manin obstruction

For the affine Markoff type cubic surfaces

$X_m$4

the local solubility criterion is completely explicit: $X_m$5 and the locally soluble parameters have natural density $X_m$6 (Mishra, 2024). In the closely related family

$X_m$7

it is proved that for almost all admissible $X_m$8 the Hasse principle for integral points holds, while there are infinitely many $X_m$9 for which it fails (Ghosh et al., 2017). Mishra sharpened the upper bound on the exceptional set to

$m$0

and deduced density-$m$1 integral Hasse principle results in sparse prime-shifted subfamilies $m$2 (Mishra, 2024).

The Brauer-theoretic structure is unusually explicit for the cubic family

$m$3

Writing $m$4, one has concrete algebraic Brauer classes such as

$m$5

and the algebraic Brauer group $m$6 is computed case by case in terms of the square classes of $m$7, $m$8, and $m$9; the transcendental quotient is described by a Kummer-type condition involving

$V_k:\quad x_1^2+x_2^2+x_3^2-x_1x_2x_3=k$0

(Colliot-Thélène et al., 2018). For the related compactification and affine open, the paper on integral Hasse principle and strong approximation proves that only the squareclasses

$V_k:\quad x_1^2+x_2^2+x_3^2-x_1x_2x_3=k$1

can support an integral Brauer–Manin obstruction, gives

$V_k:\quad x_1^2+x_2^2+x_3^2-x_1x_2x_3=k$2

examples with a Brauer–Manin obstruction, and also

$V_k:\quad x_1^2+x_2^2+x_3^2-x_1x_2x_3=k$3

examples with $V_k:\quad x_1^2+x_2^2+x_3^2-x_1x_2x_3=k$4 but $V_k:\quad x_1^2+x_2^2+x_3^2-x_1x_2x_3=k$5 (Loughran et al., 2018).

A recurring misconception is that Brauer–Manin should account for all arithmetic failures in these families. The cited results show otherwise. For $V_k:\quad x_1^2+x_2^2+x_3^2-x_1x_2x_3=k$6, strong approximation for integral points fails away from every finite set of places, and for $V_k:\quad x_1^2+x_2^2+x_3^2-x_1x_2x_3=k$7 the Brauer group does not control strong approximation (Colliot-Thélène et al., 2018). In the four-holed-sphere family

$V_k:\quad x_1^2+x_2^2+x_3^2-x_1x_2x_3=k$8

the generic algebraic Brauer group is $V_k:\quad x_1^2+x_2^2+x_3^2-x_1x_2x_3=k$9, explicit corestricted quaternion classes are written down, and there are both positive-proportion strong-approximation failures explained by Brauer–Manin and explicit Hasse failures not explained by the algebraic Brauer group (Dao, 2022).

4. Finite-field, $x^2+y^2+z^2-xyz=a$0-adic, and spectral dynamics

For the classical Markoff surface

$x^2+y^2+z^2-xyz=a$1

the finite-field strong approximation conjecture is that for every prime $x^2+y^2+z^2-xyz=a$2,

$x^2+y^2+z^2-xyz=a$3

with $x^2+y^2+z^2-xyz=a$4 a single orbit under the group generated by permutations and Vieta involutions (Bourgain et al., 2016). What is proved unconditionally is already very strong: for every $x^2+y^2+z^2-xyz=a$5 and $x^2+y^2+z^2-xyz=a$6 large there is a giant orbit $x^2+y^2+z^2-xyz=a$7 with

$x^2+y^2+z^2-xyz=a$8

and the number of exceptional primes $x^2+y^2+z^2-xyz=a$9 for which full transitivity fails is at most $x^2+y^2+z^2-3xyz=m$0 (Bourgain et al., 2016).

Computational evidence sharpens this picture. For every prime $x^2+y^2+z^2-3xyz=m$1, the nonzero mod-$x^2+y^2+z^2-3xyz=m$2 Markoff graph is connected, confirming the Bourgain–Gamburd–Sarnak conjecture in that range (Courcy-Ireland et al., 2018). The same paper reports that for $x^2+y^2+z^2-3xyz=m$3, the second adjacency eigenvalue appears to approach $x^2+y^2+z^2-3xyz=m$4, suggesting asymptotically Ramanujan behavior, whereas for $x^2+y^2+z^2-3xyz=m$5 the data suggest a weaker limiting gap near $x^2+y^2+z^2-3xyz=m$6; in both residue classes, the bulk spectrum matches the Kesten–McKay law (Courcy-Ireland et al., 2018).

Several recent works quantify the dynamics further. “Bounding Lifts of Markoff Triples mod $x^2+y^2+z^2-3xyz=m$7” derives explicit upper bounds for the size of integral lifts of mod-$x^2+y^2+z^2-3xyz=m$8 points by analyzing path growth in the Markoff graphs, including a bound

$x^2+y^2+z^2-3xyz=m$9

under a large-order hypothesis (Bellah et al., 2023). On the $X_m: x^2+y^2+z^2-3xyz=m$00-adic side, “Residual Transitivity implies Minimality for Markoff Surfaces over $X_m: x^2+y^2+z^2-3xyz=m$01-adic Integers” proves that if $X_m: x^2+y^2+z^2-3xyz=m$02 and either $X_m: x^2+y^2+z^2-3xyz=m$03 or $X_m: x^2+y^2+z^2-3xyz=m$04, then transitivity of $X_m: x^2+y^2+z^2-3xyz=m$05 on $X_m: x^2+y^2+z^2-3xyz=m$06 implies minimality on $X_m: x^2+y^2+z^2-3xyz=m$07, using $X_m: x^2+y^2+z^2-3xyz=m$08-adic analytic flows (Jang, 26 Feb 2025).

Beyond transitivity, Markoff-like dynamics exhibit other local-global phenomena. For the normalized Markoff surface

$X_m: x^2+y^2+z^2-3xyz=m$09

the compositions $X_m: x^2+y^2+z^2-3xyz=m$10 of two reflections are strongly residually periodic: $X_m: x^2+y^2+z^2-3xyz=m$11 is $X_m: x^2+y^2+z^2-3xyz=m$12, and the periodic points modulo almost every prime come from the periodic conics $X_m: x^2+y^2+z^2-3xyz=m$13, which have no $X_m: x^2+y^2+z^2-3xyz=m$14-rational points (Vishkautsan, 2015). In the off-diagonal deformation

$X_m: x^2+y^2+z^2-3xyz=m$15

one has a different finite-field rigidity theorem: if $X_m: x^2+y^2+z^2-3xyz=m$16, $X_m: x^2+y^2+z^2-3xyz=m$17, and $X_m: x^2+y^2+z^2-3xyz=m$18 for all $X_m: x^2+y^2+z^2-3xyz=m$19, then every nontrivial orbit has size divisible by $X_m: x^2+y^2+z^2-3xyz=m$20; on the Cayley-cubic exceptional locus there are parameter families with at least two or four nontrivial orbits (Courcy-Ireland et al., 2 Sep 2025).

5. Character varieties, recurrence constraints, and arithmetic slices

A major source of Markoff-like surfaces is trace geometry. For the commutator equation

$X_m: x^2+y^2+z^2-3xyz=m$21

if

$X_m: x^2+y^2+z^2-3xyz=m$22

then the Fricke identity gives

$X_m: x^2+y^2+z^2-3xyz=m$23

Thus the cubic surfaces

$X_m: x^2+y^2+z^2-3xyz=m$24

arise as $X_m: x^2+y^2+z^2-3xyz=m$25-trace surfaces attached to commutator equations and to the once-punctured-torus character variety (Ghosh et al., 2021). The four-holed-sphere relative character variety produces the different but closely related family

$X_m: x^2+y^2+z^2-3xyz=m$26

which is explicitly treated as a Markoff-type cubic surface in Brauer–Manin theory (Dao, 2022).

A different kind of specialization comes from recurrence sequences. On the generalized surfaces

$X_m: x^2+y^2+z^2-3xyz=m$27

the paper “Branches of Markoff $X_m: x^2+y^2+z^2-3xyz=m$28-triples with two $X_m: x^2+y^2+z^2-3xyz=m$29-Fibonacci components” studies integral points with at least two coordinates in a fixed $X_m: x^2+y^2+z^2-3xyz=m$30-Fibonacci sequence (Alfaya et al., 24 Mar 2026). It proves that every non-minimal such triple has the form

$X_m: x^2+y^2+z^2-3xyz=m$31

where $X_m: x^2+y^2+z^2-3xyz=m$32 is odd, $X_m: x^2+y^2+z^2-3xyz=m$33, $X_m: x^2+y^2+z^2-3xyz=m$34, and $X_m: x^2+y^2+z^2-3xyz=m$35 is odd when $X_m: x^2+y^2+z^2-3xyz=m$36 (Alfaya et al., 24 Mar 2026). It also proves that every infinite path of Markoff $X_m: x^2+y^2+z^2-3xyz=m$37-triples with at least two $X_m: x^2+y^2+z^2-3xyz=m$38-Fibonacci components is contained in a principal $X_m: x^2+y^2+z^2-3xyz=m$39-Fibonacci branch, and that for fixed $X_m: x^2+y^2+z^2-3xyz=m$40 these branches are distributed among exactly $X_m: x^2+y^2+z^2-3xyz=m$41 distinct trees (Alfaya et al., 24 Mar 2026).

This suggests that recurrence constraints can cut out highly rigid arithmetic subgraphs inside a Markoff-like surface: rather than producing sporadic integral points, they can force an explicit branch structure governed simultaneously by Lucas-sequence identities and Vieta dynamics.

6. K3 analogues and higher-dimensional Markoff-type geometry

The Markoff paradigm extends beyond cubic surfaces. A Wehler surface is a hypersurface of multidegree $X_m: x^2+y^2+z^2-3xyz=m$42 in

$X_m: x^2+y^2+z^2-3xyz=m$43

and when smooth it is a K3 surface. A Markoff-type K3 surface is a Wehler surface invariant under permutations of $X_m: x^2+y^2+z^2-3xyz=m$44 and double sign changes, hence given in affine coordinates by

$X_m: x^2+y^2+z^2-3xyz=m$45

with nondegeneracy conditions

$X_m: x^2+y^2+z^2-3xyz=m$46

(Dao, 2023). In one explicit family,

$X_m: x^2+y^2+z^2-3xyz=m$47

arithmetic hypotheses imply that the compactification $X_m: x^2+y^2+z^2-3xyz=m$48 is a smooth K3 surface with

$X_m: x^2+y^2+z^2-3xyz=m$49

while for the affine open $X_m: x^2+y^2+z^2-3xyz=m$50,

$X_m: x^2+y^2+z^2-3xyz=m$51

with explicit algebraic classes such as

$X_m: x^2+y^2+z^2-3xyz=m$52

(Dao, 2023). The same work constructs infinite families of integral Hasse principle failures and explicit Brauer-obstructed failures of strong approximation for three one-parameter MK3 families (Dao, 2023).

A later paper isolates a different MK3 family

$X_m: x^2+y^2+z^2-3xyz=m$53

and proves that it contains surfaces with Zariski-dense rational points but no integral points, the failure of the integral Hasse principle being explained by an algebraic Brauer–Manin obstruction (Dao, 15 Apr 2025). This separates the rational and integral theories in a particularly sharp way.

Finite-field dynamics on K3 analogues can also depart from the cubic picture. For the tri-involutive K3 family

$X_m: x^2+y^2+z^2-3xyz=m$54

O’Dorney explains a phenomenon observed numerically by Fuchs, Litman, Silverman, and Tran: when $X_m: x^2+y^2+z^2-3xyz=m$55, the points of $X_m: x^2+y^2+z^2-3xyz=m$56 do not form a single large orbit under the natural symmetry group $X_m: x^2+y^2+z^2-3xyz=m$57, but admit a partition into two disjoint $X_m: x^2+y^2+z^2-3xyz=m$58-invariant subsets, each of size

$X_m: x^2+y^2+z^2-3xyz=m$59

and the mechanism is an explicit double cover of $X_m: x^2+y^2+z^2-3xyz=m$60 (O'Dorney, 2022). A plausible implication is that, once one passes from cubic surfaces to K3 surfaces, the Markoff combination of Vieta dynamics and local-global arithmetic survives, but hidden covering structures can become a first-order obstruction to single-orbit behavior.