EL SUEÑO DE EINSTEIN: LA UNIFICACIÓN GEOMÉTRICA DE LAS

FUERZAS GRAVITACIONALES Y ELECTROMAGNETICAS

Williams Pitter
La Universidad del Zulia, Facultad de Ciencias. Dpto. de Física.
Apdo. Postal 526. Maracaibo, Zulia.

Einstein’s insistence on the importance of unification,

was a deep insight, which he courageously defended, against all spoken
and unspoken criticism
Chen Ning Yang

INTRODUCCIÓN

No es difícil mostrar, sin lugar a dudas, que la física se lleva el honor de ser la
disciplina con los mayores adelantos teóricos y con las mas grandes aplicaciones
tecnológicas. Hoy, a comienzos del siglo XXI, la física sigue el rumbo y la impronta
marcada por los grandes progresos logrados el siglo pasado. Entre esos progresos
destaca la formulación de una teoría unificada de los campos débiles y
electromagnéticos; que ha levantado la esperanza y la promesa de una teoría
unificada de todas las fuerzas de la naturaleza. Físicos teóricos de todo el mundo, en
solitario o en equipo, han dedicado una enorme cantidad de tiempo y esfuerzo para la
consecución de ese sueño.
Al mencionar este esfuerzo, en la búsqueda de la unificación, no deberíamos
olvidar los trabajos pioneros de Albert Einstein (1879-1955), quien se convirtió en el
líder de un sueño singular de hacerlo realidad: la teoría geométrica para la unificación
de los campos gravitacionales y electromagnéticos.
En este trabajo, mostraré a grandes rasgos las ideas, avances y dificultades
durante la actividad de Einstein. A fin de proporcionar una visión global, he dividido
este trabajo en tres partes. En la primera, muestro las ideas acerca de la unificación
antes de la aparición de la Teoría General de la Relatividad (TGR), en la segunda
bosquejo los trabajos de Einstein y otros autores para la unificación de los campos, y

95
en la tercera parte se da un ejemplo de una teoría de unificación: la teoría de Kaluza-
Klein para un universo de cinco dimensiones.
1. GENESIS DE LAS TEORÍAS DE CAMPO UNIFICADO

La história muestra que la idea de la unificación de las fuerzas de la

naturaleza no se origina con los trabajos de Einstein; ni la propuesta de unificación a
altas dimensiones tampoco es original de Kaluza. Aun antes de la aparición de la
Relatividad General, el físico finlandés G. Nordström (en tres artículos publicados
entre 1912 y 1913) propuso una teoría relativista en la cual la gravedad era descrita
como un campo escalar. Luego, en un trabajo publicado en el año 1914, intentó
unificar su particular teoría de la gravitación con la teoría de Maxwell de una manera
sorprendente [1].
Las ideas básicas de Nordström son como sigue. Desde el siglo XIX era bien
conocido la unificación de los campos eléctricos y magnéticos en la forma de la
electrodinámica de Maxwell. Con el surgimiento de la Relatividad Especial en 1905,
casi de inmediato los físicos llegaron a reconocer la invariancia lorentziana en la
teoría de Maxwell; y dado la geometría de Minkowski llegó a ser claro que la
unificación de la electricidad y el magnetismo implicaban, de algún modo, la
unificación del tri-espacio dimensional y el tiempo en un “espacio-tiempo continuo”
cuadri-dimensional. Luego, inspirado en el espacio-tiempo cuadrimensional de
Minkowski, añadió una dimensión espacial; construyendo así un universo plano de
cinco dimensiones. La idea de Nordström 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
interpretación, la electrodinámica maxwelliana de cinco dimensiones era la teoría
fundamental, que se reducía a la electrodinámica clásica en ausencia de su gravedad
escalar.

96
 A la luz del conocimiento actual, tales intentos estaban condenados al fracaso,
con todo, debe reconocérsele a Nordström como pionero tanto en la unificación como
de la idea de un universo dotado de mas de cuatro dimensiones.
En una conferencia de la Academia de Ciencias de Göttingen, reunida el 20
de noviembre de 1915, Hilbert, presentó por primera vez una teoría de campo
unificado basado en la teoría de la relatividad. Hilbert se había apoyado en los
primeros trabajos de Einstein1 (1913,1914) sobre la teoría relativista de la gravitación
y en los artículos de G. Mie (de 1912) sobre la electrodinámica no lineal y la teoría
electromagnética de la materia. Hilbert había derivado, de hecho, las ecuaciones de
campo de la relatividad a partir de un principio variacional covariante, pero se
distinguiría de la TGR de Einstein en su interpretación del tensor energía-momentum
de la materia que provenía de la teoría electromagnética de Mie.
El trabajo de Hilbert seguía el procedimiento de la escuela matemática de
Göttingen: las ecuaciones de la teoría, interpretadas como ecuaciones de Euler-
Lagrange, se derivaban de un principio variacional, el empleo de teorías matemáticas
abstractas (geometría diferencial, calculo de variaciones), subestimación de los
experimentos y dificultades con algunas interpretaciones físicas de la teoría misma.
Nótese que cinco días despues de la conferencia de Hilbert sobre su teoría de
unificación, Einstein dictó una conferencia ante la Academia de Ciencias de Berlín.
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 gravitación2 (las mismas de Hilbert) sino que también
tuvo la genialidad de dotarla de una interpretación física que habría de
corresponderse con la fenomenología de la gravitación.

2. EL PROGRAMA DE EINSTEIN PARA LA UNIFICACIÓN

1 Desarrollados en colaboración con Marcel Grossmann

2 Einstein formuló la TGR usando la geometría riemanniana de su época. Esta geometría no contenía el concepto de
conexión afín, es decir, una regla que servía para comparar vectores a diferentes puntos del espacio de una variedad.

97
 La idea de conectar el movimiento de la materia con las propiedades
geométricas 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 teoría precisa, verificable y verificada que vinculara
directamente la distribución y movimiento de materia a la geometría del espacio-
tiempo.
En la TRG, Einstein geometriza la gravitación en el sentido que toda la
información acerca de las interacciones gravitacionales está contenida en la data del
elemento de línea del espacio-tiempo. La poderosa y bella descripción de la
gravitación entusiasmó a los físicos y matemáticos a intentar una geometrización del
electromagnetismo.
La búsqueda de una teoría geométrica y unificada de los campos
gravitacionales y electromagnéticos ocupó un rol dominante en los últimos veinte
años de la actividad científica de Einstein.
Las ideas principales de Einstein para la unificación clásica de las interacciones eran:
1. Geometrizar el electromagnetismo
2. Unificar las variables básicas de la gravitación y el electromagnetismo en único
objeto geométrico
3. Obtener unas ecuaciones de campos unificados a partir de un principio variacional
Einstein esperaba que las propiedades fundamentales de las partículas
elementales y sus respectivos comportamientos cuánticos pudieran ser de algún modo
descritas y explicadas en el marco de una teoría clásica y puramente geométrica.
Antes de bosquejar los esfuerzos pioneros (de Einstein y otros) en la tarea de
la geometrización de las fuerzas electromagnéticas y su unificación con la
gravitación, es pertinente recordar los elementos esenciales de la TRG. Esta teoría
está basada en dos objetos geométricos fundamentales: Un tensor métrico g y una
conexión lineal . La métrica es necesaria para medir distancias, intervalos de
tiempos, velocidades relativas y ángulos. La conexión basada en la noción de

98
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 unificación estaban basados en los objetos
geométricos antes mencionados. La idea básica es obtener nuevos grados de libertad
en la TGR para describir el electromagnetismo relajando o imponiendo restricciones
sobre el tensor métrico (g) y/o , o incrementar el número de dimensiones de la
variedad riemanniana.
El asunto comienza hacia 1917, dos años después de que Einstein postulara la
TGR, H. Weyl (discípulo de Hilbert) propone un modelo geométrico de la
gravitación y del electromagnetismo. La teoría unificada de Weyl es la primera
propuesta fundamentada en la TGR. Weyl consideró que la geometrización podría ser
generalizado a otras fuerzas de la naturaleza. Así, propuso una conexión 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 dirección” y propuso extenderla a fin de tomar en
cuenta la “relatividad de las magnitudes” al permitir una transformación conforme de
la métrica.
Esta idea idea llegó a ser conocida como teoría de escala o de “gauge”, no
prosperó porque llegaba a contradecir la escala absoluta de masas del mundo real.
Einstein critica la extensión a la geometría de Riemann propuesta por Weyl, pero al
mismo tiempo queda fascinado con la idea de construir una teoría de campos
unificados en términos de la geometría diferencial.
A pesar del fallo Weyl reinterpretó las transformaciones gauge (en el contexto
de la física cuántica) al indicar que podrían actuar en las funciones de onda de las
partículas cargadas , mas bien que sobre g. Esta idea inspiró a las teorías de calibre
no abelianas y a la interpretación de los potenciales electromagnéticos y de Yang-

3 En 1917 Levi-Civita, inventa la conexión (afín) que lleva su nombre y de inmediato se incorpora a la geometría
riemanniana, y a partir de allí a la TGR, y es apropiadamente llamada “curvatura afín” (la cual coincide con la métrica
bajo transporte paralelo).

99
Mills como conexiones en fibrados principales (como mostraremos en la tercera parte
de este trabajo). También llegó a constituir el germen para el desarrollo de las
llamadas “teorías gauge de la gravedad”, principalmente debido a los trabajos de F.
Hehl, Ne’eman y colaboradores[2].
En 1919; T. Kaluza propuso una teoría de la gravitación de cinco
dimensiones. En este trabajo Einstein mismo sirvió de árbitro, y luego de mucha
vacilación decidió respaldar el artículo, que finalmente fue publicado en 1921. En su
propuesta Kaluza consideró una geometría riemanniana en la cual la métrica era una
función de las cuatro coordenadas y de una quinta definida sobre el circulo que
representaba el electromagnetismo. Esta idea fue trabajada por Einstein y
colaboradores en 1923. Einstein vuelve sobre esta teoría penta-dimensional en un
trabajo publicado en 1927, también lo hace en cuatro trabajos (1931, 1932, 1938 y
1944) con sus colaboradores, pero sin llegar a geometrizar el electromagnetismo ni a
la unificación de los campos gravitacional y electromagnéticos. La teoría de Kaluza
fue redescubierta de manera independiente en 1926 por O. Klein y H. Mandel. El
matemático francés M. Yves Thiry, bajo la guía de E. Cartan, consideró también la
teoría de Kaluza en 1948, en donde abordó el problema con formas exteriores ( idea
avanzada para la época, y utilizada actualmente).
Hoy día, 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 año de 1921 A. Eddington propuso considerar a  como la
cantidad básica de la TGR y derivar de ella tanto el tensor métrico como el campo
electromagnético al dividir el tensor de Ricci, R en sus partes simétricas y
antisimétricas. Einstein, en cinco trabajos (cuatro en 1923 y uno en 1925), desarrolló
esta idea al postular que la densidad lagrangiana debería ser proporcional a la
cantidad det R1/2. Desafortunadamente, este nuevo intento llevó a ecuaciones
incompatibles 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

100
propuesta Eddington-Einstein, éste nuevo “remiendo téorico” tampoco logró la
unificación ni la “elegancia” de las teoría del tipo Kaluza-Klein.
En 1925 Einstein consideró una teoría basada en la conexión  y una g no
simétrica; e identificaba a g (la parte antisemétrica de g ) con el campo
electromagnético, volvió sobre esta idea en los últimos años de su vida trabajando en
una “teoría asimétrica” fundamentadas en la métrica y en la conexión. Sobre esta
línea de investigación publicó 11 trabajos entre 1925 y 1955. Bajo la influencia de
Cartan, Einstein genera una nueva línea de investigación en la que se dota a la
variedad del espacio-tiempo de una nueva entidad geométrica llamada torsión 4
inventada por Cartan en 1922.
Esto significaba que la geometría riemanniana, en la visión de Cartán, era
extendida y ahora poseía dos curvaturas: la curvatura métrica (definida como
siempre) y la curvatura afín dada por la torsión5 (que representaría el campo
electromagnético). (Esta idea es incorporada al esquema de Kaluza-Klein como se
presentará luego).
Este esquema fue transformado por un nuevo y poderoso concepto geométrico
llamado teleparalelismo, también desarrollado por Cartan. Teleparelismo significa
que la curvatura total es cero, o una suposición mas débil: 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 unificación. Las teorías de
unificación basadas en teleparelismo han sido reconsideradas en años recientes por
J. Vargas; siguiendo el enfoque de la geometría diferencial moderna[4].
En resumen, Einstein, se embarcó en un programa geométrico de unificación
de las interacciones clásicas gravitacionales y electromagnéticas en mas cuarenta
trabajos. Desafortunadamente el genio fracasó, pero aun así entreabrió los portales

4 La torsion es definida generalmente como la parte antisimétrica de la conexión, pero solo es cierto en un sistema de
bases coordenadas. Así que la llamada teoría de Einstein-Cartan de algunos textos de TGR está basada en esta
limitación conceptual.
5 Para un excelente review sobre torsión ver B. Gogala. Int. J. Theor. Phys. 19, 573 (1980)

101
hacia la búsqueda de la unificación de las fuerzas de la naturaleza, en cuya tarea se
han ocupado la mas grande pléyade físicos.
Pero la mayoría de estos esfuerzos estan bajo el enfoque de la Teoría cuántica
de campos. De hecho, las tres cuartas partes de las fuerzas de la naturaleza conocidas
son estudiadas en el marco de la mecánica cuántica; y ya se logrado la unificación de
las fuerzas débiles con las electromagnéticas. La unificación con la fuerte en este
esquema no debe tardar en concretarse. La gravitación, por su naturaleza misma se
resiste a entrar en ese esquema, con todo y eso, existen por lo menos cuatro
programas de cuantización del campo gravitatorio[5], todos los cuales parecen estár
destinados al fracaso,.El mas popular de estos fracasados esfuerzos es el programa de
las “variables de Asthekar”, en honor a un físico hindú que pretende cuantizar el
campo gravitatorio “a la canónica”, es decir, siguiendo el mismo procedimiento que
llevó a la cuantización del campo electromagnético [5]. El punto crucial es que si
deseamos cuantizar el campo gravitacional, deberíamos, como bien han señalado R.
Penrose y R. Wald [5], reconstruir la mecánica cuántica sobre nuevos fundamentos.
El otro programa de unificación vía geometría diferencial es también
extraordinariamente difícil. Es pertinente mencionar que esta área de trabajo se
distinguen bien dos líneas de investigación. Una en la que se mezcla conceptos de
calibres de la mecánica cuántica con conceptos y herramientas de la topología
diferencial. Un ejemplo de ello son las llamadas teoría de Kaluza-Klein, cuya versión
en cinco dimensiones presentaré con cierta extensión en la próxima parte. La otra
línea de acción proviene de los trabajos de J. Vargas, quien partiendo del enfoque de
una geometría diferencial pura (y bajo la guía de las ideas de Cartan) ha publicado la
mas elaborada geometrización del electromagnetismo de toda la literatura [6], y junto
con ello, ha propuesto todo un programa de unificación en el cual el teleparelelismo
juega el rol central[4].

102
2.LA TEORÍA DE KALUZA-KLEIN: UN INTENTO PARA LAUNIFICACIÓN
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 topológicas en geometría
diferencial. A partir de allí, durante el período 1935-1940, se publicaron una enorme
cantidad de trabajos vinculando fiber bundles no sólo con geometría diferencial, sino
también con topología 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 clásico en la teoría de fiber bundles [7].
Las nociones de fiber bundles tuvieron aplicación en el campo de la física
hacia mediados de los años sesenta. Los primeros intentos en esa dirección fueron
realizados por E. Lubkin [8], quien señaló que los campos de calibre poseían una
estructura de fiber bundles, y por H. Loos [9], quien enfatizó el rol de los grupos de
holonomía ‘internos’. Los conceptos de fiber bundles y su aplicación en teorías de
calibre geométricas de unificación fueron también enfatizados por las numerosas
publicaciones de R. Hermann [10] y A. Trautman [11]. En los años setenta
aparecieron una enorme cantidad de trabajos sobre la técnica de fiber bundles en el
estudio de las teorías de calibre. Podemos citar un trabajo que condensa las ideas
dominantes de la época: Fiber Bundles Techniques in Gauge Theories [12]. En la
década de los ochenta, se publicó Proceedings of Geometric Techniques in Gauge
Theories [13], en cual se muestran las contribuciones en esta área.
El interés en fiber bundles radica en que tales nociones permiten una mayor
comprensión de las estructuras geométricas subyacentes en las fuerzas de la
naturaleza y además, pueden contribuir a la ansiada unificación de todas las

103
interacciones. Aparte de que una conexión en el fibrado principal puede ser
identificada con el cuadri-potencial del electromagnetismo [10]-[13].
El rápido crecimiento de los métodos geométricos y su directa aplicación en
física se ha visto concretado con la publicación de numerosos libros a nivel de
graduados que enfatizan el rol de fiber bundles y de sus conexiones asociadas en
teorías de calibre y en la teoría de la gravitación de Einstein [14]-[18]. Entre ellos,
los más conocidos y usados son el libro de B. Schutz [14] y el de Y. Choquet-Bruhat
y colaboradores [15]. (Véase ref. [19]).

La teoría de Kaluza-Klein en cinco dimensiones

Una de la más sorprendentes propuestas que se consideraron en los años
veinte para la unificación de los campos electromagnéticos y gravitacionales fue,
como ya mencionamos, la sugerencia de Kaluza y Klein acerca de considerar una
variedad riemanniana dotada con cinco dimensiones [20]. El propósito original de
Kaluza era incrementar el número de dimensiones con el objeto de obtener compo-
nentes adicionales del campo, que a su vez representaran el campo electromagnético.
Esta propuesta fué capaz de reproducir las leyes dinámicas de la gravitación y del
electromagnetismo, pero absolutamente nada más. Lo significante del tratamiento de
Kaluza-Klein consistió en dotar el campo electromagnético con cierto significado
geométrico.
Posteriormente, los desarrollos de la geometría diferencial y la topología, ya
mencionados arriba, sirvieron de marco para una reformulación de la teoría de
Kaluza-Klein de cinco dimensiones y más allá. La observación clave para esta
reformulación consiste en que las conexiones y los fibrados (bundles) no están
determinados solamente por consideraciones geométricas, sino por condiciones
analíticas, ecuaciones diferenciales las cuales, localmente, contienen las componentes
de la conexión. Tales ecuaciones diferenciales, como se sabe, envuelven la curvatura
[20].

104
 De esta manera, en la teoría de Kaluza-Klein moderna, el campo gravitacional
está determinado por una métrica riemanniana en una variedad de dimensión cuatro y
el campo electromagnético por un espacio fibrado con una fibra uni-dimensional
sobre la variedad. La curvatura de la métrica llega a ser una dos-forma diferencial
(justo la gravitación), y la curvatura de la fibra una dos-forma diferencial con valores
en la fibra del espacio fibrado (justo el campo electromagnético).
Es pertinente resaltar las diferencias entre ésta formulación y la original de
Kaluza-Klein. La teoría primitiva no consideraba al campo electromagnético como
un campo de calibre y las cinco dimensiones del espacio-tiempo estaban asignadas
completamente a la variedad riemanniana, donde estarían los campos
electromagnéticos y gravitacionales.
Así, en la nueva versión el campo electromagnético es descrito como un
campo de calibre en términos de la conexión definida en el fibrado principal. Un
fibrado principal es simplemente uno en el que la fibra es isomórfica a un grupo (que
en el caso electromagnético, el grupo sería el circulo U(1)). Este espacio fibrado,
considerado como real y extremadamente pequeño, está sobre la variedad cuadri-
dimensional del espacio-tiempo (e independiente de la variedad). Para que el mundo
de Kaluza-Klein represente el mundo físico es necesario que se efectúe el producto
cartesiano de estos dos espacios [21].
En la teoría clásica de Kaluza-Klein la quinta dimensión se hacía invisible a
través de un proceso de reducción dimensional [21]. Esta idea ha obtenido mucha
aceptación gracias al concepto de ‘compactificación espontánea’ [20],[22]; cuyo
elemento básico es como sigue: Las teorías de Kaluza-Klein modernas están basadas
en la hipótesis de un universo con dimensiones, n, mayores que cinco, donde el
número de dimensiones del espacio compacto es mayor que cuatro; es decir, que el
espacio-tiempo, M, es de dimensión cuatro y que el espacio compacto, B, es n-4. Así,
la llamada compactificación espontánea (la ‘fusión de todas las dimensiones’) puede
ser representada por el producto cartesiano de ambos espacios: M4´ Bn-4 = Mn.

105
 El asunto que deseo destacar es que a diferencia de las teorías de Kaluza-
6

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

base, y una quinta o una dimensión más alta arriba y considerada como real, en el
fibrado principal; éste trabajo enfatiza el hecho que las dimensiones totales del
espacio-tiempo 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 través 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 acción pueda escindirse en dos partes a saber, la acción de
Einstein y la acción de Maxwell. La idea básica para realizar esto consiste en
construir una métrica gcd en el fibrado tangente del fibrado principal en donde la

acción de Einstein generalizada es la suma de la acción cuadri-dimensional de

Einstein y la acción cuadri-dimensional de Maxwell. La nueva métrica estará

formada de la métrica del espacio-tiempo gab y una conexión A_ , una 1-forma

definida en un fibrado B sobre el espacio-tiempo M, cuya curvatura es proporcional

al campo electromagnético.
Esta formulación permite obtener las acciones de los campos
electromagnéticos y de la gravitación a partir de la curvatura de la conexión. Se
muestra que la derivación de las ecuaciones de Yang-Mills es directa por una simple
sustitución de la curvatura evaluada en el álgebra de Lie. Aparte de ello, se desarrolla
la formulación de la teoría de Kaluza-Klein cinco-dimensional, de una manera más
clara y accesible que aquellas que se encuentran en la literatura [23].

6 Es una idea original del autor que no necesita recurrir a ‘compactificación espontánea’.

106
 A fin de obtener una idea mas precisa de esta materia presentaremos en la
próxima sección los elementos que llevan a considerar que las cinco dimensiones de
una teoría de Kaluza-Klein se encuentran en el fibrado tangente del Fibrado
Principal. Luego, desarrollaremos explícitamente la teoría de Kaluza-Klein en cinco
dimensiones, y hacia el final presentaremos algunas conclusiones.

Las cinco dimensiones del espacio-tiempo del fibrado principal

La teoría de conexiones se originó a partir del concepto de transporte paralelo
en una variedad riemanniana [24]. En general, una conexión en el fibrado lleva una
7

correspondencia entre dos fibras cualquiera de la sección 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 también 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
 () en cualquiera x  M y a cada punto b de la
asocia con cada vector tangente x

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 más 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 también una
estructura diferenciable [18].

7 Recuerdese que comenzó con la inserción de la conexión de Levi-Civita en 1917

107
 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 través 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
Esta ecuación no define HbB de una manera única. El subespacio horizontal

HbB se puede hacer único al considerar lo que pasa cuando b varía en B. Se requiere

entonces que, cuando b1 cambie a b2 lo haga según la siguiente regla: b 1 a b2 = b1g ,

donde g  G.

Entonces H b 2  H b1g está relacionado con H b1 por medio de

H b1g  R g H b1 , donde R g H b1 denota la acción por la derecha sobre H b1 del

mapa lineal que es inducido sobre el espacio tangente 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 acción por la derecha del grupo G [18],[15].
Ahora bien, ya dados estos subespacios horizontales y verticales se puede
definir en B la noción de transporte paralelo y de su conexión 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 conexión pero a través de diferentes puntos b 1 y b2 en -

1(x), estén relacionados por la transformación Rg , la cual lleva b1 a b2. Estos

requerimientos llevan justo a la definición de conexión en un Fibrado Principal.

En cuanto a la dimensión. Es fácil ver que la dimensión del fibrado tangente
TB es n+d, donde n es la dimensión del subespacio horizontal (la misma que la

108
variedad) y d es la dimensión del subespacio vertical (la misma dimensión del grupo)
[18].
En nuestro caso, el subespacio horizontal tiene dimensión cuatro, dado que
estamos trabajando con una cuadri-variedad riemanniana, y la dimensión 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 dimensión del fibrado tangente
es cinco.
Esto significa que, a diferencia de las teorías de Kaluza-Klein modernas que
consideran una variedad cuadri-mensional abajo, en el espacio base, y una quinta o
una dimensión más alta arriba y considerada como real, en el Fibrado Principal; éste
trabajo enfatiza el hecho que las dimensiones totales del espacio-tiempo están
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 través de los llamados levantamientos horizontales de
las curvas en el espacio base a las curvas en el fibrado, como vimos antes, permite
añadir dimensiones extras al fibrado tangente, las cuales a su vez, dependerán del
grupo utilizado. De este modo, podemos considerar que ‘arriba’, en el Fibrado
Principal, está definido una estructura de variedad diferenciable de dimensión cinco,
en la cual puede construirse una métrica de modo tal que podamos calcular la
curvatura del espacio-tiempo y de allí su respectiva acción. Y esto es lo que
procederemos a hacer.

La acción pentadimensional de la teoria de kaluza-klein

Una manera de unificar el campo de la gravitación con el campo
electromagnético es suponer que el espacio-tiempo posee más de cuatro dimensiones.
La dimensión extra, la quinta, no sería vista, no al menos de la manera acostumbrada,
y sería de dimensiones infinitesimales [20],[21]. Con el objetivo de unificar la

109
gravedad con el electromagnetismo uno debe exigir que la acción sea la del tipo
5
gravitacional,  R d  , ahora evaluada en un espacio dimensional mucho más alto y
donde R 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 acción anterior pueda escindirse en dos partes a saber, la acción de Einstein y
la acción de Maxwell. La extensión de estos resultados en lo concerniente a la
obtención de la acción de Einstein y la de Yang-Mills es directa. Procederemos a
mostrar como se realiza esto para los campos de la gravitación y electromagnéticos.
Básicamente, la idea es construir una métrica gcd en el fibrado tangente del

Fibrado Principal, sobre el espacio-tiempo M para el cual la acción de Einstein

generalizada es la suma de la acción cuadri-dimensional de Einstein y la acción
cuadri-dimensional de Maxwell. La métrica estará formada de la métrica del espacio-

tiempo gab y una conexión A_ , una 1-forma definida en un fibrado B sobre el

espacio-tiempo M, cuya curvatura es proporcional al campo electromagnético.

La construcción 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

 c
el vector x a =  c  sobre M y asignándole la misma longitud. Los vectores
verticales c son múltiplos del generador c del grupo U(1); y al asignarle una

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

queda automáticamente fijada. La métrica 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)

110
 La prueba es como sigue. Sea C un vector horizontal y  c un vector
vertical, entonces para el vector C 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  kC , donde k es una constante, entonces es fácil ver que
g CD  C  D  kl 2 .

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

5
escribir la siguiente expresión lA   kA  (la l está alli para hacer que d   kdF).

Vamos a buscar los términos 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

 I en B las 1-formas
como bases 
 5  lA (a),      (b ) . (3)
Haremos uso de la conmutatividad entre la derivada exterior y el pullback:
d (  * )   * ( d  ) (4)
válida para cualquier mapa : B  M y cualquier p-forma en M.
En este esquema la primera ecuación de estructura de Cartan en l fibrado
tienen la forma
d  I   IJ   J (5)

d  5  l d A  k F  1
2
kF       (6)
Esto implica que
d  5    5    (7)

111
de donde es obvio que
 5  21 k F    (8)
También tenemos que

 
d  d *    *d      ( 
   
)   
   

  
I  I  
      
 ( 5   
 5  )
  5
 

resultando
      1
2
kF  5 (9)
El tensor de Riemann se calcula de la segunda ecuación de estructura de Cartan:

 I
J  d  IJ   IJ   JK (10)

cuyas componentes   y 
  5 son calculadas como sigue. Las componentes
 

  = d    I   I (11)

son calculadas de la siguiente manera. Tomemos la derivada exterior a la ecuación

(9)
d   d   21 kd ( F  5 ) (12)
aplicando la regla de Leibniz en el lado izquierdo de ésta ecuación

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  
El término   I puede ser calculado de la siguiente forma

ˆ I  ˆ I  ˆ   ˆ   12 kF  5    12 k   F ˆ 5  12 k 2 F F      (14)

La ecuación (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

112
ˆ     
 k 2 ( F F  F F  2 F F )      12 k F   ˆ 5 (15)

1
8

donde   significa derivada covariante.

El cálculo de 
 5

se realiza de una manera similar, es decir,

d 5  21 k F      21 kF     (16)

 5     21 kF   (   21 kF  5 )
(17)
  21 kF      41 k 2 F F    5

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

  2 
      2   
 5  1 k  F    F    F       1 k 2 F F    
5

 21   F      41 k 2 F F 

 5   (18)
Luego los tensores de Riemann son

R   R   41 k2 ( F F  F F  2 F F ) (19a)

R 5  21 k F (19b)

R 5 5  41 k 2 F F (19c)

y los tensores de Ricci son

R  R 
 R 5
 5 R   14 k 2 ( F F  2 F F )  14 k 2 F F

R   1 2 
2 k F F (20a)

R 5 R 
 5  R 5  21 k  F (20b)

R 55  41 k 2 F F (20c)

La curvatura escalar tiene la forma

R = R - 21 k 2 F F  41 k 2 F F  R - 21 k 2 F F (21)

Entonces la acción cinco-dimensional es expresada como

113
 c4 c4
I  Rd 5
   ( R  41 k 2 F F ) d (22)
16G 16G
16G
donde k 2  , de allí que la acción penta-dimensional se escribe como
c4
c4
I  Rd  1
4  F F d

(23)
16G
que son las acciones de Einstein y Maxwell , justo lo que deseamos encontrar.
Los resultados anteriores se pueden extender fácilmente 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’ señala que el tensor de Yang-Mills adquiere su valor en el

álgebra de Lie. El lagrangiano de Yang-Mills es la generalización 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 ]  Cabc A b A c
siendo Cabc las constantes de estructura del grupo. Entonces, siguiendo la ecuación

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

c4 1 a 
I  Rd   F Fa d .
16G 4
Obteniéndose en forma inmediata la extensión a campos de Yang-Mills. Las
ecuaciones de Yang-Mills que generalizan el campo electromagnético. Es decir, las
ecuaciones de Yang-Mills llegan a ser las del electromagnetismo para el caso
abeliano.

Consideraciones finales

114
En este trabajo se resaltó que, en las teorías 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 través del grupo de Lie, era
entonces posible definir un fibrado tangente cuya dimensión, como se mostró, es
cinco.
Esta sugerencia, esencialmente de naturaleza matemática, puede ser útil. Por
ejemplo, si se quiere usar el grupo SU(2) de las construcciones al estilo Yang-Mills,
es claro que el número de dimensiones es seis. Esto significa, que considerada la
cuadri-variedad riemanniana, es el grupo de Lie usado el que añade las dimensiones
extras a la teoría. Esto sirve, a su vez para establecer un criterio en cuanto al número
de dimensiones a usar al construir las teorías de Kaluza-Klein.
Como se ha mostrado la formulación de la teoría de Kaluza-Klein penta-
dimensional, suministra un lenguaje poderoso para escribir las ecuaciones de la
gravitación y provee un excelente marco para la descripción del electromagnetismo,
donde el cuadripotencial es identificado como una conexión en el Fibrado Principal.
De esta manera la idea de conexión, probablemente fundamental para comprender la
estructura geométrica subyacente, no está restringida al espacio-tiempo de la variedad
riemanniana [15], [25].
La idea de unificación a altas dimensiones ha llevado a las teorías de Kaluza-
Klein a nuevas y exóticas fronteras que tienen que ver con un “habitat” de 11 o mas
dimensiones, supergravedad, superstrings, cosmología, etc. [26].
El ejemplo que hemos considerado nos ha mostrado las riquezas geométricas
y las implicaciones de las teorías de Kaluza-Klein; y constituye uno de los programas
mas interesantes para la unificación de las interacciones gravitacionales y
electromagnéticas. Si bien es cierto, esta propuesta es muy diferente de aquellas
tratadas por Einstein, con todo persigue su sueño. Aunque es probable que este

115
tratamiento con calibres conviertan su sueño (de una unificación con geometría pura)
mas bien en una pesadilla como la que están envueltos muchos físicos de hoy día
[27].

AGRADECIMIENTO
El autor de este trabajo desea expresar su agradecimiento al Dr. Nelson Falcón por tener la
gentileza de invitar a un físico tan modesto como yo, a disertar sobre la obra de un físico tan
grande como Einstein. Agradezco también el apoyo financiero de la Facultad de Ciencias y
Tecnología de la Universidad de Carabobo.

REFERENCIAS Y NOTAS
[1] Las referencias que cubren el período 1913-1955 son numerosas, por razones de
espacio no aparecen en este trabajo. Para las de Nordstrom, Kaluza y Klein, véase 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. Además en un
apéndice establece los hitos de geometrización de la física.
[5] Para una discusión 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

116
[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.
[18] C. Nash, and S. Siddartha, Topology and Geometry for Physicists, Academic Press,
1990.
[19] Para una presentación pedagógica sobre estos temas véase 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 discusión en el libro de Y. Choquet-Bruhat y colaboradores, ref. [15], p. 6
[23] W. Pitter, Rev. Téc. 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. Addisson-
Wesley. (1987). Es la mejor obra sobre el tópico, contiene una formidable
introducción histórica con los trabajos originales de Kaluza y de Klein, los de
Nordstrom, además del artículo de Einstein y de P. Bergman sobre la generalización
de Kaluza; y un par de notas presentadas por Cartan y la contribución de A. Salam y S.
Weinberg.

117
[27] Para una crítica sobre estos aspectos y otros relacionados véase J. G. Vargas and W.
Pitter, On The Gravitational Energy-Momentum Tensor (en preparación, 2001).

Nomenclatura y Símbolos
Con respecto a los índices y superíndices: Las letras latinas se refieren a los objetos
situados en el Fibrado Principal. Las mayúsculas a los vectores y tensores y las
minúsculas a sus respectivas componentes. Los índices griegos estan referidos a las
componentes de vectores y tensores de la variedad riemanniana del espacio base. Los
Símbolos menos convencionales : proyección; , : pullbacks; : conexiones; B:
Espacio fibrado; : Curvatura de Cartan; TxM: Espacio tangente a la variedad; T bB:
Espacio tangente al fibrado;TB: Fibrado tangente; V bB: Subespacio vertical; HbB:
Subespacio horizontal; d: Derivad exterior; : producto exterior;  : Suma
geométrica.l: Longitud de la fibra.

118