1: \begin{abstract} 

2:     Given an imaginary quadratic extension $K$ of $\QQ$, we classify

3:     the maximal nonelementary subgroups of the Picard modular group

4:     $\PU(1,2;\OOO_K)$ preserving a totally real totally geodesic

5:     plane in the complex hyperbolic plane $\HH^2_\CC$. We prove that

6:     these maximal $\RR$-Fuchsian subgroups are arithmetic, and

7:     describe the quaternion algebras from which they arise. For

8:     instance, if the radius $\Delta$ of the corresponding $\RR$-circle

9:     lies in $\NN-\{0\}$, then the stabiliser arises from the

10:     quaternion algebra $\Big(\!\begin{array}{c} \Delta\,,\, |D_K|

11:     \\\hline\QQ\end{array} \!\Big)$.  We thus prove the existence of

12:     infinitely many orbits of $K$-arithmetic $\RR$-circles in the

13:     hypersphere of $\PP_2(\CC)$.\footnote{{\bf Keywords:} Picard group, ball quotient, arithmetic

14:     Fuchsian groups, Heisenberg group, quaternion algebra, complex

15:     hyperbolic geometry, $\RR$-circle, hypersphere.~~ {\bf AMS codes:

16:     } 11F06, 11R52, 20H10, 20G20, 53C17, 53C55}

17: \end{abstract}

18: