1: \begin{abstract}

2: We begin an investigation of the action of pseudo-Anosov elements

3: of $\Out(\F_{2})$ on the Markoff-type varieties 

4: \[

5: \X_{\kappa}:\:x^{2}+y^{2}+z^{2}=xyz+2+\kappa

6: \]

7:  over finite fields $\FF_{p}$ with $p$ prime. We first make a precise

8: conjecture about the permutation group generated by $\Out(\F_{2})$

9: on $\X_{-2}(\FF_{p})$ that shows there is no obstruction at the level

10: of the permutation group to a pseudo-Anosov acting `generically'.

11: We prove that this conjecture is sharp. We show that for a fixed pseudo-Anosov

12: $g\in\Out(\F_{2})$, there is always an orbit of $g$ of length $\geq C\log p+O(1)$

13: on $\X_{\kappa}(\FF_{p})$ where $C>0$ is given in terms of the eigenvalues

14: of $g$ viewed as an element of $\GL_{2}(\Z)$. This improves on a

15: result of Silverman from \cite{Silverman} that applies to general

16: morphisms of quasi-projective varieties. We have discovered that the

17: asymptotic $(p\to\infty)$ behavior of the longest orbit of a fixed

18: pseudo-Anosov $g$ acting on $\X_{-2}(\FF_{p})$ is dictated by a

19: dichotomy that we describe both in combinatorial terms and in algebraic

20: terms related to Gauss's ambiguous binary quadratic forms, following

21: Sarnak \cite{Sarnak}. This dichotomy is illustrated with numerics,

22: based on which we formulate a precise conjecture in Conjecture \ref{conj:behaviour-of-PA}.

23: \end{abstract}