En teoría de nudos , un nudo toroidal es un tipo especial de nudo que se encuentra en la superficie de un toro no anudado en R 3 . De manera similar, un enlace toroidal es un enlace que se encuentra en la superficie de un toro de la misma manera. Cada nudo toroidal se especifica mediante un par de números 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 nudo no anudado) si y solo si p o q es igual a 1 o −1. El ejemplo no trivial más simple es el nudo (2,3)-toroidal, también conocido como nudo de trébol .
Un nudo toroidal se puede representar geométricamente de múltiples maneras que son topológicamente equivalentes (ver Propiedades a continuación) pero geométricamente distintas. La convención utilizada en este artículo y sus figuras es la siguiente.
El nudo toroidal ( p , q ) gira q veces alrededor de un círculo en el interior del toro, y p veces alrededor de su eje de simetría rotacional . [nota 1] . Si p y q no son primos entre sí, entonces tenemos un vínculo 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 . La más común es que las hebras formen un tornillo dextrógiro para pq > 0. [3] [4] [5]
El nudo toroide ( p , q ) se puede dar mediante la parametrización
donde y . Esto se encuentra en la superficie del toro dado por (en coordenadas cilíndricas ).
También son posibles otras parametrizaciones, ya que los nudos se definen hasta la deformación continua. Las ilustraciones para los nudos toroidales (2,3) y (3,8) se pueden obtener tomando , y en el caso del nudo toroidal (2,3) restando además respectivamente y de las parametrizaciones anteriores de x e y . Esta última se generaliza sin problemas a cualquier coprimo p,q que satisfaga .
Un nudo toroidal es trivial si y solo 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 toro ( p , q ) es equivalente al nudo toro ( q , p ). [3] [5] Esto se puede demostrar moviendo las hebras en la superficie del toro. [7] El nudo toro ( p , − q ) es el anverso (imagen especular) del nudo toro ( p , q ). [5] El nudo toro ( − p , − q ) es equivalente al nudo toro ( p , q ) excepto por la orientación invertida.
Cualquier nudo toroidal ( p , q ) se puede realizar a partir de una trenza cerrada con p hebras. La palabra trenza adecuada es [8]
(Esta fórmula asume la convención común de que los generadores de trenzas son giros rectos, [4] [8] [9] [10] lo que no se sigue en 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 toroidal es [3] [8]
El polinomio de Jones de un nudo toroidal (diestro) está dado por
El complemento de un nudo toral en la 3-esfera es una variedad fibrosa de Seifert , fibrosa sobre el disco con dos fibras singulares.
Sea Y el gorro de burro p -plegable con un disco retirado de su interior, Z el gorro de burro q -plegable con un disco retirado de su interior, y X 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 toroidal ( p , q ) se retrae al espacio X . Por lo tanto, el grupo de nudos de un nudo toroidal tiene la presentación
Los nudos de toro 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 una 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 originalmente planteado por Mikhail Gromov . [11] [12]
Los nudos toroidales ( p , q )− surgen al considerar el vínculo de una singularidad hipersuperficial compleja aislada. Se interseca la hipersuperficie compleja con una hiperesfera , centrada en el punto singular aislado, y con un radio suficientemente pequeño para que no encierre, ni se encuentre con, 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. Considérese la función holomorfa dada por Sea el conjunto de tales que Dado un número real definimos la triesfera real como dada por La función tiene un punto crítico aislado en ya que si y solo si Por lo tanto, consideramos la estructura de cerca de Para hacer esto, consideramos la intersección Esta intersección es el llamado enlace de la singularidad El enlace de , donde p y q son coprimos, y ambos mayores o iguales a dos, es exactamente el nudo ( p , q )−toro. [13]
Un nudo g-toro es una curva cerrada dibujada sobre un g-toro . Más técnicamente, es la imagen homeomórfica de un círculo en S³ que se puede realizar como un subconjunto de un cuerpo de manija de género g en S³ (cuyo complemento es también un cuerpo de manija de género g ). Si un enlace es un subconjunto de un cuerpo de manija de género dos, es un enlace de doble toro . [14]
Para el género dos, el ejemplo más simple de un nudo de doble toro que no es un nudo de toro es el nudo en forma de ocho . [15] [16]