1: \begin{abstract}
2: Given an imaginary quadratic extension $K$ of $\QQ$, we give a
3: classification of the maximal nonelementary subgroups of the Picard
4: modular group $\PSU_{1,2}(\OOO_K)$ preserving a complex geodesic in
5: the complex hyperbolic plane $\HH^2_\CC$. Complementing work of
6: Holzapfel, Chinburg-Stover and M\"oller-Toledo, we show that these
7: maximal $\CC$-Fuchsian subgroups are arithmetic, arising from a
8: quaternion algebra $\Big(\!\begin{array}{c}
9: D\,,D_K\\\hline\QQ\end{array} \!\Big)$ for some explicit $D\in\NN-\{0\}$
10: and $D_K$ the discriminant of $K$. We thus prove the existence of
11: infinitely many orbits of $K$-arithmetic chains in the hypersphere
12: of $\PP_2(\CC)$.
13:
14: \footnote{{\bf Keywords:} Picard group, ball quotient, Shimura
15: curve, arithmetic Fuchsian groups, Heisenberg group, quaternion
16: algebra, complex hyperbolic geometry, chain, hypersphere.~~ {\bf
17: AMS codes: } 11E39, 11F06, 11N45, 20G20, 53C17, 53C22, 53C55}
18: \end{abstract}
19: