THE CLIFFORD-CYCLOTOMIC GROUP AND EULER-POINCARE´ CHARACTERISTICS COLIN INGALLS, BRUCE W. JORDAN, ALLAN KEETON, ADAM LOGAN, AND YEVGENY ZAYTMAN Abstract. For an integer n 8 divisible by 4, let Rn = Z[ζn, 1/2] and let U2(Rn) be the ≥ ζ group of 2 2 unitary matrices with entries in Rn. Set U2(Rn)= γ U2(Rn) det γ ζn . ×ζ { ∈ | ∈ h i} Let n U2(Rn) be the Clifford-cyclotomic group generated by a Hadamard matrix H = 1 1+Gi 1+⊆i 1 0 ζ 2 [ 1+i −1−i ] and the gate Tn = [ 0 ζn ]. We prove that n = U2(Rn) if and only if n = ζ ζ G 8, 12, 16, 24 and that [U2(Rn): n] = if U2(Rn) = n. We compute the Euler-Poincar´e G ∞ 6 G ζ + characteristic of the groups SU2(Rn), PSU2(Rn), PU2(Rn), PU2(Rn), and SO3(Rn ). 1. Introduction Let U2 = g GL2(C) gg† = 1 be the group of 2 2 unitary matrices stabiliz- { ∈ | } × ζ ing the standard hermitian form on C2 with denoting conjugate-transpose. Let U and † 2 SU2 be its subgroups of matrices whose determinants are roots of unity or 1 respectively. For a subring R C, write U2(R) := U2 GL2(R) for the subgroup of U2 whose ma- ⊆ ζ ζ ∩ trix entries lie in R; similarly U2(R) := U2 GL2(R), and SU2(R) := SU2 SL2(R). Let t ∩ + + ∩ SO3 = g SL3(R) gg =1 . For a subring R R, write SO3(R ) for the subgroup of { ∈ | + } ⊆ SO3 whose entries lie in R . Throughout this paper n = 2sd is a positive integer with d odd. Unless explicitly stated 2πi/n otherwise, we assume s 2. Let ζn := e , Kn := Q(ζn), and Rn = Z[ζn, 1/2]. Set + ≥ + + + Fn = Kn := Q(ζn + ζn) and Rn = Z[ζn + ζn, 1/2]. Then i Rn and Rn = Rn Rn i since 1/2 R+. The Clifford group can be defined as = U (R∈) [FGKM15, Section⊕ 2.1]. Set ∈ n C C 2 4 1 0 Tn := U2(Z[ζn]) U2(Rn). (1) 0 ζn ∈ ⊆ Define the Clifford-cyclotomic group [FGKM15, Section 2.2] (resp., special Clifford-cyclotomic arXiv:1903.09497v2 [math.NT] 28 Oct 2019 group) by n = , Tn (resp., S n = n SU2(Rn)); (2) ζ G hC i ζ G G ∩ we have n U2(Rn). In general, U2(Rn) ( U2(Rn). For a subgroup H U2(Rn), denote G ⊆ ≤ + by PH the image of H in PU2(Rn). The Adjoint map Ad : SU2(Rn) SO3(Rn ) induces maps π : U (R ) SO (R+) and π : PU (R ) SO (R+); see Section→ 5. 2 n → 3 n 2 n → 3 n Let G(r, s) be the subgroup of SO3(R) generated by rotations of order r and order s about + chosen perpendicular axes. For an appropriate choice of axes one has G(4, n) SO3(Rn ). In Theorem 5.1 we show that π( )= G(4, n). The subgroup structures ⊆ Gn Uζ (R ) U (R ), G(4, n) SO (R+) (3) Gn ≤ 2 n ≤ 2 n ≤ 3 n 2010 Mathematics Subject Classification. Primary 81P45; Secondary 20G30. Key words and phrases. Clifford group, T gate, Clifford cyclotomic, Euler-Poincar´echaracteristics. 1 play a large role in exact synthesis for quantum gates in single-qubit quantum computation. The following results are known: + Theorem 1.1. (a) G(4, 8) = SO3(R8 ) and 8 = U2(R8) [Ser09, FGKM15], G(4, 12) = + G + SO3(R12) and 12 = U2(R12) [Ser09, BRS15], G(4, 16) = SO3(R16) and 16 = U2(R16) G + G [Ser09], G(4, 24) = SO3(R24) and 24 = U2(R24) [FGKM15]. ζ G (b) For an integer n we have U2(Rn) = U2(Rn) if and only if 1 mod d 2 mod d (Z/dZ)× − ∈h i ≤ [FGKM15, Theorem 5.3]. (c) Let S4 be the symmetric group on 4 letters and Dm be the dihedral group of order 2m. We have . G(4, n) ∼= S4 D4 Dn [RS99] (d) If n =2s, s 5, then ∗G(4, n) is of infinite index in SO (R+) [Ser09]. ≥ 3 n Serre [Ser09] introduced Euler-Poincar´echaracteristics to the study of G(4, n) and n, as + s G well as observing that SO3(Rn ) for n =2 acts on a tree by looking at it over Q2. Theorem + 1.1(d) follows from computing the Euler-Poincar´echaracteristic χ of G(4, n) and SO3(Rn ) for n =2s 8: ≥ Theorem 1.2. (Serre [Ser09]) Suppose n =2s 8. ≥ (a) χ(G(4, n)) = 1/12+1/2n. + − 2s−2 (b) χ(SO (R )) = 2− ζ n ( 1). 3 n − F − In this paper we prove the following theorem, settling affirmatively a conjecture of Sarnak [Sar15, p. 15IV]: Theorem 1.3. Suppose 4 n with n 8. | ≥ (a) We have = Uζ (R ) if and only if n =8, 12, 16, 24. Gn 2 n (b) We have S n = SU2(Rn) if and only if n =8, 12, 16, 24. G + (c) We have G(4, n)=SO3(Rn ) if and only if n =8, 12, 16, 24. In all cases above where there is not equality, the index is infinite. We prove Theorem 1.3 by computing Euler-Poincar´echaracteristics with 4 n, n 8, gener- alizing Theorem 1.2. We prove that | ≥ χ(S )= χ(G(4, n)) = χ(P )= 1/12+1/2n Gn Gn − in Theorem 6.3. Then in Theorem 6.6 we compute χ of SU2(Rn), PSU2(Rn), PU2(Rn), ζ + PU2(Rn), and SO3(Rn ). We gain a foothold on these Euler-Poincar´echaracteristics by considering the group scheme SU2(Z[1/2]) over Z[1/2], denoted A1∗. We have A1∗(R) = SU2(C) + and A1∗(Rn ) = SU2(Rn). The results of Serre [Ser71] (which depend on theorems of Harder) apply to compute χ(SU2(Rn)) because because A1∗ is simply connected and simple. We then deduce χ of the other groups from this using properites of Euler-Poincar´e characteristics. The + relationship between χ(PU2(Rn)) and χ(SO3(Rn )) is particularly interesting – it involves + embedding PU2(Rn) in SO3(Rn ) via the Adjoint representation with attendant invariant c(Rn) defined in Definition 4.10(a). 2 2. The special Clifford-cyclotomic group For a complex number z of absolute value 1, define the unitary matrix 1 1+ i z(1 + i) H(z)= (4) 2 z( 1+ i) 1 i − − of determinant 1. In particular H(1) . Following [FGKM15, (2)], we take our Hadamard matrix to be ∈ C 1 1+ i 1+ i H := . (5) 2 1+ i 1 i ∈ C − − 1 j j j We have H = T4− H(1) with Tn U2(Rn) as in (1) and Tn− H(1)Tn = H(ζn) SU2(Rn) for integers j if 4 n. With 4 n, set ∈ ∈ | | 2 n 1 n H := H(ζ ),H(ζ ),...,H(ζ − ),H(ζ )= H(1) S SU (R ). (6) n h n n n n i ≤ Gn ≤ 2 n Proposition 2.1. Assuming 4 n, we have | (a) [ : S ]= n, Gn Gn (b) n = H, Tn = H(1), Tn , (c) SG =h H . i h i Gn n Proof. (a) follows from the exact sequence 1 SU (R ) Uζ (R ) det ζ 1, (7) → 2 n → 2 n →h ni→ since the roots of unity in Rn are ζn as n is even. (b) is shown in [FGKM15, Sectionh i 2.2]. For (c), let w be a word in H(1) and Tn of determinant 1 with k occurences of H(1). We proceed by induction on k. If k = 0, then the word must be 1. If k = 1, the word must be j j j T − H(1)T = H(ζ ) for some 0 j n. Suppose inductively that every word in H(1) and n n n ≤ ≤ Tn of determinant 1 with at most k0 occurences of H(1) is in Hn, and let w be a word in a which H(1) appears k0 + 1 times. Choose a with 0 a < n such that w begins with Tn H(1). a 1 ≤ H Then H(ζn− )− w S n has at most k0 occurences of H(1), and so is in n by assumption. Hence w H and∈ SG = H . ∈ n Gn n Theorem 2.2. Assume 4 n. Then Uζ (R )= if and only if SU (R ) = S . | 2 n Gn 2 n Gn H ζ j Proof. First, suppose that SU2(Rn) = n and let α U2(Rn). Let det α = ζn, where j ∈ 0 j < n. Then α = T α′, where det α′ = 1 and so α′ SU (R ). Since the generators of ≤ ∈ 2 n SU2(Rn) belong to H, Tn , it follows that α does too. h i ζ In the other direction, suppose that U2(Rn) = n. Then SU2(Rn) = S n trivially by definition. G G + 3. SU2(Rn) and SO3(Rn ) Definition 3.1. (a) Throughout this paper R+ is the ring of S-integers in a totally real number field F , where S contains the archimedean places and all places above 2. We put R = R+[i] and K = F (i). Both R+ and R are Dedekind domains. (b) Define A1∗ to be the group scheme over Z[1/2] with a + bi c + di 2 2 2 2 A∗(B)= : a + b + c + d = 1; a,b,c,d B 1 c + di a bi ∈ − − 3 for any Z[1/2]-algebra B with group operation defined by matrix multiplication.