We study sections of high dimensional polytopes whose vertices form the orbit of a Coxeter group, and create “scans”of such polytopes in order to graphically visualise them for educational and public engagement purposes

Thomas, B

Valiunas, M

Zappa, E

White Rose Research Online

This is a repository copy of Sections of Coxeter Orbihedra.White Rose Research Online URL for this paper:http://eprints.whiterose.ac.uk/99122/Version: Accepted VersionProceedings Paper:Valiunas, M, Zappa, E and Thomas, B (2016) Sections of Coxeter Orbihedra. In: Proceedings of Bridges 2016: Mathematics, Music, Art, Architecture, Education, Culture (2016). Bridges Finland 2016: Mathematics, Music, Art, Architecture, Education, Culture, 09-13 Aug 2016, University of Jyväskylä, Finland. Tessellations Publishing , pp. 469-472. ISBN 978-1-938664-19-9 eprints@whiterose.ac.ukhttps://eprints.whiterose.ac.uk/Reuse Unless indicated otherwise, fulltext items are protected by copyright with all rights reserved. The copyright exception in section 29 of the Copyright, Designs and Patents Act 1988 allows the making of a single copy solely for the purpose of non-commercial research or private study within the limits of fair dealing. The publisher or other rights-holder may allow further reproduction and re-use of this version - refer to the White Rose Research Online record for this item. Where records identify the publisher as the copyright holder, users can verify any specific terms of use on the publisher’s website. Takedown If you consider content in White Rose Research Online to be in breach of UK law, please notify us by emailing eprints@whiterose.ac.uk including the URL of the record and the reason for the withdrawal request. Sections of Coxeter OrbihedraMotiejus ValiunasFaculty of Mathematics, University of Cambridge, Cambridge, CB3 0WA, UKmv360@cam.ac.ukEmilio ZappaCourant Institute of Mathematical Sciences, New York University, New York, 10012, NYzappa@cims.nyu.eduBriony ThomasSchool of Mechanical Engineering, University of Leeds, Leeds, LS2 9JT, UKB.G.Thomas@leeds.ac.ukAbstractWe study sections of high dimensional polytopes whose vertices form the orbit of a Coxeter group, and create “scans”of such polytopes in order to graphically visualise them for educational and public engagement purposes.IntroductionGeometry in higher dimensions is a fascinating and challenging problem that has attracted the attentionof mathematicians and scientists for a long time. Coxeter, in his celebrated book Regular Polytopes [1],presented a systematic study of regular polytopes, and introduced the concept of Coxeter group in orderto study their symmetry properties. In the finite case, Coxeter groups correspond to groups generated byreflections through hyperplanes; familiar examples are the dihedral groups in the plane and the symmetrygroups of the platonic solids.Group theory is a fundamental tool in mathematics to describe objects with symmetry. A group ofisometries G in the plane or in space acts as a collection of rigid motions; given a point x, the set O ={g · x : g ∈ G} is called the orbit of x under G [2], and the convex hull of O defines a G-orbihedron [3]. Inthis paper we visualise such polytopes by “cutting” them through certain planes perpendicular to symmetryaxes, thus obtaining sections of the orbihedra. Such sections are lower dimensional polyhedra which retainsome symmetry properties of the original polyhedron.A great challenge is to explain higher dimensional geometry to a wider audience, even beyond the math-ematical community. To this aim, we define in this paper what is meant by a “scan” of a G-orbihedron P: ifwe fix a direction perpendicular to some symmetry axes of P , then we can vary continously the plane whichcuts P along this direction, thus constructing a continous family of sections of P . This process of “slicing”or “scanning” allows a nice visualisation of P with some particular symmetry properties. This can be inprinciple applied to any higher dimensional polytope; however in the case of G-orbihedra we can formulatethe problem in terms of root systems and weights, which gives a better understanding of the geometry of thescans.Coxeter groups, root systems and weightsCoxeter groups have been studied extensively and constitute an important field of research in abstract alge-bra [4]. In the finite dimensional case, they correspond to groups generated by reflections. Specifically, aα1α2ω1ω2Figure 1 : The root system, simple roots and fundamental weights for the dihedral group D10.The area highlighted corresponds to a patch of the fundamental chamber for the orbits of D10.reflection rα associated with a vector α ∈ V , with V a finite dimensional vector space with inner product〈, 〉, is the linear operator given by rα(v) = v −2〈α,v〉〈α,α〉 α, with v ∈ V .A root system φ is a finite set of vectors such that φ ∩ Rα = {α,−α} and rαφ = φ for every α ∈ φ.A finite Coxeter group G corresponds then to a group generated by reflections rα associated with a rootsystem φ. It can be proved that G can be generated by a finite number of reflections in φ, denoted by∆ = {α1, . . . ,αk}, and called simple roots. The set D+ = {x ∈ Rk : 〈x,αi〉 ≥ 0, α ∈ ∆} is called thedominant chamber of G and is such that every orbit of G contains exactly one point x∗ in D+, referred toas the dominant point of the orbit. Finally, it is convenient to introduce the basis ω1, . . . ,ωk of fundamentalweights defined by2〈αi,ωj〉〈αi,αi〉= δij , fo i, j = 1, . . . , k, where δij is the Kronecker delta. It is easy to check thata point x belongs to the dominant chamber if and only if its coordinates in the ω-basis are all non-negative.In Figure 1 we show the root system, simple roots and fundamental weights for the dihedral group D10.Sections and scans of Coxeter orbihedraLet us consider a Coxeter group G with simple roots ∆ = {αi, . . . ,αk} and fundamental weights {ω1, . . . ,ωk}.Given a point x in the fundamental chamber D+, we consider the orbit OG(x); its convex hull defines a G-orbihedron P . Let us choose a subset Π = {α1, . . . ,αm} of ∆, consisting of m roots, and let ω1, . . . ,ωmbe the corresponding weights. Let c = (c1, . . . , cm) be a vector in Rm, and let us define the affine subspaceHc given byHc := {v ∈ Rk : 〈v,ωi〉 = ci, i = 1, . . . ,m}.The dimension of Hc is d := k − m. It is straightforward to see that Hc is invariant under the reflectionsrαi , with αi /∈ Π; in fact, we have〈rαj (v),ωi〉 = 〈v − 2〈αj ,v〉〈αj ,αj〉αj ,ωi〉 = 〈v,ωi〉 − 2〈αj ,v〉〈αj ,αj〉〈αj ,ωi〉︸ ︷︷ ︸=0= 〈v,ωi〉 = c.A section of P with respect to c is the set Qc := P ∩ Hc. Qc is a polytope of dimension d invariantunder the Coxeter group G̃ generated by rαj , with αj /∈ Π, which is a subgroup of G. With this setup, wecan define a scan of P with respect to Π the function SΠ : Rm → P(Rd), the power set of Rd, given byc 7→ Qc. We focus here on the case m = 1, i.e. sections of codimension 1. In this case, we choose a weightω∗ and remove it from the set of weights. Hence, the scans S(c) are functions parameterised by c ∈ R.Combinatorially, we can associate to a polytope P its face lattice l(P), i.e. the set of inclusions of its faces(of various dimensions) [5]. We thus say that c∗ ∈ R is a critical point for the scan of a polytope P if l(S(c))changes for c = c∗. Intuitively, a change in the sections occurs when the hyperplane Hc “hits” a vertex of P .We present here two examples of scans, for the case of the Coxeter group H4, which is associatedwith generalised icosahedral symmetry in four dimensions [4]. Specifically, we consider two polytopes withH4 symmetry: the 120-cell and the 600-cell, which correspond to the dodecahedron and the icosahedron infour dimensions, respectively [1]. We construct various sections of these polytopes (see Figure 2 and 3), byremoving one suitable root to the the root system of H4, in such a way that the resulting polyhedra retainicosahedral symmetry (cf.[6] for more details). Notice that, while they all share the same symmetry group,the sections have in general different combinatorial and geometrical properties, and various critical pointsoccur during the scan. These snapshots can be used to create animations of the scans of polytopes, thusproviding a concrete tool to “grasp” higher dimensional objects.Figure 2 : Snapshots of the scan of a four-dimensional 120-cells: all the sections retain icosahe-dral symmetry.Figure 3 : Snapshots of the scan of a four-dimensional 600-cells: as for the case of 120-cells, weconsider sections with icosahedral symmetry.Finally, we briefly point out that it is possible to describe geometrically the sections of Coxeter orbihedraof codimension 1 as an intersection of polytopes with prescribed symmetry properties. We give an examplein Figure 4: an icosahedron is cut along a five-fold symmetry axis, resulting in a polygon with symmetrygroup D5, which can be seen as the intersections of two pentagons. Algebraically, this can be explained bythe fact that any convex polytope P can be described as an intersection of hyperplanes [5]; in the case ofCoxeter groups, these can be written in terms of the fundamental weights {ω1, . . . ,ωk}. By removing oneweight ω∗, we construct the corresponding hyperplane Hc which cuts the polytope, and project the boundinghyperplanes into Hc, resulting in a set of lower dimensional polytopes whose intersection is Hc ∩ P . Suchpolytopes are face-transitive with respect to the group G̃ as defined above, and they arise by consideringG̃-orbits of bounding hyperplanes of Hc ∩ P . We are working on a formal proof of this, as well as on thecombinatorial and geometrical properties of scans with codimension greater than one.Figure 4 : Section of an icosahedron along a five-fold axis: the result (on the right) is a poly-gon with five-fold symmetry, which can be described geometrically as the intersection of twopentagons.References[1] H.S.M. Coxeter. Regular polytopes. Dover Publications, Inc. New York, 1973.[2] M. Artin. Algebra. Prentice-Hall, 1991.[3] N. McCarthy, D. Ogilvie, N. Zobin, and V. Zobin. Convex geometry of Coxeter-invariant polyhedra.Contemporary Mathematics, 321:153–179, 2003.[4] J.E. Humphreys. Reflection groups and Coxeter groups. Cambridge University Press, 1990.[5] G.M. Ziegler. Lectures on polytopes. Springer-Verlag, New York, 1995.[6] E. Zappa. New group theoretical methods for applications in virology and quasicrystals. PhD thesis,University of York, 2015.AcknowledgementsWe thank Vincent Matsko for useful discussions. MV thanks the University of Leeds for funding, and theYork Centre for Complex Systems Analysis for hospitality during the summer 2015, where part of this workwas carried out.

Sections of Coxeter Orbihedra

https://eprints.whiterose.ac.uk/99122/8/sections_revised.pdf

Sections of Coxeter Orbihedra

Abstract

Similar works

Full text

Available Versions

White Rose Research Online