Demostracin combinatoria del anudamiento intrnseco de la grca K7 .

Ulises Morales Fuentes

3 de marzo de 2013

Nudos
S 1 en R3 tal que la imagen es poligonal,

Un nudo es un encaje de es decir la imagen de funcin y

S 1 en R3 esta formada por un nmero nito

2 para todo

de segmentos de recta. Una proyeccin regular de un nudo es una

x R2 . Si para dos nudos K1 y K2 existe un homeomorsmo que preserva orientacin h : R3 R3 , tal que h (K1 ) = K2 , se dice que los nudos son isotpicos y dicha isotopa la denotaremos por K1 K2 . Se sabe que la informacin
sobre la clase de isotopa del nudo esta dada por una proyeccin regular D en el plano, en donde se han distinguido lo tipos de cruces.

: S 1 R2 1 (x )| adems |

tal que el nmero de punto singulares es nito

Ejemplos

Movidas de Reidemeister

Recordemos el Teorema de Reidemeister: Sean enlaces y sean entonces

K1

K1 , K2 nudo o D1 , D2 sus diagramas regulares correspondientes, K2 si y solo si D1 se puede obtener de D2 mediante

un nmero nito de de isotopas del plano y de un nmero nito de movidas de Reidemeister:

Ejemplo de nudos isotpicos

Invariante k (ND )
Nota: A partir de aqu toda igualdad representa igualdad mdulo 2, es decir estaremos trabajando en

Z2 .

k (ND ) =
En donde

x <y

e (x , y )(1 + u (x ))u (y ).
estn intercalados. Y

u (x ) = 1 si y solo si al recorrer el nudo en el orden denido primero

se pasa por abajo.

e (x , y ) = 1 si y solo si x y y

k (N ) = 1

k (N ') = 1

Invariante k (ND )

k (K+) = k (K) + lk (L1 L2) md2

= = = =

k (K+ ) k (K ) x <y e (x , y )u (x )(u (y ) + 1) x <y e (x , y )u (x )(u (y ) + 1) 1<y e (1, y )u (1)(u (y ) + 1) 1<y e (1, y )u (1)(u (y ) + 1) 1<y e (1, y )u (1)(u (y ) + 1) 1<y e (1, y )(u (y ) + 1) L2 pasa por arriba de L1 .

El nmero de entrelazamiento mdulo dos de un enlace doble es igual al nmero de veces que Observemos que la ltima expresin es decir

1<y e (1, y )(u (y ) + 1) es igual al nmero de entrelazamiento de L = L1 L2 mdulo dos.

Grca intrnsecamente anudada

Una grca

f :G

R3

es

existe un ciclo

intrnsecamente anudada si para cualquier encaje C de G tal que f |C es un nudo no K7 es intrnsecamente k (C ) C K7 . K7 en R3 , denimos Z2 como =
de

trivial. A continuacin veremos que la grca anudada. Dado un encaje de en donde

es el invariante de nudos denido anteriormente y la

suma se toma sobre todos los ciclos Hamiltonianos Veremos que

es invariante bajo cambio de cruces, esto lo

haremos usando la igualdad En dicho encaje de

K7 existen tres tipos de cruces:

k (K+ ) = k (K ) + lk (L)

m od 2.

(I) de un arista consigo misma, (II) de dos aristas adyacentes, (III) y de dos aristas distintas no adyacentes.

Sean

A1 y A2 dos grcas ajenas, encajadas en R3 de manera que la proyeccin de A1 A2 sea regular. Denamos (A1 , A2 ) Z2 como el nmero de veces que A1 cruza por arriba a A2 mdulo 2. Diremos que A1 y A2 son crculos si A1 y A2 son dos encajes 1 distintos de S , es decir son un enlace doble. Observemos que si A1 y A2 son crculos entonces (A1 , A2 ) = lk (A1 , A2 ) m od 2.

Cambio de cruce tipo I

Nuestro objetivo es ver que

no cambia si alguno de los tipos de

cruces mencionados cambia. Observemos que el cruce del tipo (I), es decir de un arista consigo misma, se puede reemplazar con cinco cambios de cruces entre aristas distintas, es por esta razn que no es necesario considerarlo.

Cambio de cruce tipo II

Si queremos cambiar un cruce de dos aristas adyacentes podemos primero contraer

misma ( ), hacia el punto de cruzamiento en cuestin, esto lo hacemos arrastrando (i.e mediante una isotopa de grcas encajadas) el resto de la grca. Del mismo modo movemos el vrtice de

A, B , A, moviendo sus vrtices sobre ella A hacia el punto de cruzamiento.

que no pertenece a

De esta manera siempre podemos pensar que los puntos de cruzamiento de dos aristas adyacentes se ve como en la gura:

Cambio de cruce tipo II

(K7 ) (K7 ) = = = = =

C H k (C ) C H k (C ) C H k (C ) k (C ) C H lk (L1 (C ) L2 (C )) C H e E (C ){A,B } (L1 (C ), e ) e E (C ){A,B } C H t.q. A,B ,e E (C ) (L1 (C ), e )

Ahora, para cada arista

e en K7 , tal que e = A, B , el nmero de de ciclos Hamiltonianos tal que contienen a A, B y e es: 0, si e , A, B tienen un vrtice en comn; 3!, si e es adyacente a A o a B , pero no a ambas.
2

3!,

en otro caso.

e = A, B en K7 , (L1 , e ) aparece un nmero par de veces en (K7 ) (K7 ). Por lo que (K7 ) (K7 ) = 0 y por tanto no cambia al cambiar el cruce en
De aqu que para cada arista cuestin.

Cambio de cruce tipo III

De manera similar al caso II, para un cruce de dos aristas no adyacentes

A, B , podemos contraer los vrtices de A y B

(arrastrando el resto de la grca con dicha contraccin) de tal manera que la proyeccin cerca del cruce en cuestin se vea como en la gura:

Sean

A, B , dos aristas no adyacentes. Sea L = L1 L2 como en la gura que se observa abajo. Sea (C ) Z2 el cambio en k (C )
(C ) = lk (L1 , L2 ) = (E1 , E2 ),

causado por el cambio de cruce. Entonces tenemos:

en donde la suma se toma sobre todas las parejas de aristas

{E1 , E2 } de C Sean {E1 , E2 }

o

una pareja de aristas de K7 tal que ni E1 ni E2 son A B , entonces si denimos (E1 , E2 ) como el nmero de ciclos Hamiltonianos tal que contienen a A y a B y que adems Ei Li , i = 1, 2, entonces (E1 , E2 ) siempre es par.

tal que

Ei

Li , i = 1, 2.

Entonces tenemos que en trmino

( C )

(en donde la suma se toma sobre

todos los ciclos Hamiltonianos tal que contienen a

(E1 , E2 ) aparece un nmero par de veces. Como (C ) concluimos que no cambia al cambiar el cruce

A y a B ) cada
en

cuestin.

Un encaje muy particular de

K7
K7 es intrnsecamente T , tal que T
no es un

Para concluir la demostracin de que

anudada, basta observar que el encaje descrito en la gura de abajo, tiene un nico ciclo Hamiltoniano nudo trivial, y de hecho

T es el nudo trbol, lo cual implica que k (C ) = k (T ) = 1.

Gracias

Conway J.H., Gordon C. McA. 1983. Knots and Links in Spatial Graphs. j. Graph Theory 7:445-453. Lannes J., Sur l'invariant de Kervaire des noeuds classiques. Comment. Math. Helvetic 60 (1985) 179-192. Colin C. Adams, The Knot Book. W H Freeman and Company, New York, 1994. Lickorish, An Introduction to Knot Theory. Graduate Texts in Mathematics Volume 175 of Introduction to Knot Theory Series. Springer, 1991.