Está en la página 1de 23

EL SUEO DE EINSTEIN: LA UNIFICACIN GEOMTRICA DE LAS

FUERZAS GRAVITACIONALES Y ELECTROMAGNETICAS


Williams Pitter

La Universidad del Zulia, Facultad de Ciencias. Dpto. de Fsica.


Apdo. Postal 526. Maracaibo, Zulia.
Einsteins insistence on the importance of unification,
was a deep insight, which he courageously defended, against all spoken
and unspoken criticism

Chen Ning Yang


INTRODUCCIN

No es difcil mostrar, sin lugar a dudas, que la fsica se lleva el honor de ser la
disciplina con los mayores adelantos tericos y con las mas grandes aplicaciones
tecnolgicas. Hoy, a comienzos del siglo XXI, la fsica sigue el rumbo y la impronta
marcada por los grandes progresos logrados el siglo pasado. Entre esos progresos
destaca la formulacin de una teora unificada de los campos dbiles y
electromagnticos; que ha levantado la esperanza y la promesa de una teora unificada
de todas las fuerzas de la naturaleza. Fsicos tericos de todo el mundo, en solitario o
en equipo, han dedicado una enorme cantidad de tiempo y esfuerzo para la
consecucin de ese sueo.
Al mencionar este esfuerzo, en la bsqueda de la unificacin, no deberamos
olvidar los trabajos pioneros de Albert Einstein (1879-1955), quien se convirti en el
lder de un sueo singular de hacerlo realidad: la teora geomtrica para la unificacin
de los campos gravitacionales y electromagnticos.
En este trabajo, mostrar a grandes rasgos las ideas, avances y dificultades
durante la actividad de Einstein. A fin de proporcionar una visin global, he dividido
este trabajo en tres partes. En la primera, muestro las ideas acerca de la unificacin
antes de la aparicin de la Teora General de la Relatividad (TGR), en la segunda
bosquejo los trabajos de Einstein y otros autores para la unificacin de los campos, y
en la tercera parte se da un ejemplo de una teora de unificacin: la teora de KaluzaKlein para un universo de cinco dimensiones.

95

1. GENESIS DE LAS TEORAS DE CAMPO UNIFICADO


La histria muestra que la idea de la unificacin de las fuerzas de la naturaleza
no se origina con los trabajos de Einstein; ni la propuesta de unificacin a altas
dimensiones tampoco es original de Kaluza. Aun antes de la aparicin de la Relatividad
General, el fsico finlands G. Nordstrm (en tres artculos publicados entre 1912 y
1913) propuso una teora relativista en la cual la gravedad era descrita como un campo
escalar. Luego, en un trabajo publicado en el ao 1914, intent unificar su particular
teora de la gravitacin con la teora de Maxwell de una manera sorprendente [1].
Las ideas bsicas de Nordstrm son como sigue. Desde el siglo XIX era bien
conocido la unificacin de los campos elctricos y magnticos en la forma de la
electrodinmica de Maxwell. Con el surgimiento de la Relatividad Especial en 1905,
casi de inmediato los fsicos llegaron a reconocer la invariancia lorentziana en la teora
de Maxwell; y dado la geometra de Minkowski lleg a ser claro que la unificacin de
la electricidad y el magnetismo implicaban, de algn modo, la unificacin del triespacio dimensional y el tiempo en un espacio-tiempo continuo cuadri-dimensional.
Luego, inspirado en el espacio-tiempo cuadrimensional de Minkowski, aadi una
dimensin espacial; construyendo as un universo plano de cinco dimensiones. La idea
de Nordstrm consiti en introducir un campo de calibre abeliano de cinco
dimensiones, en donde las primeras cuatro componentes era el cuadri-potencial de
Maxwell y la quinta componente era la gravedad escalar. En su interpretacin, la
electrodinmica maxwelliana de cinco dimensiones era la teora fundamental, que se
reduca a la electrodinmica clsica en ausencia de su gravedad escalar.
A la luz del conocimiento actual, tales intentos estaban condenados al fracaso,
con todo, debe reconocrsele a Nordstrm como pionero tanto en la unificacin como
de la idea de un universo dotado de mas de cuatro dimensiones.
En una conferencia de la Academia de Ciencias de Gttingen, reunida el 20 de
noviembre de 1915, Hilbert, present por primera vez una teora de campo unificado
basado en la teora de la relatividad. Hilbert se haba apoyado en los primeros trabajos

96

de Einstein1 (1913,1914) sobre la teora relativista de la gravitacin y en los artculos


de G. Mie (de 1912) sobre la electrodinmica no lineal y la teora electromagntica de
la materia. Hilbert haba derivado, de hecho, las ecuaciones de campo de la relatividad
a partir de un principio variacional covariante, pero se distinguira de la TGR de
Einstein en su interpretacin del tensor energa-momentum de la materia que provena
de la teora electromagntica de Mie.
El trabajo de Hilbert segua el procedimiento de la escuela matemtica de
Gttingen: las ecuaciones de la teora, interpretadas como ecuaciones de EulerLagrange, se derivaban de un principio variacional, el empleo de teoras matemticas
abstractas (geometra diferencial, calculo de variaciones), subestimacin de los
experimentos y dificultades con algunas interpretaciones fsicas de la teora misma.
Ntese que cinco das despues de la conferencia de Hilbert sobre su teora de
unificacin, Einstein dict una conferencia ante la Academia de Ciencias de Berln. All
present por primera vez sus ecuaciones de campo gravitacional (ya contenidas en la
conferencia de Hilbert). As, Einstein no solo fue capaz de formular las ecuaciones de
campo para la gravitacin2 (las mismas de Hilbert) sino que tambin tuvo la genialidad
de dotarla de una interpretacin fsica que habra de corresponderse con la
fenomenologa de la gravitacin.
2. EL PROGRAMA DE EINSTEIN PARA LA UNIFICACIN
La idea de conectar el movimiento de la materia con las propiedades
geomtricas del espacio (tal como la curvatura) se puede encontrar en los trabajos de
N. Lobacevkskii, B. Riemann, W. Clifford y E. Mach. Sin embargo, fue Einstein el
primero en formular una teora precisa, verificable y verificada que vinculara
directamente la distribucin y movimiento de materia a la geometra del espaciotiempo.

1 Desarrollados en colaboracin con Marcel Grossmann


2 Einstein formul la TGR usando la geometra riemanniana de su poca. Esta geometra no contena el
concepto de conexin afn, es decir, una regla que serva para comparar vectores a diferentes puntos
del espacio de una variedad.

97

En la TRG, Einstein geometriza la gravitacin en el sentido que toda la


informacin acerca de las interacciones gravitacionales est contenida en la data del
elemento de lnea del espacio-tiempo. La poderosa y bella descripcin de la
gravitacin entusiasm a los fsicos y matemticos a intentar una geometrizacin del
electromagnetismo.
La bsqueda de una teora geomtrica y unificada de los campos gravitacionales
y electromagnticos ocup un rol dominante en los ltimos veinte aos de la actividad
cientfica de Einstein.
Las ideas principales de Einstein para la unificacin clsica de las interacciones eran:
1. Geometrizar el electromagnetismo
2. Unificar las variables bsicas de la gravitacin y el electromagnetismo en nico
objeto geomtrico
3. Obtener unas ecuaciones de campos unificados a partir de un principio variacional
Einstein esperaba que las propiedades fundamentales de las partculas
elementales y sus respectivos comportamientos cunticos pudieran ser de algn modo
descritas y explicadas en el marco de una teora clsica y puramente geomtrica.
Antes de bosquejar los esfuerzos pioneros (de Einstein y otros) en la tarea de
la geometrizacin de las fuerzas electromagnticas y su unificacin con la gravitacin,
es pertinente recordar los elementos esenciales de la TRG. Esta teora est basada en
dos objetos geomtricos fundamentales: Un tensor mtrico g y una conexin lineal .
La mtrica es necesaria para medir distancias, intervalos de tiempos, velocidades
relativas y ngulos. La

conexin basada en la nocin de transporte paralelo de

Levicita3, sirve a su vez para comparar direcciones, fuerzas y campos en puntos


separados en el espacio-tiempo de Riemann.
Todos los intentos iniciales en unificacin estaban basados en los objetos
geomtricos antes mencionados. La idea bsica es obtener nuevos grados de libertad
en la TGR para describir el electromagnetismo relajando o imponiendo restricciones
3 En 1917 Levi-Civita, inventa la conexin (afn) que lleva su nombre y de inmediato se incorpora a la
geometra riemanniana, y a partir de all a la TGR, y es apropiadamente llamada curvatura afn (la
cual coincide con la mtrica bajo transporte paralelo).

98

sobre el tensor mtrico (g) y/o , o incrementar el nmero de dimensiones de la


variedad riemanniana.
El asunto comienza hacia 1917, dos aos despus de que Einstein postulara la
TGR, H. Weyl (discpulo de Hilbert) propone un modelo geomtrico de la gravitacin
y del electromagnetismo. La teora unificada de Weyl es la primera propuesta
fundamentada en la TGR. Weyl consider que la geometrizacin podra ser
generalizado a otras fuerzas de la naturaleza. As, propuso una conexin general
dependiente de la trayectoria cuando se compara la longitud de vectores en diferentes
puntos del espacio-tiempo. En otras palabras, l not que la TGR est basada en la
relatividad de la direccin y propuso extenderla a fin de

tomar en cuenta la

relatividad de las magnitudes al permitir una transformacin conforme de la mtrica.


Esta idea idea lleg a ser conocida como teora de escala o de gauge, no
prosper porque llegaba a contradecir la escala absoluta de masas del mundo real.
Einstein critica la extensin a la geometra de Riemann propuesta por Weyl, pero al
mismo tiempo queda fascinado con la idea de construir una teora de campos
unificados en trminos de la geometra diferencial.
A pesar del fallo Weyl reinterpret las transformaciones gauge (en el contexto
de la fsica cuntica) al indicar que podran actuar en las funciones de onda de las
partculas cargadas , mas bien que sobre g. Esta idea inspir a las teoras de calibre no
abelianas y a la interpretacin de los potenciales electromagnticos y de Yang-Mills
como conexiones en fibrados principales (como mostraremos en la tercera parte de
este trabajo). Tambin lleg a constituir el germen para el desarrollo de las llamadas
teoras gauge de la gravedad, principalmente debido a los trabajos de F. Hehl,
Neeman y colaboradores[2].
En 1919; T. Kaluza propuso una teora de la gravitacin de cinco dimensiones.
En este trabajo Einstein mismo sirvi de rbitro, y luego de mucha vacilacin decidi
respaldar el artculo, que finalmente fue publicado en 1921. En su propuesta Kaluza
consider una geometra riemanniana en la cual la mtrica era una funcin de las
cuatro coordenadas y de una quinta definida sobre el circulo que representaba el

99

electromagnetismo. Esta idea fue trabajada por Einstein y colaboradores en 1923.


Einstein vuelve sobre esta teora penta-dimensional en un trabajo publicado en 1927,
tambin lo hace en cuatro trabajos (1931, 1932, 1938 y 1944) con sus colaboradores,
pero sin llegar a geometrizar el electromagnetismo ni a la unificacin de los campos
gravitacional y electromagnticos. La teora de Kaluza fue redescubierta de manera
independiente en 1926 por O. Klein y H. Mandel. El matemtico francs M. Yves
Thiry, bajo la gua de E. Cartan, consider tambin la teora de Kaluza en 1948, en
donde abord el problema con formas exteriores ( idea avanzada para la poca, y
utilizada actualmente).
Hoy da, a diferencia de las ideas previas de Kaluza, Mandel y Klein, ya no se
considera que todas las dimensiones del espacio-tiempo descansan en la variedad
riemaniana. En el mismo ao de 1921 A. Eddington propuso considerar a como la
cantidad bsica de la TGR y derivar de ella tanto el tensor mtrico como el campo
electromagntico al dividir

el tensor de Ricci, R en sus partes simtricas y

antisimtricas. Einstein, en cinco trabajos (cuatro en 1923 y uno en 1925), desarroll


esta idea al postular que la densidad lagrangiana debera ser proporcional a la cantidad
det R

. Desafortunadamente, este nuevo intento llev a ecuaciones incompatibles

1/2

con los experimentos y Einstein se vi obligado a abandonar este camino. Estas ideas
fueron retomadas por J. Kijowski [3], en donde se mejor la propuesta EddingtonEinstein, ste nuevo remiendo torico tampoco logr la unificacin ni la elegancia
de las teora del tipo Kaluza-Klein.
En 1925 Einstein consider una teora basada en la conexin y una g no
simtrica; e identificaba a g (la parte antisemtrica de g ) con el campo
electromagntico, volvi sobre esta idea en los ltimos aos de su vida trabajando en
una teora asimtrica fundamentadas en la mtrica y en la conexin. Sobre esta lnea
de investigacin public 11 trabajos entre 1925 y 1955. Bajo la influencia de Cartan,
Einstein genera una nueva lnea de investigacin en la que se dota a la variedad del

100

espacio-tiempo de una nueva entidad geomtrica llamada torsin4 inventada por


Cartan en 1922.
Esto significaba que la geometra riemanniana, en la visin de Cartn, era
extendida y ahora posea dos curvaturas: la curvatura mtrica (definida como siempre)
y la curvatura afn dada por la torsin5 (que representara el campo electromagntico).
(Esta idea es incorporada al esquema de Kaluza-Klein como se presentar luego).
Este esquema fue transformado por un nuevo y poderoso concepto geomtrico
llamado teleparalelismo, tambin desarrollado por Cartan. Teleparelismo significa que
la curvatura total es cero, o una suposicin mas dbil: que el tensor total de Ricci es
cero. Estas ideas fueron trabajadas por Einstein y publicadas en 3 trabajos (uno en
1929 y dos en 1930). En esa rea tampoco logr la ansiada unificacin. Las teoras de
unificacin basadas en teleparelismo han sido reconsideradas en aos recientes por J.
Vargas; siguiendo el enfoque de la geometra diferencial moderna[4].
En resumen, Einstein, se embarc en un programa geomtrico de unificacin
de las interacciones clsicas gravitacionales y electromagnticas en mas cuarenta
trabajos. Desafortunadamente el genio fracas, pero aun as entreabri los portales
hacia la bsqueda de la unificacin de las fuerzas de la naturaleza, en cuya tarea se han
ocupado la mas grande plyade fsicos.
Pero la mayora de estos esfuerzos estan bajo el enfoque de la Teora cuntica
de campos. De hecho, las tres cuartas partes de las fuerzas de la naturaleza conocidas
son estudiadas en el marco de la mecnica cuntica; y ya se logrado la unificacin de
las fuerzas dbiles con las electromagnticas. La unificacin con la fuerte en este
esquema no debe tardar en concretarse. La gravitacin, por su naturaleza misma se
resiste a entrar en ese esquema, con todo y eso, existen por lo menos cuatro
programas de cuantizacin del campo gravitatorio[5], todos los cuales parecen estr
destinados al fracaso,.El mas popular de estos fracasados esfuerzos es el programa de
las variables de Asthekar, en honor a un fsico hind que pretende cuantizar el
4 La torsion es definida generalmente como la parte antisimtrica de la conexin, pero solo es cierto en
un sistema de bases coordenadas. As que la llamada teora de Einstein-Cartan de algunos textos de
TGR est basada en esta limitacin conceptual.
5 Para un excelente review sobre torsin ver B. Gogala. Int. J. Theor. Phys. 19, 573 (1980)

101

campo gravitatorio a la cannica, es decir, siguiendo el mismo procedimiento que


llev a la cuantizacin del campo electromagntico [5]. El punto crucial es que si
deseamos cuantizar el campo gravitacional, deberamos, como bien han sealado R.
Penrose y R. Wald [5], reconstruir la mecnica cuntica sobre nuevos fundamentos.
El otro programa de unificacin va geometra diferencial es tambin
extraordinariamente difcil. Es pertinente mencionar que esta rea de trabajo se
distinguen bien dos lneas de investigacin. Una en la que se mezcla conceptos de
calibres de la mecnica cuntica con conceptos

y herramientas de la topologa

diferencial. Un ejemplo de ello son las llamadas teora de Kaluza-Klein, cuya versin
en cinco dimensiones presentar con cierta extensin en la prxima parte. La otra lnea
de accin proviene de los trabajos de J. Vargas, quien partiendo del enfoque de una
geometra diferencial pura (y bajo la gua de las ideas de Cartan) ha publicado la mas
elaborada geometrizacin del electromagnetismo de toda la literatura [6], y junto con
ello, ha propuesto todo un programa de unificacin en el cual el teleparelelismo juega
el rol central[4].

102

2.LA TEORA DE KALUZA-KLEIN: UN INTENTO PARA LAUNIFICACIN


Acerca de los espacios fibrados o fiber bundles
Las primeras definiciones generales de fiber bundles o espacios fibrados fueron
dadas por H. Whitney, cuyos trabajos, junto con los de H. Hopf y E. Stiefel
demostraron su importancia para las aplicaciones topolgicas en geometra diferencial.
A partir de all, durante el perodo 1935-1940, se publicaron una enorme cantidad de
trabajos vinculando fiber bundles no slo con geometra diferencial, sino tambin con
topologa algebraica y variedades diferenciales. El primer intento en cuanto a unificar
el lenguaje y organizar los materiales publicados se debe a N. Steenrod, cuyo trabajo
lleg a ser un clsico en la teora de fiber bundles [7].
Las nociones de fiber bundles tuvieron aplicacin en el campo de la fsica hacia
mediados de los aos sesenta. Los primeros intentos en esa direccin fueron realizados
por E. Lubkin [8], quien seal que los campos de calibre posean una estructura de
fiber bundles, y por H. Loos [9], quien enfatiz el rol de los grupos de holonoma
internos. Los conceptos de fiber bundles y su aplicacin en teoras de calibre
geomtricas de unificacin fueron tambin enfatizados por las numerosas
publicaciones de R. Hermann [10] y A. Trautman [11]. En los aos setenta aparecieron
una enorme cantidad de trabajos sobre la tcnica de fiber bundles en el estudio de las
teoras de calibre. Podemos citar un trabajo que condensa las ideas dominantes de la
poca: Fiber Bundles Techniques in Gauge Theories [12]. En la dcada de los ochenta,
se public Proceedings of Geometric Techniques in Gauge Theories [13], en cual se
muestran las contribuciones en esta rea.
El inters en fiber bundles radica en que tales nociones permiten una mayor
comprensin de las estructuras geomtricas subyacentes en las fuerzas de la naturaleza
y adems, pueden contribuir a la ansiada unificacin de todas las interacciones. Aparte
de que una conexin en el fibrado principal puede ser identificada con el cuadripotencial del electromagnetismo [10]-[13].

103

El rpido crecimiento de los mtodos geomtricos y su directa aplicacin en


fsica se ha visto concretado con la publicacin de numerosos libros a nivel de
graduados que enfatizan el rol de fiber bundles y de sus conexiones asociadas en
teoras de calibre y en la teora de la gravitacin de Einstein [14]-[18]. Entre ellos, los
ms conocidos y usados son el libro de B. Schutz [14] y el de Y. Choquet-Bruhat y
colaboradores [15]. (Vase ref. [19]).
La teora de Kaluza-Klein en cinco dimensiones
Una de la ms sorprendentes propuestas que se consideraron en los aos veinte
para la unificacin de los campos electromagnticos y gravitacionales fue, como ya
mencionamos, la sugerencia de Kaluza y Klein acerca de considerar una variedad
riemanniana dotada con cinco dimensiones [20]. El propsito original de Kaluza era
incrementar el nmero de dimensiones con el objeto de obtener componentes
adicionales del campo, que a su vez representaran el campo electromagntico. Esta
propuesta fu capaz de reproducir las leyes dinmicas de la gravitacin y del
electromagnetismo, pero absolutamente nada ms. Lo significante del tratamiento de
Kaluza-Klein consisti en dotar el campo electromagntico con cierto significado
geomtrico.
Posteriormente, los desarrollos de la geometra diferencial y la topologa, ya
mencionados arriba, sirvieron de marco para una reformulacin de la teora de KaluzaKlein de cinco dimensiones y ms all. La observacin clave para esta reformulacin
consiste en que las conexiones y los fibrados (bundles) no estn determinados
solamente por consideraciones geomtricas, sino por condiciones analticas,
ecuaciones diferenciales las cuales, localmente, contienen las componentes de la
conexin. Tales ecuaciones diferenciales, como se sabe, envuelven la curvatura [20].
De esta manera, en la teora de Kaluza-Klein moderna, el campo gravitacional
est determinado por una mtrica riemanniana en una variedad de dimensin cuatro y
el campo electromagntico por un espacio fibrado con una fibra uni-dimensional sobre
la variedad. La curvatura de la mtrica llega a ser una dos-forma diferencial (justo la

104

gravitacin), y la curvatura de la fibra una dos-forma diferencial con valores en la fibra


del espacio fibrado (justo el campo electromagntico).
Es pertinente resaltar las diferencias entre sta formulacin y la original de
Kaluza-Klein. La teora primitiva no consideraba al campo electromagntico como un
campo de calibre y las cinco dimensiones del espacio-tiempo estaban asignadas
completamente

la

variedad

riemanniana,

donde

estaran

los

campos

electromagnticos y gravitacionales.
As, en la nueva versin el campo electromagntico es descrito como un
campo de calibre en trminos de la conexin definida en el fibrado principal. Un
fibrado principal es simplemente uno en el que la fibra es isomrfica a un grupo (que
en el caso electromagntico, el grupo sera el circulo U(1)). Este espacio fibrado,
considerado como real y extremadamente pequeo, est sobre la variedad cuadridimensional del espacio-tiempo (e independiente de la variedad). Para que el mundo
de Kaluza-Klein represente el mundo fsico es necesario que se efecte el producto
cartesiano de estos dos espacios [21].
En la teora clsica de Kaluza-Klein la quinta dimensin se haca invisible a
travs de un proceso de reduccin dimensional [21]. Esta idea ha obtenido mucha
aceptacin gracias al concepto de compactificacin espontnea [20],[22]; cuyo
elemento bsico es como sigue: Las teoras de Kaluza-Klein modernas estn basadas
en la hiptesis de un universo con dimensiones, n, mayores que cinco, donde el
nmero de dimensiones del espacio compacto es mayor que cuatro; es decir, que el
espacio-tiempo, M, es de dimensin cuatro y que el espacio compacto, B, es n-4. As,
la llamada compactificacin espontnea (la fusin de todas las dimensiones) puede
ser representada por el producto cartesiano de ambos espacios: M4 Bn-4 = Mn.
El asunto que deseo destacar es que a diferencia de las teoras de Kaluza-Klein
6

modernas, que consideran una variedad cuadri-dimensional abajo, en el espacio base, y


una quinta o una dimensin ms alta arriba y considerada como real, en el fibrado
principal; ste trabajo enfatiza el hecho que las dimensiones totales del espacio-tiempo
6 Es una idea original del autor que no necesita recurrir a compactificacin espontnea.

105

pueden ser localizadas en el fibrado tangente de la variedad diferencial del fibrado


principal. Y este espacio abstracto (el fibrado tangente), a su vez, puede ser
considerado como real [23].
Ello es posible gracias a la estructura de variedad diferencial del fibrado dado
por el grupo de Lie U(1) de la fibra. Esto permite, a travs de los llamados
levantamientos horizontales, reproducir las nociones de transporte paralelo de la
variedad riemanniana, tomada como el espacio base.
De esta manera, suponemos simplemente que el espacio-tiempo posee cinco
dimensiones y que la accin pueda escindirse en dos partes a saber, la accin de
Einstein y la accin de Maxwell. La idea bsica para realizar esto consiste en construir
una mtrica gcd en el fibrado tangente del fibrado principal en donde la accin de
Einstein generalizada es la suma de la accin cuadri-dimensional de Einstein y la
accin cuadri-dimensional de Maxwell. La nueva mtrica estar formada de la mtrica
del espacio-tiempo g y una conexin _ , una 1-forma definida en un fibrado B
A
sobre

el

espacio-tiempo

M,

cuya

curvatura

es

proporcional

al

campo

electromagntico.
Esta

formulacin

permite

obtener

las

acciones

de

los

campos

electromagnticos y de la gravitacin a partir de la curvatura de la conexin. Se


muestra que la derivacin de las ecuaciones de Yang-Mills es directa por una simple
sustitucin de la curvatura evaluada en el lgebra de Lie. Aparte de ello, se desarrolla
la formulacin de la teora de Kaluza-Klein cinco-dimensional, de una manera ms
clara y accesible que aquellas que se encuentran en la literatura [23].
A fin de obtener una idea mas precisa de esta materia presentaremos en la
prxima seccin los elementos que llevan a considerar que las cinco dimensiones de
una teora de Kaluza-Klein se encuentran en el fibrado tangente del Fibrado Principal.
Luego, desarrollaremos explcitamente la teora de Kaluza-Klein en cinco dimensiones,
y hacia el final presentaremos algunas conclusiones.
Las cinco dimensiones del espacio-tiempo del fibrado principal

106

La teora de conexiones se origin a partir del concepto de transporte paralelo


en una variedad riemanniana [24]. En general, una conexin en el fibrado lleva una
7

correspondencia entre dos fibras cualquiera de la seccin transversal, a lo largo de una


curva x () en M. Uno dice que el punto b de la fibra sobre un punto x de la curva es
transportado paralelamente a lo largo de la curva por esta correspondencia. Se dice
tambin que la curva e(x ()) en B, descrita por el transporte paralelo de b es un
levantamiento horizontal (lifting) de la curva x () [15].
Para obtener los levantamientos horizontales de las curvas x () de M se le
asocia con cada vector tangente x
() en cualquiera x M y a cada punto b de la
fibra -1(x) = Gx un vector tangente e
(x()) en el fibrado, llamado vector horizontal,
el cual se proyecta por a x(). Lo que buscamos es que el transporte paralelo sea
compatible con la diferenciabilidad y la estructura de Fibrado Principal de B. Es decir,
el mapeo entre TxM y TbB debe preservar sus estructuras de vector y ser diferenciable
respecto a x. Esto puede ser ms claro de la siguiente manera.
Si el Fibrado Principal P con grupo G, es un grupo de Lie, sobre la variedad
M, entonces tenemos las siguientes consideraciones. Dado que el grupo de Lie G y la
variedad M son estructuras diferenciales, entonces el fibrado B es tambin una
estructura diferenciable [18].
Esto nos permite hablar de fibrados tangentes TB y de fibrados cotangentes
T*B de B. Si se considera TB en cualquier punto b, decimos que en b hay un espacio
tangente TbB. Luego, un subespacio de TbB es aquel que est constituido por
aquellos vectores que son solamente tangentes a la fibra que pasa a travs de b. Este
subespacio es llamado el subespacio vertical en b y es denotado como VbB. Junto con
este subespacio vertical existe subespacio horizontal HbB, definido tal que

Tb B Vb B H b B
7 Recuerdese que comenz con la insercin de la conexin de Levi-Civita en 1917

107

Esta ecuacin no define HbB de una manera nica. El subespacio horizontal


HbB se puede hacer nico al considerar lo que pasa cuando b vara en B. Se requiere
entonces que, cuando b1 cambie a b2 lo haga segn la siguiente regla: b1 a b2 = b1g ,
donde g G.
Entonces

H b 2 H b1g

H b1g R g H b1 ,

donde

est

relacionado

R g H b1 denota

con

H b1 por

medio de

la accin por la derecha sobre

mapa lineal que es inducido sobre el espacio tangente

H b1 del

Tb1 B por el mapeo b2 = b1g

de los elementos de la fibra. Esto significa que uno simplemente puede ir de un espacio
horizontal a otro por la accin por la derecha del grupo G [18],[15].
Ahora bien, ya dados estos subespacios horizontales y verticales se puede
definir en B la nocin de transporte paralelo y de su conexin asociada. Lo que
buscamos por tanto, es que dos levantamientos horizontales e
1 y e 2 de una curva x
() en M, para la misma conexin pero a travs de diferentes puntos b 1 y b2 en 1(x), estn relacionados por la transformacin

Rg

, la cual lleva b1 a b2. Estos

requerimientos llevan justo a la definicin de conexin en un Fibrado Principal.


En cuanto a la dimensin. Es fcil ver que la dimensin del fibrado tangente
TB es n+d, donde n es la dimensin del subespacio horizontal (la misma que la
variedad) y d es la dimensin del subespacio vertical (la misma dimensin del grupo)
[18].
En nuestro caso, el subespacio horizontal tiene dimensin cuatro, dado que
estamos trabajando con una cuadri-variedad riemanniana, y la dimensin del
subespacio vertical es uno, dado que el grupo con cual deseamos trabajar es el grupo
unitario U(1) del electromagnetismo. Por lo tanto la dimensin del fibrado tangente es
cinco.

108

Esto significa que, a diferencia de las teoras de Kaluza-Klein modernas que


consideran una variedad cuadri-mensional abajo, en el espacio base, y una quinta o una
dimensin ms alta arriba y considerada como real, en el Fibrado Principal; ste
trabajo enfatiza el hecho que las dimensiones totales del espacio-tiempo estn
totalmente en el fibrado tangente de la variedad diferencial del Fibrado Principal, como
se ha mostrado. Y este espacio abstracto (el fibrado tangente), a su vez, puede ser
considerado como real.
Todo esto implica que a travs de los llamados levantamientos horizontales de
las curvas en el espacio base a las curvas en el fibrado, como vimos antes, permite
aadir dimensiones extras al fibrado tangente, las cuales a su vez, dependern del
grupo utilizado. De este modo, podemos considerar que arriba, en el Fibrado
Principal, est definido una estructura de variedad diferenciable de dimensin cinco, en
la cual puede construirse una mtrica de modo tal que podamos calcular la curvatura
del espacio-tiempo y de all su respectiva accin. Y esto es lo que procederemos a
hacer.
La accin pentadimensional de la teoria de kaluza-klein
Una manera de unificar el campo de la gravitacin con el campo
electromagntico es suponer que el espacio-tiempo posee ms de cuatro dimensiones.
La dimensin extra, la quinta, no sera vista, no al menos de la manera acostumbrada,
y sera de dimensiones infinitesimales [20],[21]. Con el objetivo de unificar la gravedad
con el electromagnetismo uno debe exigir que la accin sea la del tipo gravitacional,
5

Rd , ahora evaluada en un espacio dimensional mucho ms alto y donde

representa la densidad lagrangiana de cinco dimensiones.


La idea es suponer simplemente que el espacio-tiempo posee cinco
dimensiones, pero esta vez consideradas en el fibrado tangente del Fibrado Principal,
y que la accin anterior pueda escindirse en dos partes a saber, la accin de Einstein y
la accin de Maxwell. La extensin de estos resultados en lo concerniente a la

109

obtencin de la accin de Einstein y la de Yang-Mills es directa. Procederemos a


mostrar como se realiza esto para los campos de la gravitacin y electromagnticos.
Bsicamente, la idea es construir una mtrica g cd en el fibrado tangente del
Fibrado Principal, sobre el espacio-tiempo M para el cual la accin de Einstein
generalizada es la suma de la accin cuadri-dimensional de Einstein y la accin cuadridimensional de Maxwell. La mtrica estar formada de la mtrica del espacio-tiempo
g y una conexin

, una 1-forma definida en un fibrado B sobre el espacio-tiempo

M, cuya curvatura es proporcional al campo electromagntico.


La construccin es como sigue. Uno requiere que gcd permita que los vectores
horizontales sean perpendiculares a los vectores verticales. As el vector c es
horizontal si c A c 0. Entonces un vector horizontal puede ser identificado con el
c
vector = c sobre M y asignndole la misma longitud. Los vectores verticales
c
c son mltiplos del generador del grupo U(1); y al asignarle una longitud

constante, , al campo vectorial c , la longitud de cada vector vertical queda


automticamente fijada. La mtrica resultante es simplemente:

gCD l 2 A CA D g 4 CD

(1)

donde g 4 CD es el pullback de g en la variedad M al fibrado B:

g 4 CD C D g

(2)

La prueba es como sigue. Sea


vertical, entonces para el vector

un vector horizontal y c un vector

tenemos que

g CD C D 4 gCD C D g C D

y para los vectores verticales c

C C 0 y C A C 0 g CD C D 0
As si C kC , donde k es una constante, entonces es fcil ver que
g CD C D kl 2 .

110

Esto se puede ver mucho mejor en una carta ( , x ) . All tenemos


-

ds2 l 2 (d A dx ) 2 g dx dx

donde A es proporcional al vector potencial A de tal manera que podemos


escribir la siguiente expresin lA kA

(la l est alli para hacer que d

kdF ).

Vamos a buscar los trminos de curvatura en este esquema. Primero, tomemos


una base ortonormal

de las 1-formas en M que pueden ser llevadas (pulled back)

a las 1-formas por medio de * en B. Luego usaremos como bases


I
en B las 1-formas
5 lA (a),

(b) .

(3)

Haremos uso de la conmutatividad entre la derivada exterior y el pullback:


d ( * ) * ( d )

(4)

vlida para cualquier mapa : B M y cualquier p-forma en M.


En este esquema la primera ecuacin de estructura de Cartan en l fibrado
tienen la forma

d I IJ J
5 l dA k F
d

(5)
1
2

kF

(6)

Esto implica que

5
5

(7)

de donde es obvio que

5 21 kF

(8)

Tambin tenemos que


d* *d ( )
d
5
5 )
5
I I (

resultando
1 kF 5

(9)

El tensor de Riemann se calcula de la segunda ecuacin de estructura de Cartan:

111

IJ d IJ IJ JK
y
5

cuyas componentes

(10)

son calculadas como sigue. Las componentes

= d I I

(11)

son calculadas de la siguiente manera. Tomemos la derivada exterior a la ecuacin (9)

d d 21 kd ( F 5 )

(12)

aplicando la regla de Leibniz en el lado izquierdo de sta ecuacin

d d 12 kd ( F 5 ) d 12 k F 5 F ( 5 )

d 12 k F 5 F ( 12 kF )

d 21 k F 5 k4 F F .
2

(13)

I
I puede ser calculado de la siguiente forma
El trmino
I I 12 kF 5 12 k F 5 12 k 2 F F (14)
La ecuacin (11) se obtiene por una suma directa las ecuaciones (13) y (14):

= 81 k 2 ( F F F F 2 F F ) 81 k F F F 5

La cual puede ser reescrita como

1
8

k 2 ( F F F F 2 F F ) 12 k F 5

(15)

donde significa derivada covariante.


El clculo de

se realiza de una manera similar, es decir,

d 5 21 k F 21 kF
5 21 kF ( 21 kF 5 )
21 kF 41 k2 F F 5

(16)
(17)

La suma de las ecuaciones (16) y (17) es

5 1 k F F F 1 k 2 F F
5


2
2

112

5
21 F 41 k 2 F F

(18)

Luego los tensores de Riemann son

R R 41 k2 ( F F F F 2F F )
R 5 21 k F

(19a)
(19b)

R 5 5 41 k 2 F F

(19c)

y los tensores de Ricci son

R R R R k (F F 2F F ) k F F

5
12 12
5 4 4
R 21 k 2 F F

R 5 R R k F

5 1
2

(20a)

(20b)

R 55 41 k 2 F F

(20c)

La curvatura escalar tiene la forma

R = R - 21 k 2 F F 41 k2 F F R - 21 k 2 F F

(21)

Entonces la accin cinco-dimensional es expresada como

c4
c4
5
R
d

( R 41 k 2 F F )d

16G
16G

donde k 2
I

(22)

16G
, de all que la accin penta-dimensional se escribe como
c4

c4
Rd
16G

1
4

F F d

(23)

que son las acciones de Einstein y Maxwell , justo lo que deseamos encontrar.

113

Los resultados anteriores se pueden extender fcilmente para los campos de


a

Yang-Mills escribiendo F ( o Fa ) en todos los lugares donde aparezca F (o F


), donde el super-ndice a seala que el tensor de Yang-Mills adquiere su valor en el
lgebra de Lie. El lagrangiano de Yang-Mills es la generalizacin natural del
lagrangiano del electromagnetismo. Como es usual el lagrangiano de Yang-Mills tiene
la siguiente forma:

1 a
L F
Fa ,
4
donde, como bien se conoce,
a
F
2 [ A a ] C abc A b A c

siendo

C abc

las constantes de estructura del grupo. Entonces, siguiendo la ecuacin

(23), las respectivas acciones de Einstein y Yang-Mills son


I

c4
1 a
Rd F
Fa d .

16G
4

Obtenindose en forma inmediata la extensin a campos de Yang-Mills. Las


ecuaciones de Yang-Mills que generalizan el campo electromagntico. Es decir, las
ecuaciones de Yang-Mills llegan a ser las del electromagnetismo para el caso abeliano.
Consideraciones finales
En este trabajo se resalt que, en las teoras de Kaluza-Klein, las cinco dimensiones no
han de considerarse separadas, es decir, cuatro en el espacio base de la variedad
riemanniana, y la quinta, arriba, en el Fibrado Principal, como generalmente se
considera. Esto ha sido corregido, mostrando simplemente que dado la estructura de
variedad diferenciable del Fibrado Principal, adquirida a travs del grupo de Lie, era
entonces posible definir un fibrado tangente cuya dimensin, como se mostr, es
cinco.

114

Esta sugerencia, esencialmente de naturaleza matemtica, puede ser til. Por


ejemplo, si se quiere usar el grupo SU(2) de las construcciones al estilo Yang-Mills, es
claro que el nmero de dimensiones es seis. Esto significa, que considerada la cuadrivariedad riemanniana, es el grupo de Lie usado el que aade las dimensiones extras a
la teora. Esto sirve, a su vez para establecer un criterio en cuanto al nmero de
dimensiones a usar al construir las teoras de Kaluza-Klein.
Como se ha mostrado la formulacin de la teora de Kaluza-Klein pentadimensional, suministra un lenguaje poderoso para escribir las ecuaciones de la
gravitacin y provee un excelente marco para la descripcin del electromagnetismo,
donde el cuadripotencial es identificado como una conexin en el Fibrado Principal.
De esta manera la idea de conexin, probablemente fundamental para comprender la
estructura geomtrica subyacente, no est restringida al espacio-tiempo de la variedad
riemanniana [15], [25].
La idea de unificacin a altas dimensiones ha llevado a las teoras de KaluzaKlein a nuevas y exticas fronteras que tienen que ver con un habitat de 11 o mas
dimensiones, supergravedad, superstrings, cosmologa, etc. [26].
El ejemplo que hemos considerado nos ha mostrado las riquezas geomtricas y
las implicaciones de las teoras de Kaluza-Klein; y constituye uno de los programas
mas interesantes para la unificacin de las interacciones gravitacionales y
electromagnticas. Si bien es cierto, esta propuesta es muy diferente de aquellas
tratadas por Einstein, con todo persigue su sueo. Aunque es probable que este
tratamiento con calibres conviertan su sueo (de una unificacin con geometra pura)
mas bien en una pesadilla como la que estn envueltos muchos fsicos de hoy da [27].
AGRADECIMIENTO

El autor de este trabajo desea expresar su agradecimiento al Dr. Nelson Falcn por tener la
gentileza de invitar a un fsico tan modesto como yo, a disertar sobre la obra de un fsico tan
grande como Einstein. Agradezco tambin el apoyo financiero de la Facultad de Ciencias y
Tecnologa de la Universidad de Carabobo.

115

REFERENCIAS Y NOTAS
[1]

Las referencias que cubren el perodo 1913-1955 son numerosas, por razones de espacio
no aparecen en este trabajo. Para las de Nordstrom, Kaluza y Klein, vase la Ref. [26].

[2]

Cosmology and Gravitation. Edi. P. G. Bergman and V. De Sabbata. Plenum Press


(1980)

[3]

Ver por ejemplo, Lecture Notes in Physics No. 107. Ed. Springer-Verlag (1979).

[4]

J. G Vargas, Found. Phys. 29 (1999) 145-200. Se encuentran una serie de notas y


referencias acerca de la correspondencias entre Einstein y Cartan. Adems en un
apndice establece los hitos de geometrizacin de la fsica.

[5]

Para una discusin concisa R. Wald, General Relativity. Cap. 14. Ed. University
Chicago Press (1984).

[6]

J. Vargas, Found. Phys. 21 (1991) 379-401.

[7]

N. Steenrod, The Topology of Fibre Bundles, Princeton University Press (1957)

[8]

E. Lubkin, Ann. Phys. 23 (1963), 233-240

[9]

H. G. Loos, Phys. Rev. 188 (1969), 2342-2348

[10]

R. Hermann, Modern differential geometry in elementary particle physics, Topics in


Quantum Field Theory and Gauge Theory. Lect. Notes on Physics 77 (1978), 39-80.

[11] A. Trautman, en Conference on Differential Geometric Methods in Theoretical Physics.


World Scientific Publishing, (1983), pp. 33-40
[12] W. Drechsler, and M. Meyer, Fiber Bundles Techniques in Gauge Theories, Lect. Notes
on Physics 67, Springer-Verlag, 1977.
[13] R. Martini, and E. M. De Jager, (Editors), Geometric Techniques in Gauge Theories:
Proccedings of the Fifth Scheveningen Conference on Differential Equations, Lect.
Notes in Math. 962, Springer-Verlag, 1982.
[14] B. Schutz, Geometrical Methods of Mathematical Physics, Cambridge University
Press,1980.
[15] Y. Choquet-Bruhat, C. De Witt-Morette, and M. Dillard-Bleick, Analysis, Manifolds
and Physics. Vol. I. Revised Edition, Elsevier Science Publishing Company, 1991.
[16] W. Burke, Applied Differential Geometry, Cambridge University Press, 1989.
[17] M. Gockeler, and T. Schucker, Differencial Geometry, Gauge Theories and Gravity,
Cambridge University Press, 1987.

116

[18] C. Nash, and S. Siddartha, Topology and Geometry for Physicists, Academic Press,
1990.
[19] Para una presentacin pedaggica sobre estos temas vase W. Pitter, Fiber Bundles y
Conexiones en Relatividad (Trabajo no publicado, Universidad del Zulia, 1999).
[20] An introduction to Kaluza Klein Theories, Edited by H. C. Lee., World Scientific Publishing Co. (1984).
[21] A. Maheshwari, en Gravitation, Gauge Theory and the Early Universe. Kluwer
Academic Publishers (1989), p. 423
[22] Una breve discusin en el libro de Y. Choquet-Bruhat y colaboradores, ref. [15], p. 6
[23] W. Pitter, Rev. Tc. Ing. Univ. Zulia. 20 (1997), 113-120
[24] J. L. Dupont, Lect. N. in Mathematics. Vol. 640, Springer-Verlag, New York (1979),
[25] L. Yuanjie. Int. J. Th. Phys., 32, (1993), 1619-1625
[26] T. Appelquist et al., Modern Kaluza-Klein Theories. Frontier in Physics. AddissonWesley. (1987). Es la mejor obra sobre el tpico, contiene una formidable introduccin
histrica con los trabajos originales de Kaluza y de Klein, los de Nordstrom, adems del
artculo de Einstein y de P. Bergman sobre la generalizacin de Kaluza; y un par de
notas presentadas por Cartan y la contribucin de A. Salam y S. Weinberg.
[27] Para una crtica sobre estos aspectos y otros relacionados vase J. G. Vargas and W.
Pitter, On The Gravitational Energy-Momentum Tensor (en preparacin, 2001).

Nomenclatura y Smbolos
Con respecto a los ndices y superndices: Las letras latinas se refieren a los objetos
situados en el Fibrado Principal. Las maysculas a los vectores y tensores y las
minsculas a sus respectivas componentes. Los ndices griegos estan referidos a las
componentes de vectores y tensores de la variedad riemanniana del espacio base. Los
Smbolos menos convencionales : proyeccin; , : pullbacks; : conexiones; B:
Espacio fibrado; : Curvatura de Cartan; TxM: Espacio tangente a la variedad; TbB:
Espacio tangente al fibrado;TB: Fibrado tangente; VbB: Subespacio vertical; HbB:
Subespacio horizontal; d: Derivad exterior; : producto exterior; : Suma
geomtrica.l: Longitud de la fibra.

117