SEMINARIO DE AVANCE DE MAESTRÍA

LA TEORÍA DE CHERN-SIMONS-WONG
Y SU RELACIÓN CON INVARIANTES DE
NUDOS

Lic. Yisely Martı́nez

Tutores: Dr. Ernesto Fuenmayor
Dr. Ernesto Contreras

Julio 2018
 Tabla de Contenido

1 Relación entre Invariantes de Nudos y Teorı́as Topológicas no-

Abelianas
Teorı́a de Chern-Simons-Wong
Acción on-shell y desarrollo perturbativo
Coordenadas de Caminos
Invariantes de Nudos

2 Interpretación geométrica de los invariantes de nudo

Interpretación geométrica de S (0)
Interpretación geométrica de S (1)
Interpretación geométrica de S (2)

3 Conclusiones

4 Bibliografı́a
 Teorı́a de Chern-Simons-Wong
La acción de la teorı́a Chern-Simons-Wong:

SCSW = SCS + Sint , (1)

donde
Z  
2
SCS = −Λ−1 d 3 xµνρ Tr Aµ ∂ν Aρ + Aµ Aν Aρ , (2)
3
y
n Z
X
Sint = dτ Tr (Ki gi−1 (τ )Dτ gi (τ )), (3)
i=1 γi

los elementos de carga cromoeléctrica Ii (τ ) se escriben:

Ii (τ ) ≡ gi (τ )Ki gi−1 (τ )) = Iia (τ )T a . (4)

 Teorı́a de Chern-Simons-Wong
La derivada covariante de los gi (τ ):

Dτ gi (τ ) = ġi (τ ) + Ai (τ )gi (τ ). (5)

Convenciones y notaciones:
1
Tr (T a T b ) = − δ ab (6)
2

h i
T a , T b = f abc T c (7)

Aµ = Aaµ T a (8)

Ai (τ ) = Aµ (zi (τ ))żiµ (τ ) (9)

 Teorı́a de Chern-Simons-Wong

La acción de Chern-Simons-Wong es invariante de calibre bajo las

transformaciones:
−1 −1
Aµ → AΩ
µ = Ω Aµ Ω + Ω ∂µ Ω

Ki → KiΩ = Ki

gi → giΩ = Ω−1 gi

IiΩ = Ω−1 Ii Ω. (10)

De las transformaciones anteriores Dτ gi −→ (Dτ gi )Ω = Ω−1 Dτ gi .

 Teorı́a de Chern-Simons-Wong
Las variables dinámicas consideradas serán los campos Aaµ y las ma-
trices gi (τ ).
Para encontrar las ecuaciones de movimiento con respecto a los
campos Aaµ escribimos explicitamente la derivada covariante en (1):
n
Z
dτ żiµ (τ )(Tr (Ki gi−1 ∂µ gi ) + Tr (Ki gi−1 Aµ (zi )gi ))
P
Sint =
i=1 γi
n
Z
dτ żiµ (τ )Tr (Ki gi−1 ∂µ gi ) +
P
=
i=1 γi
Z n Z
dτ żiµ (τ )δ 3 (x − zi (τ ))Tr (Ii (τ )Aµ (zi (τ ))).
X
3
+ d x
i=1 γi

(11)
Luego de algunas operaciones se obtienen las ecuaciones de movimiento
para los campos:
µνρ Fνρ = ΛJ µ . (12)
 Teorı́a de Chern-Simons-Wong
Donde la corriente la hemos definido como:
n Z
dτ żiµ (τ )Ii (τ )δ 3 (x − zi (τ )),
X
µ
J ≡ (13)
i=1 γi

y el tensor de campo viene dado por Fµν = ∂µ Aν − ∂ν Aµ + [Aµ , Aν ].

Las ecuaciones de movimiento asociadas a gi (τ ): Se procede en
primer lugar a parametrizar los gi de la forma:
a a
gi = gi (ξi ) = e ξi T , (14)
donde los ξia
serán n × (N 2
− 1) parámetros independientes. Las
ecuaciones se obtienen a partir de las ecuaciones de Euler-Lagrange:
!
∂L d ∂L
− = 0, (15)
∂ξia dτ ∂ ξ˙ia
donde el Lagrangiano viene dado por:
Xn
L ≡ (Tr (Ki gi−1 (τ )Dτ gi (τ ))
i=1
Se puede mostrar que las ecuaciones (15) se pueden escribir final-
mente en la forma:

İi + [Ai , Ii ] = 0. (17)

Esta ecuación es similar a la ecuación de evolución de los operadores

en mecánica cuántica en la representación de Heinsenberg:

d Î
+ [Ĥ, I ] = 0, (18)
dt
ası́ que aplicamos su solución formal:

Ii (τ ) = Ui (τ )Ii (0)Ui−1 (τ ), (19)

con Ui (τ ) dado por la exponencial tiempo ordenada de Ai (τ ) a lo

largo de la curva γi
 Z τ 
0 0
Ui (τ ) = Texp − Ai (τ )dτ . (20)
0
 Acción on-shell y desarrollo perturbativo
SCSW −→ topológica + invariante de calibre

SCSW |on−shell = SCSW |e.m. . (21)

La ec. (17) queda resuelta a traves de (19) y (20). Sólo queda
resolver:
n Z
dτ żiµ (τ )Ii [A]δ 3 (x − zi (τ )),
X
µνρ
 Fνρ = Λ (22)
i=1 γi

Asumiremos:
Aaµ = Aaµ [γi ] (23)

Iia = I a [γi ] (24)

Aaµ [γi ] → SCSW = SCSW [γi ] → Invariante Topológico
∞
X
Son-shell ([γ; Λ]) = Λp S (p) [γ] (25)
p=0
 Acción on-shell y Desarrollo perturbativo
Para comenzar el cálculo de la acción on-shell, notemos de la ec.
(19) que:

I (τ ) = U(τ )g (0)Kg −1 (0)U −1 (τ ) = g (τ )Kg −1 (τ ). (26)

Esto nos permite tomar g (τ ) = U(τ )g (0), con lo cual

D(τ )g (τ ) = ġ (τ ) + A(τ )g (τ )
d
= (U(τ )g (0) )+A(τ )U(τ )g (0)
dτ
= (−A(τ )U(τ ) + A(τ )U(τ ))g (τ ) = 0. (27)

El resultado anterior muestra que D(τ )g (τ ) se anula sobre las ecua-

ciones de movimiento. Por tanto:
int
Son−shell = 0. (28)
 Acción on-shell y Desarrollo perturbativo
CS
De este modo, resta por considerar Son−shell . Para ello, consideremos
la ecuación de movimiento para los elementos de carga interna Ii :
İi + [Ai , Ii ] = 0, (29)
que reescribiremos de la siguiente manera:
dIia
+ ΛRiac (τ )Iic (τ ) = 0, (30)
dτ
donde
Riac ≡ f abc żiµ aµb (zi ) (31)
aµ = Λ−1 Aµ . (32)
La solución expresada en las ecuaciones (19) y (20) es equivalente:
Zτ
 

Iia (τ ) = Texp −Λ dτ 0 Riac (τ 0 ) Iic (0). (33)

0
 n Z
X
µνρ
2 ∂ν aρa (x) = −Λµνρ f abc aρc (x) + dz µ δ 3 (x − z)Iia (0)
i=1 γi

n Z Zz
dz1µ1 Rµaa1 1 (z1 )δ 3 (x − z)Iia1 (0)
X
− Λ dz µ
i=1 γi
0
n Z Zz Zz1
dz1µ1 dz2µ2 Rµaa1 1 (z1 )Rµa12 a2 (z2 ) ×
X
2 µ
+ Λ dz
i=1 γi
0 0
× δ 3 (x − z)Iia2 (0)
..
.
Zz zZp−1
n Z
µ
dz1µ1 ...
X
p µ
+ (−Λ) dz dzp p Rµaa1 1 (z1 )
i=1 γi
0 0
a a a
· · · Rµp−1
p
p
(zp )δ 3 (x − z)Ii p (0)
..
. . (34)
Si ahora intoducimos en la ec. (34) la serie de potencias:
∞
X
aµa = Λp aµ(p)a , (35)
p=0

La ecuación que resulta al p-ésimo orden, se escribe como:

r +s=p−1
X
2µνρ ∂ν aρ(p)a (x) = −µνρ f abc aν(r )b aρ(s)c +
r ,s=0
p Zz zZr −1
n Z
dz1µ1
X X
+ (−1)r dz µ ··· dzrµr ×
r =1 i=1 γi
0 0
s1 +···+s
Xr =p−1
× Rµ(s11 )aa1 (z1 )Rµ(s22 )a1 a2 (z2 ) ×
s1 ,···sr =0

× · · · Rµ(srr )ar −1 ar (zr )Iiar (0)δ 3 (x − z).

(36)
para p ≥ 1.
Para p = 0 la ecuación correspondiente es
n Z
dziµ δ 3 (x − zi )Iia (0).
X
2µνρ ∂ν aρ(0)a = (37)
i=1 γi

Las ecuaciones (36) y (37) tienen la forma de la ley de Ampere

µνρ ∂ν aρ(p)a = J (p)µa (x), (38)

cuya solución viene dada por el correspondiente análogo de la Ley

de Biot-Savart:
(x − x 0 )ρ
Z
1
(p)a
aµ (x) = − d 3 x 0 µνρ J (p)νa (x 0 ) . (39)
4π |x − x 0 |3

La expresión (39) nos permite obtener aµa (x) orden por orden. Por
lo tanto podemos escribir la acción on-shell:
CS int
Son−shell = Son−shell + Son−shell (40)
 CS
Son−shell = Son−shell
Z  
Λ 3 µνρ a a Λ abc a b c
= d x aµ ∂ν aρ + f aµ aν aρ |on−shell .
2 3
(41)
Usando las ecs. (36) y (39) podemos llevar lo anterior a:
∞
Λ X (p) (p)
Son−shell = S Λ , (42)
2
p=0

donde
Z r +s=p
X
(p)
S = d 3 xµνρ (aµ(r )a ∂ν aρ(s)a )
r ,s
r +s+q=p−1
f abc X
+ (aµ(r )a aν(s)b aρ(q)c ) ). (43)
3 r ,s,q

Con las ecs. (36), (37), (39) y (43) calcularemos cualquier orden de
Son−shell .
 Coordenadas de Caminos
Se usarán las siguientes convenciones:
Aµν...ρ (x, y ..., z) ≡ Aµx νy ...ρz (44)
XZ
Aµx B µx νy ... ≡ Aµx B µx νy ... d (3) x
µ
XZ
= Aµ (x)B µν... (x, y ...)d (3) x (45)
µ

XZ
µx νȳ ...
Aµx νȳ B ≡ Aµx νȳ B µx νȳ ... d (3) x. (46)
µ

También:
Aµx νy ...ρz ≡ Aab...c . (47)
Por último:
(p)a (p)
aµx = ~aµx . (48)
 Coordenadas de Caminos

Introduciremos Coordenadas de Caminos:

I Z z
Tγµi 1 µ2 ...µn (x1 , x2 , ..., xn ) = Tγµi 1 x1 µ2 x2 ...µn xn ≡ dz µ1
dz1µ2 x
γi 0
Z z1 Z zn−1
x dz2µ3 ... µn 3
dzn−1 δ (x1 − z)δ 3 (x2 − z1 )δ 3 (x3 − z2 )...
0 0
...δ 3 (xn − zn−1 ). (49)

De la definición podemos ver que el T de 1-ı́ndice viene dado por:

I
µ
Tγi (x) = dz µ δ (3) (x − z), (50)
γi

y se conoce como factor de forma o distribución de tangentes de la

curva γi .
 Coordenadas de Caminos
Al factor de forma le sigue un objeto bi-local (T -objeto de 2-ı́ndices)
asociado a la curva γi :
I Z z
Tγiµx,νy
≡ dz µ
dz 0ν δ (3) (x − z)δ (3) (y − z 0 ).
γi 0
(51)

Estos objetos satisfacen una ligadura diferencial:

∂ µx,νy

(3) (3)

T = −δ (y − x 0 ) + δ (y − x) Tγνy
∂x µ γ
∂ µx,νy

(3) (3)

Tγ = δ (y − x 0 ) − δ (y − x) Tγµx , (52)
∂y ν
y una ligadura algebraica:
1  (µx,νy ) 
Tγ(µx,νy ) = Tγ + Tγ(νy ,µx) = Tγµx Tγνy .
2
(53)
Usaremos también:
1
Tγ[µx,νy ] ≡ Tγµx,νy − Tγνy ,µx .


(54)
2
Ahora vamos a introducir la cantidad Hµν (x, γ~y ):
Z
Hµν (x, γ) = dy ρ µνρ δ (3) (x − y ). (55)
γ

Con esta definición el factor de forma (50) se puede escribir como:

1
Tγµx = µνρ Hνρ (x, γ). (56)
2
Vamos a introducir a continuación los objetos g µx νy y gµx νy , son
simétricos en sus pares de ı́ndices y se definen como:

g µx νy ≡ µνρ ∂ρ δ(x − y )
1 (x − y )ρ
gµx νy ≡ − µνρ . (57)
4 |x − y |3
También consideraremos la cantidad Dµ definida para curvas cer-
radas como:
(x − z)ν
I
1
Dµ (x, γ) ≡ dz ρ µνρ . (58)
4π γi |x − z|3

Es útil escribir algunas cantidades usando la nueva notación y las

coordenadas de caminos:
(x − z)ν
I
1
Dµ (x, γ) ≡ Diµx = dz ρ µνρ = gµx νy Tiνy . (59)
4π γi |x − z|3

El Número de Anudamiento de Gauss, el cual veremos está rela-

cionado con el invariante a primer orden, se escribe como:

(z − y )ν
I I
1
L(i, j) = dz µ dy ρ µνρ
4π γi γj |z − y |3
Z I
µx̄ 3
= Ti Djµx̄ d x = dz µ Dj
γi
= T µx gµx νy T νy . (60)
 (p)a
La Ley de Biot-Savart, solución para obtener los campos aµ (x) a
cualquier orden se simplifica por:

(x − y )ρ
Z
(p)a 1
aµ (x) = − d 3 y µνρ J (p)νa (y )
4π |x − y |3
= −J (p)νy gµx νy . (61)

Por último consideremos lo siguiente:

Z
(p)a (p)a
g µx νy aνy = µνρ ∂ρ~x (δ (3) (x − ȳ ))aνȳ d 3 y
Z
(p)a (p)a
= µνρ ∂ρ~y aνȳ d 3 y = µνρ ∂ρ aνx = −µνρ ∂ν aρ(p)a .
(62)
(p)a
De la expresión anterior podemos ver que el rotor del campo aµx
puede ser escrito en función de la métrica contravariante.
 Invariantes de Nudos
A continuación calcularemos los tres primeros órdenes de la acción
on-shell. Para simplificar el problema consideraremos el caso mas
simple (no trivial) que consiste en restringir el grupo de calibre a
SU(2).
Por tanto:

f abc −→ abc (63)

De la ec. (43) se obtiene la acción a orden cero, S (0) :

Z
S (0) = d 3 xµνρ aµ(0)a ∂ν aρ(0)a , (64)

y usando la nueva notación se escribe como:

(0) (0)
S (0) = µνρ~aµx · ∂ν~aρx . (65)
 Invariantes de Nudos
(0) (0)
El rotor de ~aρx se obtiene directamente de la ec.(37) y ~aµx de la
expresión (39), donde ~J (0)ν viene dado por:
n Z
~J (0)ν (x) = 1
X
dziν δ 3 (x − zi )Iia (0). (66)
2 γi
i=1

(0)
Usando las coordenadas de caminos podemos escribir el rotor de ~aρx
como:
(0) 1 X µx~
µνρ ∂ν~aρx = Ti Ii . (67)
2
i

De la misma manera:
(0) 1X 1
~aµx = − Diµx~Ii = − Tiνy gµxνy~Ii , (68)
2 2
i
 Invariantes de Nudos

Sustituyendo las ecuaciones (67) y (68) en la expresión (65), obten-

emos:
1 X ~ ~ µx
S (0) = − (Ii · Ij )Ti gµxνy Tjνy , (69)
4
i,j

o de manera equivalente:
1X~ ~
S (0) = − (Ii · Ij )L(i, j). (70)
4
i,j

L(i, j) es el Número de Anudamiento de Gauss (Gauss Linking Num-

ber) de las curvas γi y γj .
 Invariantes de Nudos
Ahora pasemos a considerar el siguiente orden. Según la ecuación
(43) S (1) se escribe como:
 
(1) µνρ (0) (1) 1 (0) (0) (0)
S = 2~aµx ∂ν~aρx + (~aµx · (~aνx × ~aρx )) . (71)
3
De la ec. (36) para p = 1 se obtiene:
(1) 1 (0) (0) 1 X µxνy (0) ~
µνρ ∂ν~aρx = − µνρ~aνx × ~aρx − Ti ~aνy × Ii , (72)
2 2
i

y al sustituir la expresión para los campos a orden cero, nos resulta

en:

µνρ (1) 1 X ~ ~ 1 µνρ µ1 x1 µ2 x2
 ∂ν~aρx = − (Ii × Ij )  Ti Tj gµ1 x1 νx gµ2 x2 ρx
2 4
i,j
1
+ Tiµxµ1 x1 Tjµ2 x2 gµ1 x1 µ2 x2 ]. (73)
2
Realizando las sustituciones correspondientes y agrupando términos
semejantes se obtiene que S (1) es:

1 X  ~ ~ ~  1 µνρ µ1 x1 µ2 x2 µ3 x3
= (Ii × Ij ) · Ik  Ti Tj Tk gµ1 x1 µx gµ2 x2 νx gµ3 x3 ρx
4 3
i,j,k,
µ1 x1 µxνy µ2 x2
+ Ti Tj Tk gµxµ2 x2 gνy µ1 x1 }. (74)

El factor abc Iia Ijb Ikc se anula cuando los isovectores ~Ii , ~Ij y ~Ik son
linealmente dependientes.
1 X h~ ~  ~ i n µνρ µ1 x1 µ2 x2 µ3 x3
=− Ii × Ij · Ik  Ti Tj Tk gµxµ1 x1 gνxµ2 x2 gρxµ3 x3
2
i,j,k
[µx,νy ] µ1 x1 µ2 x2 [µx,νy ]
+Ti Tj Tk gµxµ1 x1 gνy µ2 x2 + Tj Tkµ1 x1 Tiµ2 x2 gµxµ1 x1 gνy µ2 x2
[µx,νy ]
+Tk Tiµ1 x1 Tjµ2 x2 gµxµ1 x1 gνy µ2 x2 }

(75
S (1) corresponde con M1,2,3 el Tercer Coeficiente de Anudamiento
de Milnor.
 Invariantes de Nudo
Este invariante está definido siempre y cuando el Número de Anudamiento
de Gauss de las curvas sea nulo a pares, i.e.:
L(i, j) = 0. (76)
El término de orden dos del desarrollo perturbativo S (2) corresponde
a:
h i
(2) (0) (1) (1) (1) (0) (0)
S (2) = µνρ 2∂ν~aρx · ~aµx + ∂ν~aρx · ~aµx + ~aµx · (~aνx × ~aρx ) .(77)
(1)
Debemos calcular ~aνx , el cual se puede obtener directamente de la
ecuación (39) con:
1 (0) (0) 1 X µxνy (0) ~
J (1)µx = − ~aνx × ~aρx − Ti ~aνy × Ii , (78)
2 2
i
y usando (61) se tiene finalmente que:
(1) 1 
(0) (0)
 1X 
(0)

~aµx = αβγ ~aβy × ~aγy gµxαy + gµxαy Tiαy µ1 x1 ~aµ1 x1 × ~Ii .
2 2
i
(79)
 (2)
Calculemos µνρ ∂ν~aρx partiendo de la ecuación (36) para p = 2:
(2) (1) (0)
X µxµ x (1)
2µνρ ∂ν~aρx = −2µνρ~aνx̄ × ~aρx̄ − Ti 1 1~aµ1 x1 × ~Ii
i
 
µxµ1 x1 xµ2 x2 (0) (0)
X
+ Ti ~aµ1 x1 × ~aµ2 x2 × ~Ii . (80)
i

Sustituyendo cada uno de los términos, reagrupando se tiene que

S (2) es:
1 X h~ ~ ~ i ~ 
= Ii × Ij × Ik · Il gµxαy ×
8
i,j,k,l

3 µνρ αβγ
×   gνxµ1 x1 gρxµ4 x4 gβy µ2 x2 gγy µ3 x3 Tiµ1 x1 Tjµ2 x2 Tkµ3 x3 Tlµ4 x4
8
 
αy µ1 x1 1 µ1 x1 αy
+  µνρ
Tj − Tj gνxµ2 x2 gρxµ4 x4 gµ1 x1 µ3 x3 Tiµ2 x2 Tkµ3 x3 Tlµ4 x
2
 
αy µ2 x2 µ1 x1 µx 1 µxµ1 x1
− Tj Ti − Ti gµ2 x2 µ3 x3 gµ1 x1 µ4 x4 Tkµ3 x3 Tlµ4 x4
2
+ Tjµxµ1 x1 µ2 x2 gµ1 x1 µ3 x3 gµ2 x2 µ4 x4 Tiµ3 x3 Tkµ4 x4 Tlαy }. (81
El término de orden dos del desarrollo perturbativo corresponde a
S (2) :

1 X ~ ~ ~  ~  3 µνρ αβγ
= Ii × Ij × Ik · Il   gνxa gρxd gβyb gγyc Tia Tjb Tkc Tld
8 8
i,j,k,l
3 µνρ [αy ,a] 3 [b,αy ] [a,µx]
+  Tj gνxb gρxd gac Tib Tkc Tld + Tj Tj gbc gad Tkc Tld
2 2
+ Tjµxab gac gbd Tic Tkd Tlαy }gµxαy .
(82

La expresión anterior puede verse como una suma sobre un coefi-

ciente:
X
S (2) = Cijkl fijkl . (83)
i,j,k,l

h  i
Cijkl = ~Ii × ~Ij × ~Ik · ~Il = abc ade I b I c I d I e
j k l i
     
= ~Ii · ~Ik ~Ij · ~Il − ~Ii · ~Ij ~Ik · ~Il . (84)
 S (2) : Dos partı́culas con Iso-Cargas
Independientes
Dos partı́culas con iso-vectores ortonormales, Iia = δia , para i=1,2.
S (2) :
X 
S (2) = δia δjb δka δlb − δia δja δkb δlb fijkl (γ). (85)
i,j,k,l

Realizando la suma en los ı́ndices que indican las direcciones dentro

del espacio interno, en (a, b) se obtiene:
X
S (2) = (δik δjl − δij δkl ) fijkl (γ), (86)
i,j,k,l

ahora sumaremos en los ı́ndices relativos a las partı́culas (en k,l):

X
S (2) = (fijij (γ) − fiijj (γ)) = f1212 + f2121 − f1122 − f2211 . (87)
i,j
Cada uno de los f 0 s se calcula con la ec. (82), al hacerlo y susti-
(2)
tuyendo cada término en (87) se obtiene S2−part. :

1 3 µνρ αβγ  
= gµxαy   gνxa gρxd gβyb gγyc T1a T1c T2b T2d + T1b T1d T2a T2c
8 4
 
[αy ,a] [αy ,a]
+ 3µνρ gνxb gρxd gac T1b T1c T2d T2 + T1d T2c T2b T1
3 [αy ,b] d [a,µx] [µx,a]b
− gbc gad T[1c T2] T[2 T1] + 2gac gbd T1c T2αy T[1d T2] ].
2
(88)
 Interpretación geométrica de los
invariantes de nudo

Consideremos la Ley de Biot-Savart, que puede ser escrita susti-

tuyendo la métrica gµxνy por la 2-forma Hµν (x, γ~y ) dada por (55)
de la siguiente manera:

~aµx = −gµxνy ~J νy −→ a~0 µx = Hµν (x, γ~y )~J νy , (89)

tanto ~aµx y a~0 µx son soluciones de la ley de Ampere.

El camino γ~y ≡ γx~y0 es un camino abierto.
Punto inicial x0 y x0 → ∞.
Punto final en ~y .
 Interpretación geométrica de S (0)
Comencemos con S (0) y realicemos el cambio −gµxνy → Hµν (x, γ~y )
en L(i, j) con la finalidad de dar una interpretación geométrica:

L(i, j) = T µx gµx νy T νy
Z Z
= − dz1µ dz2ν Hµν (z1 , γ~z2 )
γi γj
Z Z Z
= dz1µ dz2ν µνρ dy ρ δ (3) (y − z1 ).
γi γj γ~z2
(90)

Analicemos cada término presente en la expresión anterior:

1. los vectores dz1µ y dz2ν son tangentes a las curvas γi y γj respec-
tivamente.
2. el vector dy ρ tangente al camino abierto γ~z2 con punto inicial en
el infinito espacial y punto final en ~z2 perteneciente a γj .
 Interpretación geométrica de S (0)

3. µνρ en la ec. (90) nos indica los vectores dz1µ , dz2ν y dy ρ deben
formar un volumen no degenerado para que L(i, j) sea distinto de
cero.
4. además debido a la integración en dz2ν el punto final se encuentra
desplazado, por tanto habrán tantos caminos abiertos como puntos
finales. Cada uno de los caminos terminan en un punto de γj . Se
formará un haz de caminos paralelos.
En la Fig.(1) planteamos de manera esquemática la interpretación
geométrica mencionada anteriormente para el link de Hopf:

Fig.1: Esquema de haces de caminos paralelos para el Número de

Gauss
Si ambas curvas γi y γj no estuvieran anudadas según el Número
de Anudamiento de Gauss (90) un posible dibujo serı́a dado en la
figura (Fig. 2):

Fig.2: Link Trivial (no-anudado) según el esquema de haces

 Interpretación geométrica de S (1)
Ahora interpretemos a S (1) que está relacionado con el Tercer Co-
eficiente de Milnor Mi,j,k . En dicha expresión hay de tres términos
de la forma:
[µx,νy ]
Ti Tjαz3 Tkβz4 gµxαz3 gνy βz4 . (91)
Haciendo las sustituciones correspondientes obtenemos:
I Zz1 I I
= dz1µ dz2ν dz3α dz4β Hµα (z1 , γ~z3 )Hνβ (z2 , γ~z4 ) (92)
γi γj γk
0

I Zz1 I I Z
= dz1µ dz2ν dz3α dz4β µαρ dy1ρ δ (3) (y1 − z1 )νβλ ×
γi γj γk
0 γ~z3
Z
× dy2λ δ (3) (y2 − z2 ).(93)
γ~z4
 Interpretación geométrica de los
invariantes de nudo

Para que la expresión dada por (93) pueda “contar” una contribución
debe ocurrir:
1. la curva γi debe cortar en primer lugar al haz de caminos paralelos
que terminan en la trayectoria cerrada γk .
2. luego realizar un corte con el haz γ~z3 que finaliza en la trayectoria
cerrada de la partı́cula j
3. Cada corte entre los vectores tangentes a las trayectorias de las
partı́culas (dz) y los vectores tangentes a los haces de caminos abier-
tos (dy ) es distinto de cero sólo si los vectores forman un volumen
no degenerado.
Adicionalmente en (75) hay un primer término de la forma:

µνρ Tiαx1 Tjβx2 Tkγx3 gµxαx1 gνxβx2 gρxγx3 ,

(94)

que se convierte en:

Z I I I
β
−µνρ 3
d x α
dz1 dz2 dz3γ Hµα (x, γ~z1 )Hνβ (x, γ~z2 )Hργ (x, γ~z3 )
γi γj γk
I I I Z Z Z
= − µνρ
dz1α dz2β dz3γ dy1δ dy2λ dy3σ µαδ νβλ ργσ ×
γi γj γk
γ~z1 γ~z2 γ~z3
(3)
×δ (y2 − y1 )δ (3) (y3 − y1 ).
(95)

La expresión anterior cuenta el número de veces que las superficies

generadas por los haces de caminos abiertos γ z~1 , γ z~2 y γ z~3 se cortan
en un mismo punto. Y como todos los haces asociados a todas
las trayectorias cerradas de las partı́culas son paralelos, este término
siempre será nulo.
El invariante Mi,j,k puede describir perfectamente el anudamiento
de los Anillos de Borromeo (vea Fig. 3):

Fig.3: Esquema de haces de caminos paralelos para los Anillos de

Borromeo
γi corta primero al haz de curvas de γk y luego a γ~z3 que finaliza en
γj , en ambos cortes los vectores involucrados forman un volumen.
 Interpretación geométrica de S (2)

Ahora veamos cómo S (2) puede describir el anudamiento de un link

de 4 componentes. Analicemos cada uno de los términos de (82)
Comenzaremos por el último término:

Tjµ4 x4 µ5 x5 µ6 x6 gµ5 x5 µ1 x1 gµ6 x6 µ2 x2 Tiµ1 x1 Tkµ2 x2 Tlµ3 x3 gµ4 x4 µ3 x3 ,

(96)

el cual se convierte en:

I I I I Zz4 Zz5
− dz1µ1 dz2µ2 dz3µ3 dz4µ4 dz5µ5 dz6µ6 Hµ5 µ1 (z5 , γ~z1 ) ×
γi γk γl γj
0 0
×Hµ6 µ2 (z6 , γ~z2 )Hµ4 µ3 (z4 , γ~z3 )(97)
 I I I I Zz4 Zz5
= dz1µ1 dz2µ2 dz3µ3 dz4µ4 dz5µ5 dz6µ6 ×
γi γk γl γj
0 0
Z Z
×µ5 µ1 α1 dy1α1 δ (3) (y1 − z5 )µ6 µ2 α2 dy2α2 δ (3) (y2 − z6 ) ×
γ~z1 γ~z2
Z
×µ4 µ3 α3 dy3α3 δ (3) (y3 − z4 ). (98)
γ~z3

Para que la expresión anterior sea distinta de cero:

1. la curva γj debe cortar primero al haz asociado a la trayectoria
γk (γ~z2 ).
2. luego cortar en algún punto a γ~z1 (γi )
3. y por último interceptar al haz γ~z3 que llega a la trayectoria γl .
4. en cada corte los vectores considerados deben formar un volumen
no degenerado y también que, una vez que la curva atraviesa el haz
de caminos parelelos (en cualquier sentido) no deberá cruzarlo en
sentido opuesto.
A continuación analizaremos el segundo término entre llaves de la
expresión (82):

3 µνρ µ4 x4 ,µ5 x5
 Tj gνxµ1 x1 gρxµ2 x2 gµ5 x5 µ3 x3 Tiµ1 x1 Tkµ3 x3 Tlµ2 x2 gµxµ4 x4 .
2
(99)

Por simplicidad vamos a tratarlos sin tomar en cuenta la antisimetrización

de los ı́ndices presentes en las coordenadas bi-locales. Entonces este
término toma la forma:
Z I I I I Zz4
3
= µνρ 3
d x dz1µ1 dz2µ2 dz3µ3 dz4µ4 dz5µ5 Hνµ1 (x, γ~z1 ) ×
2 γi γl γk γj
0
×Hρµ2 (x, γ )Hµ5 µ3 (z5 , γ~z3 )Hµµ4 (x, γ~z4 )
~z2
 I I I I Zz4 Z Z
3 µνρ µ1 µ2 µ3 µ4
=  dz1 dz2 dz3 dz4 dz5µ5 dy1α1 dy2α2
2 γi γl γk γj ~
z
γ 1 ~
z
γ 2
0
Z Z
× dy3α3 dy4α4 νµ1 α1 ρµ2 α2 µ5 µ3 α3 µµ4 α4 δ (3) (y1 − y2 ) ×
γ~z3 γ~z4
(3)
× δ (y1 − y4 )δ (3) (y3 − z5 ).
(100)

El término descrito por la ec. (100) puede ser distinto de cero si los
haces de caminos paralelos γ~z1 , γ~z2 y γ~z4 que terminan en γi , γl y
γj respectivamente, se cortan en un mismo punto y adicionalmente
que la curva γj tenga una intersección distinta de cero con el haz
de caminos γ~z3 que finaliza en los puntos de la trayectoria γk .
Y ahora el tercer término de (82):
3 µ3 x3 µ4 x4 µ1 x1 µ2 x2
T Ti gµ3 x3 µ5 x5 gµ1 x1 µ6 x6 Tkµ5 x5 Tlµ6 x6 gµ2 x2 µ4 x4 (101)
2 j
puede escribirse como:
I Zz1 I Zz3 I I
3
dz1µ1 dz2µ2 dz3µ3 dz4µ4 dz5µ5 dz6µ6 Hµ3 µ5 (z3 , γ~z5 ) ×
2 γi γj γk γl
0 0
×Hµ1 µ6 (z1 , γ~z6 )Hµ2 µ4 (z2 , γ~z4 )

I Zz1 I Zz3 I I
3
= dz1µ1 dz2µ2 dz3µ3 dz4µ4 dz5µ5 dz6µ6 ×
2 γi γj γk γl
0 0
Z Z
× µ3 µ5 α1 dy1α1 δ (3) (y1 − z3 )µ1 µ6 α2 dy2α2 δ (3) (y2 − z1 )
γ~z5 γ~z6
Z
× µ2 µ4 α3 dy3α3 δ (3) (y3 − z2 ).
γ~z4
(102)
Para contar alguna contibución en este término debe suceder:
1. que la curva cerrada γi cruce ordenadamente primero a los caminos
paralelos pertenecientes al haz γ~z4 (γj )
2. y luego debe intersectar al haz de caminos γ~z6 los cuales finalizan
en la curva asociada a la partı́cula l.
3. Además la curva γj debe intersectar en algún punto al haz de
caminos abiertos γ~z5 asociados a la trayectoria γk .
Por último, el primer término entre llaves de (82):

3 µνρ αβγ
  gνxµ1 x1 gρxµ2 x2 gβy µ3 x3 gγy µ4 x4 Tiµ1 x1 Tjµ3 x3 Tkµ4 x4 Tlµ2 x2 gµxαy .
8
(103)

Se escribe por medio de

Z Z I I I I
3 µνρ αβγ
  d 3x d 3y dz1µ1 dz2µ2 dz3µ3 dz4µ4 Hνµ1 (x, γ~z1 )
8 γi γl γj γk

×Hρµ2 (x, γ~z2 )Hβµ3 (y , γ~z3 )Hβµ4 (y , γ~z4 )Hµα (x, γ~y )
(104
Finalmente:
I I I I
3 µνρ αβγ
  dz1µ1 dz2µ2 dz3µ3 dz4µ4 νµ1 α1 ρµ2 α2 βµ3 α3 γµ4 α4
8 γi γl γj γ
Z Z Z Z k
× dy1α1 dy2α2 dy3α3 dy4α4 δ (3) (y1 − y2 )δ (3) (y3 − y4 )
γ~z 1 γ ~
z2 γ~z3 γ~z4
Z
×µαα5 dy5α5 δ (3) (y5 − y1 )
γ~y3
(105)

En esta expresión tenemos un haz cuyos vectores tangentes dy5α5

comienzan en el infinito y termina en el haz de caminos γ~z3 y no
tienen asociado trayectoria de partı́cula alguna. La ec. (105) afirma
que los haces γ~z1 y γ~z2 al igual que γ~z3 y γ~z4 deben coincidir y
además el haz de caminos que se encuentra solo debe coincidir con
los dos primeros y terminar cortando a los dos últimos.
Veremos como el conjunto de términos de S (2) explicados anteri-
ormente, pueden detectar el anudamiento de un Link de 4 compo-
nentes (Fig. 4):

Fig. 4: Esquema de haces asociados a las curvas cerradas para el

Link de cuatro-componentes.
1. El último término de (82) descrito por la ec. (98) será nulo ya que
ninguna de las curvas cerradas, vea (Fig. 5), cortan sucesivamente
a los haces de caminos abiertos asociados a las tres trayectorias
restantes.
2. El segundo término dado por la expresión (100) también se hace
igual a cero porque nunca se cortan tres haces de caminos abiertos
asociados a distintas trayectorias de Wong.
3. De igual manera el primer término es nulo dado que ningun par
de haces coindiden.
4.El término que aporta una contribución distinta de cero es el ter-
cero, ya que la curva γi corta primero el haz perteneciente a la curva
γj , seguidamente corta los haces paralelos de la curva γl y además
hay un corte distinto de cero entre la curva γj y los haces paralelos
de la curva cerrada γk .
Finalmente el invariante de nudos dado por la acción a orden dos
aplicado al ejemplo de la figura (Fig. 5) se escribe como:

3 X h~ ~ ~ i ~   [b,αy ] [a,µx] 

S (2) = Ii × Ij × Ik · Il Tj Ti gbc gad Tkc Tld gµx αy .
16
i,j,k,l
(

La expresión anterior detecta que las curvas cerradas de la figura

(Fig. 4) se encuentran anudadas de manera no-trivial por medio del
arreglo mostrado.
Nuestro principal objetivo es implementar el método estudiado an-
teriormente y determinar si la expresión dada por:

1 3 µνρ αβγ 
a c b d b d a c

= gµxαy   gνxa gρxd gβyb gγyc T1 T1 T2 T2 + T1 T1 T2 T2
8 4
 
[αy ,a] [αy ,a]
+ 3µνρ gνxb gρxd gac T1b T1c T2d T2 + T1d T2c T2b T1
3 [αy ,b] d [a,µx] [µx,a]b
− gbc gad T[1c T2] T[2 T1] + 2gac gbd T1c T2αy T[1d T2] ].
2
(107)

puede medir el anudamiento del Link de Whitehead dado por la

Figura 5.:

Fig.5: Link de Whitehead.

 Conclusiones

• En primer lugar, con el fin de obtener expresiones analı́ticas

para invariantes de nudos a partir de la acción on-shell de la
teorı́a, calculamos las ecuaciones de movimiento. Los
resultados muestran que las ecuaciones obtenidas constituyen
un sistema altamente no lineal, dı́ficil de resolver exactamente.
• Luego se propone un esquema perturbativo de solución de las
ecuaciones de movimiento y al sustituir dichas soluciones en la
acción dada por (1) pudimos escribir la acción on-shell como
un expansión en serie de cierto parámetro Λ, lo interesante de
este método es que no es necesario tener la serie completa de
Son−shell para obtener invariantes de nudos, sino que cada
término de la serie es un invariante de nudo [6, 1] y se puede
estudiar el problema hasta el orden deseado.
 Conclusiones
• Una vez obtenidas cada una de la expresiones de los
invariantes escritas en un lenguaje puramente geométrico,
pudimos ver que el invariante a orden cero S (0) corresponde
con el Número de Anudamiento de Gauss L(i, j) asociado a
dos curvas cerradas γi y γj . Y que además aparece en casi
todas las discusiones acerca de invariantes de nudo en la
Teorı́a de Chern-Simons. También que el invariante obtenido
a primer orden S (1) corresponde con el Tercer coeficiente de
Milnor M(i,j,k) , que constituye un “link” no trivial de tres
curvas cerradas que poseen Números de Gauss nulos entre
cualquier par de ellas. Y para un orden superior tenemos que
S (2) corresponde con el Cuarto Coeficiente de Milnor asociado
a cuatro curvas cerradas, cuyo Número de Anudamiento de
Gauss entre un par de curvas cualesquiera es igual a cero, ası́
como M(i,j,k) es nulo para cualquier combinación de tres
curvas [5].
 Conclusiones

• Finalmente pasamos a interpretar geométricamente cada uno

de los invariantes obtenidos usando el esquema de haces
paralelos introducido inicialmente en [5]. Con este método fue
posible detectar analı́ticamente el anudamiendo del Link de
Hopf (Fig. 1) mediante el Número de Anudamiento de Gauss.
De igual manera, vimos que el Tercer coeficiente de Milnor es
capaz de caracterizar las propiedades de anudamiento de los
Anillos de Borromeo (Fig. 3). Y S (2) puede distinguir el
anudamiento de un Link de cuatro componentes como el dado
por la Figura 4.
 Conclusiones

• Para el momento de redacción de este trabajo se pudo

determinar, usando el esquema de haces paralelos, que el
primer y segundo término entre corchetes de la ec. (107) no
detectó el anudamiento del Link de Whitehead. Seguiremos
evaluando cada uno de los términos restantes. Estos
resultados y otros serán mostrados en el trabajo final de esta
investigación.
 Bibliografı́a
E. Witten, Commun. Math. Phys. 121, 351 (1989)
Deser, S., Jackiw, R., Templeton, S. Phys. Rev. Lett. 48, 15
975978 (1982)
E. Guadagnini, M. Martellini and M. Mintchev, Nucl. Phys.
B330, 575 (1990).
Kreimer, D. New renormalisable structure in renormalisable
quantum field theories trabajo por publicar disponible en
abs/hep-th/0211136
S.K. Wong, Nuovo Cimento A65, 689 (1970).
L. Leal,“Ecuaciones Clásicas de la Teorı́a de Chern-Simons e
Invariantes de Nudo”, Trabajo de Ascenso a la categoria de
Profesor Titular, UCV, 2003.
L. Leal, Phys. Rev. D 66, 125007
(2002)[arXiv:heo-th/0204139].
 Bibliografı́a

L. Leal, Phys. Rev. D 66, 125007

(2002)[arXiv:heo-th/0204139].
J. Milnor, Ann. of Math. 59, 177 (1954).
A.P. Balachandran, M. Borchardt and A. Stern, Phys. Rev.
D17, 3247 (1978).
L. Leal, J. Pineda, Mod. Phys. Lett A 23, 205-210 (2008).
E. Fuenmayor y L. Leal “Estudio de Representaciones
Geométricas e Invariantes de Nudo en Teorı́as Topológicas de
calibre acopladas con materia” Tesis Doctoral,UCV, 2005
J. Pineda, “Invariantes de nudo en desarrollos perturbativos de
teorı́as de Chern-Simons” Tesis de Licenciatura, U.S.B., 2006
 Bibliografı́a

C. Di Bartolo, R. Gambini and J. Griego, Commun.

Math.Phys.158
L. Rozansky, J. Math. Phys. 35, 5219 (1994).
D. Rolfsen,Knots and Links, Wilmington, Publish or Perish
(1976).
M. Monastyrsky, V. Retakh, Commun. Math. Phys. 103, 445
(1986).
Ferrari, F. J. Phys. A: Math. Gen. 36, 5083-5093 (2003)
Ferrari, F. J. Math. Phys. 121, 138-145 (2003)
Taylor, W.R., Nature 406, 916-919 (2005)
GRACIAS!!!