En geometría, la notación orbifold (o signatura orbifold) es un sistema, inventado por el matemático William Thurston y promovido por John Conway, ideado para representar tipos de grupos de simetría en espacios bidimensionales de curvatura constante. La ventaja de la notación es que describe estos grupos de una manera que indica muchas de sus propiedades. En particular, sigue el criterio de William Thurston al describir el orbifold obtenido al tomar el cociente del espacio euclídeo por el grupo en consideración.

Los grupos representables en esta notación incluyen los grupos de puntos en la esfera (), los frisos y el grupo del papel pintado en el espacio bidimensional () y sus análogos en el plano hiperbólico ().

Definición de la notación

Los siguientes tipos de transformación euclídea pueden darse en un grupo descrito por la notación orbifold:

Reflexión a través de una línea (o plano) Traslación por un vector Rotación de orden finito alrededor de un punto Rotación infinita alrededor de una línea en el espacio tridimensional Deslizamiento-reflexión, es decir, reflexión seguida de traslación

Se supone que todas las traslaciones posibles forman un subgrupo discreto de las simetrías de grupo que se describen.

Cada grupo se denota en notación orbifold mediante una cadena finita formada por los siguientes símbolos:

Los números enteros positivos El símbolo infinito, El asterisco, * El símbolo o (un círculo sólido en documentos más antiguos), que se denomina maravilla ("wonder") y también asa porque topológicamente representa una superficie cerrada análoga a un toro (con un asa). Los patrones se repiten según dos traslaciones. El símbolo (un círculo abierto en documentos más antiguos), que se denomina milagro ("miracle") y representa una banda de Möbius, donde topológicamente un patrón se repite como una imagen especular sin cruzar una línea especular.

Una cadena escrita en letra negrita representa un grupo de simetrías del espacio tridimensional euclídeo. Una cadena que no está escrita en negrita representa un grupo de simetrías del plano euclídeo, que se supone que contiene dos traslaciones independientes.

Cada símbolo corresponde a una transformación distinta:

Un entero n a la izquierda de un asterisco indica un movimiento de rotación de orden n alrededor de un punto de giro. Un número entero n a la derecha de un asterisco indica una transformación de orden 2n que gira alrededor de un punto caleidoscópico y se refleja a través de una línea (o plano). Un indica un reflejo respecto a un plano. El símbolo indica simetría rotacional infinita alrededor de una línea. Solo puede ocurrir para grupos en negrita. Por abuso de lenguaje, se suele decir que tal grupo es un subgrupo de simetrías del plano euclídeo con una sola traslación independiente. Los frisos se generan de esta manera. El símbolo excepcional o indica que existen precisamente dos traslaciones linealmente independientes.

Orbifolds buenos

Un símbolo orbifold se denomina bueno si no es uno de los siguientes: p, pq, *p, *pq, para p, q ≥ 2 y p ≠ q.

Quiralidad y aquiralidad Un objeto es quiral si su grupo de simetría no contiene reflexiones; de lo contrario se denomina aquiral. El orbifold correspondiente es orientable en el caso quiral y no orientable en el caso contrario.

La característica de Euler y el orden La característica de Euler de un orbifold se puede leer a partir de su símbolo de Conway, de la siguiente manera. Cada característica tiene un valor:

n sin o antes de un asterisco cuenta como n después de un asterisco cuenta como Un asterisco y cuentan como 1 o cuenta como 2.

Restar la suma de estos valores de 2 da la característica de Euler.

Si la suma de los valores de las características es 2, el orden es infinito, es decir, la notación representa un grupo de papel pintado o un grupo de frisos. De hecho, el "Teorema Mágico" de Conway indica que los 17 grupos del papel pintado son exactamente aquellos con la suma de los valores de las características igual a 2. De lo contrario, el orden es 2 dividido por la característica de Euler.

Grupos isomorfos Los siguientes grupos son isomorfos: 1* y *11 22 y 221 *22 y *221 2* y 2*1. Esto se debe a que la rotación de 1 vez es la rotación "vacía".

Grupos bidimensionales

La simetría de un objeto bidimensional sin simetría de traslación se puede describir mediante el tipo de simetría 3D, agregando una tercera dimensión al objeto que no altera su simetría plana. Por ejemplo, para una imagen 2D se puede considerar una caja de cartón con esa imagen mostrada en uno de sus lados; la forma del soporte debe ser tal que no altere la simetría, o puede imaginarse que es infinita. Así, se tiene n• y *n•. El círculo negro (•) se agrega en grupos de una y dos dimensiones para implicar la existencia de un punto fijo. En tres dimensiones, estos grupos existen en un orbifold digonal de multiplicidad n y se representan como nn y *nn.

De manera similar, una imagen unidimensional se puede dibujar horizontalmente en una pieza de cartón, con la previsión de evitar una simetría adicional con respecto a la línea de la imagen, por ejemplo dibujando una barra horizontal debajo de la imagen. Así, los grupos de simetría en una dimensión discretos son *•, *1•, ∞• y *∞•.

Otra forma de construir un objeto 3D a partir de un objeto 1D o 2D para describir la simetría es tomar el producto cartesiano del objeto y por un objeto asimétrico 2D o 1D, respectivamente.

Tablas de correspondencia

Esfera + Dominios fundamentales de los grupos de puntos 3D reflexivos (*11), C1v= Cs (*22), C2v (*33), C3v (*44), C4v (*55), C5v (*66), C6v60pxOrden 260pxOrden 460pxOrden 660pxOrden 860pxOrden 1060pxOrden 12 (*221), D1h= C2v (*222), D2h (*223), D3h (*224), D4h (*225), D5h (*226), D6h60pxOrden 460pxOrden 860pxOrden 1260pxOrden 1660pxOrden 2060pxOrden 24(*332), Td(*432), Oh(*532), Ih120pxOrden 24120pxOrden 48120pxOrden 120

+ Grupos de simetría esféricaSymmetries of Things, Appendix A, page 416 Signaturaorbifold Coxeter Schönflies Hermann-Mauguin OrdenGrupos poliédricos*532[3,5]Ih53m120532[3,5]+I53260*432[3,4]Ohm3m48432[3,4]+O43224*332[3,3]Td3m243*2[3+,4]Thm324332[3,3]+T2312Grupos diédrico y cíclicos: n= 3, 4, 5 ...*22n[2,n]Dnhn/mmm o 2m4n2*n[2+,2n]Dnd22m o m4n22n[2,n]+Dnn22n*nn[n]Cnvnm2nn*[n+,2]Cnhn/m o 22nn×[2+,2n+]S2n2 o 2nnn[n]+CnnnCasos especiales*222[2,2]D2h2/mmm o 2m82*2[2+,4]D2d22m o m8222[2,2]+D2224*22C2v2m42*[2+,2]C2h2/m o 242×[2+,4+]S42 o 422+C222*22[1,2]D1h= C2v1/mmm o 2m42*[2+,2]D1d= C2h22m o m422[1,2]+D1= C2122*1[ ]C1v= Cs1m21*[2,1+]C1h= Cs1/m o 221×[2+,2+]S2= Ci2 o 21[ ]+C111

Plano euclídeo

Grupos de frisos + Grupo de los frisos IUC Cox. Schön.* Diagrama,§ orbifold Ejemplos yapodos de ConwayFrieze Patterns Mathematician John Conway created names that relate to footsteps for each of the frieze groups. Descripciónp1[∞]+C∞Z∞100px∞∞F F F F F F F F150px150pxhop(T) Traslaciones solo:Este grupo se genera individualmente, mediante una traslación por la distancia más pequeña sobre la cual el patrón es periódico.p11g[∞+,2+]S∞Z∞100px∞×Γ L Γ L Γ L Γ L150px150pxstep(TG) Reflexiones deslizadas y Traslaciones:Este grupo se genera individualmente, mediante una reflexión deslizada, y las traslaciones se obtienen combinando dos reflexiones deslizadas.p1m1[∞]C∞vDih∞100px*∞∞Λ Λ Λ Λ Λ Λ Λ Λ150px150pxsidle(TV) Líneas Verticales de reflexión y Traslaciones:El grupo es el mismo que el grupo no trivial en el caso unidimensional; se genera por una traslación y una reflexión respecto al eje vertical.p2[∞,2]+D∞Dih∞100px22∞S S S S S S S S150px150pxspinning hop(TR) Traslaciones y Rotaciones de 180°:El grupo se genera mediante una traslación y una rotación de 180°.p2mg[∞,2+]D∞dDih∞100px2*∞V Λ V Λ V Λ V Λ150px150pxspinning sidle(TRVG) Líneas de reflexión Verticales, Reflexiones con deslizamiento, Traslaciones y Rotaciones de 180°:Las traslaciones aquí surgen de las reflexiones de deslizamiento, por lo que este grupo es generado por una reflexión de deslizamiento y una rotación o una reflexión vertical.p11m[∞+,2]C∞hZ∞×Dih1100px∞*B B B B B B B B150px150pxjump(THG) Traslaciones, reflexiones Horizontales, reflexiones con Deslizamiento:Este grupo es generado por una traslación y la reflexión en el eje horizontal. La reflexión de deslizamiento aquí surge como la composición de la traslación y la reflexión horizontal.p2mm[∞,2]D∞hDih∞×Dih1100px*22∞H H H H H H H H150px150pxspinning jump(TRHVG) Líneas de reflexión Horizontales y Verticales, Traslaciones y Rotaciones de 180°:Este grupo requiere tres generadores, con un conjunto generador que consiste en una traslación, la reflexión en el eje horizontal y una reflexión en el eje vertical. *La notación de grupo de puntos de Schönflies se extiende aquí como casos infinitos de las simetrías de puntos diédricos equivalentes. §El diagrama muestra un dominio fundamental en amarillo, con líneas de reflexión en azul, líneas de reflexión de deslizamiento en verde punteado, normales de traslación en rojo y puntos de giro dobles como pequeños cuadrados verdes.

Grupos del papel pintado + Dominios fundamentales de los grupos reflexivos euclídeos(*442), p4m(4*2), p4g200px200px(*333), p3m(632), p6200px200px

+ Los 17 grupos del papel pintado SignaturaOrbifold Coxeter Hermann-Mauguin SpeiserNiggli PolyaGuggenhein Fejes TothCadwell*632[6,3]p6mC(I)6vD6W16632[6,3]+p6C(I)6C6W6*442[4,4]p4mC(I)4D*4W144*2[4+,4]p4gCII4vDo4W24442[4,4]+p4C(I)4C4W4*333[3]p3m1CII3vD*3W133*3[3+,6]p31mCI3vDo3W23333[3]+p3CI3C3W3*2222[∞,2,∞]pmmCI2vD2kkkkW222*22[∞,2+,∞]cmmCIV2vD2kgkgW1222*[(∞,2)+,∞]pmgCIII2vD2kkggW3222×[∞+,2+,∞+]pggCII2vD2ggggW422222[∞,2,∞]+p2C(I)2C2W2**[∞+,2,∞]pmCIsD1kkW21*×[∞+,2+,∞]cmCIIIsD1kgW11××[∞+,(2,∞)+]pgCII2D1ggW31o[∞+,2,∞+]p1C(I)1C1W1

Plano hiperbólico + Discos de Poincaré de los dominios fundamentales triangularesEjemplo de triángulos rectángulos (*2pq)60px*23760px*23860px*23960px*23∞60px*24560px*24660px*24760px*24860px*∞4260px*25560px*25660px*25760px*26660px*2∞∞Ejemplo de triángulos generales (*pqr)60px*33460px*33560px*33660px*33760px*33∞60px*34460px*36660px*3∞∞60px*6360px*∞3Ejemplo de polígonos mayores (*pqrs...)60px*222360px*(23)260px*(24)260px*3460px*4460px*2560px*2660px*2760px*2860px*222∞60px*(2∞)260px*∞460px*2∞60px*∞∞

Unos primeros grupos hiperbólicos, ordenados por su característica de Euler son:

+ Grupos de simetría hiperbólicosSymmetries of Things, Chapter 18, More on Hyperbolic groups, Enumerating hyperbolic groups, p239 −1/χ Orbifold Coxeter84*237[7,3]48*238[8,3]42237[7,3]+40*245[5,4]36–26.4*239, *2 3 10[9,3], [10,3]26.4*2 3 11[11,3]24*2 3 12, *246, *334, 3*4, 238[12,3], [6,4], [(4,3,3)], [3+,8], [8,3]+22.3–21*2 3 13, *2 3 14[13,3], [14,3]20*2 3 15, *255, 5*2, 245[15,3], [5,5], [5+,4], [5,4]+19.2*2 3 16[16,3]*247[7,4]18*2 3 18, 239[18,3], [9,3]+17.5–16.2*2 3 19, *2 3 20, *2 3 21, *2 3 22, *2 3 23[19,3], [20,3], [20,3], [21,3], [22,3], [23,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]+–*2 3 36 ... *2 3 70, *249, *2 4 10[36,3] ... [60,3], [9,4], [10,4]*2 3 66, 2 3 11[66,3], [11,3]+*2 3 105, *257[105,3], [7,5]*2 3 132, *2 4 11 ...[132,3], [11,4], ...12*23∞, *2 4 12, *266, 6*2, *336, 3*6, *344, 4*3, *2223, 2*23, 2 3 12, 246, 334[∞,3] [12,4], [6,6], [6+,4], [(6,3,3)], [3+,12], [(4,4,3)], [4+,6], [∞,3,∞], [12,3]+, [6,4]+ [(4,3,3)]+...

Véase también Mutación de orbifolds Notación fibrifold: una extensión de la notación orbifold para el grupo espacial 3d

Referencias

Bibliografía John H. Conway, Olaf Delgado Friedrichs, Daniel H. Huson, and William P. Thurston. On Three-dimensional Orbifolds and Space Groups. Contributions to Algebra and Geometry, 42(2):475-507, 2001. J. H. Conway, D. H. Huson. The Orbifold Notation for Two-Dimensional Groups. Structural Chemistry, 13 (3-4): 247–257, August 2002.