DOCSLIB.ORG

4D Pyritohedral Symmetry

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
4D Pyritohedral Symmetry SQU Journal for Science, 2016, 21(2), 150-161 © 2016 Sultan Qaboos University 4D Pyritohedral Symmetry Nazife O. Koca*, Amal J.H. Al Qanobi and Mehmet Koca Department of Physics, College of Science, Sultan Qaboos University, P.O. Box 36, Al-Khoud 123, Muscat, Sultanate of Oman,* Email: [email protected]. ABSTRACT: We describe an extension of the pyritohedral symmetry in 3D to 4-dimensional Euclidean space and construct the group elements of the 4D pyritohedral group of order 576 in terms of quaternions. It turns out that it is a maximal subgroup of both the rank-4 Coxeter groups W (F4) and W (H4), implying that it is a group relevant to the crystallographic as well as quasicrystallographic structures in 4-dimensions. We derive the vertices of the 24 pseudoicosahedra, 24 tetrahedra and the 96 triangular pyramids forming the facets of the pseudo snub 24- cell. It turns out that the relevant lattice is the root lattice of W (D4). The vertices of the dual polytope of the pseudo snub 24-cell consists of the union of three sets: 24-cell, another 24-cell and a new pseudo snub 24-cell. We also derive a new representation for the symmetry group of the pseudo snub 24-cell and the corresponding vertices of the polytopes. Keywords: Pseudoicosahedron; Pyritohedron; Lattice; Coxeter groups and Quaternions. تماثل متعدد اﻷوجه ذو التركيب المشابه لمعدن البايريت في الفضاء اﻻقليدي ذو اﻷبعاد اﻷربعة نظيفة كوجا، أمل القنوبي و محمد كوجا مستخلص: وصفنا امتدادا لتماثل تركيب متعددات اﻷوجه من النوع المشابه لبلورة معدن البايرايت )pyritohedral( - و الذي يمكن صياغته في اﻻبعاد الثﻻثة - إلى الفضاء اﻻقليدي ذو اﻷبعاد اﻷربعة ثم بنينا عناصر المجموعة المتصلة ببلورة معدن البايرايت رباعية اﻻبعاد باستخدام العدد المركب التخيلي الرباعي )الكواتيرنيونات(، و اتضح أن هذه المجموعة من أكبر المجموعات الفرعية لكل من مجموعات الكوكستر (W (F4 و (W (H4 ذات الرتبة الرابعة مما يعني أنها مجموعة ذات صلة بالتركيبات البلورية فضﻻ عن اشباه البلورية في اﻷبعاد اﻷربعة، كما تم اشتقاق احداثيات رؤوس 24 ذوات العشرون وجها غير المنتظم و 24 رباعي اﻷسطح و 96 أهراما مثلثية و التي تمثل أسطح لمجسم رباعي اﻷبعاد يسمى pseudo snub 24-cell ، و اتضح أن الشبيكة الفراغية ذات الصلة هي جذر الشبيكة الفراغية لـ (W (D4 و أن رؤوس المزدوج لـ pseudo snub 24-cell هي اتحاد ثﻻث مجموعات: اربعة و عشرون خلية )24cell( و اربعة و عشرون خلية )cell-24( أخرى و pseudo snub 24-cell جديد، كذلك اشتققنا تمثيﻻ جديدا لمجموعة تماثل pseudo snub 24-cell و رؤوس اﻷجسام رباعية اﻷبعاد المقابلة. كلمات مفتاحية: شبيه ذي العشرين وجها المنتظم، متعدد اﻷوجه ذو التركيب المشابه لمعدن البايرايت، الشبيكة الفراغية، مجموعات كوكستر، الرباعيات. 1. Introduction attices in higher dimensions described by the affine Coxeter groups, when projected into lower dimensions, may L represent the quasicrystal structures [1-5]. It is known that the A4 lattice projects into the aperiodic lattice with 5- fold symmetry [1]. There is no doubt that the projections of the higher dimensional lattices may have some implications in physics. The exceptional Coxeter-Weyl group W(F4 ) describes the symmetry of the unique self-dual polytope, the 24-cell, which is the Voronoi cell (Wigner-Seitz cell) of the F4 lattice. The noncrystallographic Coxeter group W(H 4 ) is the symmetry of the famous 600-cell and its dual 120-cell [6-7]. WD() In this work we construct the 4D pyritohedral group from D diagram. In technical terms the group 4 :S of 4 C 3 2 order 576 [8] can be expressed in terms of quaternions and we will determine its orbits as the pseudo snub 24-cell and 150 4D PYRITOHEDRAL SYMMETRY its dual polytope, which are related to the lattice W(D4 ). All rank 4 Coxeter-Weyl groups can be represented, in compact forms, by quaternion pairs [9]. This paper is organized as follows. In Section 2 we introduce the 4D - pyritohedral symmetry derived from D4 WD() diagram. In Section 3 we construct the group 4 :S and apply it to a vector to generate the vertices of a C 3 2 polytope which we call “pseudo snub 24-cell”. We find the facets of the pseudo snub 24-cell which consist of the pseudoicosahedra, tetrahedra and triangular pyramids. The vertices of the dual polytope of the pseudo snub 24-cell are constructed. Finally, in Section 4 we present a brief discussion on the physical implications of our technique. 2. 4D crystals with the pyritohedral symmetry derived from D4 diagram In the paper [10] we discussed the pyritohedral group [T,T ][T,T ]* of order 24 which is derived from the Coxeter- Dynkin diagram D3 by the rotation generators and the Dynkin diagram symmetry. The straightforward generalization of this group to 4D is to start with the rotation generators of D4 and impose the Dynkin diagram symmetry. We will see that the generated group from the diagram is nothing other than the group [T,T][T,T]* of order 576. It represents the symmetry of the snub 24-cell [6], [8]. The snub 24-cell is a convex uniform polytope in four dimensions consisting of 120 regular tetrahedral and 24 icosahedral cells. It has 96 vertices at each of which five tetrahedra and three icosahedra meet. Snub 24-cell can be constructed from the 24-cell by dividing the edges in the golden ratio and truncating it in a certain way. This truncation transforms the 24 octahedral cells of the 24-cell to the 24 icosahedral cells of the snub 24-cell; the truncated vertices become 24 tetrahedral cells and the gaps in between are filled in by another 96 tetrahedra. W(D4 ) 3. Construction of the symmetry group of snub 24-cell : S3 C2 The Coxeter-Dynkin diagram is shown in Figure 1 with the quaternionic simple roots. α =e -e 3 2 3 α =1-e 1 1 α =e -e 2 1 2 α =e +e 4 2 3 Figure 1. The Coxeter-Dynkin diagram D with the simple roots. 4 The corresponding weights are determined as 11 1, 1e , (1 e e e ), (1 e e e ). (1) 1 2 1322 1234 123 Note that i T , i 1,2,3,4; 2 T; T , j=1,3,4. 22j The set T is given by the group elements 1 푇 = {±1, ±푒 , ±푒 , ±푒 , (±1 ± 푒 ± 푒 ± 푒 )}, (2) 1 2 3 2 1 2 3 and is called the binary tetrahedral group of order 24 . Another set of 24 quaternions is defined by 151 NAZIFE O. KOCA ET AL 1 1 1 (±1 ± 푒 ), (±1 ± 푒 ), (±1 ± 푒 ), √2 1 √2 2 √2 3 ′ 1 1 1 (3) 푇 = { (±푒 ± 푒 ), (±푒 ± 푒 ), (±푒 ± 푒 )}. √2 1 2 √2 2 3 √2 3 1 In terms of quaternionic simple roots, the group generators of W(D4 ) can be written as 11 r [ (1- e ), - (1- e )] , 122 1 1 11 r2[ ( e 1 e 2 ), - ( e 1 e 2 )] , 22 (4) 11 r[ ( e e ), - ( e e )] , 322 2 3 2 3 11 r[ ( e e ), - ( e e )] . 422 2 3 2 3 They generate the Coxeter-Weyl group W(D4 ) of order 192 [12]. The subsets of the quaternions T V0 V V and T V1 V2 V3 are defined as follows: 1 V {1, e , e , e } ,V (1 e e e ) , even number of (-) sign, 0 1 2 3 2 1 2 3 1 V (1 e e e ) , odd number of (-) sign, 2 1 2 3 1 1 V1 { (1 e1 ), (e2 e3 )} , 2 2 (5) 1 1 V2 { (1 e2 ), (e3 e1 )} , 2 2 1 1 V3 { (1 e3 ), (e1 e2 )} . 2 2 These subsets are useful to denote the Coxeter-Weyl group W(D4 ) in a compact form: * * * W(D4 ) {[V0 ,V0 ][V ,V ][V ,V ][V1 ,V1 ] [V2 ,V2 ] [V3 ,V3 ] } . (6) Note that the subset of the Coxeter-Weyl group WD()4 (7) {[,VVVVVV00 ][, ][, ]} C 2 represents the proper subgroup and can be directly generated by the rotation generators 푟2푟1, 푟2푟3, 푟2푟4. Let us impose the Dynkin diagram symmetry which is the permutation group 푆3 of the simple roots 훼1, 훼3 and 훼4 as shown in Figure 2. 152 4D PYRITOHEDRAL SYMMETRY α α 3 α α 1 α 1 α α α 4 4 Generator 1: [p, q] * Generator 2: [e3 ,e3 ] Figure 2 . The action of permutation group 푺ퟑ. * The permutation group of order 6 can be generated, for example, by two generators [,]pq and [,]ee33 where 1 1 p(1 e e e ) and q(1 e e e ) . They are the elements of [p , q ] [ V , V ] with [ p , q ]3 [1,1] and 2 1 2 3 2 1 2 3 W(D4 ) [,][,]e3 e 3 V 0 V 0 . The group is invariant under conjugation by the group 푆3. We first note that C2 the extension of the group of eq. (7) by the cyclic group of order 3 generated by the generator [푝, 푞] is a group of order 288 which can be denoted by WD() 4 :CTT [ , ] . (8) C 3 2 The extension of the group by full permutation group S 3 is given as the semi-direct product of two groups as: WD() * 4 :STTTT {[ , ] [ , ] } . (9) C 3 2 As we will see in the next section this is the symmetry group of the snub 24-cell as well as that of any pseudo snub 24- cell. 3.1 Construction of the vertices of the pseudo snub 24-cell The affine Coxeter group 푊푎(퐷4) =< 푟0, 푟1, 푟2, 푟3, 푟4 > can be generated by five generators by introducing 푟0 as shown in Figure 3.
Load more

Recommended publications
  • The Classification and the Conjugacy Classesof the Finite Subgroups of The
    Algebraic & Geometric Topology 8 (2008) 757–785 757 The classification and the conjugacy classes of the finite subgroups of the sphere braid groups DACIBERG LGONÇALVES JOHN GUASCHI Let n 3. We classify the finite groups which are realised as subgroups of the sphere 2 braid group Bn.S /. Such groups must be of cohomological period 2 or 4. Depend- ing on the value of n, we show that the following are the maximal finite subgroups of 2 Bn.S /: Z2.n 1/ ; the dicyclic groups of order 4n and 4.n 2/; the binary tetrahedral group T ; the binary octahedral group O ; and the binary icosahedral group I . We give geometric as well as some explicit algebraic constructions of these groups in 2 Bn.S / and determine the number of conjugacy classes of such finite subgroups. We 2 also reprove Murasugi’s classification of the torsion elements of Bn.S / and explain 2 how the finite subgroups of Bn.S / are related to this classification, as well as to the 2 lower central and derived series of Bn.S /. 20F36; 20F50, 20E45, 57M99 1 Introduction The braid groups Bn of the plane were introduced by E Artin in 1925[2;3]. Braid groups of surfaces were studied by Zariski[41]. They were later generalised by Fox to braid groups of arbitrary topological spaces via the following definition[16]. Let M be a compact, connected surface, and let n N . We denote the set of all ordered 2 n–tuples of distinct points of M , known as the n–th configuration space of M , by: Fn.M / .p1;:::; pn/ pi M and pi pj if i j : D f j 2 ¤ ¤ g Configuration spaces play an important roleˆ in several branches of mathematics and have been extensively studied; see Cohen and Gitler[9] and Fadell and Husseini[14], for example.
    [Show full text]
  • A Symplectic Resolution for the Binary Tetrahedral Group
    A SYMPLECTIC RESOLUTION FOR THE BINARY TETRAHEDRAL GROUP MANFRED LEHN & CHRISTOPH SORGER Abstract. We describe an explicit symplectic resolution for the quo- tient singularity arising from the four-dimensional symplectic represen- ation of the binary tetrahedral group. Let G be a nite group with a complex symplectic representation V . The symplectic form σ on V descends to a symplectic form σ¯ on the open regular part of V=G. A proper morphism f : Y ! V=G is a symplectic resolution if Y is smooth and if f ∗σ¯ extends to a symplectic form on Y . It turns out that symplectic resolutions of quotient singularities are a rare phenomenon. By a theorem of Verbitsky [9], a necessary condition for the existence of a symplectic resolution is that G be generated by symplectic reections, i.e. by elements whose x locus on V is a linear subspace of codimension 2. Given an arbitrary complex representation V0 of a nite group G, we obtain a symplectic representation on ∗, where ∗ denotes the contragradient V0 ⊕V0 V0 representation of V0. In this case, Verbitsky's theorem specialises to an earlier theorem of Kaledin [7]: For ∗ to admit a symplectic resolution, the V0 ⊕ V0 =G action of G on V0 should be generated by complex reections, in other words, V0=G should be smooth. The complex reection groups have been classied by Shephard and Todd [8], the symplectic reection groups by Cohen [2]. The list of Shephard and Todd contains as a sublist the nite Coxeter groups. The question which of these groups G ⊂ Sp(V ) admits a symplectic res- olution for V=G has been solved for the Coxeter groups by Ginzburg and Kaledin [3] and for arbitrary complex reection groups most recently by Bellamy [1].
    [Show full text]
  • Maximal Subgroups of the Coxeter Group W(H4) and Quaternions
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Linear Algebra and its Applications 412 (2006) 441–452 www.elsevier.com/locate/laa Maximal subgroups of the Coxeter group W(H4) and quaternions Mehmet Koca a, Ramazan Koç b,∗, Muataz Al-Barwani a, Shadia Al-Farsi a aDepartment of Physics, College of Science, Sultan Qaboos University, P.O. Box 36, Al-Khod 123, Muscat, Oman bDepartment of Physics, Faculty of Engineering, Gaziantep University, 27310 Gaziantep, Turkey Received 9 October 2004; accepted 17 July 2005 Available online 12 September 2005 Submitted by H. Schneider Abstract The largest finite subgroup of O(4) is the non-crystallographic Coxeter group W(H4) of order 14,400. 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 non- crystallographic 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. © 2005 Elsevier Inc. All rights reserved. AMS classification: 20G20; 20F05; 20E34 Keywords: Structure of groups; Quaternions; Coxeter groups; Subgroup structure ∗ Corresponding author. Tel.: +90 342 360 1200; fax: +90 342 360 1013.
    [Show full text]
  • Platonic Solids Generate Their Four-Dimensional Analogues
    This is a repository copy of Platonic solids generate their four-dimensional analogues. White Rose Research Online URL for this paper: https://eprints.whiterose.ac.uk/85590/ Version: Accepted Version Article: Dechant, Pierre-Philippe orcid.org/0000-0002-4694-4010 (2013) Platonic solids generate their four-dimensional analogues. Acta Crystallographica Section A : Foundations of Crystallography. pp. 592-602. ISSN 1600-5724 https://doi.org/10.1107/S0108767313021442 Reuse Items deposited in White Rose Research Online are protected by copyright, with all rights reserved unless indicated otherwise. They may be downloaded and/or printed for private study, or other acts as permitted by national copyright laws. The publisher or other rights holders may allow further reproduction and re-use of the full text version. This is indicated by the licence information on the White Rose Research Online record for the item. Takedown If you consider content in White Rose Research Online to be in breach of UK law, please notify us by emailing [email protected] including the URL of the record and the reason for the withdrawal request. [email protected] https://eprints.whiterose.ac.uk/ 1 Platonic solids generate their four-dimensional analogues PIERRE-PHILIPPE DECHANT a,b,c* aInstitute for Particle Physics Phenomenology, Ogden Centre for Fundamental Physics, Department of Physics, University of Durham, South Road, Durham, DH1 3LE, United Kingdom, bPhysics Department, Arizona State University, Tempe, AZ 85287-1604, United States, and cMathematics Department, University of York, Heslington, York, YO10 5GG, United Kingdom. E-mail: [email protected] Polytopes; Platonic Solids; 4-dimensional geometry; Clifford algebras; Spinors; Coxeter groups; Root systems; Quaternions; Representations; Symmetries; Trinities; McKay correspondence Abstract In this paper, we show how regular convex 4-polytopes – the analogues of the Platonic solids in four dimensions – can be constructed from three-dimensional considerations concerning the Platonic solids alone.
    [Show full text]
  • Remarks on the Cohomology of Finite Fundamental Groups of 3–Manifolds
    Geometry & Topology Monographs 14 (2008) 519–556 519 arXiv version: fonts, pagination and layout may vary from GTM published version Remarks on the cohomology of finite fundamental groups of 3–manifolds SATOSHI TOMODA PETER ZVENGROWSKI Computations based on explicit 4–periodic resolutions are given for the cohomology of the finite groups G known to act freely on S3 , as well as the cohomology rings of the associated 3–manifolds (spherical space forms) M = S3=G. Chain approximations to the diagonal are constructed, and explicit contracting homotopies also constructed for the cases G is a generalized quaternion group, the binary tetrahedral group, or the binary octahedral group. Some applications are briefly discussed. 57M05, 57M60; 20J06 1 Introduction The structure of the cohomology rings of 3–manifolds is an area to which Heiner Zieschang devoted much work and energy, especially from 1993 onwards. This could be considered as part of a larger area of his interest, the degrees of maps between oriented 3– manifolds, especially the existence of degree one maps, which in turn have applications in unexpected areas such as relativity theory (cf Shastri, Williams and Zvengrowski [41] and Shastri and Zvengrowski [42]). References [1,6,7, 18, 19, 20, 21, 22, 23] in this paper, all involving work of Zieschang, his students Aaslepp, Drawe, Sczesny, and various colleagues, attest to his enthusiasm for these topics and the remarkable energy he expended studying them. Much of this work involved Seifert manifolds, in particular, references [1, 6, 7, 18, 20, 23]. Of these, [6, 7, 23] (together with [8, 9]) successfully completed the programme of computing the ring structure H∗(M) for any orientable Seifert manifold M with 1 2 3 3 G := π1(M) infinite.
    [Show full text]
  • 2011 Volume 4
    2011 Volume 4 The Journal on Advanced Studies in Theoretical and Experimental Physics, including Related Themes from Mathematics PROGRESS IN PHYSICS “All scientists shall have the right to present their scientific research results, in whole or in part, at relevant scientific conferences, and to publish the same in printed scientific journals, electronic archives, and any other media.” — Declaration of Academic Freedom, Article 8 ISSN 1555-5534 The Journal on Advanced Studies in Theoretical and Experimental Physics, including Related Themes from Mathematics PROGRESS IN PHYSICS A quarterly issue scientific journal, registered with the Library of Congress (DC, USA). This journal is peer reviewed and included in the abs- tracting and indexing coverage of: Mathematical Reviews and MathSciNet (AMS, USA), DOAJ of Lund University (Sweden), Zentralblatt MATH (Germany), Scientific Commons of the University of St. Gallen (Switzerland), Open-J-Gate (India), Referativnyi Zhurnal VINITI (Russia), etc. Electronic version of this journal: October 2011 VOLUME 4 http://www.ptep-online.com CONTENTS Editorial Board Dmitri Rabounski, Editor-in-Chief [email protected] Minasyan V. and Samoilov V. Ultracold Fermi and Bose gases and Spinless Bose Florentin Smarandache, Assoc. Editor ChargedSoundParticles.......................................................3 [email protected] Minasyan V. and Samoilov V. Superfluidity Component of Solid 4He and Sound Par- Larissa Borissova, Assoc. Editor ticleswithSpin1.............................................................8 [email protected] Quznetsov G. Fermion-Antifermion Asymmetry . 13 Editorial Team Tank H. K. An Insight into Planck’s Units: Explaining the Experimental-Observa- Gunn Quznetsov tions of Lack of Quantum Structure of Space-Time . 17 [email protected] Ries A. and Fook M.V.L. Excited Electronic States of Atoms described by the Model Andreas Ries [email protected] ofOscillationsinaChainSystem..............................................20 Chifu Ebenezer Ndikilar Ogiba F.
    [Show full text]
  • The Classification and the Conjugacy Classes of the Finite Subgroups of the Sphere Braid Groups Daciberg Gonçalves, John Guaschi
    The classification and the conjugacy classes of the finite subgroups of the sphere braid groups Daciberg Gonçalves, John Guaschi To cite this version: Daciberg Gonçalves, John Guaschi. The classification and the conjugacy classes of the finite subgroups of the sphere braid groups. Algebraic and Geometric Topology, Mathematical Sciences Publishers, 2008, 8 (2), pp.757-785. 10.2140/agt.2008.8.757. hal-00191422 HAL Id: hal-00191422 https://hal.archives-ouvertes.fr/hal-00191422 Submitted on 26 Nov 2007 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. The classification and the conjugacy classes of the finite subgroups of the sphere braid groups DACIBERG LIMA GONC¸ALVES Departamento de Matem´atica - IME-USP, Caixa Postal 66281 - Ag. Cidade de S˜ao Paulo, CEP: 05311-970 - S˜ao Paulo - SP - Brazil. e-mail: [email protected] JOHN GUASCHI Laboratoire de Math´ematiques Nicolas Oresme UMR CNRS 6139, Universit´ede Caen BP 5186, 14032 Caen Cedex, France. e-mail: [email protected] 21st November 2007 Abstract Let n ¥ 3. We classify the finite groups which are realised as subgroups of the sphere braid 2 Õ group Bn ÔS .
    [Show full text]
  • The Double Cover of the Icosahedral Symmetry Group and Quark Mass
    MADPHYS-10-1566 The Double Cover of the Icosahedral Symmetry Group and Quark Mass Textures Lisa L. Everett and Alexander J. Stuart Department of Physics, University of Wisconsin, Madison, WI, 53706, USA (Dated: October 25, 2018) We investigate the idea that the double cover of the rotational icosahedral symmetry group is the family symmetry group in the quark sector. The icosahedral ( 5) group was previously proposed as a viable family symmetry group for the leptons. To incorporateA the quarks, it is highly advantageous to extend the group to its double cover, as in the case of tetrahedral (A4) symmetry. We provide the basic group theoretical tools for flavor model-building based on the binary icosahedral group ′ and construct a model of the quark masses and mixings that yields many of the successful predictionsI of the well-known U(2) quark texture models. PACS numbers: 12.15Ff,12.60.Jv I. INTRODUCTION With the measurement of neutrino oscillations [1–6], an intriguing pattern of lepton mixing has emerged. The neu- trino oscillation data have revealed that two of the mixing angles of the Maki-Nakagawa-Sakata-Pontecorvo (MNSP) [8] mixing matrix are large and the third angle is bounded from above by the Cabibbo angle (for global fits, see [7]). This pattern, with its striking differences from the quark mixing angles of the Cabibbo-Kobayashi-Maskawa (CKM) matrix, has shifted the paradigm for addressing the Standard Model (SM) flavor puzzle. More precisely, while the quark sector previously indicated a flavor model-building framework based on the Froggatt- Nielsen mechanism [10] with continuous family symmetries (see also [9]), the large lepton mixing angles suggest discrete non-Abelian family symmetries.
    [Show full text]
  • Quaternionic Kleinian Modular Groups and Arithmetic Hyperbolic Orbifolds Over the Quaternions
    Università degli Studi di Trieste ar Ts Archivio della ricerca – postprint Quaternionic Kleinian modular groups and arithmetic hyperbolic orbifolds over the quaternions 1 1 Juan Pablo Díaz · Alberto Verjovsky · 2 Fabio Vlacci Abstract Using the rings of Lipschitz and Hurwitz integers H(Z) and Hur(Z) in the quater- nion division algebra H, we define several Kleinian discrete subgroups of PSL(2, H).We define first a Kleinian subgroup PSL(2, L) of PSL(2, H(Z)). This group is a general- ization of the modular group PSL(2, Z). Next we define a discrete subgroup PSL(2, H) of PSL(2, H) which is obtained by using Hurwitz integers. It contains as a subgroup PSL(2, L). In analogy with the classical modular case, these groups act properly and discontinuously on the hyperbolic quaternionic half space. We exhibit fundamental domains of the actions of these groups and determine the isotropy groups of the fixed points and 1 1 describe the orb-ifold quotients HH/PSL(2, L) and HH/PSL(2, H) which are quaternionic versions of the classical modular orbifold and they are of finite volume. Finally we give a thorough study of their descriptions by Lorentz transformations in the Lorentz–Minkowski model of hyperbolic 4-space. Keywords Modular groups · Arithmetic hyperbolic 4-manifolds · 4-Orbifolds · Quaternionic hyperbolic geometry Mathematics Subject Classification (2000) Primary 20H10 · 57S30 · 11F06; Secondary 30G35 · 30F45 Dedicated to Bill Goldman on occasion of his 60th birthday. B Alberto Verjovsky [email protected] Juan Pablo Díaz [email protected] Fabio Vlacci [email protected]fi.it 1 Instituto de Matemáticas, Unidad Cuernavaca, Universidad Nacional Autónoma de México, Av.
    [Show full text]
  • Tetrahedral Symmetry and the Graviton 1 Introduction
    International Mathematical Forum, 2, 2007, no. 31, 1537 - 1551 Tetrahedral Symmetry and the Graviton J. A. de Wet Box 514, Plettenberg Bay, 6600, South Africa Abstract We attempt to give a purely geometric interpretation of the Standard Model and trace of the graviton. The concept of a ”point” particle is replaced by fundamental symmetries assumed to characterize physical space. In particular the construction rests on Equation (1) which is an irreducible representation (or IR) of the Dirac ring, in line with some of Einstein’s last ideas that view ”particles” not as objects sitting in space-time but rather as parts of space-time itself.Essentially (1), governing the nucleon,imposes tetrahedral symmetry and consequently the Clebsch cubic of Fig.4 that carries the famous 27 lines that will be identified with E6 and the Standard Model.A section is the Cayley cubic of Fig.6 that shows a circle belonging to a photon γ. To find the other half of the Standard Model we study E7 , homomorphic to the binary octahedral group,, that introduces the product γ.γ with spin 2 thought to represent the graviton. Mathematics Subject Classification: 14J30, 22E70, 81V05, 81V35 Keywords: Standard Model, Quarks, Gluon Condensate, Clebsch Cubic, Strong Interaction, Graviton 1 Introduction In his book [14] Penrose, Section 22.1,refers to a point particle as a myste- rious spread out wavy thing in the quantum formalism. Such a ”spread out wave” may account for the Uncertainty Principle and for quantum entangle- ment where entangled ”particles” ,described by the wave function,may inter- act at a distance.
    [Show full text]
  • Representation Theory and the Mckay Correspondence
    Representation Theory and the McKay Correspondence Bachelorthesis Ralf Bendermacher 4038053 [email protected] Supervisor: Dr. J. Stienstra Utrecht University July 15, 2014 1 Contents 1 introduction 3 2 Representation Theory 4 2.1 Representations . .4 2.2 The group algebra . .5 2.3 CG-modules . .6 2.3.1 CG-submodules . .7 2.3.2 Irreducible CG-modules . .7 2.3.3 The regular CG-module . .7 2.3.4 CG-homomorphisms . .8 2.4 Characters . 10 2.5 Conjugacy classes . 15 3 Unitary matrices 16 4 Complex numbers 17 4.1 isomorphism SO(2) and U(1) . 17 5 Quaternions 18 5.1 H as a unital ring . 18 5.2 Representation of H ............................. 20 5.3 Rotations . 21 5.4 Composition of rotations . 24 6 The Platonic Solids 26 6.1 Symmetry groups of the solids . 26 6.2 Dual solids . 27 6.3 Tetrahedron . 27 6.4 The Cube and the Octahedron . 28 6.5 The Dodecahedron and the Icosahedron . 30 6.6 Groups . 30 7 Binary groups 32 8 The character tables of A4, S4 and A5 35 9 The symmetry groups 36 9.1 Octahedral group . 36 9.2 Tetrahedral group . 39 9.3 Icosahedral group . 41 9.4 Note on the Coxeter-Dynkin diagrams . 44 2 1 introduction We start by giving an introduction to representation theory and then apply it to the symmetry groups belonging to the 5 platonic solids; the tetrahedron, the cube, the oc- tahedron, the dodecahedron and the icosahedron. These 5 solids constitute 3 important symmetry groups, namely the tetrahedral group, octahedral group and the icosahedral group.
    [Show full text]
  • The Overarching Finite Symmetry Group of Kummer Surfaces in the Mathieu Group M 24
    DCPT-11/31 The overarching finite symmetry group of Kummer surfaces in the Mathieu group M24 Anne Taormina∗ and Katrin Wendland† ∗Centre for Particle Theory & Department of Mathematical Sciences, Durham University, Science Laboratories, South Road, Durham, DH1 3LE, U.K. †Mathematics Institute, Albert-Ludwigs-Universit¨at Freiburg, Eckerstraße 1, Freiburg im Breisgau, D-79104, Germany. Abstract In view of a potential interpretation of the role of the Mathieu group M24 in the con- text of strings compactified on K3 surfaces, we develop techniques to combine groups of symmetries from different K3 surfaces to larger ‘overarching’ symmetry groups. We con- struct a bijection between the full integral homology lattice of K3 and the Niemeier lattice 24 of type A1 , which is simultaneously compatible with the finite symplectic automorphism groups of all Kummer surfaces lying on an appropriate path in moduli space connecting the square and the tetrahedral Kummer surfaces. The Niemeier lattice serves to express all these symplectic automorphisms as elements of the Mathieu group M24, generating the 4 ‘overarching finite symmetry group’ (Z2) ⋊A7 of Kummer surfaces. This group has order 40320, thus surpassing the size of the largest finite symplectic automorphism group of a K3 surface by orders of magnitude. For every Kummer surface this group contains the group of symplectic automorphisms leaving the K¨ahler class invariant which is induced from the underlying torus. Our results are in line with the existence proofs of Mukai and Kondo, that finite groups of symplectic automorphisms of K3 are subgroups of one of eleven subgroups of M23, and we extend their techniques of lattice embeddings for all Kummer surfaces with K¨ahler class induced from the underlying torus.
    [Show full text]