En geometría , los panales uniformes en el espacio hiperbólico son teselaciones de celdas de poliedros uniformes convexos . En el espacio hiperbólico tridimensional hay 23 familias de grupos de Coxeter de panales uniformes paracompactos , generados como construcciones de Wythoff y representados por permutaciones en anillo de los diagramas de Coxeter para cada familia. Estas familias pueden producir panales uniformes con facetas infinitas o ilimitadas o figura de vértice , incluidos vértices ideales en el infinito, similares a los teselados uniformes hiperbólicos en dos dimensiones .
De los panales paracompactos uniformes H 3 , 11 son regulares , lo que significa que su grupo de simetrías actúa transitivamente sobre sus banderas. Estos tienen el símbolo de Schläfli {3,3,6}, {6,3,3}, {3,4,4}, {4,4,3}, {3,6,3}, {4,3,6}, {6,3,4}, {4,4,4}, {5,3,6}, {6,3,5} y {6,3,6}, y se muestran a continuación. Cuatro tienen celdas poliédricas ideales finitas : {3,3,6}, {4,3,6}, {3,4,4} y {5,3,6}.
Esta es una enumeración completa de los 151 panales paracompactos uniformes Wythoffianos únicos generados a partir de dominios fundamentales tetraédricos (grupos de Coxeter paracompactos de rango 4). Los panales están indexados aquí para hacer referencias cruzadas a formas duplicadas, con corchetes alrededor de las construcciones no primarias.
Las alternancias se enumeran, pero son repeticiones o no generan soluciones uniformes. Las alternancias de un solo agujero representan una operación de eliminación de espejo. Si se elimina un nodo final, se genera otra familia símplex (tetraédrica). Si un agujero tiene dos ramas, se genera un politopo de Vinberg , aunque solo los politopos de Vinberg con simetría especular están relacionados con los grupos símplex, y sus panales uniformes no se han explorado sistemáticamente. Estos grupos de Coxeter no simplistas (piramidales) no se enumeran en esta página, excepto como casos especiales de semigrupos de los tetraédricos. Siete panales uniformes que surgen aquí como alternancias se han numerado del 152 al 158, después de las 151 formas Wythoffianas que no requieren alternancia para su construcción.
La lista completa de grupos de Coxeter paracompactos no simplécticos (no tetraédricos) fue publicada por P. Tumarkin en 2003. [1] La forma paracompacta más pequeña en H 3 se puede representar por
o
, o [∞,3,3,∞] que puede construirse mediante una eliminación especular del grupo hiperbólico paracompacto [3,4,4] como [3,4,1 + ,4] :
=
El dominio fundamental duplicado cambia de un tetraedro a una pirámide cuadrilátera. Otra pirámide eso
, construido como [4,4,1 + ,4] = [∞,4,4,∞] :=.
Quitando un espejo de algunos de los gráficos hiperbólicos cíclicos de Coxeter se obtienen gráficos de pajarita: [(3,3,4,1 + ,4)] = [((3,∞,3)),((3,∞,3))] o
, [(3,4,4,1 + ,4)] = [((4,∞,3)),((3,∞,4))] o
, [(4,4,4,1 + ,4)] = [((4,∞,4)),((4,∞,4))] o
.
=
,=,=.
Otro semigrupo no simplista es↔
.
Un subgrupo radical no simplista es
↔
, que puede duplicarse en un dominio de prisma triangular como
↔
.
Hay 15 formas, generadas por permutaciones de anillo del grupo de Coxeter : [6,3,4] o
Hay 9 formas, generadas por permutaciones de anillo del grupo de Coxeter : [6,3,6] o
Hay 9 formas, generadas por permutaciones de anillo del grupo de Coxeter : [3,6,3] o
Hay 15 formas, generadas por permutaciones de anillo del grupo de Coxeter : [4,4,3] o
Hay 9 formas, generadas por permutaciones de anillo del grupo de Coxeter : [4,4,4] o.
Hay 11 formas (de las cuales solo 4 no se comparten con la familia [4,4,3]), generadas por permutaciones de anillo del grupo de Coxeter :
Hay 7 formas (todas compartidas con la familia [4,4,4]), generadas por permutaciones de anillo del grupo de Coxeter :
Hay 11 formas (y solo 4 no compartidas con la familia [6,3,4]), generadas por permutaciones de anillo del grupo de Coxeter : [6,3 1,1 ] o.
Hay 11 formas, 4 únicas de esta familia, generadas por permutaciones de anillo del grupo de Coxeter :, con↔.
Hay 9 formas, generadas por permutaciones de anillo del grupo de Coxeter :.
Hay 5 formas, 1 única, generadas por permutaciones de anillo del grupo de Coxeter :Las construcciones repetidas se relacionan de la siguiente manera:↔,↔, y
↔.
Hay 9 formas, generadas por permutaciones de anillo del grupo de Coxeter :
.
Hay 9 formas, generadas por permutaciones de anillo del grupo de Coxeter :
Hay 9 formas, generadas por permutaciones de anillo del grupo de Coxeter :
Hay 6 formas, generadas por permutaciones de anillo del grupo de Coxeter :.
Hay 11 formas, 4 únicas, generadas por permutaciones de anillo del grupo de Coxeter : [3,3 [3] ] o. 7 son formas de semisimetría de [3,3,6]:
↔.
Hay 11 formas, 4 únicas, generadas por permutaciones de anillo del grupo de Coxeter : [4,3 [3] ] o. 7 son formas de semisimetría de [4,3,6]:↔.
Hay 11 formas, 4 únicas, generadas por permutaciones de anillo del grupo de Coxeter : [5,3 [3] ] o
. 7 son formas de semisimetría de [5,3,6]:↔.
Hay 11 formas, 4 únicas, generadas por permutaciones de anillo del grupo de Coxeter : [6,3 [3] ] o. 7 son formas de semisimetría de [6,3,6]:↔.
Hay 8 formas, 1 única, generadas por permutaciones de anillo del grupo de Coxeter :Dos se duplican como↔, dos como↔, y tres como↔.
Hay 4 formas, ninguna única, generadas por permutaciones de anillo del grupo de Coxeter :
Se repiten en cuatro familias:
↔(subgrupo índice 2),
↔(subgrupo índice 4), ↔
(subgrupo índice 6), y ↔
(subgrupo índice 24).
Symmetry in these graphs can be doubled by adding a mirror: [1[n,3[3]]] = [n,3,6]. Therefore ring-symmetry graphs are repeated in the linear graph families.