Arxiv:Hep-Th/0510191V1 22 Oct 2005
Total Page:16
File Type:pdf, Size:1020Kb
Maximal Subgroups of the Coxeter Group W (H4) and Quaternions Mehmet Koca,∗ Muataz Al-Barwani,† and Shadia Al-Farsi‡ Department of Physics, College of Science, Sultan Qaboos University, PO Box 36, Al-Khod 123, Muscat, Sultanate of Oman Ramazan Ko¸c§ Department of Physics, Faculty of Engineering University of Gaziantep, 27310 Gaziantep, Turkey (Dated: September 8, 2018) The largest finite subgroup of O(4) is the noncrystallographic Coxeter group W (H4) of order 14400. Its derived subgroup is the largest finite subgroup W (H4)/Z2 of SO(4) of order 7200. Moreover, up to conjugacy, it has five non-normal maximal subgroups of orders 144, two 240, 400 and 576. Two groups [W (H2) × W (H2)]×Z4 and W (H3)×Z2 possess noncrystallographic structures with orders 400 and 240 respectively. The groups of orders 144, 240 and 576 are the extensions of the Weyl groups of the root systems of SU(3)×SU(3), SU(5) and SO(8) respectively. We represent the maximal subgroups of W (H4) with sets of quaternion pairs acting on the quaternionic root systems. PACS numbers: 02.20.Bb INTRODUCTION The noncrystallographic Coxeter group W (H4) of order 14400 generates some interests [1] for its relevance to the quasicrystallographic structures in condensed matter physics [2, 3] as well as its unique relation with the E8 gauge symmetry associated with the heterotic superstring theory [4]. The Coxeter group W (H4) [5] is the maximal finite subgroup of O(4), the finite subgroups of which have been classified by du Val [6] and by Conway and Smith [7]. It is also one of the maximal subgroups of the Weyl group W (E8) splitting 240 nonzero roots of E8 into two equal size disjoint sets. One set can be represented by the icosians q (quaternionic elements of the binary icosahedral group I) 1 √5 and the remaining set is σq [8, 9] where σ = −2 . Embedding of W (H4) in W (E8) is studied in detail in references [10] and [11]. In this paper we study the maximal subgroups of W (H4) and show that it possesses, up to conjugacy, five maximal subgroups of orders 144, 240, 400 and 576. They correspond to the symmetries of certain Dynkin and Coxeter diagrams. Another obvious maximal subgroup W (H4)′ W (H4)/Z2 of W (H4) of order 7200 is also the largest finite subgroup of SO(4). Two groups of orders 400 and 240≡ are related to the symmetries of the noncrystallographic Coxeter graphs H2 H′ and H3 respectively. The remaining groups of orders 144, 240 and 576 are associated ⊕ 2 with the symmetries of the crystallographic root systems A2 A′ , A4 and D4 respectively (we interchangeably use ⊕ 2 A2 SU(3), A4 SU(5),D4 SO(8)). Embeddings of these groups in W (H4) are not trivial and the main objective of this≈ work is to≈ clarify this issue.≈ arXiv:hep-th/0510191v1 22 Oct 2005 In the context of quaternionic representation of the H4 root system by the elements of binary icosahedral group, identifications of the quaternionic root systems of the maximal subgroups will be simple. The maximal subgroups of orders 144, 400 and 576 associated with the root systems A2 A2′ ,H2 H2′ and D4 respectively have close relations with the maximal subgroups of the binary icosahedral group I since⊕ it has⊕ three maximal subgroups. However the maximal subgroups associated with the Coxeter diagram H3 and the Dynkin diagram A4 do not have such correspondences and some care should be undertaken. In Sec. we introduce the root system of H4 in terms of the icosions I and identify the maximal subgroups of the binary icosahedral group. We discuss briefly the method as to how the group elements of W (H4) are obtained from icosians. In Sec. , we study in terms of quaternions, the group structure associated with the graph A2 A′ . Sec. ⊕ 2 is devoted to a similar analysis of the symmetries of the noncrystallographic root system H2 H′ . In Sec. we deal ⊕ 2 with the extension of W (D4) with a cyclic symmetry of its Dynkin diagram, the group of order 576, which was also studied in a paper of ours [12] in a different context. Sec. is devoted to the study of the automorphism of the H3 root system and we show that it is, up to conjugacy, a group of order 240 when it acts in the 4-dimensional space. In Sec. we study the somewhat intricate structure of the automorphism group of A4 using quaternions. 2 H4 WITH ICOSIANS The root system of the Coxeter diagram H4 consists of 120 roots which can be represented by the quaternionic elements of the binary icosahedral group I given in Table I (so is called the group of icosians). They can be generated by reflections on the simple roots depicted in Fig 1. Any real quaternion can be written as q = q0 + q1e1 + q2e2 + q3e3 where qa (a = 0, 1, 2, 3) are real numbers and pure quaternion units[14] ei (i =1, 2, 3) satisfy the well-known relations eiej = δij + ǫijkek (i, j, k =1, 2, 3) (1) − where ǫijk is the Levi-Civita symbol. The scalar product of two quaternions p and q is defined by 1 (p, q)= (pq + qp) (2) 2 2 2 2 2 which leads to the norm N(q) = (q, q)= qq = q0 + q1 + q2 + q3 . 1+√5 1 √5 TABLE I: Conjugacy classes of the binary icosahedral group I represented by quaternions.(Here τ = 2 and σ = −2 ) Conjugacy Classes Elements of the conjugacy classes also denoted by their numbers and orders of elements (Cyclic permutations in e1,e2,e3 should be added if not included) 1 1 2 −1 1 ± ± 10 12+ : 2 (τ e1 σe3) 1 5 12 : (−τ ± e1 ± σe3) − 2 1 ± ± 10 12+′ : 2 (σ e1 τe2) 1 − ± ± 5 12′ : 2 ( σ e1 τe2) − 1 ± ± ± 1 ± ± 6 20+ : 2 (1 e1 e2 e3), 2 (1 τe1 σe2) 1 1 3 20 : (−1 ± e1 ± e2 ± e3), (−1 ± τe1 ± σe2) − 2 2 1 ± ± 15+ : e1,e2,e3, 2 (σe1 τe2 e3) 4 30 : 1 15 : −e1, −e2, −e3, (−σe1 ± τe2 ± e3) − 2 −e1 5 −e2 1 t t t t 2 (σ + e2 + τe3) 1 2 (τe1 + e2 + σe3) FIG. 1: The Coxeter diagram of H4 with quaternionic simple roots The icosians of the binary icosahedral group I are classified in Table I according to the conjugacy classes. Denote by p, q and r any three elements of I. The transformations defined by [p, r]: q pqr (3) → [p, r]∗ : q pqr (4) → preserve the norm qq = qq as well as leave the set of icosians I intact so that the pairs [p, r] and [p, r]∗ represent the group elements of W (H4). Since [p, r] = [ p, r] and [p, r] = [ p, r] the W (H4) consists of 120 120 = 14400 − − − − × elements. Details can be found in reference [11]. The element [1, 1]∗ acts as a conjugation, [1, 1]∗ : q q, which is → the normalizer of the subgroup SO(4) so that O(4) can be written as the semi-direct product O(4) SO(4) Z2. ≈ × It follows from this structure that one of the maximal subgroup W (H4)′ of order 7200 is obviously a maximal finite subgroup of SO(4). The group W (H4)′ can be represented by the pair [p, r], p, r I, possessing 42 conjugacy classes. ∈ 3 It is easily found from the structure of the conjugacy classes of I in Table I that the maximal subgroups of I can be generated by the sets of quaternions[15] 1 Dihedral groupof order12 : (1 + τe1 + σe2),e3 (5) 2 1 Dihedral groupof order20 : (τ + σe1 + e2),e3 (6) 2 1 Binary tetrahedral group of order 24 : (1 + e1 + e2 + e3),e3 (7) 2 These generators are the representative elements of the conjugacy classes of the maximal subgroups of I. The binary icosahedral group has two quaternionic irreducible representations. If we denote by I′ the other quaternionic representation it can be obtained from I by interchanging σ τ in Table I. We will use both representations in section . ↔ THE MAXIMAL SUBGROUP OF ORDER 144 A little exercise shows that the set of elements in Eq. 5 constitute the root system of the Lie algebra A2 A2′ where the simple roots are given in Figure 2. ⊕ e3a e3a t t ⊕ t t a a ⊕ 1 1 − − FIG. 2: Dynkin diagram of A2 A2′ with the elements of dihedral group of order 12 (a = 2 (1+τe1 +σe2) , a = 2 (1 τe1 σe2) ). We have used one of the four dimensional irreducible matrix representations of W (H4) to identify its maximal subgroups via computer calculations which resulted in those six maximal subgroups. Our main objective here is to construct the elements of the maximal subgroups using pairs of quaternions described in (3-4). In each section we give arguments - though not very rigorous - that the groups of concern are maximal in W (H4). We take the computer calculations as evidence for the completeness of the maximal subgroups. The rigorous proof is beyond the scope of this paper. 6 It follows that the sets ( a, a, 1), (a = 1) and ( e3a, e3a, e3) constitute the roots of A2 and A′ respectively. ± ± ± ± ± ± 2 Then the generators of the Weyl groups W (A2) and W (A2′ ) are the group elements[16] r1 = [a, a]∗, r2 = [a, a]∗ (8) − − r′ = [e3a, e3a]∗, r′ = [e3a, e3a]∗. (9) 1 − 2 − The sets of elements of W (A2) and W (A2′ ) can be easily generated by (8) and (9): W (A2) D3 S3 :[a, a]∗, [a, a]∗, [1, 1]∗, [a,a], [a, a], [1, 1] (10) ≈ ≈ − − − W (A′ ) D3 S3 : 2 ≈ ≈ [e3a, e3a]∗, [e3a, e3a]∗, [e3, e3]∗, [a, a], [a, a], [1, 1].