 Orbifold notation

In geometry, orbifold notation (or orbifold signature) is a system, invented by William Thurston and popularized by the mathematician John Conway, for representing types of symmetry groups in twodimensional spaces of constant curvature. The advantage of the notation is that it describes these groups in a way which indicates many of the groups' properties: in particular, it describes the orbifold obtained by taking the quotient of Euclidean space by the group under consideration.
Groups representable in this notation include the point groups on the sphere (S^{2}), the frieze groups and wallpaper groups of the Euclidean plane (E^{2}), and their analogues on the hyperbolic plane (H^{2}).
Contents
Definition of the notation
The following types of Euclidean transformation can occur in a group described by orbifold notation:
 reflection through a line (or plane)
 translation by a vector
 rotation of finite order around a point
 infinite rotation around a line in 3space
 glidereflection, i.e. reflection followed by translation
All translations which occur are assumed to form a discrete subgroup of the group symmetries being described.
Each group is denoted in orbifold notation by a finite string made up from the following symbols:
 positive integers
 the infinity symbol,
 the asterisk, *
 the symbol o, which is called a wonder (Older documents show this as a solid circle)
 the symbol x, which is called a miracle (Older documents show this as an open circle)
A string written in boldface represents a group of symmetries of Euclidean 3space. A string not written in boldface represents a group of symmetries of the Euclidean plane, which is assumed to contain two independent translations.
Each symbol corresponds to a distinct transformation:
 an integer n to the left of an asterisk indicates a rotation of order n around a point
 an integer n to the right of an asterisk indicates a transformation of order 2n which rotates around a point and reflects through a line (or plane)
 an x indicates a glide reflection
 the symbol indicates infinite rotational symmetry around a line; it can only occur for bold face groups. By abuse of language, we might say that such a group is a subgroup of symmetries of the Euclidean plane with only one independent translation. The frieze groups occur in this way.
 the exceptional symbol o indicates that there are precisely two linearly independent translations.
Chirality and achirality
An object is chiral if its symmetry group contains no reflections; otherwise it is called achiral. The corresponding orbifold is orientable in the chiral case and nonorientable otherwise.
The Euler characteristic and the order
The Euler characteristic of an orbifold can be read from its Conway symbol, as follows. Each feature has a value:
 n without or before an asterisk counts as
 n after an asterisk counts as
 asterisk and x count as 1
 o counts as 2
Subtracting the sum of these values from 2 gives the Euler characteristic.
If the sum of the feature values is 2, the order is infinite, i.e., the notation represents a wallpaper group or a frieze group. Indeed, Conway's "Magic Theorem" indicates that the 17 wallpaper groups are exactly those with the sum of the feature values equal to 2. Otherwise, the order is 2 divided by the Euler characteristic.
Equal groups
The following groups are isomorphic:
 1* and *11
 22 and 221
 *22 and *221
 2* and 2*1
This is because 1fold rotation is the "empty" rotation.
Other objects
A perfect snowflake would have *66 symmetry,
The pentagon has symmetry *55, the whole image with arrows 55.
The Flag of Hong Kong has 5 fold rotation symmetry, 55.The symmetry of a 2D object without translational symmetry can be described by the 3D symmetry type by adding a third dimension to the object which does not add or spoil symmetry. For example, for a 2D image we can consider a piece of carton with that image displayed on one side; the shape of the carton should be such that it does not spoil the symmetry, or it can be imagined to be infinite. Thus we have nn and *nn.
Similarly, a 1D image can be drawn horizontally on a piece of carton, with a provision to avoid additional symmetry with respect to the line of the image, e.g. by drawing a horizontal bar under the image. Thus the discrete symmetry groups in one dimension are 11, *11, and *.
Another way of constructing a 3D object from a 1D or 2D object for describing the symmetry is taking the Cartesian product of the object and an asymmetric 2D or 1D object, respectively.
Correspondence tables
Spherical
See also: List of spherical symmetry groups
Spherical Symmetry Groups: (n=3,4,..)^{[1]} Orbifold
SignatureCoxeter Schönflies Hermann–Mauguin Order Polyhedral groups *532 [3,5] I_{h} 53m 120 532 [3,5]^{+} I 532 60 *432 [3,4] O_{h} m3m 48 432 [3,4]^{+} O 432 24 *332 [3,3] T_{d} 43m 24 3*2 [3^{+},4] T_{h} m3 24 332 [3,3]^{+} T 23 12 Dihedral and cyclic groups: n=3,4,5... *22n [2,n] D_{nh} n/mmm or 2nm2 4n 2*n [2^{+},2n] D_{nd} 2n2m or nm 4n 22n [2,n]^{+} D_{n} n2 2n *nn [n] C_{nv} nm 2n n* [2,n^{+}] C_{nh} n/m or 2n 2n nx [2^{+},2n^{+}] S_{2n} 2n or n 2n nn [n]^{+} C_{n} n n Special cases *222 [2,2] D_{2h} 2/mmm or 22m2 8 2*2 [2^{+},4] D_{2d} 222m or 2m 8 222 [2,2]^{+} D_{2} 22 4 *22 [2] C_{2v} 2m 4 2* [2,2^{+}] C_{2h} 2/m or 22 4 2x [2^{+},4^{+}] S_{4} 22 or 2 4 22 [2]^{+} C_{2} 2 2 *221 [1,2] D_{1h} 1/mmm or 21m2 4 2*1 [2^{+},2] D_{1d} 212m or 1m 4 221 [1,2]^{+} D_{1} 12 2 *11 [ ] C_{1v} 1m 2 1* [2,1^{+}] C_{1h} 1/m or 21 2 1x [2^{+},2^{+}] S_{2} 21 or 1 2 11 [ ]^{+} C_{1} 1 1 Euclidean plane
See also: List of planar symmetry groups
Frieze groups
Frieze groups Notations Description Examples IUC Orbifold Coxeter Schönflies^{*} p1 ∞∞ [∞,1]^{+} C_{∞} (hop): Translations only. This group is singly generated, with a generator being a translation by the smallest distance over which the pattern is periodic. Abstract group: Z, the group of integers under addition. p11g ∞x [∞^{+},2^{+}] S_{∞} (step): Glidereflections and translations. This group is generated by a glide reflection, with translations being obtained by combining two glide reflections. Abstract group: Z p11m ∞* [∞^{+},2] C_{∞h} (jump): Translations, the reflection in the horizontal axis and glide reflections. This group is generated by a translation and the reflection in the horizontal axis. Abstract group: Z × Z_{2} p1m1 *∞∞ [∞,1] C_{∞v} (sidle): Translations and reflections across certain vertical lines. The group is the same as the nontrivial group in the onedimensional case; it is generated by a translation and a reflection in the vertical axis. The elements in this group correspond to isometries (or equivalently, bijective affine transformations) of the set of integers, and so it is isomorphic to a semidirect product of the integers with Z_{2}. Abstract group: Dih_{∞}, the infinite dihedral group. p2 22∞ [∞,2]^{+} D_{∞} (spinning hop): Translations and 180° rotations. The group is generated by a translation and a 180° rotation. Abstract group: Dih_{∞} p2mg 2*∞ [∞,2^{+}] D_{∞d} (spinning sidle): Reflections across certain vertical lines, glide reflections, translations and rotations. The translations here arise from the glide reflections, so this group is generated by a glide reflection and either a rotation or a vertical reflection. Abstract group: Abstract group: Dih_{∞} p2mm *22∞ [∞,2] D_{∞h} (spinning jump): Translations, glide reflections, reflections in both axes and 180° rotations. This group is the "largest" frieze group and requires three generators, with one generating set consisting of a translation, the reflection in the horizontal axis and a reflection across a vertical axis. Abstract group: Dih_{∞} × Z_{2}  ^{*}Schönflies's point group notation is extended here as infinite cases of the equivalent dihedral points symmetries
Wallpaper groups
17 wallpaper groups^{[2]} Orbifold
SignatureCoxeter Hermann–Mauguin Speiser
NiggliPolya
GuggenheinFejes Toth
Cadwell*632 [6,3] p6m C^{(I)}_{6v} D_{6} W^{1}_{6} 632 [6,3]^{+} p6 C^{(I)}_{6} C_{6} W_{6} *442 [4,4] p4m C^{(I)}_{4} D^{*}_{4} W^{1}_{4} 4*2 [4^{+},4] p4g C^{II}_{4v} D^{o}_{4} W^{2}_{4} 442 [4,4]^{+} p4 C^{(I)}_{4} C_{4} W_{4} *333 [3^{[3]}] p3m1 C^{II}_{3v} D^{*}_{3} W^{1}_{3} 3*3 [6,3^{+}] p31m C^{I}_{3v} D^{o}_{4} W^{2}_{3} 333 [3^{[3]}]^{+} p3 C^{I}_{3} C_{3} W_{3} *2222 [∞,2,∞] pmm C^{I}_{2v} D_{2}kkkk W^{2}_{2} 2*22 [∞,2+,∞] cmm C^{IV}_{2v} D_{2}kgkg W^{1}_{2} 22* [(∞,2)^{+},∞] pmg C^{III}_{2v} D_{2}kkgg W^{3}_{2} 22x [∞^{+},2+,∞^{+}] pgg C^{II}_{2v} D_{2}gggg W^{4}_{2} 2222 [∞,2,∞]^{+} p2 C^{(I)}_{2} C_{2} W_{2} ** [∞,2,∞^{+}] pm C^{I}_{s} D_{1}kk W^{2}_{1} *x [∞,2^{+},∞^{+}] cm C^{III}_{s} D_{1}kg W^{1}_{1} xx [(∞,2)^{+},∞^{+}] pg C^{II}_{2} D_{1}gg W^{3}_{1} o [∞^{+},2,∞^{+}] p1 C^{(I)}_{1} C_{1} W_{1} Hyperbolic plane
A first few hyperbolic groups, ordered by their orbifold characteristic are:
Hyperbolic Symmetry Groups^{[3]} (1/char) Orbifolds Coxeter (84) *237 [7,3] (48) *238 [8,3] (42) 237 [7,3]^{+} (40) *245 [5,4] (24) *2.3.12, *246, *334, 3*4, 238 [12,3], [6,4], [(4,3,3)], [8,3]^{+} (20) *2.3.15, *255, 5*2, 245 [15,3], [5,5], [5^{+},4], [5,4]^{+} (18+2/3) *247 [7,4] (18) *2.3.18, 239 [18,3], [9,3]^{+} (16) *2.3.24, *248 [24,3], [8,4] (15) *2.3.30, *256, *335, 3*5, 2.3.10 [30,3], [6,5], [(5,3,3)], [3^{+},10], [10,3]^{+} (14+2/5) *2.3.36, *249 [36,3], [9,4] (13+1/3) *2.3.60, *2.4.10 [60,3], [10,4] (13+1/5) *2.3.66, 2.3.11 [66,3], [11,3]^{+} (12+8/11) *2.3.105, *257 [105,3], [7,5] (12+4/7) *2.3.132, *2.4.11 ... *23∞, *2.4.12, *266, 6*2 [132,3], [11,4], ..., [∞,3], [12,4], [6,6], [6^{+},4] (12) *336, 3*6, *344, 4*3, *2223, 2*23, 2.3.12, 246, 334 [(6,3,3)], [3^{+},12], [(4,4,3)], [4^{+},6], ... [12,3]^{+}, [6,4]^{+} [(4,3,3)]^{+} ... See also
 Fibrifold notation  an extension of orbifold notation for 3d space groups
References
 John H. Conway, Olaf Delgado Friedrichs, Daniel H. Huson, and William P. Thurston. On Threedimensional Orbifolds and Space Groups. Contributions to Algebra and Geometry, 42(2):475507, 2001.
 J. H. Conway, D. H. Huson. The Orbifold Notation for TwoDimensional Groups. Structural Chemistry, 13 (34): 247257, August 2002.
 J. H. Conway (1992). "The Orbifold Notation for Surface Groups". In: M. W. Liebeck and J. Saxl (eds.), Groups, Combinatorics and Geometry, Proceedings of the L.M.S. Durham Symposium, July 5–15, Durham, UK, 1990; London Math. Soc. Lecture Notes Series 165. Cambridge University Press, Cambridge. pp. 438–447
 John H. Conway, Heidi Burgiel, Chaim GoodmanStrass, The Symmetries of Things 2008, ISBN 9781568812205
External links
 A field guide to the orbifolds (Notes from class on "Geometry and the Imagination" in Minneapolis, with John Conway, Peter Doyle, Jane Gilman and Bill Thurston, on June 1728, 1991. See also PDF, 2006)
 2DTiler Software for visualizing twodimensional tilings of the plane and editing their symmetry groups in orbifold notation
Categories: Group theory
 Generalized manifolds
 Mathematical notation
Wikimedia Foundation. 2010.
Look at other dictionaries:
Orbifold — This terminology should not be blamed on me. It was obtained by a democratic process in my course of 1976 77. An orbifold is something with many folds; unfortunately, the word “manifold” already has a different definition. I tried “foldamani”,… … Wikipedia
Ebene kristallografische Gruppe — Die ebenen kristallografischen Gruppen sind die Symmetriegruppen von periodischen Mustern oder Parkettierungen der euklidischen Ebene. Im zweidimensionalen Raum gibt es siebzehn verschiedene kristallographische Raumgruppen. Im Sinne der… … Deutsch Wikipedia
Ebene kristallographische Gruppe — Die ebenen kristallographischen Gruppen sind die Symmetriegruppen von periodischen Mustern oder Parkettierungen der euklidischen Ebene. Es gibt genau 17 solche Gruppen. Ihnen entsprechen im dreidimensionalen Raum die 230 kristallographischen… … Deutsch Wikipedia
Ornamentgruppe — Die ebenen kristallografischen Gruppen sind die Symmetriegruppen von periodischen Mustern oder Parkettierungen der euklidischen Ebene. Im zweidimensionalen Raum gibt es siebzehn verschiedene kristallographische Raumgruppen. Im Sinne der… … Deutsch Wikipedia
Space group — In mathematics and geometry, a space group is a symmetry group, usually for three dimensions, that divides space into discrete repeatable domains. In three dimensions, there are 219 unique types, or counted as 230 if chiral copies are considered… … Wikipedia
Wallpaper group — A wallpaper group (or plane symmetry group or plane crystallographic group) is a mathematical classification of a two dimensional repetitive pattern, based on the symmetries in the pattern. Such patterns occur frequently in architecture and… … Wikipedia
Point groups in three dimensions — In geometry, a point group in three dimensions is an isometry group in three dimensions that leaves the origin fixed, or correspondingly, an isometry group of a sphere. It is a subgroup of the orthogonal group O(3), the group of all isometries… … Wikipedia
Frieze group — A frieze group is a mathematical concept to classify designs on two dimensional surfaces which are repetitive in one direction, based on the symmetries in the pattern. Such patterns occur frequently in architecture and decorative art. The… … Wikipedia
List of mathematics articles (O) — NOTOC O O minimal theory O Nan group O(n) Obelus Oberwolfach Prize Object of the mind Object theory Oblate spheroid Oblate spheroidal coordinates Oblique projection Oblique reflection Observability Observability Gramian Observable subgroup… … Wikipedia
List of planar symmetry groups — This article summarizes the classes of discrete planar symmetry groups: #2 infinite set of point groups #7 Frieze groups #17 wallpaper groups Point groups There are two classes of point groups, rotational and reflectional.Point groups: Maximum… … Wikipedia