2548984844e804d9.tex
1: \begin{abstract}
2: 	Let $K$ be a $\QQ$-Clifford algebra associated to an $(n-1)$-ary positive definite quadratic form and let $\Ocal$ be a maximal order in $K$. 
3: 	A Clifford-Bianchi group is a group of the form $\SL_2(\Ocal)$ with $\Ocal$ as above.
4: 	The present paper is about the actions of $\SL_2(\Ocal)$ acting on hyperbolic space $\Hcal^{n+1}$ via M\"{o}bius transformations $x\mapsto (ax+b)(cx+d)^{-1}$. 
5: 	
6: 	We develop the general theory of orders exhibiting explicit orders in low dimensions of interest. 
7: 	These include, for example, higher-dimensional analogs of the Hurwitz order.
8: 	We develop the abstract and computational theory for determining their fundamental domains and generators and relations (higher-dimensional Bianchi-Humbert Theory). 
9: 	We make connections to the classical literature on symmetric spaces and arithmetic groups and provide a proof that these groups are $\ZZ$-points of a $\ZZ$-group scheme and are arithmetic subgroups of $\SO_{1,n+1}(\RR)^{\circ}$ with their M\"{o}bius action.
10: 	
11: 	We report on our findings concerning certain Clifford-Bianchi groups acting on $\Hcal^4$, $\Hcal^5$, and $\Hcal^6$ . 
12: 	
13: 
14: \end{abstract}
15: