-

127-

EVOLUCION DE LA GE.OMETRIA
y TOPOLOGIA DIFeRENCIALES
PO%

E,

VIDAL ABASCAL

A continuacin damos unas breves ideas sobre la evolucin de la

geometra diferencial y de la Topologa diferencial, con una referenca
a algunas de las nociones que han sido introducidas en Santiago (*).
1. La Topologa diferencial estudia las propiedades de las variedades diferenciab1es (generalizacin de la nocin de superficie), considerando dos variedades, M y N, equivalentes, si son difeomorfas (correspondencia f : M -+ N biunvoca, sobre y diferenciable, tal que { y {_1
son COO) y las aplicaciones diferenciables entre ellas.
La Geometra diferencial estudia las propiedades geomtricas de las
curvas y de las superficies del espacio eucldeo ordinario (ES), en el que
nos consideramos imbuidos, y sus generalizaciones (variedades diferenciables, con alguna estructura adicional u objeto geomtrico, espacios
de n-dimensiones de diversos tipos) mediante el clculo infinitesimal y
otros algoritmos matemticos.
La Geometra diferencial tiene su origen en las aplicaciones geomtricas del clculo infinitesimal y ya entrado el siglo xx an incluan los
libros de clculo un captulo con ese ttulo, en que se estudiaban las
curvas y superficies del espacio euclideo ordinario ES, utilizando el
clculo diferencial e integral iniciado por Newton y Leibniz. Su origen
puede remontarse a Euler y Bernouilli, e incluso se habla de una prehistoria de la geometra diferencial en algunos estudios y resultados de
Appolonius, Cavalieri, Torriceli o Huigens, pero son Gauss (1777-1855)
y Monge (1746-1818) los que pueden ser considerados como los verdaderos fundadores y sus principales impulsores, logrando establecer coordenadas sobre la superficie y una serie de nociones, como curvatura y
torsin, que permiten analizar las propiedades intrnsecas de las curvas y superficies, o bien en relacin a como estn dentro del espacio ES.
La Topologa diferencial nace como un nuevo campo de la Topo(*) Parte de este articulo ha Sido publicado en: Revista de OCCidente, agosto-septiembre 1976.

128-

loga, con el anuncio hecho por Milnor, en 1956, de que la esfera de

dimensin 7 puede ser dotada de varias estructuras diferenciables diferentes, considerndolas como variedades equivalentes si son difeomorfas.
La nocin de variedades diferenciables y difeomorfismo se remonta
por lo menos a Poincar; en su famoso artculo Analysis situs (Collected
Works, vol. 6, Gauthier-Villars, Pars, 1953) topologa o anlisis situss
era, para Poincar, el estudio de las variedades diferenciab1es bajo la
relacin de equivalencia definida por el difeomorfismo; Poncar utiliz,
de hecho, la palabra homeomorsmo para designar lo que hoy se denomina difeomorfismo de clase Ck. Podemos, por tanto, decir que la topologa diferencial es lo que Poincar entendi como topologa originariamente.
La Topologa geomtrica puede ser considerada histricamente
como precursora de la topologa algebraica, pues fue en el intento de
resolver problemas geomtricos en donde surgieron los mtodos algebraicos caractersticos de la Topologa algebraica. Es claro que la Geometra diferencial, el Anlisis y la Fsica incitaron al desarrollo de la
Topologa diferencial, pero el estudio de las variedades, desde el punto
de vista combinatorio, iniciado tambin por Poincar, fue motivado
por la creencia de que su estudio sera un til instrumento para el ataque del caso diferenciable. As, por ejemplo, Lefzchetz seala que Poncar trat de desarrollar el tema bajo lineas estrictamente analticas
y, despus del Anlisis situs, se dedic a los mtodos combinatorios,
au'('je'esta aproximacin falla, por ejemplo, en su teorema de dualidad.
En la actualidad, y por cuestin de terminologa, se incluyen los mtodos
combinatorios bajo el ttulo general de Topologa geomtrica, pero tambin se incluyen otros mtodos e ideas, por ejemplo, el estudio de las
variedades topolgicas. En la actualidad resulta muy difcil, en una visin global, delimitar claramente qu resultados, teoremas o tcnicas
son propiamente de una u otra parcela de la Topologa, es decir, de la
Topologa diferencial o de la Topologa geomtrica, razn por la cual nos
ha parecido conveniente incluirlas juntas y realizar un breve anlisis
conjunto de sus mtodos y estado actual.
2.

LA ESCUELA FRANCESA DE GEOMETRA.

La obra ms importante de Monge sobre geometra es: Application

de l'Analys a la qomeirie. Fue el iniciador de la revitalizacin de la
Geometra dentro de la matemtica francesa, y la huella de su genio
creador y organizador sigue viva ,en la Escuela Politcnica de Pars,
por l creada, y que es el modelo en el que se inspiran todos los institutos tcnicos de la actualidad. Entre sus discpulos cabe destacar a
Poncelet, quien puso los fundamentos de la geometra proyectiva; Dupin, Meusnier, Lancret, O. Rodrigues, Liouville (fundador del Journal
de malhemaliques pures el appliques, primer peridico dedicado en el
mundo a la investigacin matemtica), Frenet, Serret, Bertrand, Bonnet y otros muchos.

129-

Darboux (37) utiliza el triedro mvil para estudiar las propiedades

diferenciables de las curvas y superficies, formado para las curvas por
los vectores tangente, normal y binormal y para las superficies por dos
vectores tangentes a dos lneas paramtricas y el vector normal. La teora de la referencia mvil ha sido extendida y generalizada por E. Cartan (17) a espacios de Riemann n-dimensionales.
3.

LA ESCUELA ALEMANA DE GEOMETRA DIFERENCIAL.

Gauss ha sido considerado como el ms grande matemtico del siglo XIX y, quizs, de todos los tiempos. Su inters por el estudio de las
superficies surge como consecuencia de sus trabajos de triangulacin,
proponindose averiguar si con medidas sobre la superficie terrestre
podra determinarse la curvatura de la Tierra, obtiene su famoso Teorema eeqreqium, en el que deduce la curvatura total de los coeficientes
de la mtrica. Tambin se cree que se dio cuenta de la independencia
del postulado, que dice que por un punto en un plano slo existe una
recta paralela a otra dada (Postulado V de Euclides), respecto a los
otros postulados, lo cual permite establecer las geometras no-euclidianas, sustituyendo ese postulado por otro y que tanta importancia filosfica ha tenido en el desarrollo de la matemtica y, en general, en el
concepto de la Ciencia como conocimiento. Los verdaderos fundadores
de las geometras no-euclidianas son J. Bolyai (1802-1860) y Lobatschefski (1793-1856). La obra de Gauss ms destacada sobre lo que hoy
se llama geometra diferencial es: Diequteitionee eirea superficies curuas (1827).
Entre los continuadores de su obra destacan: Jacobi, Wierstrass,
Christoffel, Weingarten, Codazzi, Minding, Klein y, sobre todos ellos,
brillando con luz propia, Riemann, quien pone las bases para la estructuracin y desarrollo de la Geometra diferencial moderna en su famosa
memoria ber die Hypothesen Welche der Geomeirie zu Grunde lieqen ('),
leda como memoria para poder dedicarse a la docencia libre ante un
tribunal presidido por el propio Gauss, en donde por consideracones en
parte de orden filosfico establece la nocin de la geometria que lleva
su nombre.
4.

Qu

ES UNA GEOMETRA? DEFINICIN DE ESPACIO.

Durante el siglo XIX, los matemticos llegaron a la conclusin de

que no hay una sola, sino varias geometras. Esta idea, originada en los
intentos de demostrar el axioma V de Euclides sobre el paralelismo, se
reduce en esencia a lo siguiente. Cualquier ciencia matemtica es un
cuerpo de teoremas deducidos de un conjunto de axiomas. Se derrumb
as la idea del conocimiento a pror de Kant, la matemtica pierde
su sentido de conocimiento, es slo un esquema, un caamazo, ordenado con lgica sobre propiedades tomadas de la intuicin, su utilidad
(*) Una traduccin al castellano de esta memoria, puede verse en mi obra: Estado
actual, mtodos y problemas de la Geome/rla diierencuil (142).

-130-

ser para aquellos fenmenos que obedezcan a los axiomas de partida,

2 ms 2 es cuatro para aquellos objetos en que lo sean, pero no para
aadir litros de agua a litros de alcohol, estas sumas necesitan otra matemtica en donde 2 y 2 no son cuatro. La pregunta de cul de esas dos
sumas es ms verdadera, no tiene sentido, 2 ms '2 igual a 4 es til para
sumar objetos que no se mezclan, 2 ms 2 igual a menos de 4, ser til
para sumar litros de agua y alcohol.
Del concepto de espacio como lugar en que los cuerpos pueden moverse se ha pasado al concepto de espacio como conjunto de puntos,
o de objetos, con un conjunto de relaciones entre ellos que se llama su
estructura. Tendremos asi infinidad de espacios, tiles para ordenar fenmenos fsicos o biolgicos o qumicos que obedezcan a los datos iniciales. Por ejemplo: dado un espacio M, si a cada dos puntos u objetos
de M se le hace corresponder un nmero real, llamado distancia, tendremos un espacio mtrico, si verifican ciertas propiedades.
Hay una clase importante de geometrias, cada una de las cuales
puede considerarse como la teora de un grupo de transformaciones.
Por ejemplo, consideremos los grupos siguientes: 1) El grupo de las
traslaciones; 2) El grupo afn (transformaciones lineales); 3) El grupo
ortogonal; 4) El grupo mtrico eucldeo (desplazamientos y simetras);
5) El grupo proyectivo. Se considera, sobre todo, el estudio de los invariantes por el grupo de transformaciones dado. As, puede decirse que,
desde este punto de vista, los conceptos fundamentales son: transformacion, grupo e invariante. El concepto de geometra, fundado en un grupo
de transformaciones, se debe a Klein (84) y fue establecido en su famoso
Programa de Erlangen (1870).
Es sabido como se crey que la sistematizacin del concepto de geometra del programa de Erlangen inclua todas las geometras, sin embargo, antes de su formulacin, ya existan las geometras de Riemann,
que son espacios mtricos cuyos grupos de automorfismo se reducen
a la identidad y por tanto no quedan incluidas en dicho programa. Se
precisaba un concepto ms amplio de geometra para incluir todos los
conocidos y ste fue establecido por Veblen y Whitehead (140) mediante
la nocin de objeto geomtrco y de pseudogrupo de transformaciones.
Un pseudogrupo de transformaciones se define como un conjunto de
transformaciones, tales que:
l. Si existe la composicin de dos transformaciones, tambin aqulla pertenece al conjunto.
2. El conjunto tiene la inversa de cada transformacin del conjunto.
La teoria de pseudogrupos ha sido desarrollada actualmente por los
trabajo" de Spencer, Sternb.erg, Kumpera y otros.
La obra de Veblen y Whitehead (140), The [oundaiions ot Differential
geometry (1932), marca el inicio de una nueva poca de la geometra, en
la que todava estamos. Se caracteriza por el estudio de las propiedades
lobales de las variedades diferenciables, utilizando la Topologa, cuyo
campo ms importante de aplicaciones es la geometra diferencial, de
ah que aparezcan tan unidas, y fue el concepto de Espacio fibrado de

Withney (152), Stiefel (135), Hopf (76) y Ehresmann (45-46) el instrumento idneo a ese objeto.
5.

LA TOPOLOGA DIFERENCIAL Y LA GEOMETRA DIFERENCIAL

MODERNA.

Como ya queda dicho, la geometra diferencial comienza con el estudio de las curvas y superficies del espacio ordinario E3 con mtodos
del clculo infinitesimal y otros algoritmos matemticos como la teora
de grupos. El paso al estudio de espacios de n dimensiones como conjunto de puntos con una estructura, se inicia con la memoria de Remann sobre los espacios de su nombre. que tanto desarrollo e importancia tuvieron a principios de siglo por su aplicacin para el desarrollo
de la Teora de la Relatividad de Einstein. El esquema geomtrico
de los hechos fsicos conocidos tienen una interpretacin ms apropiada
en un espacio de Riemann, en el que el tiempo es una coordenada ms.
El disponer de espacios ms complejos permitir elegir el modelo ms
Idneo para que los fenmenos fsicos conocidos (fuerza de la gravedad,
electromagnetismo, desplazamiento de un rayo de luz ... ) puedan representarse por condiciones geomtricas de esos espacios. Un hecho filosfico transcendente, respecto a la visin de Newton. es que ste crea
que descubria secretos de la naturaleza, nosotros sabemos que slo ordenamos experiencias y que la descripcin es provisional, nuevos resultados experimentales obligarn a ir modificando los modelos sucesrvamente. El modelo ser til mientras permita predecir nuevos hechos
que se comprueban por la experiencia.
A pesar de la transcendencia de la memoria de Riemann (1876), la geometria drerencial moderna debe considerarse que comienza con el estudio de las propiedades globales de las variedades diferenciables y son
pilares fundamentales la obra de Veblen y Whitehead (1932), que sistematiza la nocin de geometra ampliando el programa de Erlangen,
as como la obra de Cartan, Clculo diferencial exterior, y los teoremas
de De Rham, al permitir deducir propiedades globales mediante formas
diferenciales que, inicialmente, corresponden a propiedades locales. El
Instrumento decisivo para lograrlo es el concepto de espacio fibra do,
que permite deducir esas propiedades globales de la variedad base como
propiedades de espacios fibra dos construidos sobre ella y mediante la
teora de haces, en la que destaca: Jean-Pierre Serre, medalla de oro
(medalla Fteld) en el Congreso Internacional de Matemticos en 1954.
Sobre el Algebra de Thom vase Hopf, The work 01 R. Thom, Proceed. of
the int. congress of Math. 1958, Cambridge. Univ. Press.
En esta direccin, la fecundidad de establecer nociones para analizar
las propiedades globales est lejos de extinguirse, como lo atestiguan
en nuestros das las teoras de microfibrados (Milnor [104]), cofibraciones y casifibraciones (Dold y Thom [134[), K-teora (Atiyah y Hirzebruch [3]), J-teora (Adams [2]), torres de Postikov (119), potencias de
Steenrod (133). Teora de Morse (108) (ver Milnor (105), quien relaciona

-132 las propiedades topolgicas de una variedad con las singularidades

de las funciones diferenciables definidas sobre sta).
En esta brevsima exposicin del desarrollo de la geometra diferencial, nos vamos a limitar a citar algunas de las nociones bsicas que permitan sistematizar conceptos en apariencia dispares (Grupos de Lie,
G-estructuras, Teoremas de De Rham), porque sirven de pauta de cmo
la intuicin geomtrica gua hasta llegar a los ms famosos resultados.
Aun cuando la aparicin de la Topologa diferencial como disciplina
es tan reciente y ya la geometra diferencial haba adquirido un enorme
desarrollo que exige a los especialistas a dedicarse a pequeas reas de
investigacin, razn por lo que las nociones que sistematizan y engloban
nociones en apariencia distintas, son tan fundamentales, y es a las que
les dedicamos especial atencin, parece apropiado alterar el orden histrico y referirse primeramente a la Topologa diferencial, puesto que
estudia las variedades diferenciables a partir de la nocin de variedad
topolgica, como un espacio Hausdorff, que tiene, localmente, la estructura topolgica de unaberto de algn espacio eucldeo R, en cuyo caso
la dimensin de la variedad es n. Estudia las posibilidades de dotarla
de estructura diferenciable, pero la geometra diferencial es posterior,
cuando se le aade algn objeto geomtricos (tensor, G-estructura, estructura diferenciable, espacio asociado, etc.).
Un estado intermedio entre variedad topolgica y variedad diferenciable es una variedad combinatoria, es decir, una variedad topolgica
dotada de una estructura combinatoria, es decir, de una clase de equivalencia de triangulaciones, en la cual la estrella vrtice es combnateriamente equivalente a la estrella de un vrtice en la triangulacin
standard de la n-esfera Sn.
A cada clase de variedades se le asocia una apropiada clase de funciones de una variedad en otra; aplicaciones dferencables entre variedades dferenciables, preservando la estructura diferenciable; aplicaciones lineales-a-trozos (PL o piecewise-linear) entre variedades combinatorias, preservando la estructura combinatoria, y aplicaciones continuas entre variedades topolgicas, preservando la estructura topolgica.
Adems, una aplicacin diferenciable puede ser aproximada por una
aplicacin PL con respecto a las estructuras combinatorias asociadas a
las variedades diferenciabies, y una aplicacin PL es continua con respecto a la estructura topolgica subyacente a las variedades combinatorias. La situacin puede ser representada esquemticamente como
sigue:
Diff --+ PL --+ Top

[1)

siendo Diff la categora de variedades diferenciables (equivalencias: los

difeomorfismos), PL la categora de las variedades combinatorias (equivalencias: los PL-isomorfismos) y Top la categora de variedades topolgicas (equivalencas: los homeomorfismos). Las flechas son los untores de una categora en otra, y podemos representarlos por W: Diff--+
--+ PI (W or Whitehead) y F: PL --+ Top (F por forgethfull: olvido).

133-

De una forma no excesivamente simple, si a [1] se le aade una

nueva flecha --,)- TI en la categoria de variedades topolgicas con equivalencias las equivalencias homotpicas, se puede decir que la Topologia diferencial y la Topologia geomtrica estn, en su mayor parte, interesadas en el estudio de este diagrama.
El problema fundamental que atrajo la atencin de los toplogos fue
el de la clasificacin de las variedades dentro de cada una de las categoras Diff, PL Y Top; luego surge la cuestin de la posibilidad de recorrer el diagrama (1) en direccin opuesta a la sealada por las flechas,
con la cuestn fundamental de probar la afirmacin de la equivalencia
de las clasificaciones topolgica, combinatoria y diferencial (el Haupvermutungs formulado por primera vez en 1907 por Steinitz [130]).
Milnor, en 1956, prueba su conocido teorema, que puede expresarse
con el lenguaje del diagrama [1] como sigue: Si M Y N son dos variedades de alguna de las categoras, representamos que son equivalentes
por M ~ N; Milnor prueba lo siguiente: Sea S' la esfera de dimensin 7
con su estructura diferenciable natural como sub espacio cerrado de R s;
existe entonces una variedad diferenciable M, tal que FW(M) ~ FW(S7),
pero S' no es similar M; de hecho, se sabe que existen 28 de tales variedades.
-,
El resultado de Milnor abre nuevos horizontes, y algunos resultados
obtenidos por otros matemticos en la dcada de los 50 estimulan el
posterior desarrollo de las investigaciones en esta direccin; entre estos
resultados destacan los siguientes:
En 1960, Stallings (129) y Zeeman (157), siguiendo el trabajo de
Smale (126), al que volveremos a referirnos ms adelante, probaron la
conjetura de Poncar para dimensin n > 5, afirmando que toda variedad combinatoria, de dimensin n, cerrada, orientable y (n - 1)conexa, es topolgicamente una n-esfera.
En 1956, Thom defini las clases de Pontrjagin racionales para variedades topolgicas y Novikov (116) prob que dichas clases son invariantes topolgicos.
En 1960, Kervaire (83) dio el primer ejemplo conocido de una variedad combinatoria que no admite una estructura diferenciable topolgicamente compatible.
En 1960, Milnor (103) present dos poliedros que son homeomorfos,
pero no equivalentes combinatoriamente, es decir, un contraejemplo
para el Haupverrnutung para poliedros generales compactos, pero
dejando abierto el problema de saber cundo variedades topolgicamente
equivalentes son necesariamente equivalentes combinatoriamente.
En 1951 Moise inici una serie de articulos, probando, finalmente,
que toda variedad de dimensin 3 puede ser dotada de una estructura
combinatoria nica; posteriormente, Bing public una demostracin
ms sencilla.
En 1957 Papakyrikopoulos prob el lema de Dehn, que haba permanecido muchos aos sin demostrar, y con su resultado atrajo de
nuevo el inters sobre la conjetura de Poncar de que toda variedad de

-134 -

dimensin 3, cerrada, orientable y simplemente conexa es una esfera,

conjetura que an hoy permanece sin demostrar.
Probablemente la tcnica ms significada y til en estos estudios
(tanto en topologa diferencial como en topologia geomtrica) sea la
usualmente denominada ecrugas. Fue introducida por Smale, refinando la teora de Morse, para obtener una teora de estructura de varedades diferenciables y el concepto asociado de modificacin esfrica,
de la que no es posible dar aqu sus ideas (vanse las obras citadas de
Smale).
Para una informacin muy completa sobre ciruga, vase WaU:
Surgery oti compact manitolds. Ac. Press, Hl71.
Una excelente exposicin del estado actual del estudio de las variedades topolgicas se encuentra en Siebenmann y Browder, y hemos de
destacar las notables contribuciones relacionadas con estos problemas
realizadas en estos ltimos aos por Sullivan (Geometry Topology. Parto I.
Mimeo. M.I.T. 1970).
Otros de los campos de accin de la topologa diferencial son la teora
de inmersin y la teora de embebmentos. No es posible extendernos
en estos estudios, bstenos indicar la estrecha relacin con problemas
de la Topologa algebraica y citar algunos de los matemticos que marcan la ruta que siguen estos estudios: Whtney, en 1944, da sus famosos
teoremas sobre inmersiones; Smale (1957-79), Hirsch (1963), Haefliger
(1962), Poenaru (1964), Lees (1969), Kirby (1969).
En Lpez de Medrano (Manifolds, 197. Lect. N. in Matxh. nm. 197,
1971) se encuentra una interesante serie de artculos sobre topologa
de variedades e incluye una relacin de problemas abiertos.
Los artculos de Smale, WalI, Siebenmann, Browder y los libros de
Hlton, Munkres y Milnor (101) pueden ser muy tiles para una visin
ms completa de los temas aqu tratados. El artculo de Hirsch (Obstrue.
theories, B. of the A. M. S. 74 [1961], 414-497) contiene una excelente
exposicin de la teora de obstruccin utilizada en estos temas y a la
cual no nos hemos referido de forma concreta. Para obtener una visin
actual de la teora de nudos ser til consultar los artculos de Levine,
Lpez de Medrano, Durfee, Kervare (83), Cappell-Shaneson. Una visin muy actual de los estudios sobre homotopa de los espacios de homeomorfismos se encuentra en Hamstrom (<Homotopy in hom. spacess,
BuZ. Ann. Math. S., 80 [1974], 207-230), junto con una extensa bibliografa.
6.

GRUPOS DE LIE.

Su nombre proviene de Sophus Lie, quien introduce la nocin de

grupo finito y contnuo de n parmetros. Llega a esta nocin a travs
de sus trabajos sobre la teora general de la integracin de las ecuaciones diferenciales, apercibindose de que la mayor parte de las ecuaciones para las cuales han sido desarrollados mtodos de integracin tienen en comn una propiedad fundamental: la de ser invariantes por las

-135 operaciones de un grupo de transformaciones, estando la integracin

de estas ecuaciones estrechamente ligada a la estructura del grupo.
Un grupo de Le es una variedad diferenciable anltica (de ah que
se estudien en la geometra diferencial), que tiene, adems, la estructura
de grupo y cuyas operaciones son analticas.
Se plantea de forma natural la cuestin de saber si un grupo topolgico (Estructura de espacio topolgico y de grupo) puede ser dotado
de estructura de variedad analtica que lo haga ser grupo de Le. Este
problema se conoce como 5. problema Hilbert y tiene solucin afirmativa cuando G es localmente compacto, localmente conexo, metrizable
y de dimensin topolgca finita (10).
Una excelente exposicin sistemtica de la teora de grupo de Le,
desde el punto de vista global, se encuentra en el ya clsico lbro de
Chevalley (29).
Entre los resultados fundamentales de la teora de grupos de Le,
hemos de resaltar los siguientes:
1. Teorema de Weyl: el grupo de recubrimiento universal de un
grupo de Le semi-simple es compacto.
2. Teorema de Carian: todo subgrupo cerrado de un grupo de Le
es un subgrupo de Le.
3. Teorema de Ada: cualquier lgebra de LIe es isomorfa a una sublgebra de GL (n, R) para algn n.
7.

COHOMOLOGA DE DE RHAM.

Sea M una variedad diferenciable, de clase Cro y de dimensin n; representemos por

n
A* (M) =
EB Ap (M)
p=O
el lgebra graduada de las formas diferenciales sobre M, siendo d: Ap(M)-+
-+ AP+ 1 (M) el operador diferencial exterior. Una p-forma a sobre M se
dice cerrada si da = O Y se dice exacta si existe una (p + 1)-forma (3 tal
que d (3 = oc; puesto que d2 = 0, toda forma exacta es cerrada. El espacio cociente del espacio vectorial real de las p-formas cerradas mdulo
el sub espacio de las p-formas exactas se denomina p-esimo grupo de
cohomologa de De Rahm de M y lo representaremos por HPOR (M). El
lgebra de cohomologa de De Rahm es
n
H*OR(M) =
EP HPDR(M)
p=O
que admite de forma natural una estructura de lgebra graduada asociativa.
La importancia de H*OR(M) surge ya con el estudio de sus primeras propiedades; as, si [: M --+ N es una aplicacin cro,
A *(N) --+
--+ A *(M) induce un homomorfismo de lgebras graduadas

r:

f* : H*OR(N) --+ H*OR(M)

136-

y este hecho muestra la cohomologa de De Rahm define un funtor contravarante de la categora de variedades Cco con aplicaciones Cco en
la categora de R-lgebras graduadas.
Asimismo, la propiedad bsica de la cohomologa de De Rahm es
que es un invariante de homotopa, es decir, si M y N son dos variedades dierenclables con el mismo tipo de homotopa, H*DR(M) y H*DR(N),
son isomorfos. Este hecho pone de manifiesto que H*DR(M) tiene naturaleza topolgica pese a estar definido a partir de elementos de la
variedad puramente diferenciables. De hecho, esta naturaleza topolgica fue probada por De Rham con los teoremas de su nombre, probando que los grupos H*DR(M) y Hp(M, R) (este segundo es el p-simo
grupo de cohomologa singular de M con coeficientes reales) son isomorfos; para ello, se define un isomorfismo:

J : HPDR(M)

- ..... Hp(M, R)

en la forma siguiente: si IX. es una p-forma cerrada representando la clase [lXJ y Z es un p-ciclo representando la clase de cohomologa singular [z], entonces
(J([lXJ) ([zJ) = [
Z

y el teorema de Stokes implica de forma inmediata que la aplicacin

est bien definida. La demostracin de que J es un isomorfismo, en la

versin de De Rham, es bastante laboriosa y una excelente exposicin
se encuentra en Singer I. M.-THoRPE, J. A. Ledure notes on elementary
topology and qeomeinj. Scott Foreman and Co. (1967).
La versin ms general de estos teoremas puede ser brevemente esquematizada como sigue: sea M una variedad diferenciable Ceo y verificando el 2.0 axioma de numerabilidad y sean ae y
dos teoras de
cohomologa sobre M con coeficientes en haces de K-mdulos sobre M.
Entonces existe un nico homomorfismo de ae en :fe que, adems, es
necesariamente un isomorfismo. En particular, esto significa que las
teoras de cohomologas clsicas (Alexander, Spanier, Singular, Cech
y de Rham) son isomorfas. Una excelente exposicin de este tema se
encuentra en (150).
En un estudio destinado a un extenso pblico con curiosidad cientfica, pero en muchos casos sin una preparacin especializada, quiero
resaltar el sentido intuitivo y geomtrico que gui al profesor De Rham
en el descubrimiento de sus famosos teoremas. Advirti, en un principio,
la analoga existente entre las formas diferenciales y los campos vectoriales y pretendi establecer un concepto general que los engloba, al
que llam corrientes.
Guiado por esta relacin, en su clebre tesis establece los teoremas
sobre existencia de formas diferenciales con perodos prefijados, y ms
tarde, en su trabajo sobre las integrales mltiples y Topologa, indic
que para lograr las demostraciones haba seguido paso a paso los teoremas anlogos dados por Poincar para los campos.

ae

137-

Los teoremas de Poincar tienen un sentido intuitivo apreciable,

dice er t.s: Existe siempre un (n - p) ciclo Cn-p, tal que los R ndices
de Kronecker de las intersecciones de Cn-p con los ciclos fundamentales I{C n Cn-p) toman valores dados. El indice de Kronecker signific
el nmero de intersecciones contadas algebraicamente.
Por ejemplo, en el toro esto significa que siendo C l y C 2 los dos ciclos fundamentales, existe un ciclo Cl, tal que
I{C l n Cl) = al
I{C 2 n Cl)

a2

al, a 2 nmeros cualesquiera

En la figura
,al = 1, a 2 = O.
El teorema anlogo de De Rham dir: existe una forma diferencial (,)
tal que

f(,) =

\,

. -..'.

- .."".
~:::::::=::::-:::::
.
."
"
..'
......... ..
"

"
"

"

Fig.l
El segundo teorema de Poincar dice: Cuando todos los ndices a
que nos hemos referido de Cn-p son nulos, entonces Cn-p es frontera de
un campo A, esto es Cn-p ~ O.
Intuitivamente significa, en el ejemplo del toro, que si
I{C I

n cn-p)

como ocurre en la figura 2, teniendo en cuenta el signo de las intersecciones, Cn-p es un ciclo frontera.
El teorema anlogo de De Rham dice: Si todos los perodos de

f(,)=O
Cl
existe una forma

('f.

de grado p -

1, tal que

CJ)

d.

138 --

Fig.2
8.

G-ESTRUCTURAS.

Una de las nociones sistematizadoras de diferentes estructuras sobre variedades diferenciables ya esbozadas en el libro de Veblen-Whitehead, es la nocin de G-estructura. Intuitivamente se trata de clasificar la estructura por los sistemas de referencias adaptadas a ellas.
as para una mtrica de Riemann, los sistemas de referencias preferidos
sern los ortonormales; para una conexin, los sistemas especiales de
referencias sern aqullos en que los ejes son autoparalelos, etc. Un estudio muy completo de la posicin del problema por los aos 1966 es
el de Chern (24).
Si M es una variedad diferenciable y :1F(M) es el GL(n, R)-fibrado
principal de las referencias sobre M, una G-estructura sobre M es una
reduccin del grupo estructural GL(n, R) de '(M) a un subgrupo G.
Dos problemas fundamentales se plantean a partir de la nocin de
G-estruclura sobre una variedad diferenciable:
l.

Existencia o no existencia de una cierta G-e'Structura sobre una variedad diferenciable.

2.

Propiedades locales y globales de una G-estructura dada sobre una

variedad diferenciable.

El primero de estos problemas puede ser tratado mediante mtodos

y tcnicas muy generales de Topologa Algebraica de espacios fibra dos
(teora de obstruccin, clases caractersticas, etc.).
Para el segundo sealemos, por ejemplo, que el primer invariante
local de una G-estructura es su torsin, cuyas propiedades estn muy
relacionadas con la obstruccin a la integrabilidad de la estructura.
Desde este punto de vista ha adquirido una especial significacin, en
el momento actual, la bsqueda de invariantes topolgicos, definidos
sobre la variedad a partir de la G-estructura; conexiones relacionadas
con ello, para obtener obstrucciones topolgicas a su existencia e integrabilidad.
otros temas de estudio, en el contexto general de G-estructuras, es

139-

su integrabilidad. Las transformaciones de la variedad que conservan

la estructura (86), las extensiones a otros fibrados (107), G-estructuras
de orden superior y los problemas de deformacin. Vase el artculo de
Molino (Sur la G-gomtrie des varits diffrentiables) que se relaciona con la teora de deformaciones y con un contnuo de estructuras sobre una variedad.
9.

LA 9EOMETRA DIFERENCIAL y

LA INTUICIN.

En un breve artculo no es posible tan siquiera referise al desarrollo,

de muchos de los captulos, fundamentales de la geometra diferencial,
tales como Espacios simtricos, conexiones, espacios fibrados, variedades
Riemannianas, variedades foliadas, estructuras polinmicas, espacios
mtricos, curvaturas seccionales, formas armnicas... Solamente hemos
pretendido dar unas notas que puedan despertar curiosidad al lector
e introducirse en el apasionante estudio de esta geometra, que sigue viva,
porque contina en relacin con la intuicin geomtrica, logrando algebrizar y generalizar nociones de origen experimental e intuitivo, el
ejemplo ms simple es la generalizacin de la nocin de paralelismo, con
el desplazamiento de Levi-Civita, que conduce al concepto de conexin,
o con la nocin de variedades cobordantes que conduce a la teora del
cobordimos de Thom, o la nocin de variedad producto, cuya generalizacin conduce a la variedad producto local (espacios fibrados, variedades de Grassmann y sus generalizaciones) y a los invariantes que miden (en cierta manera) cmo se aparta esa estructura, producto local
de una estructura producto (clases caractersticas) (Euler dio el primer
ejemplo, su desarrollo se debe a Hopf, Withney, Pontrjagin, Stiefel,
Chern). Las clases caractersticas estn relacionadas con la nocin de
curvatura y no podramos dejar de citar el homomorfismo de ChernWeil y las teoras recientes de los invariantes secundarios y s-caracteres.
(Bott, Godbillon-Vey, Lehrnann y Haefliger, Chern, Simons, Cheeger.}
Las teoras de cohomologia se establecen analticamente a partir de
un operador diferencial d, tal que da = 0, es un operador coborde. El
mdulo ms simple, base de toda la matemtica, es la recta real. El
conjunto base tiene dos direcciones y la continuidad; este ltimo concepto ha sido introducido por los matemticos y cada vez parece ms
antinatural, menos fsico. da = O est relacionado con esas dos posiblidades de sentido, pero se adivina que la complejidad de los fenmenos
naturales lleve a tomar como mdulo (como elementos numricos) algo
ms complejo, con adelante y atrs como la recta real, pero tambin,
con ms de una direccin posible, o con estructuras tipo puerta que se
puedan abrir o cerrar, la algebrizacin de estructuras, cada vez ms
complejas, es inevitable.
Una de las estructuras ms simples y de gran aplicacin a la fsica:
fue el espacio vectorial. Hace unos treinta aos que el fibrado vectorial
(en la literatura norteamericana, vector bundles) es un tpico obligado
en la matemtica moderna. Brevemente diremos que un fibrado vectorial de dimensin n sobre un espacio X es una familia de espacios vee-

140-

toriales reales o complejos de n-dimensiones parametrizados por X. Las

clases caractersticas son las clases de cohomologa de X asociadas a
tales fibrados vectoriales.
La definicih de un fibrado vectorial no requiere una variedad regular (smooth), es natural considerar fibrados vectoriales sobre espacios
topolgicos arbitrarios. Consideraciones de estos fibrados y sus propiedades funtoriales ha conducido a la K-teoria, primer ejemplo de teorias
de cohomologia generalizadas. (Una teora generalizada de cohomologa
satisface todos los axiomas de Eilenberg- Steenrod dados para las teoras de cohomologia, excepto el axioma de dmensn.) Estas K-teorias
y sus operaciones han probado su inters en varias aplicaciones. Por
ejemplo, para resolver el problema de encontrar el nmero de campos
de vectores linealmente independientes en la n-esfera. Tambin han
sido usadas para formular el teorema del ndice, que iguala un invariante analtico de ciertas variedades con un invariante topolgico de
la variedad.
Es posible relacionar las clases caractersticas con la teora del cobordismo. Asi, anularse todos los nmeros de Pontrjagin de una variedad orientada compacta Cro es condicin necesaria para que la variedad sea una frontera. (Sobre esto vase la reciente obra de MlnorStasheff: Characieristic classes, Arm. of Math, Studies nm. 76, Princeton
Univ. Press and Univ. of Tokio, 1974.)
10.

LA GEOMETRA DIFERENCIAL EN LA

UNIVERSIDAD DE SANTIAGO,

DE GALICIA.

Dada una variedad diferenciable M, ero y de dimensin 2n, se dice

variedad casi compleja, si admite una G-estructura de grupo G =
= GL (M, C), es equivalente a la existencia de un automorfismo J: TM-+
-+ TM del fibrado tangente de M, tal que J2 = -1. Se dice que la variedad casi-compleja es variedad compleja, si dicha G-estructura es integrable.
Si (M, J) es una variedad casi-compleja y g es una mtrica de Remann sobre M verificando g(X, Y) = g(JX, JY), M se dice casi-herrntca, Se define una forma <p(X, Y) = g(X, JY); si d<P = O Y la estructura es integrable, la variedad se dice kaehlerana.
Existen condiciones ms dbiles que permiten definir varedades
llamadas pseudokaehlerianas, que se definen por propiedades que satisfacen la conexin de Levi-Civita, correspondiente a g, en relacin
con J, o por d<p = 0, o bien ~<P = 0, siendo ~ el operador coderivacin.
Las conocidas son: Kaehleriana, si (Vx J) Y = O; Nearly-K, si x (Vx J)Y +
+ (Vv J) X = O; Almost-K, si d<p = O; Quasi-K, si (Vx J) Y + (VJX J)
JY = O; Semi-K, si a<p = O; Hermtica, si [X, Y] - J[JX, Y] - J[X, JY] - [JX, JY] =
en todos los casos para X, Ye)((M).
Durante 1953 los trabajos de Dolbeault, Serre, Kodaira, Spencer,
Hirzebruch condujeron a una serie de notables resultados, ligando la
teora de Hodge, los invariantes de la geometra italiana y la cohomologa de bases, llegando a la frmula del teorema de Riemann-Roch en

141-

forma de igualdad vlida en todas las dimensiones. Asi, el teorema de

Riemann-Roch, para una curva M, se escribe
x(D) =

<

t + -2,- Cl> M>

t es la

).a clase de Chern del fibrado B(D) y clla primera clase de Chern
de M.
Ms tarde, Serre, Thom y Hirzebruch probaron el teorema general
de Riemann-Roch bajo la forma de una conjetura dada por Serre.
El estudio de las variedades complejas homogneas y simplemente
conexas, que son algebraicas, fue simplificado por un teorema de Lichnerowicz, que prueba que una variedad de Kahler homogenea compacta y
simplemente conexa tiene caracteristicas de Euler Poincar mayor que O,
Recientemente, en Santiago, se han encontrado las nuevas geometras pseudokaehlerianas, la G]: (V'x J) y + (V'y J) X - J) (V'JX J) y - J (V'JY J) X = O Y la G.: dF(X, JY, JZ) + dF (JX, T, JZ) + dF (JX,
JY, Z) - dF (X, Y, Z) = O (llamadas Gallega l.a y Gallega 2. a ). Pero,
sin duda, el teorema de mayor inters es haber logrado probar que
con relaciones polinmicas con elementos de la forma (V' J), no es posible establecer nuevas geometras pseudokaehlerianas (Vidal-Hervella).
Las relaciones de inclusin entre las diferentes geometras pseudokaehleranas se aprecian en la figura 3, tomada de un artculo de Vidal-Hervella
pendiente de publicacin. Recientemente en un articulo no publicado,
Grey y Hervella deducen nuevos tipos de variedades pseudo-kaehleranas.

----------------,I

I
I
I
I

I
I

-----------------,.1
.' J
,/,/

,/,/
,/

I
1

A-K

N-K
Fig.3
En los ltimos quince aos la matemtica espaola ha recibido un
impulso y una importancia como no tuvo en toda la historia cientfica

142-

espaola. En 1950, en mi obra La nueva matemtica, Edit. Dossat, todo

el desarrollo matemtico espaol lo divida en dos pocas, antes y despus de Rey Pastor, pues ste ltimo profesor supo dar altura y nivel
europeo a la matemtica espaola, con su magisterio y sus discpulos
(Santal, San Juan, Sixto Rios... ) y su obras tan elogiadas, incluso por
matemticos como Bennet y R. P. Boas, JI'. La nueva etapa, en nuestro
desarrollo, ha sido ponerse en contacto directo con las escuelas matemticas ms destacadas. Se han seguido dos caminos distintos; por un
lado, enviando los jvenes matemticos a esos centros prestigiosos, Boston, Roma, Estrasburgo, Paris, Zurich, Hamburgo, Berln... ; por otro,
aumentando el nmero de profesores visitantes. Esta etapa ha sido extraordinariamente eficaz y fecunda para nuestra matemtica, concretndome a la Geometra diferencial destacan varias universidades, en
donde se inician escuelas de Geometra diferencial, por el nmero e
importancia de los profesores que las dirigen y por los becarios en universidades extranjeras, que a su vez, ya tienen nuevos discpulos y por
las tesis presentadas sobre estas materias. Esta es, sin duda, la ltima
etapa y la ms importante en el desarrollo cientfico; esto es, que aparezcan escuelas con personalidad propia que logren marcar caminos a la
investigacin y obtener resultados de valor. Destacan, insistiendo en
concretarme a la geometra diferencial, las secciones matemticas tradicionales de Madrid (relacionndose con la escuela de Boston, Strasburgo (Reeb, Godbillon, Lutz), Pars (Cartan, Lichnerowicz) y Oporto
(Kumpera); Barcelona (Pars) (Lchnerowcz), Suiza (Eckmann), Hamburgo (Berln); Zaragoza (Pars, Cartan, Deheuvels), Strasburgo, Toulouse, Zurich) y la seccin ms antigua de las de nueva creacin: Santiago (Strasburgo) (Reeb, Godbillon, Moussu), Pars (Lichnerowicz,
Deheuvels, Lehmann), Estados Unidos (Bott, Spencer, Gray), tambin es
preciso destacar a la universidad de Salamanca, en donde existe un
equipo excepcional de gemetras diferenciales. El grupo de Sevilla lo
considero continuacin del de Santiago.
Por temor a omisiones involuntarias, no citar nombres de esas
otras universidades. El desarrollo de la geometra diferencial en Santiago es un hecho sorprendente, debido a la feliz casualidad que el destino me depar de encontrar un grupo de jvenes, excelentes matemticos, que, en brevsimos aos, lograron un nmero de resultados y de
publicaciones que ha prestigiado a Santiago como centro investigador
en geometra diferencial. No creo ocioso el resaltar brevemente algunos
de los resultados encontrados. Inicialmente, en Santiago, y por influencia de uno de los matemticos espaoles ms fecundo e importante de
toda la historia de la matemtica espaoa: Santal, se comenz estudiando geometria integral, las aportacions ms destacadas en este
campo fueron: relacionar las medidas de la geometra integral con los
invariantes integrales de Poincar-Cartan y utilizar por primera vez
en Geometra integral, la frontera de los conjuntos de elementos que se
quera medir. (Por estos trabajos fue alcanzado el premio Alfonso X el
Sabio del C. S. I. C. en 1949.)
De una manera natural, al tratar de generalizar el teorema de Chern

143-

sobre medidas en espacios homogneos, se inici en Santiago el estudio

de foliaciones, ponindose en relacin con la escuela de Strasburgo. A
partir de ese momento desfilan por Santiago ms de treinta de los profesores matemticos mundiales ms destacados (De Rham, Spencer,
Lichnerowicz, Bott, Reeb, Deheuvels -este profesor dio seis extensos
cursos-, Lehmann, Godbillon, Eckmann, Haefliger, Gray, etc.). El primer fruto de esta intensa relacin con algunas de las escuelas ms prestigiosas de Geometra diferencal (refirindome a mis colaboradores por
orden de antigedad), es la tesis del actual catedrtico de la Universidad
de Sevilla, Dr. Echarte Reula, sobre foliaciones y que dirije a un grupo
de jvenes discpulos que trabajan en estructuras polinmicas.
El profesor Naveira comienza tambin el estudio de mtricas especiales en variedades foliadas, pero deriva al estudio de curvaturas secconales (en esta direccin son puntos fundamentales el teorema de Chern
relacionando las clases de Pontrjagin con las curvaturas secconales,
curvatura de Lipzchitz - Killing, obra de J. A. Thorpe Sthahney,
Cheung - Hsiung, Berger, Gray). Naveira resuelve una importante
conjetura de Gray: Si M es una variedad kaehleriana, con curvatura seccional holomor[a de orden Z y constante, entonces las clases de
Pontrjagin de grado ms estn generadas por las de grado s. Tambin obtiene importantes generalizaciones del teorema de Schur (publicado
en los Proc. A. Math, S), ceros de los operadores curvatura holomorfos
no negativos, publicado en la Transaei. A. Math. S., as como otros trabajos sobre geometras pseudokaehlerianas en colaboracin con Hervella.
Prepara trabajos en colaboracin; unos, con Gray, y otros, con Stehney,
y lo sita en uno de los especialistas en estas materias. Es catedrtico de la Universidad de Valencia.
Otra de las cuestiones estudiadas intensamente en Santiago son:
las estructuras casi-producto y sus generalizaciones; estructuras polinmicas, foliaciones y multifoliaciones. En este campo destaca la labor
del catedrtico Dr. Cordero Rego, que estudia propiedades topolgicas
(cohomologas) de esas estructuras, aportando una gran originalidad
y siendo uno de los pocos matemticos especializados en multifoliaciones
(Spencer-Kodaira, Vaisman, Cordero); algunos de sus trabajos han sido
publicados en los Maihem, Annalen, An. Insi. Fourier, Nagoya ... , colaborando en la direccin de diversas tesis sobre estructuras polinmicas
y sobre Topologa de las variedades casi-complejas (Gadea, de Prada,
Bonome), el primero de estos matemticos, el Dr. Gadea, a su vez, se especializa en estructuras casi-tangentes, -estructuras y su topologa, y
tiene ya un grupo de colaboradores (Lpez Rosendo, Oubia, de Len),
brillando con luz propia y siendo conocido como un especialista e
investigador en estas materias.
Los estrictamente toplogos del grupo de Santiago son: Jos Mara
Masa y Mara Angeles de Prada, el primero, conocido por sus aportataciones a las foliaciones mediante sucesiones espectrales, pas, adems,
dos aos en Estrasburgo y est en estrecha relacin con ese grupo; la
segunda, por sus aportaciones a las foliaciones, pasando a espacios fibrados auxiliares. Su tesis fue presentada por el profesor Vidal, en es-

144-

trecha colaboracin con el profesor Cordero, sobre Topologa de las

tolaconess; con estos profesores trabajan los profesores de Len y Segura.
Hervella, que trabaj dentro del grupo del profesor Navera, trabaja
a su vez, en el teorema ndcado con el profesor Vdal y ha sido su sagacidad clave para el descubrimiento de las nuevas geometras pseudokaehlerianas (Gl Y G2); que han tenido el refrendo de ser comenzadas a
estudiar por el profesor A. Gray. (Hemos querido bautizarlas como
gallegase como homenaje a esta tierra.) Dirije ya a un grupo de colaboradores destacados (Marisa Fernndez, Snchez Viezma).
otro profesor del grupo de Santiago, es el profesor Vidal Costa, quien
destaca en otro de los campos objeto de nuestro estudio: Las conexiones
especiales, y sus trabajos, han merecido recensiones elogiosas. Precisamente la generalizacin de esas conexiones especiales (en relacin con
la integrabilidad de la estructura) generalizan resultados de Walker
y Willmore, y, a su vez, para multifoliaciones, fueron generalizados por
Cordero.
Este breve anlisis sobre la obra de Santiago quiero terminarlo
sealando otra nocin bautizada aqui, y bien es sabido la dificultad de
introducir conceptos que merezcan darle nuevos nombres. Me refiero
a las mtricas casi-ioliadas (Vidal) y que generalizan los espacios de
Renhart, precisamente la relacin de estas mtricas, con las geometras
pseudokaehlerianas, se estudian en la tesis de la profesora Castro Bolao, que tiene por objeto estudiar conjuntamente las estructuras casiproducto y las casi-complejas, pasando al complexificado del espacio
tangente, con lo cual se logra un estudio nico que comprende las dos
estructuras.
BIBLIOGRAFIA
1.

ADAMS, J. F.: Vector [ields on spheres, Ann, of Math. (2) 75 (1962),

603-632.

2.

ADAMS, J. F.: On the qroups J(X), 1, l1 Y lII, Topology, 2 (1963),

181-195; 3 (1965), 131-171; 3 (1965), 193-222.

3.

ATIYAH, M. Y HIRZEBRUCH, F.: Riemann-Roch iheorem [or dijereniiable manijolds, Bull. A. M. S., 65 (1959), 276-281.

4.

ATIYAH, M. Y HIRZEBRUCH, F.: Vector burulles and homogeneous

spaces, Proc. Symp. Pure Math., vol. 3, A. M. S. Providence,
R 1. (1961), 7-38 ..

5.

ATIYAH, M. Y SINGER, 1. M.: The inde 01 elliptic operaiors on

compaci manijolds, Bull. A. M. S., 69 (1963), 421-433.

6.

BELTRAMI, R: Saggio di inierpreiazione delta geometra noneuclidea, Giorn. Mat. Napoli (1868).

7.

BERGBR, M.: Lectures on qeodesics in Riemannian geometry, Tata

Inst. Bombay (1965).

-145 8.

BERNARD, D.: Sur la gomtrie dittrentielle des G-structures.

Ann. Inst, Fourier, Grenoble, 10 (1960), 151-270.

9.

BOCHNER, S. y YANO, K.: Curvature and Betii numbers, Ann. o

Math. Stud., n, 32, Princeton (1953).

10.

BONNET, O.: Le eons sur la torieqnrale des suriaces, Jour. Ecol,

Polytech., 19 (1848), 43.

11.

BOREL, A. y SERRE, J. P.: Le thorme de Riemann-Rocli d'apr

Groihetuiieek, Bull. Soco Math-Fronce 86 (1958), 97-136.

12.

BOREL, A. y HIRZEBRUCH, F.: Ctutracieristic classes and hornoqeneous spaces, 1, 11 Y 111. Amer, J. Math., 80 (1958), 458-538;
81 (1959), 315-382; 82 (1960), 491-504.

13.

BOTT, R.: On a topological obstruction to integrability, Proc, Symp.

in Pure Math. Amer. Math. Soc., 16 (1970), 127-131.

14.

BOTT, R. y HAEFLlGER, A.: On characteristic classes 01 r-Ioliatiations, Bull. A. N. S., 78 (1972), 1039-1044.

15.

BOTT, R.: Leciures on charactertstie classes and [oliations, Lect.

notes in Math., n,v 279, Springer-Verlag (1972), 1-94.

16.

CARTAN, E.: Sur les uariis i1 connexions atiine et la ihorie de la

rlativit qnralise, Ann, Ecol. Norrn, Sup., 40 (1923), 325-412.

17.

CARTAN, E.: Le mihode du repre mobile, Pars (1935).

18.

CARTAN, E.: Leeons sur la qomtrie des espaces de Riemann, Pars (1951).

19.

CARTAN, E.: Lecons sur les invariantes inigrau, Pars (1922),

Hermann (1972).

20.

CARTAN, E.: Les sistmes ditfrentiels extrieurs et leurs applications gomtriques, Pars (1945).

21.

CARTAN, H.: Thorie des [onciions automorphes el des espaces analytiques, Sem. E. N. S. Pars (1954).

22.

CASTRO BOLAO, R.: Conexiones en espacios librados principales

y vectoriales. Generalizaciones. Publico del Dep. de Geom. y Top.
de Santiago n.v 17 (1972).

23.

CERF, J.: Trauauai de Smale sur la structure des uariis, Sem.

Bourbaki, Pars, I. H. P. (1961-62).

24.

CHERN, S. S.: The geometry 01 G-struciures, Bull. A. M. S., 72

(1966), 167-219.

25.

CHERN, S. S.: Differeniial geometry: its past and its [uiure, Congreso
Int. de Math. Niza, I (1970), 41-43.

26.

Chern, S. S. y Simons, J.: Some cohomology classes in principal

[iber bundles and their application to Riemannian geometry, Proc.
N. A. S., 68 (1971), 791-794.

-146 27.

CHERN, S. S.: Geometry of characteristic classes, Proc. 13th Biennal

Sem. Canad, Math. Halifax 1971, 1(1972), 1-40.

28.

CHERN, S. S. y SIMONS, J.: Characterisiic [orms and transgression,

I (preprint).

29.

CHEVALLEY, C.: Theory of Lie groups, Princeton (1946).

30.

CORDERO, L. A.: Sobre una descomposici6n del operador diferencial

exterior en una estructura casi producto, XI R. A. M. E., Murcia
(1970), 124-129.

31.

CORDERO, L. A.: P-normal almost produci sirueture, Tensor N. S.,

28 (1974).

32.

CORDERO, L. A.: The eaiension 01 G-Foliations to tangent bundles

of Hiqher order. Nagoya Math. J. Vol. 56 (1974), 29-44.

33.

CORDERO, L. A.: Special Connectione on Almost-Multifoliate Riemannian manitolds, Math. Ann., 216 (1975), 209-215.

34.

CORDERO, L. A. Y GADEA, P. M.: Exotic characteristic classes and

subjoliations, Ann. Inst. Fourier, 26 (1976).

35.

COURANT, R y ROBBINS, H.: Qu es la matemtica?, Aguilar,

Madrid (1958).

36.

CRITTENDEN, R y BISHOP, R.: Geometry 01 monifolds, Acad. Press

(1962).

37.

DARBOUX, G.: Leeons sur la torie qnrale des surfaces. (1880).

38.

DEHEUVELS, R: Cours de Gomtrie a l'Ecole Polytechnique (1969).

39.

DEHEUVELS, R.: Siructure complexes et presque complezes, Cours

de 3eme cycIe, Pars (1970).

40.

DEHEUVELS, R: Clases caractersticas, Publico del Dep. de Geom.

y Top. de Santiago nm. 10 (1970), notas r. por P. M. Gadea
y M. A. de Prada.

41.

DE RHAM, G.: Intgrales muliiples et analysis situs, C. R A. S.,

188 (HJ29), 1651-1653.

42.

DOLBEAULT, P.: Sur la cohomoiouie des varits analytiques complezes, C. R. 1\. S. Paris, 236 (1953), 173-177.

43.

EARLE, C. J. y EELLS, T.: Foliaiions and [ibraiions, J. Diff. Geom.,

1 (1967), 33-41.

44.

ECKMANN, B.: Gruppentheoretischer Beuieis des Saizes oon HuruntzRadon tiber die Komposition quadraiisclier Formen, Comm. Math.
Helv., 15 (H,43), 358-366.

45.

EHRESMANN, C.: Sur la thorie des espaces [ibre, Coll. Top. Alg.,
Pars (1947), 3-15.

46.

EHRESMANN, C.: Les connexions iniiniisimales dans un espace

fihr diffrentiable, Coll. Top. Brussels (1950), 29-55.

-147 -

47.

EULER, L.: De linea brevsima in superficie quacunque duo qualibet puncta jungente, Comm. Acad. Petr., 3 (1728).

48.

Fox, R. H.: On [ibre spaces, 1 y 11, Bull. A. M. S., 49 (1943),

555-557; 49 (1943), 733-735.

49.

GADEA, P. M.: Sobre las cp(4,2)-estructuras normales, Act. II Jorn.

Math. Hispano-Lus. Madrid (1973).

50.

GADEA, P. M.: Estructuras polin6micas de lipa cp(4,2) yestructuras casi tangentes, Publ. del Dep. de Geom. y Top. de Santiago
nmero 20 (1973).

51.

GADEA, P. M. Y CORDERO, L. A.: On integrability conditions of a

strueture cp salisfying cp4 cpz = O, Tensor N. S., 28 (1974), 78-82

52.

GADEA, P. M. Y CORDERO, L. A.: On the automorphism- group of

cp(4, 2) manijolds, Tensor N, S., 29 (1975).

53.

GADEA, P. M. Y ROSENDO, L. L.: Clases de Chern y estructuras casi

tangentes (a aparecer).

54.

GAUSS, K.: Disquisitiones generales circa superficies curvas, Werke, 4 (1827), 217-258.

55.

GELFAND, 1. M. Y FUKS, D. B.: The cohomology of the Lie algebra

of formal vector [ields, Izv. Akad. Nauk. S. S. S. R., 34 {1970),
322-337.

56.

GODBILLON, C.: Gomirie ditjrentielle el mcanique analylique,

Hermann, Pars (1969).

57.

GODBILLON, C. y VEY, J.: Un inuariani des feuilletages de codimension un, C. R. A. S. Pars, 273 (1971), 92-95.

58.

GODBILLON, C.: Conferencias sobre cohomologa de Getjand-Fnks

y foliaciones, Publ. del Dep. de Geom. y Top. de Santiago nmero 22 (1973).

59.

GODEMENT, R.: Topologie alqbrique ei ihorie des [aisceaux, Act.

ScL Ind. 1252, Hermann, Paris (1958).

60.

GOLDBERG, S. y PETRIDIS, N. C.: Diitereriabte soluiions of alqebraie equaiions on maniiolds, Kdai Math. Sem. Rep., 25 (1973),
111-128.

61.

GRAY, J. W.: Some global properiies 01 conlact siructures, Ann. of

Math. (2), 69 (1959), 421-450.

62.

GRAY, A.: Minimal uarieiies and almost hermilian submonijolds,

Michigan Math. J., 12 (1965), 273-287.

63.

GRAY, A.: Nearlq-Kdhler maniiolds, J. Diff. Geom., 4 (1970),

283-309.

64.

GREENBERG, M. J.: Leciures on alqebraic Topology, Benjamn

(1967).

-148 65.

HAEFLIGER, A.: Variete [euillete, Ann. Se. Norm. Supo Pisa (3),
16 (1962), 367-397.

66.

HAEFLIGER, A.: Homotopy and integrability, Lecture notes in

Math. nm. 197, Springer-Verlag (1971), 133-163.

67.

HAEFLIGER, A.: Teorema de Boti sobre una obstruccin topolgica

a la ireqrabilidad completa, Publ, del Dep. de Geom. y Top. de
Santiago nm. 12 (1972). Notas de J. M. Masa, C. Fuertes y L. M.
Hervella.

68.

HELGASON, S.: Dtfferentwl geometry and Symmetric spaces, Acad.

Press (1962).

69.

HERMANN, R.: A sufficient condiiion that a mapping of Riemannian manitolds be a [ibre bundle, Proc. A. M. S., 11 (1960), 236242.

70.

HERVELLA, L. M.: Geometras hermiticas, Variedades Q-kahlerianas.

Pub!. Dep. Geom. y Top. Santiago nm. 25 (1974).

71.

HERVELLA, L. M. Y NAVEIRA, A. M.: Quasi-Kahler manijolds

(preprint).

72.

HEWITT, E. y Ross, K. A.: Abstraci harmonic analysis, SpringerVerlag(1963).

73.

HICKS, N. J.: Notes on Diijerential qeometrij, Van Nostrand (1971).

74.

HIRZEBRUCH, F.: Topoloqical methods

Springer-Verlag (1966).

75.

HODGE, W. V. D.: The theory and appltcaiions 01 harmonic inieqrals, Cambridge U. P. (1952).

76.

HOPF, H.: Vectorjelder in n-dimensionalen Monniqtaliiqkeiten,

Math. Ann., 96 (1927).

77.

Hu, S. T.: On generalising the notion 01 [ibre space to include the

[ibre bundles, Proc. A. M. S., 1(1950), 756-762.

78.

HUREWICZ, W.: On the concept 01 [ibre spaee, Proc. N. A. S., 41

(1955), 956-961.

79.

HUSEMOLLRR, D.: Fibre bundles, McGraw Hill (1966).

80.

JACOBI, G. C.: Vorlesunqen uber Dynamik (1942-43).

81.

JORGE, C.: Variedades pseudokdhlerianas, Publ. Dep. Geom. Top.

Santiago nm. 26 (1974).

82.

KAHLER, E.: Uber eine bemerkunsuierie Hermitische Metrik, Abh.

Math. Sem. Hamburg, 9 (1933).

83.

KERVAIRE, M.: Non parallelizability 01 the n-sphere [or n

Proc. N. A. S., 44 (1958), 280-283.

84.

KLEIN, F.: Gesammelie Maihemaiische Abhandlungen, 1, Berln

(1921), 460.

In

alqebraic geometry,

> (7.

149-

85.

KOBAYASHI, S.: Transformalion groups in Difterential geometry

Springer-Ver1ag (HI72).

86.

KOBAYASHI, S. y NOMIZU, K.: Foundations 01 Dijierential qeometry, 1 y n, Inters. Pub!. (1963 y 1969).

87.

KODAIRA, K. y SPENCER, D. C.: Muliiioliaie structure, Ann. o

Math., 74 (1961), 52-99.

88.

KOSZUL, J. L.: Leciures on [iber bundles and Dijjerential geometry

Tata Inst., Bombay (1960).

89.

LAWSON, H. B.: Foliations (preprint).

90.

LEHMANN, D.: Sur I'obsiruction a l'integrabilit formelle des Gstructures. U. E. R. Mathem. Pures et App1; Univ. Grenoble,
1972, Notes de J. C. Thomas.

91.

LEHMANN-LEJEUNE, J.: Sur I'lntqrabit de certaines G-structures, C. R. A. S., 258 (1964), 5326-5329.

92.

LEVI-CIVITA, T. y RICCI, G. Mthodes de calcul ditterentiel absolu

et leurs applicaiions, Math. Ann. B. Helf 1 (1900).

93.

LEVI-CIVITA, T.: Nozione di parallelismo in una uariet qualunque e consequenie spectficazione qeometrica della curvatura Riemanniana, Rend, Circo Mat., Palerrno, 42 (1917), 173-204.

94.

LIBERMANN, P.: Problemes d'equiualence rlaiiis a une strueture

presque compleze sur une uaril a quaire dimensions, Acad. Roy.
Be1g. neu. A. ScL, 36 (1950), 742-755.

95.

LICHNEROWICZ, A.: Theorie globale des conn. et des Groupes d'Holonomie. Ed. Cremonese. Roma, 1955.

96.

LICHNEROWICZ, A.:
Pars, 1958.

97.

LICHNEROWICZ, A.: Varits complexes et tenseur de Bergmattn.

Ann. Inst, Fourier (Grenob1e), 15 (1965), 345-407.

97'

Lrs, S.: Allgemeine Uniersuehnqen uber Ditterentialgleichungen

die eine kontinuierliche, endliche gruppe gestatten, l,\iath. Arm,
(1885), Gesam. Abh. Band VI.

Geometrie des Groupes de Trans]. Dunod,

97" Lra, S.: Verwetung des Gruppenbegrilfes far Differentialgleichungen (1895), Ges. Abh, Band VI.
97'" LIOUVILLE, J.: Journ. de Math., 9 (1844), 401.
98.

LUTZ, R.: Structures de contad en codimensiori quelconque, CoIl.

Georn. Dif., Santiago de C. (1972). Lectures notes in Math. nmero 392 (1974), 23-29.

99.

MAINARDI, G.: Giorn.Inst. Lonbardo, 9 (1856), 185-388.

100.

MALLIAVIN, P.: Gomtrie diflrentielle irdrinsque, Hermana,

Pars (1972).

-150 101.

MILNOR, J.: Characteristic classes, Princeton (1974).

102.

MILNOR, J.: So me consequences 01 a theorem 01 Bott, Ann. of Math.

(2), 68 (1958), 444-449.

103.

Milnor, J.: Difterentiable structures on spheres, Amer. J. Math.

81 (1959), 962-972.

104.

MILNOR, J.: Microbundles, 1, Topology 3, Suppl., 1 (1964), 53-80.

105.

MILNOR, J.: Morse theory, Princeton (1969).

W6.

MINDING, F.: Krelle Journ, [ur Math., 5 (1839), 237.

107.

MORIMOTO: Prolongation 01 G-structures to tangent bundles 01 nigher order. Nagoya Math. J., 38 (1970), 153-179.

108.

MORSE, M.: The calculus 01 uariations in the large, Amer, Math.

Soco (1934).

109.

NAVEIRA, A. M.: Variedades foliadas con mtrica casi librada.

Collecr. Math. 21, I (1970), 1-61.

110.

NAVEIRA, A. M.: Concepto, mtodos y fuentes de la Geometra dilerencal, Santiago de C. (1971).

111.

NAVEIRA, A. M.: Oaractrisation des oarits a courbure seciionnelles holomorphes qneraliees constantes, 9 (1974), 55-60. Journal
of Dif. Geometry.

112.

NAVEIRA, A. M. Y HERVELLA, L. M.: Schur's iheorem [or nearly

Kdhler manifolds, Proceed. of the A. M. S., 49 (1975).

113.

NAVEIRA, A. M. Y FUERTES, C.: The zeroes 01 non-negative holomorphic curvature operaiors, Transactions of the A. Math. S.

114.

NUENHUIS, A.: Theory 01 oector-ualued dijjerenial [orms, Proc,

Kon. Ned. Akad. Wet. Amsterdam, 59 (1956), 338-359.

115.

NOMlZU, K.: Receni developments in the theory 01 conneeiions and

holonomy-groups, Advances in Math., 1 (1961), 1-49.

116.

NOVIKOV, S. P.: Foliaiions 01 codimension 1 on manifolds, SOy.

Math. Dokl., 5 (1964), 540-544.

117.

P ALAIS, R. S.: A global [ormulation. 01 ihe Lie theory 01 tronsformaiion groups, Mem. A. M. S. nm. 22 (1957).

118.

PASTERNACK, J. S.: Foliaiions and compact Lie groups actions,

Comm. Math. Helv., 46 (1971), 467-477.

119.

POSTIKOV, M.: Investigations in the homotopy theory 01 coniinous

mappings, 1 y ti, Trudy Mat. Inst, Steklov, 46 (1955); Trad. al
ingls: A. M. S.Transl. (2), 7 (1957), 1-90, 98-134.

120.

REEB, G.: Sur certainee proprits topologiques des varits [euilletes, Act. ScL Ind., Hermann, Pars (1952).

121.

REEB, G.: Conferencias sobre [oliaciones, Publ. Dep. Geom. Top;

Santiago nm. 7 (1969). Notas r. por L. A. Cordero.

-151 122.

REINHART, B. L.: Foliated manijolds wilh bundle-like metrics,

Ann, of Math., 69 (1959), 119-131.

123.

RIEMANN, B.: Uber die hipothesen toelche der Geomeirie zu Grunde

liegen, Gesamm. Math. Werke, Lepsg (1876) 254.

124.

SCHOUTEN, J. A. Y VAN KAMPEN, E. R.: Math. Ann., 103 (1930)

758.

125.

SERRE, J. P.: Homoloqie sinquliere des espaces [ibrs, Ann. Math.,

54 (1951), 425-505.

126.

SMALE, S.: Generalized Poincar's conjecture in dimension greater

than tour, Ann. Math., 74 (1961), 391-406.

127.

SMALE, S.: On the struclure 01 manijolds, Amer. Jour. Math.,

84 (1962), 397-399.

128.

SPANIER, E. H.: Alqebraic topology, McGraw Hill (1966).

129.

STALLINGS, J.: Polyhedral bomotopu-spheres, Bull. Arner. Math.

Soc., 66 (1960), 485-488.

130.

STEINITZ, E.: Beilrage zur Analysis siius. Sitzungsferichte der

Berliner Math. Gerellsehaft, 7, 1907, 29-49.

131.

STEENROD, N. E.: The topology 01 libre bundles, Princeton (1951).

132.

STEENROD, N. E. Y WHITEHEAD, J. H. C.: Vector [ields on the

n-sphere, Proe. N. A. S., 37 (1957), 58-63.

133.

STEENROD, N. E.: Cohomology operations, Prnceton (1962).

134.

STERNBERG, S.: Leciures on Ditterential geometry, Prentiee Hall

(1964).

135.

STIEFEL, E.: Richiunqeielder urui Fernparallelismus in n-dimensionalen Mannigfaltigkeilen, Comm. Math. Helv., 8 (1936), 305353.

136.

STRUIK, D. J.: Lectures on classical Differential qeometrq, Addison-Wesley (1950).

137.

THOM, R.: Quelques proprits globales des varits dilfrentiables,

Comm. Math. Helv. 28 (1954), 17-86.

138.

THOMAS, E.: Vector [ields on maniiolds, Bull. A. M. S., 75 (1969).

643-683.

139.

VAISMANN, l.: Almost-multifoliate Riemannian maniiolds, Ann,

SeL Unv. (IAl. 1. Cuza, Sect. I, 16 (1970), 97-104.

140.

VEBLEN, O. y WHITEHEAD, A. H. C.: The [oundaiions 01 Difterential geometry, Cambridge Traets nm. 29 (1932).

141.

VIDAL, E.: Introduccin a la Geometra diferencial, Dossat, Madrid (1956).

152-

142.

VIDAL, E.: Estado actual, mtodos y problemas de la Geometra

diferencial, Monogr. de Mat. Publ, Inst. Jorge Juan, C. S. I. C.,
Madrid (1958).

143.

VIDAL, E.: La nueva Matemtica, Dossat, Madrid (1961).

144.

VIDAL, E.: On regular [oliaiions, Ann, Inst. Fourier 17, 1(1967),

129-133.

145.

VIDAL, E.: Sur les varits a siructure de preeque-produii cotnplexe

auec mirique presque-feuillete, C. R. A. S. Pars, 273 (1971),
1151-1155.

146.

VIDAL, E.: Sur les conneaiions basiques, transversales et projeciables dans les uarlis presque-produit compleees. Comp. Rend. Ac,
Sci. Pars, S. A., t. 277 (1973), 461-463.

147.

VIDAL, E. y VIDAL COSTA: Special conneciions and Almost Foliated

metrics, Journ. of Diff. Geometry, 8 (1973), 297-304.

148.

VINCENT, J. J.: Les groupes linaires finis sans poinis [ixes, Comm.
Math. Helv., 20 (1941), 117-171.

149.

WALKER, A. G.: Almosi-product structures, Proc, Symp. Pure

Math of A. M. S., 3 (1961), 94-100.

150.

WARNER, F. W.: Foundations of Differentiable Manijolds and Lie

Groups. Scott, Foresmannd Comp. Sleuview, Illinois, 1971.

151.

WEIL, A.: L'intgration dans les groupes topologiques, Hermann,

Pars (1965).

152.

WHITNEY, H.: Sphere spaces, Proc. N. A. S., 21 (1935), 462-468.

153.

WHITNEY, H.: Ann. of Math., 37 (1936).

154.

WHITNEY, H.: On the theory of sphere bundles, Proc. N. A. S., 26

(1940), 148-153.

155.

WILLMORE, T. J.: An introduction to Dijtereniial geometry, Oxford

at the Clarendon Press (1959).

156.

Wu, W. T.: Sur les classes caractristiques des strueiures [ibr

sphriques, Act, Sci. Ind. nm. 1183, Hermann, Pars (1952).

157.

ZEEMAN, E. C.: The generalized Poincar eonjecture, Bull. Amer,

Math. Soc., 67 (1961), 270.