Observemos que la suma de las columnas 3 y 4 de la matriz ,(

e
1) es igual al vector c(
e
1).
El siguiente ejemplo nos da una idea de que el vector c y la matriz , no varan bajo movimientos
de Reidemeister de Tipo III.
Ejemplo 3.1.6 Sean 1 = ((1, 2, 4, 2, 3, 4, 1, 3), (1, 1, 1, 1)) y
e
1 = ((2, 1, 4, 3,
2, 4, 3, 1), (1, 1, 1, 1)). Entonces
c(1) = c(
e
1) =
0
B
B
B
B
@
1
1
0
2
1
C
C
C
C
A
y ,(1) = ,(
e
1) =
0
B
B
B
B
@
0 1 0 2
1 0 0 1
0 0 0 1
2 1 1 0
1
C
C
C
C
A
.
Ya tenemos algunas reglas de comportamiento que tienen el vector c y la matriz ,. A partir
de ellas derivamos la siguiente asignacin.
Denicin 3.1.3 Sea 1 = ((i
1
, ..., i
2q
), (c
1
, ..., c
p
)) un cdigo nudal no trivial. Una tripleta
para 1 es una tripla de la forma (1(1), c(1), ,(1)), donde 1(1) = (c
1
, ..., c
p
)
W
, c(1) y
,(1) como en la Denicin 3.1.2.
Estas tripletas tienen una caracterstica especial, y es que la matriz ,(1) es antisimtrica.
Como ya vimos, esta tripleta no es un invariante, pero tiene un comportamiento que nos permite
denir una relacin de equivalencia adecuada, de tal forma que obtengamos un invariante. El
mtodo que usamos es de la misma familia del que se usa cuando se dene la relacin de
equivalencia entre las matrices asociadas a las supercies de Seifert de un nudo en el caso
clsico, [3].
Proposicin 3.1.8 La matriz ,(1) es antisimtrica.
Prueba. Sea 1 un cdigo nudal y sean a
l
, a
m
cruces de 1. Sin prdida de generalidad,
podemos suponer que a
l
= i y a
m
= . Ahora bien, por denicin r 2 o
l
\ o
1
m
si y slo si
r 2 o
m
\ o
1
l
, ya que que (o
1
m
)
1
= o
m
. Entonces:
X
z2V
l
\V
1
m
-
z
=
X
z2V
m
\V
1
l
-
z
.
Por otro lado, o
l
\o
1
m
=

o
l
\ o
1
m

o
1
l
\ f, g

y o
m
\o
1
l
=

o
m
\ o
1
l

o
1
m
\ fi, ig

,
con lo que
X
z2V
lm
-
z
+
X
z2V
l
\fm>mg
-
z
=
X
z2V
l
\V
1
m
-
z
=
X
z2V
m
\V
1
l
-
z
=
X
z2V
ml
-
z

X
z2V
m
\fl>lg
-
z
,
48
de donde
,
lm
(1) +,
ml
(1) =
X
z2V
l
\fm>mg
-
z

X
z2V
m
\fl>lg
-
z
.
Veamos ahora que
X
z2V
l
\fm>mg
-
z
=
X
z2V
m
\fl>lg
-
z
. (3.6)
Sean i y cruces de 1 y consideremos los siguientes esquemas para la lista de cruces de 1 :
(1) ((c
l
i, , , 1, , C, c
l
i, 1), (c
1
, ..., c
p
)) ((c
l
i, , c
l
i, 1, , C, , 1), (c
1
, ..., c
p
)).
(2) ((c
l
i, , , 1, c
l
i, C, , 1), (c
1
, ..., c
p
)) y
(3) ((c
l
i, , , 1, c
l
i, C, , 1), (c
1
, ..., c
p
))
En (1) tenemos que o
l
\ f, g = f, g, y o
m
\ fi, ig = c o o
m
\ fi, ig = fi, ig. Con
lo que
P
z2V
l
\fm>mg
-
z
= 0 y
P
z2V
m
\fl>lg
-
z
= 0. La otra posibilidad del (1) se hace de forma
anloga.
En (2) tenemos dos posibilidades, la primera que c
m
= 1, con lo que c
l
i 2 o
m
, pero c
l
i , 2 o
m
,
por lo tanto
X
z2V
m
\fl>lg
-
z
= -
h
l
l
= 1 = (c
m
) =
X
z2V
l
\fm>mg
-
z
.
La segunda que c
m
= 1, entonces c
l
i 2 o
m
, pero c
l
i , 2 o
m
, con lo que
X
z2V
m
\fl>lg
-
z
= -
h
l
l
= 1 = (c
m
) =
X
z2V
l
\fm>mg
-
z
.
De la misma forma se prueba para (3) que
P
z2V
l
\fm>mg
-
z
=
P
z2V
m
\fl>lg
-
z
.
En la siguiente seccin estudiaremos estas tripletas independientemente del hecho de si provienen
o no de cdigos nudales. Deniremos sobre ellas una relacin de equivalencia basndonos en
los comportamientos intuitivos mostrados en los ejemplos dados en esta seccin, y probaremos
algunas propiedades importantes. Ms adelante probaremos que la clase de equivalencia, bajo
la relacin dada, de una tripleta asociada a un cdigo nudal es un invariante muy fuerte de
nudos virtuales. Tambin daremos condiciones necesarias para determinar cundo una tripleta
(1, , 1), donde 1 y son vectores de orden : y 1 es una matriz antisimtrica de orden ::,
es la tripleta de un cdigo nudal.
3.2 Tripletas
En esta seccin estudiaremos el concepto de tripleta y probaremos algunas de sus propiedades.
Consideraremos la siguiente notacin: Para una matriz 1, 1
(l)
y 1
(m)
representarn, respecti-
49
vamente, la i-sima columna y la sima la de 1.
En el resto de este captulo, para : 1, T
q
= Z
q
2
Z
q
:/(:, Z), donde Z
2
es pensado como el
grupo multiplicativo f1, 1g y :/(:, Z) denota el conjunto de todas las matrices antisimtricas
de orden : con entradas enteras, T
0
= f((), (), ())g y T = [
q2N[f0g
T
q
.
Denicin 3.2.1 Una tripleta (1, , 1) de orden : 1 es un elemento del conjunto T
q
.
Denimos la tripleta de orden 0 o la tripleta vaca como ((), (), ()).
Algunas veces las tripletas sern escritas en la forma abreviada (1, , 1) = ((c
l
), (a
l
), (/
lm
)).
A continuacin deniremos transformaciones sobre el conjunto T, que nos permitir relacionar
tripletas, incluso de ordenes diferentes.
Denicin 3.2.2 (-movidas bsicas) Las -movidas bsicas es un conjunto formado por
tres tipos de transformaciones dadas a continuacin:
Transformaciones tipo
0
: es un conjunto formado por movimientos de la forma
(1, , 1) !(11, 1, 111
W
),
donde 1 es una matriz de permutacin.
Transformaciones tipo
1
: es un conjunto formado por movimientos de la forma
(1, , 1) !

1
c
!
,

0
!
,

1 C
C
W
0
!!
,
donde C
W
= (0, ..., 0) o C = y c 2 f1, 1g.
Transformaciones tipo
2
: es un conjunto formado por movimientos de la forma
(1, , 1) !
0
B
@
0
B
@
1
c
c
1
C
A
,
0
B
@

d
d
1
C
A
,
0
B
@
1 C
1
C
2
C
W
1
0 d
C
W
2
d 0
1
C
A
1
C
A
,
donde C
1
+C
2
= , c 2 f1, 1g y d 2 Znf0g.
Por comodidad, a las transformaciones de tipo
0
las llamaremos permutaciones. Notemos que
la transformacin inversa de una permutacin es nuevamente una permutacin. Otro aspecto
que hay que resaltar es que las permutaciones, as denidas, slo relacionan tripletas del mismo
orden. En la siguiente seccin exploraremos, con mas detalle, esta transformacin probando
que est relacionada con los movimientos de Tipo B, pero no los determina completamente, ya
que al realizar una reenumeracin es posible que se necesite, adems de una permutacin, una
simplicacin o ampliacin.
50
A las transformaciones de tipo
1
y
2
las llamaremos transformaciones de ampliacin, y a
sus respectivos inversos transformaciones de simplicacin de tipo
1
y
2
, respectivamente.
Antes de continuar estudiaremos el efecto de aplicar una permutacin sobre una tripleta.
Sea 1

la matriz asociada a la permutacin t de un conjunto de : elementos. La prueba

del siguiente lema es inmediata de la denicin de matriz de permutacin, por tal motivo la
omitimos.
Lema 3.2.1 Sea (1, , 1) = ((c
l
), (a
l
), (/
lm
)) una tripleta de orden :, y sea t una permutacin
del conjunto f1, 2, ..., :g, si 1 = 1

entonces
(11, 1, 111
W
) = ((c
(l)
), (a
(l)
), (/
(l)(m)
)).
Motivados por los ejemplos estudiados en la seccin anterior deniremos una relacin de equi-
valencia sobre el conjunto T de tal forma que la clase de equivalencia de una tripleta de un
cdigo nudal 1 sea un invariante de [1].
Denicin 3.2.3 Diremos que dos tripletas (1, , 1) y (1
0
,
0
, 1
0
) son equivalentes, de-
notado (1, , 1) (1
0
,
0
, 1
0
), si (1, , 1) puede ser transformada en (1
0
,
0
, 1
0
) por medio
de un nmero nito de las -movidas bsicas y sus inversos.
La relacin es, en efecto, una relacin de equivalencia sobre el conjunto T. A la clase de
equivalencia de la tripleta (1, , 1) la denotaremos por [1, , 1].
Denicin 3.2.4 Sea (1, , 1) una tripleta de orden :. Diremos que (1, , 1) es trivial
si es equivalente a ((), (), ()). Diremos que (1, , 1) es reducible si satisface alguna de las
siguientes dos condiciones:
(1) Existe 2 f1, ..., :g tal que a
m
= 0 y (1
(m)
= (0)
q1
1
(m)
= ).
(2) Existen r, t 2 f1, ..., :g tales que c
u
= c
w
,
u
=
w
y 1
(u)
+1
(w)
= .
En caso contrario diremos que es irreducible.
El siguiente lema es una consecuencia directa del hecho de que toda permutacin es un producto
de transposiciones; por tal motivo omitiremos su prueba.
Lema 3.2.2 Sea (1, , 1) una tripleta de orden : y sea (1
0
,
0
, 1
0
) = (11, 1, 111
W
),
donde 1 es una matriz de permutacin. Entonces (1, , 1) es reducible si y slo si (1
0
,
0
, 1
0
)
lo es.
Consideremos la siguiente generalizacin de la Denicin 3.2.2.
51
Denicin 3.2.5 Las -movidas generalizadas es un conjunto formado por dos tipos de
transformaciones obtenidas al combinar ampliaciones y permutaciones, como sigue:
Transformaciones
1
generalizadas: es un conjunto de movimientos de la forma
(1, , 1) )(1
0
,
0
, 1
0
),
donde (1
0
,
0
, 1
0
) se obtiene al aplicar una transformacin
1
bsica sobre (1, , 1) seguida
de una permutacin asociada a t = ( : : 1 + 1), 2 f1, 2, ..., : 1g, donde : es el
orden de (1, , 1).
Transformaciones
2
generalizadas: es un conjunto de movimientos de la forma
(1, , 1) )(1
0
,
0
, 1
0
),
donde (1
0
,
0
, 1
0
) se obtiene al aplicar una transformacin
2
bsica sobre (1, , 1) seguida de
una de tipo
0
asociada a una permutacin t, donde t es la permutacin dada a continuacin.
t(/) =
8
>
>
>
>
>
>
<
>
>
>
>
>
>
:
/ si 1 / < i
: 1 si / = i
/ 1 si i + 1 < / < 1
: si / =
/ 2 si + 1 < / :
,
tomando i < .
Ahora bien, qu signica el inverso de una -movida generalizada?
Supongamos que (1, , 1) es reducible, entonces satisface alguna de las siguientes dos condi-
ciones:
(1) Existe 2 f1, ..., :g tal que a
m
= 0 y (1
(m)
= (0)
q1
o 1
(m)
= )
(2) existen r, t 2 f1, ..., :g tales que c
u
= c
w
,
u
=
w
y 1
(u)
+1
(w)
= .
Si estamos en la condicin (1), la simplicacin
1
generalizada permite eliminar, de los vectores
1 y , c
m
y a
m
, respectivamente, y eliminar de la matriz 1 la columna 1
(m)
y la la 1
(m)
.
Si estamos en la condicin (2), la simplicacin
2
generalizada permite eliminar, de los vectores
1 y , las componentes c
u
y c
w
, a
u
y a
w
, respectivamente, y eliminar de la matriz 1 las columnas
1
(u)
y 1
(w)
, y las las 1
(u)
y 1
(w)
.
El teorema siguiente es inmediato de la denicin anterior.
Teorema 3.2.3 Dos tripletas son -equivalentes si una de ellas se puede transformar en la otra
por medio de un nmero nito de permutaciones, -movidas generalizadas o de sus respectivos
inversos.
52
De ahora en adelante trabajaremos con permutaciones y las -movidas generalizadas. Por
tanto, para que la notacin no sea recargada, llamaremos a las transformaciones de tipo
1
y

2
generalizadas transformaciones de ampliacin, y a sus respectivos inversos transformaciones
de simplicacin.
Denicin 3.2.6 Una sucesin nita de tripletas es un conjunto de la forma f(1
l
, 7
l
, \
l
)g
n
l=1
,
donde (1
l
, 7
l
, \
l
) es una tripleta de orden :
l
de la forma ((j
l
m
), (.
l
m
), (n
l
mu
)), = 1, 2, ..., :
l
.
Sea (1, , 1) una tripleta de orden :, y sea f(1
l
, 7
l
, \
l
)g
n
l=1
una sucesin de tripletas. Diremos
que f(1
l
, 7
l
, \
l
)g
n
l=1
es una sucesin vlida, de longitud /, de (1, , 1) si
(1, , 1) (1
1
, 7
1
, \
1
) (1
n
, 7
n
, \
n
),
y donde (1
l+1
, 7
l+1
, \
l+1
) se obtiene al aplicar sobre (1
l
, 7
l
, \
l
) una nica transformacin, bien
sea de permutacin, ampliacin o de simplicacin, para i = 0, 1, ..., /1, donde (1
0
, 7
0
, \
0
) =
(1, , 1).
Con la notacin anterior podemos enunciar el siguiente teorema.
Teorema 3.2.4 Sea (1, , 1) = ((c
l
), (a
l
), (/
lm
)) una tripleta irreducible de orden :. Si
f(1
l
, 7
l
, \
l
)g
n
l=1
es una sucesin vlida de (1, , 1), donde (1
l
, 7
l
, \
l
) es de orden :
l
, en-
tonces, para todo i = 1, 2, ..., /,
:
l
:,
y existen ft
1
, ..., t
p
g f1, 2, ..., :
l
g tales que para todo y r en f1, 2, ..., :g,
j
l
w
m
= c
m
, .
l
w
m
= a
m
y n
l
w
m
w
u
= /
mu
. (3.7)
Prueba. La prueba la haremos por induccin sobre la longitud, digamos /, de sucesiones
vlidas de (1, , 1). En efecto, sea f(1, 7, \)g una sucesin vlida de (1, , 1), entonces
(1, , 1) (1, 7, \). Puesto que (1, , 1) es irreducible, entonces (1, 7, \) debe ser o una
permutacin o una ampliacin de (1, , 1). Ahora bien, si (1, 7, \) es una ampliacin de
(1, , 1), se toma t
m
= , = 1, 2, ..., :. Por otro lado, si (1, 7, \) es una permutacin,
digamos t, de (1, , 1), se toma t
m
= t(), = 1, 2, ..., :. Por tanto, el teorema se cumple
para / = 1.
Supongamos que el resultado es cierto para toda sucesin vlida de (1, , 1) de longitud /, y
sea f(1
l
, 7
l
, \
l
)g
n+1
l=1
una sucesin vlida de (1, , 1), entonces debemos probar que :
n+1
:
y que existe f
e
t
1
, ...,
e
t
p
g f1, 2, ..., :
n+1
g que satisface (3.7). En efecto, f(1
l
, 7
l
, \
l
)g
n
l=1
es una
sucesin vlida, de longitud /, de (1, , 1). As, por hiptesis de induccin, para todo i =
53
1, 2, ..., /, :
l
: y existen ft
1
, ..., t
p
g f1, 2, ..., :
l
g tales que para todo y r en f1, 2, ..., :g
j
l
w
m
= c
m
, .
l
w
m
= a
m
y n
l
w
m
wu
= /
mu
.
Analicemos las posibilidades para (1
n+1
, 7
n+1
, \
n+1
).
Si :
n
= :, entonces ft
1
, ..., t
p
g = f1, 2, ..., :g. As, al tomar 1

, donde t = (1 t
1
)(2 t
2
) (:
t
p
), entonces por el Lema 3.2.1, tenemos que
(1

1
n
, 1

7
n
, 1

\1
W

) = ((j
n
(m)
), (.
n
(m)
), (n
n
(m)(u)
)) = ((j
n
w
m
), (.
n
w
m
), (n
n
w
m
wu
))
= ((c
m
), (a
m
), (/
mu
)) = (1, , 1).
Por tanto (1
n
, 7
n
, \
n
) es irreducible. Luego, (1
n+1
, 7
n+1
, \
n+1
) debe ser o una permutacin
o una ampliacin de (1, , 1). Haciendo un anlisis similar al hecho en el primer paso de
induccin, se tiene el resultado para / + 1.
Supongamos ahora que :
n
:. Si (1
n+1
, 7
n+1
, \
n+1
) es una permutacin, asociada a t, de
(1
n
, 7
n
, \
n
) entonces :
n+1
= :
n
:, y si tomamos
e
t
m
= t(t
m
), = 1, 2, ..., :, vemos que
el teorema se cumple para / + 1. Por otro lado, si (1
n+1
, 7
n+1
, \
n+1
) es una ampliacin de
(1
n
, 7
n
, \
n
), entonces :
n+1
:
n
:, y si tomamos
e
t
m
= t
m
, = 1, 2, ..., :, vemos que el
resultado es vlido para / + 1.
Consideremos el caso en el que (1
n+1
, 7
n+1
, \
n+1
) es una simplicacin de (1
n
, 7
n
, \
n
). Para
considerar este caso, debemos suponer que :
n
: + 1 o que :
n
: + 2 si tenemos una de
tipo
1

2
, respectivamente.
Supongamos que tenemos una simplicacin asociada a una transformacin de tipo
1
entonces
existe q 2 f1, 2, ..., :
n
g tal que
.
n
j
= 0 y

n
n
mj
= 0 o n
n
mj
= .
n
m
, para = 1, 2, ..., :
n

. (3.8)
Supongamos que existe r 2 f1, 2, ..., :g, tal que q = t
u
, entonces, de (3.8), para todo y r en
f1, 2, ..., :g,
a
u
= .
n
w
u
= .
n
j
= 0 y

/
mu
= n
n
w
m
w
u
= n
w
m
j
= 0 o /
mu
= n
n
w
m
w
u
= n
w
m
j
= .
n
w
m
= a
m

,
lo que implicara que (1, , 1) es reducible, por tanto q , 2 ft
1
, ..., t
u
g. Luego, :
n+1
= :
n
1 :,
y al tomar
e
t
m
= t
m
, = 1, 2, ..., :, el teorema se cumple para / + 1.
Supongamos ahora que tenemos una simplicacin asociada a una transformacin de tipo
2
,
entonces existen q y / en f1, 2, ..., :
n
g tales que
j
n
j
= j
n
k
, .
n
j
= .
n
k
y n
n
mj
+n
n
mk
= .
n
m
, = 1, 2, ..., :
n
.
54
Entonces fq, /g * ft
1
, ..., t
p
g, pues de lo contrario (1, , 1) sera reducible, por tanto el teo-
rema se cumple para / + 1 si
e
t
m
= t
m
, para = 1, 2, ..., :, .
El siguiente teorema garantiza que toda clase de equivalencia [1, , 1] contiene un nico ele-
mento irreducible, salvo permutaciones.
Teorema 3.2.5 Sea [1, , 1] 2 T,

, entonces existe (1
0
,
0
, 1
0
) 2 [1, , 1], tal que (1
0
,
0
, 1
0
)
es irreducible. Es ms, si (1
00
,
00
, 1
00
) es otro elemento irreducible en [1, , 1], entonces existe
una matriz 1 de permutacin tal que (11
0
, 1
0
, 11
0
1
W
) = (1
00
,
00
, 1
00
), y por tanto todos los
irreducibles de [1, , 1] tienen el mismo orden.
Prueba. Sea (1, , 1) una tripleta de orden : y sea G el conjunto formado por todos los
:2 N[f0g tales que T
p
\[1, , 1] 6= c. Ahora bien, G N[f0g y G 6= c, as, por el principio
del buen orden, existe un elemento minimal :
0
2 G. Sea (1
0
,
0
, 1
0
) 2 T
p
0
\[1, , 1], entonces
por la minimalidad de :
0
, (1
0
,
0
, 1
0
) es irreducible.
Sea (1
00
,
00
, 1
00
) otro elemento irreducible en [1, , 1] de orden :, puesto que :2 G, se tiene
que, :
0
:.
Puesto que (1
0
,
0
, 1
0
) y (1
00
,
00
, 1
00
) son elementos de la clase de equivalencia [1, , 1], en-
tonces existe una sucesin nita de tripletas f(1, 7, \)
l
g
n
l=1
tales que
(1
00
,
00
, 1
00
) (1
1
, 7
1
, \
1
) (1
n
, 7
n
, \
n
) (1
0
,
0
, 1
0
),
sin perdida de generalidad podemos suponer que la sucesin f(1
l
, 7
l
, \
l
)g
n+1
l=1
, donde (1
n+1
,
7
n+1
, \
n+1
) = (1
0
,
0
, 1
0
), es vlida para (1
00
,
00
, 1
00
), as por el Teorema 3.2.4 tenemos
que :
0
:, de donde :
0
= :, y adems existe una matriz 1 de permutacin tal que
(11
00
, 1
00
, 11
00
1
W
) = (1
0
,
0
, 1
0
).
Por el teorema anterior tiene sentido la siguiente denicin.
Denicin 3.2.7 Sea [o, , 1] 2 T,

. El Orden de [o, , 1], denotado por Ord[o, , 1], lo

denimos como el orden de alguno de sus irreducibles.
3.3 Denicin de
En esta seccin mostraremos que la asignacin ` : C ! T, `(1) = (1(1), c(1), 7(1)),
donde C es el conjunto de los cdigos nudales, se extiende, de manera natural, a una funcin
de C,

en T,

.
Antes de afrontar tal demostracin, primero estudiaremos el comportamiento de la tripleta
`(1) con respecto a transformaciones de Tipo B. Esto lo hacemos con el objetivo de tener
control, en el momento de realizar un anlisis, del cambio de las tripletas de cdigos cuando
estos son afectados por reenumeraciones.
55
El Ejemplo 3.1.3 nos dice que en algunos casos reenumeracin de cdigos lleva a permutacin de
tripletas, o que reenumeracin de cdigos lleva a permutaciones y simplicaciones de tripletas.
Consideremos la siguiente proposicin:
Proposicin 3.3.1 Sea 1 = ((i
1
, ..., i
2q
), (c
1
, ..., c
p
)) un cdigo nudal con cruces a
1
, ..., a
q
.
Sean /
1
, ..., /
q
2 Z
+
y consideremos la reenumeracin dada por , : fa
1
, ..., a
q
g[fa
1
, ..., a
q
g !
f/
1
, /
2
, ..., /
q
g [ f/
1
, ..., /
q
g, donde ,(a
l
) = /
l
y ,(a
l
) = /
l
, para todo i = 1, 2, ..., :. Sea
e
1 el cdigo nudal obtenido al aplicarle tal reenumeracin a 1. Entonces c
d
m
(1) = c
e
m
(
e
1) y
,
d
l
d
m
(1) = ,
e
l
e
m
(
e
1), para todo i, 2 f1, ..., :g.
Prueba. Puesto que
e
1 es un cdigo nudal obtenido a partir de 1 usando la reenumeracin
,, entonces
e
1 = ((,(i
1
), ..., ,(i
2q
)), (e c
1
, ..., ec
w
)),
donde, para = 1, 2, ..., t maxf/
1
, .., /
q
g,
e c
e
m
=
(
c
d
m
para = 1, 2, ..., :
1 en otros casos
.
Es inmediato, de la denicin de ,, que o
e
m
(
e
1) = ,(o
d
m
(1)). Puesto que e-
*(lu)
= -
lu
, para
todo r 2 f1, 2, ..., :g, entonces
c
e
m
(
e
1) =
X
z2V
e
m
(N)
e-
z
=
X
{2Vd
m
(N)
e-
*({)
X
{2Vd
m
(N)
-
{
= c
d
m
(1).
Similarmente se demuestra que ,
d
l
d
m
(1) = ,
e
l
e
m
(
e
1), para todo i, 2 f1, ..., :g.
Corolario 3.3.2 Sean 1
1
y 1
2
cdigos nudales con cruces a
1
, ..., a
q
y /
1
, ..., /
q
, respectiva-
mente. Supongamos que
e
1 se obtuvo al aplicar una reenumeracin sobre 1.
(1) Si maxfa
1
, ..., a
q
g = maxf/
1
, ..., /
q
g, entonces `(1
1
) se puede transformar en `(1
2
) medi-
ante permutaciones.
(2) Si maxfa
1
, ..., a
q
g < maxf/
1
, ..., /
q
g, entonces `(1
1
) se puede transformar en `(1
2
) medi-
ante permutaciones y simplicaciones de tipo
1
.
(3) Si maxfa
1
, ..., a
q
g maxf/
1
, ..., /
q
g, entonces `(1
1
) se puede transformar en `(1
2
) medi-
ante permutaciones y ampliaciones de tipo
1
.
Por el corolario anterior, podemos de ahora en adelante suponer que los cdigos nudales se
encuentran en forma estndar. As, si 1
1
y 1
2
son cdigos en forma estndar de : cruces, y
1
1
se puede transformar en 1
2
mediante reenumeracin, entonces `(1
1
) es una permutacin
de `(1
2
).
56
Teorema 3.3.3 La asignacin : C,

!T,

, denida por ([1]) = [`(1)], donde `(1) =

(1(1), c(1), ,(1)), es un invariante de nudos combinatorios.
Prueba. Debemos probar que es una funcin. Por el Corolario 3.3.2, ([1]) no depende
de transformaciones Tipo 1, y puesto que las transformaciones de Tipo C no alteran la
tripleta `(1), entonces slo debemos analizar cada movimiento de Reidemeister por separado.
No perdemos generalidad, si en todos los casos, el cdigo 1
1
est en forma estndar.
Tipo I: Supongamos que 1
1
= ((:, :, ), (c
1
, ..., c
q
)) y 1
2
= ((), (c
1
, ..., c
q
)). Ahora bien,
sea 2 f1, ..., :1g, entonces o
m
(1
1
) = o
m
(1
2
) o
m
(1
1
) = o
m
(1
2
) [f:, :g, en ambos casos
c
m
(1
1
) = c
m
(1
2
). Por otro lado, si c
q
= 1 c
q
= 1, entonces o
q
(1
1
) = fg o
q
(1
1
) = 0,
respectivamente, con lo que c
q
(1
1
) = 0.
Supongamos que r, t 2 f1, ..., :1g, entonces o
uw
(1
1
) = o
uw
(1
2
) o
uw
(1
1
) = o
uw
(1
2
)[f:, :g,
con lo que ,
uw
(1
1
) = ,
uw
(1
2
).
Sea 2 f1, ..., : 1g. Si c
q
= 1, entonces o
q
(1
1
) = fg, y por tanto o
1
m
(1
1
) o
q
(1
1
), con
lo que
,
qm
(1
1
) =
X
z2V
1
m
(N
1
)
-
z
= c
m
(1
1
) = c
m
(1
2
), para todo = 1, ..., : 1.
Si c
q
= 1, entonces o
q
(1
1
) = c. Por tanto o
qm
(1
1
) = c o
qm
(1
1
) = f:, :g, en ambos
casos, tenemos ,
qm
(1) = 0.
De lo anterior, si hacemos C
W
= (,
q1
(1
1
), ..., ,
q q1
(1
1
), 0), entonces:
1(1
1
) =

1(1
2
)
c
q
!
, c(1
1
) =

c(1
2
)
0
!
y ,(1
1
) =

,(1
2
) C
C
W
0
!
, (3.9)
donde C = c(1
2
) si c
q
= 1 C
W
= (0, ..., 0) si c
q
= 1. En el movimiento de tipo
1
no se
involucra el primer vector, entonces, de (3.9), `(1
1
) se puede transformar en `(1
2
) mediante
una movida de tipo
1
.
La otra posibilidad del movimiento Tipo I es similar.
Tipo II: Sin prdida de generalidad podemos tomar el movimiento de Reidemeister de Tipo
II como 1
1
= ((: 1, :, , (: 1), :, 1), (c
1
, ..., c
q
)) y 1
2
= ((, 1), (c
1
, ..., c
q2
)), con
c
q1
= c
q
. Vamos a probar que se tienen las siguientes dos armaciones.
c(1
1
) =
0
B
@
c(1
2
)
c
q1
(1
1
)
c
q1
(1
1
)
1
C
A
y ,(1
1
) =
0
B
@
,(1
2
) C
1
C
2
C
W
1
0 c
q1
(1
2
)
C
W
2
c
q1
(1
2
) 0
1
C
A
, (3.10)
donde C
1
+C
2
= c(1
2
).
57
Para todo 2 f1, ..., : 2g, o
m
(1
1
) puede tomar alguno de los valores
o
m
(1
2
) o
m
(1
2
) [f(:1), :)g o
m
(1
2
) [f: 1, :g o
m
(1
1
) [f:1, :, (:1), :)g.
En cada uno de esos casos, tenemos las igualdades c
m
(1
1
) = c
m
(1
2
) y ,
lm
(1
1
) = ,
lm
(1
2
), para
todo i, 2 f1, ..., : 2g.
Por otro lado, por denicin, si c
q1
= 1, entonces o
q1
(1
1
) = f1g [ f:g y o
q
(1
1
) =
[f(:1)g. Por el Lema 3.1.4 y el hecho de que -
q
+-
(q1)
= 0, tenemos que c
q1
(1
1
)+
c
q
(1
1
) = 0. Para c
q1
= 1 hacemos un anlisis similar y tenemos la prueba del lado izquierdo
de (3.10).
Sea t = 1, 2, ..., :. Si c
q1
= 1, entonces o
q1
(1
1
) = f1g [ f:g y o
q
(1
1
) = [ f(: 1)g.
Tenemos que
,
q1 w
(1
1
) +,
q w
(1
2
) =
X
z2V
q1 w
(N
1
)
-
z
+
X
z2V
qw
(N
2
)
-
z
.
Por otro lado o
q1
(1
1
) \ o
q
(1
1
) = f:, : 1g, mas an, tenemos que o
w
(1
1
) \ f: 1, :g =
f: 1, :g o
w
(1
1
) \ f: 1, :g = c, y debido a que -
q
+-
q1
= 0, entonces
,
(q1) w
(1
1
) +,
q w
(1
1
) =
X
z2(V
q1
(N
1
)[Vq(N
1
))\V
1
w
(N
1
)
-
z
=
X
z2V
1
w
(N)
-
z
= c
w
(1).
Si c
q1
= 1, hacemos un anlisis similar, entonces ,
q1 w
(1
1
) + ,
q w
(1
1
) = c
w
(1
1
), para
todo t = 1, 2, ..., :.
Sea C
W
1
= (,
q1 1
(1
1
), ..., ,
q1 q2
(1
1
)) y C
W
2
= (,
q 1
(1
1
), ..., ,
q q2
(1
1
)), entonces C
W
1
+
C
W
2
= c(1
2
), ms an, ,
q q1
(1
1
) = c
q1
(1
1
) y ,
q1 q
(1
1
) = c
q
(1
1
) = c
q1
(1
1
), con
lo que tenemos la parte derecha de (3.10). Puesto que c
q1
= c
q
, `(1
1
) se puede transformar
en `(1
2
) mediante una movida de Tipo
2
.
Las otras posibilidades para el movimiento Tipo II son similares.
Tipo III: El movimiento de Reidemeister III es ms complicado de analizar que los movimientos
1 y 11 debido a que ste tiene 16 posibilidades; y si no tenemos mucho cuidado con los signos
de los cruces involucrados, podramos caer en el error de considerar un movimiento que luzca
igual, pero que no sea una de las posibilidades del movimiento de Tipo III.
Para no alargar la prueba probaremos la invariancia de bajo el caso 13-1, vease Tabla 1.1, del
movimiento de Reidemeister III. Los otros casos se analizan de forma anloga, pero de nuevo
repetimos, en cada caso hay que ser muy rigurosos con los signos de los cruces involucrados.
En efecto, sean
1
1
= (((: 2), (: 1), , :, : 1, 1, :, : 2, C), (c
1
, ..., c
q
)) y
1
2
= (((: 1), (: 1), , : 1, :, 1, : 2, :, C), (c
1
, ..., c
q
))
con c
q2
= c
q1
= 1 y c
q
= 1.
58
Por denicin, para todo 2 f1, 2, ..., : 3g, o
m
(1
1
) = o
m
(1
2
), por tanto c
m
(1
1
) = c
m
(1
2
) y
,
lm
(1
1
) = ,
lm
(1
2
), para todo i, 2 f1, 2, ..., : 3g.
Ahora bien, o
q2
(1
1
) = fCg y o
q2
(1
2
) = fCg [ f:, (: 1)g y puesto que estamos en
el caso 13 1, entonces -
q
= (1) = 1, por tanto -
q
+ -
(q1)
= c
q
+ c
q1
= 0, y
as c
q2
(1
1
) = c
q2
(1
2
). Por otro lado o
q1
(1
1
) = f:, : 2, (: 2)g [ f1g [ fCg y
o
q1
(1
2
) = f:, :2, :g[f1g[fCg, y como estamos en el caso 131, -
q
= -
q2
, con lo
que -
q
+-
q2
+-
(q2)
= -
q
+-
q2
+-
q
y as c
q1
(1
1
) = c
q1
(1
2
). Por ltimo o
q
(1
1
) =
f: 2, (: 2), (: 1)g [ fg [fCg y o
q
(1
2
) = f(: 1), (: 2), : 1g [ fg [ fCg,
nuevamente, puesto que -
q2
+ -
(q2)
+ -
(q1)
= -
(q1)
+ -
(q2)
+ -
q1
, se tiene que
c
q
(1
1
) = c
q
(1
2
).
De lo anterior, los vectores c(1
1
) y c(1
2
) son iguales.
Sea 2 f1, 2, ..., :3g, y sea o
m
= o
m
(1
1
) = o
m
(1
2
). Puesto que o
q1
(1
1
) = f:, :2, (:
2)g[f1g[fCg y o
q1
(1
2
) = f:, :2, :g[f1g[fCg, entonces ,
q1 m
(1
1
) = ,
q1 m
(1
2
)
si y slo si se satisface la siguiente igualdad
X
z2fq>q2>(q2)g\V
1
m
-
z
=
X
z2fq>q2>qg\V
1
m
-
z
,
Y esta se satisface debido a que -
q
+-
q2
+-
(q2)
= -
q
+-
(q2)
+-
q
= 0.
o
q2 m
(1
1
) =

fCg \ o
1
m

f: 2, (: 2)g \ o
1
m

y o
q2 m
(1
2
) =

fCg \ o
1
m

f:, (: 1), : 2, (: 2)g \ o

1
m

. Luego ,
q2 m
(1
1
) = ,
q2 m
(1
2
) si y slo si se satis-
face la siguiente igualdad
X
z2fq2>(q2)g\V
1
m
-
z
=
X
z2fq>q1>q2>(q2)g\V
1
m
-
z
.
Pero esta se cumple debido a que -
q
+ -
(q1)
= 0, ya que por estar en el caso 13 1,
-
q
= (1) = 1.
De una manera similar se prueba que ,
qm
(1
1
) = ,
qm
(1
2
).
Por otro lado o
q1 q2
(1
1
) = f1g \ fCg
1
, y o
q1 q2
(1
2
) =

f1g \ fCg
1

[ f:, : 1g.
Como -
q
+-
q1
= 0, entonces ,
q1 q2
(1
1
) = ,
q1 q2
(1
2
).
Ahora bien, o
q1 q
(1
1
) =

f1g \ (fCg [ fg)

1

[ f(: 2), : 2, : 1g y o
q1 q
(1
2
) =

f1g \ (fCg [ fg)

1

[f(:1), :2, :1g, puesto que -

q2
= -
q1
entonces ,
q1 q
(1
1
) =
,
q1 q
(1
2
). Por ltimo o
q2 q
(1
1
) =

fCg \ fg
1

[ f: 2, (: 2)g y o
q2 q
(1
2
) =

fCg \ fg
1
[ f(: 1), : 2g

, puesto que -
q2
+ -
(q2)
= -
(q1)
+ -
q2
, entonces
,
q2 q
(1
1
) = ,
q2 q
(1
2
). De lo anterior las matrices ,(1
1
) y ,(1
2
) son iguales. Adems
1(1
1
) = 1(1
2
), luego `(1
1
) = `(1
2
).
La prueba para las otras posibilidades de movimiento Tipo III son similares.
59
El siguiente teorema nos muestra la utilidad del invariante a la hora de determinar cundo
un nudo combinatorio no es clsico.
Teorema 3.3.4 Si [1] es un nudo combinatorio clsico, entonces ([1]) = [(), (), ()]. Y por
tanto Ord(([1])) = 0.
Prueba. Use Teorema 3.3.3 y Corolario 3.1.6.
Ejemplo 3.3.1 Consideremos los nudos virtuales 1 y 1
0
mostrados en la Figura 3-1. 1 =
Figura 3-1: Nudos de Kishino
((1, 2, 1, 3, 4, 3, 4, 2), (1, 1, 1, 1)). Por denicin o
1
= f3, 4, 3, 4, 2g, o
2
= f1, 3,
4, 3, 4g, o
3
= f4, 2, 1, 2, 1g y o
4
= f2, 1, 2, 1, 3g. Entonces o
12
= f1, 3, 4, 3, 4g,
o
13
= f4, 2, 1, 1g, o
14
= f2, 1, 1, 3g, o
23
= f4, 2, 2, 1g, o
24
= f2, 2, 1, 3g,
o
34
= f2, 1, 2, 1, 3g, vease Denicin 3.1.1. Por tanto tenemos que
`(1) =
0
B
B
B
B
@
0
B
B
B
B
@
1
1
1
1
1
C
C
C
C
A
,
0
B
B
B
B
@
1
1
1
1
1
C
C
C
C
A
,
0
B
B
B
B
@
0 1 2 0
1 0 0 2
2 0 0 1
0 2 1 0
1
C
C
C
C
A
1
C
C
C
C
A
.
Notemos que ninguna columna, ni la suma de dos de ellas, de la matriz ,(1) es igual a c(1).
Con lo que `(1) es irreducible, y as Ord([1]) = 4, de donde [1] no es un nudo combinatorio
clsico. En forma similar,
`(1
0
) =
0
B
B
B
B
@
0
B
B
B
B
@
1
1
1
1
1
C
C
C
C
A
,
0
B
B
B
B
@
1
1
1
1
1
C
C
C
C
A
,
0
B
B
B
B
@
0 1 2 0
1 0 0 2
2 0 0 1
0 2 1 0
1
C
C
C
C
A
1
C
C
C
C
A
.
Luego, `(1
0
) es irreducible y por ende Ord([1
0
]) = 4, con lo que [1
0
] no es un nudo combina-
torio clsico. Adicionalmente, note que aunque c(1) = c(1
0
) y ,(1) = ,(1
0
), 1(1) 6= 1(1
0
)
con lo que (1) 6= (1
0
) y por ende dichos nudos no son equivalentes.
60
El siguiente ejemplo muestra un nudo virtual 1, que no es clsico, pero ([1]) = [(), (), ()].
Ejemplo 3.3.2 Consideremos el nudo virtual 1 mostrado en la Figura 3-2.
Figura 3-2: Ejemplo de un nudo virtual, no clsico, con trivial
Puesto que
(1) =
2
6
6
6
6
4
0
B
B
B
B
@
1
1
1
1
1
C
C
C
C
A
,
0
B
B
B
B
@
1
1
1
1
1
C
C
C
C
A
,
0
B
B
B
B
@
0 1 0 1
1 0 1 0
0 1 0 1
1 0 1 0
1
C
C
C
C
A
3
7
7
7
7
5
.
Entonces
(1) =
"
1
1
!
,

1
1
!
,

0 1
1 0
!#
= [(), (), ()].
Por otro lado, 1 es la suma conexa de los nudos 1
1
y 1
2
mostrados, respectivamente, en la
Figura 3-3. Por computo directo se prueba que
Figura 3-3: Dos nudos con no trivial
([1
1
]) =
2
6
6
6
6
4
0
B
B
B
B
@
1
1
1
1
1
C
C
C
C
A
,
0
B
B
B
B
@
1
0
0
1
1
C
C
C
C
A
,
0
B
B
B
B
@
0 0 0 1
0 0 0 0
0 0 0 0
1 0 0 0
1
C
C
C
C
A
3
7
7
7
7
5
=
"
1
1
!
,

1
1
!
,

0 1
1 0
!#
61
y
([1
2
]) =
2
6
6
6
6
4
0
B
B
B
B
@
1
1
1
1
1
C
C
C
C
A
,
0
B
B
B
B
@
0
1
1
0
1
C
C
C
C
A
,
0
B
B
B
B
@
0 0 0 0
0 0 1 0
0 1 0 0
0 0 0 0
1
C
C
C
C
A
3
7
7
7
7
5
=
"
1
1
!
,

1
1
!
,

0 1
1 0
!#
.
Con lo que [1
1
] y [1
2
] no son nudos clsicos, luego, por el Corolario 2.1.2, q
y
[1
1
] 1 y
q
y
[1
2
] 1, y por el Teorema 2.2.1 q
y
[1] q
y
[1
1
] + q
y
[1
2
] 1 1, con lo que [1] no es
clsico.
3.4 Cundo una tripleta (V> D> E) es la tripleta de un cdigo
nudal?
Sea (1, , 1) una tripleta de orden : 1. En esta seccin nos preguntaremos acerca de
las condiciones que debe satisfacer (1, , 1) para que exista un cdigo 1 tal que `(1) =
(1, , 1). Es posible que tales condiciones no se puedan extender a la clase de equivalencia
(1) = [1, , 1]. Antes de iniciar la bsqueda de tales condiciones consideremos la siguiente
denicin.
Denicin 3.4.1 (Grafo de entrelazamiento) Sea 1 un cdigo nudal con cruces a
1
, ..., a
q
.
Denimos el grafo de entrelazamiento de 1, denotado por 1
N
, como la pareja ordenada
(\ (1
N
), 1(1
N
)) consistente de un conjunto \ (1
N
) = fa
1
, a
2
, ..., a
q
g de vrtices y un conjunto
1(1
N
) de aristas de la forma a
l
a
m
, donde a
l
a
m
2 1(1
N
) si y slo si se cumple alguna de las
siguientes dos condiciones: (a
l
2 o
d
m
(1) y a
l
, 2 o
d
m
(1)) o (a
l
2 o
d
m
(1) y a
l
, 2 o
d
m
(1)).
Sea : un cruce de 1, denimos la estrella de : en 1
N
, denotada por :tar(:), como el subgrafo
de 1
N
inducido por : y sus vecinos. Usaremos la siguiente notacin: \
p
= \ (:tar(:)) y
1
p
= 1(:tar(:)).
Clasicaremos los elementos de \
p
y 1
p
, respectivamente, en dos conjuntos como sigue: \
+
p
=
ft 2 \
p
: : 2 o
w
(1)g, \

p
= ft 2 \
p
: : 2 o
w
(1)g, 1
+
p
= f: : c
m
2 o
p
(1)g y
1

p
: f: : c
m
2 o
p
(1)g = 1
p
n1
+
p
.
Lema 3.4.1 Sea 1 un cdigo nudal y sea a = a
m
2 fa
1
, ..., a
q
g. Entonces c
d
(1) = j1
+
d
(1)j
j1

d
(1)j, donde j1
+
d
(1)j y j1

d
(1)j denotan las cardinalidades de 1
+
d
(1) y 1

d
(1), respecti-
vamente.
Prueba. Supongamos que \
d
(1) = f/
1
, ..., /
u
g[fag, entonces 1
d
(1) = fa/
m
: = 1, ..., rg.
Con esta notacin 1
+
d
(1) = fa/
m
: c
e
m
/
m
2 o
d
(1)g y 1

d
(1) = fa/
m
: c
e
m
/
m
2 o
d
(1)g.
62
Sabemos que c
d
(1) =
P
z2Q
d
-
z
, donde
d
y o
d
son los conjuntos denidos en la Seccin
3.1.1. Ahora bien, sea n 2
d
.
Si c
jzj
= 1 y n 0, entonces an 2 1

d
(1) y -
z
= 1.
Si c
jzj
= 1 y n < 0, entonces ajnj 2 1
+
d
(1) y -
z
= 1.
Si c
jzj
= 1 y n 0, entonces an 2 1
+
d
(1) y -
z
= 1.
Si c
jzj
= 1 y n < 0, entonces a jnj 2 1

d
(1) y -
z
= 1.
Sean = fn 2
d
: -
jzj
= 1g y 1 = fn 2
d
: -
jzj
= 1g, entonces tenemos que
P
z2D
-
z
=
j1
+
d
(1)j y
P
z2E
-
z
= j1

d
(1)j. Puesto que, c
d
(1) =
P
z2D
-
z
+
P
z2E
-
z
, entonces,
c
d
(1) = j1
+
d
(1)j j1

d
(1)j.
El siguiente teorema resume las condiciones que debe cumplir una tripleta para ser la tripleta
de un cdigo nudal. Sern dichas condiciones sucientes? Esta pregunta esta pendiente para
un prximo trabajo.
Teorema 3.4.2 Sea 1 un cdigo nudal con conjunto de cruces fa
1
, ..., a
q
g. Entonces
(1)
P
q
m=1
c
d
m
(1) = 0,
(2) c
d
l
(1) 2 [(: 1), : 1] = f(: 1), (: 2), ..., 0, 1, 2, ..., : 2, : 1g, para todo
i = 1, 2, ..., : y
(3) ,
d
l
d
m
(1) 2 [(: 1), : 1] = f(: 1), (: 2), ..., 0, 1, 2, ..., : 2, : 1g, para todo
i, = 1, 2, ..., :.
Prueba. No perdemos generalidad si suponemos que los cdigos estn en forma estndar.
(1) Por el Lema 3.4.1 es suciente probar que
q
P
m=1

1
+
m
(1)

m
(1)

= 0. Consideremos
la estrella en el vrtice a. Ahora bien, si \
d
(1) = fag, entonces 1
+
d
(1) = 1

d
(1) = c, de
donde j1
+
d
(1)j j1

d
(1)j = 0. Supongamos ahora que \
d
(1) 6= fag. Por reenumeracin,
podemos suponer, sin prdida de generalidad, que at 2 1
+
d
(1), t = 1, 2, ..., y a: 2 1

d
(1),
: = + 1, ..., r. Se cumple que at 2 1
+
d
(1) si y slo si c
w
t 2 o
d
(1) si y slo si 1 =
((C, c
d
a, 1, c
w
t, 1, c
d
a, Q, c
w
t), (c
1
, ..., c
q
)) si y slo si c
d
a 2 o
w
(1) si y slo si at 2 1

w
(1).
Como at pertenece slo a dos estrellas, entonces se cumple que
q
X
m=1

1
+
m
(1)

=
q
X
m=1

m
(1)

,
por tanto se cumple el resultado.
(2) Sea K
q
al conjunto de todos los cdigos nudales, en forma estndar, de : cruces. Sea 1 2 K
q
y sea un cruce de 1. Si 1 = ((c
m
, i
2
, ..., i
w
, c
m
, i
w+2
, ..., i
2q
), (c
1
, ..., c
q
)), entonces o
m
(1) =
fi
2
, ..., i
w
g. Sean fa
1
, ..., a
s
g , f/
1
, ..., /
t
g y fc
1
, ..., c
v
g subconjuntos disjuntos de f1, 2, ..., :gnfg
tales que
o
m
(1) = fa
1
, ..., a
s
g [ f/
1
, ..., /
t
g [ fc
1
, c
1
, ..., c
v
, c
v
g.
63
Entonces
c
m
(1) = c
d
1
... c
ds
+c
e
1
+... +c
et
.
Puesto que a
w
6= /
u
, para todo t 2 f1, ..., jg y r 2 f1, ..., g, entonces j + :1, de donde c
m
tomara su valor mximo cuando j + = : 1, c
d
1
= ... = c
ds
= 1 y c
e
1
= ... = c
e
t
= 1, con
lo que c
m
(1) : 1, para todo 1 2 K
q
. Por otro lado, c
m
obtendra su valor mnimo cuando
j + = : 1, c
d
1
= ... = c
d
s
= 1 y c
e
1
= ... = c
et
= 1, con lo que c
m
(1) (: 1), para
todo 1 2 K
q
.
(3) Se hace un argumento similar al hecho en la prueba de (2) y se obtiene (3).
El siguiente ejemplo muestra que las cotas dadas en el teorema anterior se alcanzan.
Ejemplo 3.4.1 Sea : un entero positivo mayor o igual a 2, y sea 1
q
= ((1, 2, ..., :, 1,
2, ..., :), (1, 1, ..., 1)). Entonces o
l
(1
q
) = f(i +1), (i +2), ..., :, 1, 2, ..., i 1g, para todo
i = 1, 2, ..., :, de donde c
l
(t) = : 2i +1. Por otro lado o
l
(1
q
) \o

m
(1
q
) = f +1, ..., ig, con
lo que, ,
lm
(1
q
) = i para i . Este ejemplo prueba tambin que estos nudos virtuales de 1
puente no son triviales, como se arm en el Ejemplo 2.5.4
3.5 Existencia de nudos virtuales chirales y no invertibles
En esta seccin estudiaremos el problema de cmo saber cundo un nudo virtual, no clsico,
es chiral , chiral # y no invertible. Para ello probaremos que el invariante es sensible con
respecto a la imagen espejo y #, y al inverso. Vease Seccin 2.1.
Teorema 3.5.1 Sea 1 un cdigo nudal, entonces c
m
(1) = c
m
(1

) y ,
lm
(1) = ,
lm
(1

),
para todo i, 2 f1, 2, ..., :g. Por tanto, si ([1]) = [1(1), c(1), ,(1)] entonces ([1

]) =
[1(1), c(1), ,(1)].
Prueba. Por denicin, o
m
(1

) = o
1
m
(1), para todo i, 2 f1, 2, ..., :g. Ahora bien,
-

z
= -
z
, para todo n 2 f1, 2, ..., :g [ f1, 2, ..., :g, por tanto
c
m
(1

) =
X
z2V
m
(N

)
-

z
=
X
z2V
1
m
(N)
-
z
=
X
z2V
m
(N)
-
z
= c
m
(1).
Por otro lado, o
lm
(1

) = o
l
(1

) \ o
1
m
(1

) =

o
l
(1) \ o
1
m
(1)

1
, luego
,
lm
(1

) =
X
z2V
lm
(N

)
-

z
=
X
z2V
1
lm
(N)
-
z
= ,
lm
(1).
Teorema 3.5.2 Sea 1 = ((i
1
, ..., i
2q
), (c
1
, ..., c
q
)) un cdigo nudal, entonces c
m
(1
#
) = c
m
(1

)
para todo 2 f1, 2, ..., :g.
64
Prueba. No es difcil vericar que, para todo 2 f1, 2, ..., :g
o
m
(1
#
) [ o
m
(1) = fi
1
, ..., i
2q
gnf, g y o
m
(1
#
) \ o
m
(1) = c.
Luego, 0 =
X
z2V
m
(N
#
)[V
m
(N)
-
z
=
X
z2V
m
(N
#
)
-
z
+
X
z2V
m
(N)
-
z
=
X
z2V
m
(N
#
)
-
#
z
+
X
z2V
m
(N)
-
z
=
c
m
(1
#
) +c
m
(1).
Hasta este momento no hemos encontrado una relacin simple entre las matrices ,(1) y ,(1
#
).
Pero s encontramos una relacin entre [1] y [1
#
], como ilustramos en el siguiente teorema.
Teorema 3.5.3 Sea 1 un cdigo nudal, entonces c
l
(1) = c
l
(1
#
) y ,
lm
(1) = ,
lm
(1
#
),
para todo i, 2 f1, 2, ..., :g. Luego ([1]) = [1(1
#
), c(1
#
), ,(1
#
)] = ([1
#
]).
Prueba. Para todo 2 f1, 2, ..., :g, o
m
(1
#
) = o
m
(1). As que c
m
(1
#
) =
X
z2V
m
(N
#
)
-
#
z
=

X
z2V
m
(N)
-
z
= c
m
(1), y ,
lm
(1
#
) =
X
z2V
lm
(N
#
)
-
#
z
=
X
z2V
lm
(N)
-
z
= ,
lm
(1).
Ejemplo 3.5.1 Para : 2 N, : 2, sea 1
q
= ((1, 2, ..., :, 1, 2, ..., :), (1, 1, ..., 1)). En-
tonces 1
q
no es un nudo combinatorio clsico. Adems no es chiral , chiral # y no es
invertible. En efecto, puesto que o
l
(1
q
) = f(i + 1), (i + 2), ..., :, 1, 2, ..., i 1g, para todo
i = 2, ..., :, c
l
(t) = :2i +1. Por otro lado, si i entonces o
l
(1
q
)\o

m
(1
q
) = f +1, ..., ig,
por tanto, ,
lm
(1
q
) = i para i . Luego
[1
q
] =
2
6
6
6
6
4
0
B
B
B
B
@
1
1
.
.
.
1
1
C
C
C
C
A
,
0
B
B
B
B
@
: 1
: 3
.
.
.
: + 1
1
C
C
C
C
A
,
0
B
B
B
B
@
0 1 . . . : 1
1 0 : 2
.
.
.
.
.
.
.
.
.
.
.
.
1 : 2 : . . . 0
1
C
C
C
C
A
3
7
7
7
7
5
.
Debido a que todas las entradas del primer vector de [1
q
] tienen el mismo signo no podemos
aplicar simplicacin de Tipo
2
sobre [1
q
]. Por otro lado, ninguna columna de la matriz de
[1
q
] es igual al segundo vector de [1
q
], con lo que no podemos aplicar simplicaciones tipo

1
sobre [1
q
], por tal motivo [1
q
] es irreducible, lo que implica que [1
q
] 6= [( ), ( ), ( )].
Por otro lado, 1

q
= 1
#
q
, con lo que
[1

q
] = [1
#
q
] =
2
6
6
6
6
4
0
B
B
B
B
@
1
1
.
.
.
1
1
C
C
C
C
A
,
0
B
B
B
B
@
: 1
: 3
.
.
.
: +1
1
C
C
C
C
A
,
0
B
B
B
B
@
0 1 . . . : 1
1 0 : 2
.
.
.
.
.
.
.
.
.
.
.
.
1 : 2 : . . . 0
1
C
C
C
C
A
3
7
7
7
7
5
,
65
entonces [1

q
] = [1
#
q
] 6= [1
q
], as que 1
q
es chiral y #. Por ltimo
[1
q
] =
2
6
6
6
6
4
0
B
B
B
B
@
1
1
.
.
.
1
1
C
C
C
C
A
,
0
B
B
B
B
@
(: 1)
(: 3)
.
.
.
(: + 1)
1
C
C
C
C
A
,
0
B
B
B
B
@
0 1 . . . (: 1)
1 0 (: 2)
.
.
.
.
.
.
.
.
.
.
.
.
: 1 : 2 . . . 0
1
C
C
C
C
A
3
7
7
7
7
5
,
de donde 1
q
no es invertible.
Ejemplo 3.5.2 Consideremos el nudo virtual mostrado en la Figura 3-4.
Figura 3-4: Ejemplo de un nudo virtual 1 que es chiral y chiral # y no invertible.
Puesto que
(1) =
2
6
6
6
6
6
6
4
0
B
B
B
B
B
B
@
1
1
1
1
1
1
C
C
C
C
C
C
A
,
0
B
B
B
B
B
B
@
1
1
2
0
2
1
C
C
C
C
C
C
A
,
0
B
B
B
B
B
B
@
0 2 1 1 2
2 0 2 0 2
1 2 0 1 1
1 0 1 0 1
2 2 1 1 0
1
C
C
C
C
C
C
A
3
7
7
7
7
7
7
5
,
entonces 1 es chiral .
Por otro lado
(1
#
) =
2
6
6
6
6
6
6
4
0
B
B
B
B
B
B
@
1
1
1
1
1
1
C
C
C
C
C
C
A
,
0
B
B
B
B
B
B
@
1
1
2
0
2
1
C
C
C
C
C
C
A
,
0
B
B
B
B
B
B
@
0 0 0 0 1
0 0 1 1 1
0 1 0 1 3
0 1 1 0 1
1 1 3 1 0
1
C
C
C
C
C
C
A
3
7
7
7
7
7
7
5
,
con lo que 1 es chiral # y no invertible. Adems, en este caso, 1

no es equivalente a 1
#
.
66
3.6 La tripleta de virtualizaciones de un nudo clsico
En la Seccin 2.4 denimos el proceso de virtualizacin de un cruce clsico. Esta modicacin
local llevo a Dye y Kauman [12] a proponer el siguiente interrogante, que en trminos de
cdigos es: Sea 1 un cdigo nudal geomtrico. Qu condiciones debe cumplir un cruce : de
1 para que [1
p
y
] [1
p
vy
] [1
p
] sean nudos combinatorios clsicos? Este problema ha sido
estudiado por varios especialistas en el tema, vease [12] y [39].
En esta seccin estudiaremos el comportamiento del invariante con respecto a los tres tipos de
virtualizaciones dadas en la Denicin 2.4.10. Con base en eso daremos condiciones necesarias
para determinar cundo una virtualizacin de un diagrama de un nudo clsico no es un nudo
clsico.
Con la idea de simplicar la notacin supondremos que los cdigos estarn en forma estndar
(vease Denicin 1.2.1) y que las virtualizaciones siempre se realizan sobre el cruce :.
Recordemos los tres tipos de virtualizacin dados en la Seccin 2.4. Sea 1 = ((, :, 1, :),
(c
1
, ..., c
q
)), : 0, un cdigo nudal. Entonces 1
q
y
= ((, :, 1, :), (c
1
, ..., c
q1
, c
q
)),
1
q
vy
= ((, :, 1, :), (c
1
, ..., c
q
)) y 1
q
= ((, 1), (c
1
, ..., c
q
)).
Recordemos, ver Seccin 3.4, que si : es un cruce de 1, \
p
representar el conjunto de
vrtices de la estrella de : en 1
N
y 1
p
el conjunto de aristas de la estrella de : en 1
N
.
Adems, clasicamos los elementos de \
p
y 1
p
, respectivamente, en dos conjuntos como sigue:
\
+
p
= ft 2 \
p
: : 2 o
w
(1)g, \

p
= ft 2 \
p
: : 2 o
w
(1)g, 1
+
p
= f: : c
m
2 o
p
(1)g y
1

p
: f: : c
m
2 o
p
(1)g = 1
p
n1
+
p
.
Proposicin 3.6.1 Sea 1 un cdigo nudal geomtrico. Si \
q
= f:g, entonces [1
q
y
], [1
q
vy
] y
[1
q
] son nudos combinatorios clsicos.
Prueba. Supongamos que c
q
= 1, el caso c
q
= 1 es similar. Ahora bien, si \
q
= f:g,
entonces un diagrama esquemtico para 1, 1
q
y
, 1
q
vy
y 1
q
se muestra en la Figura 3-5.
Figura 3-5: Diagrama esquemtico para 1, 1
q
y
, 1
q
vy
y 1
q
en el caso de que \
q
= f:g
La prueba de que cada uno de ellos es clsico se muestra en la Figura 3-6.
67
Figura 3-6: Prueba de que 1
q
y
, 1
q
vy
y 1
q
son clsicos
Proposicin 3.6.2 Sea 1 un cdigo nudal, entonces c
m
(1
q
y
) = c
m
(1
q
vy
) y ,
lm
(1
q
y
) = ,
lm
(1
q
vy
)
para todo i, 2 f1, 2, ..., :g.
Prueba. Por denicin, si 1 = ((, :, 1, :), (c
1
, ..., c
q
)), entonces 1
q
y
= ((, :, 1,
:), (e c
1
, ..., e c
q
)), donde e c
m
= c
m
, = 1, ..., :1 y e c
q
= c
q
, y 1
q
vy
= ((, :, 1, :), (c
1
, ..., c
q
)).
Sea r un cruce de 1 distinto de :, entonces o
u
(1) puede ser igual a uno de los siguientes
conjuntos fC, :g, f1, :g, f1, :, :g, f1g, donde C, 1, 1 y 1 son subconjuntos de fg[f1g,
que no contienen ni a : ni a :. Por denicin o
u
(1
q
y
) = o
u
(1), y o
u
(1
q
vy
) es igual a uno de
los conjuntos fC, :g, f1, :g, f1, :, :g, f1g. Ahora bien:
(1) Si o
u
(1) = fC, :g, es decir, r 2 \
+
q
, entonces o
u
(1
q
y
) = fC, :g y o
u
(1
q
vy
) = fC, :g.
(2) Si o
u
(1) = f1, :g, es decir, r 2 \

q
, entonces o
u
(1
q
y
) = f1, :g y o
u
(1
q
vy
) = f1, :g.
(3) Si o
u
(1) = f1, :, :g o
u
(1) = f1g, es decir, r , 2 \
q
, entonces o
u
(1
q
y
) = o
u
(1
q
vy
).
De (1), c
u
(1
q
y
) =
P
z2fFg
e-
z
+e-
q
=
P
z2fFg
-
z
-
q
=
P
z2fFg[fqg
-
z
-
q
-
q
= c
u
(1
q
vy
).
De (2), c
u
(1
q
y
) =
P
z2fFg
e-
z
+e-
q
=
P
z2fFg
-
z
-
q
=
P
z2fFg[fqg
-
z
-
q
+-
q
= c
u
(1
q
vy
).
De (3), c
u
(1
q
y
) = c
u
(1
q
vy
).
Sean r y t cruces de 1 distintos de :. Ahora bien, si t , 2 \
q
y r , 2 \
q
, entonces por (3) tenemos
que ,
uw
(1
q
y
) = ,
uw
(1
q
vy
).
Supongamos que t 2 \
+
q
y que r , 2 \
q
, entonces, por (1), o
w
(1
q
y
) = fC, :g y o
w
(1
q
vy
) = fC, :g,
y por (3), o
u
(1
q
y
) = o
u
(1
q
vy
) = f1, :, :g o
u
(1
q
y
) = o
u
(1
q
vy
) = f1g. Si o
u
(1
q
y
) = o
u
(1
q
vy
) =
f1, :, :g, entonces o
wu
(1
q
y
)nf:g = o
wu
(1
q
vy
)nf:g, luego ,
wu
(1
q
y
) = ,
wu
(1
q
vy
). Por otro lado,
si o
u
(1
q
y
) = o
u
(1
q
vy
) = f1g, entonces o
wu
(1
q
y
) = o
wu
(1
q
vy
), con lo que ,
wu
(1
q
y
) = ,
wu
(1
q
vy
).
Supongamos ahora que t 2 \

q
y r , 2 \
q
, entonces por (2), o
w
(1
q
y
) = f1, :g y o
w
(1
q
vy
) =
f1, :g y por (3) o
u
(1
q
y
) = o
u
(1
q
vy
) = f1, :, :g o
u
(1
q
y
) = o
u
(1
q
vy
) = f1g. Luego, si
o
u
(1
q
y
) = o
u
(1
q
vy
) = f1, :, :g, entonces o
wu
(1
q
y
)nf:g = o
wu
(1
q
vy
)nf:g, luego ,
wu
(1
q
y
) =
,
wu
(1
q
vy
). Por otro lado, si o
u
(1
q
y
) = o
u
(1
q
vy
) = f1g, entonces o
wu
(1
q
y
) = o
wu
(1
q
vy
), con lo que
,
wu
(1
q
y
) = ,
wu
(1
q
vy
).
Supongamos que t 2 \
+
q
y r 2 \
+
y
, entonces, por (1), o
w
(1
q
y
) = fC, :g y o
w
(1
q
vy
) = fC, :g y
o
u
(1
q
y
) = f
e
C, :g y o
u
(1
q
vy
) = f
e
C, :g, luego o
wu
(1
q
y
) = o
wu
(1
q
vy
), as que ,
wu
(1
q
y
) = ,
wu
(1
q
vy
).
68
Supongamos que t 2 \
+
q
y r 2 \

q
, entonces por (1) y (2) o
w
(1
q
y
) = fC, :g, o
w
(1
q
vy
) = fC, :g,
o
u
(1
q
y
) = f1, :g y o
u
(1
q
vy
) = f1, :g, luego o
wu
(1
q
y
)nf:g = o
wu
(1
q
vy
)nf:g, de donde
,
wu
(1
q
y
) = ,
wu
(1
q
vy
).
Supongamos ahora que t = :. No es dicil vericar que o
q
(1
q
y
) = o
q
(1
q
vy
). Ahora bien, si
r , 2 \
q
, por (3), o
u
(1
q
y
) = o
u
(1
q
vy
) = f1, :, :g o
u
(1
q
y
) = o
u
(1
q
vy
) = f1g. En ambos casos
,
wu
(1
q
y
) = ,
wu
(1
q
vy
). Por otro lado, si r 2 \
+
q
. Entonces o
qu
(1
q
y
)nf:g = o
qu
(1
q
vy
)nf:g, con
lo que ,
wu
(1
q
y
) = ,
wu
(1
q
vy
). Si r 2 \

q
, se procede de forma anloga.
Los siguientes teoremas nos dan una forma de computar (1
q
vy
) a partir de (1).
Primero analizaremos el caso en el que , 2 \
q
, es decir que f:, :g \ o
m
(1) = c f:, :g
o
m
(1), el cual se resume en el Teorema 3.6.3. Despus analizaremos, por separado, los casos
en el que 2 \
+
q
o 2 \

q
, es decir f:, :g \ o
m
(1) = f:g f:, :g \ o
m
(1) = f:g,
respectivamente, que se presentan en el Teorema 3.6.4.
Teorema 3.6.3 Sea 1 un cdigo nudal de : cruces en forma estndar, y sea un vrtice de
1
N
tal que , 2 \
q
, entonces:
(1) c
m
(1
q
vy
) = c
m
(1).
(2) Si f:, :g \ o
m
(1) = c, entonces ,
lm
(1
q
vy
) = ,
lm
(1), para todo i = 1, 2, ..., :,
(3) Si f:, :g o
m
(1), entonces:
(a) ,
mw
(1
q
vy
) = ,
mw
(1) 2c
q
si t 2 \
+
q
.
(b) ,
mw
(1
q
vy
) = ,
mw
(1) + 2c
q
si t 2 \

q
.
(c) ,
mw
(1
q
vy
) = ,
mw
(1) si t , 2 \
q
y t 6= :.
(d) ,
mq
(1
q
vy
) = c
m
(1) ,
mq
(1).
Prueba. Supongamos que 1 = ((, :, 1, :), (c
1
, ..., c
q
)), entonces 1
q
vy
= ((, :, 1,
:), (c
1
, ..., c
q
))
(1) Sea un cruce de 1 tal que , 2 \
q
, entonces o
m
(1
q
vy
) = o
m
(1) = fC, :, :g o o
m
(1
q
vy
) =
o
m
(1) = f1g, donde fCg y f1g son subconjuntos de f, 1g. En cada una de ellas se tiene
que c
m
(1
q
vy
) = c
m
(1).
(2) Supongamos que o
m
(1
q
vy
) = o
m
(1) = f1g, y sea i 2 f1, ..., :g. Entonces o
lm
(1
q
vy
) = o
lm
(1).
As que ,
lm
(1
q
vy
) = ,
lm
(1).
(3) Supongamos que f:, :g o
m
(1).
(a) Si t 2 \
+
q
, entonces : 2 o
w
(1) y : , 2 o
w
(1), por tanto : 2 o
w
(1
q
vy
) y : , 2 o
w
(1
q
vy
).
De lo anterior o
mw
(1)nf:g = o
mw
(1
q
vy
)nf:g de donde
,
mw
(1
q
vy
) =
X
z2V
mw
(N
q
vy
)nfqg
-
z
+-
q
=
X
z2V
mw
(N)nfqg
-
z
+-
q
= ,
mw
(1) 2c
q
.
(b) Supongamos que t 2 \

q
, entonces : 2 o
w
(1) y : , 2 o
w
(1), luego : 2 o
w
(1
q
vy
) y : , 2
69
o
w
(1
q
vy
). Por tal motivo o
mw
(1)nf:g = o
mw
(1
q
vy
)nf:g, con lo que
,
mw
(1
q
vy
) =
X
z2V
mw
(N
q
vy
)nfqg
-
z
+-
q
=
X
z2VV
mw
(N)nfqg
-
z
+-
q
= ,
mw
(1) + 2c
q
.
(c) Si t , 2 \
q
, tenemos dos casos: que f:, :g \o
m
(1) = c o f:, :g o
w
(1), en cada uno de
ellos se cumple o
w
(1
q
vy
) = o
w
(1) y, debido a que o
m
(1
q
vy
) = o
m
(1), entonces ,
mw
(1
q
vy
) = ,
mw
(1).
(d) Puesto que o
m
(1
q
vy
) = o
m
(1) y adems, o
q
(1
q
vy
) [ o
q
(1) = f, 1g, entonces

o
1
q
(1
q
vy
) [ o
1
q
(1) [ f:, :g

\ o
m
(1) = o
m
(1),
entonces c
m
(1) = ,
mq
(1
q
vy
) +,
mq
(1).
En el siguiente teorema analizaremos el caso en el que 2 \
q
.
Teorema 3.6.4 Sea 1 un cdigo nudal de : cruces en forma estndar, y sea un vrtice de
1
N
tal que 2 \
q
.
I. Si 2 \
+
q
, entonces c
m
(1
q
vy
) = c
m
(1) +2c
q
y ,
mq
(1
q
vy
) = ,
mq
(1) +c
q
+c
m
(1). Mas an,
para i = 1, , : 1,
(1) Si i 2 \

q
, entonces ,
lm
(1
q
vy
) = ,
lm
(1) 2c
q
y
(2) si i 2 \
+
q
, entonces ,
lm
(1
q
vy
) = ,
lm
(1).
II. Si 2 \

q
, entonces c
m
(1
q
vy
) = c
m
(1) 2c
q
y ,
mq
(1
q
vy
) = ,
mq
(1) +c
q
c
m
(1). Ms an,
para i = 1, , : 1,
(1) Si i 2 \
+
q
, entonces ,
lm
(1
q
vy
) = ,
lm
(1) + 2c
q
y
(2) si i 2 \

q
, entonces ,
lm
(1
q
vy
) = ,
lm
(1).
Prueba. I. Si 2 \
+
q
, entonces o
m
(1) = fC, :g y o
m
(1
q
vy
) = fC, :g. Como consecuencia
c
m
(1
q
vy
) =
X
z2V
m
(N
q
vy
)
-
z
=
X
z2fFg
-
z
+-
q
=
X
z2fF>qg
-
z
-
q
+-
q
=
X
z2V
m
(N)
-
z
+ 2c
q
= c
m
(1) + 2c
q
.
Por otro lado

o
1
q
(1
q
vy
) [ o
1
q
(1) [ f:, :g

\o
m
(1) = o
m
(1). Puesto que o
m
(1)\o
1
q
(1
q
vy
) =
o
m
(1
q
vy
) \o
1
q
(1
q
vy
), entonces (o
m
(1
q
vy
) \ o
q
(1
q
vy
)) [

o
m
(1) \ o

q
(1)

[f:g = o
m
(1), as que
,
m
(1
q
vy
) +,
m
(1) c
q
= c
m
(1).
(1) Supongamos que : 2 o
l
(1) y : , 2 o
l
(1), entonces : 2 o
l
(1
q
vy
) y : , 2 o
l
(1
q
vy
), con lo
70
que : 2 o
ml
(1
q
vy
) y : , 2 o
ml
(1
q
vy
). Por tanto o
ml
(1)nf:g = o
ml
(1
q
vy
)nf:g, y as
,
ml
(1
q
vy
) =
X
z2V
ml
(N
q
vy
)nfqg
-
z
+-
q
=
X
z2V
ml
(N)nfqg
-
z
+c
q
=
X
z2V
ml
(N)
-
z
-
q
+-
q
= ,
ml
(1) + 2c
q
.
Entonces, ,
lm
(1
q
vy
) = ,
ml
(1
q
vy
) = ,
ml
(1) 2c
q
= ,
lm
(1) 2c
q
.
(2) Supongamos que : 2 o
l
(1) y : , 2 o
l
(1), entonces : 2 o
l
(1
q
vy
) y : , 2 o
l
(1
q
vy
), entonces
o
mq
(1
q
vy
) = o
mq
(1), con lo que ,
lm
(1
q
vy
) = ,
lm
(1).
La prueba de II es similar a la de I.
Nota 3.6.1 Sea 1 un cdigo nudal. No es difcil ver que existen enteros positivos t, : y r, que
nos permiten aplicar transformaciones de Tipo B sobre 1 tal que:
(1) f:, :g o
l
(1), para todo i = 1, 2, ..., t,
(2) ni : ni : estn en o
l
(1), para todo i = t + 1, ..., :,
(3) i 2 \
+
q
, para todo i = : + 1, ..., r y
(4) i 2 \

q
, para todo i = r + 1, ..., : 1.
El siguiente teoremas es inmediato de los resultados anteriores.
Teorema 3.6.5 Con la notacin anterior, si 1 es cdigo geomtrico, entonces c(1
q
vy
) y ,(1
q
vy
)
son iguales, respectivamente, a
2
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
4
0
.
.
.
0
0
.
.
.
0
2c
q
.
.
.
2c
q
2c
q
.
.
.
2c
q
0
3
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
5
y
2
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
6
4
0 0 0 0 0 0 0 0 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0 0 0 0 0 0 0
0 0 0 0 2c
q
2c
q
2c
q
2c
q
0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0 0 2c
q
2c
q
2c
q
2c
q
0
0 0 2c
q
2c
q
0 0 2c
q
2c
q
c
q
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 2c
q
2c
q
0 0 2c
q
2c
q
c
q
0 0 2c
q
2c
q
2c
q
2c
q
0 0 c
q
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 2c
q
2c
q
2c
q
2c
q
0 0 c
q
0 0 0 0 c
q
c
q
c
q
c
q
0
3
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
7
5
(3.11)
71
Corolario 3.6.6 Sea 1 un nudo combinatorio, entonces existe un cdigo nudal geomtrico 1
tal que 1 = 1
q
vy
si `(1) = (1, 1c(1
p
vy
), 1,(1
p
vy
)1
W
).
Corolario 3.6.7 Si 1 es un cdigo geomtrico tal que \
q
6= f:g, y es la tripleta
=
0
B
B
B
B
B
B
B
B
B
B
B
B
@
0
B
B
B
B
B
B
B
B
B
B
B
B
@
c
v+1
.
.
.
c
u
c
u+1
.
.
.
c
q1
c
1
C
C
C
C
C
C
C
C
C
C
C
C
A
,
0
B
B
B
B
B
B
B
B
B
B
B
B
@
2c
q
.
.
.
2c
q
2c
q
.
.
.
2c
q
0
1
C
C
C
C
C
C
C
C
C
C
C
C
A
,
0
B
B
B
B
B
B
B
B
B
B
B
B
@
0 0 2c
q
2c
q
c
q
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 2c
q
2c
q
c
q
2c
q
2c
q
0 0 c
q
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2c
q
2c
q
0 0 c
q
c
q
c
q
c
q
c
q
0
1
C
C
C
C
C
C
C
C
C
C
C
C
A
1
C
C
C
C
C
C
C
C
C
C
C
C
A
,
entonces (1
q
vy
) es -equivalente a la tripleta con c = c
q
y (1
q
y
) es -equivalente a la
tripleta con c = c
q
, donde c 2 f1, 1g.
Sea 1 un cdigo geomtrico y consideremos los siguientes conjuntos:
o
+ +
(:) = f : : 2 1
+
q
y c
m
= 1g, o
+
(:) = f : : 2 1
+
q
y c
m
= 1g, o
+
(:) = f : : 2
1

q
y c
m
= 1g y o

(:) = f : : 2 1

q
y c
m
= 1g.
Corolario 3.6.8 Con la notacin anterior. Si 1 es un cdigo geomtrico tal que jo
+ +
j 6 =
jo

j jo
+
j 6 = jo
+
j entonces [1
q
vy
] y [1
q
y
] son nudos combinatorios no clsicos.
Prueba. Si alguna de las dos condiciones se cumple, entonces Ord(1
q
vy
) = Ord(1
q
y
)
3, por tanto [1
q
vy
] y [1
q
y
] no son clsicos.
Con un procedimiento similar al hecho para conseguir la prueba del Corolario 3.6.7, se demuestra
el siguiente teorema.
Teorema 3.6.9 Sea 1 un cdigo geomtrico, entonces (1
q
) es -equivalente a la tripleta
0
B
B
B
B
B
B
B
B
B
B
@
0
B
B
B
B
B
B
B
B
B
B
@
c
v+1
.
.
.
c
u
c
u+1
.
.
.
c
q1
1
C
C
C
C
C
C
C
C
C
C
A
,
0
B
B
B
B
B
B
B
B
B
B
@
c
q
.
.
.
c
q
c
q
.
.
.
c
q
1
C
C
C
C
C
C
C
C
C
C
A
,
0
B
B
B
B
B
B
B
B
B
B
@
0 0 c
q
c
q
.
.
.
.
.
.
.
.
.
.
.
.
0 0 c
q
c
q
c
q
c
q
0 0
.
.
.
.
.
.
.
.
.
.
.
.
c
q
c
q
0 0
1
C
C
C
C
C
C
C
C
C
C
A
1
C
C
C
C
C
C
C
C
C
C
A
.
Por tanto, si jo
+ +
j 6 = jo

j jo
+
j 6 = jo
+
j, entonces [1
q
] no es clsico.
72
Figura 3-7: Ejemplo de diagramas de nudos clsicos con un cruce virtualizado.
Ejemplo 3.6.1 Consideremos el nudo clsico 1 mostrado en la Figura 3-7. Sus virtualiza-
ciones 1
5
y
, 1
5
vy
y 1
5
se muestran, respectivamente, en la misma gura.
El grafo de entrelazamiento 1
N
se muestra en la Figura 3-8. Vease Denicin 3.4.1
Figura 3-8: El grafo de entrelazamiento para el nudo mostrado en la Figura 3-7
Por tanto tenemos que 1
+
5
(1) = fc
5
g y 1

5
= fc
4
g, entonces o
+
(1) = c y o
+
(1) = f2g.
Luego, por los Corolarios 3.6.8 y 3.6.9, 1
5
y
, 1
5
vy
y 1
5
no son nudos virtuales clsicos. Por
otro lado
([1
5
y
]) =
2
6
4
0
B
@
1
1
1
1
C
A
,
0
B
@
2
2
0
1
C
A
,
0
B
@
0 2 1
2 0 1
1 1 0
1
C
A
3
7
5
,
([1
5
vy
]) =
2
6
4
0
B
@
1
1
1
1
C
A
,
0
B
@
2
2
0
1
C
A
,
0
B
@
0 2 1
2 0 1
1 1 0
1
C
A
3
7
5
y
([1
5
]) =
"
1
1
!
,

1
1
!
,

0 1
1 0
!#
.
Con lo que 1
5
y
, 1
5
vy
y 1
5
son nudos virtuales diferentes y no clsicos.
73
Captulo 4
Otros invariantes de nudos virtuales
En este captulo estudiaremos algunos invariantes de nudos virtuales que nos ayudarn en el
problema de determinar si un nudo virtual es clsico o no y en el problema de clasicacin de
nudos virtuales.
Estos invariantes han sido estudiados, en detalle, por sus respectivos autores. Nosotros uti-
lizaremos los nudos combinatorios para darles una denicin alternativa y rearmar que el uso
de nudos combinatorios es una herramienta muy apropiada para estudiar nudos virtuales, ya
que simultneamente permite desarrollar conceptos tericos y algoritmos que son fcilmente
programables. La independencia de diagramas es una gran fortaleza, por supuesto no se puede
desconocer que trabajar con diagramas es mas intuitivo y algunas pruebas pueden ser mas
simples.
En la primera seccin estudiamos el grupo de un nudo virtual, por la importancia que ha
tenido en el estudio de la teora clsica de nudos. Las propiedades del grupo de un nudo en el
caso clsico son en general muy diferentes a las propiedades del grupo de un nudo virtual no
clsico. En esta seccin nos concentramos en mostrar algunas de las diferencias. En el resto
del captulo presentamos una coleccin de polinomios invariantes. Algunos de ellos son nuevos
y denidos por nosotros a partir del invariante y otros, como el polinomio de Jones, que son
muy conocidos y son extensiones naturales de polinomios ya conocidos.
4.1 El grupo de un nudo virtual
Kauman [25] y Kim [30] denieron el grupo de un nudo virtual extendiendo, en forma natural,
la presentacin de Wirtinger del grupo fundamental del complemento de un nudo clsico. En
esta seccin deniremos el grupo de un nudo virtual usando el concepto de nudo combinatorio.
Mostraremos algunas ventajas de esta aproximacin y presentaremos ejemplos de nudos com-
binatorios cuyos grupos tienen propiedades que son falsas o desconocidas en la categora de los
nudos clsicos.
Utilizaremos algunas propiedades que cumple el grupo de un nudo combinatorio clsico para
mostrar algunos ejemplos de nudos combinatorios que no son clsicos. En esta seccin daremos
la prueba de que, como categoras, los nudos clsicos estn estrictamente contenidos en el
conjunto de los nudos virtuales, ver [25]. Presentaremos el resultado de Kim [30], en el que
74
da condiciones para determinar cundo un grupo G es el grupo de un nudo virtual. En el
caso de que G corresponda al grupo de un nudo virtual, nosotros mostraremos un algoritmo
para construir un nudo combinatorio a partir de la presentacin del grupo. Nuestra prueba
de este resultado y el algoritmo que damos, muestran las ventajas de trabajar con los nudos
combinatorios.
Por comodidad en la presentacin de los resultados de esta seccin nos concentraremos en
nudos combinatorios de una sola componente, el lector puede vericar que tales resultados se
extienden de manera natural a cdigos enlaces. Adems, utilizaremos la notacin j
z
para
indicar la conjugacin n
1
jn. Una interesante construccin asociada al grupo de un nudo
virtual es denominada quandles, [25] y [18], es muy fcil de realizar va nudos combinatorios,
pero no la estudiaremos aqu.
4.1.1 El grupo de un nudo combinatorio
En esta seccin estudiaremos el grupo de un nudo combinatorio. Probaremos algunas de sus
propiedades ms relevantes y daremos la denicin de grupo por encima y grupo por debajo.
Usaremos el hecho de que las presentaciones por encima y por debajo del grupo de un nudo
clsico son iguales para determinar cundo un nudo virtual no es clsico. Esta herramienta no
es muy eciente, pero es un aporte al problema de detectar nudos virtuales que no son clsicos.
4.1.1.1 Denicin del grupo de un nudo combinatorio
Denicin 4.1.1 Sea 1 un cdigo, tal que 1 6= ((), ()), y sean r
1
,...,r
q
sus arcos. Denimos
el grupo de 1 como
G(1) = hr
1
, r
2
, , r
q
: r
1
, r
2
, , r
q
i ,
donde r
1
= r
hd
1
w1
r
q
r
hd
1
w1
r
1
1
, r
m
= r
h
d
m
w
m
r
m1
r
h
d
m
w
m
r
1
m
, para = 2, ..., :, y a
m
2 r
w
m
, = 1, 2, ..., :.
Si 1 = ((), ()), denimos el grupo de 1 como G(1) = Z.
Es inmediato que el grupo que denimos anteriormente es invariante bajo las transformaciones
de Tipo A, B y C.
Para simplicar la notacin, en el resto de la seccin todos los cdigos estarn en forma de
puentes.
La denicin de grupo dada anteriormente coincide con las dadas en [25], [29] y [37]. La
demostracin de que es un invariante es igual a la hecha para el caso clsico, por tal motivo la
omitimos.
Teorema 4.1.1 Sean 1
1
y 1
1
cdigos. Si 1
1
1
2
, entonces G(1
1
) es isomorfo a G(1
2
).
Del teorema anterior tiene sentido la siguiente denicin.
75
Denicin 4.1.2 El grupo de un nudo combinatorio [1] lo denimos por G([1]) = G(1).
4.1.1.2 Propiedades del grupo de un nudo combinatorio
En esta seccin daremos algunas propiedades del grupo de un nudo combinatorio y daremos,
tambin, varios ejemplos.
Lema 4.1.2 Sea [1] un nudo combinatorio. Si G = G(1) entonces G
de

= Z, donde G
de
denota la abelianizacin de G.
Prueba. Sabemos que si [1] es un nudo combinatorio entonces G(1) tiene la presentacin
G(1) = hr
1
, r
2
, , r
q
: r
1
, r
2
, , r
q
i ,
donde r
m
= r
h
m
w
m
r
m1
r
h
m
w
m
r
1
m
, = 2, ..., : y r
1
= r
h
1
w
1
r
q
r
h
1
w
1
r
1
1
. Una presentacin para G
de
es
hr
1
, r
2
, , r
q
: r
1
, r
2
, , r
q
, [r
l
, r
m
], i, = 1, 2, ..., :i ,
donde [r
l
, r
m
] = r
l
r
m
r
1
l
r
1
m
. por tanto,
G
de

= hr
1
, r
2
, , r
q
: r
1
, r
2
, , r
q
, r
l
r
m
= r
m
r
l
, i, = 1, 2, ..., :i

= hr
1
, r
2
, , r
q
: r
1
= r
2
, r
2
= r
3
, ..., r
q1
= r
q
i

= hr
l
i , i = 1, 2, ..., :.
Para un nudo combinatorio clsico 1, el grupo G(1) tiene una interpretacin topolgica dada
en el siguiente teorema.
Teorema 4.1.3 [8] Si [1] es un nudo combinatorio clsico y 1 es un nudo en o
3
que realiza
a [1], entonces G(1) es el grupo fundamental
1
(o
3
1).
El grupo fundamental
1
(o
3
1) de un nudo clsico juega un papel muy importante en el
problema de la clasicacin de nudos ya que es un invariante poderoso y es capaz, en muchos
casos, de distinguir dos nudos clsicos. Gracias a este invariante se clasicaron los nudos clsicos
primos, salvo orientacin e imagen espejo.
En el resto de esta seccin no distinguiremos entre un nudo combinatorio clsico y el corres-
pondiente nudo en o
3
.
El siguiente resultado es central en la teora clsica de nudos, pero no es cierto en la teora de
los nudos combinatorios, como mostraremos en el Ejemplo 4.1.1.
Teorema 4.1.4 [8] Si [1] es un nudo combinatorio clsico tal que G(1) es isomorfo a Z,
entonces [1] es trivial.
76