SOLUCIONES EXACTAS DE LAS

ECUACIONES EINSTEIN
YANG-MILLS ALGEBRAICAMENTE
ESPECIALES
-

Memoria presentada por:

Jos Antonio Ruiz Martn
Director de la Tesis:
Prof. Francisco Javier Chinea Trujillo

--ji =z
-

UNIVERSIDAD COMPLUTENSE

1111111 ~

5314280876

Universidad Complutense de Madrid

Facultad de Ciencias Fsicas
Departamento de Fsica Terica JI

SOLUCIONES EXACTAS DE LAS

ECUACIONES EINSTEIN
YANG-MILLS ALGEBRAICAMENTE
ESPECIALES
-

Agosto 1992

Memoria presentada por:

Jos Antonio Ruiz Martn
para optar al Ttulo de Doctor en C.C. Fsicas..
Director de la Tesis:
Prof Francisco Javier Chinea Trujillo

(3 /;

~q

e
e

u,

u,

el

e,

el

el

e,

el

th4ti1~&h
e,

Agraclee irule ntos

Esta lesis la, sido dirigida, por EJ. Chinea, a l quiero agradecer
el haberme propuesto el tema de trabajo de la misma, que para mi ha
resultado tan enriquecedor, y e haberme guiado con tanta paciencia en
su desarrollo, hasta. llevar a buen fin este trabajo.
Igualmente importante ha sido la existencia de un ambiente motivador de trabajo e investigacin dentro del grupo de Relatividad dirigido por EJ. (ihinea. Dentro de l he recibido las siempre interesantes
sugerencias de LXI. Cionzalez Romero y Leonardo Fernandez Jambrina
en las peridicas reuniones de trabajo que hemos realizado.
Est..a <tesis ha sido realizada, dentro del Departamento de Fsica
[rica II, quiero agradecer a. todos sus miembros el haberme acogido en
su seno y el haberme atendido amablemente en todos aquellas consultas que he realizado. Degran inters fu el uso los medios informticos
puestos a mi disposicin. y en especial (le programa Mathematica
(versin 2.0) [4:3] y de la ampliacin desarrollada por J.M. Aguirregabiria. (Euskal llerriho 1 tnibertsitatea, BIlbao, (44]), para el laborioso
trabajo (le comprobacin (le resulta.(los.
No podra ()lvi(la.r a to(los los amigos que han teni(lo que soportarme
durante estos arios. cii especial durante los momentos en que no le
veamos el H nal. Q ti ero agradecer, muy especialmente a mi familia el
consta nte apoyo qn e han const it u i(lo para ni i durante el tiempo que ha
durado la preparacin de esta Tesis.
Finalmente quisiera dedicar este trabajo a las personas que tuve la
suerte de conocer en El Salvador, y en especial, a la gente sencilla de la
comunidad de refugiados de. ItaManta y a los voluntarios que con ellos
trabajan, de quienes tanto he aprendido.

Contenido
1
2

INTRODUCCION

CAMPOS YANG-MILLS. SIMETRA ESFERICA

2.1

13

Simetras espacio temporales cr teoras gauge

17

.3

1.1
2.1 .2

2.1.3
3

CLASIFICACION ALGEBRAICA DE CARMELJ

3.1 Particularizacion a la solucin de Bartnik-McKinnon
3.2 Particularizacion a simetra esfrica

SOLUCIONES EXACTAS EN ESPACIO PLANO

4.1 Espacio Minkowski
4.1.1
k=1, Tipos algebraicos II 4. II~7~~ o~
11o. D
4.1.2 k=-2, Tipos algebraicos 1(3.
0, II J0,JW go
4.2

4.3
5

20

Campos Yang-Milis con simetra, esfrica

Simetras adicionales en campos Yang- Milis con
simetra esfrica. Generalizacin de teorema (le
Bi k hoff
- 24
Algo ms sobre simetra 50(4)
- 31
-

Espacio Euctideo
4.2.1
Mern
4.2.2 Mern-Mern, Mern-Antituern y nuevas sotuciones
Caso esttico. Euclideo y Minkowski

33
-

37

40
45
46
48
50
51
54
55

56

SOLUCIONES EXACTAS CON METRICA LORENT-

ZIANA
5.1

59
Planteamiento (le problema
1

61

Contenido

o .2
5.3

Sim p ili ca cin (le 1 a.s ecta.c ion es Van g NI i lIs y algebraicas
Soluciones estticas

63
5

-5 -1

Cond cmii de co rYII)a.tibilid ad

67

5.5

Resolucin (le la. ecuaciones

--

-5.6
.5.7

Ansatz de Bartnik-McI<innoi
Propiedades (le la solucin
.5.7.1 Regiones permitidas
57.2 Grupo (le isoli3etra
.5.7 .3Teiisor de Wevl. Tipo de 13e1-Petrov
.5.7.4 Mtrica, de forma. conforme plana explcitamente
5.7.5 Clasificacin segxin el tensor de Rial
5.7.6 Comportamiento <le campo Yang-MilIs

o.

5.7.8
-5.7.9
6

Clasificacin (le Yang

Cargas e 1-cUica x~ magntica
Energa. de la solucion

70
78
83
83
86
9
90
93
94

9<

9<

95
96
97

SOLUCIONES EXACTAS CON METRICA EUCLIDIANA

99
6.1
6.2
6.3
6.4
6.5
6.6
6.7
6.8

6.9

Plaiteaniieiito del problema

102
Sin3plil3cacin (le las ecuaciones Yang-Milis y con<licion
algebraica
104
Condicin (le coml)atibilidad
105
Resolucin <le las ecuaciones. Caso esttico
108
Resolucin (le las ecuaciones. Caso no esttico
109
Es general la parametrizacion empleada 7
115
Ansatz (le Bartnik-MclKinnon
116
Propiedades de la. solucin
121
6.8.1 Grupo de isoinetra
5
6.8.2 Mtrica. (le forma conforme plana explcitamente. 128
6.8.3 Accin y carga topolgica
131
6.8.4 Carga elctrica ~ magntica
4
6.8.5 Energa
135
g~. = BI + cos(4))
136

APENDICES
.1 Lcua<in 4 I,B ~,(tt + /3)2

~eii2(>A+ 2B)

e,.

139
139
a

Contenido

CONCLUSIONES

145

e
e

e
Contenido

u,

e-

9<

u,

U,

u,

Captulo 1
INTRODUCCION
En 1 954 apatecio el aitu ulo de Xang y Milis donde se generalizaba el
concepto de simetra gauge local al caso de un grupo interno no abeliano
(~l3, 2~). Durante los primeros anos no (lespert <lemasiado nter~s, pero
tras el descu brimiento del mecanismo <le ruptura. espontanea. de simetra
1-964). la <lemostracin (le SU caracter renormalizable (1971). y, sobre
tO(lO, la aparicin del celebrado mo(Ielo dc Weinberg-.Salam (1-967) y

(le la

Q C. D.

las teoras gauge rio a.beli anas Ii an adqti iri(lo un caracter

central en la Fsica no<lerna. Estos dos modelos (<le Weinberg-Sa.lam y

la Q.C.D.) son las (los teoras Yang-MilIs existentes en la actualidad ycon importancia fenomenolgica. ambas pueden formularse en trminos
de integrales de camino de Feynman, es decir integrales funcionales sobre todas las configuraciones clsicas con un factor de pesado (la(lo por
la exponencial de la accin. Es decir, si conocemos todas las configuraciones posibles clsicamente cii principio deberamos poder resolver
todas las cuestiones que apal-ecen en el marco de la teora cuntica-Si
al menos conocemos algunas de las configuraciones clsicas esperamos
poder conseguir alguna informacin sobre aspectos cunticos asociados.
La primera, solucin no abeliana fu encontrada por Wu y

9<

e
O

Captulo 1.

INTRODUCCION

Yang [3]. Pero hay que esperar sobre todo a las <lcadas de los 70 y 80

para que aparezcan numerosos trabajos sobre este tena en las revistas
especializadas. 1> tiesto q e t o<la sol ti cin encontrad a. con grn PO gauge

S(/( 2) es ta ni h

ti

sol ti cia! para cii a.Iqt er otro gru >0 gatige sem~sini

pie. ~ ~r ser (st e el mas smi cilio (le tratar, los ma votes esfuerzos se
concentraron en el caso ~U(2), espacio plano (etclideo o minkowski)
y vaco (en ausencia. de corrientes <le carga Yang-MilIs).

u,

Una buena

coleccin de resultados obteidos. si bien ya un poco desfasada (fu

publicada en 1-979> se puede encontrar en el artculo <le Actor [3]. Entre to(tos ellos destacamos las soluciones tipo iinonopolo (no singular,

con energa finita y acoplada a un triplete Riggs) debidas, por separado,

a t Hooft y Polvakov ([4].

hl) en

espacio minkowski. y las soluciones

tipo insta ntnco y neo tuco en espac i o euclideo.

9<

En espacio eiclideo la solucin exacta ms famosa es el mstantn. Se trata de una solucin a.utoch.ia.l (por tanto su tensor energa
momento es identicamente nulo) (jite posee como cualidades destacables

un bten com portatil ento ( ni sen cia. <le s ngu la.ri(la.des ) en todo it,
carga topolgica. entera.. El i ioinl>i-e iiist a.ntoii

proviene (le hecho de

que la solucin est concentrada en una t-egin <le R4. Se han obtenido
de distintas formas las soluciones n-instantn. peto por similitud con la

9<

notacin en este trabajo, nos referiremos en especial a la construccin

de Witten ~7](otras construcciones como las de Polyakov y la de Atiyah
se pueden encontrar por ejemplo en la referencia [3]). Se ha asociado
e,

este tipo de sohciones a la existencia de efectos tunel entre estados

de vacio topolgicamente caracterizados en teoras estticas Yang-Milis
e

segn 1. Ramorid en jO) este nombre fu puesto por 1 bou, en virtud de que
soluciones en tiempo imaginario se pueden interpretar en una teora cuntica corno
procesos que ocurren instanteneamente en un tiempo real

acopladas a un campo Higgs en espacio rninkowski.

Punto y aparte nos merecen las soluciones debidas a De Alfaro, Fubini y Furlan ([8], [3]) tipo mern, se caracterizan por tener la
densidad de carga topolgica concentrada en forma de ~(x).

La ini-

portancia que se les ha dado en la literatura no ha sido tan grande como

en el caso (le las instantnicas. sin embargo. para nosotros son especialmente destacables pues las soluciones ineroncas (con simetra esfrica)
obtenidas hasta la fecha de forma explicita. (a saber. rieron. meronaiern y mern- ant mern ) se n ie(len obtener en nuestro esquema de
forma muy sencilla.. En otras l)a.la.l)ras, hemos comprobado que este tipo
<le soluciones ertenecell a un tipo algebraico nmv especial en la clasificacin de Carme) i. y. por ta it o, en un cierto sent i(lo (por pertenecer
to<las ellas al mismo tipo al0. ra ico Carmeli), las soluciones (jite ob.

tendremos sern su general zac ion Ei u stei it

Yang- Xli lIs

Este ti PO de

soluciones se nterpreta u con to estados t unc ent re vacos minkows II

con cargas topolgicas O x (vacos Crbor). El conjunto (le soluciones instantnicas y ulernicas se han intentado usar para explicar el
confinamiento de quarl<s en Q.C.D.
En estos ltimos ai~os han aparecido nuevos trabajos intentando obtener soluciones en sistemas Yang-MilIs en variedades espacio temporales curva<las por la existencia. ce un trmino de energa
gauge. En este enfoque se pueden mencionar las soluciones, numricas,
de Bartnik-McKiuuou [28] (en adelante B.Mj y Bizon [29] en espacio
niinkowskiano, o las soluciones tipo agujero gusano ([383,[39],[40]

,[4i])

en espacio euclidiano.
En ambos casos, en espaco plano como en Ej u stei it

Yang

U,

e
8

Captulo 1.

INTROD(TCCIOIV

Milis, el problema que se plantea es la resolucin (le un sistema de

ecuaciones diferenciales en derivada.s parciales de. segundo orden y no
lineal. Por tanto es necesario un trabajo previo a. fin ce intentar sim-

u,

pliflca.r al i n~x <no las ecuaciones a. resol x<er. Su pid ida (le general i<la.d
se puede hacer uso de la libertad gauge de la teora, pero esto no es

9<

suficiente. Corto es habitual en casi todas las ramas ce Fsica, cuando

un probleiua. es lo suficientemente complicado como para no ser ca-

9<

paces de resolverlo, lo que se impone es intentar resolver las ecuaciones

en casos idealizados. suponiendo que los resultados reales, de alguna
forma, seran parecidos a. los obtenidos, o, al menos, esperando que ce

las conclusiones ol)teni(las <le las idealizaciones se podrn obtener conchis io es a 131 ca.b les e 1 gei eral. Por ello, la niavora. (le las soluciones

9<

conocida.s poseen algn tipo de simetra espacio-temporal. Como tirios

meros ejemplos, el nionopolo (le t 1-looft posee simetria esfrica y es

esttico, el l-instant (segn lo obtiene Witten) tiene simetra 50(4),

aunque para su obtencin solo se hace uso ce simetra esfrica, y por

ltimo. B.M. suponen smetra. eslerica y estatcdad.

e,

Sin embargo, si el grupo de simetra, no es lo suficientemente

e

grande las ecuaciones pueden ser an terriblemente dilicles de resolver.

Otra forma habitual ce simplifica.r las ecuaciones de evolucin es lo cue
denominamos
gauge

ligaduras algebraicas entre las componentes del campo

La ms famosa, sin duda, es la condicin <le autoditalidad. Es

fcil cte comprobar que para. cada campo a.ttodtal (que es una condicin

9<

algebraica sobre las coinponentes del campo. y. por tanto. <liferencia.l de

primer orden sol.> re las coin p~ tentes del potercial Yang Milis) las ecuaciones ce ex-otucon se convierten en tas identidades ce E3ianchi, que
se cumplen iclentcanuente por la piopia definicin del campo, si bien

9<

u,

9<-

presenta. el serio problema de nc ser aplicable en el caso iniikowskiano.

Otro tipo <le Ansatze algebraicos es. por ejemplo. el suponer clir<ttamente q.e algunas componentes <le potencial son nula.s (como es el
caso de la solucin ce BM).
Evidentemente han existido otras formas, verdaderamente ingeniosas e interesantes (poclenios citar algunas ce ellas como por ejempo el

Ansatz ~

[9~x- su generalizacin en trni nos ce funciones

-.

elpticas debida. inicia.lniente a Cerver x col. [10] (que interpola en

funcin del parmetro el>tico cnt re la soluci instantnica. ce BPST
y la solucin mern-ne-n en espacio eticlideo y generaliza la solcon

de De Alfaro

col.

en espacio ninkowski) generalizacin desarrol-

lada posteriormente por Actor [1 fl. o la. construccin <le At.ivah ~ col.
para la o bt encin (le sol ti (iones a. to<l LI ales [:3], et< ) para si rnplifi ca.r
las ecuaciol es (le crol u ci cii No p mt crcleinos ser ex E aus tivos, si no tan
-

solo intentar introI i<ir cual Ita. sido nuestro proceso en la. caboracion
del presen te trabajo
presentan.

en la. obte icin (le las sol nc-iones que en l se

En nuestro caso hemos resuelto el sistema <le ecuaciones

ce evolucin, en espacio plano y en interaccin con la. gravitacin, con

simetra esfrica y con una ligadura algebraica que aparece de forma
natural al particularizar la clasificacin de Carmeli ([12]. [13]) de los
campos Yang-Milis a la simetra esfrica.
El segundo captulo lo dedicar a i ntro(lucir los conceptos
bsicos de la teora Yang-MilIs y a. fijar la notacin que usar en el
resto (le tra.bajo

Resolx-er la. condicin <le simetra, esfrica para el

campo gauge (siguiendo el trabajo de Forghcs ~ Manton ~l9]). y como

un res ultaclo adiciona.l obte<lremos tina, condicin necesaria para <jite
un campo YangMilIs con si niel. ra, eslerca. ~osea. algun a si niet ra ad i

e
10

cional.

Capitulo 1.

IXTRODUCCION

Este resultado nos permitir probar la no existencia de un

anlogo Yang-Milis del teorema de Birkioff [23].

el

En el tercer cal)Ltulo introduciremos la clasificacin algebraica

de Carmeli y la. particularizaremos a) ca.so de simetra esfrica. Este

e,

trabajo nos permitir obtener una. liga.cl.ra. algebraica cuadrtica sobre 1 a.s comp ponentes de los ca nipos. ce tal forma. <jue la. cla.sihc.a.c,in
(jue(laia c-a.racteriza(la p~ cl valor <le mua. iiica funcin

9<

As, c-ua.nclo

esta. funcion sea. la. constante 2 tetcremos los tip o.s ms degenerados
en la clasificacin, ruando x-a.lga 1obtend-emos los tipos intermedios,
y en el resto de situaciones tendremos e tipo menos degenerado compatible con simetra 50(3) .A lo largo de todo el trabajo entendemos

el

por tanto como soluciones algebraicamente especiales a las ms degeneradas entre las posibles con simetra esfrica, es decir aquellas para

9<

las (lite dicha funcin vale 1 2.

En el cuarto captulo resolveremos nuestro problema para un
campo Yang-MilIs algebraicamente especial en espacio plano. Para ello

e,

resolveremos el sistema formado por Las ropias ecuaciones de evolucin

ms la ligadura algel)raica definida en el tercer captulo. Este proceso

e,

lo haremos tanto en espacio nnnkowski como enclideo. Comprobaremos que las soluciones encli<lea.s tipo meron. meron-meron, y meron-

e.

antmeron se obtienen dentro <le este esquema. as como que no es posible

obtener soluciones estticas. Tambin comprobaremos (sin reobtenerla)

e.

que la solucin 1-instantn pertenece a uno de los tipos algebraicamente

especiales.
9<

En el quinto captulo resolveremos el sistema de ecuaciones

que se obtiene en el caso Einstein

Yang-Milis y algebraicamente espe-

9<

9<

9<

II

cial, en espacio tipo minkowsl-iia.rio (mtrica

+++

Como resulta<lo

final obtendremos una solucion explcitamente depen<liente <le tiempo

([30], [31]). Calcularemos el grupo ce isometra de la solucin obtenida,.
(lomo 11 u resultado adicional <le esta parte del tra.baj o podremos caracterizar las soluciones estticas (y entre ellas la solucin de 8. M. y la de
Bizon) dentro de la clasificacion de Carnicl, sin necesidad de conocerlas
explcitamente.
En el sexto captulo, repetiremos esencialmente los nisinos
pasos del caso

mm

l-owskiano. has ta obtener la solucin general del sis-

tema de ecuaciones en el caso euclidiano (mtrica + + ++)

Adems se

presenta tina interprcta.con <le Las soluciones obtenidas en trnuinos de

wormholes Este tipo de sol nc iones a.<lcu i eren su max-or i tuportan ca en
-

el marco de los esfuerzc3s por conseguir iiiia teo ria. citan tica <le la. gravtacin

Es te t. PO <le teoras se lar 11111 a cr el (lo ni ni o clic 1 (leo, para

dentro <le l sumar sobie t<>(los os espacio-tiempos topolgicarnente

posibles clasicamente y no solamente sobre aquellos que se derivan continuamente del espacio-tiempo plano.
Para finalizar, cr el apndice presentamos el proceso detaliado de resolucin ce una ecuacin en derivadas parciales <ue, como
se vera, aparece corno punto clave de la obtencin de soluciones, al
menos en tres momentos distintos. En efecto, dicha ecuacin aparece
como la ltima a resolver para. obtener el coeficiente de la mtrica en
los casos que nos planteamos. tanto con netrica lorentziana. como euclidiana. Tambin es la nica ecuacin a resolver para poder poner la
mtrica de forma conforme plana explcitamente. Finalmente vuelve a
aparecer (en primer lii gas si ater demos al Or(lCl1 <le este tra.baj o). c<>mo
u It ima 1 igad tira cli feieici al a reso ser para ob tener so ciones exa.c-ta.s

e
12

en espacios planos.

Captulo 1.

INTf?ODUCCION

mv

9<

-t

9<

el

e,]

e,

rs

Captulo 2
CAMPOS YANG-MJLLS.
SIMETRIA ESFERICA
En la dcada. <le los 50 aparece el artculo <le Yang y Xli lis, que introduce el concepto de teora gaige local no abeliana (ver por ejemplo
[1], [23. [3]). Conceptualmente consiste en la generalizacin del caracter gauge del electromagnetismo a.l caso en que el grupo (le invaranza,
en un detei-ininado espacio interno, es no abeliano. Se supone (lije la
teora. tsica que se esta tratando es invariante bajo la.s transformaciones
en este espacio interno, ce

isospn

La con<Iicin <le simetra, ce la

teora bajo dichas transformaciones se resuelve con la introduccin en

el Lagrangiano de un campo extra tal que sus propiedades ce tra.nsforilacin bajo la accin del grupo compensen las variaciones debidas al
resto (le los campos de la. teora, y finalmente, el Lagra.igia.no nuevo sea
invariante. Posteriorr icute, esta. teora la. s i(lO ol>j eto <le un profi u <lo
trabajo de interpretac o i cii ten ii ros geoniet ricos a t iavcs del concepto
de fibrados (vease por ejemplo la. referencia [14]).
En lo que sigue vamos a introducir estos conceptos de forma
ms sistemtica para el caso de grupo gauge SU(2), de esta forma
13

e
14

(aptulo 2. ()AMPOS lA YG-MILLS. SIMETR.L4 ESEERICA

vamos a fijar la notacin cie usaremos en adelante, as como las deflni-

ciones de los distintos com-eptos que usaremos.

9<

Tengamos un conjunto de campos <jite 5C transforman bajo la

accin del grupo gauge como:

mv
q ~

3(7(2)

donde 4? es un multiplete y 5 est en la representacin correspondiente.

st

Entonces, los trminos de la forma 4?1-4? son invariantes, pero no as los

ternunos cnematicos. que se t ransforrnan ce la forma:

(1)4]

(En adelante 4?>

>4)

,,

+ s

r4

Para mantener la simetra del Lagrangiano

es necesario introducir un campo adicional con unas leyes de transfor

el

macion dadas por

W4

Ap

SA~S~1 + S~t

Es decir, este campo nuevo (en adelante nos referiremos a l como po-

tencial Yang-MilIs) esta valuado en el lgebra de Lie del grupo gauge

en la. representacion Cli (fue este acta sol>re 4?. Por tanto, la forma
de mantener la smetria es sustituir los termnos cneinatcos del lagrangiano por la siguiente regla

>QA

el

Por analoga, con el electromagnetismo el trmino cintico que se introduce para el nuevo campo tiene la forma

el

15

/r(F>FP)
Donde el campo Yang-MilIs F

es la generalizacin no abeliana del

~.>

tensor de Faraday electromagntico. El trmino cinemtico recin introducido es invariante Lorentz, y para que sea invariante gauge debe
tener unas propiedades ce transformacin de la forma

SF~, ~

El campo mas sencillo cue se pue<le contriir a. partir del potencial, tal
que se reduzca en el caso (71) al electromagntico, con unas leyes de
transformacin como las anteriores y antisimtrico es

A>,>

A~

[A>, A~j

En adelante nos referiremos a este campo como campo Yang-Milis,

distinguiendolo del potencial Yang- MilIs previamente definido.
Una vez que tenemos definido el potencial Yang-MilIs y el
campo, es trivial comprobar que se cumplen las identidades de Bianchi

QF03 + D0F3> + D3F~0

donde hemos definido D~

O>

[A>,

Partiendo del trmino Lagrangiano Yang-MilIs definido anteriormente se pueden calcular las ecuaciones <le evolucin, que en el caso
de vaco (esto es, en ausencia de corrientes de carga Yang-Milis) son:
1

yDVW>)

16

Captulo 2. CiA MPOS Y4NG-MFLLS. SIMETRA ESPERICA

a

Las soluciones autoduales son aquellas que cumplen

Fgw= *F<~.que desarrollando el dual queda

e
F>~ =

Se puede con po bar fa.ci 1 ien te que las ecuaciones de evolucin se con

9<

vierten en las i<lenticla.<les <le l3ia.nchi (y, por tanto, se cumplen automaticamente)

en

las soluciones autoduales. De aqu procede su inters

st

inicial, pues se redtce el orden las ecuaciones a resolver de segundo

orden (de las ecuaciones de evolucin inciales) a primer orden (de la
condicin de autodualidad) (vease por ejemplo [15]. [5]). Sin embargo
la situacin no es tan sencilla en espacio minkowski, pues, como se

e.

puede ver fcilmente se llega expresiones sin solucin:

e,

F~. =

Sin embargo. en una teora Yang-Milis acoplada a un campo fliggs es

posible introducir una con<licin anloga (attodualidad de Bogomolny

[33>
en tanto

que su cxlmplimielit() implica el cumplimiento de las ecua-

ciones de evolucin y que es de primer orden en las derivadas. Tambin

en espacio minlKowsl4i su inters est. reforzado pues se demuestra que
este tipo de soluciones son nunmos de la energa.

En este esquema

aperecieron los monopolos <U(~)magnticos de t Hooft y Polyakov

como soluciones ms representativas.
En espacio euclidiano no existe el problema anterior.

Re-

solviendo las ecuaciones de autodualidad se obtienen, como caso ms

representativo, las soluciones instantnicas. Son aquellas que presen-

e,

21. Simetras espacio temporales en teonr.s gauge

17

tan un buen comportamiento en todo it. y tales que la integral de

la densidad F

en todo R, conocida como carga topolgica. esta

cuantificada. La primera solucin de este tipo fu el 1-instantn, encortrado por Belavin y col. [17]. apareciendo posteriormente la solucion
generca -instantn ([33. [7]).
Sin <luda. las dos solciones a que nos hemos referido liasta
ahora (monopolo magntico minkowskiano e instantn euclidiano) han
sido las ms famosas. De todas formas, existe otro conjunto de soluco

res <tic 9 Lii sera unos destacar

La ca u sa. es que pertenecen. cii un

sent ido cine ir qtiedanclo ca o a o largo <le los ca pit u los .3 y 4. al nisrno
tipo algebraico que aquellas soluciones <ie obtendremos en el caso Einstein

Yang-Mills. Se trata <le la solucin de De Alfaro y col. [8] y su

generalizacin en termino de funciones elpticas en espacio nrinkowski

[10], y de las soluciones cuclideas tipo nern (caracterizadas por tener
cargas topolgicas seinienteras concentradas en forma de (x)) y sus
generalizaciones elpticas debidas a Cerver y col. (que interpolan
entre la solucin instantnica y la ineroilca en trminos <le parametro
caracterstico de tiria funcin elptica de Jacobi) ([33, [8], [103).

2.1

Simetras espacio temporales en teoras gauge

Si admitimos que los distintos estados posibles en el espacio gauge (de

isospn) son indistinguibles para un observador en el espacio fsico el

a
18

Captulo 2. CAMPOS Y4NG-MILLS SrA WTRIA ESFERCA

concepto de simetra espacio temporal tiene que sufrir una ampliacin

con respecto a aquel que ingenuamente se impondra. Si no se toma

esta precauci llegarainos a resultados tales, como la existencia de

un anlogo al teorema de Birkhoff para Yang-MilIs (vease (22]) (toda

solucin con simetra esfrica es adems esttica).

La expresin de

las condiciones dc simetra en teo-as gauge ha sido desarrollada en

la literatura, especialmente en la. dcasila <le los 80. con un enfoque

u,

infinitesimal (es <lecir. a traves de la derivada ce Lic); los primeros

trabajos en este set (lo son los <lesar-ollados por Bcrgma.nn y Flahertv
el

[81 y por Forgcs y Naixton (191. [203)para. un a teora. Yang MilIs. En

una teora <c la gravitacin en el fornialisnio ce ttradas con SL(2,C)
9<
como grupo gauge. el mismo concepto ha sido desarrollado por Chinea

[211.
9<

De forma local (esto es, influitesimalmente) la derivada de

Lie nos indica cunto cambia un campo (en nuestro caso el potencial
Yang-MilIs A4) al desplazarnos en la direccin que seala el generador
del grupo de simetra espacio-temporal X. Por tanto la condicin de

9<..

simetra se impone habitualmente diciendo que la derivada de Lie con

respecto a los generadores del grupo se anula. En el caso de una teora
gauge, poclenios admitir

el nuevo campo, al desplazarnos en la

direccin del generador. sea. un transformando gauge del original, si

adems imponemos que estas transformaciones gauge se van haciendo
de forma. continua, a. medida que ixos desplazamos, la condicin de
9<

simetra se puede generalizar a:

LxA>

= 0>1V

[A>, l.Tj

(2.1)

donde Lx representa la derivada de Lic respecto al generador X y

W es un campo valuado en el lgebra de Lic del grupo gauge. Esta

2.1

19

Simetras espacio teinpotaJes en teorias gauge

expresin es vlida para uia teora Yang-MilIs donde el potencial tiene

unas determinadas reglas de transformacin bajo la accin del grupo
gauge, en una teora gauge co otras reglas de trausformacion, como
por ejemplo, la Formulacin en ttradas de la gravitacin, donde las
reglas ce t ran sformac I 1 pa ca la ttrada son distintas, la condicin ce
simetra es diferente.. La. ecuacin (2.1) es invariante gauge. con solo
inpo n er cliie el 14 sea

ti ti

escalar

tenga una ley- de trausfornacin del

siguiente tipo:

U = Sltt

+ X>(O<S)S

Se puede (OlUl) robar que si t CiICIlIOS liii Si st cii a (le geii era<lores
ce s~met ra. t al que cnt re ellos coi ini iitan, entonces se p LiedIe encontrar
un sistema de coordena.<la.s tal que 2< = (0
la. i-sima p<sicin).

0. 1.0. .0) (con el 1 en

Entonces se puede demostrar [19] cjue se puede

encontrar una transformacin gauge tal que

LxA<,

para to<los los generado-es simultancainente y por tanto. ~

0.

En el caso en que <los genera<lores iio conntten entre si. no se I)LIe<le

llegar en general al resultado anterior, y deber cumplirse la relacin
de consistencia

L-

1 II,,,

donde

]4

[uY1.
ILI

J~~ 14v,,

(2.2)

son las constantes <le esl rctira. (le grupo <le siiretra

espacio-teirporal.

e
20

Captulo 2. CAMPOS lA NG-AIILLS. SIMETRA ESFERICA

F>~,

Sobre el campo Yang-Milis

la. con<licin de simetra, se

expresa.:
= [It

FM

(2.3)

Puesto cue las reglas de transformacin gauge del campo Yang- MilIs son
similares a las de la ttrada gravitatoria (con SL(2. ci)). la condicin
de simetra para esta ltima ser semejante [21]

(L~e,.

[W Op]).
el

En el presente trabajo nos vamos a restringir exclusivamente

a campos Yang-Milis con simetra esfrica, por ello. (pese a que la

e,

solucin general de esta condicin ce simetra aparece abundantemente

en la literatura. (por ejemplo en [3]. [7]. [191) vamos a resolverla de forma
e

explcita en lo (LIC sigue:

e,

2.1.1

Campos Yang-Milis con simetra esfrica

Muchas de las soluciones exactas que se han obtenido ~oseen simetra

esfrica. Ya. hemos mencionado en la. introduccin que el monopoo. las
soluciones instantncas.

~-

algunas de las mernicas ei espacio plano,

y las soluciones de Bartnik-X[clKinnon. Bizon, y wormholes citados en

las referencias, en Einstein

\ang-Mlls. poseen sta simetra.

Los generadores infinitesimales del grupo SO(S), se escriben,

en coordenadas esfi1-ricas. como

A1

co-soda

cotgbso6dp

86?ud9

-(3 =

9<

cotgOcosoQ

e,
u

u,

2.1.

21

Simetras espacio temporales en Leonas gauge

(orno mcii conairos cii la. seccin anterior, siempre es posible

hacer una t rausformaci] ga.ug.. clepencl iente de

~,

tal c Le 144 se anule.

Entonces las ecuaciones <le conxpat i biliclad (2.2) que (1 eben resolverse
son para. (ui,n) = (A) y (2.3)

11< + VIi~ = O

u-;.

que se resuelven coix

1V~ = Pco.s + Qse7~
VI? = J~sno -1- Qcoso
= O
y

donde P = P(O) y

9(0). Las reglas <le cambio de P

bajo

una transformacin gauge inclepen<liente <le q son:

9
P

xx

SQt

.sPS + ~

5iciupre es pos ble ciicon trar un gauge tal <tic P = 0.

ultima ecuacin de compatibilidad ( (u. 31) = (1,2)

La

se escribe en-

tonces:

Q% + cotq0Qt
Que se resuelve con
un vector en el lgebra.

= O

donde c son constantes que definen

Podemos hacer una trasformacin gauge de

forma que ci = c2 = O (se trata de una rotacin en el lgebra de Lic de

forma que el generador 3 apunte en la direccin ce c, rotacin que se

mv

mv

22

Capitulo 2. (lAMPOS Y4NG-SIILLS. SIMETRL4 ESFERICA

puede hacer,siL <leshacer VII3

xx

= 0,

pues es constante). Con lo que

finalmente el sistema de ecuaciones queda resuelto con

9<

Pa -s 93
enO
*

l.na vez conocida la forma. de los Vlt. se puede resolver la

ecuacin general ce simetra.

(2.1),

cuyo restltado es:

A,

(2.4)

xx

(2.5)

-sc/jo
cas 0
(0.0,
<~)
senO
U> xx (0,0,0)

(2.6)

A~(t, r))

(2.7)

= (0. 0, Ar(1, r))

(2.8)

0)

(2.9)

)suO, p~(1,i )sen, ;3cosO)

(2.10)

xx (<1

= (<2(t.r

xx (O. O.

xx

(0.0.

(1, y). 92(1, r),

(donde y~ es una constante) y con la ligadura adicional 9 xx 92 = O si

;~ ~ 1. Esta. forma del potecial Yang-MilIs mantiene an una libertad
gauge dada por un subgrupo [(1) del grupo gauge SU(2) original. La

m.

accion de este subgrupo sobre las funciones que acabamos de definir es:
e
xx

1/

.4=4-al

e,

91

xx

i->2 xx

y donde fxxfU.r).

;icos(i) + 92s4j)
y,.sen(f) + p2cos(f)
e

e,

e,

21. Simetras espacio temporales en teoras gauge

23

Con un potencial Yang-MilIs como el de las ecuaciones (2.7/10).

la forma del campo Yang

xx (0.
xx

(~

MilIs es
01r

(y~~

= 1):

[Y)

(2.11)

+ A,91,0)
+ A~p
1, 0)

(2.12)

0)senO

(2.14)

A~92. 0)scnO

(2.1-5)

/lLr) = (0,0,

A,
92,

924

4Y2~

92.r

Fro = H9i,

U<

xx (2.!
Frr<<92r
xx (00,(i

~-i~

t-

ti

i.r

22.

~Y,iO)

xx

Es fcil (le comp robar qte las ca iii. i (lades 1, r

(2.13)

(0.0,I)
(1

9i

) ~%
e
-

(2.i6)

~7a

son invariantes bajo la. act uac ion del su bgru pO gauge res iclual U (1
A lo largo del trabajo siempre nos hemos restringido a un
gauge en el (LiC ~

xx Q Y en el que denotamos por tanto 9

xx

9~

Tambin hemos seleccionado la constante p~ con valor 1 (cii caso contrario obtenemos un campo Yang- MilIs abeliano, y- reobtendramos

los

resultados <le un campo electromagntico con simetra esfrica). Por

tanto la forma del potencial y del campo Yang-MilIs ser en este trabajo:
A1 = (QO.A,)

(2.17)

(0.0 ni~)

(2.18)

(<0.0)

(2.19)

A0 = (0. senO. cusO)

(2.20)

A6

xx

(0.0.hr)
xx (9, t9. 0)
xx

(m~.r.

<~.

0)

(2.21)

(2.22)
(2.23)

a
24

Captulo 2. CAMPOS YANG-MTLLS. SIMETRA ESFfRICA

xx

( A19, ,.

0)seitO

1224)

(A~y.

0)sen

(2.25)

945CUO)

(2.26)

xx ((LO, (1

,.

mv
u

9<

2.1.2

Simetras adicionales en campos Yang-Milis

con simetra esfrica. Generalizacin del
teorema de Birkhoff.
9<,

Los resultados ms importantes de este apartado fueron presentados

en los ER.E88 (Encuentros ce Relativistas Espaoles [23)).La idea
bsica. que existe tras estos calculos era el demostrar la existencia o
no existencia <le un analogo al teorema (le Birkhoff para el caso de
una teora YangMilis en vaco. El teorema. ce Bi rhhoff puede leerse
de varias formas. Quizs la formulacin ms sencilla sea diciendo que
toda solucin de vaco con sinetra esfrica adems debe ser esttica
[25].

Desde esta lectura es trivial comprobar que dicho teorema no

seria vlido para el caso Yang-MilIs; bastara con recordar que existe la
solucin instantnica en espacio euc)ideo, que es intrinsecamente dependiente de las cLiatro coor<Ienadas en p4

(La integral de la densidad de

9<

carga topolgica cii toda la. x-ai-iedad enclidea es finita) Adems existen
.

soluciones en espacio minkowski con simetra esfrica y explcitamente

dependientes del tiempo. Como puede ser la solucin <le De Alfaro y
col. [3]. Por tanto, en lo (lime sigue releemos el teorema de Birkhoff

de una forma. que gencraliza la anterior (y que se aproxima a otras

fornrlaciomi es ms gem mema les como puede ser la. cl tic apa.-ece en

[241),

u.

2.1.

Simetras espacio t.enpo-ahs

<m

teonas gauge

.35

saber, toda solucin (le vaco com simetra esfrica posee adems alguna
smetria. adicional.
El problema <tic imos flan leamos, por tanto, en primer lugar
es encontrar el tipo <[e condiciones cine debe cumplir un campo (F6~)
Yang-MilIs que p~>see simetra, esf~rica, y que por lo tanto se puede
encontrar liii gauge en c que se es<-ri be <le la. forma representada. en las
expresiones (2. 11/16). para poseer a lgu u tipo de simetra adicional
Para ellos nos planteamos el sistema. ecuaciones dado ~

L- 1%, = [lE. F,~]

(227)

(londe X representa un generador de simetra. generi co y sobre el cIne,

-

en princIpio, no rnpoieios nmgmna. limitacin. Obsrvese. que en el

caso ce un grmip< ~ugc

SU (2). se trata de mmmi sistema <le 18 ecuaciones

con 21 incgnitas ( la.s 18 conipoi ei i les (le campo ga tige

las tres com-

ponentes del VV). Sin embargo. a] limitarnos a campos Yang-Milis con

simetra, esfrica podemos hacer uso ce los restilta.<Ios obtenidos anteriormente

~ tanto solo temcremos 9 incognitas (6 componentes de

los campos imo nulas

.s componentes gau oc <le II

las tre
..
Del sistema.
ce ecuaciones que se ol)tiene se podram obtener algunas condiciones
-

ce compatibilidad.

).

Observese qte si .Y es combnacion lineal ce los

generadores de simetra esfrica. el sistema <le ecuaciones se cumplir

automatcamente.
La compatibilidad <le <licito sistema nos impone:

sen ~O(&~
V<) + )<
cosO

.4<-AmO

O
~

u,

26

Captulo 2. CAMPOS Y4NG-MILLS. SINIETRIA ESFERCA

ms la exigencia. (le que se cumpla una de las dos siguientes condiciones

~

[F~,F~t

(2.28)

tV2 = VV3 = 0

(2.29)

senO

Si no se cumple la ecuacin (2.28) deber cumplirse (2.29),

usando sta. podremos obtener nuevas relaciones ce compatibilidad, que

nos fuerzan a que Za. u a t riz siguiente tenga rango 1 (o menor)

4.V
962<

Y a que sea c]erta una

OrX~
~~~&

0X dx

de las dos ecuaciones siguientes

_______

(230)

F(t. r)X

(2.31)

e,

k(F~6, F70]

donde k

a,x~ a~-x~

es una constante. Si no se cumple (2.30) estamos obligados a

que se cumpla (2.31) y a que se cumpla una (le dos condiciones sgn-

entes
[F,

a,.v

3= 0

(2.32)

0, F~6]
=

= 4X~> = /2<6 =

xx 9<

xx

= tA.t =
xx 0

(2.33)

a,

Tenemos. 1)01 tanto, que sm no se cumplen ninguna, ce las ecuaciones

(2.28). (2.30)

(2.32) (todas ellas relaciones algebraicas donde ni-

9<

camente aparecen las componentes de los canpos gauge). el supuesto

generador de la simetra adicional debe tener la forma

9<

2< = X<(t. r)&< + .V(t, r)ci. + Xso<a>

2.1.

Simetras espacio tempoi-aes en teoras gauge

Las condiciones finales de compatibilidad para. un generador (le este

tipo sern una de las siguientes:
xx

0; &tFo~< = 45,. = 0

1. 2< = 0; OrEw, xx

iii. A~ ~ 0: AV ~ 0; (,I%~)(O.

(2.34)

xx 9

(2.35)

[Ka,
Pr

(2.37)

Los resultados son vlidos tanto en espacio minkowskiano

como eticlidiano, plano o curvo. Si observanios la. esl ructura. ce condiciones que hemos obtenido observaremos que en cada. uno de los pasos,
se limita, mediante alguna. condicin <lifereicia.l, la forma cte la. posible simetra adicional
de campos estatcos

(2)

<Fa jubij observa. nos qtie, salvo jia ro los casos

mm honogenecs (21). se la, encontrado tina com-

unto de relaciones co ide solo apa ra-em> los c-a.mpos Yang- NI i lis < re son
-

condicin necesaria. para la ex islem ci a (le LI ra si muetr a acli cional aparte

de la puramente esfrica. Por tratarse (le una condicin necesaria no
sirve para probar la existencia de un anlogo, en el sentido que expuse
anteriormente, al teorema de Birkhoff, por tanto adelantamos que, en
los proximos prrafos.. vamos a mostrar un contraejeniplo en espacio
enclideo. que, pese a poseer simetra esfrica, no cumple ninguna ce las
condiciones anteriores, y por tanto ros permite concluir cIne 110 existe
un anlogo al teorena de Birklmoff en teoras Yang-Mills en vacio.
Si nos restringirnos al caso euclicleo. y dentro de ste a las
soluciones autoduales el anlisis anterior se simplifica ce manera con-

U,

u
28

Captulo 2. CA AIPOS lA NC-MIL LS. SIAETRIA ESPERICA

siderable. Es evi<lente que. en stas soluciones, pasamos (col simetra

SO(3)) ce tener 6 componentes distintas en el campo a tan solo 3. Por

supuesto el esquema anterior sigue siendo vlido, pero esta simplifi-

cacin adicioial nos pernte obtener una condicin ns fuerte sobre

los gene-aclores a<lmisil>les. En este caso:

+~
1V

xx

04t

()

(2.38)

xx 0

(2.39)

=0

(2.40)

= 0

(2.41)

0,2< + LX = 0
2~yt + Y = 0
,,

(2.42)

,.Xr

d,X<

0,.X

(2.43)

u..

e
9.

y s200,.V + O>XT
r2seu200
1X< +

~-0

(2.44)

DCX

= 0

(2.45)

____

= 0

(2.46)

.5<-?!? 0

xx

e,

Este resultado ros permite simplificar (2.36). En efecto, si no

se cumplen ni (2.28), ni (2.30). ni (2.32), entonces el conjunto (2.38/46)
*

de ecuaciones se puede integrar dando la. solucin:

2)

/.-

9
A = (ii(~2

e,

+ 3)0, + (It + 2k0r + 2<SO(3)

y la. condicin (2.36) se ptiede escribir

0,(Xf) + &(XTF,~)

xx

(2.47)

que no se trata ce una ectiacion en la. que solo amrecen componentes

del campo (como era. (2.36)) pero ce la que conocemos explcitamente

e,

9<

2.1.

Simetras espacio temporales en teoras gauge

20

y-

la notacin del trabajo de

la. forma <le 2<< y Y< Siguiendo las lineas

Witten [7]. la ecuacin fi tal d u it o<l rial i ciad que se debe resol ver es
~2p

<2

clon de

3,, + U,.,..

.4, =

xx

\i<-

Ln(i )

xx

.,.=

<?

Dm

y Xi + \2 es una funcin analtica, ce 1 + ir. La. solucin general de

la ecuacion de autodualidad es conocida (se trata (le la ecuacin de
Liouville. su solucin se puede cmi contra r por ejenpo en (

[~-1

) Y

1
dq
qyt) + ~Ln( ~

c/:

Ln(-11

[~1,

Las distintas soluciones se van obteniendo segn sea el valor de la

fi

funcion arbitraria y
c:uando q(z) xx
el ro<luucto ce

). La solucin tipo gauge pumo se obtiene

) la soluicioi t po 1 - msta ritn c tando y(z) es igual

dos

ex~> L esiomes como la a iLterior, la. solucin ti PO 2-

mnstantn cuando y(z) es el producto <le tres exp-esmores, etc.

En esta notacin la condicin necesaria de existencia de alguna simetra adicional se escribe diciendo cue se debe cumplir al menos
una de las dos siguientes expresiones (ecuaciones (2.28/30/32) y (2.47))
1.
4kr2( -

,.)

+ \72p)2 xx t(r2tp)

+ J~i + k

2p)) +

3)( y
1~ + 7

(2.48)

30

Capitulo 2. (AMPOS YANG-MILIS. SIAIEIRIA ESFERICA

,.((k1t + /2)rd,.)( + t>))

9<

(2.49)

Es laborioso ver q me la ri muera con<l icij se ui mpie con e

xx

9<

para la sol ucion ti >0 1-insta nto n. pci-o esto era de esperar pues el ms
tantn de Wittem tiene simetra 30(4) y- por lo tanto, debe cumplir al
menos una <le las condicioes necesarias (2.18/49). Lo mismo ocurre
para la solucin q(z)

xx

z. Sin embargo la solucin g(z) xx 9 no cumple

mv

(2.48/49) y por lo tanto, temenios al menos una solucin (si bien no

perteneciente al grupo instantnico) cue no cumple las condiciones
necesarias para (ue una. solucin con simetra esfrica posea alguna
simetra adicional.

tenemos por tanto un contraejemplo, en espacio

cuclicleo, djue demuestra la no existencia de un anlogo al teorema de

Birl=hoffen una teora Yang-MilIs en vacio.
e

Para. po(ler llegar a. este mesultado ha siclo importante el que

en espaco euclitleo exista. una condicin algebraica (ce autodualidad)
le per~xite siuxplificar las ecuaciones ce forna que se puedei~ resolver
completamente. En espacio mninkowski no existe una condicin de este

estilo, y la mayora de las soluciones que se conocen se lan obtenido

mponendo explcita mnent e <mu grupo ce simetra mayor ctie 30(3). En

cualquier caso se ha pasado el test de ecuaciones definido en (2.28/

30/ 32/ 36) sobre las soluciones muinkowskianas dlue aparecen en [3],
encontrandose cie todas ellas cumplan alguna. ce las condiciones de la
bate-a y-, por lo tanto. no liemos tenido xito en la busqueda de otro

e,

contraejemplo al teorema de Birkhoff, esta vez en espacio minkowski.

u,

u.

u-

2.1.

31

Simetras espacio temporales en teoras gauge

2.1.3

Algo ms sobre simetra SO(4)

El proceso de la seccin anterior se ha rel)eti<lo limitando la forma. del

supuesto generador <le simetra a SO(4). En este caso el sistemna de
ecuaciones se puede silL))lificar <le forma mas notable y llegarse a unas
condiciones u iccesarias ms resl. r ct ivas:
[Y

[F,0, F,.J>

(2.-SO)

<miO
2F1t

(F,~

(r

II

7 ~

(2.51)

(el sgmo su>erior <ormespoi& al aso cm lud( o y simetra.

signo inferior al caso ini m kows m x s I ~etm
ciones c ne aparece va babia

s 0(3,

50(4)

y el

1)) 1 Tra <le las (-ondLi

(lO O l>teii ida a u terioru ner te en general

y la segunda. es especfica ce <sta smitet ma

De momento no vamos a

referirnos a ellas, pero apare<:era.n mas adelante en un contexto distinto.

e
32

Captulo 2.

(lAMPOS 114 NG-MILLS.SIAIETUL4 ESFERICA

u

9<

nl

e,

e,

Captulo 3
CLASIFICACION
ALGEBRAICA DE
CARMELJ
Durante los ltimos aos ce la. <lcacla (le los 70 han apa.reci<lo distintas
formas de clasificar el camo Yang-MilIs. La (lescripcin detallada de
ellas se puede encontrar por ejemplo en ([12]. [13]). La debida a Carmeli
y

col. est basada en el roblema de autovalores y autovectores de un

determinado espinor cue se define a. partir <le campo YangMilis. Es

quizs, la que ms se asemeja a. la clasificacin de Bel-Petrov pal-a el
caso gravtatorio. y. corno verenmos. en el presente trabajo se sugiere,
sin probarse, cne ruecie existir Lua, ntima. relacin entre ambas. Esta
clasificacin es invariante gauge.
En la segunda, debida. a Wang y Yang, la clasificacin se hace
en funcin del rango <le una determinada, matriz invariante Lorentz,
ue se com s trmix-e a partir ce los campos gauge.
a. Castillej o
3 L( 2, (1)

col

La tercera., debida

clasi Ii ca los can pos en Lun cin del sri bgru po (le

SU(2) que los clej a i mtva.ramites.

33

eCapitulo 3. CLASFICACION ALGEBRAICA DE CARAEELI

34

En este trabajo Lemnos hecho uso del esquema <le Carmeli. por

ello, vamos a explicar someranente en qu consiste.

y

Se define el espinor correspondiente al campo Yang-Mills corno

(3.1)

= aB~acD~P,v

ABCI)

donde a> E SOil inatrces lierinitcas dLie satisfacen

9<

gv

48

(71

AB

nl

xx9

(718

it
0

Este espi nor p imecle ser fa cloriza <lo como

9<

- I AB

donde \148

YA

CL)

<-ED

<-AC\B~DI

y donde se usa para subir y bajar indices

espinoriales:
-Lv

ZA)

Se define el espinor (invariante ga uge)

e

gr
sAB(D =
e,

que cumple

ClBCD = ~BACD

xx (,crDB xx CIBDC.

Se puede comprobar

que la traza ce este esinor en la. suma. de la. densidad (le accion mas
u.

veces la densidad <le carga topolgica.

~B

yL?

f#V

+ ;p;

*plP<4]

(3.2)

9<

3.5

que denotaremos corno P en adelante. La ecuacin de autovalomes que

planteamos para clasificar el campo Yang-MilIs es
(3.3)

CID

Si los tres autovalome~ son distintos tenemos los tipos

(en lo que sigue el subiiclice p representa cue el invariante gauge P

definido en (3.2) es (listinto ce cero y el subn<lice O que dicho invariante es nulo). Si tenemos mmm iica.inente <los autovalores
doble.

ti no

ce ellos es

Si el autovalor doble nesenta. dos autoespinores tenemos los

tipos D~ y De, cmx caso contrario sera u 1 Ip 1/ lo. Si tenemos mmii liii ico
autovalor con tres atitoespinomes seran los tipos O~, y 0o, con dos autcmespnores 11>7/ Itt y con uit ~mn
ico an toesp i nor fi rial nerte teud remos

11ff) y O
Esta clasificacin lii. po<lenios presentar <le tina forna Ligeramente dist i ita Ca 1cm u a nos los s gu idi tes u vail ami tes ga tge a. partir (le
-

espunor {

xx

xx

xx

EA>

xx

II

.5

Ip2
:3

PC ~

o
Entonces la clasificacin ce Carmeli queda caracterizada parcialmente (uinicamente en cuanto al nmero ce autovalores se refiere):

36

Captulo -3. CLASIFICACION ALGEBRAICA DF CARMCLI

a

P #Oy&#0112

ilpo l~

tipo 1 1,,, D>

upe III>, JI
1~

P ~ O mj (2

>

6112

e,

P ~ 09 (7 = LI = O

l>o tu. lo. I)o.I[Jo,J1,j>-0~

P=O
st

9<

Lo interesante de esta forma de representar la clasificacin de

Carrneli, es que se pueden obtener esos invariantes gauge. sin necesidad
de calcular el espinor

5.

mv

Para elo basta que definamos la matriz

At=E~+Bt=Fk+j

57okirnF

\/

Mi

(3.4)
e;

donde representa las <listiutas componentes gauge, y 0. e,!, tu son

ndices en la ttrada elegida para representar la mtrica, y i~ es el valor

u,

absolL lo <le (leter] u iii ami te de la. metrica em los indices de la ttrada.
Defini nos las

sgu.m iem

tes m a.t rices

AA

(3.5)

ir

ti

(3.6)

0~

Entonces los invariantes gauge definidos anteriormente se pueden cal-

cular a. partir de la matrices 5 y z

tic srm (5)

trazc( ir)

t2\

U..LI,<

trcLzcr( 53)

(3.8)
LUI.tttn

(3.7)
u.

>

ti<tz<( ir3)

(3.9)
e,,

u.

3.1.

Particularizacin a la sol mcin de 3artnik-Mckinnon

27

En el prrafo anterior hemos definido una matriz ir .. partir

de dicha matriz se construye la clasificacin <le Yang (a la que hacanos referencia al principio de este tema). En funcin de que su rango
sea tres, dos, uno. o cero tedrenos los cuatro tipos posibles (le dicha
clasificacin -

3.1

Particularizacin a la solucin de Bartnik-McKinnon

Denotamos como ansatz ce BM - (aunque no fu misado por primera

vez por ellos, la. primera rele-enca conocida por el autor aparece en
la revisin de Actor [3]) al caso <le simetra esfrica definido en las
expresiones (2.17-226) cuando A, = A.. = 2 = 0.
tas restricciones las solucin dc B

1. es ~sttica.. En simetra esferca

podemos paramet rizar la. mtrica ce forma di agon al

d.s2

xx

2t

di2

Adems de es-

c 2h2

>2d02

[9~1-

m2 se n29dgr52

(3.10)

donde r y p son funciones de y. Definimos las matrices a <le la siguiente

forma:
t

e.
a

38

CLASIEICA (ION A LGEBff4ICA DE (714 RMELI

(aptulo 3,

a
(7

u.

12
=

xx

e,

(7

1t5&fl9 vi

y donde a son las matrices de Pauli.

Tambin nos hubiese servido

cualcnier otra eleccin qme se hubiese obtenido de la. anterior bajo la

accion de un elemento <le S L(2 0).
9

(a]cmlamos los espinores Yang-Milis

e

itmm
-

Mu

J0L00 xx

-fN00

.1? ~

(0,0,0)

(0.

2v

((1

xx

c~

J~~i

4$

(-

9~-2.<2

2v

,CI)

______

1~

El espinor

(1

xx
=

unu

fioi

xx

nl.

50000 =

2)

5mil

sool1
gr

~~2)2

4.2~

~2(

(1

gr

-.0
e LU

&.oeo

te

_____________
2)2
2

mv

2p

y
____
,~ ~

50111 xx

La traza de este espinor es la densidad de accin ms i veces la densidad

de carga topologica, que en este Ansatz

1 (1
2

;2>2

->.

.2

2p

(3.11)

3.1.

Particularizacin a a solucin de Bartnik-McKinnon

39

La ecuacin de a.utovalores se puede resolver (lan(lo la siguiente solucin Tiene u u tt o\alor doble
-

Am

un au tovalor simple

Am Am

(1
4>.4

Si
ji

/3

(3.12)

tenemos liii autovalor triple coui ti-es autoespnores x- por lo tanto se

trata del tipo O~ 0o cmi la clasificacin (le Carmeli (el segundo nicamente cuando p = 1 donde se obtiene una. solucin gauge pura). Por
el contrario, si A y /3 son distintos. entonces los dos autovalores son
distintos, al au tova br doble le cOriXYS}oi>der <los un toesp mmores y or
tanto corres poncle al ti )O D,,

Estos ltimos m-estmlta<los mereceim una. serie <le comentarios.

En primer lugar. hemos clasificado el conjunto ce soluciones que se
pueden obtener dentro de Ansatz de BM. Como se puede observar, son
solamente dos los tipos algebraicos que persisten al imponer simetra
esfrica y este Ansatz. X tino ce ellos cme<la clefimuiclo p<>~ Lina. conclcion
algebraica (ecuacin (3.12)> en los canpos y. por tanto. cli ferene ial ce
primer orden en las componemtes (le potemicial Yang-MilIs. En la sguiente seccin verenios que estos resultados se )ue<len generalizar, en
un cierto sentido, a. simetra, esfrica sin restringirnos a. ningn Ansatz
particula.i.

e,

a
40

Captulo 3. (iLASIFICACION .4LGFBF?AICA DF CARAIFL

3.2

Particularizacin a simetra esfrica

El proceso que se ha llevado a cabo en el punto anterior se puede repetir para el caso general <le un campo con simetra esfrica. Conceptualnente no existen ntavores diferencias. Sin embargo, para lo que
estamos mritem-esa<los miosotros rd) es necesaria, tanta. informacin. Cono
mencionamos en la utro<hccin. estamos buscando alguna ligadura al-

gebraica sobre las componentes <le los campos. cue nos permita simplificar las ecuaciomes <e evolucin. y encontrar soluciones exactas. Para

e,

ello no es necesario conocer exactamente toda la clasificacin algebraica,

sino tan solo cmi

lo que al numero de autox-alores distintos se refiere y

las con(liciones algebraicas <mme el campo Yang-MilIs debe cumplir para

pertenecer a ca<la uno ce los tipos. Por tanto vamos a hacer uso de la

clasificacin ce (i a.rmneii cu funcin de las ligadLiras entre los invariantes

gauge O. H, 1>.

e,

Para la parametrzacion de la mtrica expuesta en 13.10) (donde

i- y p son funciones

<le 1

r) podemos definir la. siguiente ttrada clidr. 02

miO y (33 xx rscnOd~. En

agonal: e0 = ~~-lt,e~
los indices de la ttrada, la mtrica tiene forma diagonal minkowski

(Uab

ds2

xx

e,

diay(1. +1. 1.+1)).

La mtrica oiginal se obtiene como

UO%ab. Los comuponentes del campo Yang-MilIs en esta base

e.

son:
e

/fu,

xx

n?Y( 00F
fl
(0

Para el caso de simetra esfrica, y en el gauge 2 = 0, las componentes

del campo en los indices <le la ttrada. son:
e

3.2.

Particularizacin a simetra esfrmca

(0,0, g)TP

xx

(y,, A,~. o>t

7

03

4)

v,~ 0)

4&

fi

l,.. 0)
/~

xx

~1>

.0)

m O (1

F~

Las nicas conpone ites no miii 1 n d

la matriz A definida en (:3.4) son:

(h

A=

qxx<

(1

1<

4?

,-

2~
+9

___

La, matriz 5 definida. en (3.) es cmgonal

2~2
5nir

(12

~>

b2+c2

En este pULuto es con\-eniente hacer algunos comentarios. El

primero es que ambas matrices

(5

y ir) son iguales y diagonales.

El

hecho de ser diagonales es debido a estar restringiendonos a campos con

simetra esfrica, en general no es as. Por ser diagonales los clculos de
las trazas cine aparecen en la definicin de P. (3. y H son triviales, y por

e
Captmo 3. CLASIEI(ACION A LCEBRA 10.-A DE CARMFLI

42

tanto, la cara(-teriza.cin de la. clasificacin ce C a.rneli por el nmero

de aimtoxalores distintos es f-h ji de calcular. Dichos invariantes gauge
son:

(2

+ 2(62 + )

(4 + 2(b2 + cj2

o + 2(62 + e2

e,

[<>2

(>2

+ <.2)]>

e,

[<>2

(/

+ c>)J3

e,

3
JI
<1
Es trivial de comprobar <tic siempre se cumple (33 = 6112. La
clasificacin

de (~~rn~li de los campos Yang-MilIs con simetra esfrica

queda caracterizada como sigue:

e,

tipo

ti;>o 14. D,,

a>

li)o JI/rl1; O~<

No es posible
-)(b> + e>)

(3.13)
(3.14)

a>

a>

= [(/,

= (6> +

e>)

(315)

2(6> +

e>)

(3.16)

e,

ipo J~. II,>. D

0. 11 1~,I1 .Oo

e,

En el resto <le tral>ajo aparecerar con frecuencia expresiones

9<

como:

campo.s algel)raica]nente especiales o campos degenerados

algebraicamente

Cuando usemos dichas expresiones nos estamos re-

firiendo a aquellos campos Yang-Mus tales que a> es igual que 62 + e>
salvo un factor unultiplicativo e xx

e xx 2.

e,

En otras palabras, nos

estaremos refiriendo a campos del tipo X~ ff4, 1 V, O~ (En adelante

cuando aparezca el smbolo X~ nos estaremos refiriendo genericamente
a todos los tipos algebraicos con su.mbndice O). Y es precisamente sta

u.

e,

nl

3.2.

Particularizacin a simetra esfrica

43

la ligadura adicional:

a>

e(b> +

2>,

-2

e = 1 o

con

(3.17)

(algebraica en los campos y diferencial de primer orden en los potencales) que iruponc reinos al i itentar resol ver las ecuaciones <le evolucion,
1

auto en el caso pla.io COIi() Fi nst.ei m

Yang NL i lIs.

>-

<nc mos ennn

tira resol ter coiii> le t a me te el s is 1 en a res u Ita u te. tm los cap it Li los. .5
y

6 no limitaremos el valor <le e a 1 y 2 (impon clremos nicamente

<jue sea. constante>. con lo ([nc Cii

pUimdiplO.

tambin estaremos obte-

niendo algunas soluciones no algebraicamente especiales. Todo lo desarrollado hasta ahora lo la sido para um espacio mikowskiano. pero
podenios generalizar los resLiltadlos a un espacio eucli(iiaiio modificando
la mtrica en las componentes de la. ttrada, ce formta. <Le sea <ab =

tfiay(+1, +1. +1. +1).

La ecuacin (3.17) es una igualdad cnt re expresiones complejas, desarrollando en componentes sus partes real e imaginara se
obtiene:
/<~< <>0
~

/(
2

~<o

p<

e[F,0. F,.6]3

2r+2

f,~

(3.18)
(3 lO)

(el signo superior se co respomcle -il c iso euclidiano, y el inferior al caso

mninkowskiano). En espaco plao \ para e = 1 es trivial de comprobar
que se reobtienen las e~pesiones (-) 50-2.51), que obtuvimos anteriormente como condicion necesaima paia <pe un campo Yang-Mills tenga
simetra hiperesfrica (en cuat-o (limensiones>.

Es decir. cii espacio

plano toda. solucin con sinet ra. lii peresfrica ( enteud ien co coi o tal

SO(4) en el caso eucli<leo y 50<3. 1) en el uitiikowsl=i)distinta ce los

e
44

Captulo 3. CLASIFICACION ALGEURAICI4 DE CARMELI

campos gauge puro, debe pertenecer a uno de los tipos algebraicos III

JV~,

o0~. Sin embargo ambas con<liciones (necesaria, de simetra y ce

degeneracin algebraica) se desacoplan fuera de espacio plano. Este he-

u.

cho impide que se puedan obtener en nuestro esquema soluciones tales

corno los wormloles que aarecen en j38] y- [39]. (Para obtenerlos se

e,

usa explictameute que poseen simetra hiperesfrica).

e

nl

e,.

e,

e,,

Captulo 4
SOLUCIONES EXACTAS
EN ESPACIO PLANO
Antes de entrar en la bsque<la de soluciones en espacio curvo, herrios
preferido plantearnos el mismo problema (bsqueda <le soluciones con
simetra esfrica y algebraicairente especiales> cii espacio plano. Con
ello podremos con> p robar si la 1 igaclura. algebraica que i u> >0! ieiiios. es lo
suficiente fuerte como para s imuplificar las ecuaciones a resolver hasta
permitirnos encontrar sus soluciones.

En efecto, como veremos a lo

largo de este captulo, algunas <le las soluciones., en espacio >laiio. que
aparecen en la literatura son algebraicamente especiales y deben de
poder ser obtenidas en nuestro es<uema..

Ademas algti mas <le las ec a.c oues <lime 1 cuid renios cj ie resol ver
en este captulo volvera. a. aparecer a lo largo ce los sigmemtes.

El realizar este estudio cii un caso en el que ya conocemos

algunas de sus soluciones, nos permitir identificar tcnicas y elecciones
de variables, que ms adelante nos sern de utilidad.

En efecto, las

coordenadas en que el puoblemna es ms sencillo aparecern aqu y ya

45

46
no nos

Captalo 4

SOLUCIONES EX.4CT45 EN ESPACIO PLANO

abamidona.-an en el -esto (le tral>ajo.

Todo ello viene acompa.fla(lo jior la. obtencion ce una genera-

e-

lizacin de las solmciones va conocidas en trminos de una constante de

integracin. Para deteriniados valores de esta. constante, se encuentran
9

nuevas sol uciotes (al menos entre la bibliografa manejada por el autor).
Por todo ello cueem>o.s (le queda j mistificado el <le<licar un captulo a
soluciones algebraicamemte esl)eciales en espacios planos.

e.

-4

a,

4.1

Espacio Minkowski

En el segundo capitulo obtuvimos un conjunto <le condiciones necesanas para due un campo Yang- MilIs esfrico posea alguna simetra
adicional.

u.

Como vimos, algunas de estas ligaduras algebraicas (ec.

2.28) coincidan con parte (la l)arte imaginaria) de la expresin que

los caracterizaba parcialmuente la clasificacin de Carmeli (ec. 3.18).

mv

Ms aun, conxui-obanos que la. con(licion necesaria, para. oseer simetra

iii peres fri ca. coi ncicli a. exa cta.nen te con la. com mcl ici l)a.ra que el esl)inor

e,

Yang-Milis posea ini unido autovalor. Es decir, en principio, podemos

suponer que aquellas soluciones tales que poseen un grupo de simetra

mayor que 30(3) son bmenas candidatas a pertenecer a lo que hemos

denominado tipos algebraicamente especiales. Esta suposicin, se comprueba como cierta en las soluciones de Luscher [163, De Alfaro y col.

[8], y Cerver y col. [10] en el gauge en que las presenta Actor [3].

nl

a,

4.1.

Espacio Minkowski

47

En un gauge en que 2 = 0, nuestro sistema de ecuaciones de

evolucin Yang-MilL en espacio plano se pueden escribir:
(r>Ftr)r = 2A,>

(4.1)

2A,.y>

(4.2)

(~~

(,r).r

A~ +

-(A, ),, + (A,.),.

(4.3)

7.2

,A + ~

(4.4)

La ligadura algebraica (ecuacin (3.17)) se escribe

(donde e xx 1 2) Del sisterma. de ecuaciones (41-4.6) se pueden

integrar 4.1, 4.2 y 4.4 con:

A,

xx

A,. =i--~
qfl,. =(---c26)
r
7.2

donde c es una constante de integracin. Las ecuaciones que quedan

por resolver son:

it

y,,.,.

2; ,.c,,.

<((e + 2< (1

2)2)

~-3
1>

(1

2<, _ <(e

0.,.r +

(e + 2o)( 1

21.<3 +

_____

) = er>(

k,->(o 2

o,2

f>)

(4.7)

26

_________

,@t

22

,.

+ ,,.c,,. >
+

2>
;,)

(4.8)
(4.9)
(4.10)

u.
48

Capitulo 1

SOLUCIONES EXACTAS EN ESPACIO PLANO

En este captulo solo vamos a interesarnos en lo que nosotros

hemos llamado Ansatz de Bai-tnik-MclKinnon.4, = A,. = 0. Las ~cuaclones a mesolver sc>:

m
.0

V.rr

(1

>)

(4.11)

(1

2)>

kr>(~

(412)

e,

Es conveniente definir el siguiente cambio de variables:

it

xx

r + t q y

con lo que el sistema (411/12) queda

(1

~>

(4.13)

(u + t>

1
(mt + o)> (1

(4.14)

e,

El cociente de estas dos expresiones se puede integrar completamente,

distunguienclose <los casos:

e

xxj

= 2

>

+---

semm(t(c) + U(o))

->

[ym) +

V~)

(4.15)
(4.16)
e

Y an nos que queda por mesolver (4.14). Analicemos estos casos por
separado

4.1.1

k=1, Tipos algebraicos

Iff~, 1V]1, 0p

En trminos de las funciones U y U (4.14) se escribe:

U
0 V,,( u + e)>

cos>(U + U)

e,-

a,

e,

9<

e,

49

4.1. Espacio Minkowski

Esta ecuacion se resuelve comupletamente en el apndice 1. Presenta

basicamente dos tipos (le soluciones. El primero est cla.<lo por:

fi

Cuando e/e1 + cte2

xx

/nju~ + cte1

xx

2
7 SUj uo( mi)

xx

cte2

519<> cdi) (un 1 mar

apndice

o en

otras pala.~rasr > 1. eit<>iices cl c ainpo no es real - 5 iii embargo, si

de1 +

de> xx

jv t > m-. s (mmc ticume seulti<l() la. soluicim ol>temuicla, y- el

campo ; es

1 mm

El segundo tipo de soluciones es:

(7

xx

arctg(Jm +

ti) +

cte1

arel q(Jm

ti)

cte1

>

Entonces el campo Yang-Milis es real y vale:

1 xi;

v~ +
donde x = itt +

ti.

e y = 3m

mi

(3

.~>

(4.17)

y mi son constantes <le integracuon.

obsrvese crme esta. u ti nia. se me<le a.l>s<> rber recleH u ienclo el origen ce
tiempos). La solucion (le se conoce, en este ansatz, en la bil)liografica
consultada (vease ref. [3j)
es la De Alfaro. Fubimti y Furlan Se obtiene
cuando la constante 3 xx 1. Entonces la funcin tiene sentido en todo
espacio minkowski. Si 3 ~ 1 y real. se obtiene bsicamente la misma
solucin salvo un cambio de escala de las coordenadas empleadas. Sin

e,

50

(apmtuo

-1.501.1 TCIONES EXA (77145 fiN ESPACIO PA NO

embargo, cuando es imaginaria, la solucin tiene sentido tan solo en

a,

cleterninaclas reaiones delimitadas por

e,

reomon
interior
d

itt

mi!

<

1 y iv

[)u + mi] > 1 y 3v

region exterior

<

mi]

mi] >

1
1.
u

Fuera de las cuales es imagunaria.

u-

4.1.2

k=-2, Tipos algebraicos 1o, 11o, D

0, fo, IVL, 00

Dividiendo las ecuaciones (4.13) y (4.14) se llega a:

xx

[71

9<

e-

Al integrar estas ex)resiones se obtiene la. ligadura (4.16) (donde U,~

O y 1/,.

xx

V). A diferencia de e = 1, ahora no podernos despejar p y

los clculos se complican. En cualquier caso, podemos entrar con los

resultados anteriores en (4.14) obteniendo

0

(4.18)

2LTU(u + e)> = (1

Calculando la derivada logartmica con respecto a u yQy restando se

llega a
o

51>

((mm + 7)

que se integran completamente con:

1?,.
2

l(u +

o
L)

u.

42.

Espacio Fuclideo

51

(7=

mm,> +

~v+ ~a
1

1~=

e>U

+ e3

Entonces, podemos despejar <le (4.18),

-A

2(u. + m)>UV

derivando respecto a mm y clespej ando en

= (1(1

~2>I se llega a la

expresi~n siguiente:

2V

(mm. + m)Ul(2Ammm + e>> = .i/

q te en mt + u = 0. y (lonsec u e m tem te it e (1

2(m + <(U
xx

2UU

. Id) se ptecle cumplir

para nngl u

2( =4(/

-2

Por tanto, concluimos que io exmsten soluciones (no triviales) YangMilIs en espacio plano de tipos algebraicos 2<0 y com simetra esferca.

4.2

Espacio Euclideo

Algunas de las soluciomes Yang-MilIs que mas desarrollos Han motivado

con posterioridad a su aparicin surgieron en el caso euclideo. Eittx-e ellas destacan las soluciones

instamtnicas y las soluciones mernicas

e,

nl

52

Captulo 4.SOLt~CIONES EXACT4S EN ESPACIO PL4NO

Las primeras caracterizadas por ser regulares y tener el campo Yang-

MilIs concentra<lo en una deterninada regin de la variedad enclidea.

de forma que la carga topolgica (es decir la integral en todo R4
de la densidad F ,,, F0) es finita y cuantizada.
la solucin 1-insl antnica. por l3elavin y col.

Tras

la aparicin de

[17], han ido obtenien-

dose las solucines generales n-instatnicas por diferentes autores. Las

const-ucciones ms faixiosas son las debidas a Witten [7].1 Hooft y
Atiyal [31 Fmi to<los los casos estas ecuaciones se obtienen al resolver la
condiciii ce auto(lLiali<la(l. CoLud) dijiLuos en el captulo 2.. la solucin
u

1-instautnica a la Wittcu posee siinetra SO(4).

como dijimos en el

tercero, la condicin necesaria de simetra coincide con la condicin de

degeneracin algebraica con e = 1. Por tanto la solucin 1-instantnica

a la Witten pertenece al grupo de soluciones que nos hemos planteado

encontrar.

e,

Las otras soluciones a que nos hemos referido anteriormente

son las mernicas. en este caso caracterizadas por poseer concentraciones puntuales. (donde la solucin es singular) de carga topolgica
semcuantizada. Se conocen explcitamente las soluciones tipo mern,

9,

meron- uteron t ineron-ant ineron. as como resu Itaclos que <lenmestran

la. existencia <le soluciones tipo n-rnern [3]. Hemos comprobado que,
cuando las concetracones de carga topolgica estn situadas a lo largo

del eje <le tiempo enclideo (x la solucin tiene simetra esfrica) las
solLiciones mernicas que se obtiene son tambin algebraicamentes espedales (con k=1).

Segn se puede ver en el trabajo de Actor, es

posible conseguir. mediante una transformacin gauge singular (en la

que se pierde el valor de la carga topolgica) transformar estas soluciones de forma que pertenezcan al ansatz de B.M. En lo que sigue

42. Espacio Fuclideo

53

vamos a obtener la solucin general al problema de simetra esferca

con degeneracin algebraica x en este mnmsmo ansatz.

por tanto ob-

tendremos un conjunto ce solimciones que incluyen a las soliuciones tipo

meron, meron-meron

nieron-a.ntmmeron, en este Ansatz peculiar (a la

Actor).
En espacio enclicleo el sistema <le ecuaciones es:
xx 214,;>

(4.i9)

(m>F,,.), =2>1,.;>

4 + 4~

(;,.).,. +

xx

(1

(A,),, + (;<l,.)~,. + ;~{ + _4>

(4.20)

A)

(4.21)

(4.22)

La ligadura algebraica se escribe

Fmr(

(rflj> + ((1
_________
;>)

1- ;>)

xx

/4 A1;;,.

e(( + Af;> +

A,.;;,)

(it +

1>))

(4.23)
(4.24)

Al igual que en el caso minkowski, el sistema <le ecuaciones se puede

resolver parcialmente con:
2

At=~~+i~; A,.

r(c

~>

xx

con lo que el sistema fimai a resolver es

o>,.

rr

26)> + (1

2<)(1

;>)>)

>2

(4.25)

2;,.,- + 2;4,,

(1

&,

+ y + 7

;>)

xx

2(c

26

(4.26)

er>(;,, +

kr>(6>,. + ~ + ;>j

;,.~,.)

2;>~)

(4.27)
(4.28)

e
Captulo 4. SOLUCIONES EXACT-S EN ESPACIO PLANO

54

Y en el ansatz deB.M.
(1
(1

ph>

xx

;>

kr>( +

(-4.29)
(4.30)

1,)

9<

Ahora las variables convenientes son:

=r+it

e-

f=rzt

en las cine el sistema se escribe

;(1

>

(4.31)

(z + 5)>

e,

1.

(4.32)

El cociente de estas dos expresiones se puede integrar completamente.

(en esta ocasin solo existe un caso, pues e

xx

2 no es posible)
9<

k=1;=

sen(Z(z) + VV(S))

(4.33)
9<

ms la ligadura:

ZJU4:--s)> =cos>(Z-4-W)

(4.34)

Esta ecuacin est resuelta en general en el apndice 1. Podemos disu

tinguir bsicamente <los tipos de soltmciones:

9<

4.2.1

Mern
u-

La primera de ellas, generadora del mern

dice, es:

en la notacin del apn9<.

mv

42. Espacio Fuclideo

5.5

U = luz + cte1
~1

-luz

2i

cte1

que desarrollando la expresin (4.33) nos da para la funcin ;

1

(4.35)

Que es exactamente la expresomm <lime a.l)arece en [3] para el nern en

el ansa.tz de 13. Nl.
4.2.2

Mern-Mern, Mern-Antimern y nuevas

sol uc jo ne 5

La otra solucin general de la ecuacin (4.34), generadora del multimern en el apndice. es:
ir
Z = orcg(z +

IU

= orcty(45

mi)

+ cte.>
mi)

->

cte>

Que desarrollando la expresin (4.33). nos da

;xx

1
1 +

(3: +

)(t ti)
1 + (35

(4: + mi)2)(

(4.36)
mi)>

l)onde ~ y mi son comst a uit es i mm <lot erntm miadas cmi pri mi ci pio. Si 3 es real
y ~ es imaginaria. entonces reobtenemnos las soluciones mneron-meron y

meron-antimern en el gauge de B. M. Concretando un poco mas

9
dxx

(ab)

e.

u
Captulo 4. SOLUCIONES EXA(T45 EN ESPA (710 PLANO

56

ti

.2(u $6
(a 6)

representa el muern-memn que aparece en la notacin de Actor con

singularidades en r = O

u.

a y 1 xx b. Y
t
3=

(1
a-

Representa un meron-aitimern, con singularidades en 1 = a y 1 xx

0

Sin euitba.rgo, cimamdo 3 es imaginario, y

presin para es meal (cuaido

mi

es tal que la ex-

es real. y por lo tanto, puede ser

mi

absorbido redelendo ci origen (le tiempos) se trata de una solucin que

no pertenece a mmigimmo to los 1 ipos

uii(-rnicos

Si 3
mi =

xx

i.

redefimmiendo el omigen de tiempos de forma que

0. entonces la solucin encontrada es

1 +
(1

z2)(i

5>)

(4.37)
e

que presenta una singularidad en 1 = O y r = 1. No se ha encontrado,

en la bibliografa consultada, icferencias a esta solucin.

4.3

Caso esttico. Fuclideo y Minkowski.

e

En el capitulo 2. vimos como el caso estatico se distingue del resto

de simetras espacio-temporales.

En efecto, repasando las considera-

43. Caso esttico. Luclideo

Al inkowski.

ciones que hicimos al planteariios la existencia de simetras adicionales

a la simetra esfrica, vimos que si la solucin es esttica, no debe
cumplir ninguma condicion algebraica. sobre las componentes del campo
Yang- MilIs. En este captulo, donde liemos resuelto explcitamente las
ecuaciones de evolucin en un ansatz determinado y con una ligadura
de degeneracin algebraica adicional, vamos a ver que tambin el caso
estat ico se diferencia <le caso gemera 1.
soluciones estticas

(Lime lO

CS

posible encontrar

cp me u rteu m ezcan a uno <le los

ti

pos especiales

(excepto las triviales).

Las ecuacion es a resol ver son las miii sm as ei espacios eticldeo
y

un inl-cowsk

yt,.,.

(1

(1

4)

(118)

nJ)> =

J.p> Ss-,.

(4.39)

Derivando en la segunda ecuacin. y haciendo uso ce la primera se llega

a que ;> = 1

er>, entrando con este resultado en la segunda se llega

fcilmente a que e = 0. y por tanto, solo persiste la solucin trivial

xx

1, c~ue cia soluciones gatge pmras.

e.
58

Captulo 4. SOLUCIONES EXACT4S EN ESE-MC10 PLANO

e,

e,

a-

u.

e,,

9<

e,

Captulo 5
SOLUCIONES EXACTAS
CON METRICA
LORENTZIANA
En 1 .988 apareci u n< (le los res Lmlt a(los mas i nf lii y-entes en cima mito a
.soluciomes clasicas se mehere. Se trata del artculo (le Ba.m t um x \lcNin
[283 cii el <pIE se (>l)tiemi(-mi fuertes ex-idemcia.s Imumneulcas d- la exs
tenca <le miii conjunto dc sollmciomes est.ti(-as. co snv

ti

sin singularidades para. un sistema <le ecuaciones Li ustein

-

ma

steri<-a y

N ang Nl ils.

Su importancia raclica cii priner Ligar en que clescarta la existencia de

~mnteorema

Yang-MilIs anlogo a otro que existe en otras situaciones

semejantes [281. En efecto, est demostrado <pe no existen solitciones

con simetra esfrica, estticas y regulares tanto en el caso Yang-MilIs
en

vacio, como el caso gravitatorio cr ausenca de fluentes. comuo para

Einstein-Maxwell, por lo ~iie pareca natura] pensar en la existencia

de un teorema anlogo para Einstein-Yang-Milis. Lii segLilido lga, la
solucin presenta un coniportamnento (rnnmico). que ce alguna forma
hace pensar en una solucin tipo partcula. Presenta, a grandes rasgos, tres regiones coii comportam meatos esenca Intente distintos, Y (105
59

60

Captulo 5.SOL UCIONES EXACi1145 (QN METIUC.4 LORENTZIANA

regiones de empalme.

La regin interior est caracterizada por unos

intensos campos Yauig-Mills. la primera regin de empalme caracterizada por rpidas f lctuaciones del campo y de los coeficientes de

la mtrica. Estas f luctmaciones decaen rpidainente en la regin intermedia, doide el campo Yang-MilIs tiene un comportamiento senmeante al <le un m nonopo U) magntico, con un a mtrica uy semejante
a la. <le Reissier-Norclstuo. Fmi la segun<la. zona <le empalme la carga
magntica decae a cero hasta llegarse finalmente a la regin exterior,
donde el campo Yang-MilIs ha desaparecido

la mtrica se aproxma a
u

la de Schwarzschild. A raz de este trabajo han ido apareciendo otros

tales como el de Bizon [29] donde, partiendo de las ecuaciones del trabajo anterior. se buscan soltmciones tipo agujero negro, es decir, con un
horizomte ce sucesos. Straumann

Zhou [32] estudian la no estabilidad

de la solucin ce BM.. limitndose de esta forma la posibilidad de ser

interpretada coino partcula. Ershov
existencia

BM.
Bizon

y
y

a-

Caltsov [33] demuestran la no

de soluciones con el buen comportamiento de la solucin de

con cargas elctrica y magntica simultaneamente. Finalmente

Popp [34]. citan una referencia ([37]. a la dltme el autor no ha

u.

tenido acceso) ce la. que mercionan una prueba rigurosa <le exstencma
de la solucin ce BM. <le menor energma..

u.

e,.

Mentiramos a la verdad si no reconociesemos que uno de

los objetivos originales de este trabajo, fue intentar obtener de forma
explcita esta solucin (recordemos cjue solo es conocida por simulacin

u.

nunerica). Adelantando conclusiones, veremos que en nuestro esquema

no es

posible encontrar soluciones estticas (como se poda intuir de

los resultados del ~lt imno )Umnto <le capitulo anterior) y, por tanto, no
nos es posible encontrar las soluciones de BM. y Bizon. Sin embargo,

e.

e,.

Planteamiento del problema

5.1.

61

hemos sido capaces, como comsecuencia de la sencillez que presenta la

clasificacin ce Carmel i cmi ca m pos con simet ra esfrica, ce, al menos,
caracterizarlas algebraica mnent e.

5.1

Planteamiento del problema

N Uiest mc> objetivo sera

por ta m o. resolver las ((la c ouies <le evolucmon

ac(>pla(la.s I-imsl.emi

Thu
e \lil Is. (omm smmel ra esfrica y ligadas alge
-

braicamente por la rela<iom (3. 8/19).

Con tina mi il rica cl go m al parameti zaida por
ds> xx (6.
don de r

>

<it + ( >~dm> + r> ((10> +

.56<>>

son fmi cou es ce las coorclen aclas (1.

(51)

(ide)

Las ecu aciones de

evolucin Yang-MilIs. cm> el caso de campos con sunetrma esfrica y en

el gauge en que > = 1) son:
(,>,r~)p

),,.

__

(5.2)

(,>6rPJ2,), xx ~
(r#P;

).,

(<

T~<},

).

r+P,.~2

(~7)
r--r42

(.5:3)

54
T>1,.),,.
46f,4)

~r-4~<<

+ (e

(TP~,.,4,.

xx2 O

(5.5)

pr(

La ligadura algebraica se escribe

j>) xx k(At;r

(56)

e;

u
Captulo -5. SOL UCIONES EXACTAS CON METRICA

62

(re~F,.)>

Afj)

(6(1

<2>

(;t.

LORENTZIANA

A~;>))

(5-7)
m

Finalmente, las ecuaciones de Einstein en el caso en que el tensor>energa-momento pm-oviene de un campo Yang-MilIs se pueden escribirtm
R~> xx2Ai(FV<P

1(F{~F

\N)

e,

4,
donde

1<

campo

Yang-Nl ils (las ecuaciones de BM se plantean en un sistema de

es la constante acoplo entre los efectos gravitacionales x el

1<

unidades en <nc

1). Con nuestra parametrizacin:

xx

o
=

11
--7,.

1
1

>

>

+
7~,.p,.

f4

e-

A gr$$W,r
p><jr
(1

+ <>T+>P(p

7,.

+ AtArS)

(5.8)

~
1,

e.
n> + nr.

+ r,t

>

(59>

-4.r~ =

.7-

9
+ AS))

2 ~,./>,,.

IYIt
Y

+ 4))

+
p,. + e>r>(p~~ + pl + 9tT~)

(5.10)

a-

(1 <>e>
-)

-1>

+ ~~2t+>P(;2

+41)+?j.

9
+41))

(5.11)

Para los tensores de Rienxann. el temsor de Ricci r a signatura de mtrica hemos

adoptado

e~ convenio

<e signos le ~26j. com

($jf = 8wJ\100
9
T

1
<E0 E <[4

[
a-

u.

5.2. Simplificacin de las ecuaciones Yang-Milis y algebraicas

63

En este punto podemos observar va. una <le las caractermsticas destacabies ce este ss tema. (le ecua< omm es x qure fue una (le las razoimes que ros
i)iotmvo originalmente.

La. forna. en la (lime aparecem las componentes

del campo Yang Nl i lIs cm m el t r 1111110 <le la <lerecha (le las ec imaciones <le

Li mis teiii es criadrt ca. dj ue es el ini s ro orden cr q re apa recen cii la

ligadura de degeneracin algebraica. mas aun, si nos olvidarnos por un
momento ce los signos cme aparecen en a nbas expresiones. resulta djULe
son idnticas. Esta. observacin mos hace smponer que s imponernos la
ligadUrra algebraica (<le la ini smna forma a. ([ile es Ii abtual en la Ii teratu m-a
imponer An satz sol>re la. forna ce los ca ni pos) corno

it

ma condcion

aadi <la a nuestro sistema de cci mac orles cli Ferei ciales Ei u stei m

Yang

Milis, podremos sirirp ificar lo sim fi (leude las- ecraciones como para resol verlas comp letarnente.

E m

d>

mos dcc t ix-a mente ese sms tena.

c Ume sigue em este ca u tu lo, resol vere-

y.

por tau lo. (>1) ten cl memos las sol ucmon

general EinsteinYang- MilIs ccm i si miet ra esfrica

algebraicamente es

pec ial

5.2

Simplificacin de las ecuaciones YangMus y algebraicas

En este apartado vamos a resolver hasta donde podamos las ecuaciones

de evolucin Yang-MilIs. haciendo uso para ello <le la simplificacin
que aparece al haber selecciona<lo un gauge concreto A continuacin,
haciendo uso de la condicin de degeneracirm algebraica, pondremos de
forma especialmuente conipacta el conjunto de ecuaciones

pLiramente

a
a

a
64

Cap talo 5. SOLUCIONES EXACT4S (QN AJE TRICA LORENTZL4NA

e

Yang-MilIs La ecuacin (.5.5) se resuelve con

(512)

Ss>

(No confundir la funcin con la coordenada angular de mismo nornbre). Con lo que las ecUmaciolles (15.2) y (5.3) se resuelven trivialmente

con
gr >6 tPR,,.

+ 2

constante

(5.13)

Obsrvese. que se trata <le una ecuacin en derivadas parciales de segundo orden.. S u est.rctma. es muy semejante a la ectiacion (5.4), por

lo que finalmente tememos un sistema de dos ecuacianes bastante semejantes en sim forma.
4-P

(r-

),~

(r--P)

r.ti +

3
Ss

ep~rSs(1
( c~~q,.}

,.

9
.4

Ss>
1~>

(514)
0

rd re

Ss
26)

(515)

Quedando la condicin algebraica:

9<

r
e(Ss.rC.r

Ss.0,,)

k(Ss~,e 2p+2T

xx

26)(l

<2>

(516)
a-

~~e4~>
>

P2r>>

Y
~;2/i
gr>

-----(1
gr>

(5.17)
0

0-

>

3.5

5.3. Soluciones estticas

Definimos 2< xx (e + 26), 1 = (1

s>). y Z =

cendo un poco (le algebra coi las ecmaciones Ya.mmgNtills

se ol>t enemi las sigu ie tes ex> resiones (ex-ol ucin

~-

A
y

1<- 1-1 a

algebraicas

algelra.ica) para la

funcin Z.
(ct+/)

Z,t ) +

xx

.,

2e~

(iZ> + eZ

~2+ e~<>/>

~A-t

IV)

(15.1 9)

JI->

5.3

(.5.18)

Soluciones estticas

Este caso se obtiene Sim

muas (pmo

uiipoumer que

la.s fumciomes

(jile

al)a.mecen

en el sistema (5.2/II) lo (le)eml(lemm <le la <oordem>acla temporal. De las

ecuaciones ce evolucin Yang-Nlills se llega a que o bien A,. = 0, o
=

0. Analizamos pcr separado ambas sitiacioes.

(i) A,.

= O

Entonces el cd> mj un t(> (e ecu aciones Ya mg- Nl i lis y (le ligad ura
algebraica se pueden escribir

).,.

(<~~<~

gr

(1
r

pr

~P(~,2(
>)>

;>) +

(e + 26)>

1
+ 7(1

;2)(c + 26>)

(520)
(15.21)

e,,

e,

66

Cap itulo 5. SOLUCIONES EXACT4S CON AlETRICA LORFNTZIANA

+ 26)> (1

_______________

ss>)>

si

+ 0,.2

gr2

(5.22)

Ss

<2/3 (c+2)(1

Ss>) L~

~1~)

(5.23)

Tratando el sistema de ecuaciones (5.22) y (5.23) como ecuaciones algebraicas, las ~LIicas soluciones posil)les son:

A> 0

6>~(i

~(c+ 26)

;>)>

xx e>->

xx

Ss

O
<7)>
e

<

ti

nit(i

y.

;>

Ss>
~(c

+ 26)

xx

eSs,r

e,

Sustituyendo en ambos casos en las ecuaciones de evolucin (520) y

(5.21)

se llega a que no exmsten soluciones distintas de las triviales

0

(gauge puros).

(u);
Si

xx O

exigimos degeneracin algebraica no existen soluciones. Sin

embargo, en este caso el sistema es lo suficientemente sencillo como

para >oclerse resolver completamente sin condiciones adicionales. Las
unicas componemtes <le camupo Yang-MilIs distintas <le cero son

(0.0, q/r>) y E;,,

= (0.0. 1 )s

nr

a-

xx

<>0. Por tanto reobtenclremos los resul-

e;

tados de Reissner-Nordstroni con carga elctrica q y carga magntica

1.
m

1 _ ~
=

9,t

1
1

1~4.g2

e-

7?

e,

a-

pl

Condicin de conmpatmbilidad

5.4.

5.4

67

Condicin de compatibilidad

Podemos plantearnos la con<licin

5.19

de

integrabilidad (le sistema -5.18 y

En efecto. tenenos u m si steina do mi (le a)a mecen <los ecuaciones

cl iferenciales en den y-a cas parciales (le seg nudo y ce primer orden res
l)ectivaniente. 5 cii p r 11c )iO es de esperar <[Le SC meclan obtener condiciones de illtegrat)ili<laUl (Le dicho sisteuia. Despejamnos Z,er+r de (5.19)
x sustituimos en (.5.18.),
ip,.

<-4-y,

xx

~2(1

tras hacer un poco ce lgebra se llega a

7
[Y, + tiZ>
-2Z(I

(++

Y) + kZ(1 Y))]

Z2
(5.24)

Repetimos los pasos anteriores (Omm Z,.

2(1

CI

1)

4>
(5.25)

donde hemos definido U y LP tal cjLie.

( c/1 = c7~Z,
Nl

ls/mil) xx ~7

Xntes de proseguir pUmede merecer la pena realizar un pequeo

repaso visual de lo que nos dicen estas expresiones recen obtenidas. En
efecto, en la primera (le ellas aI)arece la expresin

rPp,

mientras que

st

68

Captulo -5. SOL UCIONES EXACT4S (QN AlETRICA LORENTZL4NA

en la segunda tenenos e7(r. + ). Si imponemos la condicin de

integrabiliclad entre ambas expresiones para. la funcin iji apareceran

trminos ce segmmdo grado en las derivadas ce las funciones r y p, y

trminos cuadrticos en las primeras derivadas, trminos que son exactamente ce la misma forma (incluso en los signos relativos) que aque-

los que aparecen en las ecuaciones de Einstein (vease el sistema (5.8 y

5.11) y por tato, lal> rem mos comisegu co un a expreso cue (mec iante
un lgebra elemental entre las ecuaciones) nos pernmtra smmplificar el
problema inicial.
7

Por tanto, imponiendo la integrabilidad de 4, y haciendo uso

de las ecuaciones (5.2-5.7> se llega a una expresion compleja, cuyas

9<

partes real e imaginaria se deben anular por separado. distinguiendose

dos casos, o

xx

0 o

(5.26)

<C5~Pt), + <JP( r,,. +

9<

(5.27)
gr2

La primera de estas dos ecuaciones nos dice que salvo (posiblemente) cuan<lo -Y xx O (Asatz de BM.) el nico tipo algebraico
degenerado <ne puede ser solucin (le nuestro sistema es aquel en que
k=1. El caso A = O es Un poco especial en su tratamiento, y como

a-

tal se trata al final de este captulo, pero podemos adelantar que no se

obtienen otros resultados distintos del caso general al hacer

0.
0

La segunda ecuacin. (15.27). tiemie una forma muy semejante

a los trminos de la izqmierda (tensor de Ricci) en las ecuaciones de

Linstein. Si hacemos un poco de lgehraentre (5.27) y (5.8-11) llegamos

a las siguientes conclUisiones:

.7

5.4.

69

Condicin de coinpatibili<lad

Y,.

-ji.,.

-+

~-

p +

<~)

(5.28)

Redefininios la coordenada 1 dc forma cine

xx

En adelante

usaremos 1 para referi ruos a la nueva coordena da t eriipora.l 1 recien

definida. [aubn sc obtiene:

Pv,. + ~xx ~(

xx

(1

(5.29)

1<

(ZZ))

(5.30>

~2

Obsrvese como la condicin <le comiip a.ti bili<la<l obtenida anteriormente

nos ha peruntido simplificar <le forma i muportan le el problema.

Que-

remos destacar tambin que la oc ac(; (15.29) se puede transformar

fci lnente en la forna esta.m<l ar de la ecm acin de 1, iouvi Ile~, ce la c ue
se conoce smi solucin general ([7]

[:35]).5 u embargo. antes de resolver

completamente el >roblcina planteado, es necesario hacer unas pocas

manipulaciones mas.
En primer lugar <lefutiunos un cambio (le x-aria.ble a coorclenad as defi n idas a partir del cono (le Ii mz.
segUm ndl o 1 Ulga. r. red eh ni mm >os 1 (>s
xx c~cs

(~

it

+ / y

xx

gr

En

p os <-om no si gie
m~

xx

-6~(7>

(5.31)

Entonces el conjunto completo <le ecuaciones a mesolver (5.2/11) se escribe

ecuaciones ce Einstemi:
(1
gr>

c:

(5.32)

9<

70

Capftulo 5. SOLUCIONES EXACTAS CON AJETRICA LORENTZIANA

Jx[
=

2r(1

xx

2r(1

Al

2j~~2 +

~.>

(5.33)

j~2~)

6>

Y)

(5.34)

It>

6>Ry~2 +

9<

(5.35)

>1?

e,

1~>

ecuacmones Yang-MilIs:

(5.36)
-61>
2V

1?

xx

(5.37)

e,,

condicin algebm-amca:

Ij~R,~ + ,011k
1
U->

Y)

= (U?,08,.

= O

+ uv)

(5.38)

(5.39)
m

a-

5.5

Resolucin de la ecuaciones
e,

Despejando

de

la ecuacin (5.38), y sustituyendo en (-5.33), (5.34)

e.

y (5.39). y combinando estas tres, se llega a:

p,R~

ji>, IP,. +

xx

que haciendo uso de la ligadura (5.35) entre

4P.uP.u

.1(1

xx

1
R~

>1))>

e.

R
o

ji, se transforma en:

(5.40)

(5.41)
~0

0,.

71

Resolunn de la ecnacmomies

5.5.

Se puede comprobar, tras Uin clculo sencillo pero l)esaflo~ c{ue cr el

conjunto de ecuaciones (5.32)-(5.39) hay varias due som consecuencia
del cumpiimrieiito cte las otras -

De las eciiac iones (15.3:3), (5.31) y (5.39). un a <le ellas es consecuenca ce las otras <los

A su vez (15.36) y (15.37) se cii muplen aUmtoma.t m cainente s se

cumple el resto <le sistema - 1 )oucle para llegar a es e res m itado liemos
debido suponer <ime 1 no as imma constaiite (vua e<-ima.cin (15.37) este cas-o
se correspom> de a cos/
visto

<tt

xx

Q, es dcci r

.\

xx

9- o A m>sa.tz <le 13..\l cue hemos

-

es Umn <aso simgmiar omm el tral a]mmieumt() y cue est tratado cii

<Rra secciom ce esto <a.>I ulo)

El sistema. final a resolver se ha re<luci<lo fialmnente a cuatro

ecuaciones diferenciales y m a liga(iuLa:

7.

1 II,. + I<Ixx
<2(6(1

-1)

R~J?,. + J,~f,,.)

II)

( 19)

7~>

iv
,.2

Sin embargo este sisl ma no es completo <le todo. EIL eh <to

corno se puede observar en (15:33) Y (5.31). la funcin ji es creciente en
u y

it

Sin emiiba.rgo, al elegir m uest ro smstema (le ecuaciones completo,

dentro del conjunto (15.33). (15.34) y- (15.39) solo <los de ellas eran in(le-

e
72

Captulo 5

SOLUCIONES EXA(T45 (QN METRI< A LORENTZIANA

pendientes y para construir el sistema de ecuaciones final optamos por

escoger (5.39) y el prodctc0 de (5.33) y (5.34), con lo que perdimos

parte de la informacin inicial. (los signos de las derivadas de p), a cam-

u.

bio de disponer de un conjunto de ecuaciones mas sencillo. Por tanto,

para resolver correctamente el problema planteado, al final del proceso

e,

de resolucin deberemos quedarnos tan solo con aquellas soluciones que

tengan un ji crecen te en mt y o.

a-

En el sistema de ecuaciones anterior hay dos ecuaciones (5.42)

y (5.43). donde la funcin j> est desacoplada del resto. La primera se

e,,

puede transformar fcilmente a la ecuacin de Liouvil]e, cuya solucin

general es conocida. Por tanto, la resolucin de estas dos ecuaciones
se puede l9lantear como la bsqecla ce Lis soluciones de la ecuacion
ce LioUvi le c ime ciii i>plem (15. [3)

Su1 embargo, por sencillez, hemos

preferido seguir otro proceso. Resolvemos inicialrnente la ecuacin que

se obtiene de dividir las dos exl)resiones anteriores

p.( 1

62(6) =

Cuya solucin general es

u.

/<> (sen (U + Y))

(5.47)
donde U xx U(u) y y = l(m). La ecuacin que queda por resolver es
ji =

4(4,, S,(im. +

i)> =

sen>(2t~ + 2V)

(5.48)

Obsrvese que esta ecuacin es la misma c1ue aparecio en captulo 4.

Su solucin general se encrme>tra en el apndice 1; existen bsicamente

cJos soluciones, la primera (generadora del niultimern )

(/ xx ~

y(agrotg(3m + mi))

e.

0,

-5.5. Resolucin de la ecuacolme.s

Y
~

73

1
=

3(crcotq(.3m

mi))

tanto, el coeficiente <le la mtrica es:

L-,. xx

xx

1 (3m, + AA/ii mi)

-(1

1<1 + (d + miV)

(1 +

(ji

(5.49)

mi)>)

Donde e es un a constante que vale 1.y que aparece por la multvalnacin de la crcotq (cl ida u mu u cotq existen dos posi bi liclades para los
valores del seno y del o.scm o)

La segurm ca sol mci m es:

1

xx

.3

[mi

-/J/(

(1
=

h~M~
a

+ <Su

:3

1)
+ 6>
ti

4i

(lomo se puede ver en e apndice este caso tiene dos posibilidades.

cuaiido <S1 + 6> = O se obtiene (7om(> coeli ceiite de la netr ca:
1 (
6>p

(m

+ 4)1

I(t

4y

(u

Esta solucin la <lesca.rt amos. ues es negatix-a y su compor

tamiento asinttico degenera. Cuan<lo t~ + 6> = .4 la solucin cue se
obtiene no es real.
Luego tan solo tocios una sulucton admuisible <lacIa por la
expresin (15.49). Teien os, [)O r tau i t q me si u Ji aber estmel to con> pleta
-

nient e el problema <le ecu a.cio mes di fe mci> u i LI es c e mos ) 1a.tea nos cmi [Li
princil)io, ya hemos pocli<lo cleteimnar por completo cual es la forma

u.
74

CaptuloS. SOLUCIONES EXACTAS CON MFTRIC.4 LORENTZIANA

de las componentes del tensor mtrico. En lo que sigue haremos uso de

este resultado j~ara., entrando con l en las ecuaciones (5.44) y (5.45),

resolver completamente el problema.

La ecuacion (15.44) entonces es

(donde hemos (lefinido y

xx

xx

3u

+ mi e y

ir

mi):

f.m

1+x>+cJk~

1+!/>=0

que nos fija la depem i(ienci a Lun cional ce la funcin

1 =

1(/nQm +

1 +x>) -6 in(y+

1 +yfl)

1
=

en r y y

1W

a-

(5.50)
u

Si calculamos e valor de

de la ligadura (5.46) llegamos a:

e> ~ a partir

62]? =

(.r + ~/)>(<(1
83>1< (c(i

xy) +
(1 + xfl(1 + y>)
xy) + (1 + 03(1 + y>))

La ltima ecmacion a resolver es (5.45). El caso ms sencillo

que podemos analizar es cuando

constante,

existe una solucin

dada por

senl =

KB

y para que tenga solucin real 3 debe ser imaginaria.

Como vimos

anteriormente en el caso en qme es constante no podemos decir que la

ecuacin (5.37) sea consecuencia del resto. Si la desarrollamos en este

caso, la ecuacin que henios ce imponer por tanto es:

e

cos
Lo que nos fija definitivamente

/i =

= O

(imaginaria, por tanto). Este

caso se reduce por tanto a X 0. que vimos anteriormente que era singuIar en nuestro tratamiento, sin embargo como veremos en el apartado

u,

/5.5.

Resolu(jo?) de la ce ilaciones

o.6, los resUiltados expuestos amteriormente como caso lmite cuando

1

constante son vlidos y concmden con los que obtendremos al

desarrollar ci icho caso si ngu lar co vi pletament e.

Cuando 1

constan U la ec<ua.cin (5.45) en trminos ce x e

m se escribe:
1

(x +

<<(1 + (~~.s(flI) xx (JkR~

(15.151)

mj)>

(onoceinos todas las ftm u motes < tie aparecen sal xo la dependencia explcita de 1 cmi fujcin de 4 es (lec ir (15.151) se t ra nsformna. en una ecm acion
cuadrtica cii la dcii ~a la l~ 1 com respecto a 4:

<>1 xx (1 + 1>)

__________

.3

(15.152)

k[

(con 1 = d~ 1). Entran co en

(15.50)

d(>ii UI u

3 i naginario la prin~ra

conclusin cine podemos observar es <nc la variable 4 en general no

tiene por que ser real. tambien es trivial comprobar uc

HO

en todas

las regiones del espacio tiempo la untrica es real, sino tan solo en dos
regiones, cada una de ellas com mu a elecc IOIi (le las con st antes dadas
por:

ea.

s u+miJ <1

Le

mi

<1:

entonces e = +1 para que la mntrca sea a)m-oxiina.damente mml-cowski lejos del borde.
b. si L<> +

mi[

> 1

y )r

mi[ >

1:

para ( ue se cu mli pl a la cou 1(1 ciom <le positividad ce las den vadas
de ji con respecto a u y

entonces siyno( >f) xx

5 791? o( u)

(1 > i

e-

76

Captulo 5. SOL LTCIONES EXACTAS CON METRICA LORENTZIANA

y

adems c = 1 si imponemos que la mtrica sea minkowski

lejos del borde.

a

Al primer caso lo conoceremos como regin interioT, neutras

que el segundo ser la regin exterior. Finalmente la ecuacin (5.52) es

a-

una ecuacion autnoma de primer grado. Pu-esenta bsicamente unas

soluciones constantes dadas por serz(I

2nw) =

t~

Al)!. Cmando

~ constante: analizamos los casos a. y b. or separado.

0

En el caso a. (Regin interior) la variable 4 es imaginaria,

(0, 1/ l~!)~ (1/ [3[, 0) y (0, 1/ !~[) que marcan los

(los puntos (mt)

e,

vrtices de la -egin del espacio tiempo donde tiene sentido la solucin,

adquieren los valores hr. 0. y iir en la variable 4 respectivamente) y
la ecuacin autnoma se puede. en algunos casos concretos, integrar

a-

explcitamente en trminos de funciones conocidas. La ecuacin a resolveres

.

ase<n(f)
m

con a
dando

3j~7-fl~

Si 1 > a > O podernos integrarla completamente

u

2cLrcsen(sn(i4

i+a
2

1 2a
+a

2ir

donde sn representa a la funcin seno elptica de .Jacobi. En el caso

borde en que a = 1 la expresin es:
/ xx

2)

4actag(c~~~

.9

Si a > 1, no sabemos integrar la expresin, aunque s que podemos decir

que la solucin general va estar limitada por las soluciones constantes

e,

5.5.

77

Resolucin de Ja ecuaciones

de (5.52), cue son 1 = arc.s u( j~) + 2nw (as por ejemplo, si (.4
entonces

>

>

6-

01 )serv-ese cjme en el caso en cjmme (1 >

xx

ci) no

existen soluciones comstamtes.

Em el caso b.

(regin exterior) no liemos si <lo capaces <le

integrar la ecuacion aiLto 11011 la corres poLi<l iciLte en trminos <le funciones
conocidas

Pese a ollo ftftlei os a seg: mr la. existem cia ce sol ucioles

pues la expre<sin cii

0510

caso os:

j xx

donde o

1+

> 0. y la variable

<l.SdJ?(

1)

4. con resl)ecto a la que derx-amos,

1v]

es real (las rectas

xx

gr + 1/ b y 1

xx

~-

1/ b <jime <Idi nen los conos de

luz que limitan la regin posible (le esta solucin clan ara la variable
~ el valor
s

/41 + 2rJdj +

UI

>

+ 40k

Si a < 1 no existen soluciones reales de nuestra ecuacin aUltnorna.

Sin embargo. si o > 1 entonces teneunos dos soluciomes constantes.
entre las dlue estn limitadas las soltuciomies no comistam>tes (que. por los
razonamientos expresados atorornwte. son las que nos interesan en
este caso geimeral)
>~

> >

A~4 por cjemnpl() .si o xx 2 entonces se cumplir, cine

lmem> los. pom tut o. aseUIiIa(la la existemm<a. <le 50111(iOrWs

>3

(le uestmo sistema e e(imaciommes. si bem. cu este caso. mo Lemnos sido

capaces ce l)onerlas cii trmiiin(>s ce funciones conocidas.

-7

78

Capt lo 5. SOL ICIONES EXACTAS CON METRICA LORENTZIANA

5.6

Ansatz de Bartnik-McKinnou

Cuando la funcin X xx 0, estamos en un caso singular en el cual el pro-

ceso anterior no es vlido. El objetivo de este apartado es resolver este

caso

)Oi

separa do. aun que fi nal muen te observaremos. <ue su solucin co-

incide cori la que se obteuiclra como caso lmite del caso general cuando
3Cfl(

1)

= 1-

La condicion Y = 0. se traduce (deshaciendo los cam-

bios ce notacin <lefiidos em el apartado 15.2) en que las funciones A,

A,. son nulas.

(y

por tanto tenemos una nica funcin, ;, c~ue nos

define completamente el potencial Yang-MilIs). Esta condicin se ha

impuesto de forma habitual en la literatura para obtener soluciones

e,

exactas en el caso Einstein-Yang-Milis corno un Ansatz sobre las componentes del potencial (se trata del Ansatz de partida de B.M para
obtener su solucin). En nuestro caso cl enfoque es distinto, pues no
ha si<lo impuesto comno nma condicin arbitraria a fin ce simplificar las
e,:

ecuaciones, sino que aparece como un caso singular en un proceso de

resolucin ms general.

Los resultados de este apartado aparecen en

0

([30], [31]).
El Poteilcial Yang-Milis en componentes es:

A,

xx

(0,0.0>:

A0 = (;O,O);

A6

A,. = (0,0.0)
xx

(0, ;sinb, cosO)

a-

Las componentes del campo Yang-MilIs son:

7

F6,. = (0,0,0);
xx

(0.0. (1

F10 = (y~,0,0);

>).senO);

F,.0

xx

Fn~ = (0,

(ss,., 0,0);

t&,8CflO,O)

xx

(0,

SsrsnO, 0)

st

5.6. Ansa~z de Bartnik-McKinnon

79

El sistema completo <le ecuaciones Einstein

Yang-MilIs se

Ss>)

(5.53)

P.t = ~~Ss~Ssr

(.5.54)

escribe tras un lgebra trivial comno:

>~

(7~~~

(C

2
7,. ~TJ>,.

<2

rI~2r(1>u

T~P;)

9
+ ~7,. +

U.

gr
9

-p2r +

+<,

<ji,,. +

e
gr

p>

>~tp.<> + It

1 P.r +

(15.55)

7>

+ pf7~.t )

(6

(7

__

gr>

ji,.

xx

(1

9
~J~~(&>>P;>~

(5.56)

+ Ss)

(5.57)

gr

Finalmente, la condicin de degeneracin algebraica es muy sencilla de

e scr i 191 r:
(6
gr

Ss>)>

ky,.

2r4-2

(5

>4

--58)

Distinguimos dos casos

(i)Caso esttico
La condicin <le esta.tici<lacl implica c~ue todas las funciones
definidas anteriormente clepen<len tan solo ce la coor<lena.da gr. Salvo

la ecuacmom m (,5.58).

y com u ma constamm te ce aco >1<> A

xx

1, este es el

caso que se plantean para resolver tanto H.M [28] como Bizon [29] a]
obtener sus soluciones.
Es trivial observar que e < O no es posible. En el caso e = +1

80

Captulo 5. SOL UCIONES EXACTAS CON METRICA LORENTZIANA

es preciso un anlisis un poco ms elaborado.

La ecuacin (5.58) se

puede escribir
mr-

6>

st

donde e representa unicamente 1. Despejando esta ltima expresin

en (5.53) se llega a:
xx

..1(1 + 66>Ss)
gr

Haciendo un poco de algebra entre las expresiones del sistema se llega

a

ji.,.

(1 + <~Ss)

u.-

y por tanto r

xx

ji (redefiniendo la coordenada

t).y

e>> = 1
5

No es posible obtener soluciones estticas

(y

por tanto las

soluciones de B. NL. y Bizon) en nuestro esquemna. Pese a ello podernos,

-7

al menos, caracterzar este tipo de soluciones dentro de la clasificacin

de Carmeli. En efecto, en el capitulo 3. vimos cue son solo posibles los
tipos D~ y O, y 0o (este ltimo se corresponde a las soluciones gauge
puro) para campos Yang-Milis con simetra esfrica, estticos y en el

9<

Ansatz de BM. Puesto que la condicin algebraica no se puede cumplir

para las soluciones estticas, es evidente que todas ellas deben ser tipo

D~.
(ii)Caso no esttico
De la compatibilidad de la ecuacin (5.58) con el resto se

e,

a-

e;

81

a.6. Ansatz de Bartnik-McKinnon

obtienen (procediendo de forma anloga al caso general) <los ecuaciones

U,

e
xx

iI>

donde heu mos (lefi ni (1<)

gr

( 4 ) y ;,~ 6 p

= (1

2
7

xx 1 .s lm

(1
IT

i)(m

1 -

0(f,.

qi, xx

(.5.59)

l)~)

ji,

(15.60)
c-/m (~1>). La cocl i

cion <le integrabilidad [)ara. di mos (la:

2
T,.,.

Trji~r

1~,.

1>.~ -1- ~

~ji,tt

(e

jij

+ PCi)

2)u- (~1
>

hp> )(5.6i

Comparando esta ecuacin con (15.1515-57) se obtiene

1
<e

1);>)
+

i~~+>>
gr

62>

ti

(5.62)

:3

24< [

(e

2)({ +

(~

(5.63)

1);>)

La compatibilidad <le estas dos expresiones con el sistema de ecuaciones

completo nos lleva a
2 A
<1
7

2)2(1

( l

/v

(e

+ 1

/I-

1)))

Que es una identicla<l si e = 1. y em caso contrario =

xx

;(-

(15.64)
pero

entonces estamos en el caso esttico qme no tiene solucin. Luego por

tanto
(15.65)

kxxl
6

2>

(.5.66)
ik(1

1)>

en consecuencia se ve fcilueite <me:

xx

ji,.

(5.67)

>

82

Captulo 5. SOLUCIONES EXACTAS CON METRICA LORENTZIANA

Es decir, reobtenemos exactamente los mismos resultados que se obtu-

vieron en el caso general. Procediendo (le forma semejante a como se

hizo entonces (parametrizando Y

donde A = 1), se llega al

\6~

e-

siguiente conjunto ce ecuaciones

m

1>

9~.>

21v 2
-Ss U
gr

ji>~ =

a-

e,,-

PA) = Ssv

gr

1
Pat xx
6

2>

4,2(1

e>>)

kc>>(1

Este conjunto de ecuaciones es equivalente a resolver el sistema:

1
>v

2> xx 1

1
(1
41.2

PU>

(5.68)

(5.69)

u.

(5.70)

Pu ji.>

fi,,. It.
ms las ligaduras p,~ > 0,

ji,,.

gr2

>

se

e>>)>

2>

(1

Se9)

(5.71)

0. Las ecuaciones (5.69-70) se resuelven

con:

u.
6

=}1{6

1[1 (itt + <iv ti)]

[1 (>3<> + mi)>) [1+ (/3v mi)>]

(57)~

e,

u,.

5.7.

83

Propiedades de la solucin

Finalmente solo queda por imponer (5.71) que se resULelve con 3 inlagnarla

+1.

si liu+[<1viJ?--2I<

A
si [,du + miJ > 1

mi[

+1,

1
=

it

(5.73)

1.

6xx

<

1, ~ /1=

1
(5.74)

> 1. La ligadura del signo de las derivadas

ce p tan solo nos rest r i Lige este segundo caso. Sol<> ser >osi l91e cuan do

rn o( u)

Comc l ven <1<). el caso singular c Ule planteamos

en la seccii 5.4 Se >11 o le tratar exa.cta.nemm te comno el caso un te <le la
-~

xx s-pm o< e) -

solucin general obteiidL mlii sim mas q~me hacer 1 xx

2

5.7
51.1

Propiedades de la solucin
Regiones permitidas

IDe la definicin de u
mi

y U

observamos que se puede absorber la constante

redefiniendo el origen de tiempos (en adelante prescindiremos de ella).

Por tanto, la expresin ms sencilla (le la muetrica es (eligiendo 3 =

2>

xxq,.,.

xx/<> =

1
2

+(

(1

1+itt
mR) (1

o>)

Que solo tiene sentido (cs real) en las regiones delimitadas por
a[ <

1.

~ <

1 (en adelante regin interior) y

9<

84

Captulo 5.

SOLUCIONES EXACT4S CON METRICA LORENTZIANA

u[ > 1, vj > 1 y .siyno(u)

= signo(v)

(en adelante regin

e,

exterior).
9<

e;

En el origen espacial (- = 0) la Ln.trica es niinkowski. El com

porta.Inieilt(} as imttico para tieu1905 muy grandes (tanto en ei pasado

como en el futuro) dentro de la regin permitida es tambin piano, con

una singularidad (el coeficiente de la mtrica se vuelve infinito) que se

e,

contrae hacia el origen radial desde el pasado, a lo largo del cono de luz
r = t + 1, lo toca en t xx t
de luz definido por gr xx
=

se aleja del origen situada en el cono

e.

1, partiendo de t = 1. Entre los tiempos

1,hemos tenido la solucin interior.

st

u,

Si hacemos

xx

= <2,

y ~a superficie bidimensional

que queda la sunierjimos en mmii espacio cuclideo de tres dimensiones, la

pl

forma de la superficie d{Lie queda (ver ploximo captulo [26] para los
detalles tcnicos) es exactaiuente la <le ma esfera.

En funcin de y la forma del coeficiente ~

de la mtrica para

distintos instantes <le tiempo es en el interior (figura 1.)

5.7.

Propiedades de la solucin

8.5

20
15

10

0.2

0.4

0.6

0.8

en el exterior

3
2.5

1.5

0.5

1.5

figura 2.

En todo lo anterior solo se han analizado los casos en que

6

xx

+1 para la regin interior

x- e xx 1 para la regin exterior,

86

Captulo ~5. SOLUCIONES LYACT4S CON AJETEICA LORLNTZIANA

la razn es son los nicos casos posibles en que la mtrica tiende a

minkowski al alejarse del borde.

e

Grupo de isornetra

5.7.2

La coiclicim <le isomnetra 1. AY,~

Xt, +

o se escribe en componentes:

xx

Vjij + XTji,,-

= O

+ X7p, + X7P,r =

><j~

,.2

(5.7~5)

<5.76)

(5.77)

(5.78)

+ %c>>

xx

(5.79)

>2

y0

u-

a-

X r>

Xjc>>sen>(O)

= 0

(5.80)

X~>

+ Xke>scu>(O)

-0

9.8-!-)

2%

(5.82)

<~

X
<sen>(O) + Nt
A>

0cas(O
sen(O)

= 0

(5.83)

=0

(5.84)

Las ecuaciones (15.80-84) se mesumelven con la de)endencia en las coorde-

PS

nada.s angulares dacIa por:

u.
=

7
A

30(3)

+ f>au(O) +

90(3) +

f>cos(O)co.s(4)

sen (O)

[fusenW

---f
1grcos(9) + f2grseii(O)cos(~)

facos(9)sen(~)
f2cos(&]

.f3rsen(O)sen(&

u.,
e-

e,

2%

87

57. Propiedades de la solucin

xx

ymrcos(O) + g>rsen(0)co.s()

Donde j~ y y~ son fLuliciones ce 1 y

g3rsen(O)sen(~)

Las ecuaciones por satisfacer

it

quedan como condiciones dienciales sobre estas funciones:

fl,.r + fe>>

fi-),

(qm-<

(5.85)

(15.86)

(qj)~,.

xx

(5.87)

(y1>),

(5.88)

xx

(.5.89)

+ =1,~ +

fi-ji,.

que se resuelven con

fr

1 + (Ru + mi)> +

yJ

xx

k,(

1 + (dv

mi)>)

(5.90)

(Bu

mi)>)

(5.91)

1 +

1 + (di, + mi)

En la regin interior las e, son reales

en la exterior son imaginarias.

Por tanto los generadores del gmupo <le s<>metria son:

A4.
Y>

A~.

son los de simetria csfegrica

~ Pi-sen Ocosc4 + 2k>Gr.suOco.s0,. +

2km GcosOcoso

~L ten 65
S

2t:>Im-sum0.suod,

(15.92)

6??

FcosOO,

(5.93)

21> <mO 6)706

( co_O)

6 fl

9e

1)

2L$mo 06 + >k>se rOOo

(5.95)

y donde las funciones E y U son:

E

1
=

(\

(Bu +

mi)>

+ ~I + (dv

mi)>)

(15.96)

mi)>)

(5.97)

U
Gxx--(

gr

1+ (Ru +

mi)>

1+ (dv

e
88

Captulo 5. SOLUCIONES EXACTAS CON METRICA LORENTZIANA

Si calculamos XjX~ conoceremos el genero del tipo de variedad de las

rbitas de los generadores (le simetra. Esta expresin vale (co~fi =

y mi = 0):

x U

Jfl(

u> +

zA)> + sP>]

en la -egin intermor. y
e

xi, y> =

<it>

u>

1 2

~t2>

en la regin exterior. El smbolo

itt

representa a las coordenadas carte-

sianas. En ambos casos,esas expresiones son siempre mayores que cero,

e;

por tanto las sUlperficies que se generan por la actuacin del grupo de
isometra son siempre espaciales.

Por tanto, nuestra solucin no es

u>

estacionara.

El lgebra que definen estos generadores tiene las siguientes

e.

reglas (le con rnUm tacuom

[>21,

U]

[y4yM]

L~

1x4,xi)

[X5.=3=
JA6, Xfl

[Ni.

K~]

[Al6.>0]

Ka

[Al4, Xfl

[>0~,>0>1

= O
=

[XtXfl

>0>

e,

[Al6,>0>]
xxX

rx3. Xl

i4X1

~y5

\-?]

a--Vi

vi

e,,

tr9~

1A%A]

c4A~
m

donde e xx 1 en la regin interior, e =

1,

en la regin exterior.

a-

e,,

u,

57. Propiedades de

89

solucin

la

Comparando com las reglas ce conrnutacion ce- 50(4) y 50(3. 1

(que se pueden encontrar por ejemplo en [42]), encontramos cue el
algebra de isometra es 50(4) en la regin interior,

80(3.

1) en la

regin exterior.

5.7.3

Tensor de Weyl. Tipo de BeI-Petrov

Las componentes distintas de cero <le tensor de Weyl de una mtrica

con simetra esfrica parametrizada segn (15.1) son:

Ie2r(
.1~
3

(tomO

xx

Ch
6,1 se20

r,.

p,.

+62>

xx

gr> e27.2>( 7,.,.

2
xx

~2
)

6
gr<(p0
+

rOrO xx
_______

ji>-

7
~

gr

gr

00606

p2

,2

T,.ji7

7,.

It +

ji7j)

(r

1
+ V~~e>>2p~
,.2
6
+ (2, + P,7m)

Y 4 SEt/id
xx

62>

gr>

7,.,.

________

72

r.
7P.7

~,.

p,.

<)>

gr

gr

,2

~-2

.s 6>? 20

e
e

90

Captulo 5. SOLUCIONES EXACT4S CON AIIETRICA LORENTZL4NA

Como en nuestra solucin

7-

ji

1e2> (P,rr

gr2

P.u)

e>>

e,,

Ch

0,0

12

.56120 gr (p

+9,,)
gr>

+-
>-~-

62>
=

~7Or0

-si

ji.r,. +

2>(

(0606

xx

,.2

~ 3en 20 c

7.2

+ >tm)
e-

~2

Pero esas expresiones se anulan en virtud de una de las ecuaciones que

han aparecido en el proceso de resolucin (la ecuacin de Lionville). Por

e,,

tanto, nuestra solucin tiene un tensor de Weyl identicamente nulo, y

por tanto, es tipo O en la clasificacin ce Bel-Petrov. Es decir, existe

PS

una sistema de coordenadas cmi que la mtrica es conforme plana.

5

5.7.4

Mtrica de forma conforme plana explcitamente

mt

En las coorclenclasmz y la mtrica tiene la forma

e,

<ls> = >>tltd

(u + )> df?>

(5.98)
e,,

cori
e>>

1(1+
2

donde hemos definido it =

lU

1 + it~i
9

Bu y y

las dos regiones definidas anteriormente.

(5.99)
m

Bu. ID istingu irnos

e.

e,

5.7. Propiedades de Ja solucin

91

(i) Region interior:

Si hacemos cl can> lv O <le xa.r able:
f>i>/i4

xx

xx

ta)?Ilq

entonces le mtrica <juecla

cosh(4
+
[d4drm+
_____________________
~2>

/>(2(4++ ~)
<
sn/i

dO>]

(15.100)

B>cosim.>4co.s/>q
Estamos buscando un cambio <le vaia.ble. tal que tenga forma conforme
explcitamente, es decir. <ue sea. <le la forma:
H(dadb + (a + b~dQ>)

xx

Siendo f?> la mtrica correspondiente a una esfera. La ecuacin que

se deber cumplir es por tanto:

4 + ?f
4wa + 1< = 4.senh(
)
(15.101)
donde 4 = 4(a) x y xx q(b) Que se l)lme(le com vert r mediante ni> clculo
-

sencillo, en la ecuacin <tUte se resuelve en el apendce 1. Nuevamente

tenemos <los casos. Si hacemos tuso ce la solucin generadora de nerones
(en las dos posibilida<les qUme aparecen en el apm<iice) llegarnos a un
factor conforme:
=

4(a
((a> + l)>(b> + 1)>

Asintticarnente esta expresin degenera. Haciendo uso de la funcion

generadora de multimerones llegamos a:
/]

xx

4c>(i + &abf
(1 + c>afl(1 + 2/)

>

e,

e,

92

Captulo 5. SOLUCIONES EXACT4S CON METRIQ4 LORENTZIANA

donde c es una constante real arbitraria (para que las nuevas coordenadas a y b sean reales).

e,,

Este facto- conforme tambin degenera

asntticamente.

(u) Regin exterior:

m

Ahora:
m

col a u Ii 4

c~ata>. h( y)

entonces le mtrica queda

4.atj5ct.sh2((4 +
E 2s (~Jl 1>>4s em h

[d4dq

senh$4

4coslz>(4 + q)/2)

df?>]

(5.102)

Y la ecuacin que debera satisfacerse es exactamente la misma que en

m

el caso interior. Los generadores de merones dan:

4(a

e,

II

que degenera.

1)>

Sin embargo, haciendo uso del generador de multi-

merones
e,

2iarcotq(ca) + lib

y
donde c ser imaginaria y

2iarcoig( ch)
=

46

O+nw/4 (se comprueba fcilmente que no

e,

se anade nada nuevo poniendo vi ~ 0) para que las nuevas coordenadas

a y b sean reales

Entonces el factor conforme es:

(1 + ab)
ckz>b>

e,

4%

mt

st

5.7.

Propiedades de la solucin

93

que es asintticamente ninkowski, con dos singularidades que se mueven a lo largo de los coos de luz a = O

recordamos, en el

y m5 = 0. Si

exterior solo tena se mit ulo la regiom si=jmo( u ) =

signo( u), que en este

caso se transforma en .syno(4) xx sgno( y), signo(a) = si gn.o(b).

p~ tanto este cambio <le coorclem>a.clas es valido tan solo en la regin del
espacio-tiempo t > u (<londe t ygr son las miUmevas coordenadas temporal
y radial res l)ecti va n>em i te).

5.7.5

Clasificacin segn el tensor de Ricci

Calculamos
=

(.5.103)

+ 7.,.7,r

e>( ~

R1=

+ 7.,. ji,.

+ p,,~,

2t(p

9P
tuL)
+
gr
+ p,~ r,)

(5.104)
=

~>>( ~T,,. + fl,.7,,. +

e

833

1
j~

7.,/Lr

2r,.

(ji,,, + ji,, ji.,

+ ji.tr.,)
(5.105)

3>

.2

e
7

(15.106)

donde los ndices som <mm la tel rada dagoiial trivial.

ecuaclL de

autovalores es:
(1122

La

A)2[( I?o<j +

)(R
11

A) +

R~]

xx

Nuestra solucin presenta un autovalor triple A1 = 8 = *(1

(5.107)

y uno simple A> = SR. El autovalor triple define UIH autoespacio de

dimensin tres de la forn>a

a-

e.
94

Captnlo 5. SOL UCIONES EXACT4S CON METRICA LORENTZL4NA

e
(u. ~

ji4t +
(

+ (e>>

~>~

P,U

1)/r >,

,~,>,

ji.t

que es de gnemo espacio. por tanto nuestra solucin pertenece al tipo

[(1

1 1) . 1] ci> la. notacin (le Segr [243.

m

5.7.6

Comportamiento del campo Yang-Milis

e

En el proceso anterior bemnos resuelto el sistema de ecuaciones, pero en

ningn momento >os hemos preocupado de que los campos Yang-Mus

tuvieran sentido. Por ejemplo, en e caso lmite tratado en la seccin St

(Ansatz <le BM.) parametrizan>os Y

\e9. pero a su vez Y

xx

(1 Ss>)

con lo que es posible que en determinadas circunstancias no existan y

reales. Sin embargo este no es el caso. En la regin interior (repasando

a-

(5.73))

xxl

sencillo ce \-er c~Ume cmi la regin nterior 9 < 1, y por lo tanto la

expresin anterior tiene senti<lo. Desarrollando completamente se llega
pero es

a (con iv

xx

1):
e

Por otro lado, en la regin exterior

0

.,. 1+e
1 2

e,

5.7 Propiedades de la solucin

l)(o> l)+3+ mio)

tvk>
c{ue

no presenta nmng mu >ro~ lema..

En general la forma <le los campos

potenciales Yang-Mus

no se puede expresar explcitamente ptmes para ello deberamos haber

integrado la. ecuacion autoLlo[IIa (le 1. Sim cnhargo, siempre es posible
despejar el factor 1? damdo:

xx

2(v&i

Jfl(

k3>u>)(1

O)>

o)>

~3 >)+ (1 + /iL2uv))

en el interior, y

.~

:fl(u

en el exterior

5.7.7

Clasificacin de Yang

Como vimos en el captulo 3.. la clasificacin de Yang est basada en el

rango de la matriz w definida en (3.6). Sol9re las soluciones encontradas
dicha matriz es diagonal.

casos triviales gauge puros).

clasificacin

por lo tanto su rango es ti-es (salvo en los

y

estamnos cii el caso no degenerado de esta

a
96

Captulo 5. SOL UCIONES EXACT4S CON METRICA LORENTZL4NA

Cargas elctrica y magntica

5.7.8

Existe imna generalizacin del concepto (le carga magntica y elctrica

para el caso de un campo Yang-MilIs. En simetra esfrica la expresin

es sercilla de calcular (x-ease [34]):
Carga elctrica

xxQ

Carga magntica

xxP

e-

limr-< gr>F~~
linw.~,<1

u9>)
mPS

Lmites c{ue no estn bien definidos en nuestra solucin, pues

sta solo tiene senti<io dentro ce unas regiones finitas (para un tiempo t)
de la variedad lorentziana. Por ejemplo, para la solucin en el Ansatz de
BM. la carga eltrica es nula y la carga magntica vale P = 7mar = 1 it
en la regin exterior, y P

xx

ti i en la regin interior. En general

(fuera del Ansatz), se debe cumplir que P> + Q2 = r4tax. Para el Ansatz
de B.M. los valores de (1

;>)> en funcin cte r para varios instantes

de tiempo tiene la forma

5

1
0.8

0.6

u,.

0.4

e,

0.2
e,

0.2

0.4

0.6

0.8

e-

e.

PS

e?

97

57. Propiedades de la solucin

figura 3.

en el interior y

1.5

0.5

0.5

1.5

figura 4.

en la regin exterior

5.7.9

Energa de la solucin

Segn se puede encontrar en [271. la condicin dbil de energa se expresa como cjue cualquier obsemvador medir una cantidad positiva al
calcular la componente 00 del tensor energa-momento. Es decir, c~ue
para cualquier vector temporal (w<w~, <

T0V

LL>W

>

O).

se cumple

a.

e
98

Captulo 5. SOL UCTONES EXACT4S CON METRICA LORENTZIANA

En nuestro caso el escalar 11 es nulo, por tanto, podemos calcular la

componente iv del tensor energa momento, sabiendo que R>>= T,>,

lo que nos lleva a:

T,~> w~w

e>> )( iO~

mt

) + (1

c>>)(w 02

2
mv 62 .sen>(O) ) + ~p~

1wU

gr

22
2
+ ~Pvw>
o

que es sie:m>pre positiva. co]no se con>prmeba coil solo recordar que p~ >

u-

O, ji,> > 0. e>> > 1 y <nc mmJ < ~mm#(para que el vector sea temporal)

e,
Por otro lado la condicin fuerte de energa se puede enunciar
(vease [27]) como que el vector w>T>> no es espacial, para todo vector
m

w temporal. En nuestra solucin el gnero de dicho vector se puede

calcular sencillamente dando:
mt

(1

C>>)>LU>U >

+ 7~-(1

w2

)+

e2>)>(~ztt
e,>

(2>
gr

>>)(jiUW>2

2
2
grP.twt

)) <

y por tanto se cumple tambin la condicin fuerte de energa

a-

e,-

o.

1%

e,

Captulo 6
SOLUCIONES EXACTAS
CON METRICA
EUCLIDIANA
El proceso ce resolucin del sistema de ecuaciones Einstein-Yang-MilIs
en el caso eueli<liam>o es conceptualmente mmiv semejante al cue henmos
llevado a cabo en espacio lorentziano. por tanto, nos remitiremos con
cierta frecuencia a clculos del cal)tUilo anterior.
Quizs las soluciones cue ms fama han adquirido han sido
aquellas que se han podido interpretar como agujeros gusano (wormhole). Entendemos comno una soiucim ce este ti;)o aquella tal c{ue la
variedad que representa la mtrica pm-escnta dos regiones asintticamente planas. con imna regin que las conecta. Como se describe por
ejemplo en [36] [41] es condicin necesaria para la existencia de una
solucin de esta clase el que el tenso de Ricci asociado tenga autovalores negativos. Ejemplo de solucin de este tipo es el wormhole de
Tolman que, aunque se obtuvo originalmente emi otro esquema (es la
version cUiclidlea del mmniverso dominado por radiacin (P = ~p) ce lo199

e?

2%,

100

Captulo 6. SOLUCIONES EXACTAS CON METUICA EUCLIDIANA

man). se puede obtener tan>bin de Liri sistema Einstein

Yang-MilIs

pl

[38].La mtrica tiene simetra 80(4) y es de la forma:

e,

R2

R2<11 +

R2(d-I~2 + sen2 ~PdQ2)

e,

o
m

(con df?2 mtrica de la 2-esfera) para unos valores de qi = 9 xx 2

entonces la n>trica de la superficie bidimensional que queda es:

ifi2 + R2dq~2

11>Hg
e,

Si suponemos que esta superficie est sumerjida en un espacio euclideo

plano tridimensional donde la coordenada de la nueva dimensin. z, se

e.

mueve sobre la smmperlicie (libUljandlola , entonces podernos representar

la forma de la superficie. qime. de alguna forma. nos indica el caracter

u,

ce nuestra variedad original. Em> nm.mestro caso la ecuacin a resolver es:

e

a-

que se resuelve con

mt

=iln(R+

R2~R)

mt,.

u-

a-

PS

131

figura 15.

Como se presenta en la figura 15. Para fi grandes, tenemos

dos variedades euclideas separadas que se ui>en a traves de un puente
cuyo radio mnimo es R~.
Nimestro objetivo original al plantearnos el presente clculo no
era intentar obtener soluciones de este tipo. en primer lugar debido a
que todas las conocidas (por el autor) poseen simetra SO(4), y como
vimos en el capitulo 3. la condicin necesaria para poseer dicha simetra
se desacopia de la condicin de degeneracin algebraica en espacios no
planos.

Tan solo pretem>damos aplicar los mtodos desarrollados en

e?

102

Captu/o 6. SOLUCIONES EXACTAS CON METRICA EUCLIDIANA

el capitulo anterior para obtener soluciones exactas al problema Liristein

Yang-Mills euclidiano. Sin embargo, una vez obtenidas las solu-

ciones que se presentan a continuacin pudimos comprobar que se trata-

han efectivamente de wormholes, aunque ligeramente distintos de los

que habitualmente aparecen en la literatura. Como veremos, nuestra
solucin cumple el criterio de autovalores del Ricci negativos (aunque,
como dijimos, no se trata de una condicin suficiente), y en un instante

de tiempo (t

= 0)

e.

une suavemente dos variedades asintticamente eucli-

deas. La unin se produce a traves de un puente que tiene la particum

laridad de que en la parte exterior (para valores de la coordenda radial)

es exactamente el de Tolman. pero, sin embargo, la parte interior no
esta vaca, sino <mme dibuja una esfera. Fuera de 1 = O ambas regiones

e-

(exterior e interior) estn unidas no suavemente a traves de los bordes

de un platillo. que al cabo (le un tiempo finito desaparece.

PS

6.1

Planteamiento del problema

Con una mtrica digonal parametrizada por

2%,

donde r

+ e>>dgr> + gr>(d02 + sen>O#>)

2~~>

ji son funciones de las coordenadas (1, r).

(6.1)

Las ecuaciones de

evolucin Yang-MilIs en el caso de campos con simetra esfrica y en el

0

gauge en que

2 = 0.

son:

(
02~r>ff)

~2er+>A1~

(6.2)

e,

6.1. Planteamiento del problema

103
rp

~(erPy~),

>~
),~

J4

(~r--P,

rp~

&

42

~A~cp2

(6.3)

+ er+PVA/ +

~prV(l

(6.4)

6r+P.4)

~T~tkpAr),t

~TPy~~~>

rp

(6.5)

La ligadura algebraica es
iKr(1

~2> =

(6.6)

k(Ap4s~

~ (

(.,.rJ2)2 +

2r(V~ + A/y)) +

k((jT+

ArV(P,t)

~2

>2

(s). + Av))
7,

(6.7)

Finalmente, las ecuaciones de Einstein con nuestra parametrizacin se

expresan:
.i)

Pi

1<.$,r + .4>A,>,)2)

(6.8)

1~

~P,r +

2
>2

~Yjr

+ Y

TrPr

(1

= K( ~~F?,ei2t
+

(6.9)

7,

c2r+2(p>~

Jxi( j42r
5

(1

pj,~)

<)2e2

t(s + A/y2))

(6.10)

9
T,rr

2r+2p (p

P,r + e

+ ~,r/tr

~A+ P,t~~i>
,t

7,

2r

~J<(E5e
2r+p2
~

+ A/y> +

(1

~~yfl2e2

(y<2 + A/y2))

(6.11)

))

104

Captulo 6. SOL UCTOtVES EXACTAS CON METRICA EUCLIDIANA

6.2

Simplificacin de las ecuaciones YangMilis y condicin algebraica

La ecuacin (6.5> se resuelve con

w
(6.12)

ter+P

Con lo que las ecuaciones (6.2) y (6.3) se resuelven trivialmente con

r

~r ~

+ 245 = e = constante

(6.13)

Esta ltima ecuacin y (6.4) constituyen las ecuaciones de evolucin

Yang-Milis a resolver.

(C~%p,r)r

2~rp
3

~er+D

y
2

cprV(l

(e~~~~=tr),r+ 2(p,=,rer+P +

(6.14)

2y ~erP

245

Definimos A
B

A?

(e

245).

(1

j2)

y A

(6.15)

x+Y,

Y. Haciendo un poco de lgebra con las ecuaciones Yang-

Milis y algebraicas se obtienen las siguientes expresiones (evolucin y

algebraica), para las funciones A y B.
(r~4.PA~fl +

(C~~T-~PA)

Y)2A2)
k

1~~

~A24 +Cr0A2

= 4ePr
kr2

(1

Y\A2

(6.16)
(6.17)

6.3.

195

Condicin de compatbilzdad
9

5!>

rp~2

(6.18)

Y) + 1B2)
A:
4c~~ (1
Y)B2

(c~Bfl + (E~~B.r),r = ~(2L?(1

7

(6. 19)

kv2

Obsrvese que hasta ahora la. proceso en la resolucin del problema esta
siendo completamente paralela a la realizada

6.3

cii

e] caso lorentziano.

Condicin de compatibilidad

Despejando .4,ter+P en (6.17)

susttuvendolo en (6.16).

procediendo

de forma anloga con >I.~c ~ se llega a (definiendo c~A.,

Fcos1

y eA
1 =
tr + C~~ Pi =
A
+ A

6T+P

2(1

Y) + 141
iJ~ ,~

Y)

<rPy2

A))

(6.20)

A))

(6.21)

+
E

(fi

Ar 2(1

2(1 Y) (Yr+

Y) + k(l

Y)

e inuiponiendo la integral)ili(la(I (le 1

2(r~ + 1
(T4-P)

(fi 1~

+ (1
E

Y)(2 + Iv)

(c~

I.

Iv

Procediendo de forma anloga con las cenaciones (6.18)-(6.19) (En el

caso lorentziano no fue necesario ptiesto que se trataba de dos ecuaciones y sus complejas conjugadas) se llega a (definiendo ~

e
a

e
106

Captulo 6. SOLUCIONES EXACTAS CON METRICA EUCLIDIANA

GcosA y

erB

(i,vsenA):

0~

+ erfi
0%

-4-fi

2(1li

(Y1

+ 42( 1
B

Y> + k(1

A1

Y) + B))

rP(

(6.24)

e
2(1

(6.23)

Y) (Y

Y) + 141

Y) + B))

nuevamente, exigiendo la. integrabilidad de A se llega

(erPp)
2
(Y

+ (1

restando (6.25)

Y)(2 + Iv)
(6.22)

.9

(8T

k)(l

-~Qr,~

1
7-

Y) + 2B(1

(1

))r

(6.25)

(6.26)

~-)(A + B) = O
Iv

que tiene dos soluciones, la primera A + B = 1)

,~

= O,

se trata

del Ansatz de B.M. y lo resolveremos como un caso singular al final

de este captulo. La segunda, Iv = 1, es una condicin sobre los tipos
algebraicos posibles.

se puedo expresar como que son imposibles (salvo

en el Ansatz (le BM.. (le momento) los tipos .Y~ en la clasificacin

e

algebraica.
En el caso general nos queda una unica condicin de integra-

e,

bilidad dada por

6fiT

(e~r~fi(r

+ )).~ =
y

(6.27)

Comparandola con el sistema de ecuaciones de Einstein (6.8-11) se llega

r

fcilmente a
Y

(6.28)

6.3.

Condicin de con>patibilidad

107
1

2p

~}V + Y2)

(6.29)

Hasta ahora. el proceso (le resolucin ha sido paralelo a aquel que llevamos a cabo en espacio lo ret 0 zia no (captulo 5.

pero llegado es te

uto es cuando aparecen aig u i a.s de 1 a.s diferencias ms ml)Ort antes.

En el caso loi-entza.o el paso siguiente consisti en liaran iet ri za.r las

1)1.1

funciones Ya ng- Nl it l. A e

de t a.! forma.

(6.29) fuese nica mente eit re la

(:0111

([tiC

la. ligadura, anloga a

ponente de la mtrica y una unca

funcin (
62R entonces).

Por ello liarametrizamos las funciones A? e Y

en coordenadas circulares como s (le unas coordenadas cartesianas se

tratase.

Ahora no podemos usa.r la generalizacin directa. pues es-

tarjamos perdiendo generalidad. En efecto. con una parametrizacion

2cosb( 1) e
= ~s n/>( 1) estaramos restringien(le la forma
= c
clonos nicamente a funciones fa.! queA > Y. necesitaremos por tanto
~

una parametrzacion mas oeneral.

aunque los clculos se complicaran
o
ligeramente.
Por otra. parte. la forn ja (le la, expresin ((3.29) permite un poco
ms de riego que la ana Vga en el caso lorentz ia.no. En efecto. en (5:30),
j

el coeficiente <le la. inet rl ca. esta.1 a. ob II gado a. ser > 1 ,v puesto que P.r
deba ser > O. estbamos
comportamientos cuando

01)1 ga<los a obtener una mtrica con malos

y

se alejase del origen. Sin embargo ahora, en

principio, no existe limitacin al va..lor de ) con lo cual, es de esperar,

que puedan existir soluciones de comportamiento mas suave.
Existe un caso singular en la expresin (6.29), (lado

[)OP

A =

Y, en que obtenemos la mtrica cuclidea. Es fcil de comrobar que

dicha condicin se corresponde con la. condicin de autodua.lida,d sol)re
campos algebraicamente especiales,

que, por tanto, el tensor energa-

e
108

Captulo 6. SOLUCIONES EXACTAS CON METRICA EUCLIDL4NA

momento Yang-Milis es identicamente nulo,

las ecuaciones gravitato-

nas se corresl)onden a las de vaco. El problema a resolver en este caso

es el de encontrar solucin a las ecuaciones de autodualidad Yang- Milis

en un espacio curvo de mtrica Schwarzschild. Esta cuestin no ha sido

tratada en este trabajo.

e,

6.4

Resolucin de las ecuaciones.

esttico

Caso

El caso esttico se obtiene con solo imponer que ninguna de las hinciones con que pararnetrizamos tanto la. mtrica, como cl potencial YangMilIs depende (le la (?oor(len a da. 1. Definiendo
1

A = e(c

245)

B = 5(1
0=

2)

-iv
1
7,

e,

las condicines algebraicas se pueden escribir

(A + B)2

140 + D~

que se resuelve con una (e las dos posibilidades siguientes:

e,

6.5.

109

Resolucin de las ecuaciones. (aso no estatico

>t=

k(yB=vCD

A =

q B =

Introduciendo las primeras igtaldades en las dos ecuaciones Yang-Milis

se obtienen dos ecuacines en derivadas de las r y

p incompatibles saJvo

en soluciones triviales. Procediendo (le forma similar para. el segundo

caso se llega a

(c

2c3

41

y2)

que es el caso auto(ltlal con (legeliera.ciu algebraica. Por tanto, las

ecuaciones (le Einstein se (lesacoplan (le campo Yang-MilIs.

6.5

Resolucin de las ecuaciones.

no esttico

Caso

Hacemos un cambio de variable dado por

+ ji

parametrizamos las funciones Ya ng-MilIs por

A? = ~<A?
= 617

~1 +

J2

1 + J2

(6.30)
(6.3 1)

110

Captulo 6. SOLUCIONES EXACTAS CON METRICA EUCLIDIANA

donde se admite que e = 1(e J2 > 1) e = +i (e J2 < 1). El sistema

completo de ecuaciones a resolver es entonces (donde hemos redefinido
de forma que la ecuacin (6.28) se integre con r
1

j(e

A
(1

[~t+

(6.34)
(6.35)

_________

L.~ + z( ~1+12<
fi,],
7 +

R,J,~= 0

b~e2e2R

rn2

Y)

(6.33)

24(1+12)2
1

2 2R

(1 1) fR,ZR.E + IT ~

+ 12)2]

=
+ 2 (J21)

1
2r2

(6.37)

e,

(6.38)
(6.39)

2r

2p
6R6

Despejando I,~ en (6.37)

(6.36)

1
1

(6.32)

r =
1
1.

(1Y)

1)

7,

2,,

(6.40)

sustituyendolo en (6.35), (6.36), y (6.38).

Dividiendo el resultado de (6.3-5) entre (6.36), y haciendo uso de (6.34)

se llega a
4P,zP,f =

(6.41)

y el mismo resultado se obtieiie dividiendo (6.36) entre (6.38). Luego

del sistema de ecnaciones (6.35), (6.36)

(6.38) solo es necesaria una

de ellas (en nuestro caso hemos elegido (6.3-5)) y (6.41).

Se puede comprobar que las ecuaciones (6.39) y (6.40) son

una identidad sobre soluciones del resto del sistema, siempre y cuando

1 # constante, en cuyo caso es necesario imponer (6.40). Por tanto el

e,

III

Resolucin de las vcuaciones. CO rio esttico

6.5.

sistema completo a resolver es eqtivalente a:

4P,z& =

4P,zP.s = -.<
.7.
.2p

(1

Y)

= 1

(6.42)
(6.43)

it

1
A

~(1 +

..

1)

(6.44)

2 2R

12)2

1-LI
4 + R41,5 =0

(6.42)

y-

(6.46)

(6.43) son formalmente las mismas ecuaciones que encontramos

en el caso lorentziano Su solucin general se puede obtener por tanto

de la misma forma (vease apndice 1.)

obteniendose (partiendo del

generadior (le mutt.imerones

2~

~zrr=yu=j(l+q

1(1+

1 (3:(.3:
+ h:h(1
+ K)(3&
+ (/3i

A?)2)

(~47)

e
Al igual que nos ocurria en el caso lorentziano, la solucin anterior adrnite una constante arbitraria... (K). que se puede absorber redefiniendo el
origen de la coordenada. t (t icrupo elIcli(leo) Al igual que en el caso
lorentzi ano ta mbi existe
rador (le neron

)
-

ti ia

segu d a. soltrc.ioi (a. partir del

gene

La t ra t a. os en a secc irr 6.9 de es te cap it tilo.

Sin mayor coin ph cacion se llega. a que (6.46) se resuelve en

general con
1

Definimos

= 1(arcsh(d1)

arcsh(J:) + arctsh(/3?)

qcu-cshQ3t))
y

Entonces podemos distinguir dos casos, si r

y-

por el contrario si q

j entonces 1

avcsh(/3z)
=

(6.48)

arcsh(~3t).

+1 entonces 1

1(w)

I(~). Resolvenios la ultma

ecuacion (6.45) (listingliiendo estas (los posibilidades.

.112

Captulo 6. SOLUCIONES EXACTAS CON METRICA EUCLIDIANA

Entonces e2~ y (6.45) se escriben:

(z+i)2senh2(~/2

e 2R

sen/t2(~/2) +

.~~4J<c2 cosh2(w/2)

1
&

stith2(~/2

I + J2

)[

M2

.senh2(~~/2)I2.W(1 + 12)2

Si queremos &

1tie la mtrica tenga un comportamiento asinttico eu-

clideo estaiios obligados a. que 3 sea una. constante imaginaria, por

tanto ~ ser tina variable imaginaria

w real, y por tanto, para que

2R

e > O entonces e deber ser real. Recordando la parametrizacion empleada, para que los campos A? e Y sean reales, entonces (1 + 12) > 0.
Por tanto, la expresin final a resolver ser:
1

1e

2~=

~$1

1
+

12)2

(6.49)

1 + [2 3
K
Donde la variable respecto a la que derivo es real.

u)

q=1

Entonces (6.45) se escribe:

.2R

<1

tos it2 (w/2)

(z + 5)2

tos

1-

1 + J2

cosh2(w/2

h2(w/2

3 Nc2 ~I=

tos h2(w/2)J~ (1 +

Siguiendo un razonamiento semejante se llega a que

debe ser imaginario x- (1 +
1-

l + [2

[2)

fi

12V

debe ser real, e

<0.
1
Re2

e,

1
+

[2)2

(6.50)

e,

e,

6.5. Resolucin de las ecuaciones. (aso no esttico

13

Y donde la variable con reslftct() a. la que derivo es real.

Hemos conseguido finalmente reducir el prol)lelna a la integracin de tina expresion mas o menos coml)leja. En lo que sigue a continuacion. vamos a demostrar la existencia de soluciones de esa ecuacion
diferencial.

descri bi reinos cualitativamente su comportamiento en el

marco de la teoria <le ecuaciones a utnoma.s. Finalmente obtendremos,

para algunos valores concretos de las constantes que ha.n aparecido, la,
solucin explcita en terminos (le funciones conocidas. Distinguimos los
casos y + 1.
a. ~1= 1
La ecuacin autnoma. (6.49) presenta. tres soluciones constantes i.ladas por:

J=i
1 = signo(a)

donde a

<

Vimos anteriormente que en este caso se debe

3A1.

cumplir que 1- > 1, con lo que la regin comprendida entre las dos
primeras soluciones constantes no es accesible.

Por otro lado, para

que se cumpla que [2 > Q debemos descartar la regin comprendida

entre la tercera solucin consta.itte x- la primera. Sin embargo. podemos
asegurar que existen soluciones ce la ecuacin autnoma planteada en
los siguientes casos:
e 1 > a > 0. Existen soluciones para 1 > VI~o2

1 <

o <

0. Exist en ~olucones para. 1 <

para 1 < 1.

Ji V y

para 1- > 1.

mt

0%

114

Captulo 6. SOLUCIONES EXACTAS CON METRICA EUCLIDIANA

o > 1. Existen soluciones dnicamente para 1 < 1.

~ < 1. Existen soluciones nicamente para 1 > 1.

e

Estas soluciones divergen rpidamente en uno de los sentidos, mientras

que en ei otro el problema de valores iniciales no admite solucion unca.

e,

En efecto, es sencillo de comprobar que

e,
= tag(~) + 1

iag~(~)

1
e

es solucin para. a = 1, y que por lo tanto, el valor inicial 1(0)

mite la solucin anterior y tambin la solucin constante 1(w)

=
=

1 ad1. El
u

comportamiento en la divergencia se puede estudiar cualitativamente.

Para grandes 1 la ecuacin atitnoma se transforma en
e,

IJ=P

1a
u.

cuya solucin es
u

a(w

wo)

que presenta una asintota vertical en w0. Obsrvese que la solucin

explcita anterior presenta electivamente tina, asintota vertical en

4.

b. 23 =
e,,

La ecuacion autnoma (6.52) presenta tres soluciones constantes dadas or (recordemos que ahora la constante e es imaginaria)

1=71

e,

e,

6.6. Es general la parametrizacin empleada 1>

iii

1 + o2
Ahora se (lel)e cumplir que

= <no(o)

ie ~ AV
< 1, con lo
que la regin exterior a las dos primeras soluciones constantes no es
donde a

accesible, los casos posibles son:

a > 0. Existen soluciones con

JI

o2

> 1 > 1

a < 0. Existen soluciones con 1 > 1 >

Est.a.s soluciones son itionotonas. presentando dos asntotas horizontales
en la.s dos soluciones co nst antes <[Ile marcan sus lmites.

6.6

Es general la paranietrizacin empleada ?

En el apartado ante-ior hemos mencionado que la parametrizacion

definida es completamente general.

En efecto, henios tenido la pre-

caucin de admitir que la constante & pueda ser tanto real como irna
ginaria. Con ello estamos admitiendo la posibilida.d general de que A?
puede sea mayor o menor que Y (el caso en que .V

Y es equivalente

a la condicin de autodiia.lida.<l). Sin embargo, podramos l)la.ntcarllos

que existe, cr principio. un caso que no estaios considerando, aquel en
que X > Y en determinadas regiones de la variedad enclidea, y A < Y
en el resto. Es decir, aquel cii el que e no es tina constante, pues seria
real en algunas zonas e magiiario en el resto. Sin embargo, es fcil de
demostrar que se trata. de una situacin imposible.

116

Captulo 6. SOL t~CIONES EXACTAS CON METRICA EUCLIDIANA

Fiemos visto que el sistema de ecuaciones que debe satisfacer

la mtrica es:
1
=

(P

1)

(6.51)

donde
(6.51) (6.27)
es consecuencia
de
= la
(1
compatibilidad
de la condicin
(6.52)
de integrabilidad
con las ecuaciones
Einstein-Yang-Milis.
En nuestro
desarrollo obtuvimos (6.52) tras haber impuesto la parametrizacion.

pero es sencillo de comprobar que es un resultado independiente de la

parametrizacion empleada.
u

Por tanto la forma de la mtrica (6.47) es independiente de

la parametriza.cin empleada. El nico punto donde esta mtrica es
u

exactamente Enclidea es en r

0. Es decir, que el coeficiente de la

mtrica es siempre mayor que uno o menor que uno (segn sea
mano o real).

fl

imag-

por lo tanto. observando (6.29), siempre se cumplir

que A < Y o que A > 1 y podemos concluir que la parametrizacin

empleada en el desarrollo es cuetal.
o.
u.

6.7

Ansatz de Bartnik-McKinnon
a

Al igual que ocurra en el caso lorentziano, el caso en que A?

es singular, y por tanto no se puede considerar resuelto dentro del

proceso general del apartado anterior. En este punto vamos a resolverlo
por separado . ,Adelantando resultados, veremos, que no se obtienen

e,

117

6.7. Ansatz de Bartnik-McKin non

soluciones distintas de aquellas que obtendramos como caso lmite del

caso general cuando 1

con.slont. Recordando la definicin de X y

deshaciendo los cambios dc notacin definidos en (6.12). observamos

que este Ansatz se corresponde con A1 y A. nulos, obsrvse que F1,.
es invanarte gauge bajo la. accin del subgrupo t (1) de invarianza
gauge residual y que. por tanto. es imposible llegar a esta. condic~on
uncamente por transfornacioies gauge.
En este caso., el potencial Ya.ng-MiUs cii componentes es:

A1

(0.0.0):

(0.0,0)

Ar

A0 = (ti. ysinO.

A5 = (;.0.0):

cosO)

Las componentes (le] campo Yang- MilIs son:

Ftr =

(0,0,0);

(e. 0.0):

F15 =

Frs

2)seuO):

= (0,0, (1 .p

Ffr = (0, y,1senO , 0)

(~sr,0.0);

Fr~

(0, Th

rSCflO,

0)

E] sistema completo de ecuaciones Einstein-Yang- MilIs se es-

cribe como:
r

(&~T~Pyr

T->( 1

).~ =

(6.53)

= I<%~v.

(6.54)

9
rl..

~7.r
7.

Nl --(1
~

+ tP,.
7,

2~~

~2)2

+ 2

+ P2 + P.J,)

~-2

5l<)

2< + P,ttt) =

2t+2P(p
1<

+P

(6.55)

~t.

118

Captulo 6. SOLUCIONES EXACT4S CON METRICA EUCLIDIANA

2r-4-2p

fi

e.2~
7,

1
7,

26 .7,2

~2)2

(6.56)

(2P

(6.57)

Finalmente, la condicin de degeneracin algebraica es:

6. 2fi

~,2)2

k(p7 +

e2T~2~nf)

(6.58)

7,

Obsrvese que ahora. es imposil)le Iv < 0. Distinguimos dos casos

u

(i) Coso <-sta) u-o

Las ecuaciones son triviales de escribir con solo hacer k = 1 y
elinnua.r la (lependeilcia. en

Miii ningn problema se llega a

/.

= (1

donde e

ccy 1

7,

1. Haciendo un poco de lgebra entre las ecuaciones se

llega a que
1.
= (1 + cy)
1

es decir, r~

Pr

Usando este nuevo resultado en el sistema anterior

de ecuaciones obtenemos la ligadura para el coeficiente de la mtrica:

+ 2c~

~E4t>

1 = O
mt

que solo sc resuelve con inetrica. iZuclidea.,

puro. (O bser\-ese que en este

(ii)Caso

20 esttico

.\

campo Yang-Mills gauge

nsa.tz no existen soluciones autod uales)

mt

mt

1.19

6. 7 Ansatz de Bartnik-McKinnon

De la compatibilidad (le (6.58) con (6.53) se obtienen (procediendo de forma anloga al caso general) dos ecuaciones

1
=

donde hemos definido ;~

condicion de integra.bil ida ~
+

~~-t
+

r,vpr

7-

1
))

y
=

U cos( I).

La

nos d

~d d

+ T1

(7

1)(. +

e u ( ~I)

/~

r(

ti

+ P +

(tT)

7,

Iv)] (6.59)
r
De la compatibilidad de esta. ecuacion con (6.5.5)-(6.56) se llega a:
= (2

e2P =

2+ (1

p2)01 + 1) +

Recordando que el caso Iv

Iv = 1,

Iv)---[1
2 Iv +

+ Iv +

<2(4

Ai

>1

v2)2

(6.60)

2 no es posible en este Ansatz, luego

haciendo un poco de lgebra enhe las ecuaciones se puede

llegar a:
2p

=1-

k(

(6.61)

~2)2

(6.62)
(6.63)

P.r

Es decir, reobtenemo=exacta u ente los u is nos resultados q iie se obtuvieron en general. Procediendo <le forma, semejante, definiendo z
r + ti y t =

it (parametrizancio Y

Ae~. donde A

1),se llega

al siguiente conjunto de ecuaciones

2~.2

2p

(6.64)

120

CapItulo 6. SOLUCIONES EXACTAS CON METRICA EUCLIDL4NA

1<
= r(l j<
=

62R~2 =

1<

_______

(1

11)
e 1

P,:t =

2sM.
1<

,z

(6.65)

(6.66)

7--j}

(6.67)

~1

1
(6.68)
12

R~fi>

~62P(1

\c~)

(6.69)

y,

Este conjunto de ecuaciones se puede ver que es equivalente a resolver

el sistema:
1

(1
1

= ~

1
= (1
2
pp~

(6.70)

(6.71)

e2>3)

~e2P)2

(6.72)

(6.73)

c~)

Las ecuaciones (6.72-723) sc resuelven con:

1

2p

1 (.3:K)2]
+
[1 +(3z+

~1+ (3

(~

Finalmente solo queda por imponer (6.73) que se resuelve con

maria

(674i

At)2)

imag-

e,

(6.75)

e,

y
7

Existe otra solucin con q

1 y A

1 pero presenta

un mal comportamiento asinttico. Concluimos finalmente que el caso

singular que apareci en cl proceso de resolucin de las ecuaciones
generales se puede resolver completamente. y que el resultado obtenido

ml

0%

6.8.

Propiedades de la solucin

21

coincide exactamente con aquel que se obtiene (le caso general cuando
cuando 1

6.8

Propiedades de la solucin

La solucin obtenida depen<le de dos constantes 3 y

ellas necesariamente imaginaria si 3 es real, o real si

la segunda de

~.

fi

es imaginaria

para que el coeficiente ce la mtrica sea. real. De la definicin de z y 5

se puede observar que
<le origen (le

tiempo

Kl

5C

puede absorber mediante una redefincion

Por otra. parte la. constante fi nos define el

punto en que la metrca. es singular, pero las ca.racterstcas esenciales

110

cambian.

Por tanto en to (lo lo que sigue nos rest i n gi remos por

sencillez al caso en que j

1.

Del anlisis de la solucin hecho eiti-e (6.48

6.50) podemos

distinguir dos casos distintos, cuando la constante 3 es imaginaria., y

cuando es real. El primero es el nico que permanece en el Ansatz de
Bartnik- McKinnon.

( i ) .3 imagifl( va
A diferencia de lo que ocurrk en el caso lorentziano, ahora
la mtrica definida tiene sentido en todo el espacio-tiempo, salvo en el
punto

y =

enclideo.

0. en que diverge. El comportamiento asinttico es

e,
Captulo 6. SOLUCIONES EXACTAS CON METRICA EUCLIDIANA

122

(29

En 1)

>-

1+

1 2)

(r2 + U

constante la mtrica de la superficie bidinensional que

ml

queda. es:
ml

1+r2+12

(1 +
+
Que
y

(7,2

/2)2

)</,.2

+ r2ddA

2r2 + Q/2

consideramos inmersa dcnto de una variedad plana tridimensional,

donde nuetra suerficie queda definida por z

z(r). Entonces pode-

rnos dentificat:
e

= (~ + (<1
....1 )fl<1r2 + ~=3452
dr

1+

3
(~)2

dr

i+r212

it +
-1)

2r2 + 2/2
Cuando t >> O tetiemos <los variedades euclideas separadas, que se van
ji

deformando

(,2

/2)2

acercanciose a medida. que 1 disminuye. Cuando t = O la

ml

ecuacion anterior se l)ue(le iitegrai- explcitamente

3:

1 + ~

=41+
9

distinguiendose dos regiones. Cuando

1+17

1 + (v=)22rfl
y

< 1

la solucin es

-~7

que define una esfera de radio unidad en torno al punto (0,0,0) del

espacio encldeo tri(lirnensiona.l; y cuando y > 1

= lz(r+

~2

1)

ml.

ml

ml

~1

123

68. Propiedades de la solucin

que es exactamente igual que la que aparece en el wornhole de Toiman.

Las superficies recin definidas aparecen en la siguiente figura

figura 6.

Concluyendo, partiendo de dos superficies asintticainente planas y separadas, al evolucionar t se han ido deformando hasta que en
un t = finito se corta.n si bien de forma no suave. Por fin en 1

empalman suavemente (exactamente igual que Tolman para y > 1,

mediante una esfera para r < 1). Esta conexion suave entre superficies
solo dura un instante, pues a contnuacion se vuelven a separar ten<Tiendo de nuevo a dos superficies euclideas

separadas. La conexion

0%,

Captulo 6. SOLUCIONES EXACTAS CON METRICA EUCLIDIANA

124

se realiza a traves de la circunferencia de radio unidad en el espacio

enclideo tridimensional de inmersin (en el el espacio original es cvidentemente a traves de la superficie de la esfera de radio unidad). En

u-

la siguiente representacin aparece una nica de las dos superficies en

1 =

0:

fi.

0%

ml

u,

u.

ml

figura 7.

Al igual que nos ocurrio con mtrica lorentziana, para poder

0%

expresar explcitamente la forma de los campos Yang-MilIs deberamos

ser capaces de i:egrar la ecuacin diferencial para 1 (6.49 y 6.50).

Sin embargo, en el Ansatz de BM. el problema est completamente

integrado

la expresin final es:

ml

125

68. Propiedades de la solucin

i( \i( 1

3j22)(

1.31252)

[3<

+ 1

que siempre es mayor que ceo.

(u)

3 real

La solucin. cr este caso, tiene sentido en todo el espacotiempo, salvo en y

O en que degerera

(ir.

Pee

O).

Asintticamente tiene un comportamiento etclideo. No po<le~mos dibu

aria siguiendo el P roce<l iii ent o anterior, pues los coeficientes de la
mtrica estn acotados superiolnente a lino, y por tanto no tiene sentido el proceso anterior. Este caso no es realizable en el Ansatz de B.M.
pues y,.. < 1, lo cpie implica. <[tO X2 > 1<2.

6.8.1

Grupo de isometra

La condicin (le isonietra Lyq,~

O se escribe en componentes:

AS + <p

4 + .Vp. =

XQ +

(6.76)

Sp,< + X~p..

(6.77)

Aj + Aj

(6.78)

(6.79)

A oc>

(6.80)

17~

(6.81)

(6.82)

= 0

(6.83)

2 + V~~
X~r
i2

X%2.se (O) +
A,. 17

scn2(O)

~1

+A
+

e
126

Captulo (3. SOLUCIONES EXACTAS CON METRICA EUCLIDIANA

4 sen2 (O)
+

IIr

(6.84)

cos(O) =
sen(O)

(6.8.5)

Las ecuaciones (6.82-86) se resuelven con la dependencia en las coordenadas angulares dada por (igual que en el caso lorentziano):

SQ(3) + f,seu(O) + f

2eos(O)cos() facos(9)sen(45)
0 = SO(S) +
~fiscn(45) f2cos(45)3
1
sen(O)
A?
= .-../irco.s(O) + 19vsen(9)cos(45)
f

(6.86)
(6.87)

3rsen(9)sen(45)

A?< = pircos(O) + q2rsen(9)cos() garsen(O)sen(45)

Donde

.v

(6.88)

(6.89)
u.

~ son funciones de 1 x- it Las ecuaciones que quedan por

satisfacer quedan como condiciones cli fu-renciales sobre estas funciones:

22 = 0
fl,r + fe
f.~r + g~e2~ = 0

(6.90)

(f,r)~ +
(gr)

+ q,rp, +

(6.91)

(g~r),.

(6.92)

(g,rfl

(6.93)

~P.r= 0

(6.94)

.1

e,

e,

hasta ahora el proceso ha sido paralelo al seguido en el caso de mtrica

lorentziana, sin embargo ahora vuelven a aparecer diferencias, como
consecuencia de que ahora la constante de integracin

puede ser real

e imaginaria. El conjunto anterior de ecuaciones se resuelve en general

con:
u

= 2(z) + W()
= -1$:) + ilV(f) + 2ie

ml

127

68. Propiedades de la solucin

donde ces una constante, y Z = c+ 1 + (3z)2, It = c+ 1 + (fis)2

y e es una constante ([ile vale ma.s o menos uno. En el caso en que .3 sea
real, enton ces e

1 . znientras que s 3

(K5

ma.gi tana, entonces

Por tanto, los generado res del gril 1)0 ce isonet ra soj:
11<5.

y .~k son los de s?netrza sJevzca

(6.95)

Y = 2k

1GrsenOco.s&, + 2k1 ErsenOcosc,. +

F.s CII 9
2k1 EcosOcoscdo
2k1

2Iv

20y,senOsu ob<

2k2 1r-scnO.seno.

3
X

2k
3CycosOd<

2k2 Ecose
86flO
2k.3!vcosOd,. + 2ky1senOO6

2Iv21cosO.sen)e

(6.96)

(6.97)
(6.98)

donde
Si 3 es inaginaria. Iv, es real:

1 + (t3z)~ +

1 +

(3z)2)

(6.99)

1 + (3W +

O = j(

y con ,3 es real y

1
y

14

+ (35)2)

(6.100)

1 + (3;)2)

(6.101)

1+ (fi)2)

(6.102)

es imaginara.:

1 + (/3:)~
1 +

(3z)2

1~~

El lgebra

que

reglas de conmutacin:

definen estos generadores tiene las siguientes

e
128

Capitulo 6. SOLUCIONES EXACTAS CON METRICA EUCLIDIANA

e[3(1,3(5] =

3(6

[A4,Xfl = A?4

A?

LKtXM = ~~~\73 j3(4,Xfl

y2

L~5, 3(11

~3(3

[A,A]

[V.3(fl

=3(5

[3(5, 3(6j = 3(4

e
[A4,A3]

[3(5.3(3]

[A6,A3]

UY3. A?]

= A?4

o
y 2

[Nt

3(~]

[A?6.Xfl=3(
[A?,3(2]

e-

a.

=3(6

que se corres)on<le con el algebra de 80(4)

el caso 3 rea.l como cuando

( vese

p.C.

[42]), tanto en
u-

es imaginaria..
u.

6.8.2

Mtrica de forma conforme plana explcitamente.

u-,

u>

Repitiendo los pasos del captulo anterior se llega a que el tensor de

Weyl es identicamente nulo sobre las soluciones. Por tanto, pertenecen
u

al tipo O de la clasificacin (le Bel-Petrov, y existen unas coordenadas

en las que la mtrica ser conforme plana.
u-

Si

usarnos z

f la mtrica tiene la. forma

VI

/.s

Resolx-einos

.3

e <171Z(IS +

(s+5P

<92
0

real e imaginario por separado.

gr.

ml

6.8.

129

Propiedades de la solucin

1 +

1 1+

e2

:5

1~.2

Si hacemos el cambio de variable:

= tanh~

entonces le nietrca q eda

=

cosh2((~ + 0/2

cosh2~co.ht~

><n /~(~ +

[d&k+

~)

lco.sh2(~ +0/2)

d92]

(6.10:3)

Estamos buscando un cambio de variable, tal que la mtrica tenga

forma conforme 1)laria explcitamente

1
hI(dad. + <a +

<392)

La ecuacion que deber cumplir este cambio <le variable ser por tanto:

&aCV + ~ )2

donde ~

&a) y ~

4sen/

(6.104)

Con la. obligacin adicional <le que ~ sea

la compleja. conjugada. <le ~ se trata. nuevamente (le la. eciiacitiui que se

resuelve en el apenclce 1. Miii embargo. en este caso, hemos preferido
(pues as fi el proceso durante la. ea.lizacin <le este trabajo) resolver
nuevamente la ecuacin. Definimos

= 2areth A

Con lo que la ecuacin a resolver se transforma en:

(6.10.5)

u-

e
130
que

Captulo 6. SOLUCIONES EXACTAS CON AIETRICA EUCLIDIANA

tiene una solucin trivial A

ka + Iv. pero que nos da una mtrica

conforme plana <fue degenera asintticamente (Yac

0). El rest.o de

las soluciones son <le la forma:

fi

(n a)

A
con tu

fi

(u

a)

+p

(6.106)

(6.107)
e,

u y p constantes.

Obsrvese que no hemos obtenido nuevas

soluciones de la ecuacion aparte de las que se obtienen en el apndice,

cuando p = 1 reobtenemos la. solucin generadora. del mern, mienti-a que en el i-esto (le los casos (incluido A
solnc u generadora. de ni tt. 2 2eroll

Si elegimos p

0. u

1 y m

e,

ka + Iv) reobtenemos la

1/2 la mtrica conforme plana

queda
=

1 +

(1
)2
.I(..)2-4(i-
)2( 1 (i-j-43
+ ,<~~~>2
)2 (dada +

(a +

a)2 dR 2

(6.108)
mt

Que tiende a etcldeo a.sintt icamente.

0

.3= 1
0%

El proceso es similar
u

j2
0

1
l+z2

Hacemos

1+52
e

= tag~

ml

1.31

6.8. Propiedades de la solucin

sen2(~ +

dV

senft(~
+~
2~cos2~

~)

+ 4.sen2(~ + ~)/2)

cos

3923

(6.109)

La ecuacin que se (leber resolver ahora es

~~t=(+ )2
donde ~ = a(a)

(6.11.0)

= 4co52j +
9

Definimos

~(4).

= 2urctagA + 9

la ecuacin anterior queda.

lAja

+ < = (A +

(6.111)

que la. hemos resueltc en el caso anterior

JI.

4=.

4=

con ni, u,

y p

u.

(u +

a)

a)

+1>

(6.112)

fi

(6.113)

constantes. Si elegimos p

O, u

y ni

1/2 el factor

conforme es

II = (1 + 4(i a)(i

(6. 114)

Y obtenemos un espacio euclideo asintticamente.

6.8.3

Acci6n y carga topolgica

La accin del campo Yang-Milis es

$ =

=i~V,.

4r

1F~ tt> d

-tI

Captulo (Y SOLUCIONES EXACTAS CON METR LOA EUCLIDIANA

132

que sobre solu(iones algebraicamente especiales se puede escribir como

&=f

e,.

i?~e2P(X2 + Yfld4x

o:

q~Jl27f

ddy( 1

e2~) 12+1
[2

En el caso singular definido por el Ansatz de B.M.

-

<ltdi}1

e2P)

Como se comprueba trivialmente, la. accin est limitada inferiormente

por

la solucion obtenida en el Ansatz. Si parametrizamos 1

y =

Tsen4

LcoshlI el conll)orta.n3Iento a.sntot co quedar. determinado por el

comportamiento cuando 1

>>.

e,

~~1

en cuyo caso La. accin

~1

~=J2L

TdTdtP(.se.n2111

cos2-IJ
e

integrando en la. variable angula.r

s=J

i~
u.

6w2

1<

di
7

Sr.

que diverge.
La densidad de carga topolgica es ([3],

QT

32w2

~.PF2F

[?]):

tW34y

e,

0%

en el Ansa.tz <le BM. es trivial compiobar que la carga topolgica es

cero. Miii emba-go. en genea 1 no tiene por que ser as, haciendo uso

u.

6.8.

133

Propiedades de la solucin

de. la. condicin (le <1.legeneraciii algebraica se llega sin problemas a la

Cxpres3on:

(8

= -.--jdtdrFIl.(l

e29
tdr~--(AY)
7--

A)

o lo que es equivalente:

/21
-

No hemos sido capaces de evaluar esta expreson. la razn ms importante es que desconocemos la (Yxl)resin <le la. funcin 1 exactamente.
Pero a.l menos hemos ntenta.<lo a.(livii3a.r si esta expresin converge en
alguna situacin. Al estudiar el comportamiento asinttico de la expresion anterior hay que considerar dos casos por separado, cuando 4
es imaginario (y e2
1) .v cuaclo .3 es real (y e2 = 1). El el caso en
que fi es real no hemos podido llegar a ninguna conclusin pues, como
se vi en 6.5. una de las asntotas <Tela solucin es /

1 y en principio

1
121

no est acotado.
Sin embargo cuando

es imaginaria. vimos que existen sok-

ciones donde la 1 est acotada inferiormente por una constante estrictamente mayor que uno (1
trmino

~-

>

JI2)

por tanto, en esas soluciones, el

en la expresin <le la carga topolgica est acotado supe-

riormente aunque desconocemos su comportamiento asinttico Analcernos en lo que sigue cl resto <le la exp-esin
la expresin

(fi

1> sieml)re es positiva. pries

Es sen cilIo de ver

2

>

1 cualMIo 3 es

imaginaria. Su comportamiento asinttico es para (~2 + t2)

(con y

Tcos(II)

<tic

134

Captulo (1. SOLUCIONES EXACTAS CON METRICA EUCLIDIANA

1*,>

(e2>

1)

cuya integral f1dtd\I(e2

cos2( P)
+

1) diverge por lo que no podemos con-

cluir nada sobre el valor (le la carga topolgica a falta de conocer el

comportamiento de 1 en est.e caso.

6.8.4

Carga elctrica y magntica

u

Si hacemos uso de la definicin de cargas elctricas y magnticas que

Sr

aparecen en [3-1]
u-,

<2

P= ,jin

2)

1jlv

en el caso euclidiano, estas cantidades estn bien definidas (aunque se

0%

ha perdido el seti<lo fsico que poseen en el caso lorentziano). En el

Ansatz de B.N[. se obtiene que

Q=

est representado el valor de (1

instantes (le tiempo (pa-a /

O y P

1. En la siguiente grfica

e,

y2)2 en funcin de r para varios

0, es exactamente 1 para

>

1)
e

0%

6.8.

Propiedades de la

35

solucin

1
0.8

0.6
0.4
0.2
1

figura 8.

En el caso general se cumple que P2 +

6.8.5

Q2

1.

Energa

Al igual que ocurra en el caso lorent.za.no

12

JBJ

(e 1) +

7.

P.l.

Sin embargo, ahora no podernos asegurar a priori el caracter positivo

de dicha expresin. IDe hecho, en funcin de los valores de / y y, se
puede conseguir cualquier signo para cualquier valor de 3.

gr

s.
136

6.9

Captulo 6. SOLUCIONES EXACTAS CON METRICA EUCLIDIANA

g~p

~-(1+ cos(I))

u,

Existe una segunda solucin singular del sistema de ecuaciones 6.42 y

6.43, (cuando se hace uso del generador del mern segn la notacin
gr.

definida en el apndice) dada por

1
ti,.,. =

(1
2 +

mg

y212

Esta solucin no tiene un comportamiento asintticamente euclideo,

gr.

pero presenta unas cualidades curiosas. Si definimos coordenadas anguiares para 1

r dadas por 1

RcostIf y y

RsenP entonces
e,

= II,.,. = [itt =

1 + cos4!>
41
ml

es decir, los coeficientes <le la mtrica son independientes de la distancia al origen, dependiendo unicamente del ngulo relativo entre las
coordenadas y

1.

Los coeficientes de la mtrica son menores que

uno con lo que es trivial de ver que es incompatible con el Ansatz de

B.M. (recordando la. expresin (6.29) x, que por tanto A

ello es mas apropa<lo J)aranletrizar los campos con 3(
Y

ce~senh(I) (donde 1

> Y), por

teRcosh([) e

1? son funciones reales). Las nicas ecua-

ciones que quedan por resolver son las anlogas en esta parametrizacin
a (6.45 y 6.46) (siempre que 1 ~

constante).

Estas ecuaciones se re-

e,

suelven con:
e,

1- = (+f)
y finalmente, la ltima ecuacin es

I(~)
e-

12= =
-

21< senh(J)

e,-

a,.,. = ~(1 + co.s(Y))

137

Es fcil <le comprobar que la cci acon a.il.eror se convierte ( cambi ansio
de variable E

.~

E)

cii:

sen h( 1)

donde 9 es ahora una variable real, y E2 es imaginaria. con lo que

no existen soluciones icales de la ecuacin anterior. Y por lo tanto la
mtrica presentada cii est.a seccon no es solucin <le sistema planteado.

-ml

138

Captulo 8. SOLUCIONES EXACTAS CON METRICA EUCLIDIANA

u

e,

e,

ml

e,

mg

u-

0%

mg

ml

SS.

u,

Captulo 7
APENDICES
7.1

Ecuacin t411B,,(a+b)2

.sen2(2A+23)

Esta ecuacion se merece por si sola un capitulo en este trabajo. En

efecto, adems de aparecer en los dos casos tratados en espacio curvo,
la misma ecuacron aparece en tos dos casos tratados en espacio plano.

Si en los casos curvos aparece como la condicin <le compatibilidad de

un par de ecuaciones diferenciales, donde una de ellas es bsicamente
una de las ecuacines de Einstein (la que nos dice que la cur\atura
RR% = O) con solo imponer que r

p. y

la otra es bsicamente

una ecuacin de Einstein que se obtiene cuando el campo Yang-Milis

es algebraicamente (armeli especial.

En el caso plano la condcion

de compatibilidad entre degeneracion algebraica (armeli y la ecuacion

de evolucin YangMilis es la misma!.

Y las curiosidades continuan

cuando intentamos poner nuestra. mtricas, tipo O Pe.trox, <le forma

conforme plana. explct.aniente. [Mi~ la ecuacin que debe cumplir el
cambio de coordenadas es otra vez la misma. Este punto de coincidencia
entre la teora Yang-MilIs en vaco, la einsteiniana de la gravitacin en
nteraccon con Yang-MilIs. y la presentacin de la forma conforme

139

Captulo 7. APENDICES

140

plana explcitamente (en todos los casos para un tipo O en la respectiva

clasificacin algebraica) nos sugiere algunas ideas acerca de una ntima
relacin entre las clasificaciones de Petrov del campo gravitatorio y de
Carmeli del campo Yang-Milis.

Sin embargo. este es un punto que

no hemos abordado en este trabajo, y por tanto, solo queremos hacer

notar esta, al menos, curiosa coincidencia.

gr.

Concluyendo, en lo que

sigue resolvCren3oS esta eciacou de compatiblidad en general, que nos

sera necesaria para calcular tanto los coeficientes de la mtrica en un
problema Einstein-Yang-Niills como el valor del campo Yang-Milis en

e,

una teoria en espacio plano.

Si hacernos el cambio de variable

0 4

A(a)

b-~B(b)
e,

entonces la expresin a resolver es:

e,
ab5 = 4(u + v)2scn2(21 + 213) = (u + v7F

e,

si tomamos derivadas logartmicas respecto a A y E

0%

(7.1)

<kA

204

0A

(a+b)

1>BB

2b~

&B

(a+b)

taN

y restandolas se obtiene una expresion

0,44

204

bBs

2b,
5

04

(a + b)

bB

(a + b)

(7.3)
e

0%

7.1.

Ecuacin 4A B5(a + b)2

~cr2(9A + 2B)

141

que, multiplicando por (a + b) y volviendo a derivar respecto a a y b,

nos da:

4,4,4

<44

(u~~)

b,BBB

(74)

kBB

b3B

kB

Que se pueden integrar completamente dando:

14

I..k

14

0a2 + kw +

2 + y + Iv;

bE = -~-k,,b

entrando con estas expresiones en (7.4) encontramos la ligadura k

1
kl y

14

.Finalmente dichas expresiones pueden ser integradas

completamente, eicontrandose Las siguientes soluciones

Cuando Iv,, ~ O r k~

2k k2

# O

(los segundos trminos no

son un c ua.<lrado perfecto):

.4 = t + a(arcotg(3a + ><)

136
Donde a,

3 y

+o(arcotg(3b:))

K son constantes construidas a

partir de las

14,

6 y 6 son

las constantes que aparecen en la ltima integracin. Entrando con esta

solucin en la ecuacin original que debamos resolver, encontramos una
ligadura algebraica sobre las distintas constantes definidas.
2oh3~
4(a + h)
.sen2(2a(arcotg(ic

(1 + (Ja +

K)

K)2)(1

+ arcolg(3b

+ (fib
<)

que tiene una solucin trivial (para todo a y b), a

soluciones triviales)

K<)

+ 6 + 6)
=

(7.5)

0. (que nos dara

<y

ST

7--

(7.6)

u,

u-

Capitulo 7. APENDICES

142

Se puede comprobar que no existen ms combinaciones de las constantes que nos resuelvan la ecuacin anterior. En efecto, haciendo a

= 0, se llega a que 6

mg

6 + nr. El factor uit no aade nada al

desarrolla.r la solucin, por lo tanto podemos hacer u

generalidad. Por (itT-o lacio, en b
-tcr2(3a + KV
(1 + tu + K

O sin perder

O. la expresin se convierte en

ST sen2

[2a(arctg(/3a

(7.7)

j]

-l.

~)

que solo tiene solucin (para todo a. si a

han visto a. lo largo del captulo 4.

~-). Por razones que se

denominaremos a esta solucin

generadora de multimerones
SS

Nos quedan por analizar dos casos. Cuando Iv,,

O la solucin

general del sistema es

u

.4 = lu(<a +
<1

fl

+ 6

e,

B=ln(Ib
+
o
o
son otras constantes (funcin de las
~<

donde o. y fi

14).

- esta solucin

la denominar como generadora (le mern. Si las variables a y b son

u

complejas (con la definicin de la rama principal para el logaritmo de

un numero complejo (ln(re&)

/4v) + jO con O

e (r, wJ)

entonces se
e

debe cumplir

(1 =

SS,

4j

6+b
y

si a

b son reales entonces

mg

7.1. Ecuacin 4A~B~,(a + 2

sen2(9>4 + 2B)

o.

cuando

sigo

o(a +

~-~) =

143

.s.qno(b

ti

4) y
~1

cuando signo(a +

4)

ST

.sqno( b

.1=.)

El caso que <meca pendiente (cuando el denominador <le (7.6)

es un cuadrado perfecto), se ve fcilmente que es incompatible con la
ecuacion original.
Obsrvese que a lo largo del trabajo, la variable a tiene la

Forma a

r- + 1. en espacios Io-entzanos

tanos, y por su parte la variable />

ST

ST

ti

y
=

+ it en espacios euclidy

it respectivamente.

e
144

Captulo 7. APENDICES
e

0%

SS

SS

~1

u.

SS

Captulo 8
CONCLUSIONES
Realicemos un esfueizo J)Ot mt t z u e

mna. pocas lineas los resultados

obtenidos en el desarrollo (le esta tesis. De una manera sencilla estos

se podran resumir en los siguientes putitos:
Se presenta una condicin necesaria para que un campo Yang
MilIs con simetra esfrica posea alguna simetra adicional.

Se

comprueba que existe una solucin (obtenida por Witten, si bien

no pertenece a.l tipo insta.ntico) <lite no cumple la condicon
anterior, y. por lo ta tito ..se deinties t ra. q e no existo u u analogo
Yang Nl ils <le teorema. de B i k boff.
Se caracteriza la clasificacin de Carmeli en dos situaciones:

Completamente (en cuanto al un mero <le autovalores x au

toespinores) para, campos con simetra esfrica., estticos.

en el Ansatz de Bartnik-NlclKinnon.

Parcialmente (solo en cuanto a.l nmero de autovalores se

refiere) para campos con simetra esfrica.

en termnos de una nica funcin que hemos denotado Iv.

145

146

Captulo 8. CONCLUSIONES

Se plantea en general el problema de encontrar soluciones algebraicameiite especiales en espacio plano, y se resuelve nicamente
en el Ansatz de BM. Se reobtienen las soluciones de De Alfaro y
col. en espacio minl=owski,y tipo mern es espacio euclideo (tal
y como las presenta Actor), y se obtienen nuevas soluciones que

generalizan las anteriores al elegir una constante de integracin

como imaginara.
Se plantea y se resuelx-e en general el problema de encontrar soluciones algebraicamente especiales (y con simetra esfrica) Eins-

tein

Yang-MilIs en un espacio con mtrica lorentziana. Algu-

nas de las p-opiedades son calculadas (grupo <le isonietra, tipo

(le 13e1-Petrov. forma conforme plana explcita, condiciones de
enega, etc.). Como un resultado colateral se comprueba que no
existen soluciones con simetra esfrica y estticas; por lo que
podemos concluir que las soluciones de Bartnik-McKinnon y de

e,

Bizon pertenecen al tipo D,, en la clasificacin de Carmeli.

Se plantea

se resuelve en general la bsqueda de soluciones

exactas algebraicamente especiales (con simetra esfrica) Einstein

Yang-Milis con mtrica euclidiana. Se calculan algunas

de sus propiedades ms importantes (grupo de isonietra, carga

topolgica. etc.) y se presenta una interpretacin de las soluciones

e,

o1)tenidas en trminos ce wormholes.

e-

Durante el desarrollo algunos puntos han ido quedando abiertos, y es posible que en un fittro cercano sean retornados dentro del

grupo <le Relatividad que <lirige F.J. Chinea.. entre ellos destacaramos

la caracterizacin Carrneli completa de campos con simetra esfrica, la

resolucin del problema en general en espacio plano. as como investi-

e,

0%

147

ga.r la relacan ([ile [)ii<t<la.existir entre la. clasificacin <le (arnel i

de Bel Pet cok en cailpos Luis t.ei u

Ya g Nl i lis.

la

148

Captulo 8. CONC USIONES

ti

u-

Sr

Sr

e,

ml

ti

ti

mg

u,

Bibliografa
[13 UN. Yang y RL. Milis. Phys. Rey. 96, (1.954) 191.
[23 ES. .bers y XV. Lee. Ca.ige tbeories: PIivs. Rep. 9, .~Qj (1.973)
1~11
[:3] A. Actor. Rey. Mod. Pl~ys.. 51. ~Q3 (1.979). 461.

t Hooft, Nic]. Pbys. B79 (1.974> 276.

[43

0.

[53

L.L. Chau, A frameworl= for generating mult-inonopole soutions; Lectures in lStb Winter School of Theo. Phys. (1.981)
Karpacz, Polan<l.

[6] P.

Ramond.

Field theorv.

A modern

priruer

Ile

Ben-

jamin/Cummings Pubishing (?onipany. 1.981.

[7] E. Witten. Phys. Rey. Lett. 38.

[8] Y. I)e Alfaro. .5. Vii bi ni x- (

[9]

E. Corrigan

iit

(1.977) 121.

[-unan. Phys. Lett. B65.

D.B. Fairlie. Phvs. Lett 67B (1.977) 69.

149

( 1.976)163.

0%

150

Bibliografa

[103 .1. Cerver. L. .lacobs

11. Noh. Phys. Lett B69. ~Q3 (1977) 351.

el

[ti] A Actor. Aun. of Phvs. 121, (1.979) 181.

[123 Nl. Carmeli: CLassical fields: General Relativity aud gauge theo-

riesj John Wiley and Sons.. (1.982).

u

[1:3]lvi. Carmeli, Lii. Huleihil

E. Leibowitz~ Gauge fields. Classifica-

tion and equations of mol ion, World Scientiflc, Singapur (1.989).

ml.

[14] NI. Daniel y CM. \Tiallet. 11ev. Mod. Phys. 52 (1.980) 175.
SS,

[15] C.N. Yang. Plys. Rey. Lett. 38. ~)2i (1.977) 1377.
u

[16] NI. Lrscher, Phys. Lett. BZO. ~Q3 (1.977) 321.

nl

[173AA. Belavin, AM. Polvakov. AS. Scltwartz y Y.S. Tyupkin, Phys.

Lett. 59B. (1975), 85.

[183 P.C. Bergmann x F.J. Flaherty, 1. Math. Phys. 19, (1.978), 212.

[19) P. Forg.cs

NS. Manton. Cornmun. Math. Phys. 72, (1.980) 15.

[203 NS. Manton, Nuc. Phs. B158, (1.979), 141.

k21}

u,

Vii Cliinea. Class. Quantum Cray. 5 <1.988), 135.

0%

Bibliografa

151

[22] WC. Pappas; Am. .1. Phvs. 53 (1.985) 912.

[23] dA. Ruiz y Fi. ChineaS Simetras adicionales sobre campos
Yang-Milis con simetra esfrica. LItE. 1.988.

[24]

ID. lKramer. FI. Stephani, E. Herlt y Nl. MeCallun; Exact soiutions

of Einstein s fieL! equa.tions

(7a.mbridge 1.iniversitv Press (1.980).

[25] 5. Weinberg; Cravitation aud Cosmology: PrincipIes and applicatons of the General Iheorv pf Relativity, .J. Wiley and Sons.

(1.972).
[26] Ch.W. Misner. 1=5.lihorne. ciA. Wixeeler; Gravitation, Freeman (1.970).

[27] MW. Hawking y C.V.R.. EllisJ The large scale structure of spacetime, Cambridge University Press (1973).

[28]

R.. Bartniki y J Mckinnon. PIiys. 11ev. Lett. 61. n~2 (1.988)141.

.

[293 P~ Bizon. Phys. Rey. Lett. 64. <~24, (1.990), 2844.

[30] JA. Ruiz y EJ. Chinea: Solucin no esttica de las ecuaciones

Einstein-Yang-MilIs, E.R.E. 1.991.

[31] EJ. Chinea y JA. Ruiz Martn, Non static, algebraicall~ spe-

cial solutions of the Einstein

Complutense preprint 16-92.

Yang-MilIs equations, Universidad

It.

152

Bibliografa

[323 N. Straumann and Z. Zhou. Phys. Lett. B237 (1.990) 353.

[33] A.A. Ershov y DV. Galtsov, Phys. Lett. A150 (1.990) 159.
[34] P. Bizon y O.T. Popp. Class. Quantum Cray. 9 (1.992) 193.

gr

(35] F.J. Chinea. Plvs. Leus A72 (1.979), 281.

gr.

[363 5. B. Ciddings

y-

A. Stoninger. Nuc. Phys. B306, (1.988) 890.

mg

[:37].J.A. Sinollei-. SG. Waserman. S-T Yai. J.B. McLeod. University

of Nl ichigaii piepr nt 1.991.

mg

[381

A. Hosoya y XV. Ogura. Phys. Lett. B225. (1.989) 117.

[39] Y. Verbin y A. Davidson, Phys. Lett. B229, (1.989) 364.

~5

[40] 5. Rey, Nuc. Phys. B336, (1.990) 146.

~1

[41] 5. You-Cen y T. Zhen-Qiang. Phys. Lett. B247 n.1 (1.990) 13.

[42] H. Bacry, Lecons sur la Theorie des Groupes et tes Symetries des
Particules Elementaires. Gordon and Breach (1.966) Paris.
[43] 5. XVolfra.n.

Nlatlemna.t ca.. A svstem for cloing nathematics by

u-

st

coii pu ter .5(1(1 son- Wesley 1 .991.

u,.

[44] J Ni. Aguirregabiria. Tlie Math. .Joirnal. Vol 1 (1.990). 51.

14

gr.

4.

r~etic,ir1o

r:uo

El

~~w:orrI

ficar

Con la

ce

1 L

;ai

Uocto~j
It:

Y6P~
ifiadrid,

t.:

O L.

Un

LAstxj

ti

)A]i)

deM)VIFtIJQ 19ff?
SS.

a,

e,

st

SS.

st

SS

e-

mg

u,

mg

le