English

The Clifford-cyclotomic group and Euler-Poincar\'e characteristics

Number Theory 2019-10-29 v2 Mathematical Physics Group Theory math.MP

Abstract

For an integer n8n\geq 8 divisible by 44, let Rn=Z[ζn,1/2]R_n=\mathbb{Z}[\zeta_n,1/2] and let U2(Rn)\operatorname{U}_2(R_n) be the group of 2×22\times 2 unitary matrices with entries in RnR_n. Set U2ζ(Rn)={γU2(Rn)detγζn}\operatorname{U}_2^\zeta(R_n)=\{\gamma\in\operatorname{U}_2(R_n)\mid \det\gamma\in\langle\zeta_n\rangle\}. Let GnU2ζ(Rn)\mathcal{G}_n\subseteq \operatorname{U}_2^\zeta(R_n) be the Clifford-cyclotomic group generated by a Hadamard matrix H=12[1+i1+i1+i1i]H=\frac{1}{2}[\begin{smallmatrix} 1+i & 1+i\\1+i &-1-i\end{smallmatrix}] and the gate T=[100ζn]T=[\begin{smallmatrix}1 & 0\\0 & \zeta_n\end{smallmatrix}]. We prove that Gn=U2ζ(Rn)\mathcal{G}_n=\operatorname{U}_2^\zeta(R_n) if and only if n=8,12,16,24n=8, 12, 16, 24 and that [U2ζ(Rn):Gn]=[\operatorname{U}_2^\zeta(R_n):\mathcal{G}_n]=\infty if U2ζ(Rn)Gn\operatorname{U}_2^\zeta(R_n)\neq \mathcal{G}_n. We compute the Euler-Poincar\'{e} characteristics of the groups SU2(Rn)\operatorname{SU}_2(R_n), PSU2(Rn)\operatorname{PSU}_2(R_n), PU2(Rn)\operatorname{PU}_2(R_n), PU2ζ(Rn)\operatorname{PU}^\zeta_2(R_n), and SO3(Rn+)\operatorname{SO}_3(R_n^+).

Cite

@article{arxiv.1903.09497,
  title  = {The Clifford-cyclotomic group and Euler-Poincar\'e characteristics},
  author = {Colin J. Ingalls and Bruce W. Jordan and Allan Keeton and Adam Logan and Yevgeny Zaytman},
  journal= {arXiv preprint arXiv:1903.09497},
  year   = {2019}
}
R2 v1 2026-06-23T08:16:15.942Z