Miscel anea Matem atica 41 (2005) 17 SMM

Principios b asicos sobre los que se

estructuran las teoras de gauge
O.A. S anchez-Valenzuela y M.E. V azquez-Abal
Departamento de Geometra y Topologa
Universidad de Santiago de Compostela
CIMAT
Apdo. Postal 402
36000 Guanajuato, Gto.
Mexico
adolfo@cimat.mx, saval@servidor.unam.mx
meva@zmat.usc.es
Resumen
Las teoras de gauge descansan sobre un principio muy
b asico: la acci on de un grupo en un conjunto. En este artculo re-
visamos la fundamentaci on de esta armaci on. Proporcionamos
tambien algunas im agenes geometricas as como algunos recur-
sos algebraicos y analticos centrales para la comprensi on de las
teoras de gauge.
Sea G un grupo y X un conjunto arbitrario. Denotaremos por e G
al elemento identico de G. El grupo G act ua por la izquierda de un
conjunto X si existe una funci on : G X X que satisface las
siguientes dos propiedades:
(e, x) = x para todo x X
(g, (h, x)) = (gh, x) .
Desde luego hay una denici on an aloga para acciones por la derecha: G
act ua por la derecha del conjunto X si existe una funci on : XG
X que satisface:
1
2 O.A. S anchez-Valenzuela y M.E. V azquez-Abal
(x, e) = x para todo x X
((x, g), h) = (x, gh) .
La relaci on entre acciones por la derecha y acciones por la izquierda
es muy sencilla. Si : G X X es una acci on por la izquierda
de X, la funci on : X G X denida por (x, g) = (g
1
, x)
proporciona una acci on de G por la derecha de X y correspondiente-
mente, si : XG X es una acci on por la derecha de X, la funci on
(g, x) = (x, g
1
) dene una acci on por la izquierda de G en X.
Cuando G act ua en un conjunto X (ya sea por la izquierda o por
la derecha), se dene de manera natural una relaci on de equivalencia
en X. Si la acci on es por la izquierda (resp., por la derecha), x X
est a relacionado con x

si existe un elemento g G, tal que x

=
(g, x) (resp., x

= (x, g)). Es inmediato vericar que efectivamente

esta relaci on es de equivalencia.
Denotamos por [x] la clase de equivalencia de x X bajo esta relaci on,
de manera que,
[x] = {(g, x) | g G}
cuando la acci on es por la izquierda (resp., [x] = {(x, g) | g G}
cuando la acci on es por la derecha). En el contexto de una acci on de G
en X, nos referimos a la clase de equivalencia [x] como la orbita de x.
Lo usual es denotar por X/G al conjunto cuyos elementos son las clases
de equivalencia denidas por una acci on de G en X. De la teora de
funciones y relaciones de equivalencia sabemos que existe una funci on
suprayectiva natural : X X/G que asocia a cada x X, su orbita
(x) = [x].
Un ejemplo muy b asico de acci on que aparece repetidamente en el alge-
bra elemental es el siguiente. Sea X un grupo y G X un subgrupo. Es
inmediato comprobar que G act ua en X por la derecha mediante la fun-
ci on X G X dada por la multiplicaci on en el grupo: (x, g) xg.
La clase de equivalencia [x] de x X bajo esta acci on suele deno-
tarse tambien por xG y se le reere como la clase lateral izquierda de
x m odulo G; esta notaci on tiene su fundamento en el hecho de que,
[x] = {xg | g G} = xG
Finalmente, en el marco de esta fuente de ejemplos, la notaci on que
usualmente se emplea para decir que x

est a en la orbita de x es x

x
mod G.
las teoras de gauge 3
Un caso particular de esta situaci on lo encontramos en el algebra lineal
elemental. Sea X = V un espacio vectorial sobre un campo F y consi-
deremoslo un grupo abeliano bajo la suma de vectores. Un subespacio
W V dene entonces un subgrupo. La acci on de W en V es simple-
mente : V W V , con (v, w) = v +w. La orbita de v V bajo
esta acci on es el subconjunto
[v] = {v +w | w W} = v +W
El conjunto cuyos elementos son las orbitas de esta acci on se denota
de acuerdo a la convenci on descrita anteriormente por V/W y este
conjunto puede a su vez convertirse en un espacio vectorial demandando
que la funci on que asigna a cada elemento v V su clase de equiva-
lencia (v) = [v] V/W sea un morsmo de espacios vectoriales; ie,
una transformaci on lineal.
En general, si : G X X es una acci on izquierda de un grupo
G en un conjunto X, para cada elemento x X se establece una fun-
ci on suprayectiva ( , x): G [x]. Esta funci on dene una relaci on
de equivalencia en su dominio de la manera usual: g
1
est a relacionado
con g
2
si (g
1
, x) = (g
2
, x). Esto signica que

g
1
1
, (g
1
, x)

g
1
1
, (g
2
, x)

; es decir, que x = (g
1
1
g
2
, x). Esta observaci on pone
de maniesto la importancia del siguiente concepto: el subgrupo de
isotropa de la acci on : G X X en el elemento x X es el
subgrupo
G
x
= {h G | (h, x) = x} .
En otras palabras, g
1
g
2
si y s olo si (g
1
, x) = (g
2
, x), lo cual
ocurre si y s olo existe un h G
x
tal que g
2
= g
1
h; es decir, si y s olo
si g
2
g
1
modG
x
. De la teora elemental de funciones concluimos que
la funci on suprayectiva ( , x): G [x] induce de manera unica una
biyecci on

: G/G
x
[x], mediante la asignaci on

(gG
x
) = (g, x).
La importancia y utilidad de este hecho es enorme porque permite
representar la orbita de x X bajo la acci on abstracta de G en X
mediante el conjunto G/G
x
de clases laterales izquierdas, el cual es un
objeto algebraico muy concreto.
Otro recurso muy util cuando un grupo G act ua en un conjunto X es
el siguiente: escoger, en cada orbita [x], un y s olo un elemento x
[ ]
[x]
de manera que se puedan parametrizar todas las orbitas de la acci on
mediante una asignaci on,
: X/G X , [x] ([x]) = x
[ ]
.
4 O.A. S anchez-Valenzuela y M.E. V azquez-Abal
Observese que de esta manera (x
[ ]
) = [x]; es decir, = Id
X/G
.
La terminologa usual nos reere a x
[ ]
como una forma can onica de x
bajo la acci on de G (siguiendo el criterio de ).
En el ejemplo en el que X = V y G = W V , la parametrizaci on
de las orbitas puede adem as realizarse de tal manera que la asignaci on
[x] ([x]) = x
[ ]
sea una aplicaci on lineal. En efecto, cada subespacio
U V complementario a W en V dene una funci on
U
: [v] v
[ ]
,
tal que

U
([v]) = v
[ ]
:= u U , siempre que, v u W .
En efecto, si U es un subespacio complementario a W en V , V =
U W dice que para cada v V existen unicos u U y w W
tales que v = u + w. De esta forma, queda bien denida la asignaci on
: [v] = [u + w] u U, de manera que cada orbita [v] contiene un
unico u U tal que [u] = [v].
La gura que ilustra esta situaci on es la siguiente:
Figura 1:
En general, las funciones : X/G X, [x] x
[ ]
que parametrizan
las orbitas de la acci on seleccionando un punto en cada orbita se llaman
secciones y el conjunto de todas las secciones suele denotarse as:
(X) = { : X/G X | = Id
X/G
} .
Resulta muy conveniente tener en mente una gura muy similar a la
Figura 1 para una acci on general de G en X. La unica diferencia cual-
itativa es que las secciones se ven como en la Figura 2. De hecho, se
las teoras de gauge 5
suele llamar braci on a una funci on suprayectiva como : X X/G
y a los subconjuntos
1
([x]) se les reere como las bras.
Figura 2:
Una vez que se tienen estas im agenes, cuando se nos da una acci on
: G X X, lo siguiente es considerar el grupo de todas las apli-
caciones biyectivas : X X que conmutan con la acci on, sin alterar
las orbitas; a saber, uno ja su atenci on en el grupo
Gau() = { : X X | ((g, x)) = (g, (x)) y ((x)) = (x) }
que suele llamarse el grupo de gauge asociado a la acci on de G en
X.
Hay dos observaciones importantes a tener en cuenta. La primera es
que el conjunto { : X G | g G, ((g, x)) = g(x)g
1
} se
puede identicar con Gau() al poner (x) = ((x), x), siempre que
podamos garantizar que para cada x X, el subgrupo de isotropa G
x
sea precisamente {e}; en la terminologa usual decimos que una acci on
con esta propiedad es libre. Bajo esta hip otesis resulta f acil comprobar
que si
i

i
(i = 1, 2), entonces
1

2

2

1
, siendo
2

1
la
funci on x
2
(x)
1
(x). Si la acci on es libre, cada orbita [x] est a en
correspondencia biyectiva con G y tambien es f acil ver que en este caso
el conjunto {s: X G | g G, s((g, x)) = s(x)g
1
} se puede
identicar con (X) al poner ([x]) = (s(x), x).
6 O.A. S anchez-Valenzuela y M.E. V azquez-Abal
Figura 3: Figura 4:
Observese que el grupo G = Gau() act ua en el conjunto X = (X)
mediante la correspondencia, (, ) de manera que ([x]) =
(([x])) y entonces podemos repetir la imagen fundamental de las
acciones; esta vez con el grupo G = Gau() actuando en X = (X).
El resultado se puede ver esquem aticamente en la Figura 5.
Figura 5:
Aqu el punto es que G realmente act ua en todos los espacios que
de manera natural geometrica o algebraica se pueden asociar a la
acci on fundamental de la Figura 1. En particular, si G es un grupo
de Lie, X es una variedad diferenciable y si la acci on es tal que X/G
es tambien una variedad diferenciable para la que es una sumersi on,
entonces G act ua en los campos vectoriales de X, en las metricas de X,
en las conexiones de X, etc.
las teoras de gauge 7
En efecto, los campos vectoriales, las metricas, las conexiones, y en
general todos los objetos geometricos son secciones de braciones sim-
ilares a : X X/G para las que el esquema general es pr actica-
mente identico al de la Figura 4. De hecho, en presencia de una acci on
: G X X, los campos vectoriales, las metricas, o las conex-
iones, son secciones de braciones asociadas a alguna representaci on
: G GL(V ) para alg un espacio vectorial V adecuado,
1
o m as gene-
ralmente, a homomorsmos : G Difeo(Y ) de G en el grupo de
difeomorsmos de una variedad Y .
La construcci on general es la siguiente. Dada una variedad diferenciable
Y y un homomorsmo : G Difeo(Y ), se dene una nueva acci on
G X Y X Y , mediante (g, x, y) ((g, x), (g)(y)) y se
considera el conjunto X[Y ] = X Y/G de las orbitas de esta acci on.
Si la acci on : GX X es libre, entonces se obtiene un diagrama
similar al de la Figura 3 como se muestra en la Figura 6.
Figura 6:
En efecto, para cada par (x, y) X Y , la variedad Y se puede
poner en correspondencia biyectiva con {((g, x), (g)(y)) | g G}. El
conjunto (X[Y ]) de las secciones de X[Y ] se pueden poner en corres-
1
Recordamos al lector que GL(V ) denota al grupo de todas las transformaciones
lineales invertibles del espacio vectorial V en s mismo y que una representaci on
: G GL(V ) es un homomorsmo de grupos; esto es, (gh) = (g) (h).
8 O.A. S anchez-Valenzuela y M.E. V azquez-Abal
pondencia biyectiva con
{f : X Y | f((g, x)) = (g)(f(x))}
Las funciones f que satisfacen la propiedad que caracteriza a este con-
junto se llaman equivariantes y es precisamente dicha propiedad la que
permite demostrar que queda bien denida una secci on
f
: X/G
X Y/G, al poner
f
([x]) = [(x, f(x))].
El punto importante a notar aqu es que el grupo de gauge Gau()
act ua en (X[Y ]) mediante, (, f) f con
( f)(x) = ((x))(f(
1
(x))),
siendo (x) G el unico elemento tal que (x) = ((x), x). Bajo esta
acci on obtenemos nuevamente un esquema como los anteriores:
Figura 7:
El objetivo de las llamadas teoras de gauge consiste en determinar
la braci on Y X/G cuyas secciones (X[Y ]) son conexiones; las co-
nexiones son los objetos que necesitamos para derivar en el espritu
del c alculo diferencial las secciones de la braci on X X/G para
volver a obtener secciones de la misma braci on. Esquem aticamente, el
acto de derivar una secci on (X) lo pensamos como una aso-
ciaci on , en el que requerimos que (X), tomando
(X[Y ]) (ver Figura 8). Luego, al poner Y = (X[Y ]) y con-
siderar la acci on del grupo G = Gau(), lo que interesa es determinar
las teoras de gauge 9
la estructura del espacio Y/G de las distintas orbitas bajo la acci on del
grupo de gauge (ver Figura 9).
Figura 8: Figura 9:
En la fsica, las conexiones con las que se derivan las secciones de
la braci on X X/G denida por una acci on libre de G en X se
llaman potenciales. Dos potenciales son equivalentes, en el sentido de
que producen la misma fsica, si uno se obtiene del otro mediante una
transformaci on del grupo de gauge. Una aplicaci on importante de las
teoras de gauge en la geometra y la topologa diferencial fue descu-
bierta por Donaldson en 1983-1984 al encontrar que cuando el grupo
G = SU(2) = {g Mat
22
(C) | g g
t
= 11
22
} act ua en X de tal manera
que X/G es una variedad compacta, orientada y simplemente conexa
de dimensi on 4, el espacio de orbitas Y/G tiene una estructura muy
sencilla de comprender topol ogicamente; a saber, que se trata de una
variedad con frontera en la que las componentes conexas de la frontera
se pueden identicar con X/G mismo y una serie de copias de CP
2
la
variedad de todos los subespacios de dimensi on 1 dentro de C
2
de ca-
da una de las cuales se ha removido un cono al innito (ver Figura 10).
Referimos al lector interesado a las notas de Blaine Lawson [1].
Figura 10:
10 O.A. S anchez-Valenzuela y M.E. V azquez-Abal
Agradecimientos
Los autores de este trabajo desean agradecer el apoyo del Proyecto
BFM 2003-02949 de Espa na, el apoyo del Proyecto InterDiscipl 2005-
MB1411 y el nanciamiento recibido a traves del proyecto CONACyT
46274 Estructuras Geometricas Distinguidas IV, as como la hospita-
lidad del Departamento de Geometra y Topologa de la Universidad de
Santiago de Compostela, del Centro de Investigaci on en Matem aticas
A.C. y de la Facultad de Matem aticas de la Universidad de Guanajuato.
Referencias
[1] Lawson, B. The Theory of Gauge Fields in Four Dimensions,
CBMS No. 58, Amer. Math. Soc., Providence, Rhode Island, 1983.
[2] Lee, J

M

, Riemmanian manifoilds; an introduction to curvature,

Graduate Texts in Mathematics No. 176, Springer-Verlag, New
York, 1997.
[3] Sternberg, S

, Lectures on dierential geometry, Prentice Hall, En-

glewood Clis, NJ.
[4] Warner, F

, Foundations of dierentiable manifolds and Lie groups,

Scott, Foresman, Glenview, Ill, 1964.