En la teoría de nudos , un nudo toroidal es un tipo especial de nudo que se encuentra en la superficie de un toroide no anudado en R 3 . De manera similar, un enlace toroidal es un enlace que se encuentra en la superficie de un toroide de la misma manera. Cada nudo toroidal está especificado por un par de enteros coprimos p y q . Un enlace toroidal surge si p y q no son coprimos (en cuyo caso el número de componentes es mcd ( p, q )). Un nudo toroidal es trivial (equivalente al desanudado) si y sólo si p o q son iguales a 1 o −1. El ejemplo no trivial más simple es el nudo toroide (2,3), también conocido como nudo trébol .
Un nudo toroidal se puede representar geométricamente de múltiples maneras que son topológicamente equivalentes (consulte Propiedades a continuación) pero geométricamente distintas. La convención utilizada en este artículo y sus figuras es la siguiente.
El nudo ( p , q )-toro gira q veces alrededor de un círculo en el interior del toro, yp veces alrededor de su eje de simetría rotacional . [nota 1] . Si p y q no son primos relativos, entonces tenemos un eslabón toroidal con más de un componente.
La dirección en la que las hebras del nudo se enrollan alrededor del toro también está sujeta a diferentes convenciones. Lo más común es que los hilos formen un tornillo de mano derecha para pq > 0 . [3] [4] [5]
El nudo ( p , q ) -toroidal puede venir dado por la parametrización
dónde y . Este se encuentra en la superficie del toro dada por (en coordenadas cilíndricas ).
También son posibles otras parametrizaciones, ya que los nudos se definen hasta una deformación continua. Las ilustraciones para los nudos de toro (2,3) y (3,8) se pueden obtener tomando , y en el caso del nudo de toro (2,3) restando además respectivamente y de las parametrizaciones anteriores de x y y . Este último se generaliza suavemente a cualquier coprimo p,q que satisfaga .
Un nudo toroidal es trivial si p o q son iguales a 1 o −1. [4] [5]
Cada nudo toroidal no trivial es primo [6] y quiral . [4]
El nudo toroidal ( p , q ) es equivalente al nudo toroidal ( q , p ). [3] [5] Esto se puede demostrar moviendo los hilos en la superficie del toroide. [7] El nudo toroidal ( p , − q ) es el anverso (imagen especular) del nudo toroidal ( p , q ). [5] El nudo toroidal (− p , − q ) es equivalente al nudo toroidal ( p , q ) excepto por la orientación invertida.
Cualquier nudo ( p , q )-toro se puede hacer a partir de una trenza cerrada con p hebras. La palabra trenza apropiada es [8]
(Esta fórmula asume la convención común de que los generadores de trenzas son giros correctos, [4] [8] [9] [10] que no sigue la página de Wikipedia sobre trenzas).
El número de cruce de un nudo toroidal ( p , q ) con p , q > 0 viene dado por
El género de un nudo toroidal con p , q > 0 es
El polinomio de Alexander de un nudo toroide es [3] [8]
El polinomio de Jones de un nudo toroidal (diestro) viene dado por
El complemento de un nudo toroidal en las 3 esferas es una variedad de fibras de Seifert , unida sobre el disco con dos fibras singulares.
Sea Y el gorro de burro de p veces con un disco retirado del interior, Z sea el gorro de burro de q veces con un disco retirado de su interior y X sea el espacio cociente obtenido al identificar Y y Z a lo largo de su círculo límite. El complemento de nudo de la deformación del nudo ( p , q ) -toroidal se retrae al espacio X. Por tanto, el grupo de nudos de un nudo toroidal tiene la presentación
Los nudos toroidales son los únicos nudos cuyos grupos de nudos tienen un centro no trivial (que es cíclico infinito, generado por el elemento en la presentación anterior).
El factor de estiramiento del nudo toroidal ( p , q ), como curva en el espacio euclidiano , es Ω(min( p , q )), por lo que los nudos toroidales tienen factores de estiramiento ilimitados. El investigador universitario John Pardon ganó el Premio Morgan 2012 por su investigación que demostró este resultado, que resolvió un problema planteado originalmente por Mikhail Gromov . [11] [12]
Los nudos ( p , q )-toro surgen al considerar el vínculo de una singularidad de hipersuperficie compleja aislada. Se cruza la hipersuperficie compleja con una hiperesfera , centrada en el punto singular aislado, y con un radio suficientemente pequeño como para que no encierre ni encuentre ningún otro punto singular. La intersección da una subvariedad de la hiperesfera.
Sean p y q números enteros coprimos, mayores o iguales a dos. Considere la función holomorfa dada por Sea el conjunto de tales que Dado un número real definimos las tres esferas reales como dada por La función tiene un punto crítico aislado en desde si y solo si Por lo tanto, consideramos la estructura de cerca de In Para hacer esto, consideramos la intersección. Esta intersección es el llamado vínculo de la singularidad. El vínculo de , donde p y q son coprimos, y ambos mayores o iguales a dos, es exactamente el ( p , q )−toro. nudo. [13]
La figura de la derecha es el eslabón toroidal (72,4).
Un nudo de toro g es una curva cerrada dibujada sobre un toro g . Más técnicamente, es la imagen homeomorfa de un círculo en S³ que puede realizarse como un subconjunto de un cuerpo de mango de género g en S³ (cuyo complemento es también un cuerpo de mango de género g ). Si un eslabón es un subconjunto de un cuerpo de mango de género dos, es un eslabón de doble toro . [14]
Para el género dos, el ejemplo más simple de un nudo toroidal doble que no es un nudo toroidal es el nudo en forma de ocho . [15] [16]