c40d5ec866e9cb18.tex
1: \begin{abstract}
2:   The corank of a group $G$ is the maximum $k$ such that
3:   $G$ surjects
4:   onto a free group of rank $k$.  We study the corank
5:   of the groups
6:   $\PSUT$ and $\PUT$ over cyclotomic rings
7:   $\Z[\zeta_{n}, 1/2]$ with $\zeta_n=e^{2\pi i/n}$, $n=2^s$ or $n=3\cdot 2^s$,
8:   $n\geq 8$.
9:   We do this by studying their actions on Bruhat-Tits trees constructed
10:   using definite quaternion algebras. The quotients of the trees by this
11:   action are finite graphs whose first Betti number is the corank of the
12:   group.  Our main result is that for the families $n=2^s$ and $n=3\cdot 2^s$
13:   the corank grows doubly exponentially in $s$ as $s\rightarrow\infty$; it
14:   is $0$ precisely when $n= 8,12, 16, 24$. We deduce from this main result
15:   a theorem on the Clifford-cyclotomic group in quantum computing.
16:   \end{abstract}
17: