Notas sobre Fibrados diferenciables,

Conexiones y Clases Caractersticas

Angel Montesinos-Amilibia

October 22, 2007

Contents

1 Complementos de variedades diferenciables y grupos de Lie

[War] 2
1.1 Variedades diferenciables que son Hausdor y paracompactas . 2
1.2 Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

2 Fibrados diferenciables 6
3 Clases caractersticas en brados principales 11
3.1 Notaciones. Campos vectoriales fundamentales. . . . . . . . . 11
3.2 Formas diferenciales con valores en g . . . . . . . . . . . . . . 13
3.3 Connexiones en un brado principal . . . . . . . . . . . . . . . 15
3.3.1 Levantamiento horizontal de vectores y campos vecto-
riales, de M a P . . . . . . . . . . . . . . . . . . . . . 17
3.3.2 Levantamiento horizontal de curvas de M a P. Trans-
porte paralelo . . . . . . . . . . . . . . . . . . . . . . . 19
3.4 Clases caractersticas, cfr. [GHV], [KN, ch. XII] and [Dup,
ch. 4] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.4.1 Homomorsmo de Chern-Weil . . . . . . . . . . . . . . 24
3.4.2 G = Gl(n; R), clases de Pontrjagin . . . . . . . . . . . 25
3.4.3 G = Gl(n; C), clases de Chern . . . . . . . . . . . . . . 26
3.4.4 SO(n). Clase de Euler . . . . . . . . . . . . . . . . . . 26

4 Characteristic classes in associated bundles 28

4.1 Associated bundles. Fundamental vector elds . . . . . . . . . 28
4.2 Associated connections . . . . . . . . . . . . . . . . . . . . . . 29
4.3 Connections in a vector bundle . . . . . . . . . . . . . . . . . 31
4.4 Linear connections . . . . . . . . . . . . . . . . . . . . . . . . 34
4.5 Characteristic classes in vector bundles . . . . . . . . . . . . . 36

2
 Resumen
Una exposicin esqueltica del concepto de brado diferenciable, conexiones
en brados principales y en sus asociados (brados vectoriales en particular),
homomorsmo de Chern-Weyl y expresin de las clases caractersticas de
Chern, Pontrjagin y Euler como clases de la cohomologa de de Rham.
Captulo 1
Complementos de variedades
diferenciables y grupos de Lie
[War]

1.1 Variedades diferenciables que son Hausdor

y paracompactas
Denicin 1. Sea U = {Ua }aA un recubrimiento abierto de un espacio
topolgico X. Un renamiento abierto de U es un recubrimiento abierto V =
{Vb }bB de X junto con una aplicacin f : B A tal que Vb Uf (b) , para
cualquier b B. Una coleccin de subconjuntos {Ua }aA de X es localmente
nita si para cada x X, existe un recubrimiento abierto V de X tal que
el conjunto {a A : V Ua 6= } es nito. Un espacio topolgico X
es paracompacto si todo recubrimiento abierto de X tiene un renamiento
localmente nito.
Una variedad diferenciable que sea Hausdor es paracompacta si cada una
de sus componentes conexas tiene una base numerable de su topologa. En
lo que sigue, se supondr que todas las variedades diferenciables de partida
son Hausdor y paracompactas. Las variedades que se denan a partir de
ellas tambin lo sern, aunque eso no ser probado.

Denicin 2. Sea f : X R una funcin. Su soporte, denotado supp(f )

es la clausura del subconjunto de X en el que f no se anula. Si M es
una variedad diferenciable, una particin de la unidad en M es una familia
{fa : M R}aA de funciones diferenciables en M tal que:

a) La coleccin {supp(fa )}aA es localmente nita;

b) Para cada m M y a A se tiene fa (m) 0;
c) Para cada m M, se tiene aA fa (m) = 1 (ntese que el primer
P
miembro se puede reducir a una suma nita tomando solamente las
funciones que no se anulan en m).

2
De una particin de la unidad {fa }aA se dice que est subordinada a un
recubrimiento {Ub }bB si existe una aplicacin j : A B tal que supp(fa )
Uj(a) , para cada a A. Y se dice que est subordinada a un recubrimiento
{Ua }aA con el mismo ndice si supp(fa ) Ua para cada a A.

Teorema 1.1.1. Sea M una variedad diferenciable y sea U = {Ua }aA un

recubrimiento abierto de M . Entonces existe una particin numerable de la
unidad {fi : i = 1, 2, 3 . . . } subordinada al recubrimiento U tal que supp(fi )
es compacto para cada i. Si no se requieren soportes compactos, entonces
existe una particin de la unidad {fa }aA subordinada a U con el mismo
ndice, en la que slo una subcoleccin numerable de las fa son funciones no
idnticamente nulas.
Corolario 1. Sea M una variedad diferenciable, A M un abierto y C
M un cerrado tales que C A. Entonces existe una funcin diferenciable
f : M R tal que

a) 0 f (m) 1 para todo m M ;

b) f (m) = 1 si m C;
c) supp(f ) A.
Sea Kun campo tensorial diferencialbe de tipo (r, s) en M . Este campo
1 1
dene una aplicacin C (M, R)-multilineal de A (M ) A (M )X(M )
X(M ) a C (M, R) por medio de K(1 , . . . , r , X1 , . . . , Xs ), donde las
i pertenecen a A1 (M ), es decir son 1-formas diferenciales, y donde Xi
X(M ), i = 1, . . . , s. As

Proposicin 1. Sea
K : A1 (M ) A1 (M ) X(M ) X(M ) C (M, R)

una aplicacin C (M, R)-multilineal. Entonces, existe un nico campo ten-

sorial diferenciable de tipo (r, s) en M cuya aplicacin C (M, R)-multilineal
asociada coincide con K.
Ahora mostramos dos importantes frmulas para la derivada de Lie. Sea
X X(M ) un campo vectorial cuyo ujo denotamos por t : Dt Dt , t
R, y sea m M. Como t>0 Dt = t<0 Dt = M, existe  > 0 tal que m Dt
siempre que |t| < . Por tanto, si Y X(M ), el vector dt (Yt (m) ) Tm M
est bien denido cuando |t| < . Se tiene as

d 
(LX Y )m = [X, Y ]m =  (dt (Yt (m) )).
dt t=0
Tambin, si es un campo tensorial covariante, por ejemplo una forma dife-
rencial o una mtrica pseudo-riemanniana, tenemos

d 
(LX )m =  (t )m .
dt t=0

3
1.2 Grupos de Lie
En lo que sigue, sea G un grupo de Lie con elemento neutro e y lgebra de
Lie g. Denotamos por g y g las traslaciones izquierda y derecha denidas
por g G.

Proposicin 2. Sea X g. Entonces existe un nico homomorsmo de

grupos de Lie expX : R G tal que exp0X (0) = X, y consiste en la curva
integral maximal de X que pasa por e para t = 0. Denotemos por exp : g G
la aplicacin dada por exp(X) = expX (1) ( aplicacin exponencial).
1) exp(0) = e y exp(tX) = expX (t) para todo t R;
2) exp((t1 + t2 )X) = exp(t1 X) exp(t2 X) para cualesquiera t1 , t2 R. Por
tanto, exp(X)1 = exp(X);
3) exp : g G es C y d exp : T0 g Te G = g es la identidad bajo la
identicacin cannica T0 g con g. Por tanto, existe un entorno abierto
U de 0 en g y un entorno abierto V de e en G tales que exp(U ) = V y
exp |U : U V es un difeomorsmo;

4) Si a G entonces a expX : R G es la curva integral maximal de X

que pasa por a para t = 0. Por ello, los campos vectoriales invariantes a
la izquierda son completos. Adems el ujo de X est dado por exp(t) ;
5) Sea : H G un homomorsmo de grupos de Lie, y sea h el lgebra
de Lie de H. Entonces el diagrama siguiente es conmutativo.

HO /G
O
exp exp
d
h /g

Sea G = Gl(n; C) o G = Gl(n; R). En ambos casos tenemos un grupo

de Lie, cuya lgebra de Lie se puede identicar cannicamente con gl(n; C)
(resp. gl(n; r)), es decir con el lgebra de Lie de los endomorsmos de Cn
(resp. Rn ). Si A pertenece a una de esas dos lgebras, g, pongamos

A
X Ak
e = .
k=0
k!

Esta serie converge uniformemente a un elemento de G en cualquier regin

A
acotada de esa lgebra y se tiene exp(A) = e . Tenemos, adems, para
cualquier BG and Ag:
1
det eA = etr A , BeA B 1 = eBAB

y si ahora A, B g son tales que [A, B] = 0, entonces eA eB = eA+B .

4
Denicin 3. Una accin a la izquierda del grupo de Lie G en la variedadd
diferenciable M es una aplicacin diferenciable : G M M tal que para
cualesquiera m M y a, b G se tiene
(e, m) = m,
(a, (b, m)) = (ab, m)

En tal caso, para cada a G denimos la aplicacin a : M M mediante

a m = (a, m). Una accin a la derecha se dene de modo similar como una
aplicacin diferenciable : M G M tal que (m, e) = m, ((m, a), b) =
(m, ab).

Entonces cada a , a es un difeomorsmo. Tenemos a b = ab y

a b = ba .
Hay muchos tipos de acciones con propiedades especiales interesantes.
Usaremos slo tres tipos, aquellas que son libres, o efectivas, o transitivas.
Una accin (a la izquierda o a la derecha) es libre si el hecho a m = m
para algn m M implica a = e. Una accin es efectiva si el hecho a = id
implica a = e. Finalmente, una accin es transitiva si dado un par cualquiera
m 1 , m2 M , existe algn aG tal que a (m1 ) = m2 .

Denicin 4. Una representacin de un grupo de Lie G en un espacio vec-

torial real or complejo V es un homomorsmo de grupos de Lie : G
Aut(V ). Una representacin de un lgebra de Lie g en un espacio vectorial
real or complejo V es un homomorsmo de lgebras de Lie : g End(V ).
Una representacin del grupo de Lie G en V se llama el si es inyectiva.
Denotemos por ca : G G ca (b) = aba1 . Este
el automorsmo interno
automorsmo dene una accin a la izquierda de G en G, concretamente
aquella dada por (a, b) 7 ca (b). Esa accin tiene un punto jo, el neutro e,
es decir ca (e) = e para todo a G. Por tanto, dca aplica Te G en Te G y de
hecho es un automorsmo de Te G = g. Tenemos por tanto una aplicacin
Ad : G Aut(g) dada por Ad(a) = dca . Como ca cb = cab tenemos Ad(ab) =
dcab = dca dcb = Ad(a) Ad(b). Por tanto, Ad es un homomorsmo de grupos
de Lie, es decir una representacin de G en g llamada representacin adjunta

de G. Denotemos por ad = dA : g TI (Aut(g)) = End(g). As ad es un
g
homomorsmo de lgebras de Lie y por tanto es una representacin de g en
g llamada representacin adjunta de g.
Los dos diagramas siguientes son conmutativos:
ca / / Aut(g) Ad
G OG G O O O
exp exp exp exp
Ad(a) /
g g g ad / End(g)
Tenemos tambin

ad(X)(Y ) = [X, Y ], for all X, Y g.

5
Captulo 2
Fibrados diferenciables
Los brados son una generalizacin del concepto de variedad. En lo que sigue
trataremos solamente de los brados diferenciables, es decir aquellos en los
que las variedades y aplicaciones que intervienen son diferenciables.

Denicin 5. Sea G un grupo de Lie y W una variedad diferenciable sobre

la cual acta G efectivamente por la izquierda mediante una accin que deno-
taremos (g, x) gx. Un brado (diferenciable) con bra tipo W y grupo G
es una aplicacin diferenciable : E M entre dos variedades diferencia-
bles junto con una familia de difeomorsmos { : 1 (U ) U W }A ,
donde A es un conjunto de ndices, la familia {U }A es un recubrimiento
abierto de M , y los difeomorsmos , llamados trivializaciones satisfacen
las siguientes propiedades:
1) Para cada A, 1 = |U , donde 1 : U W U es la
proyeccin natural. En otros trminos, si Em = 1 (m) denota la bra
sobre m U , entonces enva Em a {m} W. Como U es un
difeomorsmo, esto dene un difeomorsmo m : Em W.
2) Sean , A. Si m U U , existe una aplicacin, denotada
m : W W, denida por m 1 m . Se requiere que exista un
elemento, denotado (m) G tal que (m)x = (m 1 m )(x),
para todo x W . Puesto que es efectiva, ese elemento (m) G
es nico, y esto dene una aplicacin : U G. Pues bien, se
requiere que esa aplicacin sea diferenciable. A esta condicin se le
llama compatibilidad de las dos trivializaciones.
Ha de entenderse todo esto cuando decimos que (E, , M, G, W ) es un -
brado. E recibe el nombre de espacio total, M el de base o espacio base,
W el de bra tipo, G el de grupo estructural y las aplicaciones el de
funciones de transicin.

Es claro que si : 1 (U ) U W es una trivializacin del brado

1
y V U es abierto, entonces la aplicacin | 1 (V ) : (V ) V W
es una trivializacin compatible con todas las dems trivializaciones y se
puede aadir a ellas. Tambin es posible que sobren trivializaciones, en el
sentido de que para cierto subconjunto B A la familia {U }B recubra

6
tambin M. Sea H un subgrupo cerrado de G y supongamos que para todo
par de trivializaciones , , siendo , B, la funcin de transicin
tome sus valores en H. Entonces podemos describir el mismo brado como
(E, , M, H, W ), y a la nueva subfamilia de trivializaciones se le llama re-
duccin del grupo estructural del brado. El caso extremo sera aquel en el
que pudiramos reducir G al grupo consistente en su elemento neutro. En
tal caso, la familia de trivializaciones podra consistir en un solo elemento, y
el brado recibira el nombre de trivial.
Llamemos ahora, para abreviar, U = U U , U = U U U .
Si : U G, , A, son las funciones de transicin de un brado,
tenemos (m) = e para todo m U , y tambin (m) (m) = (m)
para todo m U . Estas son las llamadas condiciones de cociclos.
Una vez denido el concepto de brado, hemos de tratar de las aplica-
ciones de brados, tambin llamadas morsmos.

Denicin 6. Sean (Ei , i , Mi , G, W ), i = 1, 2, dos brados con el mismo

grupo estructural y la misma bra tipo. Una aplicacin o morsmo entre
los dos es un par de aplicaciones : E1 E2 , : M1 M2 tales que
2 = 1 . En tal caso, para cada trivializacin 1 : 11 (U1 ) U1 W
del primer brado y cada trivializacin 2 : 21 (U2 ) U2 W del segundo,
la aplicacin 2 11 : (U1 1 (U2 )) W U2 W, vendr dada
en la forma (2 1 1 )(m1 , x) = ((m1 ), g(m1 , x)). Pues bien, se exige
que la aplicacin x W 7 g(m1 , x) W sea igual a x 7 g(m1 )x para
cierto elemento (que ser nico) g(m1 ) G, y que la aplicacin as denida
m1 U1 1 (U2 ) 7 g(m1 ) G sea diferenciable.
Un morsmo de brados se llama isomorsmo si y son difeomors-
mos.
Veamos ahora que las funciones de transicin determinan el brado.

Proposicin 3. Sea {U }A un recubrimiento abierto de la variedad difer-

enciable M, sea G un grupo de Lie, y, para cada par , A, sea g :
U G una aplicacin diferenciable de manera que la familia de estas
aplicaciones g cumpla las condiciones de cociclos. Sea (g, x) G W 7
gx W una accin efectiva a la izquierda. Entonces, existe un nico brado
(E, , M, G, W ) que tiene a las g como funciones de transicin (la unicidad
se entiende salvo isomorsmos de brados).
Demostracin.Consideramos el conjunto C = {(, m, x) A M W :
m U }. Consideramos en C la siguiente relacin: (, p, x) (, q, y)
sii p = q y x = g (p)y. Mediante las condiciones de cociclos se com-
prueba fcilmente que se trata de una relacin de equivalencia. Denota-
mos por [, p, x] la clase de (, p, x). Ponemos E = C/ y [, p, x] =
p. Para cada A denimos la aplicacin : 1 (U ) U W
poniendo [, m, x] = (m, g (m)x). Si [, m, y] = [, m, x], tendremos
m U , g (m) = g (m)g (m) y y = g x. Por consiguiente

(m, g (m)y) = (m, g (m)g (m)g (m)x) = (m, g (m)x) = [, m, x],

7
lo que demuestra la consistencia de la denicin. La aplicacin es biyectiva
y claramente cumple 1 = |U . Utilizando ahora un atlas para M
y otro para W, se comprueba que se puede proporcionar a E una nica
estructura de variedad diferenciable que haga de las difeomorsmos. Te-
1
nemos ( )(m, x) = [, m, x] = (m, g (m)x); es decir, las funciones
de transicin son las g , como queramos. La demostracin de la unicidad
salvo isomorsmos se deja como ejercicio.

Vamos a describir dos tipos especiales de brado que sern el objetivo

principal de lo que sigue. Se trata de los brados vectoriales y de los brados
principales.
Un brado vectorial es un brado (E, , M, G, W ), en el que W es un K-
espacio vectorial de dimensin nita (con K igual a R o C) y la accin de G en
W es una representacin el (el nombre que se utiliza para representaciones
en lugar de efectiva). En otras palabras, para a G, la aplicacin x ax
es un automorsmo lineal que es la identidad sii a = e.
Esta estructura de brado dene una estructura de K-espacio vectorial
en cada bra de E. Sea m M y supongamos m U . Si X, Y Em y
k K, ponemos

X + Y = 1
(m, m (X) + m (Y )), kX = 1
(m, km (X)),

esto es, m se convierte en un isomorsmo vectorial. Se comprueba fcil-

mente que la denicin no depende de la eleccin de la trivializacin a cuya
base U pertenezca m.
El ejemplo ms importante de un brado vectorial es la aplicacin cannica
: T M M de la variedad tangente de una variedad M sobre M. Si
: U A A es una carta de M, podemos denir la trivializacin
: 1 (U ) U Rn poniendo
n
1 n
X 
(X) = ((X), X , . . . , X ), si X= Xi .
i (X)

i=1

Un brado principal es un brado (P, , M, G, G) o brevemente (P, , M, G),

donde G es un grupo de Lie que acta sobre s mismo por mediante trasla-
ciones a la izquierda. Contra lo que se podra imaginar a primera vista, no va-
mos a poder dar a cada bra Em estructura de grupo de Lie. En lugar de eso,
obtendremos una accin libre por la derecha deG en P que conserva las bras.
En efecto, sea a G y m M. Si u Pm y : 1 (U ) U G es una tri-
1 1
vializacin alrededor de u, ponemos Ra u = m (a m (u)) = m (m (u)a),
donde a denota la traslacin a la derecha en G denida por a. Tendremos
as m Ra = a m on Pm . La denicin de Ra es consistente, porque si
m U , tendremos
m Ra = a m m = m a m
= m 1
m a m ,

donde a denota la traslacin a la izquierda en G denida por a. As

Ra = 1
m a m ,

8
en Pm , como queramos. La accin Ra es diferenciable y libre, como se
demuestra fcilmente.
Hemos visto antes que dado un recubrimiento abierto de una variedad
diferenciable M y una familia de aplicaciones diferenciables denidas, cada
una, en uno de los abiertos de ese recubrimiento, con valores en G, y que
cumplan la condicin de cociclos, esa familia da origen a un nico brado
una vez se ha elegido una bra tipo W sobre la cual G acte efectivamente
por la izquierda. Esto quizs sirva para justicar el nombre de principal.
En efecto, la accin de G en G por traslaciones a la izquierda es siem-
pre efectiva, de modo que, en el supuesto de que tengamos denido un -
brado (E, E , M, G, W ), este brado tendr unas funciones de transicin que
cumplen las condiciones de cociclos, y por consiguiente queda denido au-
tomticamente un nico brado principal (P, P , M, G) que tiene las mismas
funciones de transicin que el anterior. Se dice entonces que esos dos brados
son asociados. Ahora bien, a un brado principal podemos asociarle todos
los brados que se obtienen por este procedimiento: corresponden a todas las
posibles diferentes acciones efectivas a la izquierda de G sobre cualesquiera
variedades W. Por ello, se considera a (P, P , M, G) como principal, en el
sentido de que los dems, sus asociados, dependen de l.
Por ejemplo, si tenemos un brado vectorial (E, , M, G, W ), podemos

considerar el espacio dual W de W. Sobre l acta a la izquierda G mediante
1
(g)(x) = (g x), W , x W. Esa accin es efectiva porque si g =
1
para todo W , tendremos g = , para todo W , lo que implica
g 1 x = x, para todo x W es decir g = e. Por tanto, a un brado vectorial

viene asociado su dual, que tiene como bra tipo W . En general, la accin
(r,s)
a la izquierda de G sobre W viene dada por
g(x1 xr 1 s ) = gx1 gxr 1 g 1 s g 1 ,
y esa accin es efectiva. Por ello, dado un brado vectorial = (E, , M, G, W ),
se tiene automticamente denido el brado
(r,s)
, producto tensorial de tipo
(r, s) de , como el asociado mediante la accin que se acaba de describir.
De manera parecida, si tenemos dos brados vectoriales i = (Ei , i , M, Gi ,
Fi ), i = 1, 2, sobre la misma base, se puede denir su suma directa 1 2 y
su producto tensorial 1 2 , pero esas deniciones se dejan como ejercicio.
En el caso de un brado vectorial, hay un modo ms sencillo de construir y
presentar su brado principal asociado. Supongamos que = (E, , M, G, W )
es un brado vectorial, de modo que las bras Em tienen denida ya una es-
tructura de espacio vectorial. Fijamos una base cualquiera b = (b1 , . . . , bk )
de W, siendo k la dimensin de W. La rbita B de la base b por el grupo G
es el conjunto de bases B = {gb = (gb1 , . . . , gbk ) : g G}. Si es una
trivializacin of alrededor de m ponemos

1
Pm = m (B) = {1 1 1
m (c) := (m (c1 ), . . . , m (ck )) : (c1 , . . . , ck ) B}.

Como m es un isomorsmo, Pm es un subconjunto de las bases del espacio

vectorial Em . En primer lugar, veamos que Pm no depende de la trivializacin
elegida. Si m U , tendremos que si c = gb B entonces

1 1 1
m (c) = m (m c) = m (m gb) Pm ,

9
porque m g G m gc B. El espacio total del brado principal
y as
que estamos deniendo es P = mM Pm y la proyeccin P : P M enva
Pm a m. Ahora denimos las trivializaciones de P, : P1 (U ) U G.
Si m U and u Pm , (u) = (m, m (u)), donde

m (u) = g, si u = 1
m (gb).
1
As, m (g) = 1
m (gb). Por consiguiente

1 1
(m m )(g) = m (1
m (gb)) = m (m (m gb)) = m g.

Esto demuestra que m = m , es decir P tiene las mismas funciones de

transicin que E. Esta construccin es, pues, equivalente a la de la Proposi-
cin 3.
Hay tambin otro modo de construir y representar un brado asociado a
un brado principal = (P, , M, G), o sea un brado con la misma base y
funciones de transicin que las de pero con una bra tipo W, sobre la cual
acta efectivamente por la izquierda el grupo G. Para ello, denimos en P W
1
la relacin de equivalencia por la cual (u, w) es equivalente a (Ra u, a w).
Denotamos por u w la clase de equivalencia de (u, w). Pues bien, ponemos
E para denotar el conjunto de todas esas clases de equivalencia, que ser
el espacio total del brado asociado a . Su proyeccin vendr dada por
E (u w) = (u). Si : 1 (U ) U G es una trivializacin de ,
1
denimos : E (U ) U W mediante (uw) = (m, m (u)w), si u
Pm . Puesto que m (Ra u)w) = m (u)uw), la denicin de es consistente.
1 1
Tenemos as m (uw) = m (u)w, con lo cual m (w) = m (e)w. Veamos
ahora las funciones de transicin. Sean m U y w W. Tendremos

1
(m m )(w) = m (1 1
m (e) w) = (m m )(e)w
= (m)ew = (m)w.
y as las funciones de transicin son exactamente las mismas que las de . Por
ello, el brado que acabamos de construir es equivalente al que corresponde
a la Proposicin 3. La ventaja operativa de esta construccin es que en ella
no se emplean explcitamente las cartas para denir el espacio total.
Sea = (E, , M, G, W ) un brado, N una variedad diferenciable, y
f : N M una aplicacin diferenciable. Estos datos nos van a permitir

denir un nuevo brado denotado f = (f E, , N, G, F ), que recibe el
nombre de brado inducido por f. Para ello, en primer lugar tomamos

f E = {(n, u) N E : f (n) = (u)}, (n, u) = n.

Para cada trivializacin : 1 (U ) U W de ponemos V = f 1 (U )
1
y denimos la aplicacin : (V ) V W mediante
(n, w) = (n, 2 ( (u))) = (n, f (n) (u)),
1
donde 2 : U W W es la proyeccin natural. Entonces, (n, w) =
1
(n, f (n) (w)). Por tanto las nuevas funciones de transicin vienen dadas por
= f. A partir de aqu es fcil ver que si E es un brado vectorial

(resp. brado principal) entonces f E tambin lo es.

10
Captulo 3
Clases caractersticas en brados
principales

3.1 Notaciones. Campos vectoriales fundamen-

tales.
Usaremos los siguientes conceptos y notaciones, ya introducidos en lo que
precede.

G, un grupo de Lie con lgebra de Lie g e. A lo largo

y elemento neutro
de estas notas supondremos que se ha jado una base (e1 , . . . , edim G ) de g.
Las traslaciones derecha e izquierda y la conjugacin denida por a G se
escriben a , a , ca : G G, respectivamente. As a (b) = ba, a (b) =
1
ab, ca (b) = aba .
Sea a G. Denotamos por Ad(a) Aut(g) la aplicacin lineal (dca )e :
Te G Te G. Tenemos as un homomorsmo de grupos de Lie Ad : G
Aut(g), que induce un homomorsmo de lgebras de Lie ad : g End(g).
Tenemos ad(A)B = [A, B] para cualesquiera A, B g. Recordamos tambin
que Ad exp = exp ad y que para cualquier a G se tiene ca exp =
exp Ad(a).

(E, E , M, G, W ), brado con espacio total E , proyeccin E , espacio base

M , grupo de Lie G y bra tipo W . Si u E, el subespacio Vu E = {X
Tu E : dE (X) = 0} recibe el nombre de subespacio vertical de Tu E. La
dimensin de Vu E es claramente igual a la dimensin de las bras de E y por
tanto igual a la de W. El subbrado de vectores verticales de T E se denota
1
por V E. Si m M, Em ser la bra de E sobre m, esto es Em = E ({m}).
Finalmente, denotaremos por (E) el conjunto de las secciones diferenciables
globales de E .
(P, , M, G), brado principal con proyeccin : P M y grupo de Lie
G. La accin a la derecha de G en P se denota por Ra : P P, a G.
Un elemento de A g da lugar a un campo vectorial A X(P ), llamado
campo vectorial fundamental denido por A; veamos cmo. Cada u P
dene una aplicacin diferenciable lu : G P dada por lu (a) = Ra u; si

11
m = (u), la imagen de lu es Pm y lu : G Pm es un difeomorsmo. De-

nimos A poniendo Au = dlu (Ae ) Tu P. Puesto que lu = m, claramente
A es una seccin de V P. Sabemos que expA : R G es la curva integral
maximal de A X(G) que pasa por e para t = 0. Consideremos la curva
(t) = lu (expA (t)) = Rexp(tA) u. Se tiene

0 (t) = dlu (AexpA (t) ) = dlu (dexp(tA) Ae ) = d(lu exp(tA) )(Ae ).

Ahora

(lu exp(tA) )(b) = lu (exp(tA)b) = Rexp(tA)b u = Rb (Rexp(tA) u) = lRexp(tA) u b.

Por tanto lu exp(tA) = lRexp(tA) u , de donde

0 (t) = ARexp(tA) u = Alu (exp(tA)) = A(t) .

En otros trminos,
es la curva integral maximal de A que pasa por u para
t = 0. Por eso, el ujo de A es R (tA) . Supongamos que para algn u P
exp

se tenga Au = dlu (Ae ) = 0. Entonces, la curva integral maximal de A que
pasa por u para t = 0 debe ser constante, de donde concluimos R (tA) u = u. exp
Como la accin de G en P es libre, concluimos que exp(tA) = e para todo t y
esto implica A = 0. Como la dimensin de Vu P es igual a la de g, deducimos
que si X Vu P, existe un nico campo vectorial fundamental que coincide
con X en u.

Proposition 1. Sean a G, A, B g. Entonces

a) (A + B) = A + B , y si k R tenemos (kA) = kA .
b) Pongamos A = dRa A Ra1 X(P ). Entonces A = (Ad(a1 )A) .
c) [A , B ] = [A, B] .
Demostracin. a) Inmediato.
b) Como es bien sabido, siendo Rexp(tA) el ujo de A , el de A viene dado
por
Ra Rexp(tA) Ra1 = Ra1 exp(tA)a = Rca1 (exp(tA)) ,
y puesto que ca1 (exp(tA)) = exp(Ad(a1 )tA), se concluye que

A = (Ad(a1 )A) .

c) Tenemos

0
0
[A , B ]u = (dRexp(tA) B Rexp(tA) )u (0) = (Ad(exp(tA))B)u (0).



Ahora, (Ad(exp(tA))B)u = dlu Ad(exp(tA))B . De aqu,

[A , B ]u = dlu ((Ad(exp(tA))0 (0)B) = dlu (ad(A)B) = dlu ([A, B]) = [A, B]u ,

como armbamos.

12
3.2 Formas diferenciales con valores en g
Denotaremos por p (P, g) el C (P )-modulo de p-formas diferenciales en P
p q p+q
con valores en g. Si (P, g) y (P, g), denimos [, ] (P, g)
mediante
X
[, ](X1 , . . . , Xp+q ) = sg()[(X1 , . . . , Xp ), (X(p+1) , . . . , X(p+q) )],
(p,q)

donde (p, q) signica el conjunto de permutaciones de barajar de tipo (p, q).

i
Usando el convenio de Einstein podemos escribir de modo nico = ei , =
i i i
ei , donde las (resp. ) son p-formas (resp. q -formas) ordinarias en P.
i j i
Then [, ] = [ei , ej ] . Podemos denir d como ei d , que claramente
no depende de la eleccin de la base (ei ) de g. Con esto es fcil probar las
siguientes propiedades

1. [, ] = (1)pq+1 [, ].

2. d[, ] = [d, ] + (1)p [, d].

3. (1)pr [, [, ]] + (1)qp [, [, ]] + (1)rq [, [, ]] = 0,

r
donde, en la ltima frmula, (P, g).
1
Sea ahora (P, g). Denimos el operador D : q (P, g) q+1 (P, g)
mediante
D = d + [, ]
y ponemos
1
= d + [, ].
2
Ntese que es, en general, diferente de D .

Proposicin 4. Con las notaciones anteriores tenemos

a) D2 = [ , ].
b) D = 0.
c) If r (P, g), entonces D [, ] = [D , ] + (1)q [, D ].
Demostracin. a) Tenemos

D2 = dD + [, D ] = d[, ] + [, d + [, ]]
= [d, ] [, d] + [, d] + [, [, ]]
= [d, ] + [, [, ]].

Ahora, por la propiedad 3., tenemos

(1)q [, [, ]] + (1)1 [, [, ]] + (1)q [, [, ]]

= (1)q (2[, [, ]] + [, [, ]]) = 0.

13
Por tanto [, [, ]] = 12 [[, ], ], y obtenemos nalmente

1
D2 = [d + [, ], ] = [ , ],
2
como queramos. En cuanto a b), we have

1 1
D = d + [, ] = ([d, ] [, d]) + [, d] + [, [, ]] = 0,
2 2
por las propiedades 1. y 3.
c) La propiedad 3. anterior se puede escribir como

[, [, ]] = [[, ], ] + (1)pq [, [, ]]

El resultado anunciado se obtiene ahora aadiendo esto a la expresin de

d[, ] en la propiedad anterior 2., teniendo presente que ahora p = 1.
q
Una forma (P, g) recibe el nombre de equivariante o pseudotenso-
rial 1
si Ra = Ad(a ) , es decir si

(Ra )u (X1 , . . . , Xq ) = Ad(a1 ) u (X1 , . . . , Xq )

q
para cualesquiera a G, u P, X1 , . . . , Xq Tu P. Denotamos por Eq (P, g)

el C (M )-mdulo de q -formas diferenciales equivariantes en P con valores
en g. Si es equivariante, se dice que es tensorial si es horizontal, es decir si
iX u = 0 para cualesquiera u P y X Vu P. Se deja como ejercicio probar
que si y son equivariantes o tensoriales, entonces [, ] tambin lo es.
Tenemos

Lema 1. Sea q (P, g) tensorial. Sean 1 (P, g), u P y X0 , . . . , Xq

Tu P. Entonces

(D )u (X0 , . . . , Xq ) = (d)u (X0 u (X0 )u , . . . , Xq u (Xq )u )

donde u (Xi )u es el valor en u del campo vectorial fundamental denido en

P por u (Xi ) g.

Demostracin.
Denotemos por Ai los campos vectoriales fundamentales tales

que Aiu = u (Xi )u . Como es horizontal, y los corchetes de Lie [Ai , Aj ] son
verticales, tenemos

(d)u (X0 (u (X0 ) )u , . . . , Xq (u (Xq ) )u )

X
(1)i (d)u Ai u , X0 , . . . , Xi , . . . , Xq .


=(d)u (X0 , . . . , Xq )
i


Ahora, LAi = iAi d + d iAi = iAi d. Pero si A g,
0 0 0 j
LA =(Rexp(tA) ) (0) = (Ad(exp(tA)) ) (0) = (Ad(exp(tA))ej ) (0)

=(ad(A)ej ) j = [A, ej ] j = [A, ],

14
donde = ej j . Por lo tanto

(d)u (X0 u (X0 )u , . . . , Xq u (Xq )u )

X
=(d)u (X0 , . . . , Xq ) + (1)i [u (Xi ), u ](X0 , . . . , Xi , . . . , Xq ])
i
=(d + [, ])u (X0 , . . . , Xq )
=(D )u (X0 , . . . , Xq ),

como decamos.

Nota 1. La 1-forma 1 (P, g) dene dos homomorsmos del brado

tangente T P P o, equivalentemente, dos campos tensoriales diferenciables
de tipo (1, 1). El primero de ellos mediante v (X) = u (X)u Vu P. El otro
es h (X) = X v (X) = X u (X)u , para X Tu P. Supongamos que
es tal que h (X) = 0 si d(X) = 0, es decir si X es vertical. Esto signica
que si X es vertical tenemos X = u (X)u , o en otras palabras, que para
todo A g tendramos Au = u (A )u , es decir (A ) = A. En tal caso,
si q (P, g) fuera tensorial tendramos que D sera tambin tensorial
coomo consecuencia del Lema.

3.3 Connexiones en un brado principal

Una forma de conexin en P 1
es una 1-forma equivariante Eq (P, g)

tal que h (X) = 0 para todo X V P. Entonces, (A ) = A, para todo
A g. Tambin, ([A , B ]) = ([A, B] ) = [A, B]. La forma dene los
proyectores vertical y horizontal v = v , h = h .

As, para todo X Tu P tenemos h(h(X)) = h(X u (X)u ) = h(X),

porque (u (X) )u es vertical, de modo que h es un proyector. La aplicacin
v denida por X 7 u (X)u es tambin un proyector y tenemos h + v =
id, h v = v h = 0. La aplicacin lineal u : Tu P g es sobreyectiva por
lo que su rango es la dimensin de G, v es
y como consecuencia, el rango de
tambin la dimensin de G. Concluimos que el rango de hu : Tu P Tu P
es igual a la dimensin de M. As, el subespacio Qu = hu (Tu P ), llamado
subespacio horizontal es un complemento de Vu P, es decir Qu Vu P = Tu P.
Como (d)u : Tu P Tm M, donde m = (u), tiene rango igual a la dimensin

de M y su ncleo es Vu P concluimos que (d)u 
Qu
: Qu Tm M es un
isomorsmo. Tenemos tambin

Qu = ker u = {X Tu P : u (X) = 0}.

Proposicin 5. Para todo a G tenemos h dRa = dRa h. Como con-

secuencia (dRa )(Qu ) = QRa u , es decir la distribucin Q en P es invariante
bajo traslaciones a la derecha.
Demostracin. Sean u P, X Tu P. Entonces

(hdRa )(X) = hRa u ((dRa )X) = (dRa )X Ra u ((dRa )X)Ra u

= (dRa )X (Ra )(X)Ra u = (dRa )X Ad(a1 )u (X)Ra u .

15
Recordamos ahora que por la Proposicin 1.b), el campo vectorial dRa
u (X) Ra1 1
es igual a Ad(a )u (X) . Por tanto

(h dRa )(X) = (dRa )X (dRa ) u (X)u = (dRa )(hu (X)).

As la armacin se sigue.

Recprocamente, supongamos que se nos da una distribucin diferenciable

Q en P, uP
invariante bajo traslaciones a la derecha y tal que para todo
se tenga Qu Vu P = Tu P. Entonces, esa distribucin dene una forma de
conexin poniendo u (X) = A, donde A g is the unique vector such that
Au = vu (X), where vu (X) + hu (X) = X, con vu (X) Vu P, hu (X) Qu . La
prueba se deja al lector. se dene comois dened by

1
= = d + [, ].
2
La diferencial covariante de esa conexin es el operador D denido como
en la seccin 2 por
D = D = d + [, ].
Tenemos entonces las siguientes propiedades

D2 = [, ],
D = 0.

La segunda propiedad se conoce como identidad de Bianchi.

Proposition 2. a) Para toda q (P, g) pongamos h q (P, g)
para denotar la forma denida por
( h)u (X1 , . . . , Xq ) = u (hu (X1 ), . . . , hu (Xq )),

para cualesquiera u P, X1 , . . . , Xq Tu P. Entonces, si es equi-

variante, h es tensorial.
b) D = (d) h.
c) Sea Eq q (P, g). Entonces d Eq q+1 (P, g). Por tanto D es ten-
sorial;
Demostracin. a) Sean a G, u P, X1 , . . . , Xq Tu P. Entonces

(Ra ( h))u (X1 , . . . , Xq ) = ( h)Ra u (dRa (X1 ), . . . , dRa (Xq ))

= Ra u ((h dRa )(X1 ), . . . , (h dRa )(Xq ))
= Ra u ((dRa (hu (X1 )), . . . , (dRa (hu (X1 q))
= ((Ra ) h)(X1 , . . . , Xq ) = (Ad(a1 ) h)(X1 , . . . , Xq ).

Por tanto, h es equivariante, con lo cual es obviamente tensorial.

b) Es consecuencia inmediata del Lema 1.

16
 c) Tenemos

Ra (d) = d(Ra ) = d(Ad(a1 ) ) = d((Ad(a1 )ei ) i )

= (Ad(a1 )ei )d i = Ad(a1 ) d.

As, d es equivariante. Al ser D = (d)h, concluimos que D es tensorial.

Sea N otra variedad diferenciable, f : N M una aplicacin diferencia-

ble y (f P, N , N, G) el brado inducido, que es tambin un brado principal
con grupo G. Recordemos que

f P = {(x, u) N P : f (x) = (u)}.

Sea W : f P P la aplicacin de brados principales dada por F (x, u) = u.

Proposicin 6. Sea una conexin en P. Entonces F es una conexin

en f P y su curvatura es F .
Demostracin. En efecto, sea a G, (x, u) f P y X T(x,u) f P. Entonces

(Ra (F ))(x,u) (X) = Ra u (d(Ra F )(X)) = Ad(a1 )(u (dF (X)))

= Ad(a1 )(F )(x,u) (X).

Adems, si A g, se tiene

(F )(x,u) (A(x,u) ) = (F )(x,u) (dl(x,u) A) = u (d(F l(x,u) )A).

Pero si a G, entonces

(F l(x,u) )(a) = F (x, Ra u) = Ra u.

Por consiguiente, (F )(x,u) (A(x,u) ) = A. As, F es una connexin. Su

curvatura vendr dada por

1 1
d(F ) + [F , F ] = F d + F [, ] = F .
2 2

3.3.1 Levantamiento horizontal de vectores y campos

vectoriales, de M a P
Sean u Pm y X Tm M. El levantamiento horizontal de X a u se dene
como Xuh = (d|Qu )1 (X) Qu Tu P . El levantamiento horizontal de un
campo vectorial X X(M ), denotado X h , se dene mediante Xuh = (X(u) )hu .
h
Por tanto, tenemos d X = X .

Proposicin 7. Sean X, Y X(M ). Entonces

a) X h es Ra -invariante para todo a G.

17
 b) X h + Y h = (X + Y )h . Si f C (M ) entonces (f X)h = (f )X h .
Adems h[X h , Y h ] = [X, Y ]h .
c) Sean 1 , . . . , NPconexiones en P y = Ni=1 (ti )i una suma con-
P

vexa, es decir Ni=1 ti = 1, donde las ti : M R son funciones dife-

renciables. Entonces es una conexin. Tambin, si X h , X hi , i =
1, . . . , N, denotan los levantamientos horizontales de X X(M ) a P
con respecto a las conexiones , 1 , . . . , N , respectivamente, entonces
N
Xh = )X hi .
P
i=1 (ti

d) ([X h , Y h ]) = (X h , Y h ). Por tanto, si X, Y son vectores (o campos

vectoriales) horizontales de P , tenemos ([X, Y ]) = (X, Y ).
e) es tensorial.
Demostracin. Sea u Pm : a) Tenemos dRa (XRh a1 u ) QRa1 u porque Q
es invariante bajo traslaciones a la derecha. Como

d(dRa (XRh a1 u )) = d(XRh a1 u ) = Xm

concluimos que dRa X h Ra1 = X h , como queramos.

b) Las dos primeras armaciones son inmediatas. En cuanto a la tercera,
h h h h
tenemos d [X , Y ] = [X, Y ] . De aqu, d(h([X , Y ]u ) = [X, Y ]m y
h h h
esto signica que [X, Y ]u = h([X , Y ]u ).
c) Sean u Pm y A g. Entonces
X X
u (Au ) = ti (m) i (Au ) = ti (m)A = A.
i i

Tambin,
X X
Ra = (ti Ra )Ra i = (ti )Ad(a1 ) i
i i
X
= Ad(a1 ) (ti ) i = Ad(a1 ).
i

Por consiguiente, es una conexin. Tenemos

N
X N
X
hi
d( (ti )X )u = ti (m)Xm = Xm .
i=1 i=1

Ahora, por brevedad ponemos ti = ti . As

XN N
X N
X
( ti X hi ) = ti tj j (X hi ) = ti tj ( j (X hi ) + i (X hj ))
i=1 i,j=1 i<j=2
N
X
= ti tj ( j (X hi X hj ) + i (X hj X hi ))
i<j=2
N
X
= ti tj ( j (X hi X hj ) i (X hi X hj )) = 0
i<j=2

18
 X hi X hj es vertical. Por tanto N hi
P
porque i=1 ti X es -horizontal y debe
h h
ser igual a X porque X es tambin -relacionado con X.
d) Tenemos

1
(X h , Y h ) = d(X h , Y h ) + [, ](X h , Y h )
2
= X ((Y )) Y h ((X h )) ([X h , Y h ])
h h

= ([X h , Y h ]).

e) Sean A, B g y X X(M ). Entonces

1
(A , B ) = (d)(A , B ) + [, ](A , B )
2
= A ((B )) B ((A )) ([A, B] )
1
+ ([(A ), (B )] [(B ), (A )])
2
1
= A (B) B (A) [A, B] + ([A, B] [B, A]) = 0.
2
Tambin

1
(A , X h ) = (d)(A , X h ) + [, ](A , X h )
2
= A ((X )) X ((A )) ([A , X h ]) + [(A ), (X h )]
h h

= ([A , X h ])
0
h
Pero si u P, tenemos [A , X ]u = ((dR exp h
(tA) X R exp
(tA) )u ) (0) =
(Xuh )0 (0) = 0 porque X h es invariante bajo traslaciones a la derecha.
El resultado d) de la proposicin anterior ofrece una interpretacin de
h h
la curvatura. Como esencialmente ([X , Y ]) mide la parte vertical de
[X h , Y h ], podemos interpretar la curvatura como una medida de la falta de
integrabilidad de la distribucin horizontal Q.

3.3.2 Levantamiento horizontal de curvas de M a P .

Transporte paralelo
Sea : I M, donde I es un intervalo de R, una curva diferenciable.
De una curva : I P se dice que es un levantamiento horizontal de si
= y 0 (t) Q(t) para todo t I. Ntese que si es un levantamiento
horizontal de y a G, entonces Ra es otro levantamiento horizontal de
.
Teorema 3.3.1. Sea una conexin en P, : I M una curva diferencia-
ble, t0 I y u0 P(t0 ) . Entonces, existe un nico levantamiento horizontal
de , t I 7 u(t) P tal que u(t0 ) = u0 .
Demostracin. Sea ( P, I , I, G)
el brado principal inducido sobre I por
. La conexin induce una conexin en P. Sea X(I) el campo vec-
0 h
torial cannico (es decir (f ) = f para cualquier f C (I)). Sea

19

su levantamiento horizontal a P. Sea t ]a, b[7 (f (t), u(t)) P una
h
curva integral de tal que t0 ]a, b[ I y (f (t0 ), u(t0 )) = (t0 , u0 ). Como
dI = , tendremos f 0 = 1, por lo cual podemos suponer f (t) = t.
Supongamos que la curva integral (t, u(t)), denida en]a, b[, es maximal.
Queremos probar que ]a, b[= I. En efecto, supongamos que b I. Tomemos

entonces un punto cualquiera vb P(b) y sea t ]c, d[7 (t, v(t)) P una
h
curva integral de tal que b ]c, d[ y v(b) = vb . Sea t1 ]a, b[]c, d[ y sea
g G tal que Rg v(t1 ) = u(t1 )). Entonces (t, Rg v(t)) es una curva integral de
h , denida en ]c, d[, tal que (t1 , Rg v(t1 )) = (t1 , u(t1 )). Ambas curvas deben
ser iguales en el dominio comn, y as hemos sido capaces de extender el
intervalo ]a, b[ por la derecha y esto es absurdo.Lo mismo ocurre con a.
Entonces ]a, b[= I. t I 7 u(t) es la imagen, por la aplicacin de
La curva

brados principales P P, de la curva (t, u(t)). Por tanto, es horizontal,
u(t0 ) = u0 , y (t, u(t)) P implica (u(t)) = (t). Concluimos que u(t) es
el levantamiento horizontal de que buscbamos.
La unicidad se deduce del hecho de que si u : J P es un levantamiento

horizontal de , entonces la curva v(t) := (t, u(t)) es una curva en P, que
0
es horizontal y cumple d1 v = .

Sea [a, b] un intervalo cerrado y : [a, b] M una curva diferenciable.

Denimos el transporte paralelo a lo largo de como la aplicacin : P(a)
P(b) tal que (u), u P(a) , es el valor en t = b del levantamiento horizontal
de que pasa por u para t = a.

Proposicin 8. Sea : [a, b] M una curva diferenciable. El transporte

paralelo : P(a) P(b) es un difeomorsmo y Rg = Rg , para todo
g G.

Demostracin. ua P(a) , y sea t [a, b] 7 u(t) P el levantamiento

Sea
horizontal de tal que u(a) = ua . Entonces (ua ) = u(b). La curva Rg (u(t))
es el levantamiento horizontal de cuyo valor en t = a es Rg ua . Entonces
(Rg ua ) = Rg (u(b)) = Rg ( (ua )), y esto prueba nuestra armacin. Uti-
lizando la dependencia diferenciable de las soluciones de una ecuacin difer-
encial ordinaria respecto a las condiciones iniciales, se comprueba que es
diferenciable. Sea : [a, b] P dada como (t) = (a + b t). En-
tonces, v(t) = u(a + b t) es horizontal porque v 0 (t) = u0 (a + b t) y
(v(t)) = (a + b t) = (t). Por tanto v es el levantamiento horizon-
tal de y (a) = (b), (b) = (a), v(a) = u(b), v(b) = u(a). Por eso,
si : P(b) P(a) es el transporte paralelo a lo largo de , tendremos
= id, = id . Se concluye que y son difeomorsmos.

3.4 Clases caractersticas, cfr. [GHV], [KN, ch.

XII] and [Dup, ch. 4]
Denotemos por K el cuerpo R o el C y sea V un K-espacio vectorial n-
p
dimensional. Sea S (V ) el K-espacio vectorial de las aplicaciones p-lineales

20
simtricas de V V en K. Si S p (V ), S q (V ) denimos
p+q
S (V ) poniendo

1 X
()(A1 , . . . , Ap+q ) = (A1 , . . . , Ap )(A(p+1) , . . . , A(p+q) ).
(p + q)!
(p+q)

Ntese que aqu no usamos permutaciones de barajar sino la denicin na-

tural del producto de tensores simtricos.
p
L
Con este producto S(V ) = p0 S (V ) resulta ser una K-lgebra gra-
k
duada asociativa. Sea (v1 , . . . , vn ) una base de V. Sea K[x1 , . . . , xn ] el con-
junto de los polinomios homogneos de grado k con coecientes en K en
ciertas variables x1 , . . . , xn . Podemos denir una aplicacin que enva un ele-
p k
mento cualquiera S (V ) a un elemento K[x1 , . . . , xn ] , mediante

(x1 , . . . , xn ) = (x, . . . , x),

Pn
donde x := xi vi . Esta apllicacin es un isomorsmo, y la aplicacin
i=1

inducida de S(V ) a K[x1 , . . . , xn ] es un isomorsmo de lgebras, aunque no
probaremos esto.
El caso complejo slo ocurrir aqu cuando G es un subgrupo cerrado
de GL(n; C), de modo que g ser una sublgebra compleja del lgebra de
matrices complejas nn. Por motivos de concrecin y brevedad trabajaremos
a partir de ahora slo con el cuerpo R, sobreentendindose que todo lo que
sigue se puede hacer de modo anlogo cuando aquellas aplicaciones simtricas
toman valores complejos.
p
Denotemos por I (G) el R -espacio vectorial de aplicaciones S p (g )
que son invariantes, es decir

(Ad(a)A1 , . . . , Ad(a)Ap ) = (A1 , . . . , Ap ), A1 , . . . , Ap g,

para todo a G. El producto de dos de esas aplicaciones invariantes es

tambin invariante, de modo que tenemos as una sublgebra
M
I(G) = I p (G) S(g).
p0

Lema 2. Sean I p (G) y B, A1 , A2 , . . . , Ap g. Entonces

p
X
(A1 , . . . , Ai1 , [B, Ai ], Ai+1 , . . . , Ap ) = 0.
i=1

Demostracin. Sea t 7 b(t) G una curva diferenciable cualquiera tal que

b(0) = e, b0 (0) = B. Entonces la funcin f (t) dada por

f (t) = (Ad(b(t))A1 , . . . , Ad(b(t))Ap )

es constante. Como

(Ad(b(t))Ai )0 (0) = Ad(b(t))0 (0)Ai = (dAd)(b0 (0))Ai = ad(B)Ai = [B, Ai ],

la armacin se cumple.

21
 1 , . . . , p (P, g) de grados respectivos m1 , . . . , mp . Si S p (g )
Sean
m ++mp
denimos la forma ordinaria (1 , . . . , p ) 1 P por medio de

(1 , . . . , p )(X1 , . . . , Xm1 ++mp ) )

X
= sg()(1 (X1 , . . . , X(m1 ) ), . . . ).
(m1 ,...,mp )

Si i = ej ij , donde las ij son mi -formas diferenciales ordinarias en P,

tenemos
(1 , . . . , p ) = (ej1 , . . . , ejp )1j1 pjp . (3.4.1)

Entonces se puede vericar fcilmente que

p
X
d(1 , . . . , p ) = (1)ki (1 , . . . , i1 , di , i+1 , . . . , p ), (3.4.2)
i=1

donde k1 = 0 y ki = m1 + + mi1 , para i = 2, . . . , p.

Proposicin 9. Sean I p (G), 1 (P, g) y i mi (P, g), i =
1, . . . , p. Entonces
p
X
d(1 , . . . , p ) = (1)ki (1 , . . . , i1 , D i , i+1 , . . . , p ),
i=1

donde k1 = 0 y ki = m1 + + mi1 , para i = 2, . . . , p.

Demostracin. Pongamos = ea a . Aplicando el Lema 2 a la frmula (3.4.1)
obtenemos para cada a = 1, . . . , dim G :
p
X
0= (ej1 , . . . , eji1 , [ea , eji ], eji+1 , . . . , ejp )1j1 pjp .
i=1

Multiplicando esto por a y sumando para a = 1, . . . , dim G tenemos

p
X
0= (ej1 , . . . , eji1 , [ea , eji ], eji+1 , . . . , ejp )a 1j1 pjp
i=1
p
X
= (1)ki (ej1 , . . . , [ea , eji ], . . . , ejp )1j1 a iji pjp
i=1
p
X
= (1)ki (1 , . . . , [, i ], . . . , p ).
i=1

Como D i = di + [, i ] obtenemos lo que buscbamos sumando la ltima

igualdad a la frmula (3.4.2).

Proposicin 10. Sea I p (G), y sean i mi (P, g), i = 1, . . . , p,

formas tensoriales. Entonces, existe una nica forma k M, donde k =
m1 + + mp , tal que (1 , . . . , p ) = .

22
Demostracin. Podemos escribir i = eji iji . Si a G, tendremos

Ra i = eji Ra iji = Ad(a1 )i = Ad(a1 )(eji )iji .

Ahora observemos que para u P el valor de (1 , . . . , p )u est deter-
minado por su accin sobre vectores horizontales de Qu poque las i son
h h
tensoriales. Sean X1 , . . . , Xk los respectivos levantamientos horizontales de
X1 , . . . , Xk Tm M a Tu P. Si tal forma existe, deberamos tener
( )u (X1h , . . . , Xkh ) = m (X1 , . . . , Xk ) = (1 , . . . , p )u (X1h , . . . , Xkh ).
La ltima igualdad dene m de modo nico y lo que nos falta por probar
es que el valor del segundo miembro no depende de la eleccin de u Pm .
h
As pues, sea a G. Entonces dRa Xi es el levantamiento horizontal de Xi a
Ra u, para i = 1, . . . , k. Calculamos el valor de m (X1 , . . . , Xk ) usando ahora
el nuevo punto R a u Pm .
(1 , . . . , p )Ra u (dRa X1h , . . . , dRa Xkh )
= (ej1 , . . . , ejp )(1j1 pjp )Ra u (dRa X1h , . . . , dRa Xkh )
= (ej1 , . . . , ejp )(Ra 1j1 Ra pjp )u (X1h , . . . , Xkh )
= (Ad(a1 )ej1 , . . . , Ad(a1 )ejp )(1j1 pjp )u (X1h , . . . , Xkh )
= (ej1 , . . . , ejp )(1j1 pjp )u (X1h , . . . , Xkh )
= (1 , . . . , p )u (X1h , . . . , Xkh ).
As, la denicin de es consistente y la proposicin queda probada.

Lema 3. Sean 0 , 1 1 (P, g) y I p (G). Pongamos, por brevedad,

() = (, . . . , ) y (, ) = (, , . . . , ). Entonces, si t = 0 +
t(1 0 ) and = 1 0 tenemos
Z 1
(1 ) (0 ) = p d (, t )dt.
0

Demostracin. Tenemos

1 1 1
t = dt + [t , t ] = d0 + td + [0 , 0 ] + t[0 , ] + t2 [, ].
2 2 2
Por consiguiente

1d
(t ) = (d + [0 + t, ], t )
p dt
= (Dt , t ) = d(, t ).
y la armacin se sigue.

Corolario 2. Sea 1 (P, g). Entonces,

Z 1
( ) = p d (, t )
0

Demostracin. Es suciente tomar 0 = 0, 1 = .

23
3.4.1 Homomorsmo de Chern-Weil
Sean 0 , 1 1 (P, g) dos conexiones. Como sabemos, cualquier suma con-
vexa de ambas es otra conexin. Adems 1 0 es tensorial porque para

cualquier A g tenemos (1 0 )(A ) = A A = 0.
p
Como consecuencia del Corolario 2 vemos que si I (G) entonces
(, . . . , ) es una forma exacta. Denotemos por () 2p M la nica 2p-

forma diferencial en M tal que (, . . . , ) = (). Entonces d( ()) =

d() = 0, Por tanto, d() = 0 ya que es una sumersin. Denote-
wP () la clase
mos por de cohomologa de (), de modo que wP ()
2p
H ((M )). Entonces

Teorema 3.4.1. a) Si I p (G), entonces wP () no depende de la

conexin; slo depende de la clase de isomorsmos de brados prin-
cipales de (P, , M, G).
b) wP : I(G) H((M )) es un homomorsmo de lgebras.
c) Si f : N M es diferenciable, entonces wf P = f wE .
Demostracin. a) Es consecuencia directa del Lema 3. En efecto, si 0 , 1
R1
son dos conexiones en P, entonces (1 ) (2 ) = p d (, t )dt,
0
donde t = (1 t)0 + t1 y = 1 0 . Al ser t una suma convexa
de conexiones, es tambin una conexin, de donde t es tensorial, y es
tensorial porque es la diferencia de dos conexiones. Por consiguiente:

Z 1  Z 1 

((1 ) (2 )) = p d (, t )dt = d p (, t )dt .
0 0

Por tanto,
 Z 1 
(1 ) (2 ) = d p (, t )dt ,
0

de manera que (1 ) y (0 ) denen la misma clase de cohomologa.

0
Si : P P dene un isomorsmo de brados principales con grupo G
0
sobre M, entonces la conexin en P induce una connexin en P cuya
curvatura es el pull-back de la curvatura de . Por tanto, wP () = wP 0 ().
q
b) Si I (G) y ponemos r = p + q, entonces

()(, . . . )(X1 , . . . , X2r )

1 X
= sg()()((X1 , X2 ), . . . , (X(2r1) , X(2r) )
r!
(2,...,2)
1 X X
= sg()((X 1 , X 2 ), . . . )((X (2r1) , X (2r) ), . . . ),
r!
(r) (2,...,2)

donde (2, . . . , 2) es la permutacin de barajar denida por (2k 1) =

2(k) 1, (2k) = 2(k), k = 1, . . . , p + q. Como es par y { :

24
(2, . . . , 2)} = (2, . . . , 2), tenemos

()(, . . . )(X1 , . . . , X2(p+q) )

1 X X
= sg()((X1 , X2 ), . . . )((X(2r1) , X(2r) ), . . . )
r!
(r) (2,...,2)
X
= sg()((X1 , X2 ), . . . )((X(2r1) , X(2r) ), . . . )
(2,...,2)


= (, . . . , ) (, . . . , ) (X1 , . . . , X2r ).

Por consiguiente, ()(, . . . , ) = (, . . . , ) (, . . . , ) y de aqu se

sigue b). Ntese que aqu hemos necesitado el producto natural de tensores
simtricos para que la ltima frmula no aparezca multiplicada por un factor
no deseado.

c) f P es un G-brado principal sobre N. Ponemos F : f P P denido

por F (x, u) = f (u), para (x, u) f P. Entonces, si es una conexin en P ,
F es una conexin en f P cuya forma de cuvatura es F , donde es la

curvatura de . A partir de aqu, la armacin se sigue tras una vericacin

sencilla.

Las clases de cohomologa wP () H((M )), para I(G) reciben el

nombre de clases caractersticas. La aplicacin wP : I(G) H((M )) se
conoce como homomorsmo de Chern-Weil.
Si hubiramos considerado aplicaciones invariantes I p (G) con valores com-
plejos, el resultado habra sido un homomorsmo de I(G) a H((M, C)).

3.4.2 G = Gl(n; R), clases de Pontrjagin

En este ejemplo, P es el brado principal asociado a un brado vectorial
diferenciable E de rango n sobre una variedad diferenciable M. Obtenemos
una coleccin de elementos de I(Gl(n; R)) considerando un elemento A
gl(n; R) = End(Rn ). Sea
n
1 X
det(I A) = Pk/2 (A, . . . , A)nk
2 k=0

1
el polinomio caracterstico
2
A. Entonces Pk/2 es un polinomio homogneo de
grado k, de modo que dene una aplicacin simtrica tambin denotada Pk/2 :
gl(n; R) gl(n; R) R. Al ser det a(I 2 1
A)a1 = det(I 2
1
A),
para cualquier a Gl(n; R), es claro que Pk/2 es invariante; se le llama
k
2
-
polinomio de Pontrjagin de orden , y wP (Pk/2 ) la
k
2
-clase de Pontrjagin
de
E (o de P , recurdese que E y P se deducen uno del otro)
Estos polinomios forman una base de todos los polinomios en gl(n; R)
k
invariantes frente a Ad(G). Otra base es la de las trazas trk (A) = tr(A ), k =
0, . . . , n. Las clases caractersticas wP (trk ) son llamadas clases traza.
Todo brado vectorial real admite una reduccin al grupo O(n). Es decir,
podemos calcular sus clases de Pontrjagin por medio de una conexin con

25
valores en el lgebra o(n) de endomorsmos antisimtricos de Rn . Como para
A o(n) se tiene

A A > A
det(I ) = det(I ) = det(I + ),
2 2 2
Pn nk
concluimos que en el polinomio correspondiente k=0 Pk/2 (A, . . . , A) las
entradas no nulas de A deben aparecer solamente en productos de grado
par. En otras palabras, Pk/2 = 0 si k es impar. Por eso, wP (Pk/2 ) = 0
para k impar, y estos justica la notacin: los subndices fraccionarios son
despreciables porque dan clases nulas de cohomologa.

3.4.3 G = Gl(n; C), clases de Chern

Ahora Pes el brado principal asociado a un brado vectorial complejo E
n
de rango n sobre M. Para cualquier A End(C ), ponemos

n
1 X
det(I A) = Ck (A, . . . , A)nk
2 i k=0

El coeciente complejo Ck dene una aplicacin invariante gl(n; C)

gl(n; C) C. Las correspondientes clases de cohomologa wP (Ck ) se llaman
clases de Chern de P o de E.
Sea A gl(n; R) gl(n; C). Entonces, multiplicando ambos miembros
n
por i tenemos

n
A X
det((i)I )= ik Ck (A, . . . , A)(i)nk .
2 k=0

de donde Pk/2 = ik Ck .
Por tanto, si E es un brado vectorial real sobre M y
k k
lo complexicamos, la -clase de Pontrjagin de E ser igual a i por la clase
2
k -Chern del brado complexicado.

3.4.4 SO(n). Clase de Euler

Es un caso especial para brados vectoriales reales orientables. Primero, si
n es impar, convenimos en decir que la clase que vamos a denir es cero.
Por eso, supondremos que P es el brado principal asociado a E, un brado
vectorial orientable riemanniano de rango n = 2r. Aqu, riemanniano signica
que tenemos denido un campo h de formas bilineales simtricas denidas
positivas sobre E. Es decir, si X, Y (E), tenemos que h(X, Y ) es una
funcin diferenciable en M tal que la aplicacin (X, Y ) 7 h(X, Y ) es bilineal,
simtrica y denida positiva.
Esto signica queP se puede reducir al grupo SO(n). Sea A o(n) y
n n n
pongamos g : R R R para denotar el producto escalar cannico en R .
n n
Podemos denir entonces la forma bilineal antisimtrica A : R R R

poniendo A (x, y) = g(x, Ay) = A (y, x). Sea (u1 , . . . , un ) la base cannica

26
de Rn y (u1 , . . . , un ) su dual. Entonces A . . .(r A = Pf(A, . . . , A)u1
un . Como (u1 un )(u1 , . . . , un ) = 1, tenemos

Pf(A, . . . , A) = (A . . .(r A )(u1 , . . . , un ).

As henos denido un polinomio homogneo Pf (en honor a Pfa ) de

grado n en o(n). Veamos que es invariante. Sea a SO(n) y pongamos
B = Ad(a)A = aAa1 . Entonces B (x, y) = g(x, By) = g(x, aAa1 y) =
g(a1 x, Aa1 y), porque a SO(n) conserva el producto escalar. As B (x, y) =
A (a1 x, a1 y). Por consiguiente

Pf(B, . . . , B) = (A . . .(r A )(a1 u1 , . . . , a1 un )

= (A . . .(r A )(u1 , . . . , un )
= Pf(A, . . . , A),

ya que a1 u1 a1 un = det(a1 ) u1 un y det(a1 ) = 1. La clase

caracterstica wP (Pf) se llama clase de Pfa. La clase de Euleres (P ) =
qr wP (Pf) H n (M ) donde qr es un factor de normalizacin que depende
2r
slo de r . Su valor debe ser tal que la integral de (P ) en la esfera S debe
ser igual a 2.

27
Captulo 4
Characteristic classes in
associated bundles

4.1 Associated bundles. Fundamental vector

elds
In the following, W will be a smooth manifold upon which G acts eectively
on the left by an action denoted as (a, w) 7 aw. The bundle associated
to (P, , M, G) through the action of G on P is denoted (E, E , M, W, G),
with E = E W G = (E W )/, where is the equivalence relation
given by (u, w) (Ra u, a1 w), if a G. The equivalence class of (u, w) will
be denoted u w. The bre of E over m M will be denoted Em . Let
u Pm , w W, a G. They dene the following C -maps

u : W Em , a : W W, w : G W, wP : P E

given by u(w) = u w, a(w) = aw, w(a) = aw, wP (u) = u w. The maps u

and a are dieomorphisms.
Let A g. Then, A denes a fundamental eld on W, AW by AW w =
dw(A). Let us denote by F (W ) the R -vector space of fundamental vector
W
elds on W. If is clear that the map A g 7 A F (W ) is linear. For
each t R, we dene the map t : W W by t (w) = exp(tA)w. Then,
it is clear that t s = (s + t). Therefore, t is the ow of some vector
eld on W , whose value at w must be the tangent at t = 0 to the curve
(t)w = exp(tA)w which is dw(exp0A (0)) = dw(A) = AW w . Hence the
W
ow of A is t .

Proposition 3. Let A, B g, a G. Then

1. The map A g 7 AW F (W ) is one-to-one;
2. da AW a1 = (Ad(a)A)W .
3. [AW , B W ] = [A, B]W ;
Demostracin. (1) Let us suppose that A g is such that AW = 0. Then, for
any t R, t is the identity. In particular, t (w) = exp(tA)w = w. Since

28
the action ofG on W is eective, we conclude that exp(tA) = e, that is A = 0.
(2) Ifw W then (da AW a1 )w = da(AW 1
a1 w ) = da(d(a w)A) =
d(a a1 w)A. But if b G, we have (a a1 w)(b) = a(ba1 w) = (w ca )(b).
Hence

(da AW a1 )w = dw(Ad(a)A) = (Ad(a)A)W

w .
W
(3) We consider the vector eld dt B t . By the above result it is
W
equal to (Ad(exp(tA))B) . Therefore, its value at w is dw(Ad(exp(tA))B),
whose derivative with respect to t at t = 0 is dw(ad(A)B) = dw([A, B]) =
[A, B]W
w .

4.2 Associated connections

Let be a connection in P. It denes the horizontal distribution Q which
is invariant under right translations. For any uw E we dene a subspace
Huw Tuw E by

Huw = dwP (Qu ).

We must guarantee the consistency of this denition. If aG we have

(d (a1 w)P )(QRa u ) = ((d (a1 w)P ) d Ra )Qu

= d((a1 w)P Ra )Qu = dwP (Qu )
= Huw .

Now, if u Pm :

dE (Huw ) = d(E wP )(Qu ) = d(Qu ) = Tm M.


Hence, we have that dE 
Huw
: Huw Tm M is an isomorphism. Thus,
H
we have a horizontal lift of any X X(M ) to X X(E) such that X H
h
belongs to the distribution H and is E -related to X. Also, if X denotes the
P h H P
horizontal lift of X to P we have dw X = X w .
We have obviously Tuw E = Vuw E Huw . Therefore, we have projectors
h, v : T E T E such that h + v = id, h v = v h = 0, h(Tuw E) =
Huw , v(Tuw E) = Vuw E.

Denition 1. Let K (E) and Xm Tm X We say that K is parallel

with respect to Xm if dK(Xm ) HKm . If :]a, b[ M is a smooth curve,
we say that K is parallel along if K is parallel with respect to 0 (t) for
all t ]a, b[. Equivalently, the curve K :]a, b[ E is horizontal. Finally,
we say that K is parallel if dK(Tm M ) = HKm for all m M. Note that if
K is parallel, then it is parallel along all curves and also with respect to any
vector of T M.
Denition 2. We say that K (E) is 0-deformable with model w0 W
if for any point m M there is an open neighborhood U of m and a smooth
section s : U P such that K|U = s w0 .

29
 Let K (E) be 0-deformable with model w0 W. We dene the subsets
P P and G G as

P = {u P : u w0 = K(u) }, G = {a G : aw0 = w0 }.

G is the isotropy group of w0 and it is a closed subgroup of G. Then,

(P , , M, G) is a principal subbundle of P. In fact, for any u, v Pm , if
a G is the unique element that makes v = Ra u, we will have Km = v w0 =
Ra u w0 = u aw0 = u w0 . Hence, a G.
Theorem 4.2.1. Let K (E) be 0-deformable with model w0 W. Then,
there is a connection in P that makes K parallel.
Demostracin. Let Q be the horizontal distribution of any connection in
P . We dene a distribution Q in P by putting Qu = dRa (Qu ), where u
Pm , u Pm , and a G is such that Ra u = u. One proves easily that
this denition is consistent and that Q is invariant by right translations.
Therefore, it denes a connection in P. Let m M and u Pm . Then,

HKm = Huw0 = dw0P (Qu ) = dw0P (Qu ).

Let (t) P be the horizontal lift of a curve (t) in M such that (0) = u.
0 P 0 P 0 P
Thus, (0) Qu . We have dw0 ( (0)) = (w0 ) (0). But (w0 )(t) =
P 0
(t) w0 = (K )(t). Hence dw0 ( (0)) dK(Tm ), so that K is parallel.
E
Usually, the sections of fail to be parallel. We need a measure of this
phenomenon. Let X Tm M and let K (E). We dene X K VKm E,
the covariant derivative of K with respect to X by

X K = v(dK(X)).

Thus, K is parallel with respect to X i X K = 0.

Let mt M be a smooth curve, and let ut P be an horizontal lift of
mt . Since ut : W Emt is a dieomorphism, there is a curve wt W such
0 0 P 0 P 0
that Kmt = ut wt . Then dK(mt ) = dut (wt ) + dwt (ut ). Now, dwt (ut ) is
0 0
horizontal because ut Qut by hypothesis, and dut (wt ) Vut wt E = VKm E.
t
0
Therefore m0 K = dut (wt ).
t
We have also the covariant derivative of K with respect to a vector eld
X X(M ). It is the map X K : M T V such that

(X K)m = Xm K.

We are interested in the lack of integrability of the horizontal distribution

H. Let X, Y X(M ), let X h , Y h X(P ) be their horizontal lifts to P , and let
X H , Y H X(E) be their horizontal lifts to E. We have dwP X h = X H wP ,
P h h H H
for any w W. Therefore, dw ([X , Y ]u ) = [X , Y ]uw if u P. Thus

v([X H , Y H ]uw ) = v(dwP ([X h , Y h ]u )) = dwP (v([X h , Y h ]u )).

But

v([X h , Y h ]u ) = ([X h , Y h ]u )u = ((X h , Y h )u )u = dlu ((X h , Y h )u )

30
Therefore,

v([X H , Y H ]uw ) = d(wP lu )((X h , Y h )u ) = d(u w)((Xuh , Yuh )).

This denes a horizontal 2-form E in E with values in VE called the cur-

vature of the connection in E. It is given by
E
uw (X, Y ) = d(u w)(u (X, Y )),

where X, Y Tuw E and X, Y Tu P are such that dwP (X) = X, dwP (Y ) =

Y.

4.3 Connections in a vector bundle

Now W will be a real or complex k -dimensional vector space and G be a
closed subgroup of Aut(W ). Therefore g will be a subalgebra of End(W ).
The bundle P can be regarded at as a bundle of linear frames of E and we
will assume that P is endowed with a connection .
Let q -form on P with values in W. If a G, it makes sense to put
be a
a because a G acts naturally upon the result of acting upon vectors
q
or vector elds. We put Eq (P, W ) to denote the C (M )-module of q -forms
on P with values in W, that are equivariant. Equivariance means here that
Ra = a1 , if Eq q (P, W ). The subspace of Eq q (P, W ) of forms that are
q
horizontal will be denoted by B (P, W ).
q
Let (M, E) be the C (M )-module of q -forms on M with values in E.

It can be seen as the module of smooth sections of the bundle E T M
q
T M. Let (M, E). It denes a horizontal q -form on P with values
in W, (), by

()u (X1 , . . . , Xq ) = u1 (m (d(X1 ), . . . , d(Xq ))),

where u Pm and X1 , . . . , Xq Tu P. The form () is equivariant. In fact,

we have

(Ra ())u (X1 , . . . , Xq ) = ()Ra u (dRa (X1 ), . . . , dRa (Xq ))

= (Ra u)1 (m (d(X1 ), . . . , d(Xq )))
= a1 u1 (m (d(X1 ), . . . , d(Xq )))
= a1 (X1 , . . . , Xq ).

Conversely, let B q (P, W ). It denes an element q (M, E) by

m (X1 , . . . , Xq ) = u(u (X1 , . . . , Xq )),

where u Pm and d(Xi ) = Xi , i = 1, . . . , q.

It is easy to see that this
q
denition is consistent. In this manner, we see that the map : (M, E)
B q (P, W ) is an isomorphism.

31
 Now, let p (P, g)
and note that if A g, it acts naturally on W ,
q
so that it also makes sense to put A for (P, W ). Thus we dene the
q
product , for (P, W ), by means of

X
( )(X1 , . . . , Xp+q ) = sg( )(X 1 , . . . )(X (p+1) , . . . ).
(p,q)

If wj is a basis of W we can write = ei i , = wj j , where i , j (P ).

Thus

= ei (wj )i j .
It is easy to show that if both and are equivariant, then also is.

Proposition 4. Let 1 (P, g) and q (P, W ). Then

1. d( ) = d d.
2. We dene D = d + . Then D2 = .
3. Let be tensorial. Then
(D )u (X0 , . . . , Xq ) = (d)u (X0 u (X0 )u , . . . , Xq u (Xq )u ).

Demostracin. (1) Immediate.

(2) We have

D2 = D (d + ) = d( ) + d + ( )
Xn
= d d + d + ei (ej (wk ))i j k
i,j=1
n
1 X
= d + [ei , ej ](wk )i j k
2 i,j=1
1
= (d + [, ])
2
= .

(3) Let A g. Then ,

0 0
LA = (Rexp(tA) ) (0) = (exp(tA)) (0) = A.

Taking this into account, the proof is almost identical to that of Lemma
1.

Corollary 1. 1. Let Eq1 (P, g) be a connection in P. If B q (P, W ),

then D = d h.
2. D is tensorial.

32
 D instead of D if there is no risk of confusion.
In the following, we will put
Let (E). Then, it is an element of 0 (M, E) and denes an element
1 (M, E). It is given by = (1 D ). It is called the covariant
dierential of . If X X(M ), then X = ()(X) is called the covariant
derivative of with respect to X.
p
Let (M, E) and X1 , . . . , Xp X(M ). Then, one veries easily that

()(X1h , . . . , Xph ) = ((X1 , . . . , Xp )).

Thus, we have

(X ) = ()(X h ) = (D())(X h ) = (d()(X h ) = X h (()).

Let Eq q (P, g) be tensorial. Then, it denes a q -form in M with values in

E E , E , as follows. If m M, X1 , . . . , Xq Tm M and = u w Em
we put
E
m (X1 , . . . , Xq ) = u u (Xi , . . . , Xq )w,
where the Xi are such that d(Xi ) = Xi . It is clear that the choice of the Xi
is irrelevant. Let us see that the choice of the presentation = uw is also
irrelevant. If a G, we have

Ra u Ra u (dRa Xi , . . . , dRa Xq )a1 w = Ra u (Ra )u (X1 , . . . , Xq )a1 w

= Ra u Ad(a1 )u (X1 , . . . , Xq )a1 w
= Ra u a1 u (X1 , . . . , Xq )aa1 w
= u u (X1 , . . . , Xq )w.

In particular, we will use the form E obtained from by this process.

Theorem 4.3.1. Let (E), X, Y X(M ). Then:

1. The operator denes a connection in the sense of Koszul.
2. Under the identication of the vector space Tm Em with Em we have
X = v(d(X)).

3. X Y Y X [X,Y ] = E (X, Y ).
Demostracin. (1) Only one property of Koszul connections is not trivially
proved. Let f C (M ). Then

(X (f )) = X h ((f )) = X h ((f )()) = X(f )() + (f )X h (()).

Therefore, X (f ) = X(f ) + f X .
(2) We have

(X )u0 = Xuh0 (()) = (() ut )0 (0) = (u1 0

t mt ) (0).

Now, since ut : W Emt is a dieomorphism, there is some wt such that

ut wt = mt . Thus, u1 0
t mt = wt . Therefore, (X )u0 = w0 . Hence
(X )m = u0 ((X )u0 ) = u0 w00 . But this is equal to du0 (w00 ) under the

33
standard identication, and this is v(d(X)) as we know already (see com-
ments after Theorem 4.2.1).
(3) We have

(X Y ) = (((Y ))(X)) = ((Y ))(X h )

= (D(Y ))(X h ) = X h ((Y )) = X h (Y h ()).
Thus,

(X Y Y X [X,Y ] ) = [X h , Y h ]() [X, Y ]h ()

= ([X h , Y h ] [X, Y ]h )() = (v[X h , Y h ])().
As in the proof of Lemma 1, if A g we have LA () = A().
Therefore,

(v[X h ,Y h ])() = ([X h , Y h ])() = (X h , Y h ).

Now, if mM and m = um wm we have

1 ((X h , Y h ))m = um (um (Xuhm , Yuhm )()um )

= um um (Xuhm , Yuhm )wm

= E (X, Y )m

4.4 Linear connections

In the following, M will be ann-dimensional smooth manifold, G Gl(n; R)
will be a closed subgroup, and P will be a principal subbundle that consists
in a reduction of the structural group of L(M ), the principal bundle over M
of linear frames of T M, to the group G. The bundle E will be T M .
Let u Pm Lm (M ). Then, u = (u1 , . . . , un ) is a basis of Tm M. If
x = (x1 , . . . , xn ) Rn , then u x = ui xi Tm M.
We dene the canonical 1-form Eq (P, R ) by putting u (X) =
1 n

u1 (d(X)), for X Tu P. In fact, if a G, we have

(Ra )u (X) = Ra u (dRa X) = (Ra u)1 d(dRa (X)) = (a1 u1 )(d(X))
= a1 u (X),
so that is equivariant.
Let us interpret the value of (X). The vector d(X)
i i
can be expressed uniquely as d(X) = ui X for some real numbers X . Then
1 n
(X) = (X , , X ). Therefore, takes a vector X Tu P and gives the
components of d(X) in the basis u.
Let be a connection in P. It is called a linear connection in M. Of
course, since TM = E is a vector bundle, all of the results in the preceding
sections hold. Let us show now what is new in this case.
n B
First, to each R we associate a vector eld X(P ). If u Pm ,
B h B
we put u = (u )u , the horizontal lift of u Tm M to u. The are
called standard horizontal vector elds.

34
Proposition 5. 1. ( B ) = .
2. If a G, then dRa B Ra1 = (a1 )B .
3. If A g, then [A , B ] = (A)B .
Demostracin. (1) If uP we have u (uB ) = u1 d((u)hu ) = u1 (u) = .
(2) We have

(dRa B Ra1 )u = dRa (RBa1 u ) = dRa (Ra1 u )hRa1 u

= (Ra1 u )hu = (u a1 )hu

= (a1 )B
u.

(3) By the preceding result, we have

0
[A , B ]u = (dRa1
t
B
R a t )u (0),

where at = exp(tA). Thus

0 h 0
[A , B ]u = (at )B 0 h


u (0) = (u at )u (0) = (u (at ) (0))u ,

because the horizontal lift from Tm M to Tu P is a linear map. Finally,

(at )0 (0) = A and this entails the result.

The torsion form, Eq 2 (P, Rn ), of the linear connection is dened

as
= D = d h = d + .
Thus, if X, Y X(P ), we have (X, Y ) = d(X, Y )+(X)(Y )(Y )(X).
We will have
D = .
This equality is called the second Bianchi identity.
The torsion and curvature forms dene certain tensor elds on M as
follows. The torsion tensor eld,
T (T M (T M T M )) is the 2-form
1
in M with values in T M given by T = , that is

Tm (X, Y ) = u u (Xuh , Yuh ), for X, Y Tm M.

The curvature tensor eld, R is the 2-form in M with values in T M T M

given by R = E . We recall that this means

R(X, Y )Z = u u (Xuh , Yuh )(u1 Z), for X, Y, Z Tm M.

We already know that

R(X, Y )Z = X Y Z Y X Z [X,Y ] Z, X, Y, Z X(M ).

As for the torsion tensor we have

35
Proposition 6. If X, Y X(M ) we have
T (X, Y ) = X Y Y X [X, Y ].

Demostracin. We have

(X Y ) = (Y )(X h ) = X h ((Y )).

Now, ((Y ))u = u1 Y(u) = (Y h )u . Thus

(X Y Y X [X, Y ]) = X h ((Y h )) Y h ((X h )) ([X, Y ]h )

= X h ((Y h )) Y h ((X h )) (h[X h , Y h ])
= X h ((Y h )) Y h ((X h )) ([X h , Y h ])
= d(X h , Y h ) = D(X h , Y h ) = (X h , Y h ).

Therefore X Y Y X [X, Y ]) = 1 = T.

4.5 Characteristic classes in vector bundles

We have seen that if E is a vector bundle with connection , we can obtain,
from its form , a 2-form E in M which is a section of (T M T M )EE .
E
Our objective is to write in terms of the characteristic classes that we
dened in the rst chapter. The following property is immediate

Proposition 7. Let I p (G), with G a closed subgroup of Gl(W ). Let V be

any vector space isomorphic with W and K1 , . . . , Kp End(V ). Let h : W
V be an isomorphism such that Ai = h1 Ki h End(W ), i = 1, . . . , p,
belong in fact to g. Then (A1 , . . . , Ap ) does not depend on the choice of h,
that is if instead we use h0 = h j , with j G.
Thus, if K1 , . . . , Kp End(Em ) are such that u1 Ki u g, for some
u Pm we can write (K1 , . . . , Kp ) instead of (u1 K1 u, . . . , u1 Kp u),
because the result do not depend on the choice of u.
p
So let (P, g) be tensorial and X1 , . . . , Xp Tm M. Let u Pm
h h
and put A = u (X1 , . . . , Xp ) g. Then, if = u w Em we have
(X1 , . . . , Xp ) = u Aw = (u A u1 ). This denes an endomorphism
E

K of Em such that u1 K u = A g End(W ). Therefore, if i

mi (P, g), i = 1, . . . , p, are tensorial we can dene (1E , . . . , pE ) k (M ),
E E
with k = m1 + +mp , and it is clear that (1 , . . . , p ) = (1 , . . . , p ).
This is analogous to the relation between the determinant of an endo-
morphism and the determinant of its matrix in some basis: we usually do
not distinguish between both, and this by two good reasons: the rst one is
that the result do not depend on the chosen basis, and the second is that
frequently we are able to compute the determinant only by computing the
determinant of its matrix.

36
Bibliography
[War] Warner, Frank W., Foundations of Dierentiable Manifolds and Lie
Groups, Scott, Foresman and Company, Glenview, Illinois 1971.
[Dup] Dupont, J.L., Curvature and Characteristic Classes, Lecture Notes in
Mathematics 640, Springer-Verlag, Berlin 1978.

[GHV] Greub, W., Halperin, S. and Vanstone, R., Connections, Curvature

and Cohomology, vol. II, Academic Press, New York, 1973.
[KN] Kobayashi, S. and Nomizu, K., Foundations of Dierential Geometry,
vol. II, Interscience, New York, 1969.

37