Tesis

UNIVERSIDAD NACIONAL AUTNOMA DE MXICO
POSGRADO EN CIENCIAS
MATEMTICAS

FACULTAD DE CIENCIAS
SUPERVARIEDADES
QUE PARA OBTENER EL GRADO ACADMICO DE
MAESTRO EN CIENCIAS
P R E S E N T A
OSCAR FRANCISCO GUAJARDO GARZA
DIRECTOR DE LA TESIS: DR. GREGOR WEINGART
MXICO, D.F. FEBRERO, 2012
Este trabajo est dedicado a Paulina de la Luz Contreras Rosales.
Ella sabe por qu.
ndice general
Agradecimientos i
Introduccin iii
1. Superlgebra lineal 1
1.1. Superespacios vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Superlgebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3. lgebras exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3.1. Derivaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.2. Morsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4. Superlgebras tensoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4.1. Accin torcida de S
k
. . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2. Supervariedades 15
2.1. Supervariedades vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.1.1. Morsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2. Supervariedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2.1. Morsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.3. Supervariedades Z-graduadas . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.4. El superhaz tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.4.1. Derivaciones del lgebra (1M) . . . . . . . . . . . . . . . . . . . . . 25
2.4.2. La diferencial y la codiferencial de una superfuncin . . . . . . . . . . 28
2.4.3. La diferencial auxiliar . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3. Supergeometra diferencial 31
3.1. Superformas diferenciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.2. Superconexiones anes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.3. La superconexin de Levi-Civita . . . . . . . . . . . . . . . . . . . . . . . . . 35
A. Operadores diferenciales lineales 39
A.1. Conceptos fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
A.2. Jets de secciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Bibliografa 45
5
Agradecimientos
All that is gold does not glitter;
not all those who wander are lost;
the old that is strong does not wither,
deep roots are not reached by the frost.
J.R.R. Tolkien
Hace ya casi cuatro aos llegu a Cuernavaca a hacer una tesis de licenciatura. Despus de
un ao de lidiar con la geometra diferencial present esa tesis y entr a estudiar la maestra.
Hace casi dos aos que empec a trabajar en esta tesis. Ya iba siendo hora de que tambin
la presentase.
Cuatro aos es un tiempo muy corto para estudiar matemticas; pero tambin es un
periodo muy largo para conocer gente. Una buena parte de esas personas que he conocido en
cuatro aos ha sido fundamental para no volverse loco estudiando matemticas; y tambin
para agregar a algunas de esas personas al acervo de amigos. Este trabajo es un humilde y
merecido homenaje a todas esas personas; las de aqu y las de otros lados. Desafortunada-
mente, una lista detallada y completa est fuera del propsito de este trabajo, as que me
limitar a hacer un esbozo de tal lista.
Y las primeras personas que deben aparecer en esa lista, completa o no, son Oscar y
Lupina, mis paps. Nunca podr agradecerles sucientemente por todo. Por eso, para no
vanalizar ese agradecimiento, dejo esto como est. Ustedes saben que los quiero un montn
y que son el nico jurado que me preocupo por impresionar.
Despus deben aparecer aquellos que ya estaban en la lista preeliminar, gente que me
recibi calurosamente ac y gente que me doli dejar all. Por mencionar a algunos, ellos
son Paulina, Liadibinka, Mileiby, Malena, Rafa+Pao, Hctor, Erndira, Samuel, Jairo. . . y
un largusimo etctera.
Luego, las personas que conoc en este camino que llega a un claro pero an se extiende
a lo lejos. La mayor parte de estas personas son amigos que estn en la misma sintona y
otros que afortunadamente no lo estn. Ahora mismo vienen a mi mente Horacio, Haydee,
Jos Luis, Carlos Cabrera, Marina, Gerino, Too, Eli, Lula, Luis F., el Frank, Jess, Jannina,
Mark, Cheques, Agustn, Carolina, Noem, Adrin, Ramiro. . . y as podramos continuar ad
ternam.
A las personas de las listas incompletas anteriores quiero agradecerles por estar ah para
hablar de mates, para salir por una chela antes/despus de las matemticas; a otras por no
estudiar matemticas y permitirme tomarme un descanso en su compaa; y desde luego, a
todos ellos les agradezco su afabilidad y su tiempo para aguantar mis debrayes extraos y
ms que nada, les agradezco haberme honrado con su amistad. Todos ustedes, estn o no
i
ii
sus nombres escritos ah, son indirectamente contribuyentes a la realizacin de este trabajo
y hacen de mi vida una pelcula extraa cuyo libreto an no es claro pero cuyo reparto es
excepcional; por todo lo cual les quedo y les quedar siempre agradecido.
Desde luego tengo que agradecer a dos personas muy agradables, comprensibles, pacientes
y no siempre desinteresadas: Bao y Boris, mis sobrinos postizos este ao; ellos aguantaron la
mayor parte de la neura generada por escribir este trabajo. Y por eso debo repetir a Haydee
Aguilar y a Jos Luis Cisneros, por la conanza con que me dejaron a cargo de sus enanos
peludos. Gracias por dejarme conocerlos.
Agradezco tambin a mis sinodales por la paciencia con que me guiaron por este cami-
nito de la tesis; por sus preguntas, comentarios y sugerencias y tambin por el inters que
mostraron al leer este trabajo. Ellos son Adolfo Snchez, Gabriel Ruiz, Ramiro Carrillo y
Carlos Villegas.
Last but not least: a Gregor Weingart, el Goyo, por ayudarme a entender que las ma-
temticas son una extraa aleacin entre poesa, arte y ciencia, todo mezclado mediante el
placer y la diversin que deja hacer matemticas.
Oscar Guajardo
Cuernavaca, abril de 2012
Introduccin
And I wont worry about a thing
because weve got it made;
here on the inside, outside so far away.
Ian Anderson
El propsito de este trabajo es estudiar las bases de la supergeometra diferencial desde
un punto de vista clsico; esto es, nuestro enfoque plantea la teora de supervariedades y
transformaciones supersuaves en trminos diferenciales clsicos.
En la literatura disponible sobre el tema, la categora de supervariedades tiene como
objetos espacios anillados donde la gavilla de estructura es un lgebra superconmutativa y
los morsmos son homomorsmos de gavillas de estos espacios anillados. En este trabajo
los objetos de estudio son haces de lgebras superconmutativaslo cual implica que son
haces vectoriales, para los cuales existe una teora extensay los morsmos son operadores
diferenciales. Es en este sentido que el enfoque del trabajo es clsico puesto que utilizamos
conceptos y tcnicas usuales y muy conocidas en geometra diferencial.
Nuestras razones para emprender un estudio desde primeros principios de la supergeo-
metra son principalmente dos:
es posible probar resultados importantes acerca de estos objetos sin utilizar coordena-
das locales, lo cual simplica las pruebas y el tratamiento;
fundamentar el estudio de la supergeometra diferencial (entendida como el estudio de
invariantes diferenciales locales, e.g. la curvatura) utilizando el lenguaje usual de la
geometra diferencial.
Adems de estas razones, consideramos que aadir un enfoque a una teora extensamente
estudiada (adems de no ser superuo) permite buscar conexiones entre diferentes reas de
las matemticas. En el captulo 2 probamos que el enfoque de espacios anillados y nuestro
enfoque son equivalentes, por lo que el punto de vista de este trabajo no representa prdida
alguna de generalidad en el estudio de la supergeometra. Debemos destacar que no hemos
encontrado la prueba de esta equivalencia en la literatura matemtica hasta la fecha de
redaccin de este trabajo.
Si bien la teora de supervariedades tiene como motivacin entender modelos que expli-
can fenmenos en la mecnica cuntica, sentimos que estos objetos son matemticamente
interesantes por s mismos ya que representan la instancia ms sencilla de los espacios no
conmutativos (cuyo estudio tambin est motivado por algunos modelos cunticos). La ge-
neralidad de este estudio no es solamente para obtener resultados particulares a partir de
iii
iv
teoremas ms generales; es una manera muy efectiva de desarrollar nuestro entendimiento
de estos objetos. En particular, las supervariedades estn muy relacionadas con el estudio
de ecuaciones diferenciales, ya que las aplicaciones supersuaves son operadores diferenciales
lineales.
La denicin clsica de una variedad diferenciable es en trminos de un atlas maximal,
que consiste en una cubierta abierta U
de un espacio topolgico M y homeomorsmos

locales
: U
, donde V
R
n
es abierto; adems se requiere que la aplicacin
:=
(U
(U
)
entre abiertos de R
n
sea un difeomorsmo. Otro enfoque consiste en estudiar el lgebra
(
(M) de funciones diferenciables f : M R y denir una variedad diferenciable como

el par (M, (
(M)). Estas dos deniciones son equivalentes (cf. [6, cap. 7]). De hecho, en
el enfoque algebraico el objeto importante es un lgebra a partir de la cual se construye
la variedad (cf. [6, caps. 2-4]). ste es el enfoque de la geometra no conmutativa ([4, sec.
1.3]), donde las propiedades topolgicas y geomtricas del espacio se estudian a partir de las
propiedades estructurales del lgebra. En este trabajo usaremos un enfoque mixto entre el
enfoque local y el algebraico.
La meta a largo plazo de este trabajo es continuar con el estudio de estructuras geo-
mtricas en supervariedades, utilizando el enfoque clsico desarrollado a lo largo de nuestro
estudio. Creemos que este enfoque presenta la gran ventaja de replantear la teora en tr-
minos muy accesibles, propiedad muy til para iniciar el estudio de estos objetos y tambin
para tomarlo como punto de partida en investigaciones geomtricas.
Esquema de contenido
El primer captulo sienta las bases algebraicas para el estudio de la supergeometra: super-
espacios vectoriales y superlgebras asociativas. Estudiamos el espacio de superderivaciones
de una superlgebra y, particularmente, la estructura Z
2
-graduada del lgebra exterior de
un espacio vectorial de dimensin nita. Finalmente estudiamos el lgebra tensorial de un
superespacio vectorial y las dos superlgebras relevantes para la geometra: la exterior y la
simtrica.
En el captulo dos empezamos el estudio de las supervariedades y sus transformaciones.
Denimos una categora adecuada para la supergeometra y de hecho probamos en el teore-
ma 2.16 que el enfoque usualdonde la categora de supervariedades consiste de gavillas y
morsmos de gavillases equivalente al enfoque de este trabajo. Tambin introducimos una
clase ms restringida de supervariedades (que llamamos supervariedades Z-graduadas). As
mismo, estudiamos el superhaz tangente y damos una descripcin algebraica de este obje-
to caracterizndolo como el espacio de superderivaciones del lgebra de estructura de una
supervariedad; despus de lo cual construimos las aplicaciones supertangentes entre estos
espacios; estas aplicaciones estn muy relacionadas con las supervariedades Z-graduadas.
El ltimo captulo sienta las bases, dado el enfoque de este trabajo, para el estudio de
la supergeometra diferencial. Esto incluye el estudio de superformas diferenciales, para las
cuales extendemos el producto cua y la derivada exterior; y el de las superconexiones anes.
Tambin introducimos las supermtricas riemannianas pares, basados en un trabajo extenso
v
sobre el tema ([3]) y probamos la existencia y unicidad de la superconexin de Levi-Civita.
Por ltimo extendemos las simetras del tensor de curvatura superriemanniano.
El apndice contiene un tratamiento breve y conciso de los conceptos importantes de la
teora de operadores diferenciales lineales en los cuales se basa el enfoque geomtrico de este
trabajo.
Captulo 1
Superlgebra lineal
En este captulo deniremos los objetos algebraicos fundamentales de este trabajo: super-
espacios vectoriales y superlgebras asociativas. Todos los espacios vectoriales considerados
son reales y de dimensin nita, a menos que se especique lo contrario.
1.1. Superespacios vectoriales
1.1 Denicin. Un superespacio vectorial es un espacio vectorial V con una Z
2
-graduacin
V = V
0
V
1
tal que el espacio de endomorsmos tiene tambin una Z
2
-graduacin End(V ) =
End
0
(V ) End
1
(V ), donde
End
0
(V ) = End(V
0
) End(V
1
) y End
1
(V ) = Hom(V
0
, V
1
) Hom(V
1
, V
0
).
A los elementos de V
0
se les llama elementos pares y a los de V
1
, elementos impares.
Si la dimensin de los dos sumandos es nita, dimV
0
= n y dimV
1
= m, decimos que el
superespacio tiene dimensin par n y dimensin impar m. La superdimensin de V se
denota por (n[m). La funcin que a un elemento de V
j
le asigna la clase j Z
2
es la llamada
paridad del elemento, denotada por [a[. Notemos que solamente est denida en el conjunto
(V
0
V
1
) 0; a los elementos de este conjunto se les llama elementos homogneos.
1.2 Ejemplo. Cualquier espacio vectorial V es un superespacio si denimos V
0
= V y
V
1
= 0.
1.3 Ejemplo. Sea C el campo complejo considerado como un espacio vectorial real. La
descomposicin C = RiR le da al campo complejo una estructura de superespacio vectorial
sobre R de superdimensin (1[1).
1.4 Ejemplo (El superespacio R
m|n
). La suma directa de los espacios vectoriales R
m
y R
n
,
considerado como un superespacio vectorial, se denota por R
m|n
.
1.5 Ejemplo. Si V y W son superespacios vectoriales, entonces V W tambin lo es, y
(V W)
l
= V
l
W
l
, l Z
2
.
1.6 Observacin. Si V es un superespacio vectorial, su dual tambin lo es y V
= V
0
V
1
.
1
2 Captulo 1. Superlgebra lineal
Denamos ahora la categora de superespacios.
1.7 Denicin. La categora SVect de superespacios vectoriales tiene como objetos a todos
los espacios V = V
0
V
1
Z
2
-graduados y como morsmos a todas las transformaciones lineales
de la forma
T =
_
T
00
T
01
T
10
T
11
_
, (1.1)
donde T
ij
: V
i
W
j
. A los morsmos que preservan la graduacin, i.e. T(V
i
) W
i
se les
llama morsmos pares y a aquellos que invierten la graduacin, i.e. T(V
i
) W
i+1
se les
llama morsmos impares.
En esta categora, el espacio de morsmos Hom(V, W) tiene una descomposicin de super-
espacio vectorial Hom
0
(V, W) Hom
1
(V, W), donde Hom
0
(V, W) es el espacio de morsmos
pares y Hom
1
(V, W) el de morsmos impares.
1.8 Observacin. Si V = V
0
V
1
es un superespacio vectorial de superdimensin (n[m);
sean v
1
, . . . v
n
una base de V
0
y w
1
, . . . w
m
una base de V
1
. Entonces todo elemento v V se
puede escribir como combinacin lineal de los v
i
y los w
j
; en otras palabras, una base de V
es equivalente a un sistema de coordenadas lineales (i.e. una base de V
) x
1
, . . . x
m
,
1
, . . .
m
.
Una Z
2
-graduacin en un espacio vectorial es equivalente a lo siguiente:
1.9 Proposicin. Un espacio vectorial es Z
2
-graduado si y slo si existe un automorsmo
lineal T GL(V ) tal que T
2
= id
V
.
Demostracin. Si V = V
0
V
1
, denimos T(v) = (1)
|v|
v en elementos homogneos. Enton-
ces T es diagonalizable puesto que sus valores propios son 1 y 1 y tiene la forma
_
id
V
0
0
0 id
V
1
_
Por lo tanto, T
2
= id
V
.
Si T es un automorsmo lineal tal que T
2
= id
V
entonces su polinomio mnimo es
(x 1)(x + 1) y es por lo tanto diagonalizable. Los espacios propios de V con respecto a T
son V
:= v V [ T(v) = v. Esto da una descomposicin V

+
V
.
La descomposicin de End V est dada por
End
+
V = A End V [ T A = A T y End
V = A End V [ T A = A T .
Esto prueba que T induce una estructura Z
2
-graduada en V .
1.2. Superlgebras
Notemos que adems de su estructura como superespacio vectorial, el espacio de endomor-
smos End(V ) tiene una multiplicacin dada por la composicin de transformaciones. Esta
estructura multiplicativa tambin es Z
2
-graduada. Esta lgebra es un ejemplo de una super-
lgebra.
1.2. Superlgebras 3
1.10 Denicin. Una superlgebra A es un lgebra sobre R tal que el espacio vectorial
A es un superespacio vectorial, i.e. A = A
0
A
1
y la multiplicacin es Z
2
-graduada, i.e.:
A
i
A
j
A
i+j
. El lgebra es superconmutativa si para elementos homogneos a y b de A
se tiene ab = (1)
|a||b|
ba.
1.11 Observacin. Si A = A
0
A
1
es una superlgebra, entonces A
0
es un lgebra y A
1
es un A
0
-bimdulo.
1.12 Ejemplo. Como ya mencionamos, el lgebra de endomormos de un superespacio
vectorial es una superlgebra.
1.13 Ejemplo. Sea V un espacio vectorial de dimensin nita. El lgebra exterior
_
V es
un lgebra superconmutativa: si v
1
, . . . , v
n
es una base de V , entonces
v
i
1
. . . v
ir
[1 i
1
, . . . , i
r
n, 1 r n
es una base de
_
V y v
i
v
j
= v
j
v
i
, y
_
k
(V )
_
r
(V )
_
k+r
(V ), con k, r Z
2
.
La descomposicin como espacio graduado es (
_
V )
0
=
kZ
_
2k
V y (
_
V )
1
=
kZ
_
2k+1
V ,
donde
_
r
V denota las formas de grado r.
El ejemplo anterior es fundamental en la teora de supervariedades, ya que el lgebra de
estructura de una spervariedad es localmente isomorfa al lgebra de secciones de un haz
exterior sobre una variedad diferenciable M (denicin 2.6).
1.14 Ejemplo. Si A es un lgebra Z-graduada (i.e. A =
nZ
A
n
y A
n
A
m
A
n+m
), se puede
construir una superlgebra

A de la siguiente manera: si A
+
:=
nZ
A
2n
y A
:=
nZ
A
2n+1
,
entonces

A := A = A
+
A
y la multplicacin Z-graduada induce una multplicacin Z

2
-
graduada en

A. Si A es conmutativa y se dene la multiplicacin en

A como ab = (1)
|a||b|
ba,
con a y b homogneos, entonces

A es superconmutativa.
Este ejemplo hace notar la diferencia entre lgebras superconmutativas y superlgebras
conmutativas.
1.15 Ejemplo. Sea (V, g) un espacio con producto interno g, i.e. g Sym
2
V
. El lgebra
de Cliord de (V, g) es el cociente
Cl(V ) :=
V/ x y + y x 2g(x, y)1[x, y V ,
donde

V denota el lgebra tensorial de V y 1 es la unidad de esta lgebra. El lgebra
tensorial de V es Z-graduada, por lo que es posible hacer la construccin del ejemplo anterior.
Notemos que el ideal mediante el cual se construye el lgebra de Cliord no es Z-graduado,
pero s Z
2
-graduado; esto es: si x tiene grado k y y tiene grado r, entonces x y y y x
tienen grado k + r, tanto en Z como en Z
2
; as, la clase de x y tiene grado k + r m od 2
en Cl(V ).
Las superlgebras tienen una caracterizacin muy til:
1.16 Proposicin. Un lgebra A es una superlgebra si y slo si existe un automorsmo de
lgebras tal que
2
= id
A
.
Demostracin. En este caso es el automorsmo lineal de la proposicin 1.9. Si a y b son
elementos de A entonces
(ab) = (1)
|ab|
ab = (1)
|a|
a(1)
|b|
b = (a)(b).
Por lo tanto, es un automorsmo de lgebras.
Por otro lado, si es un automorsmo de lgebras tal que
2
= id
A
entonces su polinomio
mnimo es (x 1)(x + 1), que tiene todas sus races en R y son no nulas; por lo tanto,
es invertible. Si se denen los subespacios A
r
= a A[(a) = (1)
r
a; r Z
2
, entonces
A = A
0
A
1
. Si x A
0
A
1
, denimos [x[ como el valor propio asociado a x. Para ver que
la multiplicacin es graduada, observemos que
(1)
|ab|
ab = (ab) = (a)(b) = (1)
|a|
a(1)
|b|
b = (1)
|a||b|
ab,
lo cual implica A
r
A
s
A
r+s
, con r y s elementos de Z
2
.
Entre las transformaciones lineales de un lgebra A hay que destacar las derivaciones,
pues relacionan la estructura lineal de A con su estructura multiplicativa mediante la regla
de Leibniz.
1.17 Denicin. Sea A un lgebra. Una derivacin de A es una transformacin lineal
D : A A que cumple la regla de Leibniz :
D(ab) = D(a)b + bD(a),
para cualquier par de elementos a y b de A. El espacio de derivaciones se denota por der(A).
Las derivaciones de un lgebra asociativa A con el corchete [D,

D] = D
D

DD forman
un lgebra de Lie y de hecho es el lgebra de Lie de Aut(A), los automorsmos de A como
lgebra asociativa.
1.18 Lema. Sean A un lgebra asociativa de dimensin nita sobre R y
Aut(A) := F GL(A)[F(ab) = F(a)F(b)
el grupo de automorsmos A. Entonces der(A) = aut(A), donde aut(A) es el lgebra de Lie
de Aut(A).
Demostracin. Primeramente, notemos que Aut(A) es un subgrupo de GL(A). Sea :
(, ) Aut(A) una curva tal que (0) = id
A
. Entonces, para todo a, b A
d
dt
0
((t))(ab) =
d
dt
0
_
(t)(a)(t)(b)
_
= lm
t0
1
t
_
(t)(a)(t)(b) ab
_
= lm
t0
1
t
_
(t)(a)(t)(b) + (t)(a)b (t)(a)b ab
_
= lm
t0
1
t
_
(t)(a)((t)(b) b) + ((t)(a) a)b
_
=
_
d(t)
dt
0
(a)
_
b + a
_
d(t)
dt
0
(b)
_
;
1.3. lgebras exteriores 5
esto es: la derivada de una familia uniparamtrica de automorsmos de A es una derivacin
en A.
Si el lgebra A es graduada, las derivaciones que preservan la graduacin son importantes.
1.19 Denicin. Sea A un lgebra Z-graduada (resp. Z
2
-graduada) y D una derivacin en
A. Los espacios
der
Z
(A) := D der(A)[D(A
n
) V
n
, n Z
der
Z
2
(A) := D der(A)[D(A
n
) V
n
, n Z
2
son, respectivamente, las derivaciones que preservan la Z-graduacin y las que preservan la
Z
2
-graduacin.
Si A es una superlgebra, entonces el espacio de derivaciones tiene tambin una descom-
posicin der
+
A der
A.
1.20 Denicin. Sea A una superlgebra. Los espacios
der
+
(A) :=
_
D der(A)[D(A
) (A
)
_
der
(A) :=
_
D der(A)[D(A
) (A
)
_
son los subespacios de derivaciones pares y derivaciones impares o antiderivaciones,
respectivamente. El espacio de superderivaciones de A es der(A) = der
+
(A) der
(A).
1.21 Observacin. Los espacios der
Z
2
(A) y der
+
(A) son iguales. Esto es
der(A) = der
Z
2
(A) der
(A).
1.3. lgebras exteriores
Las sper lgebras relevantes en el estudio de las sper variedades son sper conmutativas,
nitamente generadas y libres. Esto es, son lgebras exteriores de espacios vectoriales de
dimensin nita. Por ello es importante estudiarlas con ms detalle.
Si V es un espacio vectorial de dimensin nita m, vimos en el ejemplo 1.13 que su
lgebra exterior es un lgebra superconmutativa.
Denotemos por
_
1
V el subespacio de multivectores de grado mayor o igual que 1. Este
espacio es un ideal de
_
V , ya que esta lgebra est generada por los elementos de V , los
cuales tienen grado 1. Para p 2 denimos
_
p
V := (
_
1
V )
p
; esto es, el subespacio
generado por formas de grado al menos p. Estos espacios son tambin ideales y de hecho
forman una ltracin del lgebra exterior
V =
0
V
1
V
m
V. (1.2)
Notemos que si ,
_
1
V , entonces es invertible, ya que su parte de grado 0 es no nula
y por lo tanto invertible (ya que es un nmero real). As mismo, si es invertible entonces
no es nilpotente y por lo tanto no est en el ideal
_
1
V .
1.22 Proposicin. Sea V un espacio vectorial de dimensin nita m y
_
V su lgebra
exterior. Entonces
_
1
V es el nico ideal maximal de
_
V .
Demostracin. Como todo elemento de
_
1
V es nilpotente, obtenemos que
_
V/
_
1
V

=
R, por lo cual este ideal es maximal. Si I es un ideal (maximal o no) de
_
V tal que
I ,
_
1
V , entonces I contiene elementos invertibles y por lo tanto no es un ideal propio.
As, todo ideal propio est contenido en
_
1
V , que es maximal. En particular, cualquier
otro ideal maximal I de
_
V coincide con
_
1
V .
1.23 Proposicin. Una forma est en el ideal
_
1
V si y slo si existe un entero positivo
r y una forma en el subespacio
_
r
V tal que = 0.
Demostracin. Basta probar la proposicin para elementos homogneos, ya que toda forma
es suma de componentes homogneas.
Si es homogneo, digamos
_
k
V , entonces cualquier forma en
_
mk+1
V cumple
que = 0. Por lo tanto, r mk + 1 en este caso.
Si r y satisfacen que
_
r
V y = 0, entonces es una forma de grado mayor o
igual que mr + 1.
Usando la notacin del ejemplo 1.14, denotamos por
_
+
V y
_
V los subespacios de
formas pares e impares, respectivamente; as mismo, la notacin
_
p,
V denota el espacio
de formas de grado al menos p que son tambin elementos de
_
V .
1.24 Denicin. Sea V un espacio vectorial de dimensin nita y A =
_
V su lgebra
exterior. El mapeo :
_
V
_
V/
_
1
V dado por () = +
_
1
V se llama mapeo de
aumentacin.
1.25 Nota. Si
_
1
V entonces () = 0 y por lo tanto
_
1
V = ker . Esto quiere decir
que un elemento de un lgebra exterior es invertible si y slo si () ,= 0. Adems, es un
homomorsmo unital de lgebras y es suprayectivo.
1.3.1. Derivaciones
Ahora estudiaremos el espacio de derivaciones de un lgebra exterior. Sea V un espacio
vectorial de dimensin nita m. Trabajaremos con el lgebra exterior del espacio dual de V ,
_
V
.
1.26 Lema. Sean D y

D derivaciones en el lgebra
_
V
. Si D[
V
=

D[
V
entonces D =

D.
Esto es, toda derivacin en un lgebra exterior est determinada por su accin en los gene-
radores.
Demostracin. Sea F := D
D, y sean y elementos arbitrarios de V
. Como F tambin
es una derivacin, entonces
F( ) = F() + F() = (D

D)() + (D

D)()
= D()

D() + D()

D()
= 0,
ya que D[
V
=

D[
V
. Como V
genera
_
V
como lgebra, tenemos que D =

D.
Recordemos que si
y v V se dene v como el tensor cuyo primer argumento

es v.
1.27 Lema. Sea v
1
, . . . , v
m
una base de V y dv
1
, . . . , dv
m
la base dual asociada. Si
F : V
es lineal y
D
F
:=
m
=1
F(dv
) (v
)
entonces D
F
est denida en todo
_
V
y es una derivacin.
Demostracin. Basta probar el lema para y elementos de V
. Lo primero que hay que

notar es que v
es una antiderivacin, ya que si w es cualquier vector en V , tenemos

(v
)( )(w) := ( )(v, w) = (v
)(w) (w)(v
)
=
_
(v
) (v
)
_
(w).
Al insertar este desarrollo en D
F
( ) obtenemos
D
F
( ) =
m
=1
_
F(dv
) (v
) F(dv
) (v
)
_
=
m
=1
_
F(dv
) (v
) + F(dv
) (v
)
_
= D
F
() + D
F
()
= F() + F().
Esto prueba que D
F
extiende F a toda el lgebra
_
V
(ya que V
genera esta lgebra) y

que es una derivacin.
1.28 Corolario. Si F = id
V
entonces N := D
F
es el operador N[
k
V
= k id
k
V
y se le
llama operador de nmeros.
Demostracin. Si = dv
1
dv
k
es una k-forma bsica, entonces
N() =
m
=1
dv
(v
) =
m
=1
dv
(v
)(dv
1
dv
k
)
=
m
=1
dv
=1
(1)
(dv
dv
k
).
En esta ltima suma solamente aparecen los sumandos con ndice
tales que
= y no
aparecen trminos dv
, por lo tanto
N() =
m
=1
dv
(1)
dv
1
dv
k
=
m
=0
(1)
+
dv
1
dv
dv
k
= k;
la segunda igualdad es cierta porque dv
aparece en el lugar
en el producto dv
1

dv
dv
k
; la tercera igualdad es cierta porque en la segunda suma aparecen todos
los ndices
1
, . . . ,
k
y solamente para esos ndices el producto es distinto de cero. Como
toda k-forma es combinacin lineal de las formas dv
1
dv
k
, obtenemos la igualdad
propuesta.
1.29 Teorema. Sean V un espacio vectorial de dimensin nita m y A =
_
V
el lgebra
exterior de su espacio dual. Entonces
der(A)
= V
/
_
m
V
_
, (1.3)
donde
_
V es el espacio de formas impares (ejemplo 1.14).

Demostracin. Sea D una derivacin en A y sea F = D[
V
. Entonces F = F
+
+F
, donde
F
: V
.
Si se dene D
F
como en el lema 1.27, entonces D
F
(dv
) = F
(dv
). Si es cualquier
elemento de V
, entonces 0 = D
F
( ) = F
() + F
() . Por lo tanto, la
derivacin D
F
es un elemento de V
_
.
Examinemos ahora F
+
. Si D
F
+ es una derivacin, tenemos que D
F
+( ) = F
+
()
+ F
+
() = 2 F
+
() = 0, ya que F
+
()
_
+
V
. Si es tambin un elemento de
V
, entonces tenemos la siguiente identidad de polarizacin:

0 = ( + ) F
+
( + ) + ( ) F
+
( ),
lo cual implica la igualdad
F
+
() = F
+
(). (1.4)
Para probar (1.3) calculamos
(mN)F
+
() =
m
=1
v
_
dv
F
+
()
_
=
m
=1
v
_
F
+
(dv
)
_
(por la igualdad (1.4))
=
m
=1
v
_
F
+
(dv
)
_
=
m
=1
(v
) F
+
(dv
) + (v
F
+
(dv
))
= F
+
() +
m
=1
(v
F
+
(dv
)).
Si denimos :=
m
=1
(v
F
+
(dv
)), entonces vemos que es una forma de grado impar.

La ecuacin nal es
F
+
() = (mN + 1)
1
. (1.5)
Esto es, F
+
el producto cua con una forma de grado impar. Esto prueba que toda derivacin
que manda los generadores en formas de grado par, es el producto cua con una forma de
grado impar. La restriccin sobre el grado de viene naturalmente de la denicin, ya que
v no puede ser una forma de grado maximal para ningn v V y ningn A.
Por otro lado, si es una forma de grado impar, entonces
F() :=
1
2
[, ] =
1
2
( )
es una derivacin en A que coincide con el producto cua con en formas impares y es cero
en formas pares.
El espacio de derivaciones graduadas es importante en el estudio de sper variedades ya
que con este espacio y su complemento podemos denir los sper campos vectoriales, que
corresponden a derivaciones en el lgebra de sper funciones.
1.30 Corolario. Si A =
_
V
entonces
der
Z
2
(A)

= V
der
Z
(A)

= V V
1.31 Proposicin. Si A es una sper lgebra entonces der

Z
2
(A) = der
+
(A).
1.32 Teorema. El espacio de sper derivaciones de
_
V
es isomorfo a V
_
V
.
1.3.2. Morsmos
Sea ahora W un espacio vectorial de dimensin n. Estudiaremos el espacio de morsmos de
lgebras sper conmutativas que preservan la unidad entre
_
V
y
_
W
.
1.33 Denicin. Sean A y B lgebras con unidad. Un homomorsmo unital de lgebras
es una aplicacin lineal F : A B tal que F(ab) = F(a)F(b) y F(1) = 1.
Si A y B son lgebras exteriores entonces, al igual que en el caso de las derivaciones, un
tal morsmo est determinado por su accin en los generadores.
1.34 Lema. Sean F,

F :
_
V

_
W
homomorsmos de lgebras sper conmutativas con

1. Si F[
V
=

F[
V
, entonces F =

F
Demostracin. Consideremos el homomorsmo G = F

F restringido a V
. Entonces
G(a b) = G(a) G(b) = F(a) F(b) F(a)

F(b)

F(a) F(b) +

F(a)

F(b)
= 0.
Como todo elemento
_
V
es combinacin lineal de monomios en los elementos de V
,
de la igualdad anterior se concluye que G = 0 y por lo tanto que F =

F.
1.35 Proposicin. El espacio Hom(
_
V
,
_
W
) de sper homomorsmos unitales entre

las lgebras
_
V
y
_
W
es isomorfo a V
_
1
W
y su descomposicin como sper espacio

vectorial est dada por Hom
(
_
V
,
_
W
= V
_
1,
W
Demostracin. Si F es un homomorsmo par, entonces F

1
:= F[
V
es una transformacin
lineal F
1
: V
_
1,
W
, ya que los generadores son elementos impares. Si F es impar,

entonces F
1
: V
_
2,+
W
.
1.36 Observacin. El espacio de homomorsmos pares Hom
+
(
_
V
,
_
W
) consiste de
los morsmos que preservan la Z
2
-graduacin.
1.37 Corolario. El espacio de morsmos Z-graudados Hom
Z
(
_
V
,
_
W
) es isomorfo a
V W
.
1.38 Observacin. Los morsmos de lgebras exteriores preservan la ltracin (1.2); esto
se debe a que si =
1

k
es un elemento homogneo, entonces un morsmo
satisface () = (
1
) (
k
), donde los
son generadores.
Demostracin. Si :
_
V

_
W
es un morsmo unital y est en el ideal

_
1
V
entonces existe un entero positivo r y una forma en el subespacio

_
r
V
tal que = 0,
por la proposicin 1.23. Por lo tanto, obtenemos 0 = (0) = () (). Esto es, () es
nilpotente. Por lo tanto, ()
_
1
W
.
1.4. Superlgebras tensoriales
Para espacios vectoriales, el producto tensorial es una construccin universal a travs de la
cual se factorizan mapeos multilineales. Tomando cocientes por ideales adecuados del lgebra
tensorial de un espacio vectorial V , denotada por
V , se construyen las lgebras exterior

y simtrica de un espacio vectorial, las cuales son tambin construcciones universales y a
travs de las cuales se factorizan mapeos alternantes y simtricos, respectivamente (cf. [7,
caps. 1-2]).
La categora de superespacios vectoriales tambin tiene denido un producto tensorial
y las construcciones algebraicas siguen siendo vlidas, pero en este caso hay que tomar en
cuenta la regla de signos que explicamos a continuacin. Para ms detalles, consultar [10,
sec. 3.1].
Para espacios vectoriales, existen isomorsmos cannicos
(V W) U

= V (W U), y V W

= W V.
Estos isomorsmos tambin son vlidos en la categora de superespacios vectoriales, pero el
segundo involucra la siguiente
1.39 Regla de signos. Si U y V son superespacios vectoriales y u U, v V elementos
homogneos, entonces el mapeo C
U,V
: U V V U dado por C
U,V
(uv) = (1)
|u||v|
v u
es un isomorsmo.
1.4. Superlgebras tensoriales 11
Hay que notar que C
U,V
C
V,U
= id
UV
.
En el caso U = V , el isomorsmo C
V,V
:
2
V
2
V que manda uv en (1)
|u||v|
vu
nos permite denir las lgebras exterior y simtricas Z
2
-graduadas. Para esto necesitamos la
siguiente
1.40 Denicin. Sea A un lgebra Z
2
-graduada. Un ideal I A es homogneo si para
todo a I, con a = a
0
+ a
1
, se tiene que a
0
y a
1
tambin estn en I.
Esto es: un ideal homogneo es un subespacio Z
2
-graduado de A tal que I
r
= I A
r
, con
r Z
2
.
Cuando el espacio vectorial V sea claro, denotaremos el isomorsmo C
V,V
solamente por
C.
1.41 Lema. Si I es un ideal homogneo de la superlgebra A entonces A/I es una superl-
gebra y (A/I)
r
= A
r
/I
r
Demostracin. Si I
r
= I A
r
entonces para cualesquiera a y b elementos homogneos de A,
tenemos que (a +I)(b +I) = ab +I. Sea el automorsmo de estructura de A (proposicin
1.16). Entonces (ab + I) = (a + I)(b + I) = (1)
|a||b|
ab + I, ya que I = I y aI = I
para todo a en A; como I es homogneo, [
I
es el automorsmo estructural del subespacio
I = I
0
I
1
. Esto quiere decir que : A/I A/I es un automorsmo involutivo, y por lo
tanto A/I es una sper lgebra.
La descomposicin de superespacio viene del hecho de que I es homogneo, ya que si
a+I tiene la descomposicin a
0
+a
1
+I
0
I
1
, entonces a
r
+I
r
(r Z
2
) es la descomposicin
homognea de a + I, la cual es un elemento del subespacio A
r
/I
r
.
1.42 Proposicin. Los ideales
I
Sym
= x y C(x y) [ x, y V e I
Alt
= x y + C(x y) [ x, y V
de
V son homogneos.
Demostracin. Denotemos por I
al ideal generado por elementos de la forma xyC(xy)

para ahorrar espacio. Un elemento w de I
es de la forma
w =
a
J
_
x y C(x y)
_
,
donde la suma es nita y los a
J
son elementos de
V . Como todo v en V tiene la descom-

posicin v = v
0
+ v
1
, obtenemos la expresin
w =
a
J
_
(x
0
+ x
1
) (y
0
+ y
1
) C
_
(x
0
+ x
1
) (y
0
+ y
1
)
_
_
=
a
0
J
_
(x
0
y
0
) + (x
1
y
1
) C
_
(x
0
y
0
) + (x
1
y
1
)
_
_
+
a
1
J
_
(x
0
y
1
+ x
1
y
0
) C
_
(x
0
y
1
+ x
1
y
0
)
_
_
,
donde a
0
J
y a
1
J
denotan la parte par e impar, respectivamente, de a
J
. Notemos que la segunda
suma solamente involucra elementos pares y la tercera, solamente elementos impares. Como
cada suma generada por elementos x y cuyos productos son de la misma paridad, esto
implica que I
son ideales homogneos.

1.43 Corolario. Los cocientes de
V por I
Sym
e I
Alt
son superlgebras.
1.44 Denicin. Las superlgebras exterior y simtrica de un superespacio vectorial V son,
respectivamente,
SymV :=
V/I
Sym
V :=
V/I
Alt
1.4.1. Accin torcida de S
k
Si es una permituacin del conjunto 1, . . . , k y A 1, . . . , k, entonces en general
no sucede que (A) = A. Sin embargo, tanto A como (A) son subonjuntos de Z
+
y por
lo tanto podemos ordenarlos de manera ascendente A = a
1
, . . . , a
r
y (A) = b
1
, . . . , b
r
tales que a
1
< a
2
< < a
r
y b
1
< < b
r
.
1.45 Denicin. Sea S
k
y A 1, . . . , k. La signatura de relativa a A se dene
mediante
sgn
A
() = sgn
_
b
1
b
2
b
r
(a
1
) (a
2
) (a
r
)
_
;
esto es, sgn
A
() es la signatura de la permutacin que ordena de manera ascendente los
elementos de (A).
Haremos uso de las signaturas relativas para obtener los signos correctos de la accin
torcida de S
k
en las potencias tensoriales del superespacio vectorial V . Sea
k
V la k-sima
potencia tensorial del superespacio V . La accin torcida de S
k
est dada por
S
k
k
V
k
V
(, v
1
v
k
) sgn
A
()(v
1
(1)
v v
1
(k)
)
donde A 1, . . . , k es el conjunto de ndices a
1
, . . . , a
r
tales que v
a
1
, . . . , v
ar
son vectores
impares en la expansin v
1
v
k
. Denotaremos la signatura de asociada con esta accin
torcida por sgn
().
1.46 Observacin. La accin torcida de S
2
= Z
2
en
2
V es equivalente al isomorsmo C.
Como en la proposicin 1.42, denotemos nuevamente por I
al ideal simtrico (I
) y al
ideal alternante (I
+
) de la superlgebra
V , mientras que I
k
denotar el subespacio (I
)
k
.
Notemos que un elemento de I
k
se puede escribir como
v
1
v
k
(1)
|v||v
+1
|
v
1
v
+1
v
v
k
(1.6)
donde cada uno de los v
es homogneo. Esto es equivalente a la accin torcida de la trans-

posicin ( + 1) en

k
V . Como S
k
est generado por transposiciones, tenemos que un
elemento de I
k
se puede escribir como
(id )(v
1
v
k
), (1.7)
ya que tanto id como actan como transformaciones linales; por eso id est bien denido.
1.4. Superlgebras tensoriales 13
1.47 Proposicin. Las superlgebras exterior y simtrica de un superespacio vectorial V
son
V

=
_
V
0
SymV
1
(1.8)
SymV

= SymV
0
_
V
1
(1.9)
respectivamente.
Demostracin. Observemos que un elemento homogneo del lgebra tensorial de V es de la
forma v
1
v
k
, donde todos los v
son de la misma paridad. Si todos los v
son pares,
entonces al pasar al cociente por el ideal I
Sym
obtenemos la denicin usual del lgebra
simtrica de V
0
, ya que sgn
en este caso es 0 porque no hay elementos impares; por

otro lado, si todos los v
son impares, entonces sgn
= sgn ya que todos los elementos

permutados son impares y esto es la denicin del lgebra exterior de V
1
. El caso del lgebra
exterior es anlogo.
Captulo 2
Supervariedades
En este captulo plantearemos nuestro enfoque para estudiar las supervariedades. En contras-
te con el enfoque usual, estudiaremos estos objetos desde el punto de vista de la geometra
diferencial clsica. Tambin probaremos que ambos enfoques son equivalentes (teorema 2.16).
Estudiaremos una familia de objetos similares, que llamamos supervariedades Z-graduadas
(seccin 2.3) y veremos que sus morsmos estn ligados a la superdiferencial de una aplica-
cin supersuave entre dos supervariedades. Por ltimo, estudiaremos las superderivaciones
de las superfunciones y caracterizaremos el superhaz tangente de una supervariedad como
el espacio de estos operadores. Para los conceptos necesarios de geometra diferencial clsica
que utilizaremos a lo largo de ste y el prximo captulo, nos remitimos al apndice.
2.1. Supervariedades vectoriales
La estructura de superespacio vectorial de V = V
0
V
1
y su estructura de supervariedad son
distintas, pero igual que el caso de un espacio vectorial real, la estructura lineal est incluida
en la estructura de este espacio como variedad diferenciable, porque las funciones lineales en
un espacio vectorial son diferenciables.
Al elegir una base x
1
, . . . , x
m
,
1
, . . . ,
n
de V (tal que x
1
, . . . , x
m
es una base de V
0
y
1
, . . . ,
n
es una base de V
1
), una superfuncin supersuave en V es una expresin de la
forma
f(x, ) =
I
f
I
(x, )
I
= f
0
(x) + f
1
(x)
1
+ f
m
(x)
m
+ f
12
(x)
1
2
+ (2.1)
donde las f
I
son funciones suaves en V . Como vimos en la observacin 1.8, las coordenadas
(
1
, . . .
n
) son elementos de V
1
(
(V
1
). Esto quiere decir que la expresin (2.1) es un
elemento de (
(V )
_
V
1
As, para obtener la estructura de supervariedad en V , necesitamos los siguientes objetos:
el haz trivial de lgebras superconmutativas V
0
_
(V
1
)
;
para cada abierto U V
0
, el espacio de secciones (U
_
(V
1
)
= (
(U,
_
(V
1
)
));
si U

U V son conjuntos abiertos, un mapeo (
U,
_
(V
1
)
)) (U,
_
(V
1
)
) tal
que f f[
U
.
15
16 Captulo 2. Supervariedades
Esto no es otra cosa que la denicin de una gavilla de lgebras exteriores sobre V
0
(cf. [9,
sec. 2.2]). Notemos que denir una tal gavilla sobre R
n
y utilizar el lgebra (
(R
n
,
_
(R
m
)
)
son equivalentes, ya que la gavilla en cuestin es localmente libre y de rango constante, por
lo cual una gavilla de lgebras exteriores y el haz producto R
n
_
(R
m
)
son equivalentes.
Con ms precisin:
2.1 Denicin. La supervariedad vectorial R
m|n
es el espacio anillado (R
m
[
_
(R
n
)
) y
la gavilla de estructura es (
(R
m
,
_
(R
n
)
).
Adems, por lo que hemos dicho hasta ahora, obtenemos la siguiente equivalencia:
2.2 Proposicin. El espacio anillado que dene la supervariedad V
0
V
1
es equivalente al
haz trivial de lgebras superconmutativas V
0
_
(V
1
)
.
Intuitivamente, una supervariedad debe ser localmente equivalente a R
n|m
. En la siguiente
seccin haremos precisa esta nocin de equivalencia local, notando que una gavilla localmente
libre de lgebras con rango constante es equivalente a un haz de lgebras sobre una variedad
diferenciable.
2.1.1. Morsmos
Recordemos que un morsmo entre espacios anillados (X, O
X
) y (Y, O
Y
) consiste de una
funcin continua f : X Y y, para todo abierto U Y , una aplicacin f
#
: O
U
O
f
1
(U)
que es a su vez un morsmo de anillos (cf [10, sec. 4.1]). En nuestro caso, la apilcacin
f
#
debe ser un morsmo de lgebras superconmutativas. En particular, f
#
debe ser Z
2
-
graduado. Esto signica que un morsmo F : R
m|p
R
n|q
consiste de una aplicacin suave
f : R
m
R
n
y una apliacin inducida f
#
: (
(R
n
,
_
(R
q
)
) (
(R
m
,
_
(R
p
)
) tal que
f
#
( ) = f
#
() f
#
()
para , (
(R
n
,
_
(R
q
)
). La apliacin f
#
no es arbitraria, sino que est ligada a la
aplicacin f de la manera que explicamos a continuacin.
2.3 Proposicin. Si f : R
m
R
n
es una aplicacin suave, entonces la aplicacin
f : (
(R
n
) (
(R
m
)
g g f.
(2.2)
es un homomorsmo unital de lgebras conmutativas.
Demostracin. Si h y g son funciones suaves en R
n
, entonces f(gh) = (gh) f. Si x es un
punto en R
m
, entonces f(x) es un punto en R
n
y obtenemos
_
(gh) f
_
(x) =
_
gh
_
(f(x)) =
g(f(x))h(f(x)) =
_
(g f)(h f)
_
(x); por lo tanto f(gh) = f(g)f(h). Anlogamente, obte-
nemos f(g + h) = f(g) + f(h).
Si 1 denota la funcin constante de valor 1, entonces f(1) = 1 f = 1, y por lo tanto
f(1) = 1, la funcin constante 1 en R
m
.
2.1. Supervariedades vectoriales 17
En el caso de las supervariedades R
m|p
y R
n|q
denotemos por ahora, abusando de la
notacin, los haces de lgebras correspondientes solamente como
_
(R
p
)
y
_
(R
q
)
, respecti-
vamente. El morsmo asociado f
#
: (
_
(R
q
)
) (
_
(R
p
)
) es entonces un homomorsmo
de lgebras superconmutativas con unidad (i.e. f
#
(1) = 1 y f
#
( ) = f
#
() f
#
()).
Recordemos (denicin 1.24) que existe un homomorsmo unital de superlgebras :
(
_
(R
q
)
) (
(R
n
) donde F F
0
en la expansin (2.1). Como el lgebra (
(R
n
) es una
superlgebra con parte nilpotente nula, los homomorsmos f y f
#
satisfacen el siguiente
diagrama conmutativo
(
_
(R
q
)
//
f
#
(R
n
)
ss
f
(
_
(R
p
)
)

//
(
(R
m
)
kk
(2.3)
donde denota la inclusin correspodiente. Si g es una funcin suave en R
n
y una seccin
de
_
(R
q
)
, entonces
[f
#
, g]() := f
#
(g) (g f)f
#
() (2.4)
es una seccin bien denida de
_
(R
p
)
. Recordemos que f
#
es tambin un homomorsmo
de lgebras superconmutativas, por lo tanto la ecuacin anterior es equivalente a
[f
#
, g]() = f
#
(g)f
#
() (g f)f
#
()
=
_
f
#
(g) g f
_
f
#
().
(2.5)
Como adems f
#
es Z
2
-graduado, tenemos que f
#
(g) es una seccin de grado par del haz
_
(R
p
)
. En vista del diagrama (2.3), obtenemos las igualdades

(f
#
(g)) = g f = (g f) = f(g);
esto es, el factor f
#
(g) g f en la ecuacin (2.5) es una seccin de grado mayor o igual
que 2 del haz
_
(R
p
)
. Al iterar el conmutador denido en la ecuacin (2.4), de la ecuacin

(2.5) obtenemos que si k :=
q
2
| (parte entera de
q
2
), entonces f
#
es un operador diferencial
a lo largo de f de grado menor o igual que k (ver la denicin A.16 de este concepto).
Resumiendo la construccin anterior, obtenemos
2.4 Proposicin. Sean (R
m
[
_
(R
p
)
) y (R
n
[
_
(R
q
)
) supervariedades. Un morsmo :
(R
m
[
_
(R
p
)
) (R
n
[
_
(R
q
)
) de espacios anillados es equivalente a un par (f[F), donde

f : R
m
R
n
es una aplicacin suave y F : (
(R
n
,
_
(R
q
)
) (
(R
m
,
_
(R
p
)
) es un
operador diferencial a lo largo de f.
Es importante notar que aunque el homomorsmo f introducido en la proposicin 2.3
est nicamente determinado por la aplicacin suave f, la construccin anterior solamente
nos garantiza que el trmino (f
#
(g)) es igual a f(g) para toda funcin suave g; esto no
implica, sin embargo, que el operador diferencial f
#
est nicamente determinado por f.
Por ello adoptamos la siguiente denicin de un morsmo entre supervariedades vectoriales:
2.5 Denicin. Una aplicacin superdiferenciable : (R
m
[
_
(R
p
)
) (R
n
[
_
(R
q
)
)
es un par (f[F), tal que f : R
m
R
n
es una aplicacin suave y F : (
(R
n
,
_
(R
q
)
)
(
(R
m
,
_
(R
p
)
) es un operador diferencial a lo largo de f de orden menor o igual que

q
2
|.
2.2. Supervariedades
Usualmente se dene una supervariedad de superdimensin (n[m) como un par (X[O
X
),
donde X es una variedad diferenciable de dimensin n y O
X
es una gavilla de lgebras
superconmutativas localmente libre de rango m. Esto es, para todo punto p M existe un
abierto U M tal que O
U

= U /, donde / es un lgebra Z
2
-graduada isomorfa a
_
(R
m
)
(ver, por ejemplo, [10, seccin 4.2]).

Como notamos en la proposicin 2.2, una gavilla de este tipo y un haz trivial de lgebras
son equivalentes sobre R
n
. Como toda variedad diferenciable tiene un atlas maximal tal que
todos los abiertos del atlas son contrables (cf. [2, lema 7.1]), probaremos la equivalencia
entre el enfoque lgebraico (espacios anillados) y el enfoque geomtrico (i.e. estudiar una
variedad diferenciable con un haz de lgebras).
Si : E M es un haz vectorial sobre una variedad diferenciable M, entonces el espacio
de secciones (E) es naturalmente un mdulo sobre (
(M): una seccin s (E) es tal

que s = id
M
; esto quiere decir que s(p)
1
(p) y por lo tanto, si f (
(M) entonces
f(p) s(p)
1
(p). Como esto se puede hacer para todo punto p M, tenemos bien
denida una multiplicacin f s, donde f (
(M) y s (E). Como la dimensin de la

bra no cambia, i.e. dim
1
(p) = dim
1
(q), para todo par p, q M, tenemos que hay
una correspondencia entre (
(M)-mdulos localmente libres y haces vectoriales sobre M.

De hecho, el resultado es vlido para (
(M)-mdulos proyectivos (sumandos de mdulos

libres; cf. [4, secs. 2.3 y 2.4]).
En nuestro caso, los (
(M)-mdulos tienen tambin la estructura de lgebras sper-

conmutativas localmente libres, i.e. son localmente isomorfas a lgebras exteriores. As, las
gavillas localmente libres de lgebras sperconmutativas corresponden a haces de lgebras
superconmutativas sobre una variedad diferenciable M. En vista de esta correspondencia, la
denicin que usaremos ser la siguiente:
2.6 Denicin. Una supervariedad de dimensin (m[n) es un par (M[1M), donde M
es una variedad diferenciable de dimensin m y 1M es un haz de lgebras superconmutativas
de rango n sobre M.
2.7 Ejemplo. Sea M una variedad suave de dimensin n. El lgebra de formas diferenciales,
(
_
T
M) es naturalmente una superlgebra; de esta manera obtenemos la supervariedad

(M[ (
_
T
M)) de superdimensin (n[n).

2.8 Ejemplo. Si E es un haz vectorial de rango r sobre M, entonces el haz exterior dual
_
E
es tambin un haz vectorial. El espacio de secciones de este ltimo, al igual que el

ejemplo anterior, es un lgebra superconmutativa y por lo tanto tambin obtenemos una
supervariedad (M[ (
_
E
)) de superdimensin (m[r).
2.9 Nota. Si (M[1M) es una supervariedad de superdimensin (m[n) y p un punto de M,
la bra 1
p
M es un lgebra superconmutativa libre. Como tal, tiene un nico ideal maximal
(por la proposicin 1.22) que denotaremos por 1
1
p
M. Con ms precisin, tenemos
1
1
p
M := (1M)[((p)) = 0 .
2.2. Supervariedades 19
Como este ideal existe en cada punto, podemos formar el haz de ideales nilpotentes, cuyas
secciones estn caracterizadas por ser, justamente, superfunciones nilpotentes.
2.10 Denicin. El haz nilpotente de una supervariedad (M[1M) es el haz vectorial
1
1
M :=
_
pM
1
1
p
M
A partir de este ideal se construye la ltracin de la superlgebra 1
p
M
1
p
M := 1
0
p
M 1
1
p
M 1
2
p
M 1
n
p
M 0 , (2.6)
donde denimos 1
r
p
M :=
_
1
1
p
M
_
r
y n es la dimensin impar de (M[1M). Esto quiere
decir que
1
p
M =
_
k0
1
k
p
M
y adems 1
k
p
M 1
l
p
M 1
k+l
p
M. Como esto se puede hacer bra por bra, obtenemos
un haz
1
k
M = .
pM
1
k
p
M
y automticamente obtenemos tambin la siguiente
2.11 Proposicin. El lgebra (1M) es un lgebra ltrada por la cadena de subespacios
(1M) :=
_
1
0
M
_

_
1
1
M
_

_
1
n
M
_
0 , (2.7)
2.2.1. Morsmos
Ahora estudiaremos las aplicaciones supersuaves entre supervariedades. Bajo el enfoque al-
gebraico, estas aplicaciones son morsmos de gavillas
F : (M, O
M
) (N, O
N
).
Como estas gavillas son las gavillas de secciones de un haz de lgebras sobre las variedades
correspondientes, basndonos en la proposicin 2.4, usaremos la siguiente
2.12 Denicin. Una aplicacin supersuave F : (M[1M) (N[1N) es un par
F = ([) tal que : M N es una aplicacin suave y : (1N) (1M) es un
homomorsmo de lgebras superconmutativas y un operador diferencial a lo largo de .
Los morsmos entre supervariedades ([) son localizables. Esto quiere decir que si p es
un punto de M entonces
(p)
: 1
(p)
N 1
p
M es un homomorsmo unital de lgebras
superconmutativas. Por la observacin 1.38, sabemos que
(p)
preserva el ideal maximal
1
1
(p)
N. Como los homomorsmos son Z
2
-graduados tambin preservan el ideal (1
1
M)
de todas las secciones nilpotentes.
2.13 Proposicin. Sea (M[1M) una supervariedad compacta (i.e. M es una variedad
compacta). Entonces I (1M) es un ideal maximal si y slo si es de la forma I = 1
1
p
M
para algn punto p de M.
Demostracin. Si I = 1
1
p
M, sabemos que es un ideal maximal de 1
p
M por la proposicin
1.22. Es tambin un ideal maximal de (1M) puesto que el cociente es R.
Si I es maximal, supongamos que I ,= 1
1
p
M para todo punto p. Para cada punto p
elegimos un elemento
p
de I. Entonces la funcin h
p
:= (
p
) no se anula en alguna vecindad
abierta U
p
de p. Tenemos que U
p
pM
es una cubierta abierta de M. De la compacidad de M
tenemos que existen p
1
, . . . , p
n
puntos de M tales que los conjuntos U
p
1
, . . . , U
pn
cubren M.
Tomemos una particin de la unidad asociada (U
)
n
=1
, donde U
= U
p
. Si denimos
h
:=
h
p
y h := h
1
+ + h
n
entonces h es una funcin bien denida en M. Cada
h
p
= (
p
) es un elemento de I; como h es una suma nita de elementos de I que no
se anula en todo M, obtenemos que h es un elemento invertible de (
(M) (1M) y
por lo tanto el ideal I no es propio, pues contiene un elemento invertible. Tenemos una
contradiccin, puesto que habamos supuesto que I es maximal.
2.14 Corolario. Sean (M[1M) y (N[1N) supervariedades. Si : (1N) (1M) es
un homomorsmo unital de superlgebras y N es una variedad compacta, entonces existe
una nica aplicacin suave : M N tal que es un operador diferencial a lo largo de .
Demostracin. Sea p M y denotemos por ev
p
el homomorsmo de lgebras (
(M) R
que evala una funcin en el punto p. Este homomorsmo es suprayectivo ya que para todo
nmero real tenemos que la funcin constante est en el conjunto ev
1
p
(). Recordemos
(ver [5, Teorema 2.6]) que si : A B es un homomorsmo suprayectivo de anillos y B es
un campo, entonces ker es un ideal maximal de A. Tenemos entonces la siguiente sucesin
(no exacta):
(1N)

//
(1M)

//
(
(M)
evp
//
R (2.8)
La aplicacin
p
:= ev
p
es un homomorsmo de lgebras superconmutativas. Entonces
ker
p
es un ideal maximal en (1N), por lo cual es de la forma 1
1
q
N para algn punto q
de N. Si hacemos (p) = q obtenemos una funcin bien denida en M.
Sea q el rango de 1N (i.e. la dimensin impar de (N[1N)). Si denimos el conmutador
[, f] como en la frmula (2.4), para cualquier funcin suave f en N, entonces de la frmula
(2.5) obtenemos que [. . . [[, f], f
1
], . . . , f
k
] = 0 para k
q
2
| y f
1
, . . . , f
k
funciones suaves
en N.
Cabe destacar que si N no es compacta, entonces hay ideales maximales que no co-
rresponden a puntos. Por ejemplo, el ideal maximal generado por (
0
(R
n
), el espacio de
funciones de soporte compacto, no corresponde a ningn punto x en R
n
. Esto signica que
para variedades compactas, un morsmo ([) entre supervariedades queda determinado de
manera nica con el homomorsmo Z
2
-graduado ; por eso adoptamos la denicin 2.12
para los morsmos entre supervariedades. A continuacin probaremos que nuestra denicin
y la denicin algebraica de aplicacin supersuave son equivalentes.
2.15 Lema. Sean M y

M variedades diferenciables, (
M
y (
M
las gavillas de funciones suaves
sobre M y N respectivamente y sea :

M M una aplicacin continua. Si : (
M
es un morsmo unital de gavillas de lgebras conmutativas entonces es suave y coincide
con el morsmo dado por (f) = f .
2.2. Supervariedades 21
Demostracin. Consideremos un abierto U M y una funcin suave h en U. Sea x
1
(U)
y sea V una vecindad abierta de (h(x)) R. Tenemos que h
1
(U) M es abierto en M y
en la topologa relativa de U como subespacio de M. El morsmo de restriccin res
U
h
1
(V )
de
la gavilla (
induce el morsmo
h
1
(V )
: (
(h
1
(V )) (
(
1
(h
1
(V ))).
Al aplicar este morsmo a la funcin h h((x))1, donde 1 es la funcin idnticamente 1
en M, obtenemos
f :=
h
1
(V )
(h h((x))1) =
h
1
(V )
(h)
h
1
(V )
(h)(x)1, (2.9)
que es una funcin suave en (h )
1
(V ). La funcin f no es invertible en este abierto ya que
h((x)) V y por lo tanto x
1
(h
1
(V )), lo cual implica que f(x) = 0. Esto implica, por
la ecuacin (2.9), que
h
1
(V )
(h) = h , ya que para toda vecindad de h(x) en R tenemos
que
U
(h)(x) V .
Sean x
1
, . . . , x
m
coordenadas locales en el abierto U. De lo anterior obtenemos que
U
(x
) = x

es suave para todo 1, . . . , m. sta es justamente la denicin de una aplicacin suave;
por lo tanto, la aplicacin :

M M es suave.
2.16 Teorema. Sean O
N
y O
M
las gavillas de superfunciones de las supervariedades (N[1N)
y (N[1N) respectivamente, y sea : O
N

O
M
un homomorsmo de gavillas de super-
lgebras sobre la aplicacin continua : M N. Entonces es suave y es un operador
diferencial a lo largo de .
Demostracin. Sean U N un abierto y O
U
= (1U). La funcin h := () es suave
en U y ((h)) es tambin una funcin suave en
1
(U), ya que
O
U
= O
1
(U)
. El lema
anterior nos garantiza que es una aplicacin suave y que ((h)) = (h) = h . Con esto
obtenemos el siguiente diagrama conmutativo, anlogo al diagrama (2.3):
(1N)

//
f
#
(1M)
(N)

//
(
(M)
(2.10)
En vista de este diagrama, si f es una funcin suave cualquiera en N obtenemos que (f)
f (1
2
M)
+
y por lo tanto, es un operador diferencial a lo largo de .
Este teorema prueba que el enfoque algebraico y nuestro enfoque geomtrico son equiva-
lentes. En vista de este hecho denimos nuestra catgora de estudio:
2.17 Denicin. La categora SMd tiene como objetos todas las supervariedades y como
morsmos todas las aplicaciones superdiferenciables en el sentido de la denicin 2.12
2.3. Supervariedades Z-graduadas
Si : E M es un haz vectorial diferenciable sobre la variedad M, entonces podemos
construir la supervariedad :
_
E
M. Ms an, si : F N es un haz vectorial suave

sobre N y : E V es un morsmo de haces vectoriales, entonces existe una funcin
diferenciable f : M N tal que
E

//
M
f
//
N
y tal que
p
: E
p
F
f(p)
es una aplicacin lineal. Esto induce un morsmo de haces exteriores
(
_
F
)
_
E
(cf. A.15). Este morsmo es Z-graduado y por lo tanto tambin

es Z
2
-graduado. Si denotamos los elementos de F
por , entonces cualquier elemento

(
_
F
) se puede escribir como =

1

k
. El morsmo
es el levantamiento del
homomorsmo dual
: F
y en particular si g es una funcin suave en N, tenemos

que
(g) = g f. Si denimos [
, g] como en la frmula (2.4) obtenemos

[
, g]() =
(g) (g f)
()
=
(g
1

k
) (g f)
(
1

k
)
= (g f)(
(
1
)
(
k
)) (g f)
(
1
)
(
k
)
= 0.
Por lo tanto,
es un operador diferencial de orden 0 a lo largo de f. Resumiendo, obte-

nemos
2.18 Lema. Sean : E M y : F N haces vectoriales y (M[
_
E
), (F[
_
F
) las
supervariedades asociadas, entonces el levantamiento
:
_
F

_
E
de un morsmo de
haces vectoriales : E F es un operador diferencial de orden 0 a lo largo de la aplicacin
suave f : M N asociada a .
2.19 Corolario. Un morsmo del tipo descrito en el lema anterior, es un morsmo unital
Z-graduado entre las superlgebras (
_
F
) y (
_
E
), y por lo tanto es un morsmo entre

las supervariedades asociadas.
2.20 Denicin. Sean (M[1M) una supervariedad y p un punto de M. El espacio de
codirecciones impares de (M[1M) en el punto p es el espacio vectorial
S
p
M := 1
1
p
M
_
1
2
p
M.
El haz vectorial S
M :=
pM
S
p
M es el haz de codirecciones impares de la supervariedad
(M[1M). El haz vectorial dual SM es el haz de direcciones impares.
Por construccin, este haz vectorial dene la supervariedad (M[1M)
= (M[
_
S
M). De
hecho, toda supervariedad es equivalente a una supervariedad de este tipo, como se demues-
tra en [1, Teorema 3.1]. Denotarmos estos objetos como (M[SM), ya que la supervariedad
(M[
_
S
M) queda determinada por su haz de direcciones impares.

2.3. Supervariedades Z-graduadas 23
Sin embargo, los morsmos entre estas supervariedades son levantamientos de morsmos
entre los haces haces vectoriales asociados, i.e. son morsmos Z-graduados. Como ya vimos,
estos morsmos son operadores diferenciales de orden 0.
2.21 Denicin. La categora SMd
Z
tiene como objetos todas las supervariedades de
la forma (M[SM) y como morsmos las aplicaciones
asociadas a morsmos de haces

vectoriales.
2.22 Proposicin. Sea ([) : (M[1M) (N[1N) una aplicacin supersuave. Entonces
induce un morsmo de haces vectoriales F : SM SN.
Demostracin. Como el homomorsmo de lgebras superconmutativas
: (1N) (1M)
preserva la ltracin (2.7) (proposicin 2.24) del haz de lgebras, donde
1
r
N :=
_
pN
1
r
p
N,
entonces
(1
1
N
_
1
2
N) = (S
N) S
M
. Si denotamos por

el morsmo inducido entre los haces de codirecciones impares por el
homomorsmo , entonces F = (
.
Si (M[SM) es una supervariedad Z-graduada y r := dimS
p
M, entonces su lgebra de
superfunciones tiene tambin una ltracin
SM :=
0
SM
1
SM
r
SM 0 (2.11)
y de hecho tambin una Z-graduacin
SM =
r
k=0
k
SM, (2.12)
tal que
_
k
SM := 1
k
M/1
k+1
M. De la proposicin 2.22 obtenemos el siguiente
2.23 Corolario. La aplicacin F : SM SN se extiende a aplicaciones
_
k
F :
_
k
SM
_
k
SN para todo k 2.
Demostracin. La aplicacin F es un morsmo de haces y, por la propiedad universal del haz
exterior, se levanta de manera nica a cada una de las componentes
_
k
SM
_
k
SN.
Con este resultado podemos probar que los morsmos entre supervariedades no solamente
preservan la estructura Z
2
-graduada de las superlgebras (1N) y (1M) sino que tambin
preservan la ltracin (2.7):
2.24 Proposicin. Sean (M[1M) y (N[1N) supervariedades. Si
([) : (M[1M) (N[1N)
es una aplicacin supersuave entonces (
_
1
k
N
_
)
_
1
k
M
_
para todo entero k 0.
Demostracin. Esto es solamente la observacin 1.38 aplicada a cada bra 1
p
M, utilizando
la construccin del haz de codirecciones impares.
2.25 Observacin. El resultado anterior implica que las aplicaciones supersuaves, dado que
preservan la ltracin (2.7), preservan tambin los cocientes
_
1
k
M/1
k+1
M
_
para todo
k 1.
Es importante notar que si (M[1M) es una supervariedad entonces podemos asociar-
le una supervariedad Z-graduada utilizando el haz de codirecciones impares. Si ([) :
(M[1M) (N[1N) es una aplicacin supersuave entonces obtenemos una aplicacin
([F) : (M[SM) (N[SN) tal que F coincide con la diferencial de ; ms aun, la aplicacin
F se levanta automticamente a una aplicacin
_
F entre las secciones de los haces exteriores
respectivos y el par ([
_
F) es una aplicacin supersuave Z-graduada; es decir, obtenemos
un operador diferencial de orden 0. Sin embargo, los morsmos entre supervariedades son de
un tipo ms general ya que son operadores de orden no necesariamente 0.
2.4. El superhaz tangente
Si ([) : (M[1M) (N[1N) es una aplicacin sper suave, queremos denir la diferencial
([)
: T(M[1M) T(N[1N) entre los haces tangentes de las sper variedades. Para
hacerlo, veamos las propiedades del haz tangente y las aplicaciones inducidas en el caso de
variedades suaves.
Si : M N es una aplicacin suave entre variedades diferenciables, entonces existen
levantamientos
: TM
(TN) y
(T
N) T
M entre los haces tangente

y cotangente respectivamente, donde
(TN) y
(T
N) denotan los haces jalados (ver

denicin A.15). La aplicacin
es la derivada de ; esto es, si X

p
es un vector tangente
en T
p
M, entonces
,p
: T
p
M T
(p)
N
X
p
D
p
(X)
(p)
es una aplicacin lineal entre espacios tangentes.
Notemos que (TM) es el espacio de derivaciones del lgebra (
(M): si X es un campo
vectorial, y f y g son funciones suaves en M entonces
X(fg) = X(f)g + fX(g);
esto es, der((
(M)) = (TM). Si f y g son funciones suaves en M y X es un campo

vectorial, el conmutador [X, f](g) nos da
[X, f](g) = X(fg) fX(g) = X(f)g, (2.13)
2.4. El superhaz tangente 25
y si h es otra funcin suave obtenemos
[[X, f], h](g) = 0, (2.14)
lo que quiere decir que X es un operador diferencial de orden 1. Por lo tanto, el smbolo
principal de X con la funcin f evaluado en la funcin g es X(f)g.
2.4.1. Derivaciones del lgebra de superfunciones
Sea (M[1M) una sper variedad de sper dimensin (m[n) y p un punto en M. El lgebra
1
p
M es sper conmutativa y libre de rango n; por lo tanto es isomorfa a
_
S
p
M, el lgebra
exterior del espacio de codirecciones impares. Por el teorema 1.29, tenemos que su espacio
de sper derivaciones es isomorfo a S
p
M
_
S
p
M.
2.26 Denicin. El haz de derivaciones puntales de una sper variedad (M[1M) es
der(1M) :=
_
pM
der(1
p
M) (2.15)
Estas derivaciones son endomorsmos lineales del haz 1M.
2.27 Proposicin. Si A una seccin de der(1M), entonces A es un operador diferencial
de orden 0.
Demostracin. La bra sobre el punto p M de der(1M) acta en el lgebra 1
p
M. Si f una
funcin suave en M y
p
1
p
M entonces A
p
(f(p)
p
) = f(p)A
p
(
p
), donde
p
1
p
M. Esto
signica que en cada bra tenemos una aplicacin R-lineal; esta aplicacin se extiende a una
seccin de der(1M) que es (
(M)-lineal. Esto es, si es una sper funcin, A(f) = fA().

Por lo tanto, [A, f]() = 0.
Motivados por la discusin al inicio de esta seccin, deniremos el haz tangente como un
haz de operadores diferenciales de orden menor o igual que 1 en las secciones de 1M. A
pesar de que no daremos una descripcin explcita de este haz como sper variedad, veremos
que como haz de 1M-mdulos el haz tangente est descrito por una sucesin exacta corta
cuyo signicado algebraico es claro.
Sean A una superderivacin del lgebra (1M), una seccin de 1M y f una funcin
suave en M. Nuestro propsito es describir un haz vectorial Der(1M) cuyas secciones
sean las superderivaciones del lgebra (1M). Para ello, notemos que (1M) = (
(M)
(1
1
M); por lo tanto, A(f) = X(f) +, donde X es un campo vectorial en M y es una
seccin de 1M.
Eligamos ahora un abierto U M tal que 1U

= U
_
S
, donde S
es un espacio
vectorial de dimensin n. Notemos que en este abierto existen secciones
1
, . . . ,
n
que generan
el espacio (U
_
S
) = (
(U,
_
S
). Las superderivaciones de este espacio son funciones

suaves en U con valores en der(
_
S
= S
_
S
. Esto implica que una tal superderivacin

D es de la forma X + F, donde X es un campo vectorial en U y F es una derivacin del
lgebra exterior. Por lo tanto, tenemos la descomposicin
der((1U))
=
_
(TU SU)
U
_
,
donde SU = U S y TU es el haz tangente del abierto U. El haz SU
_
S
U es de hecho
el haz der(
_
S
U). Por lo tanto, al elegir generadores locales en el abierto U obtenemos la

siguiente sucesin exacta
0
//
der(
_
S
U)
//
Der(1U)
//
TU 1U
//
0 (2.16)
que se escinde.
Para extender esta descripcin del haz de derivaciones de (1M) necesitamos el siguiente
concepto:
2.28 Denicin. Sea 1M un haz de superlgebras sobre M. Una conexin de superl-
gebras en el haz 1M es una conexin lineal en 1M tal que si y son secciones de
1M entonces
X
() =
X
() +
X
(),
para todo campo vectorial X en M, y tal que
X
() 0 donde es el automorsmo de
estructura de (1M).
Esto es, para cada campo vectorial X en M obtenemos una superderivacin par del
lgebra (1M).
Una conexin lineal se llama localmente plana si para todo punto p en M existe un
abierto U que contiene a M tal que su tensor de curvatura R
es idnticamente cero en
el abierto U. Una tal conexin es equivalente a la eleccin de generadores locales en una
trivializacin del haz sobre el abierto U. Para probar esta armacin, recordemos que un haz
vectorial trivial U W de rango k (i.e. dimW = k) tiene una conexin cannica, la conexin
trivial
0
, tal que si : U W es cualquier funcin constante, entonces
0
() = 0. Toda
otra seccin de U W es una funcin suave : U W es, puntualmente, un elemento de
W: (p) W. Al elegir una base w
1
, . . . w
r
de W, tenemos que cada funcin suave es
de la forma =
1
w
1
+ +
r
w
r
donde
1
, . . . ,
r
son funciones suaves en U. Entonces,
0
X
() = X(
1
)w
1
+ +X(
r
)w
r
. Por lo tanto, si U M es un abierto trivializante de un haz
vectorial WM entonces al elegir secciones generadoras sobre U obtenemos automticamente
la conexin plana
0
en WU

= U W. Es por eso que la sucesin exacta (2.16) se escinde.
2.29 Teorema. Sea Der(1M) el haz vectorial cuyas secciones son las superderivaciones
del lgebra (1M). Entonces tenemos la siguiente sucesin exacta de haces vectoriales:
0
//
der(1M)

//
Der(1M)

// //
TM 1M
//
0 (2.17)
donde es la inclusin y es el smbolo principal.
Demostracin. Sea una conexin de lgebras en 1M. La inclusin de der(1M) en
Der(1M) est dada de la siguiente manera: si A (der(1M)) y } (der(1M))
es tal que }
p
= A
p
entonces, por las propiedades de los operadores diferenciales (proposicin
A.14) tenemos que } factoriza por el espacio Jet
1
(1M), esto es
Jet
1
p
(1M)
Yp
//
evp
1
p
M
1
p
M
Xp
99
para todo punto p en M. Los operadores en der(1M) se caracterizan por la propiedad
siguiente: si y son secciones de 1M entonces
A
p
(jet
1
p
()) = A
p
(jet
1
p
)
p
+ (1)
|X|||
p
A
p
(
p
). (2.18)
Usando la conexin en 1M, obtenemos la identicacin
Jet
1
(1M)
Sym
1
(T
M) End(1M),
y la inclusin est dada por la cadena de inclusiones
der(1M) End(1M) Sym
1
(T
M) End(1M).
Como ya vimos, las secciones de der(1M) son operadores diferenciales de orden 0 y por lo
tanto su smbolo principal es nulo. Esto prueba que Im() = ker().
Ahora probaremos que es suprayectiva. Sea Xr una seccin de TMZend(1M) =
TM 1M. Denimos un mapeo g : (TM 1M) (Der(1M)) dado por g(X r) =
r
X
; sean ahora , (1M) y calculamos
g(X r)() = r(
X
() + (1)
|
X
|||
X
()) (2.19)
lo cual prueba que en efecto g(X r) es una superderivacin ya que
X
lo es. El smbolo
principal del operador r
X
es
(r
X
; f)() = [r
X
; f]()
= r
X
(f) fr
X
()
= rX(f) + rf
X
() fr
X
()
= rX(f) (porque fr = rf)
= X r(f )
(2.20)
lo cual prueba que g = id
TMRM
y por lo tanto, es sobre.
2.30 Observacin. La descomposicin Der(1M)
= der(1M) (TM1M), al igual que

la descomposicin local Der 1U

= (TU SU) 1M, depende de la eleccin de generadores
y de una conexin de lgebras en el haz 1M y por lo tanto no es natural.
Ahora mostraremos la estructura de superlgebra de Lie en el espacio (Der(1M)). Si
A y } son superderivaciones homogneas, denimos el supercorchete de Lie de A y }
como
A, } = A} (1)
|X|Y||
}, A (2.21)
2.31 Proposicin. El espacio (Der(1M)) equipado con el supercorchete (2.21) es una
superlgebra de Lie; esto es, se satisfacen las siguientes igualdades
A, A = 0 (superalternancia)
y
(1)
|X||Z|
A, }, : + (1)
|Y||Z|
:, A, } + (1)
|Y||X|
}, :, A = 0 (2.22)
llamada la superidentidad de Jacobi; donde A, } y : son superderivaciones.
2.4.2. La diferencial y la codiferencial de una superfuncin
Con nuestra descripcin del haz tangente de una supervariedad (M[1M) deniremos ahora
la diferencial de una aplicacin ([) : (M[1M) (N[1M). Veremos que adems de la
extensin de la diferencial F
de una aplicacin F : M N entre variedades suaves, tenemos

una aplicacin adicional asociada a que denominamos diferencial auxiliar.
Como ya vimos, el haz de superderivaciones Der(1M) est generado por el haz TM
SM. Vimos tambin en la proposicin 2.22 que para todo morsmo de supervariedades Z-
graduadas existe un morsmo F : SM SN de haces vectoriales dado por F = (
.
La diferencial de una superfuncin est compuesta por la diferencial de la aplicacin y el
morsmo F, esto es
([)
: TM SM
(TN SN)
X
(X) F()
Esta aplicacin es una transformacin lineal en cada bra y por lo tanto es un morsmo
de haces vectoriales. Cabe destacar que esta transformacin no puede extenderse a todo
Der(1M) ya que la aplicacin es un operador diferencial no necesariamente de orden 0.
2.32 Denicin. Sea ([) : (M[1M) (N[1N) una aplicacin supersuave. La diferen-
cial de ([) se dene como
([)
F : (TM SM) (
(TN SN))
X
(X) F(),
donde F es la aplicacin dual de

: S
M descrita en la proposicin 2.22.

Al igual que en el caso clsico, la superdiferencial es multiplicativa:
2.33 Proposicin. Sean ([) : (M[1M) (N[1N) y ([) : (N[1N) (K[1K)
aplicaciones supersuaves. La superdiferencial de ([) ([) es ([)
([)
.
Demostracin. Notemos primeramente que ([) ([) = ( [ ). Sean F = (
y
G = (
) las aplicaciones asociadas a y a en la proposicin 2.22; esto es,

F : (SM) (SN)
G : (SN) (SK) .
Por denicin, tenemos que ([)
F y ([)
G; por lo tanto
[([) ([)]
= ( [ )
= ( )
G F = ([)
([)
2.34 Nota. Consideremos nuevamente las supervariedades Z-graduadas y sus morsmos.

La proposicin anterior implica que la asignacin (M[1M) (M[SM) es un funtor T :
SMd SMd
Z
. En particular, observamos que los morsmos entre supervariedades Z-
graduadas son las aplicaciones superdiferenciales de los correspondientes morsmos entre
supervariedades.
2.4.3. La diferencial auxiliar
Recordemos que la aplicacin F est denida como el dual de la aplicacin

en el
cociente 1
1
N/1
2
N, la cual est bien denida ya que preserva el ideal (1
1
N) y por
lo tanto tambin preserva la ltracin (2.6).
Sea ahora f una funcin suave en N y recordemos que (
(N) = ker() (1M), y que

(f) es una seccin par. Tambin se estableci que (f)f es una seccin del haz 1
+,2
M.
Si consideramos la clase de (f) +f en el cociente
_
1
+,2
M/1
+,4
M
_
=
__
2
S
M
_
tenemos la siguiente
2.35 Proposicin. La aplicacin [, f] : (
(N)
__
2
S
M
_
es una derivacin a lo
largo de . Esto es
[, fg] = [, f] (g ) + (f ) [, g] (2.23)
para todo par de funciones suaves f y g en N, y donde denimos [, f] := [, f](1) con 1
la seccin idnticamente 1.
Demostracin. El conmutador de con fg est dado por
[, fg] = (fg) (fg) = (f)(g) (f )(g ).
La segunda igualdad es cierta porque es un homomorsmo de superlgebras. Entonces
(f)(g) (f )(g ) = (f)(g) + (f)(g ) (f)(g )
+(f )(g ) = (f)
_
(g) g
_
+ ((f) f )(g )
= ([, f] + f )([, g]) + ([, f])(g )
= [, f][, g] + [, g](f ) + ([, f])(g );
notemos ahora que [, f] y [, g] son secciones de
_
1
+,2
M
_
y por lo tanto su producto
es una seccin de
_
1
+,4
M
_
. Esto signica que
[, f][, g] + [, g](f ) + ([, f])(g ) [, g](f ) + ([, f])(g ) m od
_
1
+,4
M
_
y por lo tanto es una derivacin cuando toma valores en el cociente
__
2
S
M
_
.
2.36 Corolario. La aplicacin : (
(N)
__
2
S
M
_
es un operador diferencial de
orden 1 y por lo tanto factoriza a travs del haz cotangente de N mediante
(
(N)

//
d
__
2
S
M
_
(T
N)
d
77
donde d es la derivada exterior.
2.37 Denicin. Sea ([) : (M[1M) (N[1N una aplicacin supersuave. La codife-
rencial auxiliar de esta aplicacin es el mapeo
([)
!
: (T
M)
_
2
SM
_
dado por ([)
!
(df) = (f) f +1
3
M.
Captulo 3
Supergeometra diferencial
En este captulo estudiaremos objetos que permiten estudiar la geometra de supervariedades
ms a fondo. En la primera seccin denimos las superformas diferenciales en una supervarie-
dad. Veremos que, salvo los signos adecuados, el comportamiento combinatorio y diferencial
de estos objetos es idntico al de las formas diferenciales clsicas. Despus, estudiaremos las
superconexiones en el superhaz tangente (o superconexiones anes) y probaremos extensio-
nes de resultados clsicos. Por ltimo, veremos que el Lema Fundamental de la Geometra
Riemanniana (la existencia y unicidad de la conexin de Levi-Civita) se extiende para el
caso de mtricas superriemannianas pares.
3.1. Superformas diferenciales
En esta seccin deniremos las superformas diferenciales en una supervariedad (M[1M), as
como el producto cua y la derivada exterior en el espacio de superformas.
Recordemos que el haz dual del haz tangente es el haz Hom
C
(M)
_
(TM) , (
(M)
_
de
morsmos (
(M)-lineales entre el haz tangente y el lgebra de funciones suaves. En el caso de

supervariedades, el superhaz tangente corresponde al haz de superderivaciones T(M[1M)
=
Der(1M). Por lo tanto, denimos el superhaz cotangente como el haz vectorial
T
(M[1M) = Hom
RM
(Der(1M), 1M)
de superhomomorsmos lineales entre los superespacios (Der(1M)) y 1M. Al igual que
en el caso de variedades suaves, tenemos una aplicacin
, : T(M[1M)
M
T
(M[1M) 1M
(A, ) (A)
que denominamos emparejamiento cannico; el haz T(M[1M)
M
T
(M[1M) es sim-
plemente el haz vectorial sobre M donde X Der
p
(1M) y Der
p
(1M).
Recordemos que una k-forma diferencial en una variedad suave M es una seccin de
_
k
T
M; esto es, es una aplicacin k-multilineal sobre (
(M) y alternante en sus argu-

mentos. De la misma manera, una superforma diferencial es una seccin de
_
k
T
(M[1M).
31
32 Captulo 3. Supergeometra diferencial
Si es una k-forma diferencial en una variedad suave M y es una permutacin de
1, . . . , k entonces, para X
1
, . . . , X
k
campos vectoriales en M tenemos que
(X
(1)
, . . . , X
(k)
) = sgn()(X
1
. . . , X
k
)
donde sgn() denota la signatura de la permutacin . Como una superforma diferencial
debe ser (1M)-supermultilineal (esto es, lineal y graduada), utilizaremos las signaturas
relativas de una permutacin S
k
(cf. seccin 1.4.1).
3.1 Denicin. Una superforma diferencial de grado k en una supervariedad (M[1M)
es una aplicacin k-multilineal sobre R
: (T(M[1M)) (T(M[1M)) (1M)
tal que es (1M)-supermultilineal, en el sentido que para toda superfuncin f y cualesquiera
k superderivaciones X
1
, . . . , X
k
tenemos que
(X
1
, X
2
, . . . , fX
l
, . . . , X
k
) = (1)
|f|(|X
1
|++|X
l1
|)
f(X
1
, X
2
, . . . , X
l
, . . . , X
k
),
y adems es superalternante:
(X
1
(1)
, . . . , X
1
(k)
) =
sgn()
sgn
()
(X
1
, . . . , X
k
)
para toda permutacin .
Al igual que en el caso de las variedades suaves, el espacio de superformas diferenciales
tiene tambin un producto y una derivada exterior, compatibles con la estructura graduada
de (1M)
Si y son superformas diferenciales de grados k y l respectivamente, denimos su
superproducto cua como
(X
1
, . . . , X
k
, X
k+1
. . . . , X
k+l
) =
S
k+l
/S
k
S
l
sgn()
sgn
()
(X
1
(1)
, . . . , X
1
(k)
)(X
1
(k+1)
, . . . , X
1
(k+l)
) (3.1)
donde S
k+l
/S
k
S
l
es el grupo de permutaciones que no preservan los conjuntos 1, . . . , l
y su complemento, ya que los elementos del producto directo S
k
S
l
los preservan.
La derivada exterior est dada de la misma manera que en el caso de formas diferenciales
en variedades suaves: si es una k-superforma, entonces
d(X
0
, . . . , X
k
) :=
S
k+1
/S
1
S
k
sgn
sgn
1
(0)
(X
1
(1)
, . . . , X
1
(1)
)
S
k+1
/S
2
S
k1
sgn
sgn
(X
1
(0)
, X
1
(1)
, X
1
(2)
, . . . , X
1
(k)
)
donde el signo

X
signica que la superderivacin X
se omite. En particular, si f es una

superfuncin y X una superderivacin, tenemos el resultado clsico df(X) = X(f).
3.2. Superconexiones anes 33
3.2. Superconexiones anes
3.2 Denicin. Una superconexin afn es una aplicacin R-lineal
: (T(M[1M)) (T(M[1M)) (T(M[1M))
tal que si X y Y son superderivaciones y f es una superfuncin entonces
fX
(Y ) = f
X
(Y )
X
(fY ) = X(f)Y + (1)
|f||X|
f
X
(Y )
Notemos que nos estamos restringiendo al caso de superconexiones pares. Esto es, apli-
caciones que preservan la Z
2
-graduacin.
3.3 Proposicin. Sean y

superconexiones anes en la supervariedad (M[1M) y sea
X una superderivacin en (M[1M). La aplicacin
(

)
X
: (T(M[1M)) (T(M[1M))
es (1M)-superlineal.
Demostracin. Sea Y una superderivacin y consideremos una superfuncin arbitraria . Si
denimos A(X, Y ) = (

)
X
(Y ), calculamos
A(X, Y ) = (

)
X
(Y ) =
X
(Y )

X
(Y ) = X()Y + (1)
|||X|
X
Y
X()Y (1)
|||X|
X
Y
= (1)
|||X|
(

)
X
(Y )
por lo que la aplicacin (

)
X
es (1M)-superlineal.
Consideremos ahora el superespacio
k
T
(M[1M) T(M[1M)
_
de k-superformas diferenciales con valores en el superhaz tangente. Estas aplicaciones son
k-supermultilineales y superalternantes en (T(M[1M)) y a cada k superderivaciones le
asocian una superderivacin. Al elegir una superconexin afn en (M[1M), este superesacio
tiene una derivada exterior denida de la siguiente manera:
3.4 Denicin. Sea A una seccin de
_
k
T
(M[1M) T(M[1M) y sea una super-

conexin afn en (M[1M). La derivada exterior torcida de A respecto a est dada
por
d
A(X
0
, . . . , X
k
) :=
S
k+1
/S
1
S
k
sgn
sgn
1
(0)
A(X
1
(1)
, . . . , X
1
(1)
)
S
k+1
/S
2
S
k1
sgn
sgn
A(X
1
(0)
, X
1
(1)
, X
1
(2)
, . . . , X
1
(k)
)
(3.2)
Observemos que las 0-formas son solamente las secciones de T(M[1M).
Asociado al superhaz tangente, tenemos el espacio de superendomorsmos
(End(T(M[1M)).
Estas aplicaciones, al igual que los endomorsmos clsicos de haces vectoriales, son aplicacio-
nes superlineales sobre las superfunciones; esto es, si F es un endomorsmo de T((M[1M))
y X es una superderivacin en (M[1M) entonces
F(X) = (1)
|||F|
F(X), (3.3)
para cualquier superfuncin . Si es una superconexin afn en (M[1M), entonces tenemos
una superconexin en el superhaz de superendomorsmos, que denotamos por End(),
denida por
(End
X
F)(Y ) =
X
(FY ) (1)
|X||F|
F(
X
Y ). (3.4)
3.5 Nota. Esta denicin fuerza al endomorsmo End()
X
F a ser (1M)-lineal, ya que
(en el caso totalmente par)
(End
X
F)(Y ) =
X
(FY ) F(
X
(Y ))
= X()FY +
X
(FY ) F(X()Y +
X
Y )
= X()FY +
X
(FY ) X()FY F(
X
Y )
= (
X
(F(Y )) F(
X
Y )
= (End
X
F)Y.
El caso impar es anlogo.
La denicin 3.4 de la derivada exterior toricda se extiende tambin a la superconexin
End(), y la denotamos por d
End
.
3.6 Denicin. Sea una superconexin afn y sean X y Y superderivaciones. La curva-
tura de es el supertensor
R
X,Y
=
X
,
Y

X,Y
.
La torsin de es el supertensor T
(X, Y ) =
X
Y (1)
|X||Y |
Y
X X, Y .
3.7 Proposicin. La curvatura R
es una 2-superforma con valores en End(T(M[1M)).

Demostracin. De la denicin 3.4 obtenemos que d
Z(X, Y ) = R
X,Y
Z y por lo tanto
R
es una 2-superforma con valores en End(T(M[1M)).

Para el siguiente resultado, necesitaremos un operador combinatorio. Si A es una aplica-
cin k-multilineal sobre algn espacio vectorial W, denimos
S
k
(A)(w
1
, . . . , w
k
) :=
S
k
A(v
(1)
, . . . , v
(k)
); (3.5)
a este operador lo denomimanos suma cclica. Por ejemplo, la identidad de Jacobi para el
supercorchete de Lie es equivalente a la ecuacin
S
3
_
(1)
|X||Z|
X, Y , Z
_
= 0
3.3. La superconexin de Levi-Civita 35
Denimos tambin el operador R
(X, Y, Z) por la ecuacin

R
(X, Y, Z) = R
X,Y
(Z).
Concentraremos nuestro estudio en superconexiones libres de torsin; esto es, superconexio-
nes tales que T
0.
3.8 Proposicin (Primera identidad de Bianchi). Sea una superconexin afn en (M[1M)
libre de torsin (i.e. T
0) y sean X, Y, Z superderivaciones. Entonces

S
3
((1)
|X||Z|
R(X, Y, Z)) = 0 (3.6)
Demostracin. Recordemos que el operador de curvatura est dado por
R
X,Y
=
X
,
Y

X,Y
.
Al calcular la suma cclica de (1)
|X||Z|
R
X,Y
Z obtenemos
S
3
_
(1)
|X||Z|
(
X
,
Y
(Z)
X,Y
Z)
_
= S
3
_
(1)
|X||Z|
X, Y , Z
_
= 0,
ya que la ltima suma cclica es la identidad de Jacobi.
3.9 Proposicin (Segunda identidad de Bianchi). Sea una superconexin afn libre de
torsin en la supervariedad (M[1M). Entonces
d
End()
R
= 0 (3.7)
Demostracin. Por la denicin de la derivada exterior torcida, tenemos
d
End()
R
(X, Y, Z) = S
3
((1)
|X||Z|
End()
X
R
Y.Z
) S
3
((1)
|X||Z|
R
X,Y ,Z
)
= S
3
((1)
|X||Z|
X
, R
Y,Z
) S
3
(R
X,Y ,Z
)
= S
3
((1)
|X||Z|
X
,
Y
,
Z
)
+ S
3
((1)
|X||Z|
X,Y
,
Z
) S
3
((1)
|X||Z|
X,Y
,
Z
)
= 0
3.3. La superconexin de Levi-Civita
En esta ltima seccin estudiaremos los fundamentos de la supergeometra riemanniana.
Probaremos la existencia y unicidad de la superconexin de Levi-Civita para mtricas pares,
y tambin probaremos que las simetras usuales del tensor de curvatura clsico se extienden,
salvo signos, al supertensor de curvatura. Nuestra referencia principal es [3].
3.10 Denicin. Sea (M[1M) una supervariedad. Una supermtrica riemanniana es
una seccin del haz Sym
2
(T(M[1M)) que es no degenerada; esto es, si X ,= 0 es una
superderivacin, entonces existe una superderivacin Y tal que (X, Y ) ,= 0.
El hecho de que es supersimtrica se traduce en la siguiente ecuacin: si X y Y
son derivaciones homogneas, entonces (X, Y ) = (1)
|X||Y |
(Y, X). Una mtrica es par
si (X, Y ) = 0 cuando X y Y sean homogneos de distinta paridad.
Si V = V
0
V
1
es un superespacio vectorial, un superproducto escalar par es la suma
de un producto escalar no degenerado g (posiblemente con signatura) en V
0
y una forma
alternante en V
1
; en particular, esto fuerza al subespacio V
1
a ser de dimensin par (cf. [3,
seccin 4.1]). Esto implica, en el caso de una supervariedad (M[1M), que una supermtrica
fuerza al haz 1M a ser de rango par; as mismo, induce una mtrica pseudorriemanniana
en TM.
3.11 Denicin. Sea una supermtrica riemanniana par y una superconexin afn. La
conexin es compatible con la mtrica si
X((Y, Z)) = (
X
Y, Z) + (1)
|Y ||X|
(Y,
X
Z)
para cualesquiera superderivaciones X, Y y Z.
3.12 Teorema. Sea una supermtrica riemanniana par en la supervariedad (M[1M).
Existe una nica superconexin libre de torsin y compatible con en (M[1M).
Demostracin. La conexin en cuestin est dada por la frmula
2(
X
Y, Z) = X((Y, Z)) (1)
|Z|(|X|+|Y |)
Z((X, Y )) + (1)
|X|(|Y |+|Z|)
Y ((Z, X))
+ (X, Y , Z) (1)
|Y |(|Z|+|X|)
(Y, Z, X)
+ (1)
|Z|(|Y |+|X|)
(Z, X, Y ).
(3.8)
Primeramente observemos que
X((Y, Z)) + (1)
|X|(|Y |+|Z|)
Y ((Z, X)) (1)
|Z|(|X|+|Y |)
Z((X, Y ))
= (
X
Y (1)
|X||Y |
Y
X, Z) + (1)
|Y ||Z|
(
X
Z (1)
|Z||X|
Z
X, Y )
+ (1)
|X|(|Y |+|Z|)
(
Y
Z (1)
|Y ||Z|
)
Z
Y, X)
= (X, Y , Z) + (1)
|Y ||Z|
(X, Z, Y ) + (1)
|X|(|Y |+|Z|)
(Y, Z, X).
Usando la expresin (3.8), obtenemos que el ltimo trmino del desarrollo anterior es igual
a
2(
X
Y, Z) X((Y, Z)) + (1)
|Z|(|X|+|Y |)
Z((Y, X)) + (1)
|X|(|Y |+|Z|)
Y ((Z, X))
De esta manera, si denimos usando la ecuacin (3.8), obtenemos la unicidad. Despejando
el trmino X(Y, Z) y sustituyendo los trminos correspondientes a Z(X, Y ) y Y (Z, X)
vemos que la frmula en efecto dene una conexin libre de torsin y compatible con .
3.13 Denicin. La superconexin de Levi-Civita de la supermtrica es la conexin
del teorema 3.12.
El supertensor de curvatura de la superconexin de Levi-Civita est dada de la misma
manera que en la denicin 3.6.
3.3. La superconexin de Levi-Civita 37
3.14 Proposicin. El supertensor (R
X,Y
Z, W) es supersimtrico por pares, esto es
(R
X,Y
Z, W) = (1)
(|X|+|Y |)(|Z|+|W|)
(R
Z,W
X, Y ) (3.9)
Demostracin. Este resultado es consecuencia de la proposicin 3.7 y de la primera identidad
de Bianchi.
Apndice A
Operadores diferenciales lineales
En este apndice haremos un breve resumen de los conceptos y las tcnicas geomtricas y
diferenciales usadas a lo largo del trabajo.
A.1. Conceptos fundamentales
A.1 Denicin. Sea M una variedad suave y sean : E M y :

E M haces
vectoriales sobre M. Un operador diferencial lineal entre E y

E es una aplicacin R-
lineal D : (E) (
E) que es local ; esto es, si U M es abierto, y y psi son secciones

de E tales que [
U
= [
U
entonces D([
U
) = D([
U
).
La condicin de localidad fuerza a D a ser un homomorsmo de gavillas.
Si f es una funcin suave en M y es una seccin de E entonces se dene el conmutador
[D, f]() := D(f) fD() (A.1)
Al iterar el conmutador con ms funciones suaves, es posible que exista un nmero entero
k > 0 tal que el conmutador con k + 1 funciones sea nulo.
A.2 Denicin. El operador D es de orden k, con k un entero positivo, si para cualesquiera
k + 1 funciones suaves en M, f
1
, . . . , f
k+1
se tiene que
[. . . [[D, f
1
], f
2
], . . . , f
k+1
] = 0
A continuacin daremos una frmula para calcular el conmutador iterado de D y k
funciones suaves en M. El resultado importante que se desprende de esta frmula es que
el resultado del conmutador iterado no depende del orden en que se insertan las funciones
suaves.
A.3 Lema. Sea f
1
, . . . f
k
un conjunto de funciones suaves en M con k > 1 y denamos
K := 1, . . . , k. El conmutador iterado de D y estas k funciones est dado por
[. . . [[D, f
1
], f
2
], . . . , f
k
]() =
AK
(1)
#(A)
f
A
D(f
KA
), (A.2)
39
40 Apndice A. Operadores diferenciales lineales
donde es una seccin de E, #(A) denota la cardinalidad de A y denimos
f
A
=
_
aA
f
a
, A ,=
1, A =
Demostracin. Por induccin sobre k. Si k = 2 entonces calculamos
[[D, f
1
], f
2
]() = [D, f
1
](f
2
) f
2
[D, f
1
]()
= D(f
1
f
2
) f
1
D(f
2
) f
2
D(f
1
) + f
1
f
2
D()
=
A{1,2}
(1)
#(A)
f
A
D(f
{1,2}A
).
Supongamos que la frmula (A.2) es vlida para todos los enteros l menores que k. Sea
L := 1, . . . , k 1. Calculamos ahora
[[ [[D, f
1
], f
2
], . . . , f
k1
], f
k
]() =
AL
(1)
#(A)
f
A
D(f
LA
f
k
)
AL
(1)
#(A)
f
A
f
k
D(f
LA
)
Si A L es no vaco y escribimos A =
1
, . . .
r
y LA =
1
, . . .
s
, entonces la frmula
anterior toma la forma
[[ [[D, f
1
], f
2
], . . . , f
k1
], f
k
]() =
r+s=k1
(1)
r
f
1
f
r
D(f
1
f
s
f
k
)
r+s=k1
(1)
r
f
1
f
r
f
k
D(f
1
f
s
)
f
k
D(f
1
f
k1
) + D(f
1
f
k
)
=
AK
(1)
#(A)
f
A
D(f
KA
),
(A.3)
donde K := 1, . . . , k, ya que (1)
k1
D(f
1
f
k
) = (1)
k
D(f
1
f
k
).
A.4 Proposicin. Si f
1
, . . . , f
k
son funciones suaves en M entonces
[ [[D, f
1
], f
2
], . . . , f
k
] = [. . . [[D, f
(1)
], f
(2)
], . . . , f
(k)
]
para toda permutacin S
k
.
Demostracin. Si S
k
y A K entonces #((A)) = #(A) y acta transitivamente
en subconjuntos de cardinalidad dada. Por lo tanto, la frmula (A.2) queda invariante bajo
permutaciones del conjunto f
1
, . . . f
k
.
En vista de esta proposicin, escribiremos [D; f
1
, . . . , f
k
] para el conmutador iterado del
operador D con las funciones f
1
, . . . , f
k
.
A.5 Denicin. Sea D : (E) (
E) un operador diferencial de orden k y sean f

1
, . . . , f
k
funciones suaves en M. El smbolo principal de D evaluado en las funciones f
1
, . . . , f
k
es
(D; f
1
, . . . , f
k
) := [D; f
1
, . . . , f
k
]
A.2. Jets de secciones 41
A.2. Jets de secciones
Sea T

//
M un haz brado suave. Si U M es un abierto tal que T[
U
es trivial, i.e.
T[
U

= U F (donde F es la bra tpica del haz), entonces una seccin sobre U es una
funcin suave : U F.
A.6 Denicin. Sean y secciones locales sobre U del haz T y k un entero no negativo.
Las secciones y estn en contacto de orden k en el punto p en M si
p
() =
p
(), k
en algn (y por lo tanto, en todo) sistema de coordenadas locales en U. Denotamos esta
relacin por
k,p
.
Notemos que, en particular,
0
p
() =
0
p
(). Esto es, (p) = (p). A partir de esta relacin
de equivalencia, obtenemos la denicin de jets de secciones locales:
A.7 Denicin. Para un punto p en M el conjunto de clases de equivalencia de contacto
hasta orden k,
Jet
k
p
(T) = (T[
U
) /
k,p
es el espacio de k-jets en el punto p. Denotamos la clase de equivalencia de en este
conjunto por jet
k
p
(). El haz de k-jets del haz brado T es
Jet
k
(T) :=
_
pM
Jet
k
p
(T)
Notemos que el haz Jet
k
(T) tiene un mapeo natural ev : Jet
k
(T) T dado por
ev(jet
k
p
()) = (p).
Si T es un haz vectorial E M (resp. un haz de lgebras), entonces Jet
k
(c) es tambin
un haz vectorial (resp. un haz de lgebras) con la suma denida por jet
k
p
( +) = jet
k
p
() +
jet
k
p
() (y el producto denido anlogamente: jet
k
p
() = jet
k
p
() jet
k
p
() para cada punto p).
Si M es una variedad suave, denimos el ideal I
p
como el ideal de funciones que se anulan
en el punto p; es decir
I
p
:= f (
(M)[f(p) = 0. (A.4)
Las potencias de este ideal nos permiten caracterizar el haz de k-jets de un haz vectorial.
Recordemos que I
n
p
= f
1
f
n
[f
I
p
, es decir sus elementos son sumas de productos de
n funciones en I
p
.
A.8 Lema (Frmula de Taylor con residuo). Sea h : R
m
R
n
suave. El polinomio de
Taylor de grado k de h alrededor del 0 est dada por la frmula
h( x
1
, . . . , x
m
) =
k
r=0
1
r!
m
1
,...,r=1
x
1
. . . x
r

r
h
x
1
. . . x
r
( 0, . . . , 0 )
+
1
k!
m
0
,...,
k
=1
x
0
. . . x
k
_
1
0
k+1
h
x
0
. . . x
k
( tx
1
, . . . , tx
m
) (1 t)
k
dt
42 Apndice A. Operadores diferenciales lineales
A.9 Proposicin. Sean E un haz vectorial sobre M y p un punto de M. Entonces Jet
k
p
(E)
=
(E) /I
k+1
p
(E).
Demostracin. Sean x
1
, . . . , x
m
coordenadas alrededor de p. Si f
1
f
k+1
es un elemento
de I
k+1
p
(E) entonces la relacin de contacto hasta orden k implica que
l
x
1
x
p
(f
1
f
k+1
) = 0,
para todo l k, ya que tomar l derivadas parciales de k + 1 funciones suaves implica que
al menos una de las funciones aparece en el desarrollo de la regla generalizada de Leibniz
sin derivar, y esta funcin es 0 en p. Esto signica que jet
k
p
(f
1
f
k+1
) = 0 para cua-
lesquiera f
1
, . . . , f
k
funciones en I
k+1
p
. Si denimos : (E) /I
k+1
p
(E) Jet
k
p
(E), por
( + I
k+1
p
(E)) = jet
k
p
() entonces, en vista de las observaciones anteriores, est bien
denida y es sobreyectiva por construccin. Para probar que es inyectiva observemos que al
escoger una trivializacin de E sobre un abierto U, entonces una seccin es esencialmente
una funcin suave : R
m
R
n
, donde n es el rango de E y m es la dimensin de M; por
lo tanto, por la frmula de Taylor, tenemos que ( +I
k+1
p
) = 0 si y slo si su polinomio de
Taylor alrededor de p es nulo y por lo tanto jet
k
p
() = 0, ya que jet
k
p
() es independiente de
la eleccin de coordenadas locales. Por lo tanto, es un isomorsmo.
Usando la expresin de jet
k
p
() en coordenadas locales obtenemos el siguiente:
A.10 Corolario. El operador jet
k
: E Jet
k
(E) es un operador diferencial de orden k.
Ahora probaremos un isomorsmo ms para el haz Jet
k
(E). A diferencia del isomorsmo
anterior, el siguiente isomorsmo no es cannico.
A.11 Denicin. Sea D una conexin en el haz E y sea una conexin libre de tor-
sin en TM. Las derivadas covariantes iteradas de una seccin (E) estn dadas
recursivamente por D
0
= y
D
k+1
X
0
,...,X
k
= D
X
0
_
D
k
X
1
,...,X
k
=1
D
k
X
1
,...,
X
0
X,...X
k
para cualesquiera campos vectoriales X

0
, . . . , X
k
en M.
Claramente, las derivadas covariantes iteradas dependen del orden en que tomemos los
campos vectoriales X
0
, . . . , X
l
; sin embargo, mediante la frmula
J
,D,l
X
1
X
l
() =
1
l!
S
l
D
l
X
(1)
,...,X
(l)
() (A.5)
obtenemos un operador simtrico en
l
TM y por lo tanto, una seccin de Sym
l
T
M E.
El siguiente resultado es inmediato al usar la frmula de Taylor para conexiones D en E y
en TM con libre de torsin:
A.2. Jets de secciones 43
A.12 Proposicin. Sea E un haz vectorial y sean y D conexiones en TM y E res-
pectivamente donde es libre de torsin. Entonces Jet
k
E

= Sym
k
T
M E como haces
vectoriales, mediante la aplicacin jet
k
J
,D,0
() + J
,D,1
() + + J
,D,k
().
Notemos que los conmutadores iterados de D son tambin operadores diferenciales; esto
es, si D : (E) (F) es un operador de orden k entonces [D; f
1
, . . . , f
l
] : (E) (F)
es un operador diferencial de orden k l, con 0 l k. La proposicin anterior nos
permite asociar (de manera no cannica) un polinomio de grado k en campos vectoriales a
un operador diferencial de orden k.
A.13 Denicin. Sea D : (E) (F) un operador diferencial de orden k. El smbolo
total de D es el polinomio asociado
total
(D)
_
Sym
k
T
M E
_
.
Utilizando el smbolo total del operador D obtenemos el siguiente resultado:
A.14 Proposicin. Si D : (E) (
E) un operador diferencial de orden k 0 entonces

D induce un morsmo de haces vectoriales

D : Jet
k
(E)

E
Demostracin. El morsmo est dado por
total
(D, )(), donde el segundo argumento
del smbolo total es una forma simtrica en las diferenciales de l funciones suaves para
l k.
A.15 Denicin. Sean M y N variedades suaves, : E N un haz vectorial y f : M N
una aplicacin suave. El haz jalado o pullback de E bajo f es el haz vectorial denido
sobre M por
f
E := (p, e) M E[(e) = f(p)

A.16 Denicin. Sean : E M y : F N haces vectoriales sobre las variedades
suaves M y N y sea : M N una aplicacin suave. Un operador diferencial a lo largo
de es una apliacin R-lineal D : (F) (E) tal que si h es una funcin suave en N
entonces el conmutador est denido por
[D, h]() := D(h) (h )D()
para toda seccin de F. El operador tiene orden k 0 si [[. . . [D, f
1
], f
2
], . . . , f
k+1
] = 0
para cualesquiera k + 1 funciones suaves f
1
, . . . , f
k+1
en N.
Notemos que para un operador a lo largo de una aplicacin suave, la denicin del
conmutador iterado es escencialmente la misma dada por la frmula de la proposicin A.4
salvo que las funciones suaves en este caso van acompaadas de la aplicacin , al igual que
todo lo que hemos dicho sobre operadores diferenciales y sus smbolos total y principal.
Bibliografa
[1] Marjorie Batchelor. The structure of supermanifolds. Transactions of the American
Mathematical Society, 253:329338, Sept. 1979.
[2] Theodor Brcker and Klaus Jnich. Introduction to dierential topology. Cambridge
University Press, Cambridge, 1982.
[3] Oliver Goertsches. Riemannian supergeometry. Mathematische Zeitschrift, 260:557593,
2008. 10.1007/s00209-007-0288-z.
[4] Jos M. Gracia-Bonda, Joseph C. Vrilly, and Hctor Figueroa. Elements of noncommu-
tative geometry. Birkhuser Advanced Texts: Basler Lehrbcher. [Birkhuser Advanced
Texts: Basel Textbooks]. Birkhuser Boston Inc., Boston, MA, 2001.
[5] Nathan Jacobson. Basic Algebra I. Dover Publications, 2 edition, 2009.
[6] Jet Nestruev. Smooth manifolds and observables, volume 220 of Graduate Texts in
Mathematics. Springer-Verlag, New York, 2003.
[7] D. G. Northcott. Multilinear algebra. Cambridge University Press, 1984.
[8] Alice Rogers. Supermanifolds. World Scientic Publishing Co. Pte. Ltd., Hackensack,
NJ, 2007. Theory and applications.
[9] Kenji Ueno. Algebraic geometry. 1, volume 185 of Translations of Mathematical Mono-
graphs. American Mathematical Society, Providence, RI, 1999.
[10] V. S. Varadarajan. Supersymmetry for mathematicians: an introduction, volume 11
of Courant Lecture Notes in Mathematics. New York University Courant Institute of
Mathematical Sciences, New York, 2004.
45

Tesis

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Tesis

Încărcat de

Drepturi de autor:

Formate disponibile

UNIVERSIDAD NACIONAL AUTNOMA DE MXICO

de un espacio topolgico M y homeomorsmos

(M) de funciones diferenciables f : M R y denir una variedad diferenciable como

:= v V [ T(v) = v. Esto da una descomposicin V

y la multplicacin Z-graduada induce una multplicacin Z

D, y sean y elementos arbitrarios de V

como lgebra, tenemos que D =

y v V se dene v como el tensor cuyo primer argumento

. Lo primero que hay que

es una antiderivacin, ya que si w es cualquier vector en V , tenemos

genera esta lgebra) y

V es el espacio de formas impares (ejemplo 1.14).

, entonces tenemos la siguiente identidad de polarizacin:

)), entonces vemos que es una forma de grado impar.

1.31 Proposicin. Si A es una sper lgebra entonces der

homomorsmos de lgebras sper conmutativas con

es combinacin lineal de monomios en los elementos de V

) de sper homomorsmos unitales entre

y su descomposicin como sper espacio

Demostracin. Si F es un homomorsmo par, entonces F

, ya que los generadores son elementos impares. Si F es impar,

es un morsmo unital y est en el ideal

entonces existe un entero positivo r y una forma en el subespacio

V , se construyen las lgebras exterior

al ideal generado por elementos de la forma xyC(xy)

V . Como todo v en V tiene la descom-

son ideales homogneos.

es homogneo. Esto es equivalente a la accin torcida de la trans-

son de la misma paridad. Si todos los v

en este caso es 0 porque no hay elementos impares; por

son impares, entonces sgn

= sgn ya que todos los elementos

. En vista del diagrama (2.3), obtenemos las igualdades

. Al iterar el conmutador denido en la ecuacin (2.4), de la ecuacin

) de espacios anillados es equivalente a un par (f[F), donde

) es un operador diferencial a lo largo de f de orden menor o igual que

(ver, por ejemplo, [10, seccin 4.2]).

(M): una seccin s (E) es tal

(M) y s (E). Como la dimensin de la

(M)-mdulos localmente libres y haces vectoriales sobre M.

(M)-mdulos proyectivos (sumandos de mdulos

(M)-mdulos tienen tambin la estructura de lgebras sper-

M) es naturalmente una superlgebra; de esta manera obtenemos la supervariedad

M)) de superdimensin (n[n).

es tambin un haz vectorial. El espacio de secciones de este ltimo, al igual que el

M. Ms an, si : F N es un haz vectorial suave

(cf. A.15). Este morsmo es Z-graduado y por lo tanto tambin

por , entonces cualquier elemento

) se puede escribir como =

y en particular si g es una funcin suave en N, tenemos

, g] como en la frmula (2.4) obtenemos

es un operador diferencial de orden 0 a lo largo de f. Resumiendo, obte-

), y por lo tanto es un morsmo entre

M) queda determinada por su haz de direcciones impares.

asociadas a morsmos de haces

M entre los haces tangente

N) denotan los haces jalados (ver

es la derivada de ; esto es, si X

(M)) = (TM). Si f y g son funciones suaves en M y X es un campo

(M)-lineal. Esto es, si es una sper funcin, A(f) = fA().

). Las superderivaciones de este espacio son funciones

. Esto implica que una tal superderivacin

U). Por lo tanto, al elegir generadores locales en el abierto U obtenemos la