Orbifold notation is a symbolic system devised by mathematician John H. Conway for compactly describing two‑dimensional orbifolds and the symmetry groups that act on them. The notation encodes the topological and geometrical features of an orbifold—such as cone points, corner reflectors, mirror boundaries, and handles—into a concise string of characters, facilitating classification and comparison of planar symmetry groups, including wallpaper groups, frieze groups, and spherical symmetry groups.
Structure of the notation
An orbifold notation string consists of three parts, written in order:
- Mirror boundary component – Represented by the asterisk “*”. If a mirror boundary is present, the asterisk precedes the rest of the symbols.
- Cone points – Positive integers $n$ denote rotational symmetry of order $n$ at isolated points (cone points). For example, “3” indicates a 3‑fold rotational symmetry.
- Corner reflectors – When a mirror boundary is present, integers following the asterisk specify corner reflectors, i.e., points where two mirror lines meet with an angle of $\pi/n$. For instance, “*236” describes a mirror boundary with corner reflectors of orders 2, 3, and 6.
- Handles – The symbol “×” denotes a cross‑cap (non‑orientable handle). Multiple “×” symbols indicate additional cross‑caps.
- Boundary components without mirrors – The symbol “○” (a circle) is used for a boundary component without mirrors (a “hole” in the orbifold).
The combination of these symbols uniquely determines the underlying orbifold and, via the orbifold Euler characteristic, the corresponding symmetry group.
Examples
| Notation | Description of the orbifold | Corresponding symmetry group |
|---|---|---|
| “*632” | Mirror boundary with corner reflectors of orders 6, 3, 2. | The full symmetry group of a regular hexagonal tiling (p6m). |
| “236” | No mirrors; cone points of orders 2, 3, 6. | Rotational symmetry of a 2‑3‑6 triangle orbifold (a spherical triangle group). |
| “*∞” | Mirror boundary with an infinite‑order corner reflector (a glide reflection). | A frieze group containing glide reflections. |
| “××” | Two cross‑caps (non‑orientable surface of genus 2). | Symmetry group of a Klein bottle. |
| “*” | Pure mirror boundary with no corner reflectors. | The dihedral group generated by reflections across a single line. |
Historical context
Conway introduced orbifold notation in the 1970s as part of his broader work on the theory of orbifolds, formalized in the book The Symmetry of Things (1999, co‑authored with Heidi Burgiel and Chaim Goodman‑Strauss). The notation aimed to provide a more intuitive alternative to the traditional crystallographic notation (e.g., International Union of Crystallography symbols) by directly reflecting the geometric construction of the orbifold.
Mathematical significance
Orbifold notation is closely related to the computation of the orbifold Euler characteristic $\chi$, given by
$$ \chi = \chi_{\text{underlying surface}} - \sum_{i}\left(1-\frac{1}{n_i}\right) - \frac{1}{2}\sum_{j}\left(1-\frac{1}{m_j}\right), $$
where $n_i$ are the orders of cone points and $m_j$ are the orders of corner reflectors. The value of $\chi$ determines whether the orbifold is spherical ($\chi>0$), Euclidean ($\chi=0$), or hyperbolic ($\chi<0$), thereby classifying the associated symmetry group.
Applications
- Crystallography and pattern design – Provides a compact description of wallpaper and frieze patterns, facilitating the enumeration of distinct pattern types.
- Computer graphics – Used in procedural generation of tilings and textures where symmetry constraints are required.
- Topology – Assists in the classification of two‑dimensional orbifolds, which appear in the study of quotient spaces of surfaces by group actions.
- Education – Employed as a pedagogical tool to illustrate connections between group theory, geometry, and topology.
Limitations
While orbifold notation is highly effective for two‑dimensional orbifolds, it does not directly extend to higher‑dimensional orbifolds, where more complex singular sets can occur. For three‑dimensional crystallographic groups, other notations such as the Hermann–Mauguin symbols are preferred.
References
- Conway, J. H., Burgiel, H., & Goodman‑Strauss, C. (2008). The Symmetry of Things. A K Peters.
- Thurston, W. P. (1979). The Geometry and Topology of Three‑Manifolds. Lecture notes, Princeton University.
- Coxeter, H. S. M., & Moser, W. O. J. (1980). Generators and Relations for Discrete Groups. Springer.