En geometría , un poliedro toroidal es un poliedro que también es un toroide (un toro con g -agujeros ), que tiene un género topológico ( g ) igual o mayor a 1. Ejemplos notables incluyen los poliedros de Császár y Szilassi .
Los poliedros toroidales se definen como conjuntos de polígonos que se encuentran en sus aristas y vértices, formando una variedad a medida que lo hacen. Es decir, cada arista debe ser compartida por exactamente dos polígonos, y en cada vértice las aristas y caras que se encuentran en el vértice deben estar unidas entre sí en un solo ciclo de aristas y caras alternadas, el vínculo del vértice. Para los poliedros toroidales, esta variedad es una superficie orientable . [1] Algunos autores restringen la frase "poliedros toroidales" para significar más específicamente poliedros topológicamente equivalentes al toro (género 1) . [2]
En este ámbito, es importante distinguir los poliedros toroidales incrustados , cuyas caras son polígonos planos en el espacio euclidiano tridimensional que no se cruzan entre sí ni entre sí, de los poliedros abstractos , superficies topológicas sin ninguna realización geométrica especificada. [3] Intermedios entre estos dos extremos están los poliedros formados por polígonos geométricos o polígonos estrellados en el espacio euclidiano a los que se les permite cruzarse entre sí.
En todos estos casos, la naturaleza toroidal de un poliedro se puede verificar por su orientabilidad y por el hecho de que su característica de Euler no es positiva. La característica de Euler se generaliza a V − E + F = 2 − 2 g , donde g es su género topológico.
Dos de los poliedros toroidales incrustados más simples posibles son los poliedros de Császár y Szilassi.
El poliedro de Császár es un poliedro toroidal de siete vértices con 21 aristas y 14 caras triangulares. [6] Este y el tetraedro son los únicos poliedros conocidos en los que cada segmento de línea posible que conecta dos vértices forma una arista del poliedro. [7] Su dual, el poliedro de Szilassi , tiene siete caras hexagonales que son todas adyacentes entre sí, [8] proporcionando así la mitad de existencia del teorema de que el número máximo de colores necesarios para una función en un toro (género uno) es siete. [9]
El poliedro de Császár tiene el menor número de vértices posibles de cualquier poliedro toroidal incrustado, y el poliedro de Szilassi tiene el menor número de caras posibles de cualquier poliedro toroidal incrustado.
En 1997, John H. Conway describió un deltaedro toroidal que contiene 18 vértices y 36 caras. Algunas caras adyacentes son coplanares . Conway sugirió que debería ser el toroide deltaédrico con la menor cantidad posible de caras. [10]
Una categoría especial de poliedros toroidales se construyen exclusivamente con caras de polígonos regulares , sin cruces, y con una restricción adicional de que las caras adyacentes no pueden estar en el mismo plano unas con otras. Estos se llaman toroides de Stewart , [11] llamados así por Bonnie Stewart , quien los estudió intensivamente. [12] Son análogos a los sólidos de Johnson en el caso de poliedros convexos ; sin embargo, a diferencia de los sólidos de Johnson, hay infinitos toroides de Stewart. [13] También incluyen deltaedros toroidales , poliedros cuyas caras son todas triángulos equiláteros.
Una clase restringida de toroides de Stewart, también definidos por Stewart, son los poliedros toroidales cuasi-convexos . Estos son toroides de Stewart que incluyen todos los bordes de sus envolturas convexas . Para un poliedro de este tipo, cada cara de la envoltura convexa se encuentra en la superficie del toroide o es un polígono cuyos bordes se encuentran todos en la superficie del toroide. [14]
Un poliedro formado por un sistema de polígonos que se cruzan corresponde a una variedad topológica abstracta formada por sus polígonos y su sistema de aristas y vértices compartidos, y el género del poliedro puede determinarse a partir de esta variedad abstracta. Algunos ejemplos son el octahemioctaedro de género 1, el pequeño cubicuboctaedro de género 3 y el gran dodecaedro de género 4 .
Un poliedro corona o estefanoide es un poliedro toroidal que también es noble , siendo a la vez isogonal (vértices iguales) e isoédrico (caras iguales). Los poliedros corona son autointersecantes y topológicamente autoduales . [15]