The cycle structure of a Markoff automorphism over finite fields

TL;DR

This paper studies the action of pseudo-Anosov automorphisms on Markoff-type varieties over finite fields, revealing a logarithmic lower bound on orbit lengths and a dichotomy in asymptotic behavior linked to quadratic forms.

Contribution

It establishes a sharp conjecture about permutation groups on these varieties and connects orbit dynamics to algebraic properties of quadratic forms.

Findings

Proves a logarithmic lower bound on orbit lengths for pseudo-Anosov actions.

Identifies a dichotomy in the asymptotic behavior of orbits related to quadratic forms.

Formulates a precise conjecture supported by numerical evidence.

Abstract

We begin an investigation of the action of pseudo-Anosov elements of $\mathrm{Out}(\mathbf{F}_{2})$ on the Markoff-type varieties \[ \mathbb{X}_{\kappa}:\:x^{2}+y^{2}+z^{2}=xyz+2+\kappa \] over finite fields $\mathbb{F}_{p}$ with $p$ prime. We first make a precise conjecture about the permutation group generated by $\mathrm{Out}(\mathbf{F}_{2})$ on $\mathbb{X}_{-2}(\mathbb{F}_{p})$ that shows there is no obstruction at the level of the permutation group to a pseudo-Anosov acting `generically'. We prove that this conjecture is sharp. We show that for a fixed pseudo-Anosov $g\in\mathrm{Out}(\mathbf{F}_{2})$, there is always an orbit of $g$ of length $\geq C\log p+O(1)$ on $\mathbb{X}_{\kappa}(\mathbb{F}_{p})$ where $C>0$ is given in terms of the eigenvalues of $g$ viewed as an element of $\mathrm{GL}_{2}(\mathbf{Z})$. This improves on a result of Silverman (2007) that applies to general morphisms of quasi-projective varieties. We have discovered that the asymptotic $(p\to\infty)$ behavior of the longest orbit of a fixed pseudo-Anosov $g$ acting on $\mathbb{X}_{-2}(\mathbb{F}_{p})$ is dictated by a dichotomy that we describe both in combinatorial terms and in algebraic terms related to Gauss's ambiguous binary quadratic forms, following Sarnak. This dichotomy is illustrated with numerics, based on which we formulate a precise conjecture.