Morfismos diferenciables topolgicamente lisos.

Caracterizaciones y aplicaciones

Joaqun M Ortega Aramburu

ADVERTIMENT. La consulta daquesta tesi queda condicionada a lacceptaci de les segents condicions d's: La difusi
daquesta tesi per mitj del servei TDX (www.tesisenxarxa.net) ha estat autoritzada pels titulars dels drets de propietat
intellectual nicament per a usos privats emmarcats en activitats dinvestigaci i docncia. No sautoritza la seva
reproducci amb finalitats de lucre ni la seva difusi i posada a disposici des dun lloc ali al servei TDX. No sautoritza la
presentaci del seu contingut en una finestra o marc ali a TDX (framing). Aquesta reserva de drets afecta tant al resum
de presentaci de la tesi com als seus continguts. En la utilitzaci o cita de parts de la tesi s obligat indicar el nom de la
persona autora.

ADVERTENCIA. La consulta de esta tesis queda condicionada a la aceptacin de las siguientes condiciones de uso: La
difusin de esta tesis por medio del servicio TDR (www.tesisenred.net) ha sido autorizada por los titulares de los derechos
de propiedad intelectual nicamente para usos privados enmarcados en actividades de investigacin y docencia. No se
autoriza su reproduccin con finalidades de lucro ni su difusin y puesta a disposicin desde un sitio ajeno al servicio
TDR. No se autoriza la presentacin de su contenido en una ventana o marco ajeno a TDR (framing). Esta reserva de
derechos afecta tanto al resumen de presentacin de la tesis como a sus contenidos. En la utilizacin o cita de partes de
la tesis es obligado indicar el nombre de la persona autora.

WARNING. On having consulted this thesis youre accepting the following use conditions: Spreading this thesis by the
TDX (www.tesisenxarxa.net) service has been authorized by the titular of the intellectual property rights only for private
uses placed in investigation and teaching activities. Reproduction with lucrative aims is not authorized neither its spreading
and availability from a site foreign to the TDX service. Introducing its content in a window or frame foreign to the TDX
service is not authorized (framing). This rights affect to the presentation summary of the thesis as well as to its contents. In
the using or citation of parts of the thesis its obliged to indicate the name of the author.
 MORFIFMOS DIFERENCIABLES TOPOLOGICAMENTE

LIFOS CARACTERIZACIONES Y APLICACIONES

o Si
i' 3
V
o / r J-
OJ

Memoria presentada por Joaqun Ma Ortega Araiwburu para aspirar

_
al grado de Doctor en Ciencias Ktem&tlcas y
 INTRODUCCION

Ista memoria recoge alqunos de los puntos fundamentales e

inditos crue han aparecido al iniciar un estudio sobre los m
todos espectrales en Anlisis y, en particular, sobre los ani
los y estructuras diferenciables Dicho estudio se ha reali-
zado bajo la direccin del profesor Dr J Sancho Guimer y en
colaboracin con J Muoz El camino recorrido puede seguirse
a travs del articulo "cobre las lgebras localmente convexas"
de J MuQz y J Orteqa (Coli Math 1969), la memoria "caracteri
zacin de las lgebras diferenciables y sntesis espectral pa
ra mdulos sobre tales loebras", tesis doctoral de J Muoz y
la presente memoria

Fara centrar debidamente el tema, resumamos el problema

que resuelve el teorema de extensin de Whitney Sea K un com
pacto de R n Si a cada funcin de C00 (Rn) le asignamos el desa
rrollo de Taylor de dicha funcin en cada uno. de los puntos
de K obtenemos una aplicacin continua de K en el anillo de
las series formales en n variables CCCj] Esta asignacin es
09 n
un morfismo de C (R ) en C(K,CLtC]J) cuyo ncleo p K es el
cierre del ideal de nulidades de K Fl teorema de extensin de
Whitney da una condicin sobre una funcin de C(K,C[[]J) pa-
se n
ra crue provencra de una funcin de C (F ) Tn este sentido este
teorema constituye una caracterizacin de C(Rn)/f>K = W(K) ,
"lgebra de Whitney en K", pero es una caracterizacin, elemen
to a elemento, para una particular representacin del anillo
es una caracterizacin no intrnseca Despues de {11} dispone-
mos ya de una caracterizacin intrnseca de este anillo que
puede formularse asi
En la clase de lgebras que se preeisa (0 4 ) la condicin
necesaria y suficiente para que un lgebra A sea el lgebra de
 11

pn
Ihitney de ur ccrractc de es aue se verifiaue

1 A est CTcneradc topolaicairente por n elementos auto

conjucrados
2 D^, diaoonal de , es un ideal finito crenerado de
Ag^A V

3 Tara cada m, D^ es cerrado en A^A y Gradp (A^A) es

A
el anillo de polinomios en n variables

Tor otra larte, paralelamente a la nocin alaebraica de

CrotbendiecI de morfismo diferenciablemente liso pocemos dar
la siauiente definicin Direnos aue el morfismo de C en P,
A un lccvra de ^rchet, es diferenciable topolrricame; te l_i
so (^ara abreviar en toda la teora hablaremos de morfismo
topolai mente xiso t liso) si se verifica

1 D^ es un ideal finito crenerado de

2 m es cerrado en A A,
Para cada ir, r^ 2 es un
C

A-mdulo proyectivo y Grad^ (ACA) = Simetr^ffi^)

A

Tendremos entonces aue para un lgebra de Whitney sobre un

compacto de P n , el morfismo C V (K) es t liso Fl teorema re
cproco no es cierto TI capitulo II est dedicado a demostrar
que en la clase de lcrebras que all se precisa el morfismo
C -> A es t liso si y solamente si A es el cociente del anillo
de las funciones infinitamente diferenciables en una variedad
mdulo el cierre del ideal de nulidades de un compacto de la
misma

ri mtodo, ya consagrado, del estudio sistemtico de los

morfismos morfismo finito, morfismo plano, morfismo liso,
tiene su desarrollo natural en nuestro contexto as, en el
apartado segundo del capitulo III se aborda el estudio del mor
 Ill

fismo t liso entre dos lcebras Si el lccbra (X es una exten

sir trivial finita de A, siempre en la clase de lcrebras que
se precisarn, es decir, si Cl=EcA con E topolcicamente fini-
te crenerado el morfismo es t liso si y solo si (X es co
cente de las funciones infinitamente diferenciables en una va-
riedad con valores en A, mdulo el cierre del ideal de nulida-
des de un compacto de la misma Puede caracterizarse tambin el
caso particular en crue la variedad sea F n Fl problema eue se
resuelve es pues del tipo del de la "extensin de rhitnev , pero
por medio de una caracterizacin 'a lo Celfand", para varieda-
des y conjcoefcientes en un anillo e demuestra tambin crue la
nocin de t liso es de caracter local, con lo que se caracteri-
za un anillo cue sea localmente del tipo anterior

Puesto oue los mdulos de diferenciales crue nos apare-

can eran mdulos de Frchet libres en entornos estudiamos los
mdulos de Frchet finito crenerados sobre L-laebras sobre
F*-lgebras y obtuvimos la equivalencia entre stos, los local
mente libres, los proyectivos y los planos (apartado 3 captu-
lo I)

El capitulo I y la primera parte del captulo III son, bsJL

camente, de preparacin para los teoremas de caracterizacin
anteriormente citados

El problema de la caracterizacin del anillo cociente del de

las funciones infinitamente diferenciables en una variedad por
el ideal de nulidades de un compacto/ a partir del conocido para
un compacto de P1} es un problema, en parte, de localizacin El
primer paso que haba que realizar era el de construir una teo-
ra de la localizacin para un tipo de lcrebras (L-lqebras)
que, como las oue intentbamos caracterizar, podan tener radi-
cal Esta teora junto con la de localizacin para mdulos de
Frchet sobre tales loebras se da en los apartados 1 y 2 del
captulo I Se estudia en ellos la teora general de la locali
zacin, la localizacin de un producto tensorial de lgebras,
 IV

la localizacin de la diaconal y la del graduado de por

este ideal ri lector excusar la aridez de alcrunas demostra
ciones, nue el cran nmero de puntos a justificar ha hecho
inevitable En la secunda narte del captulo III se vuelve
al problema de la localizacin para productos tensoriales de
^-laebras v mdulos sobre las mismas

Tn el primer apartado del capitulo III se estudian las de

rivaciones v diferenciales nara -lcrebras de Frchet y se
dar para ellas propiedades anlooas a las algebraicas de las
diferenciales de Kalher

Tn el capitulo IV se describen diversos ejemplos de norfis

mos t lisos nue tienen nteres en Anlisis Se definen los mor
fisrros t lisos asociados a un fibrado trivial de base Spec (A)
y fibra P n una variedad, as como el asociado a un mdulo
proyectivo crue son las A-secciones de un fibrado localmente
trivial de fibra P n De esta forma la estructura diferenciable
ce las fibras se transporta a una "estructura A-diferenciable'
en las ^-secciones de dichos fibrados c e demuestra crue la A-va
riedad de las A-secciones del fibrado trivial de fibra una varie
dad es localmente isomorfo a un mdulo proyectivo de los citados
anteriormente Como resultado marginal y como muestra de las po-
sibilidades de estos planteamientos se observa como la demostra-
cin del teorema de existencia de soluciones en ecuaciones dife-
renciales ordinarias da directamente el teorema de dependencia
diferenciable de las soluciones respecto a las condiciones ini-
ciales y respecto a una familia de parmetros de las oue depen-
de la propia ecuacin diferencial

Es una obligacin y al tiempo una gran satisfaccin acabar

estas lneas con un recuerdo a todos los oue hicieron posible
el trabajo, en particular estoy en deuda con todos los profe-
sores de licenciatura que me dieron la formacin bsica mate-
mtica, con los componentes del Departamente de Algebra y Fun
damentos gue aportaron cuantas aclaraciones y ayuda les fu re-
 V

querida en forma especialsima agradezco a J Muoz, compafie

ro de estudios, toda la colaboracin prestada

Al profesor Dr J Sancho Guimer le debo, adems de todas

las directrices bsicas del trabajo, erran parte de mi forma-
cin de postaraduado Mi agradecimiento y el deseo de que es
ta memoria sea fiel reflejo de las enseanzas recibidas
 CAPITULO CERO

REFERENCIAS

En este captulo se da un resumen de algunos de los resultados

y definiciones en aue se basa la memoria Paremos uso en ella, sin
ulterior referencia a cuestiones generales sobre espacios vectoria
les topolgicos , topologa, lgebra y anlisis en aeneral No obs
tante hemos credo de utilidad hacer una breve alusin a resulta^
dos previos directamente vinculados con el contenido del trabajo
Las demostraciones y una mayor informacin sobre todos ellos pueden
encontrarse en la bibliografa que se cita especficamente

0 1 Referencias a la teora de productos tensoriales en espacios

vectoriales topolgicos

0 11 Topologa * del producto tensorial de dos espacios vectoria

les localmente convexos

Dados dos espacios vectoriales topolgicos localmente convexos

( e l e ) E y F sobre un cuerpo K (cuerpo de los nmeros reales
complejos) el dual de E F puede identificarse a las aplicaciones
bilineales de E x F en K De esta forma se puede dotar a E F de uiia
topologa de e 1 c la topologa de la convergencia uniforme sobre
las partes equicontnuas de las aplicaciones bilineales continuas de
E X F en K Dicha topologa se llama topologa * y es la ms fina
 -2

crue hace la aplicacin bilineal cannica Ex F continua

Esta topolocra puede caracterizarse por la sicruiente propiedad
universal
En E F existe una nica topologa de e 1 c E.^ t a l <3ue para
todo espacio G, los espacios de las aplicaciones bilmeales con
tinuas de E X F en G y de las aplicaciones lineales continuas
de E nF en G son cannicamente isomorfas y en el isomorfismo se
1

corresponden las partes equicontmuas de estos espacios

Si Ej E2 y Fi F2 son aplicaciones continuas entre e
1 c (respectivamente epimorfismos) la aplicacin cannica
ip9ip y e 2, f 2 e s continua (respectivamente epimorfismo)
La completacin de E^F se escribe Eg^F o simplemente E F
Dados un sistema fundamental de seminormas {p } en E y {qy}en
A

F un sistema fundamental de seminormas en E 71F es

p x q w ( u ) = inf {Z p ^ x ^ q (y^) u= i x ^ y^}
A partir de agu es fcil probar gue si F = lim E. y F=lim F
limites proyectivos estrictos, E F = lim (E^ F )
Si E y F son e 1 c metrizables cada elemento de E F es de
la forma l^ x^ y^^ con Z ^ | < -roo , x i --O en E e y 0 en F

0 12 Topologa c en el producto tensorlal

Dados E y F dos e 1 c podemos dotar a E F de la topologa de

la convergencia uniforme sobre los productos de partes equicontinuas
de E1 y F' A dicha topologa le llamaremos e y es menos fina o
coincide con la topologa * E F con esta topologa lo escrib
remos E F
e
Si Ej > E2 y Fj F2 son monomorfismos topolgicos de e 1 c
la aplicacin natural E ^ F x E 2 e F 2 es un monomorfismo topol-
gico
 3

0 13 Espacios nucleares
Un e 1 c F se dice nuclear si para todo e l e F , Ec^F es
isomorfo topolaicmente a FF
Dada una sucesin exacta de espacios y morfismos topolgicos
(q-ue llamaremos sucesin topolaicamente exacta para abreviar)
0 Ei e2 ^ E3 O

si F es nuclear, se tiene una sucesin topolgicamente exacta

0 E ^ F E2 F E3F " O
Si Ej, 1 E 3' Y F s o n espacios metrizables se deduce, como
consecuencia del teorema del grfico cerrado, la exactitud topo
lgica de la sucesin
O Ej^ F * E 2 F "" E 3 o F ->0
Los espacios nucleares verifican las siguientes propiedades
*dtr conservacin
Todo subespacio de un espacio nuclear es nuclear
Todo cociente de un nuclear es nuclear
Todo limite proyectivo de nucleares es nuclear
Todo limite inductivo numerable de nucleares es nuclear
El completado de un espacio nuclear es nuclear
El dual fuerte de un espacio de Frchet nuclear es nuclear

Necesitaremos el siguiente teorema general de los ncleos

Si E y F son e l e de Frchet y E es nuclear se tiene la
siguiente identidad
(E F) '= E ' F '

donde los duales estan dotados de sus respectivas topologas

fuertes
Un ejemplo de espacio nuclear que usaremos repetidamente es el
anillo de las funciones infinitamente diferenciables sobre una
 - 4

variedad diferenciable con su topologa habitual

Las demostraciones de estos resultados y un estudio detallado
de las mismas pueden verse en {6} y en {15} o en manuales comple
tos sobre espacios vectoriales topolgicos

0 2 Referencias a algebra conmutativa

Todos los anillos que manejaremos sern conmutativos

0 2 1 Anillo graduado de un anillo por un ideal

Dado un anillo Ci y un ideal D consideremos el anillo cociente

A = Ci /D c e define el A-mdulo graduado de Q, por D como la su-
ma directa

A $ D/D 2 D2/D3$-
que escribiremos brevemente C-radD ( (X ) Este A-mdulo se puede
dotar de un producto que hace de l una A-lgebra mediante las
aplicaciones producto naturales

Dm/Dm+1X d V 1
D n+ 7 D " f M t l

2
Si D/D es finito generado por e x , ,ek, Cra<iD( 61 ) es un
cociente del anillo
de polinomios A[X,,
1 /xvJ coincide
con l, D m /D + son mdulos libres de base el conjunto de las
clases de representantes e, con ai+ +a v = m
 -5

0 2 2 Simetrizado de un mdulo

Dado un A-mdulo y, consideremos el lcrebra tensorial sobre

M
A M (MaM) 9 ( M ^ M ^ M ) 9
El cociente de esta laebra por el ideal encrendrado por los
elementos se llama laebra simetrizada sobre M y lo
escribiremos imetrA(M) c i M es libre de dimensin n, Simetr^(M)
c

es isomorfo al lgebra de los polinomios en n variables a ccefjL

cientes en A
c
e puede verificar crue si S es un sistema multiplicativo en
el anillo A es cierta la aualdad
c
(Simetr.(M))
A c = imetr A (M_)
I_ , FC

Si B es un cociente de se tiene el isomorfismo de E-mdulos

E0 (SimetrA(tf)) = ?imetrB(BAM)

0 2 3 Mdulos proyectivos y planos

Un A-mdulo M se llama proyectivo si para toda sucesin exacta
de A-mdulos
N T O
la sucesin correspondiente
Fom (M,N) -Fom(M,T) -0
es exacta Para que un A-mdulo sea proyectivo es necesario y
suficiente oue sea factor directo de un mdulo libre
Un A-mdulo M es plano si para cada sucesin exacta de A-m6du
los
0
la sucesin
0 >-NAM >TPaM
es exacta
 - 6

Todo A-mdulo proyectivo es plano

Si el anillo es local y para mdulos finito generados existe
eq-uivalencia entre mdulos libres, proyectivos y planos
Sea M un mdulo finito generado M es proyectivo si y sola-
mente s cada punto del espectro primo de A admite un entorno
U (puntos J tales que para un f de A, f ^ p ) en el que la loca-
lizacin de M, M^ es un A^-mdulo libre
Para mdulos finito generados un mdulo M es plano si y sola-
mente s para cada punto j3 del espectro primo de A, Mp (locali-
zacin de M en p ) es un Af -mdulo libre En estas dos ultimas
caracterizaciones puede sustituirse el espectro primo por el mximo
Un A-mdulo M es de presentacin finita si existen dos A-mdu-
los libres L y R de bases finitas y una sucesin exacta
R " L M 0
Si M es de presentacin finita y N es un A-mdulo, para cada
sistema multiplicativo S de A
(FomA(M,N))s = IIomA (M gf F s )
S
De aqu y de las caracterizaciones anteriores puede deducirse
que para mdulos de presentacin finita coinciden los conceptos
de plano y proyectivo
La mayor parte de las demostraciones pueden verse en { 8 J

0 3 Referencias a la teora espectral para lgebras localmente

convexas y para mdulos sobre tales lgebras

0 3 1 Definiciones y representacin espectral para lgebras lo-

calmente convexas

Todas las lgebras que consideremos sern lgebras sobre el

 - 7

cuerpo complejo, conmutativas y con elemento unidad Se sobreen-

tendern estas condiciones al hablar simplemente de lgebras
Un lgebra A se dice localmente convexa ( a l e ) si est do-
tada de una topologa que hace de A un espacio localmente convexo
y de tal forma que exista una familia fundamental de seminormas
p , que verifiquen Px^a p
x p
X para cada * < I, aA
b * A Si dos seminormas p A , py cumplen la condicin anterior,
tambin la verifiiea sup(p.,p
y ), de donde puede suponerse que el
conjunto de ndices es filtrante creciente
Sea N el anulador de la seminorma p x (conjunto de elementos
de A anulados por p x ), es un ideal cerrado de A Sea A x =A/F y
n A A^ la proyeccin cannica, podemos dotar a esta lgebra
de la norma |* a|= p (a) Si es la completacin de A puede de-
X X ^X X
finirse en forma natural lim A ^ y comprobar que si A es completa,
A = lim A
En el caso en que A sea completa y la familia de seminormas de-
finidora de la topologa pueda tomarse numerable diremos que el
lgebra A es de Frchet
En toda a l e completa todo ideal maximal cerrado x es un hiper
plano, es decir, la aplicacin cannica A ^ A/x C, a x(a> es
un funcional lineal multiplicativo y continuo
Llamaremos espectro de un a 1 c completa A al conjunto de los
ideales maximales cerrados de A a cada uno de tales ideales le lia
maremos punto
Como el espectro de A (SpecA),) est sumergido en el dual topol
gico A' de A , se le puede dotar de la topologa dbil inducida por
A' A esta topologa se le llama topologa de Gelfand de SpectA) y
los elementos de A se representan como funciones continuas en el
SpecA) a(x) = x(a), considerando x en el segundo miembro como el
funcional lineal correspondiente a dicho ideal maximal Si denota-
mos con C(Spec/A)Jel lgebra de las C-funciones continuas en Spac(A)
 - 8

obtenemos as una representacin A C ( S p e c (A) )que llamaremos

representacin espectral del lgebra El ncleo de esta repre-
sentacin coincide con el radical de Jacobson de A y si esta
representacin es fiel se dice que A es semisimple
La condicin necesaria y suficiente para que un elemento de
? sea invertible es que representado como funcin continua no
tenga ceros en Spec(A)
El espectro de A puede dotarse de otra topologa natural, la
topologa inducida por la topolooa de Zariski definida en el
espectro primo de A, a esta topologa la llamamos topologa de
Zariski del Spec(A) La topologa de Gelfand es ms fina que la
de Zariski en general Un a 1 c se dice regular cuando ambas
topologas coinciden
Una *-lgebra es un lgebra dotada de una involucin a >a*
tal que (a + b)* = a*+ b* , ( Xa)* = , (a bf = b* a*
Una *-lgebra localmente convexa completa se dice simtrica
cuando se cumple una de las tres condiciones siguientes, que son
equivalentes
1 para cada a A , 1 + a a* es invertible
2 todo ideal maximal cerrado x es invariante por la
involucin
3 para cada a A y xeSpec(A), a* (x) = a (x)
Dada un lgebra simtrica llamaremos elementos hermticos o
autoconjugados a los invariantes por la involucin Si denotamos
por H al conjunto de dichos elementos se tiene A= H iH donde el
2
producto en H i H es el natural de polinomios en i, con i =-1 H
es entonces un lgebra real Los elementos de H se representan
sobre el Spec(A) como funciones valoradas en los nmeros reales
De esta forma, para este tipo de lgebras reales, partes hermlti
cas de lgebras simtricas puede darse un teorema de representa-
cin espectral
Para las lgebras de Frchet simtricas toda funcinal lineal
multiplicativa es ya continua De aqu se deduce, mediante el teo
rema de los homomorfismos, que si A es un lgebra simtrica y se-
 - 9

misimple, dos topologas que hagan de esta un lgebra de Frchet

son idnticas

0 3 2 Un lema del tipo de Urysohn para lgebras regulares

Sea A un lgebra de Frchet, I y J dos ideales cerrados tales

que I + J es denso en A, entonces 1 + J = A Dicho de otra forma,
si I y J son tales oue no tienen ceros comunes, 1+ J=A
De aqu que para lgebras de Frchet regulares existen parti-
ciones de la unidad correspondientes a recubrimientos finitos
Tambin puede deducirse de aqu que si A es un lgebra de Frchet
regular y semisimple y F es un cerrado del Spec(A), existe un ideal
Np contenido en todos los ideales cerrados cuyos ceros sean F Np
consta de todas las funciones a de A que se anulan en algn entorno
de F Np se llamar ideal de nulidades de F
Una informacin detallada de estas cuestiones puede verse en
{10}

0 3 3 Relaciones del espectro de un a 1 c A con su espectro de

ideales maximales y su espectro de ideales primos

Dada un a 1 c denotaremos Spec primo(A) al conjunto de ideales

primos de A y Specmx(A) al conjunto de ideales maximales de A
Ambos espacios los supondremos dotados de la topologa de Zariski
En el estudio de las a l e una diferencia bsica que se encuentr
respecto a las lgebras de Banach es que en las primeras el espectro
no tiene por qu ser compacto Si el espectro es compacto no hay ide
les densos, y por tanto Spec max(A) = Spec(A), en este caso las cues
tiones del apartado 0 3 2 son triviales Parece/ pues, natural procu-
rar reducir el estudio de a 1 c al estudio de a 1 c pero con espe
tro compacto Un lema fundamental para ello es el siguiente, que tie
ne nteres adems por si mismo
 - 10

Si A es un a 1 c completa semisimple regular y de espectro

compact (Spec(A)= Spec max(A)), todo ideal primo de A est con
tenido en un solo ideal maximal y la aplicacin que asigna a ca
da ideal primo el ideal maximal que lo contiene es una retrac-
cin continua del Spec primo(A) sobre Spec(A)
A toda lgebra simtrica A se le puede asignar otra B de es
pectro compacto sin ms que tomar los elementos acotados de A
en la ppresentacin espectral y dotar a B de la topologa reu-
nin de la dada y la inducida por la norma de la convergencia
uniforme sobre el Spec(A)
La inyeccin B A da una aplicacin Spec primo(A)->Spec-
primo^B) que compuesta con la retraccin anterior y con la in-
yeccin Spec max(A) Spec primo(A) da una aplicacin continua
Spec max (A) Spec (B)
De esta forma se demuestra el siguiente teorema
Sea A una -lgebra completa semisimple y simtrica, B la
sublgebra de los elementos acotados de A Si B es regular, A
es regular y Spec max (A) es homeomorfo a Spec(B)
As, el Spec(B) es una compacti2acin natural del Spec(A)
Bajo las mismas hiptesis la condicin necesaria y suficien
te para que Spec (A) sea localmente compcto es que entre los"
ideales densos de A exista uno mnimo, este ideal es el de las
funciones a soporte compacto y es el ideal de nulidades en B_l
cerrado * zona del infinito" Spec(B)-Spec(A)

Las demostraciones pueden verse en {10}

Puede adoptarse otro punto de vista sobre las compactizacio-
nes del espectro de una a l e {3} Consideremos en Spec(A) y
Spec max(A) los ceros de los ideales finito generados, la condi
cin necesaria y suficiente para que estos retdulos sean formal
mente el mismo es que en A no existan ideales finito generados
densos Esto ocurre as en las lgebras de Frchet {2} En estas
condiciones Spec max(A) es la compactizacin Wallman del Spec(A)
 - 11

Si, adems, A es regular, Spec(A) es normal (0 3 2 ) y las compac

tizacin Wallman coincide con la compactizacin ech
Observemos, en particular, que para lgebras de Frchet regulat
res, el espectro maximal es el mismo para dos lgebras que tengan
en mismo espectro (topolgico)

0 3 4 Localizacin para a l e semislmples

Un problema natural que se presenta en el estudio de las lge

bras regulares semisimples A es si existen particiones de la uni
dad para recubrimientos generales y si dada una funcin sobre el
espectro que coincida localmente con funciones de A, es de A La
respuesta es afirmativa y la demostracin puede encontrarse en
{10} para lgebras de Frchet que, adems, verifiquen la siguien-
te condicin suplementaria para toda seminorma multiplicativa p
de A, existe un compacto Q del espectro tal que si a es nula en
O es p(a)=0 (diremos que las seminormas estn localizadas en
compactos) en particular, si el espectro es localmente compacto
se verifica dicha condicin R M Brooks {4} demuestra por otros
mtodos que el resultado es vlido para toda lgebra de Frchet
regular

Sea A un lgebra de Frchet regular y semisimple Si asigna-

mos a cada abierto del espectro, el anillo de las funciones del
abierto que localmente coinciden con funciones de A obtenemos un
haz cuyas secciones globales son A Una cuestin de inters b-
sico para el manejo de este haz es verificar si la localizacin
en este sentido en un abierto U coinide con la localizacin al-
gebraica en U, Ay anillo de los cocientes a/b, b no nulo en U,
mdulo la relacin de equivalencia habitual, es decir a/b-^af/t
si existe un c de A no nulo en U con c(at - alb) 0 Se llega
{10} al siguiente teorema
Sea A una -lgebra de Frchet simtrica regular y separable El l-
gebra de las funciones sobre un abierto U de Spec(A) que coinci-
den localmente con elementos de A es isomorfo a la localizacin
 - 12

algebraica Ay Esta lgebra puede dotarse de una topologa que

hace de ella una *-lgebra de Frchet simtrica, regular y se-
parable, de espectro U

0 3 5 Localizacin para mdulos de Frchet sobre F*-lgebras

Llamaremos F*-lgebra a toda *-lgebra de Frchet separable,

regular, simtrica, semisimple y de espectro localmente compac-
to
Dado un a 1 c A, llamaremos A-mdulo topolglco M a todo
A-mdulo M con topologa de e 1 c separado y tal que la aplica
cin bilineal A x M M sea continua Si M es de Frchet el m
dulo se dir que es de Frchet
Dado un A-mdulo M de Frchet sobre una F*-lgebra podemos
definir un prehaz sobre el Spec(A) asociando a cada abierto U el
Ay-mdulo Ay = My Este prehaz es un haz {11} El Ay-mdulo
localizado My admite una topologa natural de Ay-mdulo de Frchet
tal que el functor M<* My de la categora de los A-mdulos de
Frchet en la de los Ay-mdulos de Frchet es exacto en sentido
no slo algebraico sino tambin topolgico, es decir, si
0> M 'MM 12 0
es una sucesin exacta de A-mdulos de Frchet con morfismos con
tinuos, la sucesin

ea de Ay-mdulos de Frchet exacta y de morfismos continuos {11},

0 3 6 Producto tensorial topolglco de A-mdulos topolqicos

Sea A un lgebra, llamaremos diagonal algebraica de A, A^, al

ncleo del morfismo producto A C A A Es el ideal engendrado
por los elementos de la forma a1-1 a Si M y N son A-mdulos
se puede dotar en forma natural a M C N de estructura de A A-m
 - 13

dulo y podemos escribir la siguiente sucesin exacta

0>-AA(MCN) M C N>M AN>0

que puede servir de definicin de M A N

En el caso en que A sea un a l e y M y N sean A-mdulos topo-
lgicos, tendremos que M ^N tiene estructura de A ^A-mdulo to-
polgico, de donde la adherencia de A. (M <3 N) en H N es un sub
A TT TT
mdulo cerrado de ste, lo que permite construir un A-mdulo topo
lgico
M .N
IT A
=(MNVt.
TT A(MTTN)
que llamaremos producto tensorial topolgico sobre A de M y N ES
te producto coincide con el producto algebraico M A N si y solo
si el submdulo de las A-relaciones AA
(MTTN) es cerrado en M
TT
N

La topologa producto tensorial topolgico sobre A est carac-

terizada por la siguiente propiedad universal
Dados dos A-mdulos topolgicos M y N, existe un A-mdulo topolgicc
M ^PaN y una aplicacin A-bilineal continua y cannica
M * N-i^M .N
TTA

tal que para todo A-mdulo toplgico R y toda aplicacin A-biline-

al continua $ Hx N * R existe un nico morfismo continuo
M aN*R

tal que t
Si I es un ideal cerrado de A y M es un A-mdulo topolgico, en-
tonces A / I ) A M M / M
Este producto tensorial no es exacto a la derecha como el alge-
braico, no obstante vale la siguiente propsicin
Sea M1)>m~-M3>0 una sucesin exacta de A-mdulos topolgicos y
morfismos continuos Supondremos adems que es abierta Sea R un
A-mdulo topolgico Entonces e la sucesin

M' a R 1 2 U M aR>0

es un epimorfismo topolgico y la imagen de es dense en el

 - 14

ncleo de i|l
El completado de M lo escribiremos M g>^N Si son espacios
de Frchet M $^N es el cociente de M N por el cierre de a a ( m c N )
en H N
Pueden verse las demostraciones en {11}

0 3 7 Algebras diferenciablemente completas

Un a 1 c A simtrica diremos que es diferenciablemente comple

ta cuando para cada elemento autoconjugado a A, existe un morfij
mo continuo c'R) A que aplica la funcin identidad t R e n
el elemento a e A Si el lgebra es sin radical el morfismo es la
composicin de la funcin diferenciable f con la funcin a ^ A Pa
ra estas lgebras es vlido el siguiente teorema de caracteriza
cin
Sea A una r-lgebra de Frchet simtrica semisimple La condi-
cin necesaria y suficiente para que sea diferenciablemente comple
ta es que para cada elemento autoconjugado a * A y cada seminorma p
de A (puede suponerse que la seminorma es simtrica, es decir
p(a) = p(a*)) existen nmeros a y tales que para todo numero re
al o
p(e ioa J M Io I 1 )
De aqu que para el tipo de lgebras anteriores toda sublge-
bra cerrada, todo cociente y todo lmite proyectivo numerable de
algebras diferenciablemente completas es un lgebra diferenciable
mete completa _

Tambin se verifica que para una *-lgebra de Frchet simtri

ca (con o sin radical) de espectro compacto y tal que Q (radAj^O
la condicin necesaria y suficiente para que A sea diferenciablent
mente completa es que para cada seminorma simtrica p de A y cada
a hermitico de A, existan constantes a y 8 tales que
p(e l a ) M | o | a + 1)
para todo a perteneciente a R
Pueden verse las demostraciones en {11}

0 4 Referencias a las lgebras diferenciables de un compacto de R n

Sea A = C m (R n ) el anillo de las funciones infinitamente diferen

ciables en R n con la topoloaa ordinaria Se trata de una F*-lge-
bra Sea F un cerrado de R n , el cierre del ideal de nulidades fa^
consiste en las funciones cuyos desarrollos de Taylor son nulos en
todos los puntos de F Puede demostrarse que fF es un A-mdulo
plano Tambin se verifica que si 0M' MM") es una suce-
sin exacta de A-mdulos topolcrlcos y morfismos no necesariamente
continuos, la sucesin
0~^/ P f )& a M ' ^/pp) A M "0
es exacta
Al anillo cociente C<"(Rn)/pF le llamaremos lgebra de Whitney
del cerrado F en R n
Un problema de nteres bsico es dar una caracterizacin de un
lgebra A en trminos topolgicos y algebraicos(sobre A) para que
sea el lgebra de Whitney de un cerrado en R n
Una primera aproximacin a este resultado es el "teorema de ex
tensin de Whitney" {7} que seguidamente enunciamos
El lgebra de Whitney de un punto x de R n es el anillo C[[]]
de las series formales en n variables, donde cada elemento viene
representado por su desarrollo de Taylor en x De esta forma,asi
nando a cada funcin f de c"(Rn) su desarrollo de Taylor en cada
punto de R n , se puede pensar f como una seccin continua del fibra
do r'xCCEU El probema resuelto por el teorema de extensin de
Whitney es el de caracterizar las secciones del fibrado anterior
sobre un cexrado Q de R n para que provengan de una funcin de C*

ii
!
 - 16

Una funin F de 0 en C[[jj continuares un conjunto de fun-

( k )

ciones continuas F = {f ' } donde k=(kj_, ,kR) , (k^N) En el

conjunto de estas funciones se puede definir unas 'derivaciones
formales"
(D h F) (k, = f ( k + h )
Puede entonces hablarse del desarrollo de Taylor de F en un
punto a de C hasta el oden n como el polinomio

o bien la funcin de ) en CrtJ definida por dicha funcin El

resto de Taylor m-simo en A es la seccin de en C[[]J
r^F e F - T nV
a a

El teorema de Whitney puede entonces enunciarse asi

La condicin necesaria y suficiente para que una funcin defi
nida en un cerrado 0 de R n en el anillo de las series formales
en n variables CCCJJ provenga de una funcin c"(Rn) es que para
todo numero natural m, para todo compacto K de C y toda n-pla de
enteros k, |k|m es que

<rJf> (k) (y) - o(|x-y|m_|kJ x ,y de K

Este teorema es una "caracterizacin" del anillo c"e(Rn)/fQ

como subanillo del de las funciones continuas de 0 en CttJ3 ,
pero es una caracterizacin en trminos de propiedades de una re
presentacin particular de cada elemento del anillo
Una caracterizacin intrnseca del anillo es la siguiente {11}
Sea A una Q-Slgebra de Frchet con involucin simtrica, genera
da topologicamente por n elementos autoconjugados y de espectro X
(identificable a una parte compacta
de R") La condicin necesaria
n
y suficiente para que A sea c"(R )/p x es que tenga las siguientes
propiedades
1 Para cada m, D es cerrada en A A y D^ es finito generado (*)
2 El graduado de A A por D^ es el anillo de polinomios en n varia
bles con coeficientes en A
(*) limaremos uyM e uaUWa e K u U ^ A ^ a ! muko <Ui ihc^wmo f w ^ o - ^
 - 17

3 =
x Q X^x *mx ideal
maximal de A en x)
h* N

4 A es diferenciablemente completa

La demostracin puede verse en {11} y se hace uso en ella esen

cialemente de la "caracterizacin" de Whitney
 - 18

CAPITULO UNO

LOCALIZACION PARA CIERTAS ALGEBRAS

CON RADICAL Y PARA MODULOS DE FRE-
CHET SOBRE TALES ALGEBRAS

El propsito de este capitulo es dar una teora de la localiza-

cin para lgebras que en general tengan radical de Jacobson no nu
lo La condicin de semisimplicidad se sustituye por una ms dbil
que ]ueaa un papel similar a aquella y la condicin de regularidad
por una ms fuerte pero del mismo tipo Un ejemplo de lgebras que
cumplen estas condiciones son las lgebras de Whitney (0 4) La mo
tivacin inicial de la teora es poder localizar lcrebras de este
tipo y llegar a una caracterizacin del lgebra de Whitney corres-
pondiente a un compacto de una variedad diferenciable

En un primer apartado se da la teora general de la localiza

cin para L-lgebras y la relacin de la localizacin con el p r o
ducto tensorial de lgebras
En el segundo apartado se extiende la teora a la localizacin
de mdulos de Frchet sobre L-lgebras y se aplica al caso parti-
cular de la localizacin de la diagonal del lgebra y de los mdu
los de diferenciales de un lgebra Se estudia tambin la locali-
zacin en A-lgebras
En el tercer apartado se da una caracterizacin de los mdulos
de Frchet proyectivos de tipo finito sobre L-lgebras en trminos
de sus localizaciones sobre el espectro del lgebra y se demuestra
la identidad de los mdulos proyectivos y planos en la categoria
de los mdulos de Frchet de tipo finito sobre L-lgebras

La teora del capitulo es vlida para lgebras sobre los nme-

ros complejos y tambin para lgebras reales que sean la parte hes
ltica de un lgebra compleja simtrica
 19

1 LOCALIZACION PARA CIERTAS ALGEBRAS CON RADICAL

Definicin 111

Llamaremos L-lqebra a toda lgebra de Frchet simtrica separa

ble, de espectro localmente compacto y que verifique las dos condi
clones siguientes
a) condicin de subsemisimplicldad
Si mA es el ideal maximal de A correspondiente a un punto
x del Spec(A)

r\ - o
x c Spec (A) X
h N
b) condicin de superregularidad
Para cada cerrado F en la topologa de Gelfand de Spec(A)
y cada y de Spec(A) que
'F
no sea de F, existe un elemento
perteneciente a m x y no perteneciente a m
X F Y
h N

La condicin a) es ms dbil que la de semisimplicidad la condi^

cin b) implica la de regularidad del lgebra
Las lgebras de Whitney (0 4 fc constituyen un ejemplo de L-Slge-
bra ya que m no es sino el conjunto de las clases de funciones
x eF
hi N
diferenciables de representante una funcin de desarrollo de Taylor
nulo para todo x de F
En este apartado supondremos que las lgebras son L-Slgebras

Sea un abierto del espectro de A, una sucesin

exhaustiva de compactos en que son adherencia de abiertos con
y Qnn CCL.i
n+i Sea In = f| P,
x se verifica que i y podemos

hN
construir l|m A/I n
 20

Por otra parte sea S el sistema multiplicativamente cerrado de

los elementos de A que se representan como funciones no nulas en
U

Lema 111
En las condiciones anteriores A b
c = lim A/I
n
4-
Demostracin
Sea a/bA c , la clase de b en A/I_ tiene inverso puesto que el es
pectro de A/IR son los ideales maximales cerrados que contienen a
I n y segn la condicin de "superregularidad" son los puntos de 0 n
Si llamamos irn a la aplicacin
c
, cannica ttn A -A/In tiene senti-
do el elemento *na(irnb)~ en A/In Por otra parte en los morfismes
que definen el limite proyectivo A/I n la imagen de t^b es
n n _ 1 b y por lo tanto la imagen del inverso del primero es el inver
so del segundo, de donde ((nna)(ti
b)- 1 ) es un elemento del limite
proyectivo que tomaremos como imaqen de /b en el morfismo de A g
en lim A/I r La aplicacin est bien definida puesto que si
a/b^a^/bj^ en A g , existe un c de A no nulo en con c (ab^-a^b) =0 ,de
donde en A/I n n n i^a*
n i b n. ai , n b) = 0 J y como nn c tiene invee

ir aTT 7r a ir or
so en A/I r se sigue que n n^i~ n i n^^ " 0 Y P tanto la inde
pendencia en la definicin de la aplicacin del representante del
elemento de A g
Veamos que el morfismo es inyectlvo

Si a/b tiene por imagen 0, a-f\ m

X
Sea In como antes
X U
hN
I = 0 y J " O m*) , I + J es denso en A, laego
x
xcQ n ye Cu
h
hN N
J = A (032) De aqu que existen d R y cn con <*n+cn 1
con c n de J que es no nulo en Q n multiplicando por su conjugado
puede suponerse que c R es como funcin positiva o nula y dividien
do c n por nmeros convenientes puede suponerse que las series
 - 21

y c a son convergentes ( por ejemplo basta sustituir c por

n >/ 1
cn c*
n
2n
<1 + P n < V i > > ( 1 + P n < c n c a , )
es
donde p ^ un sistema fundamental de seminormas en
A) Se tiene c a m^, luego c_a=0, de donde ( 2. c }a=0
x6Spec(A) x n
n >1
hN
con 21 c no nulo en U, luego a/b=0 en A
n>1
Veamos que el morfismo es exhaustivo
Sea {f^perteneciente a l^.m A/In, f^ representantes o A de f^
Sean a n mx con a R positivo en Qn_j_ t que existe segn el ra-
heNn
zonamiento anterior ( hemos tomado los 0 n de forma que 0)
Consederemos el elemento { a ^ ^ e l i m A/I^ , veamos gue es imagen
de a_f_
n II A considerado como elemento de AO
c En efecto, si i >n,
en A/I
a
nVanfi = a
n f n" f i )
> Pues f
n' f i * T n
Podemos tomar la sucesin de los a n de forma que las series
2Z1 a f y a sean convergentes, 2 da un elemento que se
n
n>l n^l n^l
representa en una funcin no nula en U

2 af/ a e s un elemento de A e cuya imagen en el llmi

S
n 1 n^l
te proyectivo es {fi} En efecto, veamos que la imagen en A/I^
da f.
i Se trata de ver si en A/I.i , SLaTL
n n = 21 a n
f .i, esto es
6
cierto puesto que para n ? i7 ^ no a^ecta a c a
l ""
se en A/1.^ y si n < i , a n ( f n ~ f j.) 880
pues f R -f I n Esto acaba de
demostrar el lema
Es inmediato comprobar que dos sucesiones exhaustivas de com-
pactos de del tipo tomado inducen mediante los correspondientes
limites proyectivos la misma topologa en A g Tenemos entonces el
siguiente teorema
 - 22

Teorema 111

Sea A una L-lgebra Para cada abierto U de Spec(A), podemos

dotar a Ay( localizacin por el sistema multiplicativo de los
elementos no nulos en U) de una topologa en forma cannica que
hace de Ay una L-lgebra El espectro de Ay es

Demostracin

Tras lo dicho lo nico que hay que probar son las condiciones
de "subsemisimplicidad" y de "superregularidad" de A^ Veamos la
primera
Sea k 0 y m x el ideal maximal correspondiente a x en Ag,
m x y est formado por los elementos del tipo a/bAg, a e m x Oue
remos ver que C\ m h rT 0 en A..
xeU X/U U
Kh c ir
Observemos en primer ligar que m n =(m)n, localizacin como
X/U X U
mdulo por el sistema multiplicativo de los elementos no nulos
en U En efecto nu
X /u son los elementos de la forma a/b con
a e m ^ , b no nulo en y se trata de ver que su cierre en Ag es
(m^Jg Esto se sigue sin mas que tener en cuenta que (m^)p como
subespacio de Ay = lm A/I n se expresa l^m m^/I n , cocientes
que tienen sentido de un n en adelante Es pues cerrado eii A^ y
m} TT
X u es denso en este espacio c-
El problema queda reducido a comprobar que f\ (m) 0 Sea
xU x u
hN
a/b 6
^ (On , a/b es tal que a pertenece a m
U
X6U *
h N ~2 E* de V;
Comprobemos que si a/b c/d, C de m x /y b y d son no nlos en
U, se verifica que a e m ^
En efecto, existe un e e A no nulo en U con e(ad-cb)*0, de don
2~
de existe un dj con a d ^ m , d^ no nulo en U y puede suponerse
 - 23

adems positivo
Sea f m x y n o nulo en un entorno del complementario de U,
existe y podemos tambin suponerlo positivo De aqu que
af H-adjC m x , a(f + d 1 ) 6 m x y como f+dj^ es invertible (031),
a
x
Anlogamente, si a/b = c/d } a m y c e m||+1 se sigue
ad^em^ con d^ no nulo en U y siguiendo el mismo razonamiento
se llega a que a 6 m^*1
ti ^^ U
se
De aqu que si a/be A ("On
deduce que a (A m Multi
x U x u xU
hcN h6N
plicando a por un elemento t no nulo en U y que sea
de \ nfi,
xC *
ta = 0, de donde a/b=0 en Ay h N

La condicin de "superregularidad" se cumple por verificarse

en A y teniendo en cuenta el morfismo A -A^

Teorema 112
Sea A una L-lgebra, V c U dos abiertos de su espectro, se ve
rifica que
(
(V- Vv

La demostracin del isomorfismo algebraico, una vez visto que

A u es una L-lgebra es trivial teniendo en cuenta las expresio-
nes como ccientes de los elementos de A v y de (A0)v

Veamos la igualdad topolgica Sea

A v = lm A/I n , Ay - lm A/J n ,

= 1
< V V IM V X
2

donde 1 = A 'Jn * ^ ' *n m

^ Tn
n
X6CBX n
x K n
xQ x
'
hN h N h 6N
 - 24

Q n es una sucesin de compactos definidora de la topologa en Ay

y K n lo anlogo para A^ Reiterando los razonamientos del teore-
ma I 1 1
I J
n <Vu - V n
cocientes que tienen sentido pues siempre podemos suponer que
Q n C K n De aqu y teniendo en cuenta que los limites proyectivos
son estrictos, la topologa l^m A^j/I^ coincide con la l^.m A/I n
Tambin podra deducirse por una aplicacin del teorema de homo
morfismo
Para la caracterizacin de las lgebras de Whitney sobre un
compacto de una variedad necesitamos algunas relaciones de la
localizacin con el producto tensorial Vemoslas

Teorema 113

Sean A y B dos L-lgebras nucleares El lgebra es del

jnismo tipo
En efecto, en primer lugar observemos que A y B pueden expre-
sarse como limites proyectivos estrictos
A = lj.m A/J n ) B l^m B/In i con
J = C\ ? , I = "m? , donde Q- y K son sucesiones
"o* y nyK
h N
h 6(1
exhaustivas de compactos del espectro de A y de B respectivamente
La igualdad topolgica se sigue del teorema de homomorfismo

Tendremos

Aj.B = ( ljm A/J n ) c(lm B/In) = l ^ f A / J ^ B / ^ ) (0 1 . 1 )

Se trata de verificar que Spec(A^B) Spec (&)x Spec (B)

Desde luego Spec(AfcB) = Spec (A)x Spec (B) Por otra parte las
topologas de Spec(A6>cB) y Spec(AcB) coinciden sobre las partes
 - 25

que sean producto de un equicontinuo de A por un equicontinuo

de B, por ejemplo sobre Q n * K n La topologia l^m ( A/J n $ c B/I n )g]^

es ms fina que la topologia ( l^.m (A/Jn^,B/In ) g ] ^ / que es la

que induce la topologa espectral, que a su vez es ms fina que
Spec(A)x Spec(B) Ahora bien, este ultimo espacio es localmente
compacto y Haussdorf, luego un conjunto de Spec(A)x Spec(B) es
cerrado si lo son las intersecciones con los compactos 0 n *K n Como ei
el espacio Spec(A)x Spec(B) con la topologa inducida por
no
l^m puede haber mas cerrados que estos, queda
verificada la identidad de las topologas
Veamos que se verifica la condicin de "subiemisimplicidad"
Observemos en primer lugar que A y B por ser de Frchet nuclea-
res son reflexivos y que (A^,B) = A ' ^ B ' , todos los espacios con
la topologa fuerte ( 0 1 3 ) Se trata de ver si

(x,y)Spec(A%B)
hN

Es inmediato verificar oue el ideal ^ de aS^B correspondien

te al punto (x,y) es m x B-(-Am y

De la relacin f \ m = 0 se deduce que ^ ^ m es

x Spec A) x e Spec (A)
hN h N

dbilmente denso en A 1 puesto que su polar en la dualidad es.

r . j.
n m" Puesto que A es reflexivo
m es fuerte-
x e Spec(A) x Spec(A)
h N denso en A' y haciendo lo propio con
mente h 6BNtendremos que

( ^ m^ )( m ) es denso en A \ac B ' y su polar ser

x Spec(A) x Spec(B) y
h N h N
cero en AG^B

La "subsemisimplicidad"se deduce entonces de las relaciones

hl ^T" hix")l r hi Jci-V
V ( m?1) S-x my - x y 1 =
y
x 6 Spec (A) * y e Spec (B) J (X ,y>Spec (A^.B) J
hel he N h,ke N
 - 26

3 m
(Am + m * A ) D / O (,y)
(x,y) Spec (A>0B) (x,y) e Spec(A^B)
h,kN pN
La condicin de "superregularidad" y todas las dems son ya
triviales

Teorema 114

Sean A y B dos L-lgebras nucleares Sean U y V abiertos res

pectivamente de Spec(A) y Spec(B) Tenemos la igualdad topolgi
ca
V*bBv = (A
C B >x V

En efecto, sean ATT = lim A / I , B.. = lim B/Iv donde I_e I v

U
son como en el teorema 1 1 1
Tendremos que 0 n *
definir la localizacin
n n n K n
con U 0 n = U ^ Spec (A) , U K r = V C Spec (B)
n n
sern compactos en Spec(A^B) que permitirn
(A&cB)UxV

m
A u c B v = ( l^m A/Ip U B/IK ) = l^rn (A/I G B/I K ) (0 1 1 .
n n n , n
por otra parte (A^By xV l^miAB)/ I Q x K
'n n

Es suficiente demostrar que A/I 0 Cc B/IKK<K(AbEl/I

Cn ' n ' ^ ' ' J,

Consideremos la aplicacin natural de A / IQ _ cB / I v en

n n
x k t E 1 i a i 5 i Z Xiaibii (0 1 1 ^ est definida co*

rrectamente y proviene de una aplicacin bilineal continuais pues

continua y se extiende al producto tensorial completado Es un epJL
morfismo a que si EAj^bj^ es una serie convergente en A^.B, lo
es EAjT^oB. en A/Iq^ c B/I k
il n

Veamos que la aplicacin es inyectiva

Si EX^a^ tiene por imagen E X ^ ^ b j ^ 0 donde y b^ sen
 - 27

representantes adecuados de a y de tal forma que la serie

a s e a
IA convergente en A C B Se tiene entonces que

I A ^ b Ic K
U 1 nx *n

Queremos probar que ^ a ^ b ^ es nulo en una parte densa del

dual defA/I-^ ) ) con lo cual ser cero Fste dual es
n n
^ ^ Y JY" V C
un
IT r I v y
a parte densa en l es ( L m ) ( L m ) Es
n C n
xC n X yKn y
heN kN
inmediato comprobar que
In xK = ^ (m B + Am ) h
n n (x#y)c Spec (AuB) x y
c
h U
es ortogonal a este espacio, lo que acaba la demostracin del
teorema
Para acabar la seccin veamos dos propiedades importantes
y de no dificil demostracin que verifican las L-lgebras y
que necesitaremos posteriormente

Teorema 115

Sea A una L-lgebra, F un cerrado de Spec(A) Existe un ideal

mnimo cerrado |>p entre los ideales cerrados cuyos ceros sean F
Este teorema es el anlogo al de existencia de ideal de nuli-
dades para las lgebras de Banach regulares

Demostracin
Sea F un cerrado del Spec(A) Sea J el ideal de los elementos
aA tales que existe un entorno de F de tal forma quera m?T
x0 x
hN
Desde luego que este ideal tiene por cerrado asociado F ya que
si X1F, existe un entorno de F, G, cerrado, que no contiene x
Por la condicin de "superregularidad" existe un aA tal que
es
a(x)j* 0 y a decir a J
 - 28

Sea ahora I un ideal cerrado cuyo jro sean F Veamos que I d J

Sea aJ, a c O donde es un entorno de F Sea F, = ()u y llame
X
hN
mos I. m h , se verifica que I.+ I es denso en A, luecro
1
x F. x
hN1
IJ-t- I = A (0 3 2 ) De aqu que existe elj^, con <j>+<l' 1, de
donde multiplicando por a y puesto que a$=0, por la condicin de
"subsemisimplicidad", tendremos que a^iiael como queramos demos-
trar
El cierre de J, p p es el mnimo ideal cerrado entre los que

tienen como ceros F

Por ltimo veamos en qu sentido podemos decir que las seminor
mas de una L-lgebra estan localizadas en compactos

Teorema 116

Sea A una L-lgebra Para cada seminorma p multiplicativa y

continua sobre A existe un compacto K del Spec(A) tal que si

n n , p(a) - 0
xeK *

hN "

Demostracin
Si llamemos soporte de un elemento agA al cierre del complemen
tario de los puntos xgSpec(A) tales que ac ) u , el conjunto I
h N*
de los elementos de A a soporte compacto es un ideal denso en A
puesto que es un ideal sin ceros en el Spec(A)

Sea p una seminorma continua de A y sea a e l con p(l-a)<e<l

Supongamos que a tenga su soporte en K Si b es un elemento tal
que b \ m|) se verifica que ab=0 por la condicin de "subsemi-
X
XK
hc-N
 - 29

simplicidad" Tendremos entonces que

p(b) p(b-ab) p(b|p(l-a) < p(b)e,
luego p(b) = 0 Es decir la seminorma p est localizada en K

2 LOCALIZACION PARA MODULOS DE FRECHET SOBRE L-ALCEBP/3

Sea A una L-lgebra y M un mdulo de Frcket sobre A Para

cada abierto U del Spec(A) escribiremos MyAyAM My tiene es-
tructura de A-.-mdulo y le llamaremos mdulo localizado en U
J
U
Para cada U 3 V tenemos morfismos MyM^ que permiten hablar del
prehaz de los mdulos localizados

Se trata de ver^ en primer luga^ que el prehaz U-My es un haz

y de dotar en forma cannica a My de una topologa de Ay-jidulo
de Frchet En la demostracin de esta parte seguimos la pauta
marcada en {11} para la teora anloga para F-lgebras ( 0 3 5 )

Teorema 1 2 1

Sea A una L-lgebra y M un mdulo de Frchet sobre A El pre-

haz sobre el espectro de A que asigna a U, MyAyAM es un haz

Demostracin
Veamos que se verifica la primera condicin de haz Sea
- U
y sea (m/b)yniyMy Si llamamos Py My--My a los morfismos de

restriccin correspondientes, supongamos que pjj iy y 0 para

 - 30

cada i Hemos de demostrar que itiy^O

Consideremos un subrecubrimiento numerable del anterior, para

cada i existe un a ^ A sin ceros en ^ con a^sO Sea

a T 3 a i a i
s L
1
2 1 (l-p i (a i a*))

donde p^ < pj < P < s una familia fundamental de seminormas en

A a es un elemento de A sin ceros en U y es trivial que am - 0,

luego ( m / b ) 0

Para verificar la segunda condicin de haz (acomplamiento de

secciones), enunciemos antes un lema

Lema 1 2 1

Sea U - jl/ Uj y sean my y my elemento de My, My cuyas

1 2 1 2
restricciones a U^f) j coincidan Existe un elemento de My cuyas

restricciones a Uj y 2 coinciden con

Y 5y respectivamente
X 2

Demostracin
Sean nty = ai c
ros en ^ y podemos suponerlos

no negativos Existe, por otra parte, b^A sin ceros en U ^ U j con

ba^mj-ajij) 0
(b puede suponerse tambin no negativa)
Ba FJ^U-UJ, F2-2, FJ y F 2 son cerrados disjuntos del espa-
e
ci U, por tanto existen cerrados en , G^ y G 2 con I ^ c G ^ y dis
juntos Como Ay es una L-lgebra, pode
mos encontrar eXtientos de Ay ^ y
con 1 y H ~r E
m5
1
h*N *
X<G i
 - 31

Sea b* un elemento de A positivo en el interior de G y perte

U
neciente a< (\ n?* de forma que ^-b' = 0 Construccin anloga de
hN *
x^U-G2
b' para G^ De esta forma a^b's a es no nulo en U (lo anlogo
podemos hacer con a^) As tiene sentido hablar del elemento
mytMy definido por
my= (^/api^-*. (<t>2/a2)m2
Para demostrar el lema lo nico q-ue hay que comprobar es que ry
coincide sobre U^ con y Vemoslo por ejemplo con ^
i
m u -m u ^=(^ 1 /apm 1 + ( ^ / a ^ m ^ U ^ ^ ) /a^^

Observemos que la imagen de U ^ / a ^ m ^ en My es U ^ / a ^ m ^ En efec

to
a a +
^l ~ l k " ~

tendremos en My

_ _ *2- *2 a l m 2~*2 a 2 m l
m..m -m m , =
a a a
1 2 1 l 2
Sea c=b+b', c no tiene ceros en ^ y teniendo en cuenta que ^'O
2 ca^mj-^m^) = ^Majij- (a2+b' )m1) = 4>2b (ajrj-a^^ = 0
luego vale el lema

Pasemos a la demostracin del teorema

Sea {^} una familia de abiertos de unin Sea my-eMy de
i X X
forma que fen U./1 U coincidan ttyyitiy Hemos de probar que existe
w
X y
un myMy cuya restriccin a los U^ sean los dados

Podemos extraer un recubrimiento numerable y sustituir cada ITn

por Uj^ \j i/0n (vase lema anterior) de modo que Uj^ c U 2 c
Por ser U localmente compacto y <r-compacto puede tomarse una su-
 - 32

cesin V n de abiertos relativamente compactos con V n c V n f ^ y defi

nir niy como la restriccin de cualquier niy con U^ d V n
n *
Sean y n con n 1/ '
huN
x^entorno cerrado de fv n

x^entorno cerrado de V,n-1

m.
m.. = a_n con an sin ceros en Vn Jy
n n
podemos suponer adems que pertenece a C\ m*1 y es no negativa
hN x
Xe
CVn
Consideremos un elemento no negativo b' de A sin ceros en y
que sea b ' <(>_= 0, elemento que puede construirse fcilmente median-
te una serie adecuada c-res un elemento de A pues
a n +b' * a4.
n^ b' es
invertible y es independiente del particular elemento b* tomado
con las condiciones prefijadas De esta forma

n -

es un elemento de M Veamos que su restriccin a V n - 1 coincide

con itL En efecto
n-1 _
4>n_ m n .
i a ._1m n-(a.+b'Jm^
n Tnx n .
ni
a
V ^ V n-lVk'>

Obsrvese que por ser 4b'=0

n y n no nulo en V n-l,, b' en An-1,
es cero, luego
3 basta ver que ^-.a^
n ni,m n-anSni
, en M nl
, es cero

Esto se deduce de que a., . En efecto, de + = 1 ,

^ n n-i n-i n n
a
n-l*n ^ a n-l*n" a n-l P01"0 an-l*n** T En
"su"11* siempre pode-
mos considerar
elementos de M que los
Sean elementos
estos 5L de M R son la restriccin de
n Definamos
 -33

n
I
n>l 2 n (l+p n (* n ))(l+q n (* n m n ))

- E v v
n
n?l 2 (lfp n (^ n )) (l+qn(^nmn)) ,

donde p^< pj< es una familia fundamental de seminormas en A

y qx < q 2 es una familia fundamental de seminormas en M

Veamos que m/<fr es la seccin buscada Se tiene

m-$m.v = z
njl 2 n (H-p n (* n )) (l+qn(^nmn))

De donde, multiplicando por

K (m-$mKt)=n<k
Z n (lfp (^ ))(l+q($
2
n V V k
J)
n>k ( 1 --p V
2
n ' ^
( ) ) (1 +q ( *_m )
r
n n ^n n n n n n n n
ya que t1^ para i<j que se deduce a su vez de la relacin
+ 1 tras multiplicar por

teniendo en cuenta que ^i*8 0

Ahora bien para

F n<k es n (mn-m.
k )= 0 En efecto, existe un b no

negativo sin ceros en V n con bn^-m^) 0 Puede sumrsele a b un

elemento b" tal que bfb" sea invertible en A y tal que n b" 0 De
esta forma n b= $n(b+b") de donde (b+bw) (mn-mk) = 0 y 0

0
en M De la misma forma se deduce que para n>k De aqu
que m-^iti^ss 0 en luego m/* coincide en V j ^ con m^ y por lo
tanto con ij^ Luego vale el teorema
 - il

Teorema 1 2 2

Sea una L-lgebra y M un mdulo de Frchet sobre A El Ay-m

dulo My admite una topologa de Ay-mdulo de Frchet en forma ca-
nnica de tal manera que el functor My es exacto en sentido
algebraico y topolgico

Recordemos, siguiendo las notaciones del apartado 1 que

A u = lim A/In

Veamos que
My= lim M/(n^= lj.m H / f M

Comprobemos en primer lucrar la relacin My= l|.m M/(InM) Los mor-

fismos A y i n d u c e n morfismos My-M/Unique dan un morfismo
de My en lim M/(InM) El morfismo es inyectivo, ya que si la imagen
con De
de m/a es 0, m^I^M, es decir, existen b n l n ,
aqu que tomando cue valga 1 en Qn.j_ / perteneciente a
<f>n
r\ ~h
( )m y no negativo <J> m= 0 Tomando 4> = E anula a
n
IunJ* n>l 2n(l*p < ))
x
<Cn

m y no tiene ceros en , lueqo m/a es cero en My One el morfismo

es exhaustivo se deduce de la condicin de haz que verifica M y
Veamos ahora que

l^m M/InM)= l^m M/^M

Esto se deduce de la consideracin del siguiente lema

 - 35

Lema 1 2 2

Sea A una L-lgebra y M un A-mdulo de Frchet, ^y 0 2 dos cerra-

dos del espectro de A con C^C Q 2 Sea I m^ , J = 0 m^, se ve
XQ. x<0,
hN hN
rifica
JM c IM
Sean a+b 1 con a mx y bel Sea nuJM
xtentorno derrado de 0-

h-eN
dado e>0 y q una seminorma en M, existir un m~'< JM con q (m-m1 ) <e
Como am'*5 0 tendremos
q(am) = q(a(m-m')) p(a)e
donde p es una seminorma en A que depende solo de q Puesto que e
es arbitrario ser q(am)= 0, luego m= (a+b)m= bm y como bI, he-
mos acabado

La igualdad entre los dos limites proyectivos es trivial ahora

De
si se tiene en cuenta que I r M c I n M c esta forma podemos

dotar a My de la topologa de Frchet limite proyectivo de M/I n M

Es inmediato comprobar que tiene estructura de Ay-mdulo de Frchet

La exactitud algebraica del functor M * M y se deduce de la pla-

titud de Ay como A-mdulo Por otra parte, si M >N ^s^Jinllggrflamo
continuo de A-mdulos de Frchet, la continuidad de los mrfismos

M/I n M)* N/I n N)

asegura la continuidad de MyNy De aqu que si 0 M > N P

es una sucesin exacta de A-mdulos de Frchet,

es una sucesin exacta de Ay-mdulos y con morfismos continuos El

teorema del gffico cerrado asegura que es topolgicamente exacta
Una situacin que se presenta con naturalidad es la siguiente
 - 36

Sean d y A dos L-lgebras, A una sublgebra de CL y la inyeccin de

A > d continua Diremos brevemente que d es una A-lgebra Se tra
ta de estudiar la relacin entre la localizacin de d como lgebra
con la localizacin de . como A-mdulo

Veamos en primer lugar un lema

Lema 1 2 3

Sean d y A dos L-lgebras, (X. una A-lgebra, la inyeccin

A -* Ol induce una aplicacin u Spec ( CL ) -Spec (A) La imagen
de esta aplicacin es densa en Spec(A)
Demostracin
Supongamos que rr (Spec ( & ) ) no fuese densa en Spec (A) Exis-
tira en ste un abierto U que no tendra elementos de la imagen
de ir Sea V un abierto con V c U y sea un elemento a de A con
\ m^ y que a como funcin valcra 1 en U Este elemento es un
XfV x
h-eN
divisor de cero en A y, por otra parte, considerado como elemento
de d es invertible pues no se anula en Spec ((k) en contradiccin
con la inclusin de A en Oi
Obsrvese, en particular, que si los espectros de las lgebras
son compactos, tt es una aplicacin exhaustiva

Estamos ahora en condiciones de enunciar el siguiente teorema

Teorema 1 2 3 (Teorema general de localizacin)

Sean CL y A dos L-lgebras, O una A-lgebra Sea tt la apli-

cacin Spec() ^Spec(A) inducida por la inyeccin A & Sea
U un abierto de A, V= tt"1 () es un abierto no vacio de Spec ( & )
Se verifica que la localizacin de & en V como lgebra, coin
 - 37

cide con la localizacin de Cl en como A-mdulo Ay

Demostracin
es un
Desde luego que Ay Ay-mdulo de Frchet Veamos que
tambin es un Ay-mdulo de Frchet Es suficiente probar que
el morfismo Ay * CLy es continuo

Sea K n vina sucesin exhaustiva de compactos en U definidora de

la localizacin Ay C n la sucesin anloga para (k Puede siempre
suponerse que nCn c K n De esta forma tenemos definidos morfismos
continuos de A/I R en & / I 0 de tal forma que establecen un mor-
n ^n
fismo continuo de A = lim A/Iv en d= lim(X/I-
n n
Podemos establecer un morfismo

A
U Aa - % f/a
-*f/a
que est bien definido pues si f/a=f 1 /a 1 , existe un c de A no nulo
en A con c(fa 1 -f 1 a)= 0 en <X , luego f/a^f^/a^ en & v pues c co-
mo elemento de d es no nulo en V

Para ver que este morfismo entre mdulos de Frchet es un iso-

morfIsmo bastar comprobar que para todo x del Spec(A) existe un
entorno W c U tal que tenemos un isomorfismo entre A^
JL,W>"
zA
w Aa y k^v

En efecto, sean x f W c W c j C UjC , podemos definir un morfis-

por loca
mo A w A a ^ lizacin de Ay^CL - 0_v, es de-

cir la imagen de f/a, f de & y A y no nula'en W es f^/a^, don

^e fy y ay son las imgenes de f y a en & v y Ayrespectivamente

Veamos en primer lugar que el morfismo es inyectivo

 - 38

existe
Sea fy/ajj 0 en J^ Ay^"V' un b de Ay no nulo en VT

con bfv 0 en & v Sea t un elemento de A no nulo en W y con

t n m donde m es el Ideal de x en A Tendremos que

x
x r 1 *
hN
f/a tf/ta De esta forma si bft es cero en existe un
g de d positivo en V con bj^ftg 0 en & , donde b= y ^
como elemento de & pertenece a C\ ,m ideal de y en CL
y
TY.y
A
hN
Podemos sumar a g un elemento g^ de 0. de tal forma que tg^ 0
y g-gj sea invertible en & De esta forma bjft 0, b^ de A y
no nulo en U, luego la aplicacin es inyectiva
Veamos que la aplicacin es exhaustiva
. Sea-un elemento f/a, f de Lv# a de Ay no nulo en W Pode-
mos multiplicar los dos trminos de la fraccin por un elemen-
to t del tipo anterior f/a * fty/aty, ty imagen de t en Ay

Ahora bien fty es imagen de un elemento de Q. En efec-

con f de no
to, puesto que f 4 & v f es de la forma f]/^ 2 ^
nulo en V fty es igual a f i t u/ f 2 donde
P u e d e suponerse po-
sitivo en V Podemos sumar a fj un elemento conveniente f2 de
sea invertible 0
tal forma que 2**2 en Cl y Tendremos
<?ue e 8 i m a
que en ClV/ 9en de m
elemento
de Cl Anlogamente aty es imagen de un elemento de A De aqvi
que la aplicacin es exhaustiva y vale entonces el teorema

Para el estudio de las lgebras de Whitney de un compacto en

una variedad diferenciable precisamos relacionar la localizacin
de la diagonal de un lgebra con la diagonal del lgebra locali-
 - 39

zada y una relacin anloga para el graduado de la diagonal

Vemoslas

Lema 1 2 4

Sea A una L-lgebra nuclear Segn el teorema 1 1 3 & * A ^A

es del mismo tipo Si es un abierto del espectro de A se veri-
fica
A
% & u x u r AU
donde A hay que ofcdtrerarlo como & / D A para dotarlo de estruc-
tura de (X-mdulo

Demostracin

A a x -(d/DA)j d w o = ^ u / D ^ ^ u

on<
Teniendo en cuenta el teorema 1 1 3 O-g^u** *e
para demostrar el lema es suficiente verificar que

D
AAU V U =
%

D ^ es el ncleo del morfismo cannico A^ Ay ^Ay Es trivial

comprobar que los elementos de D A Ay pertenecen a este ncleo

y que por tanto D A Ay $ Ay c Dj^ Por otra parte, observemos que

D
AAUc^U e s <enso e n D
Ay En efecto
abemos que la diagonal al-

gebraica es densa en D , es suficiente comprobar que

V ^
est
* contenida en I^Ay C-Ay

En efecto, si Zfej/bjjgfCj/d^ pertenece a A ^ , reduciendo alomn

denominador podemos ya suponer que todas las son iguales a b y

 -40

las iguales a d Se tendr Zfaj/bJtfCj/dJ - (C a i c i ) (l/bl/d)

con 0 en Ay existe un n de A no nulo en U con n d a ^ ^ ) 0
Podemos suponerlo en la suma, qha^/nb|(c^/d) y tendremos entonces
que Ena^ &c^ es de

D
Para acabar el lema es suficiente verificar que A L ; f es
cerrado Consideremos para ello la sucesin
o>Da a - 0 / da 0

tensorializando por 6 L U x U sobre 6L obtendremos una sucesin

topolgleamente exacta

D es cerrado en
De aqu que D a C L U a U = ^uxu

Teorema 1 2 4

Sea A una L-lgebra nuclear Sea U un abierto del espectro

de A Se verifican los isomorfismos

m d
\ A aaux * D
Aau*o

( K 1 ) a^U - v e
Demostracin
La afirmacin de que D a U hemos verificado
en el lema anterior, por otra parte, en la sucesin
o *Da- a A 0
al tensorializar por 0L U x U y aplicar dicho lema

-*DA *kax0 ^UxU-^A

 - 41

de donde D ^ - D A a C l U x

De agul que
D
" - da V a u , u > m - D a a o , o

y por la platitud de CtU;fU sobre &

UxU - D^/ D -

Lo nico cue resta por verificar es que

Consideremos la sucesin

Tensorialicemos por d"/15-1 sobre CL

d la ima
Puesto que a^UxU' 9en del
primer mdulo en el

segundo es cero y tendremos el isomorfismo buscado sin m&s que

observar que
 - 42

3 MODULOS DE FRECHET DE TIPO FINITO PROYECTIVOS Y PLANOS

SOBRE L-ALGEBRAS

En esta seccin se recuerda en primer lugar un esquema de la

caracterizacin de los mdulos finito generados proyectivos y
planos sobre un anillo general en trminos de sus localizacio-
nes en el espectro primo o mximo A partir de ste (proposicio
nes 1 3 1 , 1 3 2 y I 3 3 tuyos resultados son ya conocidos)
y de la teora de la seccin 2 se da una caracterizacin de los
mdulos de Frchet proyectivos de tipo finito sobre una L-lge-
bra o sobre una F^-lgebra (0 3 5 ) mediante sus localizaciones
en el espectro topolgico ( de ideales maximales cerrados) Se
demuestra para este tipo de mdulos su equivalencia con los m8T~
dulos planos

Proposicin 1 3 1

Sea A un anillo local y M un A-mdulo finito generado Las tres

condiciones siguientes son equivalentes
1 M es libre
2 M es proyectivo
3 M es plano
Puede verse la demostracin en {8} ~

Proposicin 1 3 2

Sea A un anillo y M un A-mdulo finito generado M es plano si

y solo si la localizacin en cada punto x del espectro primo o
del espectro mximo M A a M es un A -mdulo libre
 -43

La demostracin se reduce a la proposicin anterior teniendo

en cuenta que todo A-mdulo M finito generado es plano si y solo
si sus localizaciones MX eB su espectro primo mximo son AX-m
dulos planos {2iij>

Proposicin 1 3 3

Sea A un anillo y M un A-mdulo finito M es proyectivo si y

solo si para cada punto x del espectro primo (o bien del espec-
tro mximo) existe un entorno en la topologa de Zariski tal
que la localizacin de M en l es libre

Demostracin

Llamaremos soporte de M en el espectro primo de A al conjun-

to de ideales primos x tales que M ^ 0 Para todo A-mdulo fini
to generado Soporte(M) coincide con los ceros del ideal anula-
dor de M (llamamos ceros al conjunto de ideales primos que lo
contienen) {8}, en particular Soporte(M) es un conjunto cerra-
do, luego, si un mdulo M verifica que M x = 0 existe un f de A
tal que (M^, localizacin de M en el abierto de los puntos en "que
f no se anula, es cero

Sea entonces M proyectivo, L un mdulo libre y un morfismo

L t a l que LX ^ XM , pues MX es proyectivo y por tanto li-

bre De aqu que (Conuco)x= 0, luego en un entorno (cohur^)^ 0,

de donde L^ + 0 es una sucesin exacta Tendremos entonces
la sucesin exacta 0>-KL^-M^O y como M^ es proyectivo,
K es finito generado y K = 0 Localizando nuevamente en un abler
to K es cero de donde L M y el mdulo es libre en entornos
g g g
Reciprocamente*, sea M libre en entornos Veamos en primer lu-
gar que M es de presentacin finita En efecto, tomemos una suce
sin exacta
0 L - M 0
 -44

donde L es libre Como M es localmente proyectivo, K verifica la

misma condicin y por lo tanto es localmente libre en entornos
puesto que los espectros con los que trabajamos son compactos se
deduce que K es finito generado
Sea entonces una sucesin exacta de A-mdulos

R - S O

Hom (M,RX*Hom(M,S) >C"O

para cada x del espectro primo ( mximo) C x = 0, por ser M de

presentacin finita ( 0 2 3 ) , luego C= 0 y M es proyectivo
Se deduce inmediatamente que para mdulos de presentacin fir
ta coinciden los conceptos de proyectivo y plano y que todo mdu
lo finito generado proyectivo es plano

Tras el anterior esquema puramente algebraico estamos en con-

diciones de comprender el significado de los teoremas siguientes
Demos, para mayor comodidad, las siguientes definiciones

Definiciones 1 3 1

Sea A un a 1 c y M un A-mdulo, diremos que M es localmente

libre si para cada x del espectro de A ( espectro de ideales
maximales cerrados), las localizaciones M son A -mdulos li-
bres

Diremos que M es libre en entornos si existe un recubrimien

to abierto (U> del espectro de A (nuevamente recordamos que se
trata de los ideales maximales cerrados) tales que My=
sean Ay-mdulos libres
 -45

Teorema 1 3 1

Sea A una F^lgebra (0 3 5 ) o una L-lgebra Sea M un A-m-

dulo de Frchet de tipo finito Las siguientes condiciones son
equivalentes
1 M es proyectivo
2 M es plano
3 M es localmente libre
4 M es libre en entornos

Demostracin

Las implicaciones 1p=*2 y 2=^3 son generales para todo A-m-

dulo finito generado
En la implicacin 3=^4 juegan las especiales caractersticas
toplogicas de A y M Veamos la demostracin Supondremos por e]
momento que A es una F-lgebra
Sea x un punto del espectro de A, como M es libre podemos
encontrar una base m^, ,mk de M x sobre A x Sean n^t re-

presentantes de los anteriores en M Veamos que existe un entor

no U de x en el que son Ay-independientes Supongamos que no fu
se as Por ser A separable existe una base de entornos del pun<
to x numerable, sean {un } con Un^ " nri
. , En U.i tendramos una re

lacin
1- k
a m + + a in
l l l k =

donde podemos suponer que las a* son de A Estos debern ser

cero en un entorno de x Sea ste V2,contenido en U^ En Vj
existir otra relacin
1-
ajm^i k 0 ,
+ ajm^

podemos suponer que las a 2 son cero fuera de V 2 y tambin en un

V, contenido en U,
 -46

Tendremos asi una sucesin de relaciones

a
i j = 0

a
i n
Sean a = z n c donde p, < p 0 < es una
n 2 Un>n(a> +Pn<a>>

familia fundamental e seminormas en A En ningn entorno de x se

anulan idnticamente las a*, luego la relacin
4
(*) a 1- + , +a k- = 0

pasada a grmenes es no trivial Luego llegamos a contradiccin

Existe,entonces un entorno U en el que m ^, ,mk son Ay-inde-
pendientes Por otra parte sean t^, generadores de M y t^
sus imgenes en M x , t^=E (b^/c^Jm^ con c^ no nulos en U La iguaJL
dad anterior da una igualdad en ^ para W^ entorno conveniente

de x Haciendo lo propio con t 2 , ,tj, llegamos a encontrar un

entorno W de x tal que las imgenes de m^, en M^ son gene-

radores de ste Si W c U , estos son libres y por lo tanto forman

una base de M^

En el caso en que A sea una L-lgebra, el proceso es similar

Siguiendo la notacin anterior los A* son tales que sus im&genes
en A x eon cero, luego existen d^ no negativos en un entorno de x
i ~~K"
con d.a,= 0, esto es d.a?"^ C\ m , sumando a d. un elemento
1 1 1 1
x < Spec(A)
hN
conveniente d^ m^ con V 2 c. U 2 para que d^+d^ sea invertible
hcN2
se llega a que af C] m? En V, tendremos otra relacin como
xV, x

antes
1- k
a
2ml+ +a
2k "
J^
puede suponerse que las f\ y tambin a f \ x para un
 -47

Vj contenido en Uj

Prosiguiendo cono n el caso semisimple los elementos a* no

son nulos en AA pues cada entorno de x contiene puntos y en los
que todos los elementos de la serie salvo uno perteneces a
H i , luego la relacin (*) es tambin en este caso no trivial
hiN y
en los grmenes y llegamos a la misma contradiccin
Veamos por ltimo que si M es libre en entornos, M es proyec
tivo
Si observamos la demostracin de la proposicion 1 3 3 vemos
que en el caso estrictamente algebraico el hecho fundamental es
que por ser M libre en entornos es de presentacin finita, ya
que el espectro primo es compacto En nuestro caso si el espec-
tro es compacto puede repetirse el razonamiento, y podremos ha
cer uso de que Ay A Hom A (M,N) HomA (My,Ny) No obstante esta

proposicin es cierta para mdulos de Frchet finito generados

sobre F-lgebras o L-lgebras Veamos/ pues, esta proposicin que
tiene nteres por si misma y regresaremos despues para acabar
el teorema 1 3 1

Teorema 1 3 2

Sean M y N dos A-mdulos de Frchet de tipo finito sobre A A

una F^lgebra 6 una L-lgebra Para cada abierto U del Spec(A)
se verifica
Hom^(Ny,My) - Ay A Hom A (N,M)

Observaciones
No es preciso distinguir si los homomorfismos son continuos
o no porque para M y N A-mdulos de Frchet de tipo finito
 - 48

todo homomoifiorflsmo es automticamente continuo En efecto, si _

M= L/R, L libre, cada morfismo M-^-N induce un morfismo L-^-N
que es continuo por ser L libre Fste morfismo tiene un ncleo ~
que contiene a R Puesto que la topologia de L, por ser de Fr
chet, es la topologa cociente L/R, se deduce inmediatamente
que es un morfismo continuo

Observemos tambin que el que A sea F-lgebra L-lgebra

implica la existencia para cada cerrado F del Spec(A) de un
ideal mnimo p F cerrado de entre los ideales cerrados cuyos
ceros sean F (vase para F-lgebras (10} y para L-lgebras teore

2
ma I 1 5 ) Se verifica que p F es un ideal cuyos ceros son F,
~2

de aqu que f p = ,fp

Demostracin
La inclusin de Ay A Hom A (N,M) en Hom A (Ny,My) es general
Veamos la inclusin inversa Lo demostraremos mediante una cade
na de lemas
Sea una presentacin de M
0 >R *L
donde L es libre finito y R es cerrado en L
Sea R el submdulo de L que consiste en aquellos elementos
1 de L tales que Pplc R, donde F= Por ser R cerrado, lo
es R que verifica entonces ppRcR Si lcL verifica que R
_ _ 2
entonces R En efecto ppl c ^> p RcR, de donde p p l c R ,

esto es pplc R, luego l f R

Definamos un cociente de M, H mediante la sucesin exacta i

0"R -L>M

De la sucesin exacta
0 " R " R " R / R O
 -49

obtenemos la sucesin

0 f p R O R P f R PpR/R 0

Puesto que |> p RcR se deduce que p p R/R= 0

De aqu que si consideramos la sucesin

0 -R/R "M -M O
localizando en obtenemos la sucesin

0 -^Ayg^R/R ) Ay QpM ^AyAM O

Ahora bien Ay#^R/R)= 0 ya que existen elementos de p p no nulos

en U y se verifica que .pjlR/R^ 0

De aqu que tenemos la identidad My My

Lema 1 3 1

En las condiciones y notaciones del teorema 1 3 2 se verifi

ca
AjjAHom(N,M) = AyHom(N,M)

Demostracin
Observemos en primer lugar que ppM ppM
En efecto, de la sucesin
0 R/R M -M -0
obtenemos
0 PpM AiR/R ) - ppM ^ M 0

Ahora bien, si am^R/R, nuM, a p p se verifica que si 1 es un

representante de m en L, al< R de donde p p al c p p lc p p R c R, lue-
go I R y si ap^, alR, luego am* 0 Tendremos entonces que
 -50

ppMfi(R/R) 0 Por otra parte, de la misma sucesin

0 "-R/R M M 0
se deduce
0 Hom (N, R/R) -Vom (N ,M) -Hom (N ,M)
y tensorializando por Ay

0 >AAHom (N, R/R) A H o m (N, M) -Ay AHom (N, M )

De la relacin ya empleada de que ^ R / r M 0 y de que en pF

existen elementos sin ceros en se deduce que AyAHom(N,R/R) 0

De aqu que tenemos una inyeccin AyAHom(N,M) -AyAHom(N,Mi

Veamos que la aplicacin es exhaustiva Sea N-M, a ^ p p sin
ceros en U, a$ aplica N en a M c ^ M e p^M Luego a$ factoriza co-
mo morfismo de N en M en

N ft

Entonces la imagen de <p/a ^AyAHom(N,M) en AyAFom(N,M) es a$/a,

que es la 4 en este ltimo Con ello queda^. demostrado el lema

Lema 1 3 2

Sea P un A-mdulo libre, y PMy un morfismo de A-mdulos

cuya imagen est contenida en la de la restriccin de M a My
Entonces puede encontrarse un morfismo P-M tal que el diagra
ma
P * M
 -51

Ker
es conmutativo y Ker$= $u

En efecto, consideremos el diagrama

u--M
-
U
* t/
Pu
0 -R "L M -0
t
donde i/ es de tal forma que t i|<= $y Definamos Veamos que
Nucip Nue y Desde luego Nue 4>yDNc $

Sea ahora pNuc $y $ (p) es un elemento de M anulado por un ele

mento a sin ceros en U y que podemos suponer es de pF Por ser M
A-mdulo topolgico, el anulador de (p) debe ser un ideal cerra-
do de A cuyos ceros estarn contenidos en F, lueoo este ideal co*tjtn
eir a j>F De aqu que p ^ p ) 0 0, luego pF<Mp) c R de donde
<l(p)-6 P y 4>(p)s 0 Esto acaba la demostracin del lema

Lema 1 3 3
Con las notaciones anteriores i

AyAHom(N,M) Hom^NgfMy)

La inclusin del primer miembro en el segundo es general Sea

ahora NyMy, por ser mdulos finitamente generados podemos

multiplicar *y por un elemento de A sin ceros en de modo que

la imagen de fy por dicho elemento est contenida en la restriccin
de M a My Bastar que demostremos que un tal es la localisaci6n
de un morfismo de N en M
Escribamos N como cociente de un mdulo libre P Tendremos un
diagrama 1
 -52

con i^y-Py ir y donde <j> satisface la condicin Nuc$ Nue f

(lema 1 3 2)
Entonces Nuc$ = Nue $ d Nue ir , por lo cual $ factoriza en

y se tiene asi un morfismo $ tal que pyif= py, con lo que ^

es la localizacin de en U

Podemos ya acabar la demostracin del teorema

AyHom(N,M) = A^^HomiNfM), por el lema anterior es igual a

Hom A (Ny,My) y como My^My, es a su vez igual a H o m ^ ( N y , M y ) ,

luego vale el teorema

Volvamos nuevamente a la demostracin del teorema I 3 1 y que-

ramos ver que si M es libre en entornos, M es proyectivo
Sea una presentacin de M
0 L - ^ M "O
donde L es libre finito
Sean U abiertos del Spec(A) tal que My sean Ay -mdulos

libres Tendremos la sucesin

%
De aqu que existen aplicaciones
 -53

' LU U taleS qUe Y = X Segn el teorema 1 3 2

I "u
U
i i *0

i UUi MM U

cada morfismo y. es la localizacin de un morfismo de M en L,

u
i
es decir es del tipo y ^ / a d o n d e y^ es un morfismo de M en L y
a^ es un elemento de A no nulo en U^

Para cada punto del espectro existe un entorno en las con-

diciones anteriores Podemos seleccionar de este recubrimien-
to uno localmente finito y numerable (V T (finito sobre cada
n*
compacto) y construir otro Un} de las mismas caractersticas
con nr V n Sea Eon=1 una particin de la unidad subordinada al
recubrimiento, con a-e C\ m^ si se trata de una L-lgebra o
n
x* CU x
h<N n
y-
sencillamente con a t /*Y_ m v A es una
F-lgebra (vase (4))
*>K

Tendremos entonces oue an yn/an da un morfismo de M eh L rpues

anK/a n =an/(an +bn con an +b

n invertible { tomando *
previamente a^
n
no negativo)

La serie E<*n/an) Y n define un morfismo de M en L puesto que

para cada m de M la serie (Eon/an)yn(m) es convergente ya que
las semihinormas en L estn localizadas en compactos ( vase (ilt
para F-lgebras y teorema 1 1 6 para L-lgebras)

Veamos que este morfismo compuesto con $ es la identidad en

M Puesto que HomA(N,M) es un mdulo de Frchet, bastar compro
bar que, localmente, esta composicin es la identidad Sea W un
entorno tal que tenga interseccin con slo un nmero finito de
V
n
 -54

= a
.(I(1/a1)Yi)w(inw) = V ^ i ^ i ^ i W i Sr ^i/ai,wiV

= =
"Vr

donde los sumatoraos segundo, tercero y cuarto se refieren a

numero finito de sumandos Esto acaba la demostracin
 -55

CAPITULO DOS

CARACTERIZACION DEL ALGEBRA DE

WHITNEY DE UN COMPACTO EN UNA
VARIEDAD

Dada una variedad diferenciable V ( siempre la supondremos

numerable al infinito) y X un cerrado de v , llamaremos p x al
ideal de nulidades cerrado de X en (V), anillo de las funcio
nes infinitamente diferenciables en la variedad (0 3 2 y O 4 )

Llamaremos lgebra de Whitney del cerrado X en la variedad

al anillo (V)/ p x

El propsito de este captulo es dar una caracterizacin en

trminos algebraicos u topolgicos sobre un lgebra A para que
exista una variedad diferenciable tal que A sea el lgebra de
Whitney de un compacto de la citada variedad

La condicin a que llegamos es anloga a la definicin de

Grothendieck (Elments de Gomtrie Algbrique, Cap IV) de que
el morfismo inyeccin de C en A sea un morfismo diferenciable-
mente liso (condicin de lisitud en trminos de diferenciales
La condicin de Grothendieck se refiere a diferenciales y dia-
gonales puramente algebraicas y hemos creido natural emplear en
nuestro caso el trmino "lisitud topolgica" del morfismo En
el captulo III estudiaremos una situacin que engloba a sta

El mtodo que utilizaremos es, bsicamente, el de hacer uso

 i

-56

de la teoria del capitulo I para reducir el problema al caso de

un lgebra de Whitney de un cerrado no necesariamente compacto
de R n Para este caso seguiremos esencialmente la pauta marcada
en ill) para la caracterizacin del lgebra de Whitney de un
compacto de R n

Un resultado marginal que se obtiene en el curso de la teora

es una demostracin del teorema de la funcin inversa para fun-
ciones diferenciables trabajando directamente con los anillos
que creemos es de inters por si misma

Preliminares al teorema de caracterizacin

Recordemos en primer lugar que se llama Q-lgebra a toda a i e

que tiene un entorno de la unidad formado por elementos invertl-
bles Para toda a l e completa, tonelada y regular A las tres
condiciones siguientes son equivalentes

1 A no tiene ideales densos

2 Spec(A) es compacto
3 Existe un entorno de la unidad formado por elementos
invertibles

La demostracin puede verse en {10}

Las lgebras de funciones diferenciables las supondremos valo

radas en los nmeros complejos, puede obtenerse una caracteriza-
cin anloga para el caso real sin ms que considerar partes her
mticas de lgebras simtricas
 -57

Observemos que si X es un compacto de una variedad diferencia

ble V yA S(V) / .p x es el lgebra de Whitney de X respecto a la
variedad ^ se trata de una L-lgebra En efecto t ( V ) es una
^-lgebra de Frchet simtrica, semisimple y separable De aqu
que A es una ^-lgebra de Frchet simtrica, separable y de es-
pectro compacto X Para comprobar que se verifican las condicio-
nes de "subsemisimplicidad" y de "superregularidad" es suficien-
te tener en cuenta que en E ( V ) , para un cerrado F de ^ ,
P_= 0 m*1 consiste en las funciones tales que al aplicarles
r
xF x
heN
h campos sucesivos, la funcin resultante es nula en F y esto
para todo h nmero natural

Por otra parte, puesto que es nuclear tambin lo es A

Un a 1 c A se dice topolgicamente finito generado si exis-

te una sublgebra finito generada y densa en A La finitud gene
rada de A= ^ ( ^ / p x P ue< * e deducirse a partir de la finitud
generada de ( V^) donde V^ es una variedad diferenciableccon
tenida en V* con X c ^ y recubrible con un nmero finito
de entornos coordenados y teniendo en cuenta que ( V ^ ) /p x ^ *

= ( px ^ ideal de nulidades de X en l^)

Resumiendo, el lgebra de Whitney de un compacto en una varie

dad diferenciable es una L-lgebra nuclear topolgicamente fini-
to generada y que es una O-lgebra Daremos el enunciado del teo
rema fundamental del captulo en la clase de las lgebras con las
condiciones anteriores y que sean diferenciablemente completas
Observemos que esta ltima condicin no presupone apenas limita-
cin en cuanto a los propsitos enunciados, ya que puede darse
una condicin necesaria y suficiente para que una lgebra sea di
ferenciablemente completa en trminos de seminomas ( 0 3 7 )
 -58

Definicin II 1 1

Sea A una L-Slgebra Diremos que el morfismo inyeccin C > A

es tipolgicamente liso (t liso) si se verifican las siguientes
condiciones

1 La diagonal de A, D^, es un AcA-mdulo finito

generado
2 Las potencias D son ideales cerrados de A^A,
2
lA= D A^ D A e s u n A_m
dulo de Frchet proyectivo y
Gradp (ACA) = SimetrA(nA) (vase 0 2 )
A

Observacin
Segn el apartado 3 del capitulo I la condicin de que las
diferenciales de A, A sean un A-mdulo de Frchet proyectivo,
bajo las condiciones 1 de morfismo t liso a que sea un A-mdu
lo de Frchet plano o bien localmente libre

Estamos ahora en condiciones de dar el enunciado del teorema

fundamental

Teorema II 1 1

Sea la clase de las L-lgebras nucleares topo lgicamente finjL

to generadas por elementos autoconjugados, que sean Q-lgebras de
espectro conexo y diferenciablemente completas
La condicin necesaria y suficiente para que una lgebra A
de la clase anterior sea el lgebra de Whitney de un compacto de
una variedad es que el morfismo C*A sea topolgicamente liso.La
variedad tiene por dimensin la dimensin local de Q.
 -59

Observaciones

1 La condicin de que el espectro sea conexo tiene por nico

objeto el que la dimensin de las localizaciones de sea
la misma para todos los puntos del Spec(A) Se puede, si se
quiere, sustituir la condicin de conexin por esta ltima
condicin La dimensin local de dar como en el caso
del enunciado la dimensin de la variedad
2 Ntese que la diferencia entre las condiciones de este enun
ciado y las dadas en {11} (0 4 ) para la caracterizacin del
lgebra de Whitney de un compacto de R n estriba en que en
nuestro caso no se imponen condiciones sobre cuantos deben
ser los generadores de A y que la condicin de ser libre
se sustituye por la de proyectivo Se impone por otra parte,
que el lgebra sea una L-lgebra nuclear

Necesidad de las condiciones

Sealemos en primer lugar que segn las observaciones prelimi

nares al teorema de caracterizacin el lgebra de Whitney de un
compacto en una variedad diferenciable pertenece a la clase de
las L-lgebras nucleares topolgicamente finito generadas por
elementos autoconjugados y es una 0-lgebra diferenciablemente
completa

Para probar las condiciones de morfismo t liso necesitamos el

siguiente lema

Lema II 1 1
Sea X un compacto de una variedad diferenciable y , un abier
to de V Se verifica
 -60

(6/
Px } Xfl" Vfxnu
r> r
donde p X n U es el ideal de nulidades cerrado en ty correspon
diente a xnu
En efecto, sea 0 X una sucesin exhaustiva de compactos d e U,
pn el ideal de nulidades cerrado correspondiente a 0n/|A ^egr>
la definicin de la localizacin para L-lgebras

< /Px J XA0 - ^/px^pn/fx5 ^ "in

e: 1
Por otra parte es trivial que /p n = ^u^Pn pn
cierre ael ideal de nulidades en correspondiente a C n 0X Se
tiene entonces

(/
Px 5 X0 = ^ ^ / p n - ^ ^ ^ n
como se
y este ltimo es iqual a ^/PxnU deduce del siguiente
lema

Lema II 1 2

Sea A una F-Slgebra (0 3 5 ), ^ c ^ c una sucesin exhaus*

tiva de compactos en el Spec(A) = X Sea F un cerrado de X, p n es
el cierre del ideal de nulidades de F, p p el cierre del ide-
al de nulidades de F = U (Q^lF) Se verifica entonces que p p a ^ p n
y que A / p p = lim A / p n

En efecto, desde luego p p c O p n Sea ahora a ^ p n y p una semi-

norma en A que puede suponerse localizada en 0 n (0 3 4 ) Por ser
4 de podemos encontrar un beA nulo en un entorno de Q n ^F y tal
que p(a-b)<e para e>0 prefijado La interseccin de dicho entorno
con F puede expresarse como un entorno de o interseccin con F,
 - 61

pues F es cerrado
^
U()n F Sea igual a 1 en rr y nulo en

un entorno del complementario de U(>n), $b p p y se tiene

p(a-$b) < p(a-b) < e , luego a p p
De
Vale entonces la relacin pp aou que la aplica-
cin cannica A/p p -lim A/^> n es nyectiva La imaqen es den
sa y para ver aue la aplicacin es exhaustiva es suficiente de-*
mostrar que toda seminorma p de A / p p procede de una del lin T '^

En efecto, sea p una seminorma de A que est localizada en 0

y aue induzca p Tendremos

p (a) = inf p(a+c) = m f p(a+b) = inf p(afb) = m f p(a+b)

ct b + bfr + be
Pp *PF fi? PF Pb r F nO

n n n

que es una seminorma del lmite proyectivo

A partir de este lema se acaba la demostracin del lema II 1 1

sin ms que tomar A = y F = Xnu

Necesidad de la condicin 1 de morfismo t liso

Segn el teorema 1 2 4 DA = ^j^u es decir la localiza-

cin de la diagonal de A ( A es una L-lgebra nuclear) es la dia
gonal del localizado de A Ahora bien, en nuestro caso si A= /^>p

Ay segn el lema II 1 1 es para = U^rtF con Uj abierto de la

variedad, Ay= / p y /}F' t o m a n d o

i un
entorno coordenado pue-

de suponerse que = C (R n ) A y ser entonces el lgebra de WhJt

ney de un cerrado G de R n A y = C"(R n )/p G

 - 62

La diagonal del anillo C(Rn) es finito generada pues es el

submdulo de c"(Rn) c c"(R n ) = c"(R 2n ) que consiste en las fun
con f
ciones f(x x/ ^/Yi/ fYn) ' ' x n' y l' 'yn) = 0 y

es un resultado clsico crue este mdulo de funciones e s t g e n e

1=1
rado por t luego D c ^ R nj est finito generado
OB ft A CO ri

sobre C (Rn) (Rn)

Por otra parte es inmediato comprobar oue D^ = D ^ ^ n j ^

es un cociente de ya crue por ser los espacios de F*-*cb T

y nucleares ( 0 1 3 ) tenemos el siauiente diagrama de sucesio-
nes exactas
0 0
I 1
o - lnD c - (R nj .3 PG -0
i i l
o Dc>(Rn) *C~(Rn) cC(Rn) ^(Rn) .0

1
V (pn) / p G ( R n )
/fe ) c(c" i^/fj-^r (Rn) /pGo

donde ] p G | c " ( R n ) + c" (Rn) pG

De anu que D. es finito generado Si las localizaciones de

u
D a son finito generadas y el espectro de A es compacto se sigue
inmediatamente que D A es finito oenerado De hecho puede demos-
trarse incluso que D /p es de
presentacin finita

Necesidad de la condicin 2 de morfismo t liso

Veamos en primer lugar que D son ideales cerrados de A A,

A C
 - 63

Sabemos {11} que para B lgebra de Whitney de un cerrado de

n
R se verifica que las potencias de la diagonal son ideales ce
rrados de BB Segn el teorema 1 2 4 la localizacin de D
es D Si lo hacemos para los abiertos de un recubrimiento
A
U
coordenado de Spec(A) puede identificarse D A con un ideal de
$ (AyG^Ay) Por ser D cerrados en AycAy y mediante una parti-
u
U
cin de la unidad se sigue inmediatamente que D es un ideal
cerrado de A^A

El que ilA sea un A-mdulo de Frchet proyectivo localmente de

2 2
dimensin n se sigue del teorema 1 2 4 ya que (D^/D^J^sD /D
^
n
y como Ay es el anillo de Whitney de un cerrado en R se trata
de un mdulo libre de dimensin n ( vase {11} teorema III 3 3 )
La proposicin se deduce ya trivialmente de la equivalencia en
los mdulos de Frchet finito generados sobre L-lgebras de los
conceptos de libre en entornos y proyectivo ( 1 3 1)
Anlogamente, como

[crad D (AAJy = GradD (Ay c A y ) (I 2,4),

A Ay

(SimetrA(nA) )y = Simetr^(fl^) (0,2,2,}

y por otra parte Grad D (Ay c A y ) es el anillo de polinomios en

*U

n variables a coeficientes en Ay ( vase {11} teorema 111,3,3,},

es decir, coincide con el Simetr. (n ; se verifica que los

Ay-mdulos Gradp (A A) y SimetrA(flA) coinciden en sus localis

zaclones sobre el espectro de A que es un compacto

De aqu que el morfismo cannico SimetrA(nA)-^--GradD (A A)
A
 - 64

y T*^ 1
que est definido a partir de los morfismos fiA fiA DA/DA
(oj^p eu>r-{wj cor}) es un isomorfismo ya que tanto el Nuc$
como el Conuco al localizarlo en los abiertos de un recubrimien
to de Spec(A) son nulos, luego ambos son cero

Suficiencia de las condiciones

Supongamos un lgebra A bajo las condiciones del teorema

II 1 1 El punto fundamental es demostrar que para cada pun-
to del Spec(A) existe un entorno abierto U tal aue Ay es el l
gebra de Whitney de un cerrado ( en general no compacto) identi
ficable a un cerrado U en R n
sea un
En primer lucrar sea un abierto tal que

Ay-mdulo libre Ay es un anillo que verifica las siguientes

condiciones

1 Ay es una L-lgebra nuclear finitamente generada (to-

polgicamente) por elementos autoconjugados)

En efecto, Ay es una L-lgebra de espectro U segn

el teorema 1 1 1 Es nuclear por ser limite proyectivo
de cocientes de A que son a su vez nucleares ( 0 1 3 )
La finitud generada de A n se obtiene del siguiente lema

Lema II 1 3

Sea A una L-lgebra engendrada topolgicamente por

/X
Xjy r' A lo est
^ P r los
elementos imgenes de 6s
tos en el morfismo cannico A Ay

En efecto, siguiendo las notaciones del capitulo I

Ay = H.m A/J n , las imgenes de ,xr en el morfismo
 - 65

cannico A*-A/J generan una parte densa, de agu que las im

qenes de x^, ,xr en el lm A/J n generan una parte densa en 61

2 Ay es diferenciablemente completa por ser limite proyectivo

numerable de lgebras cociente de lgebras diferenciablemen
te completas, que son lgebras del mismo tipo ( 0 3 7 )

y*.

3 La diagonal de Ay, es un (Ay cAy)-mdulo finito genera

do
Se deduce inmediatamente de la relacin

D =
Ay V a ^ ^ U A U (teorema 1 2 4)

4 Las potencias D son ideales cerrados de A n r A n , IL es un

AY U L. U AY

A^-mdulo libre de dimensin n y Gradp (Ay c Ay) es el ani-

Au
lio de polinomios en n variables a coeficientes en Ay

a
m
En efecto, veamos que D ^ son cerrados en Ay ^Ay Sea la

sucesin topolgicamente exacta

0 >CL K)

donde A ^A

Localizando en UxU tendremos la sucesin topolgicamente

exacta ( 1 2 2 )

0 -K)
attuxu-^aw aff-

es cerrado en es
De aqu que D G L ^ u = ^u,xU #u/cU Y
precisamente

^ - '"AI^XU' - < D A^xa' m -

 - 66

Por hiptesis fi^ es un Ay-mdulo libre y de la relacin

Gradp (A C A ) = Simetr A (n A )
A

localizando y teniendo en cuenta el teorema 1 2 4 y 0 2 2

[GradD (A c A)Jy = Grad (Ay c Ay)

A Ay

[simetr a (A a )J v = Simetr^ ( (nA) ) = Simetr^ (n^)

y como este ltimo es el anillo de los polinomios a coeficx

tes en el anillo Ay se sigue la proposicin

Resumiendo, la localizacin de A, Ay verifica las mismas

condiciones que el lgebra A enunciadas en el teorema II 1 1

que estamos demostrando, pero sustituyendo la condicin de
ser n A un A-mdulo de Frchet proyectivo localmente de dimen
sin n por la condicin de ser libre de dimensin n

Supongamos, por simplificar la notacin, que ya A verifica

la citada condicin

Sean x^, ,xr generadores topolgicos de A Se trata de

ver que para cada punto p existe un entorno V tal que

gue es un
= ^A^A^' de dimensin n, tiene una

base formada por n de los elementos d x ^ f dx r imgenes en

el morfismo A y - n ^ que asocia a x^-dx^ (x^l-lax^ (de

hecho deberamos escribir en lugar de x^^ las imgenes de x^ en

Ay por el morfismo cannico A

En efecto, si A es el ncleo del morfismo producto

 - 67

A C A A O , D a es el cierre de A en A C A y por otra par

te A a estS engendrado por elementos del tipo da para acA De
aq-u y de la continuidad de la aplicacin A . d a = a > l - l e a ,
n
se sigue que el submdulo de engendrado por dx,, ,dx es
A x 3T
denso en fiA Del lema siguiente deduciremos que dXj^, dx r oe
neran todo fi.
A

Lema II 1 4

Sea A un lcrebra de Frchet, M un A-mdulo libre de dimen-

sin finita En M no existen submdulos finito generados y den
sos
En efecto, sea Ne M un tal submdulo finito generado y den-
+a m
so Sea mj, m^ una base de M Si a*M, a=a 1 m 1 + k k Co
sideremos la proyeccin M-A, m L a imagen de N por es-
ta aplicacin continua es un ideal finito generado y denso en
A, luego coincide con A ( F Arens {2}) Es decir, en N existen
elementos que tienen por componente -sima cualquier elemento
prefijado de A En particular existe un elemento en N cuya pri
4
mera componente es 1

n 1 =m 1 +a 2 m 2 +

Es trivial verificar que la base de M ir^, ,mk puede sustitir

se por 2, Podemos, ahora, manejando esta nueva base
proceder en forma anloga y llegar as a una base formada por
elementos de N, de donde N = M _ _

En nuestro caso tenemos entonces que dxj^, ,dxr generan

todo Sea ,n una base de n A Siempre puede suponerse
r>n Tendremos las siguientes relaciones
 - 68

(1) dx. = ? a i=l,

(2) = f blkdxk 1=1/

C 1

de donde
r n
, = E E b,,a. , luego
1
k=l i=l i K K:i D
r
b a = 1=1
k^ lk k3 hj ' ' n ' 3=1, n

Estas relaciones entre los elementos de A mediantes el mor

fismo "tomar valores en p" A-A/m = C da una relacin entre
ir

nmeros que implica que el morfismo entre espacios vectoriales

inducido por la matriz (a^Xp)) compuesta con el de la matriz
(b^(p)) da la identidad en un espacio vectorial de dimensin
n De aqu que el morfismo inducido por (a^(p)) es inyectivo
y por lo tanto existe un menor de orden n, supongamos (a^p))
k=l, , n , 1=1, ,n de determinante no nulo , de donde
det (a^) da un elemento invertible en A^, para V un entorno
k=l, ,n
1-1, ,n
conveniente de p Tendremos entonces que las relaciones (1) in-
ducen unas relaciones en n_
*v

dx
l - a lj
J Jj
J=1

n
dxn = E an .
j=i j D

con det(a^ ) invertible en Ay De aqu que podemos despejar

,
, ',n como combinacin lineal de dx.,
i ,,dx
n de donde s-
tos son generadores y generadores libres de fi.
 - 69

Nos encontramos pues en que Ay que est generada por

x
l' ' x r v e r i ^ i c a r ^ tambin todas las condiciones del enun-
ciado del teorema II 1 1 y adems dx lf forma una ba-
se de i. Para simplificar las notaciones llamaremos nueva-
mente A al lgebra A v que verificaba las condiciones anterio
res

Se trata ahora de ver que para cada punto p del espectro

de A existe un entorno W tal que en la nueva localizacin
Da que desde lueao est finito generada sobre A^A^ (pues
w
es la localizacin de D A en WxW) est generado precisamente
por x^l-lex^, i=l, ,n

En efecto, sea I el ideal contenido en D A y generado por

2
x^l-lfcx^ De la condicin de ser en D ^/D A , dx^= x^ 1-lex^
2
i=l, ,n una base tendremos que DA= I + D A

=
Sea xeSpec(A), veamos que (DA) X) I( X ^J t localizacin
algebraica en el punto (X,X) Spec (A# C A) Tenemos

(D = + D
A>(X,X) ^(X,X) A(XfX))2

como D_ est contenido en el ideal maximal de (A S r A )

A c
(X,X) (X,X)
ya que D f t cA c m x + m
x gue es el ideal
maximal de (X,X
en A C A, por el lema de Nakayama {8}

(D = T
A>(X,X) (X,X)
Tendremos entonces que si n lf , n.^ son generadores de D^,
n
ia ^ f j ) en
(A A ) x j , de aqu que la igualdad ante-
 - 70

rior tiene sentido para la localizacin de A C A en un entor

no de (X,X) y como tenemos un nmero finito de qeneradores se
deduce inmediatamente que la localizacin de D^ en un entorno
de (X,X) est generado por las mcrenes de en dicha
localizacin El entorno siempre puede tomarse del tipo WxW
con W entorno de X

De aqu que {D^)^^ = D ^ est generado por las imgenes

de x.l-lx.
i 1 en D.

Resumiendo, estamos al presente en la siguiente situacin

Dada un lgebra A en las condiciones del teorema II 1,1

para cada punto p del Spec(A) existe un entorno W tal que la
localizacin A w verifica las siguientes condiciones

1' Si los generadores de A son x^, ,xr, A^ tiene

por generadores las imgenes de stos en el mor
fismo cannico A > A W A w es por otra parte una
L-filgebra nuclear de espectro W
2* A w es diferenciablemente completo
3* D. est generado por x-l-lx. 1*1, ,n
k *
4' D ^ son ideales cerrados de A^fcA^, es un

Ajy-mdulo libre con base d x ^ ,dxR y

Gradjj (A^ S A^) e s el anillo de polinomios en
Aw
n variables a coeficientes en A^,

Consideremos ahora la aplicacin SpecA^) w > R n dado por

 - 71

p-(x1(p), fXn(p)) Veamos que esta aplicacin es inyectiva

En efecto, si x^(p) = x^(p) para 1=1, ,n, tendremos que pues-
to que x^el-lexj^ pertenece a D. para i=n+l, ,r, por la propie
n
dad 2' Xjl-lXj^ z a^ (x^l-lx^) , a^P^ De donde el

valor que tomarn estos elementos en el punto (p,p) Spec (A^^A^)

ser :
n
X. (p)-X. (p) z a (p,p) (x (p)-X. (p)) = 0
1 1
:=i 3 3 3

luego x ^ p ) x i (p) para i=l, ,r es decir para una familia de

generadores topolgicos de A w , de aqu que p=p (t)

La aplicacin inyectiva considerada es continua, luego es un

(t) Obsrvese que en estos razonamientos est implcito el

teorema clsico de la funcin inversa que puede enunciarse
as sea el anillo de las funciones infinitamente dife
renciables en R n Sea un morfismo continuo tal que
la imagen de es f i (x 1 , ,xn) de tal forma que
forman una de
^Yl '^n base ^ a s diferenciales en el pun
to p Existe un entorno U de p tal que el morflano anterior
induce un isomorfismo ^'(u) *"U

En efecto, siguiendo los razonamientos anteriores

constituyen una familia de generadores de D^ sobre ^ u ^ ^ U

se
para un abierto De aqu que las funciones y^r,yn "
paran puntos del espectro de y y son las funciones d
ferenciables sobre el abierto imagen de U por las aplicaci
nes y^, ,yn Es fcil demostrar a partir de aqu que el
morfismo * es un isomorfismo,
0
'(0)
 -72

homeomorfismo sobre cada compacto de w Puesto aue el espectro

de Ayj es localmente compacto para cada punto p de w existe un
entorno abierto de adherencia compacta en V La localizacin de
A^ a este entorno vuelve a verificar las condiciones 1',2 *,3,
4' y adems su espectro es identificable mediante x^, ,xn a
una parte abierta de un compacto de R n Es decir a la interseccin
de un compacto de R n con un compacto del mismo que puede suponer-
se es una bola (identificable a R n ) si asi lo deseamos) Para no
complicar ms las notaciones supondremos que ya se encuentra
en estas ltimas condiciones

Nuestro segundo punto bsico en la demostracin es probar que

es el anillo de Whitney correspondiente al cerrado W (no nece
sariamente compacto considerado como cerrado de R n mediante la
identificacin dada por los elementos x^, ,xR En este punto

seguiremos la pauta marcada en {11} para la caracterizacin del

lgebra de Whitney de un compacto de R n

Por comodidad en las notaciones escribiremos en lo sucesivo

a l a (y), l e a a(x), y por f(x,y) los elementos de A ^ A ^

Para cada a de A^, da se expresa en forma nica daa 1 dx 1 + t,f

fa R dx n Escribamos 6i(a) Se verificar qfce aCy)^a(x) y

n
Z j(a)(y,-x. ) tienen la misma clase en (2. , luego su diferen*
il 1 1 x
*W
n
2 2
cia ser de D, a(y)-a(x)- (a)(y.-x.)^ D. La clase
*W i=l x 1 1

n
2 3 1
en D. /D- se expresa unlvoceunente como I a. .dx^dx.
Ii ^ 2! i,j=l 1J 1 J \ \
Se
Sea a ^ ^ verificar entonces

i
 - 73

N
1 3
a (y) -a (x) - E I,
1
(a) E 5.
3
(a) 1 (y 1 -x 3) (y
3
-x^ ) DIT
i=l 2

As sucesivamente para cada n-pla de numros naturales

k= (kj, f k n ) existe una aplicacin 6 ^ A^T-A^ tal que

y las aplicaciones 6 vienen determinadas por esta condicin

Es fcil comprobar que las aplicaciones <5^ s o n composicin

de aplicaciones continuas y por tanto continuas

Estas aplicaciones verifican Sfc+h Esto se deduce sin

ms oue aplicar <5hl A W C A W -A^A^ al "desarrollo" de un ele
mento cualquiera a de A Se obtiene entonces el desarrollo de
r
y
^a ya que D^por medio de la aplicacin ^ 1 tiene su imagen
r-i
J
en D. (\ trivial
wJT\ 4 . U A 1 teniendo
WW41 en
V * * cuenta
M W A W M los
A W W generadores
M M W ^ W W de
V V D . 1|

Por otra parte, mediante el producto de desarrollos y teniendo

en cuenta su unicidad se llega a la regla de Leibnitz

kl
6
ka b)
- h<k f fi h (a)6 k-h (bi
* (h)

Sea A^CLC]] el anillo de las series formales en n variables

a coeficientes en A^ Definamos una aplicacin A^CCJJ
1 k
tal que t(a) = E 6.V
(a) La regla de Leibnitz pueba que
k kJ

trata de un morfismo de anillos Sea ^ el anillo cociente de

Ajy por su radical El morfismo A ^ , a -a da cannicamente

un morfismo A^CCJ] tf^rtU considerando el morfismo compo-

sicin de 4 con este ltimo tendremos una aplicacin

 - 74

que asigna a a^A^ I Ahora bien, estos

k
k
elementos no son otra cosa que " 3ets" de Whitney correspondiera
tes a W (vase 0 4 y {7 bis}) ya que de las relaciones

(1) 6k(a)(y, - * ^h!^(yx)hDr.l-k|

K
jh|<r-jk| h'
,y
y puesto que D est engendrado por y^-^ n~ x n a< u
* un

w
punto esencial por el que hemos necesitado localizar el lgebra
de partida) tendremos que para x Q y x^ de W
6
v(a)(x.) - E k v h ( a ) ( x o) (x.-x
, ,h=
) i

f (x .x.)(x.
k 1 1 0
|h|<r-|k| hj P|=r*l-|K|P 0 1 1

que son las condiciones de Whitney 0 4*. Tendremos entonces un

morfismo i de en el anillo de Whitney del cerrado W de R n ,o

lo que es lo mismo del cerrado W respecto a una bola de R n

Veamos que dicho morfismo es un isomorfismo

<1 es inyectlvo

Sea a de A w , y x Q *W, de la relacin (1) aplicada a a

z
aty) - Ji (y-x) * D*
|hI <r ff *W
hallando su imagen por el morfismo A^, c A^ que asocia
a f (x,y) f (xQ,y)
6. (a) (x ) h ..
a (y) - t J ~ ( y - * 0 ) -e
0 x
IhLr hl o

pues el citado morfismo aplica D. en m Por consiguiente si

x
*W o
4>(a) = o , tendremos a^mx para todo x Q del espectro de A^T y
o
Para todo r de N De la condicin de "subsemisimplicidad" de A^
Se
deduce que a 0
 - 75

I es exhaustiva

Sea f c"(R n )/p w y sea f un representante de f en C*(Rn)

Por ser A^ diferenciablemente completa se demuestra que existe
un morfismo continuo C^R11)A^ que transforma las coordenadas
tjy /tn en x , de A^ Esto da un morfismo

C*(Rn) c C"(R n ) ^A^j que transforma el desarrollo de f

1 f (k) (s)
f(t) (t-s)k - r R. (t,s) (t-s)h
|k|<r kt I h I=r
en
a (x)
k k h
a (y) = Z (y-x) - l R, (y,x) (y-x)
IkI<r k |hI=r h

De la unicidad del desarrollo de acA necesariamente debe ser

a^=6k(a) Ahora bien, la funcin a^ sobre W coincide con f so
bre W que es la k-sima componente del "jet" de Whitney f, lue-
go en el morfismo $ , a se aplica en f Esto acaba la demostra-
cin

Obsrvese que en particular demuestra que A^ estba genera-

do por xj, ,xn

Resumiendo lo demostrado hasta el momento i

Si A est bajo las condiciones del teorema II 1 1, para cada
punto del Spec(A) existe un entorno W tal que la localizacin de
A a este entorno W es el lgebra de Whitney de un cefrado, iden
tificable a W, en un abierto de R n Se trata, a partir de esto,
de construir una variedad y un compacto en ella de tal forma que
A sea el lgebra de Whitney de ste en aquella
 - 76

Sean V^ y V 2 dos abiertos de Spec(A) tales que Ay son l-

gebras de Whitney de cerrados en abiertos Uj y U 2 de R n Su-

pongamos que V ^ V j es no vaco Se tiene

\nV2 = (AV V
1 1^V2 = {
W V 2

Si los oeneradores de Ay son x ^ ,xR y los de Ay son

se
' '^n 3ue tant
l a s restricciones de unos como
de otros a Ay ^y lo generan topolgicamente

Sabemos que A..

AV es la lo-
1 2
xJWz) calizacin en xi(V1r\V2) de Ay

Es decir, existe un abierto Bj^

Uj contenido en j con B j H V ^ V ^ V j
y tal que Ay n v es el lgebra
1 2
de Whitney de VjflV2 en E^ Existen
entonces f^, '^n' funciones diferenciables en B^ tales que
sus clases en el lgebra Ay son los elementos y^ Se veri-
2
fica que ttfof ^yaXj) ji 0 en los puntos de V j A V 2 y por lo tanto
en todo B^ si lo consideramos suficientemente pequeo Estas

funciones establecen difeomorfismos locales de entornos de pun-

tos de x i (V 1 ^V 2 ) en los correspondientes entornos de puntos de
y^tVjflVj), Esto permite definir un difeomorfismo de un entorno
de contenido en Uj^ en un entorno de y^CVjflVj) conten
do en U 2 , reduciendo si es preciso V^ y V 2 de tal forma que no
varie VjVV 2 y que la nueva interseccin tenga su adherencia, que
ser compacta, contenida en V^flV2 Ello se deduce inmediatamente
del siguiente lema /
 - 77

Lema II 1 5

Sea y = f(x) una aplicacin de R n en R n tal que sobre un compacto

K sea una aplicacin biyectiva y que para cada punto del compacto
exista un entorno tal que la restriccin de y = f(x) a l sea un ho-
meomorfismo sobre su imagen Existe entonces un entorno del compac-
to en el que y = f(x) es un homeomorfismo sobre su imagen

En efecto, si no fuese as podramos encontrar dos puntos

pertenecientes al conjunto {x| d(x,K)< 1/i} con f(xi)=f(xi) Pue-
den seleccionarse sucesiones parciales de x^ y x^ de tal forma que
tengan limites, estos sern de K Sean 1 y respectivamente Ten-
dremos entonces que f(xi)>-f(l), f(x^)>-f() y puesto que _
f(x^)=f(x^) se deduce f(l)=f(l), de donde 1=1 en contradiccin con
el que la aplicacin sea un homeomorfismo local en un entorno de 1
de K

De esta forma el conjunto formado por los dos abiertos U^, U 2 y

las funciones de transicin y ^ f (*]_ * x n ) definen una variedad
diferenciable V Si suponemos que Spec(A) est recubierto por
dos abiertos Uj y U 2 en las condiciones anteriores, V contendr
un compacto formado por V^ y V 2 con la correspondiente identifica
cin de puntos mediante las funciones f^ Este compacto es trivial
mente homeomorf a Spec(A) Lo nico que nos resta es comprobar qpe
A es precisamente el anillo de Whitney de este cerrado en la varie
dad Establezcamos una aplicacin de A en este ltimo anillo

Sea a*A, define sendos ajCAy ,*2Pkv a

i es un elemento del
X 2
gebra de Whitney de V en U x , sea f una funcin de representan
te de a, en el anillo de las funciones infinitamente diferenciables
 - 78

en Se trata de comprobar que existe una funcin diferencia-

ble en toda la variedad crue nos de en C"(i)/pv la misma clase

que f^ El finico problema es que f 1 y f 2 no tienen por qu coin

cidir en UjflU 2

Sea h una funcin de C 0 0 ^ ) que valga cero en un entorno de

2~ u i y 1 en donde UJ y ^ es un nuevo recubrimiento de la

variedad con UJ n fuertemente contenido en Uj^ftU 2

Definamos la siguiente funcin diferenciable sobre ^

En U{ se define como la funcin f x y en como fj+h^-fj)

Estas funciones coinciden en Ujn luego definen una funcin
diferenciable en V y teniendo en cuenta que hfj^-fj) tiene
todas sus derivadas sucesivas cero en V 2 vemos que nos define
el elemento de Whitney de C" ( V ) /f>Spec que vena dado por
a^ y a 2 Es inmediato probar que esta correspondencia as esta-
blecida es un isomorfismo

La demostracin del caso general en que el Spec (A.) es reu-

brible por s entornos en que al localizar A sean lgebras de
Whitney, como en el caso anterior, puede hacerse por recurrn-
cia aadiendo entorno a entorno o bien por induccin Tanto la
construccin de la variedad como la comprobacin de que el ani-
llo es el lgebra de Whitney del compacto identificado a Spec(A)
respecto a la variedad no ofrece ninguna dificultad alvo las
de notacin y se verifica reiterando los procesos que acabamos
de exponer Con esto se acaba la demostracin del teorema.

Obsrvese que si el espectro de A fuese localmente homeomor-

 - 79

fo a una bola de R n , es decir, si el espectro fuese una varie-

dad topolgica, las condiciones del teorema II 1 1 daran la
caracterizacin del anillo de las funciones diferenciables en
una variedad El problema de la caracterizacin de un anillo
que su espectro sea una variedad topolgica es un problema no
resuelto Sin embargo, para el caso de la recta real s puede
darse una caracterizacin del Slgebra de Whitney de un segmen
to de la recta Asi tendremos la siguiente proposicin

Proposicin II 1 1

Sea A una O-lgebra de Frchet dotada de involucin simtr

ca y generada topolgicamente por un elemento autoconjugado
La condicin necesaria y suficiente para que A sea el lgebra
de Whitney de un segmento de R es que tenga las siguientes pro
piedades

1 A es diferenciablemente completa
2 D a es un ideal finito generado sobre
3 Para cada m, D A es un ideal cerrado de A ^ A y el gradua
do de A ^ A por D A es el anillo de polinomios en una va
riable

4 A es semisimple y de espectro conexo

Demostracin
Tras el teorema dado en {11} (0 4 ), A es el lgebra de Whit
ney de un compacto de R Si el espectro de A tuviese un solo pun
to A no serla semisimple Por ser el espectro conexo, es un seg-
mento de R

Bajo la hiptesis de que el espectro sea ya un segmento el

que el graduado de A8uA por D. sea el anillo de polinomios en una
 - 80

variable puede sustituirse por la hiptesis mSs simple de que

D
A ^ D A + 1 P a r a cada m En efecto, si x es un generador topol
gico de A, puede probarse crue D A est generado por xl-lx(bre
vemente x-y), tendr la clase (x-y)m por generador Se

trata de ver que este elemento constituye una base del mdulo
Sea entonces g(x,y) (x-y)mtD+1 Tendremos g(x,y) (x-y)1" =
= h(x,y) (x-y)1"*1, luego [g(x,y)-h(x,y) (x-yJ (x-y)m - 0 Dando
a y un valor fijo, y tendremos [g(x,y)-h(x,y)(x-y)J (x-y)m = 0

luego g(x,y)-h(x,y)(x-y) = 0 para x^y y por lo tanto para todo

d
rn mX 1 A
x De aqu que g(x,y)-eDA JS/da * Lorch 17} impone una

condicin de este tipo pero no para la diagonal D A sino solo

para los ideales maximales de un lgebra de Banach con un ge-
nerador y con ello demuestra la existencia de un desarrollo de
Taylor en el punto

Obsrvese que la hiptesis de que el espectro sea conexo no

puede evitarse en principio ya que el lgebra de Whitney de un
compacto del tipo de Cantor en R serla una lgebra semisimple
y su espectro no serla un segmento de R La condicin de que el
lgebra de Whitney sobre un compacto sea semisimple solo equi-
vale a que una funcin diferenciable que sea cero sobre el com-
pacto tenga todas sus derivadas sucesivas nulas en l No impli
ca esta condicin el que el espectro sea localmente homeomorfo
a una bola de R n Una conjetura quiz plausible es que un lge
bra de Whitney semisimple y de espectro localmente conexo sea
de espectro localmente euclldeo Serla una caracterizacin dife
renciable del espacio localmente euclldeo
 - 81

CAPITULO TRES

CALCULO DIFERENCIAL FORMAL PARA

A-ALGEBRAS DE FRECFET Y MORFIS-
MO TOPOLOGICAMENTE LISO ENTRE
L-ALGEBRAS

En el primer apartado del capitulo se dan definiciones de

derivaciones y diferenciales para A-lgebras de Frchet y se
estudian propiedades para stas similares a las propiedades
algebraicas de las diferenciales de KShler-
Dada un lgebra de Frchet A se pueden definir las funcio
nes diferenciables de R n en A en la forma habitual Estas coin
ciden con C"(Rn) C A Si K es un compacto de R n podemos hablar
del ideal de nulidades de K en C"(R n ) C A como el conjunto de
funciones nulas en un entorno de K, y del cierre de dicho ideal
que denotaremos por p K (A) Al cociente C"(Rn)0cA/pKfA) le lia
maremos lgebra de Whitney valorada en A, Puede darse una de-
finicin anloga para un compacto K de una variedad diferencia
ble
En el segundo apartado se da la definicin de morfismo topo
 - 82

lgicamente liso entre lgebras de Frchet En la categora

de lgebras que se precisa, una A-lgebra d es el lgebra
de Whitney de un compacto de una variedad valorada en A si
y solamente si el morfismo A d es liso En esencia se
estudia la relacin que existe entre el concepto de lisitud
del morfismo A 01 donde . es el lgebra de un fibrado so
bre Spec(A), y la lisitud de C d o n d e B es el lgebra en
la fibra Por ltimo se estudia la relacin entre la lisitud
del morfismo A > & y la de sus localizaciones A y E n

particular se obtiene una caracterizacin de una A-lgebra

(^ que localmente sea el lgebra de Whitney de un compacto en
una variedad a coeficientes en el anillo localizado correspon
diente ATT
 - 83

1 Clculo diferencial formal para A-lgebras de Frchet

Definiciones

Sean A y 0. lgebras de Frchet, diremos oue & es una A-lge-

bra si existe un morfismo continuo A (X De esta forma, A
opera sobre los elementos de <X Sustituyendo A por A/Nuc<$> tee
mos un morfismo continuo de A/Nucij>>A, de agu que por comodi-
dad y cuando no haya lugar a confusiones, cuando hagamos referen
cia a una A-Slgebra supondremos que A es una sublcrebra de CL

Consideremos el morfismo cannico irA *i A su ncleo

le llamaremos diagonal de CL sobre A,

Definiremos el Q. -mdulo de diferenciales como el cociente

Para todo L-mdulo topolgico M, llamaremos derivaciones de CL

en M a las A-derivaciones algebraicas de C[ en M que sean apli-
caciones continuas Lo escribiremos Der.(,M)

Teorema III 1 1

Para todo G.-mdulo topolgico eompleto M se tiene un isomor

fismo cannico entre el ^-mdulo de las A-derivaciones continuas
de d en M y el CL-mdulo de los 6l-morfismos continuos de
en M

DerA( a,M) = F o r y n ^ M )
 - 84

Demostracin

Definamos una d-loebra topolgica (X*M extensin trivial de

(X por M, dando como estructura aditiva M = & & M y como multi

2 ,
plicativa la natural con M = 0, es decir (a/m)(a ,m') =
= (aa1,am'+a'm)

Cada morfismo continuo f define una derivacin

D Ci M escribiendo D = f d donde d es la aplicacin continua
asocia
(JL^QJA elemento a de CL la clase en de
al-la

Recprocamente, sea DDer A (&,M) Definamos un morfismo de

gebras <f definiendo $(a*b) = (a b,h Da) Dicho morfis
mo se deduce de la aplicacin continua A-bilmeal 0.x (L t*M
2
(a,bj>-(a b,b Da) Observemos oue CM y como M = 0,
2 2
$ (D q j a )= 0 y por continuidad de donde 4 induce un mor-
fismo continuo
D
f fi
a|A= a|A /D W M
que aplica da en $(al-l>a) = (0,Da) De esta forma D=fd Por
otra parte, dado D, f es nico puesto que la imagen de d. por d
engendra una parte densa en flgjA

Relacin entre las diferenciales de una A-Slgebra y de un cocien

te de sta

Teorema III 1 2

Sean Cl y ^ dos A-Slgebras de tal forma que i es un cociente

de a
 - 85

o o a o

existe una sucesin de l-mdulos y de morfismos continuos

0
= * aJ "nii|

tal que la imagen del primer morfismo es densa en el ncleo del

segundo y el segundo morfismo es exhaustivo

Demostracin

Seauiremos la pauta marcada en {11} en que el enunciado se da

para el caso en que A son los nmeros complejos
Consideremos el siguiente diagrama

(2)->-
u o
'alA
i
Al _ a- o
al a
1
i l>
->>6-
-
o
*A
l

Comprobemos que (1) y (2) son aplicaciones exhaustivas y veamos

una expresin de J

Consideremos las sucesiones

0

V 1

a ? /

De aqu que la aplicacin (X A(X es exhaustiva y

 - 86

que el ncleo es la antiimagen por gj de Nucf2

Como Nucf2 = f j ( ) tendremos que el ncleo J ser, si lia

>
mamos g^ Q (X y ^ a la aplicacin natural

Naturalmente la aplicacin (2) ser exhaustiva Consideremos

por otra parte el diagrama

0 0 0
1 l i
o^aiA^ *^
i i J
0 >d a a a > 0
O|A > A '

0 D
J i !
" | A 'K&fi C -0

l0 i0 i0

Este diagrama resulta de completar el anterior, de donde 0 es

el cierre de J en y dcl|a^ ^ es el cierre
' tambin en ,

d e

De la relacin D ^ ( d QJ a +3 se
obtiene la igualdad topo-

lgica

n
6|A " ;
d
o|A+ 3

De aqu que tenemos la sucesin topolgicamente exacta

 - 87

D +
p tP ) ^ ill A D nl a 3
g|A^ alA*3 __ CA

D +
ajA ^ 3

Tensorializando por l obtenemos una sucesin de espacios con

morfismos continuos

a|n<|A+'
*C|A

donde el ltimo morfismo es exhaustivo, y la imagen del primero

es denso en el ncleo del secundo ( 0 3 6 )

Ahora bien, veamos que D^j A (D^ A + 3 ) = D^j ) (D^ A + J )

j _ D
2 m
En efecto, sea utD^j^O J ) u = lim u n con a|A0 >

como utD^|A en el morfismo IR & 9 L s e tendr lim TTU^O,

lim(irun1)= 0,' luego
s u= lim(u n-wu
n 1), donde u -iu
n n1 pertenece
a
<|A+^dci|A

Tendremos entonces la sucesin

* B fa 0.
" nt h 0 <U;
ja ou
D
CL| A
ya que D a | A n<D* | A + 3) (3 0 D ^ J f D * ^

(
m 3l D IUA
1
)+D
CUA
Consideremos el morfismo J +-o5 $ que asi
no. 5
V

na a ztDel elemento Ij058 es l a cl

se en n ^| A de Z1-1Z)
Este morfismo es continuo por serlo la aplicacin diferencial
 -88

y es nulo sobre ^ 2 , luego sobre 12 De aqu que tendremos un

morfismo continuo

_J .U. ' ^ W x
~3 irCL -5
Td DjA

Para ver que la imagen es densa es suficiente verificar que

todo elemento de J n A ^ ^ en el cociente (1) es imaaen de algn
*

elemento de / ^ , es decir, es de la forma dz +xdt, con z,t de

es
1 / y x de d Sea u de la forma Ea^z^^ + t i b i c o n

z^ y t de 3 y de tal forma que Ea^ z^ 4 t i b = 0 en Ci

Podemos escribir

u E -a 1 (SjSl-liz^ + lbA (t^l-litj^) + E (lbiti-bitil) =

= E -a i dz i - b dt i - db^t^^

luego vale el teorema

Corolario III 1 1

Sea 1& un A-lgebra que adems de ser un cociente de una A-l

gebra & sea una sublgebra estable en el morfismo - Se
tiene entonces una sucesin exacta

0 V ? > 8 3 0 15 "R
a. l A ^ f c l A
Se verifica adems * ^/12) [A

Demostracin

Definamos una derivacin D Cl W asignando a cada eIemen

to a de CL la clase de a - ira en 1 / 9 . Esta derivacin da un mor
 - 89

fismo continuo de l-mdulos f * ^ ^ 3ue e s nu

l en

D luego en su cierre

De agu que define un morfismo

Sfe'al-1*3^ W^dal-Da
Este morfismo es exhaustivo pues todo elemento de ^ es de la
forma a-ira Adems sta es la aplicacin inversa de la aplicacin
que apareca en el teorema III 1 2 1 ^ ^ A ^ a j A D e a<3u*
que J /*) es sumando directo topolgico de y por lo
tanto es cerrado Luego vale la exactitud de la sucesin y que-
da demostrado el corolario

Teorema III 1 3

Sean A, (K , & C-lgebras de Frchet y supongamos que tenemos

morfismos continuos A-^-ffl.
Existe una sucesin de l-mdulos y de morfismos continuos

n
a|A A ^ >fi|A "k > 0

tal que la imagen del primer morfismo es densa en el ncleo del

segundo, y este ltimo es exhaustivo

Demostracin

Veamos en primer lugar el ncleo del morfismo natural

V) jb
TT A >ftira.-'
 - 90

M!>
L

Ahora bien, si consideramos el morfismo natural - Q ^ c - ^ + '

d
QJ A tendr una imagen i( D a | A ) e n la cual es densa i ( A ^ A )

Es inmediato verificar que la imagen de

A
al C 1 ft V> ) / A 4|C ( ft^ ) en la inclusi6n en
^ ^A ^ coincide
U ' Tt
con i (AafA> ifAP> f pues ambos consisten en el ideal cerrado engen

drado por los elementos Tfel-lGtf en G S ^

Podemos entonces escribir el siguiente diagrama de sucesin
nes exactas
0

1
-* D
rila 0 4.
Hfl j
-+D V;>
'I A IRA

l !
o .i(V|A) 1<V|A>

I J

Cn particular, tenemos la sucesin exacta _

 -91

0
^ V l A ^ M >D|A

de aqu que tendremos el siguiente diagrama de sucesiones alge-

braicamente exactas
0 0
1

l
0|A

J
81 'Pla.
1
i i
rr"
>D 1 < 6
6|FF W ' DL* % 0

i i I

En resumen, obtenemos la sucesin topolgicamente exacta

Al A '"fija
_2

Consideremos la aplicacin continua

fi
a|A A B
que asigna a daf el elemento fda, donde la lttfia diferencial
L
est tomada en nico que resta probar es que una parte
densa de la imagen de t1 (AajA)B + D
| A ^ D |A en
^[A pro
"
viene de elementos de la forma fda con Esto es, por otra
parte, trivial
 -92

Observacin
en es
La imagen de t-mdulo de las
diferenciales en enqendrados por las diferenciales de
T(CL) Si este mdulo es cerrado la sucesin del teorema es
exacta

2 MORFISMO TOPOLOGICAMENTE LISO ENTRE L-ALGEBRAS

Preliminares

Como ya hemos dicho la motivacin de este apartado es la de

caracterizar en trminos algebraicos y topolgicos un lgebra
para que sea el "algebra de Whitney" de un compacto de B n
valorado en A, bien de un compacto de una variedad valorado
en A de un lgebra oue localmente sea de este tipo. Veamos
en primer lugar una descripcin del lgebra de Whitney de un
compacto de R n valorada en A

Consideremos la sucesin exacta

0PK-c"(Rn) -W(K) 0

donde p K es el cierre del ideal de nulidades del compacto K

en c"(Rn) y W(K) es el lgebra de Whitney ordinaria correspon
diente a K Tensorializando por A obtenemos la sucesin t

O"p K c A-c"(R n ,A) -W(K) A-0

Veamos que es el ideal de nulidades cerrado ))

 - 93

correspondiente a K en c"(R n f A) y coincide con el ideal I de

los elementos de C^R^A) de derivadas sucesivas nulas en K

Desde luego se verifica que pK^.A c ^ (A) C I, luego

p K ^AC P K (A) C I Por otra parte

PKICFK(C?7GA)C PK%ACPK(A)C I

si demostramos que es denso en I, por ser y fafA)

cerrados, valdra la proposicin

Sea F de I, p una seminorma en A, existe un entorno de K

formado por los elementos de R n oue distan de K menos que 2d
en el que se verifica

p(DkF)<e d(x,K) m -| k U dm'lkl

para un e >0 y m prefijados y |k|<m

Dividamos R n en cubos de lado d y consideremos para cada

cubo el del mismo centro y de lado 2d Existe una particin
de la unidad subordinada a estos ltimos cubos (J) tales que
para |k|<m

E |Dk*.(x)I < C/d'k'

x
iJ

donde C solo depende de m y n (vase 7 bis))

!
I

Sea J* la familia de aquellos cubos S que cortan a K, Defi

namos * l , *(x)= 1 en un entorno de K Veamos que
SJ S
(-+1)F "aproxima" a la funcin F

(-fl)F - F" -F Ahora bien, * es cero fuera del entorno

de K de radio 2d y dentro de l tendremos
 - 94

P(DNF))
X
- p(D*<
X
E r n - p( E E (JD^CJD^F) <
SJ 5 h=0 n x s x

* t () |p(D^ h F) < k c d m - k -| h l/ d |h|

S<J' h=0 a x 5 x

donde k^ no depende de d y por lo tanto no depende de c Puesto

que un sistema fundamental de seminormas en C"(R n ) c A viene dado
k
por f*Sup p(D (f)) donde p recorre un sistema fundamental de
X
XK
seminormas en A, K un sistema exhaustivo de compactos en R n y Ikl
los diversos Indices de derivacin, se deduce que (-$+lF que es
un elemento de f>KI "aproxima" a F De aqu la densidad de jp>gl en
I

En resumen, el lgebra de Whitney de un compacto de R n valo-

rada en A es justamente, W(K)CA, donde W(K) es el lgebra de

Whitney ordinaria de K en R n

Puede verse una proposicin anloga para un compacto K de una

variedad diferenciable El lgebra de Whitney del compacto valo-
rada
en A es W(K)_,A con w(K) el lgebra de Whitney del compacto
en la variedad
Pasemos ya a la definicin de morfismo topolgicamente U s o
entre L-lgebras, definicin anloga a la que da Grothendieck
para el morfismo diferenciablemente liso (sus condiciones son
puramente algebraicas)

Befinlcin III 2 1

Sea & una A-lgebra (i y A dos lgebras de Frchet Diremos

que el morfismo inyeccin A ^ e s topolgicamente liso (t. liso i
 - 95

si se verifican las siguientes condiciones

1 D.i.
&|A es un (X
itA -mdulo finito oenerado
son
2 ideales cerrados de &|A es un

dulo proyectivo y

5
CL|A

Observacin

Segn (13 1 ) , bajo la condicin 1 en la clase de las L-l

gebras de las F-lgebras puede sustituirse el que n sea un
a|A
(^.-mdulo de Frchet proyectivo por el que sea plano

Interesa precisar la situacin de cuando una A-lgebra d con

siste en los "elementos de tipo A" definidos en Spec(A) y valora
dos en una lgebra B Daremos las siguientes definiciones

Definiciones III 2 2

En la clase de las L-lgebras nucleares diremos que una A-lge

bra & es una extensin trivial finita sobre A si donde
B es una L-lgebra topolgicamente finito generada Si B puede to
marse generada por elementos autoconjugados diremos que la exten-
sin tiene genesadores autoconjugados

Diremos que OL es una extensin localmente trivial finita sobre

A si para cada punto de Spec(A) existe un entorno U tal que la lo-
es una
calizacin iXy extensin trivial finita sobre A

En el primer caso la inyeccin A CL induce una aplicacin

 -96

entre los espectros Spec(&)Spec(A) que hace de ellos un fibra-

do trivial de fibra Spec(B) En el segundo caso se trata de un fi-
brado localmente trivial El problema de cuando una A-Slgebra CX
es una extensin trivial localmente trivial sobre A es un proble
ma de ndole distinta a los que estamos tratando Desconocemos que
existan caracterizaciones para que una A-lgebra (X est en esta
situacin El problema en general est desde luego abierto y ten-
dra gran Interes su solucin

III 2 2 MORFISMO T LISO Y EXTENSIONES TRIVIALES FINITAS

Se trata de dada una extensin trivial finita sobre una L-lge-

bra A, dar una caracterizacin en trminos algebraicos y topolgi^
eos para que sea el lgebra de Whitney de un compacto de una vari
dad con coeficientes en A Tras lo dicho en los preliminares se
trata de relacionar la condicin de que el morfismo de A en su ex-
tensin sea un morfismotliso con la condicin de que en el lgebra
de las fibras B, el morfismo C * B sea t. liso Daremos despues coin
diciones especificas para quecon variedad pueda tomarse el espacio
eucldeo En un apartado posterior examinaremos las extensiones lo
clmente triviales

Supondremos que todas las lgebras del enunciado son L-lgebras '
nucleares, diferenciablemente completas y de espectro conexo. Sea
Oi una extensin trivial finita sobre A por elementos autoconjuga
dos CL** BA y supongamos que B es una Q-lgebra, es decir de
i
espectro compacto K
 - 97

Teorema III 2 1

Bajo las hiptesis anteriores el morfismo A * l es t liso

si/y solamente si el morfismo C>.B es t liso En este caso las
dimensiones locales de & . y de B coinciden
a| A

Observaciones

1 La hiptesis de que los espectros sean conexos tienen por

nico objeto que las dimensiones locales de Q | ^ y de
sean constantes Puede entonces sustituirse aquella hip-
tesis por sta
2 El teorema anterior constituye una caracterizacin del l
gebra de Whitney de un compacto en una variedad con coef
cientes en A (W(K,A)) ya que segn el teorema II 1 1. en
las condiciones anteriores el que el morfismo C s e a
t liso equivale a que B sea el lgebra de Whitney de un
compacto K en una variedad, y secrn los preliminares
W(K,A) = WfKjA

Antes de pasar a la demostracin del teorema veamos algunos

lemas que necesitaremos

Lema III 2 1
' ii
Sea M un A-mdulo de Frchet, A un lgebra de Frchet y sea
N un e V t de Frchet Se verifican los siguientes isomorfismos
topolgicos
i
M ^ ( A C N ) = ( ^ A ) C N = M C N

Demostracin

Consideremos una aplicacin A-bilineal

 - 98

(1) MA(Ag^N) M C N

(m, EX^^n^,) ZA^a^m r^

Obsrvese que EX^a^m n^^ es una serie convergente por estar la

sucesin a^ acotada en A y por lo tanto a ^ en M

Veamos que la aplicacin es separadamente continua, luego con-

tinua En efecto, para m fijo la aplicacin

A CN i- M C N

EX^^n^, - rx i a i mn i

es continua pues proviene a su vez de la aplicacin bilineal cont

nua A x N q u e asigna al par (a,n) el elemento amn

Veamos que la aplicacin (1) es continua en la primera va

riable Ser una aplicacin M >-M$cN que asigna a m, ix^a^men^
Observemos que si p recorre una familia fundamental de seminomas
en M y q una familia anloga en N, peq es una familia fundamental
de seminormas en M C N, donde

pq '(EX^a^man^) = inf {E | X^Jp(a^m qin^}, estando el nfimo to

nado para todas las expresiones posibles del elemento Tenemos en-
tonces

pq(rxjLaimni) ^ zfx^ |p (nq (n^

le donde la aplicacin M>-McN es continua

Tendremos entonces una aplicacin A-lineal continua

M A (A C N)-1-^ M ^ N

Por otra parte, podemos considerar la aplicacin bilineal

MXN Ma<AcN)
 - 99

que asigna al par (m,n) el elemento mA(ln)

Es inmediato demostrar que se trata de una aplicacin separada-

mente continua, luego continua y que define por tanto una aplica-
cin continua a su vez

M ^ N - ^ M ^ (ACN)

Las aplicaciones $ y ii son inversas una de la otra sobre una

parte densa de los espacios, luego en todo el espacio Se trata
pues de isomorfismos

El isomorfismo (M ^ A A) C N = H ^ N es trivial a partir de la rea

cin M ,A = M

Lema III 2 2

Sean A y B lgebras de Frchet, A nuclear & B B 6 g A es una A-lge

D
bra Se verifica qJa = y
CL (Bfl|,B)CA

En efecto, tenemos las sucesiones

D
- * t t i A a a . - *

0 kDb CB 0

Tensorializando esta ltima por A obtenemos

0 -DgA |"(B CB) >cA -B A O

Ahora bien

CL CL (B$CA) A (B C A) , aplicando el lema III 2,1 es igual a

B<^,(A pA(B&cA)) = B^B^A) = (BCB)CA

 -100

A partir de aqu la proposicin es trivial

Lema III 2 3

En las condiciones del lema III 2 2 se verifica

"^lA-'c I- V
d
q.|A

donde los cierres estn tomados respectivamente en y en

B* C B.

Demostracin

D 88 ( D
a|A Bc A ) n =
W ^ - D
S V
Ahora bien, (Dg^A) con la topologa inducida por
= (B <,B) ^A y la topologia v de D^ A coinciden Esto es consecuen
cia de que la proposicin es cierta para las topologas e y de la
nuclearidad de A

De aqu que Dg c A = D^fi^Ao si se prefiere es igual a D g ^ A

La relacin ' D 1 ^ / (Dg/Dg+1) y*. se sigue ahora sin ms

que tensorializar por A la sucesin

od*+1>D| -O

teniendo en cuenta ( 0 1 3 ) , que A es nuclear y que los espacios

son de Frchet
 -101

Lema III 2 4

Sea M un B-mdulo de Frchet y N un A-mdulo de Frchet B y A

L-lgebras, Todos los espacios los supondremos nucleares Si es
un abierto de Spec(B) y V uno de Spec(A) se verifica que la loca-
lizacin de M C N como PcA-mdulo en ^ V es el ByGAy-mdulo

VcNv

Demostracin

Desde luego oue MecN tiene estructura de Bi&A-mdulo Veamos en

primer lugar que

<B*CA)UxSpec(A) ? * c A < * 4 N ) = M
UC N

En efecto, sea C n una sucesin exhaustiva de compactos de definjt

dora de la localizacin de B en U Siguiendo la notacin de I 1 4 ,

Sea = SabemOS (I 1 4
^n x V * *gUe lB/
\Ch
hN n
=
de dende x Cpec C A POR SER ES
P A C I S ^e Frchet y
n n

ser A nuclear Tendremos entonces que I 0 C A pueden tomarse como idea

n
les definidores de la localizacin de B^A en UxSpec(Al Tendeemos

M N M0-N
(M N) =
c UxSpec(A) -- fl ^ ' P r la
,
Q
(IQ C B ) (MCN) N ^

clearidad de N es igual a

M
lm ( y por la conmutacin del producto tensorial compjLc
X
0nM
tado con los lmites proyectivos estrictos ( 0 1 1,1, es igual a
 -102

( lim -)cN - M UC N
I M
0
n

Aplicando los mismos razonamientos al A-mdulo N, tendremos que

(M c N) UaV = < < M ^ N ) x S p e c ( A ) ) u > v = ( V c N ) U x V V A

como queramos demostrar

Estamos ya en condiciones de pasar a la demostracin del teore-

ma III 2 1

Si el morfismo C - B es t liso, el morfismo A C L es t U s o

1 El morfismo A v e r i f i c a la condicin primera de morfismo

t liso
En efecto, D es finito generado sobre B C B, luego tenemos
una sucesin exacta
L
B* C B *DB
donde I#B es un mdulo libre de dimensin finita Tensoriali-
c
zando por A

luego, aplicando los lemas III 2 1 y III2222,, DqJ a e un

(X -mdulo finito generado

2 El mofIsmo A L verifica la condicin segunda de morfisno

t liso

Veamos en primer lugar que son ideales cerrados de

 -103

Bajo las hiptesis del teorema III 2 1 si el morfismo C * B es

t liso, B es el lgebra de Whitney correspondiente a un compacto K
en una variedad V Segn los preliminares del teorema (L^B^A

= W(K) C A es el lgebra de Whitney de K valorada en A Consideremos

en primer lugar el anillo A = (lA)cA Aplicando el lema III 2 1
a a Eh m ( l W ) C A - (V-*iT;A) Sea D k la aplicacin de
k k
en si mismo que asigna a fa el elemento Dtfa, donde D f es la fun-
cin que resulta de aplicar a f k campos sucesivos de V' Sea p la
aplicacin restriccin a la diagonal ( I W , A ) ( l/*,A) Es f&
1
cil comprobar que D ^,.
A
es la interseccin de los ncleos de las apl

caciones continuas p (D 1) ( v>v,A) > ( l/",A) para lkj<m Se

trata pues de un ideal cerrado Fstas aplicaciones inducen unas apli
caciones continuas p.(D*l) = Ci &Att = W(K) C W(K) C A W(K)^A
D es intersecc
0.|A i n de estos ncleos para |kl<m, luego son idea-

les cerrados
e
Veamos que s un Cl-mdulo de Frchet proyectivo de la mis

ma dimensin local que En efecto, sea un abierto en el que

ftp sea libre Tendremos entonces que segn los lemas III2 3 y

III 2 4

= (n
^a^UxSpecA) B C A UxSpec(A) " n
B CA

s B
que es un mdulo libre sobre ^U)Spec(A) UC A

Grad
Se trata de probar, por ltimo,que Simetr^ (n^X^ " D ^^rA^'
A. [A

Consideremos el morfismo cannico del Simetr^ en el

Grad- (Cl.Cl ) Al localizar dicho morfismo en un abierto del
D
a|A *A
tipo UxSpec(A) con libre, obtendremos un isomorfismo En efe
 -104

to

Simetra(V|A)U/cSpec(A) = S i m e t r ^ ^ ^ ( ( ^ A ^ S p e c (A) > =

Simetr R (J B r A) =(Simetrn (_ ))-A =

B
uc A B u c B
u Bu ^

= (Grad ( B ^ B y ) ) C A = Grad *(B^B^A)

B c
u u

= Grad (a =
Dn UxSpec(A) ^ A ^ S p e c A ) *
w
UxSpec(A) IA

(Grad
Da|A(fe^))UxSPec(A)

En estas igualdades se ha hecho uso reiterado de los lemas

anteriores y de la nuclearidad de A

Ahora bien, puesto que Spec(tL) puede recubrirse con un n-

mero finito de estos abiertos, UxSpec(A), se deduee la identidad
entre el simetrizado y el graduado del enunciado

Veamos el reciproco del teorema

b) Si el morfismo A (! es t liso lo es el morfismo C-B

1 El morfismo C-B verifica la condicin rimera de morfismo

t liso
Sea una sucesin exacta L- ~ ~ -D-,r O, donde L es
Cii^jJL (A A
un (X -mdulo libre de dimensin finita Tensorializando
por A/m^, donde m x es un ideal maximal cerrado de A

A
haciendo uso de los lemas III 2 1 y III 2 2
 -105

( A /
>& V = nB c B) c A)^(A/tt x ) = B c B y

D
a|A V * ^ " - DB

luego tenemos la sucesin

l D
b c B * B

que permite afirmar que D es finito generado sobre Ba^B

2 El morfismo C -*B verifica la condicin segunda de morfismo

t liso

Veamos que D son ideales cerrados en 6 9^B

Consideremos el epimorfismo "tomar valores en x"

= (B^.B)CA >BcB

que se obtiene al tensorializar por (BCB}<$CA sobre A el epi

morfismo AA/m =C y aplicar como antes el lema III2211,

En este epimorfismo D ^ A D B C A tiene como imagen D^

De aqu que A tendr como imagen D , pero, por otra par

te, puesto rque DjJjA=DgcA ( lema III 2 1 ), su imagen ser

( D ^ c A ^ A / n ^ ) = Dg c C = Dp Luego D ^ D y se trata por

tanto de ideales cerrados

Veamos que es un B-mdulo proyectivo de la misma dimen

sin local que A sobre (X Sea la localizacin de en
UxV libre de dimensin n

i (
CLiA*UxV * BCA^V' que se
9n el
i-ema 1X1,2,4, es
igual a ( () B ) U C A V , segn los teoremas I 2 4. y 1*1,4, es gual
 -106

a su vez a (n^cAv

TensorialIzando los dos ltimos mdulos por Ay/mx y' donde

m
x v es el ideal maximal en Ay correspondiente al punto x,
tendremos

=
^ c V V V V v * v (A v /n Sc,v )

y aplicando el lema III 2 1 fl_ L- como queramos demos*

E
U U
trar

Veamos por ltimo que GradD (B^,B) Simetr^^)

B
Necesitamos para ello el siguiente lema

Lema III 2 5

Sean A y B dos lgebras de Frchet I un ideal de A, M un B-m-

dulo de Frchet de tipo finito Se verifica

Mj-,1 = (BCI) (MCA)

donde el producto est definido en M$ C A que es un Bfi^A-mdulo

Demostracin

Desde luego es vlida la inclusin (B(^I) (M^Al c H ^ I

Sean z^, ,zR generadores de M Se tiene un epimorfismo de un

mdulo libre en B sobre M L H (6lf , ^) *+ V S i

De esta forma M es un cociente de L Por ser Lg de Frchet, si m^

es una sucesin de M que tiene por limite 0, paeden tomarse repre-
 -107

sentantes de m. en L_ de tal forma que la sucesin sea convergente

n
a cero en L_,
B es decir, existen . . tales que m a = z . . z. con
J' 1 J 1

B 4 3O en B
3'1 j

Sea ahora ? x.a b. MLl, z |a_I< , a. -0 en M y

31 J J J j=i J J

bj > 0 en I Tendremos
n
? I ( ? A.. .ek ) (z,l) ir (BflLl) (MrA)
3
j=l 1=1 J J'1 3 1 c c

con lo que se acaba la demostracin

Volvamos a nuestra proposicin

Sea la sucesin

tensoriallzando por B
0 -*B ^ m x * ( k -B *0

de esta forma B puede expresarse B L/fe^m^ De aqu que

D
m mfi A|A / C (D^/Df1)^
(D m
a lA^o/l V =
<B W B
< VSc> < ( D ^ / D f 1 ) ^ )

aplicando el lema III 2 1 es iqual a

 -108

S ^ v y por la nuclearidad de Dg/Dg y por ser los

<D/Dr>vx
D A
espacios de Frchet es igual a (B ^ ^ B
d
B *x D + 1

Por otra parte

B^Simetr^ = SimetrB(B# SimetrB(nB)

Luego, bajo la hiptesis de que GradD Cl ^CLlmStmetr^

tensorializando por B sobre (X obtenemos la relacin buscada

GradD (Bfl^B) = SimetrB(B)
B
Esto acaba la demostracin del teorema

Corolario III 2 1 (Caracterizacin del lgebra de Whitney de

un compacto de R n valorada en un anillo A?

Sea d una extensin trivial finita sobre A por n elementos

autoconjugados, es decir (X B^A con B generado por n elemen-
tos autoconjugados Las lgebras las supondremos en las condi-
ciones del teorema anterior El morfismo A . (X es t liso y el
es libre de
L-mdulo dimensin n sobre (X si y solamente

si L es el lgebra de Whitney de un compacto de R n valorada

en el anillo A

La demostracin es trivial teniendo en cuenta que s

libre de dimensin n sobre A si y solamente si B es libre de

dimensin n sobre B y aplicar la condicin 0 4 .Esto a su vez

 -109

es una mera comprobacin En efecto, ^lA* ^^B^B'

tensorializando esta ltima relacin por A sobre C obtenemos
que es libre de la misma dimensin que Si La
tensorializando por A/m x n ^ j A ( A / m x ) L^ $ A (A/m x l, y
aplicando el lema III 2 1 obtenemos aue Q q es libre y de la
misma dimensin que i2r)

Observacin al corolario

Hay que tener en cuenta que este corolario no est enuncia

do en sus condiciones mnimas Por ejemplo, no es preciso su-
poner las condiciones de "superregularidad" y de "subsemisim-
plicidad" de A, ya que no es preciso localizar en Spec(A)
Tampoco es preciso suponer la "superregularidad" de B, por la
misma razn En cuanto a la hiptesis de que las dimensiones
locales de las diferenciales sean constantes, en este caso,
que hemos supuesto que stas fovman un mdulo libre, es redun
dante Por lo tanto la hiptesis de conexin de los espectros
puede suprimirse tambin

III 2 3, MORFISMO T LISO Y LOCALIZACION

Dada una A-lgebra (X se trata de verificar que, bqjo cier-

tas condiciones, el concepto de que el morfismo A*(% sea t,
liso es un concepto local* Aplicando esto al caso en que d sea
una extensin localmente trivial finita obtendremos la caracte
rizacin de una A-lgebra (X que localmente sea el lgebra de
Whitney de un compacto de una variedad con coeficientes en el
anillo localizado de A correspondiente
 -110

Supondremos que las lgebras del enunciado son L-lgebras

nucleares diferenciablemente completas y que sean Q-lgebras,
es decir, de espectro compacto

Teorema III 2 2

Bajo las hiptesis anteriores el morfismo A e s t liso

si y solamente si para cada punto de Spec(A) existe un entor-
no U tal que el morfismo A y ^ A g es t liso

Antes de pasar a la demostracin veamos algunos lemas

Lema III 2 6

Sean A y CJ. L-lgebras nucleares, CL una A-lgebra, OL&^dL

es una AA-lgebra y una A-lgebra y se verifica que para

cada abierto U de Spec(A)

Demostracin

es una AA-lgebra y ya sabemos (I 1 4* que

(AAj^y AydAjj Por otra parte si T es la aplicacin de

Spec(jCt) +Spec(A) asociada a la infeccin de A epi ClfTx^

es la aplicacin asociada a la Inyeccin de Aa^A n fl^L ,

de donde, segn el teorema general de localizacin" (1,2,3,11

(AcA);( a^fl.) ^<>c a, xl4xT'(u} * u e *****

y
(I 1 4 ) es igual a c ^T'(u) nuevamente por (J 2

coincide con ^J ^tJ

 -Ill

Consideremos la sucesin exacta de Ad^A-mdulos

0^iA(ac.) c Cl - o

localizando en UxU y tras lo dicho anteriormente obtendremos

o & A < a c a > U X 0 a0c a o

Segn el teorema 1 2 2 la topologa propia de ( ft^GU^^

coincide con la inducida por

Por otra parte, tenemos una aplicacin inyectiva

cuya imagen es densa, como se puede comprobar expresando el

segundo trmino como lmite proyectivo de cocientes, y tentn
do en cuenta que la imagen cubre una parte densa en cada co-
en
ciente De aqu que el cierre de ^ ( ^ u ' c ^V^ *C ^"
coincide con GLcCUxU

Tendremos entonces

y como
Ahora bien, puesto que D^ = * 0

sigue que

' V C V a A ^ A ^ - V A ^ A ^

Lema III 2 7

En las condiciones del lema anterior se verifica

1a a
a Vi.- t ' W
A
 -112

En efecto, consideremos la sucesin de AA-mdulos

13 1 0
a A
localicemos en UxU

0
' a l A ' u r t r "u \ ^ K v

lo nico que debemos demostrar es que d^ Vemoslo

Los elementos de A&^A actan sobre (X pasando al cociente por

D a , (AA/D^^ = A y mediante el producto en (X teniendo en cuenta
la inclusin A (L Tendremos entonces

A
CA
A
<< VU*UA r A ~ ' *Ue S
^ n
<***>
c Da

es igual a A ^ d Cly

Por ltimo ( A ^ A ) x A c A - ^

Aplicando el lema III 2 6 es igual a (fty ^j^^fi ADOf*

Lema III 2 8

En las condiciones de los dos lemas anteriores se verifica

m nm
,nm . m u q|A _ ^-ulAp
qia'WO - \ | A 0 y "o'd-^r-pfP

Demostracin

D
Segn el lema III 2 7 a|A/
 -113

jn m
((D
FL. | A W ^afA^uxu
V *

Consideremos la sucesin exacta de A$cA-mdulos

n
0
TItl -.m y_m+l
^ D Cl|A^alA^CLir-" 0

localicemos en UxU

.m
"a A
hl '
D
a A
Aplicando los lemas ulteriores
jn

, N
^ - < U -

Ahofca bien, de la sucesin exacta

o
^ a l A ^ u " ( a ?) A a x u
.m+l s o b r e
tensorializando por O|A &

Nm

W ' u ^ V a|A wdfifaa

*A j ^ r - M u ^
0.|A Gl*- - *

la imagen del primer morfismo es ceiro, luego tendremos el & W V

fismo t

)o x u .a a - \
a|A
Esto acaba la demostracin
Pasemos ya a demostrar el teorema.
 -114

Si el morfismo A es t liso, el morfismo Ay fl^es t H s p

Veamos en primer lugar que se verifica la condicin 4.c de

morfismo t liso Sea una sucesin exacta

L 1
M A a
donde L es libre finito Localizando en UXU y teniendo en

cuenta los lemas III 2 6 y III 2 7 se llega a que ,- es fi-

"l^U
nito generado

Veamos que el morfismo A y + (X verifica la condicin 2 de

morfismo t liso

Segn el lema III 2 8 , dJ ^ *DC.|A*Ux ' d e donde

Por la

exactitud topolgica del functor localizacin D? es cerrado

en a 0 Oy

Como resultado particular del lesna III 2 8 tenemos que

na|A
Qg|A u Puesto
3ue ^u es la
localizacin de d eomo

lgebra en el abierto T*4 (U), donde T es la epiyeecin (pues los

espectros son compactos) entre los espectros Spec (A -+ Spec (A),
inducida por la inyeccin A- d , tendremos que t^ es un

Cl^-mdulo localmente libre de la misma dimensin loc^l que la de

ft
a|A

A partir del mismo lema III 2 8 y de la relacin

GradD i ) * Simetr^ y teniendo en cuenta que la ope-

racin "tomar simetrizado" conmuta con la localizacin, se dedu-

ce que o r ^ (ft, f ^ d , ) - S i - t o ^ C
 -115

Veamos ahora el reciproco

SI para un recubrimiento de Spec(Al, , los morfismos

Aq- Q^j son t lisos, el morfismo A es t liso

En efecto, Spec(A) es un conjunto compacto, luego existe

un recubrimiento finito de abiertos tales que D son
oINJ
..-mdulos finito generados De aqu que, por medio de

una particin finita de la unidad, se llega a que es un

d -mdulo finito generado

Veamos que son ideales cerrados en Q. A & Considere

mos el recubrimiento anterior e identifiquemos OipGL con una
parte de CL . 61 Teniendo en cuenta que D1 son cerra
y U TTAy U ^' U ""

dos en fty A (Xy se llega a la verificacin de la proposi*

cin

Si fi, | K es un (L.-mdulo de Frchet proyectivo looalmen

te de dimensin n, es trivial que es localmente libre, lue

go proyectivo, con la misma dimensin local

El morfismo cannico Simetr (nAi)Grad. ( es un

OL O-jA D^| A itA
isomorfismo, puesto que sus localizaciones en un recubrimiento
de Spec(A), que es compacto, lo son

Corolario III 2 2

Supondremos que las lgebras del enunciado son L-lgebras

nucleares, diferenclablemente completas, -lgebras y de es-
pectro conexo
 -116

Sea C^. una A-lcrebra extensin localmente trivial finita

sobre A generada por elementos autoconjugados

La condicin necesaria y suficiente para que sea local

mente (Xy= WdOAy, donde w(K) es el lgebra de Whitney de
un compacto respecto de una variedad, es que el morfismo
A & sea t liso En este caso la dimensin local de y
la dimensin de la varidad coinciden

Observaciones

La hiptesis de conexin tiene por objeto el que las dimen

siones locales de sean constantes y de que sea cual fuera
el abierto U trivializante, sifl.yBAy,el lgebra B de la

fibra sea la misma para todos

La demostracin es trivial tras el teorema XII 2 2 y el

corolario III 2 1
 -117

CAPITULO CUATRO

ESTRUCTURAS DIFERENCIABLES ELEMENTA-

LES CON COEFICIENTES EN UN ANILLO
DE FRECHET

En este capitulo se describen diversos ejemplos de morfis-

mos t lisos que aparecen con naturalidad en anlisis*

Un problema que se presenta con frecuencia es el de dotar a

un mdulo libre de dimensin finita sobre un lgebra de Frchet
real de una estructura diferenciable Pensemos, por ejemplo, en
que A sea el lgebra de las funciones Infinitamente diferencia-
bles sobre un segmento, continuas simplemente El mdulo li-
bre sobre A de dimensin n son el conjunto de las curvas dife*
renciables continuas respectivamente en el espacio R n Pare-
ce natural dar una definicin de funcin infinitamente diferen-
ciable de L A * n A en A Si tomamos como definicin la cl-
sica sustituyendo nmeros reales por elementos de A y valor ab-
soluto por las diversas seminormas de A, tendremos la siguiente
definicin
F L > A es infinitamente diferenciable si para cada
k (Je,, ,k ) existe, una funcin de L en A, F* tal que si de
 -118
finimos

k+r
T^ F k (z) E -2 (z-)r y R* F k P k - T^ F*
a rl a a

para z y a de L, para cada seminorma p de una familia fundamen

tal de 8eminormas de A y cada c>0 existe un entorno de tal
que para cada de este entorno

p(R F k (z)) < e (Sup p(a^-z*) )m"I

a

donde a (a1, ,an) y z = (z1, ,zn)

Si consideremos el morfismo t liso A*ft.C - (R n ) R A, tendre

mos una aplicacin asociada Spec(XI )Rnx Spec(A)* Spec(A) que
es un fibrado trivial de fibra R n Las A-secciones de este fi-
brado son L*A n A y los elementos de d pueden considererse
como funcionesiren:'1tf sobre las A-secciones del fibrado Se demues
tra que estas secciones son infinitamente diferenciables en el
sentido anterior, con lo que & dota a las A-secclo&es de una
estructura A-diferenclable

Fn el segundo apartado se estudian las ecuaciones diferencia-

les parametrizadas por un anillo Es un instrumental necesario
para el apartado siguiente y una muestra de cmo un problema
planteado en su lugar natural gana en claridad y profundidad
Asi, la demostracin del teorema de existencia de ecuaciones di
ferenciales ordinarias planteado en un lugar adecuado da direc-
tamente el teorema de dependencia diferenciable de la solucin
respecto de las condiciones iniciales respecto a una familia
de parmetros de la que dependa la propia ecuacin diferencial

En el apartado tres, se asocia a todo mdulo proyectivo sobre

A una A-lgebra CL, extensin localmente trivial de A, tal que
el morfismo A s e a t liso y que el lgebra de la fibra del
fibrado asociado sea C (R )
 -119

En este caso SpecA( CL) HomA( A.,A) es el mdulo proyectivo

que tiene, de esta forma, una estructura A-diferenciable En
el mismo apartado se dota de estructura A-diferenciable a las
A-secciones de un fibrado trivial de base Spec(A) y fibra una
variedad diferenciable V" Se demuestra que esta A-variedad
es localmente isomorfa a un A-mdulonproyectivo del tipo ante-
rior,

Para simplificar las notaciones supondremos que todas las

lgebras de este captulo son lgebras reales partes hermticas
de lgebras simtricas
 -120

I MORFISMO T LISO ASOCIADO A ON MODULO LIBRE FINITO SOBRE

UNA F*-ALGEBRA

it-
Sea A una F-lgebra diferenciblemente completa real ( 0 3 5 )
Sea L un A-mdulo libre de dimensin n L A n A Los elemen
tos de L los denotaremos por a y si f C^tR*1) , f (a) denotar la
funcin f
El mdulo libre L es el mdulo de las A-secciones del fibra
do trivial de base Spec (A) y fibra R n Vamos a definir una A-l.
gebra Q. tal que Spec (CL) sea el fibrado y cuyo Spec A (0
= HomA(CL/A) sea el mdulo L Esto puede hacerse tomando simple
mente (X. aC"(Rn)RA El morfismo de A en Ci es t liso y es tri*
vial verificar que Spec($.) es el fibrado y que SpecA(?. )L;
esta ltima relacin se deduce de la condicin de diferenciable
mente completa de A

Se trata ahora de verificar que # es un anillo de A-funcio

nes "infinitamente diferenciables" en el mdulo L de las A-seccig
nes del fibrado En particular, deduciremos que la topologa
A-espectral de L coincide con la topolgla de partida de L

Veamos en primer lugar un lema

Lema IV 1 1
Sea f<c"(Rn) La funcin de L A n
*A A definida por
a > f () es continua.

Demostracin

Sea p una seminorma continua en A Fijados dos nmeros natu

rales k y h, el conjunto
 -121

C
kh ' P(ei) 5 k
<l| h + Para cada
<F n )
i a -
es cerrado, puesto que p(e ) es una funcin continua de a Por
ser A diferenciablemente completo ( 0 3 7 ) (vase {11}, clculo
operacional con un nmero finito de variables), se verifica que
L " U por el teorema de Baire, alguno de los cerrados C ^
}c f ii
tiene punto interior, por medio de una traslacin puede suponerse
que este punto es el 6 cualquier otro As pues, dado un punto
S 0 L, existe un entorno de l y nmeros naturales k,h tales que
p(e i o a ) < k(||h + 1) para todo cU y Rn

Supongamos en principio que Spec(A) es compacto Entonces, dado

un 0 L podemos encontrar el entorno anterior de modo que a(x)
est contenido en un cubo de lado 2n/o en R n para un o >0 fijo y
todo i 4

Sea fC-(R1*), podemos hacer que f coincida con una funcin peri
dica de perodo 2n/a en un entorno de U 5(x), con lo que me-
xtSpec(A)
U
diante el desarrollo de Fourier de f

f E x.eiot
n m
mz
tendremos las relaciones

P(f(5-f(0)) p(rx 5 (e i o 5 -e i o 5 5 o)l <

J |i-|p(e ia5 -e ia55 o f
|m I <N

f
,-f
I ll" C|o5| h - D
m I *N

donde dado e>0, el nmero natural N puede elegirse de modo que la

segunda suma sea menor que e/2 (independiente de ), y una vez ee
gido ste, la primera suma, que es finita y continua en a, puede
hacerse menor que e/2 tomando i suficientemente prximo a Esto
 -122

demuestra la continuidad cuando Spec(A) es compacto

Si Spec(A) no es compacto, podemos tomar una sucesin exhaus-

tiva de compactos KjCKjC de Spec(A) , y llamando A =A/NucK ,
4 M
(NucKg son los elementos de A nules en K^), de tal forma que
A lim
- Aq

Sea aL, la proyeccin de a en A^ ser a g y la proyeccin de

f(a) en A ser f( ) = fa Como hemos visto f(a ) es continua
Q q q q
en a , que a su vez es continua en a, como (f(a)) es continua en
para todo q, f(5) es funcin continua de 5, con lo que acabamos
la demostracin

Corolario IV 1 1

La aplicacin C(Rn)x L -A (f,S) f(a) es continua

En efecto, la aplicacin es lineal en el primer factor y separa

damente continua La aplicacin del enunciado es entonces continua
sin ms que tener en cuenta en terema de Mazur-Orlicz Sea I un
espacio mtrico, E un espacio de Frchet, F un e 1 c cualquiera
Si la aplicacin <f> E;l + F es separadamente continua y lineal en
E, $ es continua

Lema IV 1 2

Sean y B elementos de L, ftC^R11), definamos una funcin R A

escribiendo g(t) f( + tb) , est funcin es de clase C* y se
tiene g'ftjsl b i (f/3y i )( + tb), donde af/By1 es una funcin de

c"(R N ) y tiene sentido por tanto aplicarla a + tb

 -123

Demostracin

Definamos la funcin er'(t) de R en A escribiendo

n
i i _ _
a'(t)
i b (3f/3y )(a+tb)
il
Del lema IV 1 1 se deduce que g 1 (t) es una funcin continua de
R en A Integremos esta funcin entre s=0 y s=t

h(t) * / q'(s)ds, para cada x de Spec(A) tendremos

h(t) ixl / t g(s)x)ds = / t E b ^ x l ^ C x ) f sE(x))ds

0 i=0 ay1

= f (5(x)tsb(x))ds = f(a(x) + tb(x) )-f (a(x) )

'o ds

y como A es semisimple, h(t) f(a+tb)-f(a) = g(t) - g(0), y por

tanto g(t) = a(0) + ^ qMs)ds lo que demuestra la asercin dada

Este resultado significa que se puede derivar f(-ftb) como si y

fuesen vectores numricos ordinarios, es decir, se puede derivar
punto a punto en f (a (x)ftb(x)) Naturalmente puede calcularse del
mismo modo formal todas las derivadas sucesivas

Estamos ya en condiciones de establecer el siguiente teorema

Teorema IV 1 1

(2. c"(R n ) R A es un anillo de funciones infinitamente dlferen

ciables de L en A en el sentido dado en l introduccin de este

capitulo
 -124

Demostracin

Veamos primero que toda F e d es una funcin continua de L en

A Si fC (R ) lo hemos comprobado en el lema IV 1 1 Para pro-
bar la continuidad de F ser suficiente verificarla para la res-
triccin a cada compacto de L (L es un espacio metrizable comple
to) Sea entonces 0 un compacto de L, p una seminorma en A defi-
nida por una parte equicontinua K de A 1 , 0 define en c"(R n ) una
P
seminorma q mediante la expresin

q(f) = max p(f(a)) = max max |<u,f(a)>| , como <<i>,f(a)> es

ifO wK
P
una funcional lineal continua en c"(Rn) y como este espacio es
tonelado, q es una seminorma continua

n
En consecuencia, si f
m es una sucesin acotada en C*(R ),
Sup q(f m ) < , luego para toda serie numrica absolutamente
m
sumable m Jy todo cpar de sucesiones acotadas fjec",
m am l a fun

oo
cin F z f es, sobre Q, limite uniforme de funciones con
. i m m m
tinuas, luego es continua en 0 Por lo tanto F es continua en I

Para ver que F es diferenciable, escribamos nuevamente,

F = r A a f con + , aj 0 en A, f > 0 en Ca(Rn),
m m m 'm1 m m
m
aF rt
Definamos -24- = z , Ama_m i 1=1, ,n Son funciones de
3y*4
* m=l 3yJ
puesto que 3fm/3y^ -* 0 en c^iR11)

En virtud del lema IV 1 2 , f_(S+t)

m es diferenciable en t y
se tiene
n 3f
d * m
3
f M (+tE) Z b ? (a+tE) con lo que
dt ra
j-l 3y
 -125

- - n .n3f
f_ (a + b) f (a) + E b3/ (a + tb) dt
'0 3y J

tendremos entonces
n
;, b3 /o l iT(+tb)dt = E b3( X a Z 1 ^?(5+tb)dt)
1
j=l m=l m m 7
0

00
L v im k0 ( S + t E ) d t
at m - m=l ^ a
J, m m m f (a+b) - E Xa f (a)
ml m-1 111 m m

F (a + B) - F (a)
n
luego F(fb) - F (a) E f ~r(a+tb)dt y por tanto
0 dyJ
n
F (5+b) - F (a) - E b3 ^(a+tE) ^r (a) )dt
j=l 3y3 ay-1 ayj

y como3F/dy3 son funciones continuas en L, resulta inmediatamente

que F es diferenciable y que su "diferencial" viene dada por

d_F(b) E -~(5)b^
j-lay3
como si 3F/3y3 fuese la i-sima derivada parcial de F,

Hemos demostrado que F es una vez diferenciadle y calculado su

diferencial El que sea infinitamente diferenciable se deduce de
la formula de Taylor que vamos a demostrar

Definamos 4 0,lJ A por <fr(t) " Fa+tB) Aplicando reitera-

damente los eesultados obtenidos se verifica que 4 es infinitamen MM

te diferenciable Como para las funciones ordinarias se tiene un

desarrollo de Taylor

u, .(O) + + 1 Mdt
f
1' El '0 ml
 -126

y teniendo en cuenta el valor de las sucesivas derivadas de 4

n 2f
i
1 aP _ i r DiL ]2
F(a+b) = F (a) f z b -if-(a) + L b b ^ 3-<a) +
ay3 2 3 ll'
fj,
J
2 3y 3y

a"r
f-JL z. bDl b3 Ca +
m
l 31 w
J /D-
J
m *
3y *
3y

f L Ll / 1
^(jftE) , m.
(1_f r d t

h> ' -'m+i m> o ay 31 ay3m+1

que constituye la "formula de Taylor" buscada

Corolario IV,1 2

La aplicacin CK. t L A , (F,S) - F() es una aplicacin

continua

Tras el teorema IV 1 1 se deduce como el corolario IV 1 1 a

partir del teorema de Mazur-Orlicz

Considerando CL como anillo de funciones de L en A, d define

en L una segunda topologa, la topologa dbil, que es la menos
fina que hace continuas las funciones F L-A, F -t. El teore-
ma antetor implica que la topologa dbil es menos fina que la
inicial Pero es fcil ver que tambin es mas fina Una base de
entornos del punto i (a1, n
fa )- L para la topologa inicial

est constituido por los puntos b - (b1, ,bn) tales que

 -127

p P - a ' X e, con p seminorma continua en A si z , ,z son las

funciones coordenadas en R n , b 3 * z^ (), 3
z (i), luego
pP-aJ ) p(z^(b)-z^()}, y los puntos b que verifican
forman un entorno de a para la topologa dbil
de A Hemos verificado entonces el siguiente corolario

Corolario IV 1 3

La topologa inicial de L coincide con su topologa dbil como

espacio de morfismos de d en A

A-Derivaciones de L
fl
Sabemos (lema III 2 3 ) que c"(Rn)KA Por otra
Parte

para todo (X -mdulo de Frchet N

Der A (,N) = Hom^ (Teorema III, 1 1 )

Si tomamos, en particular, N = (X. o bien N *A con su estruc-

tura de ^-mdulo F b F(5) b para un aL, tendremos el siguien
te teorema de verificacin directa t

Teorema IV 1,2

Las A-derivaciones de Cl en A en un punto SL forman un A-mdu

lo libre generado por (3 /3y^) , j=l, ,n

Los A-campos D CL forman un Cl-mdulo libre generado

por a / ji, ,n, donde 3v/Jy^ ha sido definida en el curso
 -128

del teorema IV 1 1 y (3 /ay 3 ) (P) = 3F/3y3(a)

Al A-mdulo de las A-derivaciones de A, en A en el punto le

llamaremos mdulo tangente a L en el punto Como hemos dicho, es
isomorfo al propio L

2 ECUACIONES DIFERENCIALES PARAMETRIZADAS EN UN ANILLO

Familia de ecuaciones diferenciales parametrizadas por un lgebra

de Banach

Por naturalidad en el contexto, nos limitaremos a ecuaciones

diferenciales de clase c", pero el mtodo es aplicable esencial-
mente para ecuaciones de clase c"1

Sea A una F-lgebra de Banach real diferenciablemente comple-

ta de espectro X Sea (X como en el apartado anterior la A-lge-
bta C*" (Rn)

Definicin
Llamaremos ecuacin diferencial parametrlzada por A a una curva
de clase C en el espacio Der. t a , a )

n
Segn el teorema IV 1 2 Der A {&,&) &Q, luego la ecua
cin diferencial vendr dada por un conjunto de n funciones
 -129

F 1 C (R) p C"(R n ) p A i=l, ,n

Dada una A-seccin L=A n A del fibrado de base Spec(A)
o
y fibra R n , llamaremos solucin de la ecuacin diferencial con
condicin inicial o a toda funcin T de clase C de un secrmen-
to I, . en el mdulo L tal que ?(0) = a y tal aue
l-ai ai o

= F(t,?(t)), esto es, d

* ( t ) = FL(t,t, (t) , , (t) )
dt dt
i i

Teorema de existencia local IV 2 1

Dada una ecuacin diferencial y una seccin a Q perteneciente a

L, existe un entorno de Q g , un segmento I u n a aplica-

cin
I [-a
r ,+cf
-XU-a L
o

tal aue para cada , i(t,5) es una solucin de la ecuacin di

a
o
ferencial con condicin inicial a Adems i es nica

Demostracin

Observemos que F * F1} puede interpretarse como una funcin de

R*L - L Esta funcin es continua como puede comprobarse tras "lo
dicho en el apartado 1 de este capitulo (teorema IV 1 1 ) as como
las derivadas SF/Sy* i=l, ,n A partir del mismo teorema IV 1 1
puede verificarse que F cumple una condicin de Lipschitz
If(t,b) - F(t,) I * k |b-5l para i y b en una bola de centro i Q y

para todo t en un intervalo

Estamos entonces en las condiciones del teorema clsico enuncia
do para espacios de Banach y nos remitimos a dicha demostracin
(vase por ejemplo (6 bis) )
 -130

Corolatio IV 2 1

Sea una ecuacin diferencial ordinaria

- F i (t,f 1 (t), ,fn(t)) 1=1, ,n (F1 de clase c")

dt
Para cada condicin inicial (x*, ,x) y para cada entorno
compacto B = Br((x*, bola cerrada de centro (x,
y radio r, y cada numero natral m, existe un intervalo I=-a,+a]
y una aplicacin IxB tal que

d
1(t) = Fl(t,^(t)f ,0n(t)), ^(O^1, f x n ) X ^
dt

donde es de clase e10 en las A* y C en t

Demostracin

Sea A=Cro(B) Consideremos el fibrado trivial B*Rn Tenemos

F 1 e"" (R)^c" <Rn) C C" (R) RC (Rn)R
Es una ecuacin diferencial en el fibrado en el sentido del
teorema anterior (en este caso la ecuacin es independiente de la
fibra) Tomemos como condicin inicial a*(A1, n
/ x )=x
i
Por el
m
teorema anterior existe una solucin c"(I)(RC (B) con
*(0,Alf ,xn) = A* como queramos probar

Observacin

Si la ecuacin diferencial depende de una familia de parmetros

1
y , ,uT podemos considerar un fibrado trivial de base
BU1, ^"nxBUu1, ,vr)) y fibra R n La ecuacin diferencial
I r i
depender de y , , y y serfi independiente de las A Tomando co-
mo condicidn inicial la seccin que asigna a ( A * A se obtiene
el teorema local de dependendla diferenciable de las soluciones,
de las condiciones iniciales y de una familia de parmetros sobre
 -131

la ecuacin diferencial

Corolario IV 2 2

Sea una ecuacin diferencial ordinaria

^ = Fi(t,fi(t), ,fn(t)) i=l, ,n

dt
i o n
F de clase c" ^ea el subconjunto de RxR consituido por los
puntos (t,x) con t~(x)<t<t+(x), donde t + (x) y t~(x) son los ex
tremos del intervalo maximal (pueden ser ) J (x) en el que
existe solucin de la ecuacin diferencial con condicin inicial
x Llammosle Fs un conjunto abierto y la aplicacin
(t,x) * ii(t,x) =<l
Av
(t), solucin de la ecuacin dife
rencial, es de clase C*

Demostracin

Ver S Lang {6 bis}

Teorema IV 2 2

Sea A una F-lgebra de espectro compacto diferenciablemente

completa Sea F una ecuacin diferencial ordinaria

df
i
= F (t,f , ,fn) i=l, ,n
dt

Para cada -eh

O existe un entorno U( o ) , un intervalo rL~ a,.r
y un elemento

+ c"(i)R<c"(Rn)fp n
9c"(R n ))cc"(i) R ia n
e\
tal que
 -132

dt
$ es nico

Observacin

La diferencia esencial con el teorema IV 2 1 es que aqu no

se supone que A sea de Banach y que el enunciado presente es ms
preciso en cuanto a la dependencia de las condiciones iniciales
Obsrvese por otra parte aue $(t,) es un elemento de L, y tie
ne sentido por tanto F(t,i(t,a))

Demostracin

Sea Z) C R X R n el abierto en el que existe solucin ordinaria

2) >-Rn de la ecuacin Por ser X Spec (A) compacto podemos encon
trar un entorno de ,U CaQ) (bola ra la norma de la convergencia
uniforme) y un segmento I =L-a,4a]tal que I*U(0)(X) C donde
U( )(X) = U i(x)
eU ( )
xX

La solucin de la ecuacin restringida a este abierto coincide

con una funcin C*(I)R(c"(Rn)9 n 0C"(R n I), * es la solucin

del enunciado (si ? = E g i (t)h^(x 1 , ,xRl,

(t,5) l g i (t)h i (a 1/ ,an>)

 -133

3 MORFISMO T LISO ASOCIADO A UN MODULO PROYECTIVO Y A UN

FIBRADO TRIVIAL DE FIBRA UNA VARIEDAD DIFERENCIABLE

Horfismo t liso asociado a un mdulo proyectivo

r3e etfcttre <*Mi|Mct
Sea A una F-lgebra realrdiferenciablemente completa Sabemos
que todc A-mdulo M de Frchet proyectivo finitamente generado es
localmerte libre Podemos asociarle un fibrado sobre Spec(A) tal
que la fibra en cada punto x sea (A/mx)AM = M/n^M Este fibrado
es localltente trivial y las secciones de tipo A son los elementos
de M

Las funciones de transicin correspondientes a dos abiertos tri

vializantes U y V de Spec (A) son las funciones de A Uf3V que expre-
san el cambio de bases inducido en H por las base$ libres de
MuyMy

Supondremos que las dimensiones locales de M son constantes.

Teorema IV 3 1
Para cada A-mdulo localmente libre M existe una A-lgebra Ci
de Frchet tal que su espectro es el fibrado asociado n M t Spec^Al*^
(X. es una extensin localmente trivial finito generada sobre A y
el morfismo A es t liso

Demostracin

Supongamos que sea n la dimensin de las fibras en cada xe Spec (ft)

Sea {U} un recubrimiento trivializante del espectro, numerable y
localmente finito Sea A ^ A y , ^"My , y llamemos B IIAj^ B es una
 -134

A-lgebra de espectro la suma topolgica de los abiertos ^ La

inyeccin natural de A en B es continua y la imagen es cerrada
en B puesto crue para cada par de Indices i,j se tiene un mor-
fismo lineal ^j B --a^ que es la diferencia de las restric

ciones de las componentes i,J a U^NU^ Entonces A A NUC^

(propiedad de haz de A) y por lo tanto A es cerrado

Sea C" (Rn) RB Se tiene S p e c ^ *HomB (t,B)HomR (C" (Rn ,B)

n
* B B t / t

Mediante la inyeccin natural M +Jt que es un morfismo de

A-mdulos, podemos considerar M como una parte de t que carac
terizaremos De esta forma M se puede interpretar como
a)Un submdulo de A que es el espacio de todas las funciones
de la suma disjunta de las U. en R que localmente son de
An
b)n espacio de B-morfismos *B

Sean a=l, ,n , bases de M^ y M^ respectivamente

En jAUj tendremos las relaciones m ^ ^ a ^ derasie

son las funciones de transicin

En la interpretacin funciona* de M, si meM tendrems

m a i a en
i y " a j9o en
j ' lue9 e awrfin vlidas
las relaciones a f a ij&

Estas ecuaciones caracterizan, en A . los elementes de M por

ser ste un haz Para cada i,j tenemos dos aplicaciones naturalef
de B en A^j Hemos llamado Cos* m < A define,
por composicin con ^ una aplicacin lineal

definamos Ci por la relacin a. n Nuc(fi. mi.

13
m*K
1,5
 -135

(2es una sublgebra cerrada de que contiene a A, es pues

una A-SIgebra Veamos que SpecA(L) = M

Cada mcM da un morfismo de (X en A, pues define un morfismo de

(X en B y la condicin ^mfF) = 0 para todo F (X y todo i,j,
prueba que m(F)A Falta ver que todo A-morfismo (X provie
ne de un meM y que la correspondencia es biunlvoca Veamos antes
dos lemas

Lema IV 3 1

Sea A una F-lgebra diferenciablemente completa y (a0)una ma

n
triz de nxn coeficientes en A Entonces, para todo FC (R ) R A,
la funcin (xF) (y,x) = P((aeOL)y,x) es un elemento de C ^ R * 1 ) K ^
En efecto, probmoslo para los elementos f 6 C * ( R N ) y observe-
mos que la aplicacin if se puede considerar como composicin de
las aplicaciones

R1^ -A AA

y (a)y * f((ae)y}
a a "*
COR ambas son infinitamente diferenciables, lo es la composicin
y Tft c"(Rn)RA

Bl caso en que F*c"(R n ) R A es ahora trivial

Lema IV 3 2

es
Siguiendo las notaciones del teorema IV 3 1 , d ^ ^ i ^ a ^
isomorfo a C (Rn)RA^
 -136

Demostracin

Se tiene una aplicacin natural

\ = A ^ B Aid = C^R11)^

que se restringe a una aplicacin

Construyamos la aplicacin inversa de sta Sea el ideal de

A^ consistente en las funciones a soporte compacto contenido en
U^ Es suficiente construir la aplicacin inversa para el subespa
ci c"(R n ) R I^ y extenderla por continuidad Se trata, entonces,
de establecer una inclusin topolgica de C*0(Rl)RAi en A^^.
Sea TI la proyeccin natural de B en C"(R n ) R A^ Para cada par
de Indices i,3 componiendo y it^ con la restriccin a U ^ tendre
mos aplicaciones

^ ^-(R n ) R A i j t C ^ V i j

Si llamamos t ^ a la aplicacin C w (R n ) R A i j * C ' F ^ l ^ A ^ ,

T
F ij F ' asociada a las funciones de transicin correspondientes
al par de indices ij y que tiene sentido segn el lema IV*3 1, es
una comprobacin verificar que

01= FI NUC (*TJ^FJ)

Estamos ya en condiciones de establecer la inyeccin

c" (Rn) -A Definiremos una inclusin

n A
c " ( R ) e R J i i A( n(Cw(RnlRAj) y comprobaremos que

la imagen est en A^ft^tf.

 -137

Sea bl i# fC"(Rn) , fb es un elemento de C a, (R n ) R I i , llama-

remos ij (fb) al elemento de C^R11)^^ definido asi restringa
mos ffc a c"(R n )pA^ , prolonouemos por 0 a R n x(Uj-U^) y apljL
quemos a este elemento La inclusin que definimos es la si-
guiente
fb aWL < (i^ (f*h>) )
que, puede comprobarse, es un homomorfismo topolgico

Tal como se ha hecho la construccin, la imagen ser de &

La Imagen de esta aplicacin es densa en .^, como puede probar-
se teniendo en cuenta la expresin de CL^ como lmite proyectivo
de cocientes de (X (ver captulo I seccin 2) y observando que
la imagen cubre una parte densa en cada uno de estos cocientes
Esto acaba la demostracin del lema

Terminemos la demostracin del teorema

Todo A-morfismo d A define A-morfismos Q . C " ( R n l d R A i A^.

que se expresan por conjuntos de funciones ^fcA^ donde a^ y e
tan relacionadas mediante las funciones de transicin, es decir,
definen un elemento de M Esto prueba que Spec.(Cl 1 " M . Es ya evi
dente que Spec(Cl) es el fibrado localmente trivial relativo al
mdulo M y que se verifican-las restantes condiciones del teorema.

Teorema IV 3 2

Si es el lgebra definida en el teorema IV 3,1,,

a.Cl|A 88 ^ lAy En
Particul*r es un d-mdulo proyecti
 -138

vo

Demostracin

La demostracin de este teorema se podra reducir al lema

III 2 8 No obstante, para poder aplicar ste necesitaramos
unas hiptesis superabundantes para este caso particular Pre-
ferimos, entonces, hacer una demostracin directa

Segn el teorema III 1 1 , tenemos las sucesiones

(i) H j - oa| R n a | A - o

<2> v \ x ^ x i ^ o i v - * 0

donde las imgenes de los primeros morfismos son densas en los

ncleos de los segundos

Si tensorializamos la sucesin (1) por 0.^ sobre CL , tendre

mos

<3> Q V a ^ * a
u \ "aliT* V a
n
a l A

Observemos en primer lugar que

a
VAA - <au % W A - a
u V V A V - u % \

s De
tambin sabemos que ^u^^JR ^Cl^ IR que las sucesiones

(2) y (3) tienen los dos primeros trminos iguales

Veamos que la sucesin (3) tiene la imagen de ^ densa en el

ncleo de 42 Esto se deduce de que si para un morfisme N * K ,
entre mdulos de Frchet, la imagen de N es densa en M, el orfi
mo de los localizados Ny* M^ sigue verificando que la imagen de
NY es densa en MG Esto se deduce de la expresin de M^ come IJEJR

te proyectivo de cocientes de M De aqu que

 -139

1
au
a A Qn
a|A - W & i ^R -
* V . n0
c
Img . t

Corolario rv l 2

En las condiciones del teorema anterior, para dada ft-mdulo

de Frchet se tiene

a
uaDerA(a'N> ^ A y ^ ' V

Demostracin

fl
oVDerA(a'Nl a
uaH0,n (
V|a'n) - X ^ l i ^ ' V

donde la ltima igualdad se deduce de ser e presentacin

finita

En particular, para los campos, tendremos la relacin

Oy^Der^a^) D e r ^ a ^ a ^

y para las derivaciones a lo largo de una seccin tendremos

donde A es un &-mdulo va el valor que toman los elementos de

en a

En particular Der.
ft f (A.,A)
0 ser un A-mdulo proyectivo localmen
te isomorfo a My, luego isomorfo a M

Digamos, por ltimo, que para los elementos.de & se puede da

una frmula de Taylor
 -140
r-1
F(m<-K) F (m) i- -i- dF (h) f + - d^'^FfrfK, /S) + R,
m) {mJ 1
1' (r-1)!

donde R r se expresa localmente como una integral de las del tipo

del teorema IV 1 1 La demostracin se reduce al caso local te-
niendo en cuenta las relaciones entre las localizaciones de las
derivaciones y las derivaciones de los anillos localizados, que
hemos expuesto

Morfismo t liso asociado a un fibrado trivial de fibra una varie-

dad diferenciable

Sea V una variedad diferenciable, compacta o recubrible por

un nmero finito de entornos coordenados A un lgebra real como
en el apartado anterior y nuclear E es el anillo de las funcio
nes infinitamente diferenciables sobre V~ Consideremos el fibra
do trivial de base Spec(A) X y fibra V Podemos asociarle el
morfismo t liso A + d = Se verifica que Spec(L es el fi-
brado y que SpecA((^)= FomA(Cl,A)e Hom R ( ,A) son las secciones
de tipo A del fibrado A este ltimo le llamaremos variedad aso*
ciada a V con coeficientes en A, V^ Por ejemplo, si A son las
funciones diferenciables sobre un segmento, la A-variedad SpecA(L)
est formada por las curvas diferenciables en la variedad

Usando el teorema de inmersin de Whitney se tiene una sucesin

exacta
0 <R2n+1)-+E >0

de donde, tensorializando por A, por ser sta nuclear y ser los

espacios de Frchet
 -141

O +IpA *C* (R 2 " 4 " 1 )^ -^A *Q

sucesin de la gue obtendremos

0 -^lT ^FomR(C (R ) ,A) = A 0 <PA

2nJ-l

es el subespacxo de A 9A incidente con

El espacio HomKp
2n+l ,A) tiene como topologa dbil la
de la suma directa A9 9h y ^ es un subespacio cerrado de
ste para la topologa dbil, topologa que indwce en la to-
pologa espectral dbil natural
Kos proponemos demostrar que esta variedad es localmente iso-
morfa a A-mdulos proyectivos del tipo del apartado anterior

Teorema IV 3 3

Para cada o e V., las derivaciones en la seccin o. Der, ( Ci .Al

A A '
forman un A-mdulo proyectivo de dimensin local la dimensin de
la variedad El -mdulo Der A (.,&) es un L-mdulo localmente
libre de la misma dimensin

Demostracin

Sabemos que Ber A Q ( (X ,A) Hom^ (^[^rA) donde A es un .-mdj

lo, via o (in i i ) Por otra parte, ra es un
^-mdu-

lo de Frchet finito generado En este caso la localizacin connu

ta con los homomorfismos (Teorema I 3 2 ) y tendremos que si U es
un abierto de Spec(A) y V un abierto coordenado de la vaiedad ;

VerA,o<A'A> - flvxu V o m a , < > l R A ' A ) "

 -142

F O ( = 88 n
" % X 0 , O | D % * R V V ^ v . o l ^ ' V Au

Anloaamente, el caso de los campos Der( 0-, Q.)

Definicin

Una ecuacin diferencial en V^ (independiente del tiempo)

es un elemento DDerA ( CL, CL )
Una solucin de la ecuacin diferencial D con la condicin
inicial a 0 definida en un intervalo I de R que contiene a 0,
es un A-morfismo

U t RA-2c-mj^A

tal que compuesto con el morfismo c"(I)RA A que resulta de

sustituir el parmetro t por 0, resulta el morfismo o Q y tal que
si consideramos la derivacin D t c " ( I ) R A f s a f'(t)a,

D t o ( derivacin a lo largo de la curva de secciones en que

es la seccin que consiste en componer el morfismo c oon el mor-
fismo C(I)_A -- A"dar al parmetro el valor t") coincide con
R
P ot
la restriccin del campo D a dicha seccin o t CL &

Teorema
" 1 IV 3 4
II
(De existencia1 1 1de 1 soluciones

de una
"
ecuacin dife.-
IUI ' I > O
rencial)

Para toda ecuacin diferencial DDerR( , ) C D e r A ( f l , & ) y

toda condicin inicial o Q , existe un entorno de condiciones inici

les y un intervalo I tal que para toda condicin inicial o de di-
cho entorno existe una solucin definida en I
 -143

La demostracin se reduce al teorema local IV 2 2

Teorema IV 3 5

Dado un punto oe el anillo asociado al mdulo de las deri

vaciones de (X en o es la localizacin de 0- en un entorno del
grfico de o En consecuencia R. es un lmite proyectivo de A-JL
gebras asociadas a mdulos proyectivos

Demostracin

Tras el teorema IV 3 4 la demostracin es equivalente a la

clsica de existencia de "entornos tubulares"

Sabemos que existe un entorno de la diagonal de /vV" tal

que l y T ^ , fibrado tangente a V son difeomorfos, correspon-
diendo en el isomorfismo el campo 0 con la diagonal
Tv XTxV , (y,0) (y,y) y en general la imagen del par

(y,v) y V , v vector tangente a V~en y, es (y^exp^x(y,v)v), don

de x(y,v) es el "parmetro de contraccin" del fibrado tangente
a un entorno conveniente de la seccin 0 de Ty. para que se pueda

aplicar la funcin exponencial

Dada la seccin o, podemos establecer la aplicacin biyectiv

del fibrado tangente en o, en un entorno del grfico de a,dada
por
(x,xD ) * (x,exp X(o(x),x D ) (xD ))
0 0 0

donde es la derivacin en o(x)eV dada por la composicin

de D con el morfismo "tomar valores en x" A R
o
Es una mera comprobacin que esta aplicacin nos establece el
Isomorfismo del enunciado.
 -144

BIBLIOGRAFIA

{1} R Arens A generalitation of normed rings Pacific

Journal of Mathematics Die 1952

{2} R -Arens Dense inverse limit ring Michigan Math J

Vol 5 nS2 1958
2 bis} Atiyah-McDonald Introduction to commutative algebra
Addison-Wesley P C
{3} R M Brooks The Structure Space of a commutative locally
M-convex algebra Pacific J of Math Vol 25
n3 1968
{4} R M Brooks Partitions of unity in F-lgebras Math Ann
177-4-1968

{5} Gelfand,Raikov, Chilov Les aneaux norms conmutatifs

Gauthier-Villars, Paris 1964

{6} A Grothendieck Produits tensonels topologiques et espa

ces nuclaires Memoire of the Amer Math Soc
nei6 1955

6 bis} S Lang Introduction aux variets differentiates Du-

nod

{7} Lorch The structure of normed abelian rings. Bull.

Amer Math Soc 447-463 1944
7 bis} B Malgrange Ideals of differentiable funtiens Oxford
University Press, 1966
{8} Matsumura Commutative Algebra W A.Benjamin 1970
{9} E Michael Locally Multiplicativelyconvex topological
algebras Memoire of the AmerMath.oc nfill
1952

{10} J Muoz y J M Ortega Sobre las lgebras localmente eon*

vexas Coll Math volXX fase 2fi 1969
 -145

{11} J Muoz Caracterizacin de las lgebras diferen-

ciables y sntesis espectral para mdulos
sobre tales lgebras Tesis doctoral 1971
{12} R S Palais Foundations of Global non-linear analysis
V' A Benjamn 1968

{13} B Roth Finitely-generated ideals od differentia-

ble functions Trans Amer Math Cos Vol 150
Julio 1970
{14} M Rosenfeld Commutative Algebras Pacific J of Math
Vol 16 nsl 1966

{15} Seminaire Schwartz 1953-54

{16} J C Tougeron et J Merrien Idaux de fonctions differen-
tiables,II Ann Inst Fourier Tomo XX fase I
1970