3d73f36c7ed17467.tex
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: