Geometr a simplectica y ciencia

por Juan Carlos Marrero Gonzalez, Universidad de la Laguna

As each skylark must display its comb, so every branch of mathematics must nally display symplectization Arnold: Catastrophe Theory (Springer-Verlag, Berlin, 1987)

1. Or genes de la Geometr a Simplectica y un poco de historia

El termino

tratado

laza o que une. Este nombre fue usado por primera vez en 1939 por H. Weyl en su tipos basicos de geometr a multidimensional.

simpl ectico

viene del griego

symplektikos

que signica que entre-

The classical groups sobre los grupos de movimientos r gidos de varios

Simplectica habr a que buscarlos a principios del siglo XIX con los trabajos de Lagrange sobre Mecanica En un intento de simplicar las

En cualquier caso, los or genes de la Geometr a

Anal tica.

ciones del movimiento planetarias, Lagrange obtiene las

ecua-

nan la dinamica de un sistema mecanico autonomo.

ecuaciones de Hamilton, ecuaciones que gobier-

primer orden que involucra a la

Se trata de un sistema de ecuaciones diferenciales de

energ a total H las posiciones 183

y cuya integracion permite obtener

sistema (la suma de las energ as cinetica y potencial)

del

J-L Lagrange, 1736-1813

184

11. Geometr a simpl ectica y ciencia

(q 1 , . . . , q n ) y los momentos (p1 , . . . , pn ) del sistema en cada instante de tiempo t. 2n 2n En R , o en un abierto de R , la expresion expl cita de este sistema es la siguiente: H dq i = , dt pi dpi H = i, dt q

i {1, . . . , n}.

siglo XIX la naturaleza geometrica y cualitativa de la Mecanica no estaba nada clara.

V olveremos a estas ecuaciones mas adelante.

De cualquier manera, durante el

o Hertz, usando las ideas geometricas en Mecanica. Pero fue Poincare, a principios en el problema de los n-cuerpos. Poincar e, cuyo enunciado es: De hecho

Solo a nes de este siglo encontramos a algunos f sicos matematicos, como Darboux del siglo XX, quien inicia la era cualitativa con el estudio de las orbitas periodicas

el u ltimo teorema geom etrico de

Una aplicaci on continua de una corona circular que preserva el rea y que mueva las fronteras en sentidos opuestos tiene al menos a dos puntos jos,

implica la existencia de innitas orbitas periodicas en el problema de los tres cuerpos. El enuncia-

do de este teorema muestra la importancia de las aplicaciones que preservan areas y fronteras. El

relacionado con la Mecanica sino tambien con la

primer conjunto de estas aplicaciones no solo esta

mente.

Geometr a Simplectica, como veremos posterior-

H. Poincar e, 1854-1912
ponen 50 algunos las bases matematicos para

empiezan a ser usadas y la Geometr a Simplectica

Despues de Poincare las tecnicas simplecticas

va avanzando lentamente de manera que en los anos como Ehresmann, Lichnerowicz o Reeb, las aplicaciones a la

desarrollos

franceses

futuros y

Mecanica.

185

Simplectica en una de las producciones matematicas y f sicas mas importantes del siglo XX.

de las investigaciones ha convertido a la Geometr a

los

ha sido denitivamente establecido. ultimos 30 anos, un

las Matematicas y el nexo de union con la Mecanica

Simplectica esta consolidada como una rama mas de

De

esta

forma

en

los

anos

60,

la

Geometr a

crecimiento

Finalmente en espectacular

H. Weyl, 1885-1955
2. Geometr a Simplectica: la geometr a de las areas orientadas
De forma elemental, podr amos decir que la Geometr a Simplectica es

metr a de las areas orientadas.

macion de manera intuitiva.

A continuacion, intentaremos justicar esta ar-

la geo-

del plano R2 es un objeto matematico que a un par de vectores u = (u1 , u2 ) 2 2 y v = (v1 , v2 ) en R les asocia el area orientada (u, v ) del paralelogramo en R generado por los vectores u y v , esto es, (u, v ) = u1 v2 u2 v1 .
sobre As ,

usual

Comencemos con el ejemplo mas sencillo: el plano

R2 .

La forma simplectica

, esto es, una

puede ser interpretada como una aplicacion

2-forma sobre R

R-bilineal

y antisimetrica

resultan cuando

Pero, ademas,

terminos matematicos de la siguiente forma

uyv

es no degenerada en el sentido de que las unicas areas nulas son proporcionales. Esta propiedad puede ser expresada en

(u, v ) = 0,
Notese que la matriz asociada a

v u = 0. 0 1 1 0

2 respecto de la base canonica de R es

J0 =
Ademas, es facil probar que una

su matriz (antisimetrica) respecto de la base canonica es regular.

2-forma sobre R2 es no degenerada si y solo si

186

11. Geometr a simpl ectica y ciencia

Teniendo en cuenta las consideraciones anteriores, uno puede construir, de una

R-bilineal, antisimetrica y no degenerada. 2n 2-forma sobre R cuya matriz regular y antisimetrica respecto de la base canonica
es

manera sencilla, una forma simplectica lineal

sobre R2n , es decir, una aplicacion Es suciente denir a como aquella

J0 =
donde

In es la matriz identidad de orden n. Si interpretamos a R2n como el producto 2 (n de los planos R . . . . . . R2 , entonces uno puede comprobar que el area orientada 2n de un paralelogramo sobre R (v a ) es la suma de las areas orientadas de sus
proyecciones sobre cada uno de estos planos. Tras la discusion anterior esta claro que no es posible denir un concepto de area

0 In In 0

orientada sobre un espacio de dimension impar, como orden par.

ciones. La razon es contundente: una matriz regular y antisimetrica es siempre de

R3 , sin introducir degenera-

utiles.

necesario generalizar las teor as a otros espacios mas complicados, pero igualmente diferenciables, las cuales son una generalizacion de las supercies en rasgos,

todos los fenomenos acontecen en un espacio vectorial real de dimension nita. Es Una clase importante de estos espacios esta constituida por las variedades de dimension

Por otra parte, en F sica y en Matematicas (y, en general, en la vida real) no

abierto de

tal forma que cada uno de sus puntos admite un entorno abierto homeomorfo a un

una variedad diferenciable

es un espacio topologico de

R3 . A grandes

(es suciente trasladar la correspondiente nocion en coordenados). vectorial de dimension Entonces,

Rn . As , uno puede introducir sobre una variedad y de vector tangente

abiertos de

por dos de estos entornos (con interseccion no vac a) da un difeomorsmo entre a la misma en cada uno de sus puntos a en un punto de forma natural la nocion de

Rn y ademas la correspondiente transformacion de coordenadas inducida

curva

Rn

v a los homeomorsmos

n constituido por todos los vectores tangentes en P a curvas contenidas en M que pasan por P. Por tanto, ya que el espacio tangente a un espacio
primera aproximacion a la denicion de estructura simplectica sobre una variedad vectorial en cada uno de sus puntos se puede identicar con el propio espacio, una de dimension par ser a la de dar una forma simplectica sobre cada uno de sus

el espacio tangente

es un espacio

espacios tangentes de una manera suave, sin cambios bruscos, cuando pasamos de un punto a otro de la variedad.

Esto nos permitira calcular el area orientada de una supercie

S contenida en la

187
variedad simplectica areas orientadas.

cada uno de los espacios tangentes a

descomponiendo

en los puntos de

en paralelogramos innitesimales, en

S,

y sumando luego sus

tangente a

sigue.

en

R3 :

Para jar las ideas pensemos en un ejemplo sencillo. Se trata de una supercie la esfera Supongamos que

S 2.

La forma simplectica usual

S 2 en x.

Entonces,

es un punto de

de S 2 puede ser introducida como S 2 y que u y v son vectores del plano

x (u, v ) = [x, u, v ],
propiedades requeridas. donde

[ , , ] denota el producto mixto o triple de R3 .

La forma

satisface todas las

plano

R2 y en S 2 es diferente. En efecto, el area de un c rculo C de radio r en el 2 2 2 plano R es r . Sin embargo, si colocamos C sobre la esfera S , el area del c rculo 2 resultante es sen r (vease Figura 1).

Antes de seguir adelante conviene indicar que la forma de medir areas en el

par consiste en asignar de una manera suave una forma simplectica en el espacio tangente a

S 2 , uno podr a sacar la conclusion equivocada de que dar una estructura simplectica en una variedad M de dimension
para dimension dos. Para dimension mayor que dos hay que anadir una restriccion cualquier region compacta de dimension

De la construccion de la forma simplectica de

en cada uno de sus puntos.

Sin embargo, esto es exclusivo solo

esencial: es necesario que la suma de las areas orientadas de supercies que bordean

3 en la variedad sea nula.

Esta condicion

188

11. Geometr a simpl ectica y ciencia

puede ser expresada en terminos geometricos-diferenciales diciendo que la forma simplectica es

cerrada.

2m de R2n es una variedad diferenciable de dimension 2m tal que 1 2n para cada punto x de S uno puede elegir coordenadas (x , . . . , x ) en un entorno U de x en R2n y S
La subvariedad

variedad regular simplectica de dimension

Para jar las ideas anteriores pensemos nuevamente en un ejemplo:

de dimension

2m en R2n .

Una subvariedad regular

una sub-

U S = {(x1 , . . . , x2n ) R2n /x2m+1 = . . . = x2n = 0}. S

de orden

en cada uno de los puntos del abierto, esta determinada por una matriz antisimetrica

R a S es nuevamente una forma simplectica sobre S . Supongamos entonces que 1 2m S es simplectica y consideremos un sistema de coordenadas (x , . . . , x ) sobre un 2n abierto de S . La restriccion de la forma simplectica de R al espacio tangente a S
2n

es simplectica si la restriccion de la forma simplectica usual de

2m de funciones sobre S

(ij (xk ))1i,j 2m .

Ademas no es dif cil probar que

ij jk ki + + = 0, xk xi xj

para todo

i, j, k. a S.

Este conjunto de ecuaciones expresan el caracter cerrado de la restriccion de En denitiva, una forma simplectica sobre una variedad

una

2-forma cerrada y no degenerada sobre M.

Anteriormente,

de dimension par es

y el plano tes.

pequeno de un punto de la esfera puede ser aplicado sobre el plano sin que se distorsionen las areas.

usado en Cartograf a, que un entorno sucientemente

simplectica local. En efecto, es un hecho comunmente

simplectica global.

Luego podemos armar que hay una geometr a Sin embargo, no hay geometr a

R2

son variedades simplecticas diferen-

comentamos

que

la

esfera

S2

se distorsionen las longitudes. Pensemos en otro ejemplo. Si consideramos una supercie en

embargo, es imposible realizar la misma tarea sin que

Sin

ciamos con la mano percibimos sus ondulaciones, su

R2n y la acari-

G. Darboux, 1842-1917

189
curvatura, ya que nuestras manos son buenos detectores de sus propiedades metricas.

Si tuvieramos manos simplecticas, es decir manos que en lugar de percibir distancias sobre supercies percibieran areas, no notar amos nada al acariciar nuestra

(x, y ) en una supercie de tal manera que sus elementos de area se pueden escribir como dx dy . Este resultado puede ser generalizado para una variedad simplectica arbitraria y esto es justamente lo que establece el teorema de Darboux: Sea M una variedad simpl ectica de dimensi on 2n con forma simpl ectica . Entonces para cada punto x de M existe un entorno abierto U de x con coordenadas q 1 , . . . , q n , p1 , . . . , pn tales que se escribe en U de la forma can onica = dq 1 dp1 + . . . + dq n dpn .

son localmente iguales. De hecho, siempre es posible encontrar coordenadas locales

supercie. Esto es debido a que todos los elementos de area de todas las supercies

Como una consecuencia deducimos que

Las formas simpl ecticas sobre variedades de la misma dimensi on son localmente iguales y, por tanto, no hay geometr a simpl ectica local.

ciones simplecticas

3.

Puede pasar un camello por el ojo de una aguja?: transforma-

Una cuestion importante en el mundo simplectico es el estudio de preservan areas.

formaciones simpl ecticas

caciones como comentabamos al principio de este trabajo.

Y a Poincare estaba interesado en el estudio de este tipo de apli-

simplectomorsmos,

esto es, las aplicaciones que

las trans-

smos en general. En su art culo, Arnold formulo un llamamiento para

que propiedades son espec cas de los simplectomorsmos frente a los difeomor-

de los resultados de este. En estas generalizaciones se trata de poner de maniesto

Arnold retomo la senda marcada por Poincare y conjeturo algunas generalizaciones

Muchos anos despues

190

11. Geometr a simpl ectica y ciencia

estudiar las propiedades globales de las variedades

formaciones simplecticas. es considerado como el

simplecticas a traves del analisis del grupo de trans-

inicio

El trabajo de Arnold de la

topolog a

simpl ectica.
cios simplecticos es una aplicacion que preserva las areas. Esto en terminos matematicos y para el Una transformacion simplectica entre dos espa-

V.I. Arnold, 1937-

R2n quiere decir que se trata de 2n un difeomorsmo : R R2n cuya diferencial conmuta con la matriz J0 (la matriz de la forma n simplectica estandar sobre R ). En otras palabras, dT J0 d = J0 .

caso particular de

servan el volumen. El estudio

Como consecuencia, se deduce que las transformaciones simplecticas de

R 2n

con-

simplecticas ha supuesto la introduccion de algunos problemas famosos, como el del

de

las

transformaciones

camello

simpl ectico.

de una aguja sin distorsionar las areas.

paces de pasar un camello a traves del ojo El

Se trata de ver si ser amos ca-

problema matematico podr a plantearse como sigue. Imaginemos en

Figura 2). jero.

(q , . . . , q , p1 , . . . , pn ) el hiperplano H pn = 0. Al hiperplano H le quitamos una bola de radio > 0 y en una de las regiones que delimita H colocamos una bola de radio r > (vease
1 n
No es dif cil convencerse de que esto lo Se trata de pasar la bola por el agu-

R2n

con coordenadas

Camello simpl ectico

podemos hacer con transformaciones que conserven el volumen.

191

el

es posible si en la operacion anterior usamos transformaciones simplecticas. As , aunque el Nuevo Testamento arme que

el agujero y la bola se ina de nuevo. Sin embargo, como probo Gromov, esto no

espacio de coordenadas

pn ,

En efecto, podemos aplastar y estirar la bola en la direccion de un eje, por ejemplo hasta que este contenida en un cilindro de base el disco de radio

( q , . . . , q , p 1 , . . . , p n 1 ) .
1 n

Entonces el cilindro se pasa por

/2

en el

M as f acil es que un camello pase por el ojo de una aguja que el que un rico entre en el Reino de Dios (Mt 19:24; Mr 10:25; Lu 18:25) si Dios vive en un mundo simplectico, el paso de un camello simplectico por el ojo de una aguja es imposible. Dejamos a Dios que pruebe que la entrada de un rico
en su Reino tambien lo es. Detras de los resultados anteriores se esconde un teorema de rigidez del grupo

de los difeomorsmos simplecticos (demostrado, como indicabamos anteriormente, por Gromov) y la nocion de

rencia del caso de los difeomorsmos que preservan el volumen, los difeomorsmos simplecticos no nos permiten adelgazar un conjunto dado en varias direcciones al mismo tiempo. Los conjuntos exhiben rigideces en su estructura cuando son distormedir los diametros m nimos de un conjunto dado cuando se le aplican difeomor-

capacidad simpl ectica.

La idea central es que, a dife-

sionados con difeomorsmos simplecticos. Se han inventado diversas maneras de

capacidades simplecticas son, por tanto, una forma de medir la anchura simplectica de un conjunto.

smos simplecticos y estas medidas se denominan capacidades simplecticas. Las

192

11. Geometr a simpl ectica y ciencia

4. Geometr a Simplectica y Mecanica Hamiltoniana

Teniendo en cuenta sus or genes, no hay que perder de vista el papel que ha de-

Mas espec camente, en la Mecanica Hamiltoniana.

sempenado la Geometr a Simplectica en la F sica y, concretamente, en la Mecanica.

Como indicamos en la Seccion 1, podr amos decir que la Geometr a Simplectica fue inventada por Lagrange como una tecnica anal tica

ecuaciones de movimiento planetarias. fueron desarrolladas y ampliadas por

gracias a la cual se pod a simplicar la escritura de las Estas tecnicas

la Mecanica en su conjunto. La coleccion de ideas y de procedimientos de calculo que han resultado es conocida bajo el nombre de

mostro que los descubrimientos de Lagrange se aplican a

Hamilton,

que

entre otros autores.

fue retomada y renada por Jacobi, Liouville y Poisson,

Mec anica Hamiltoniana.

Esta teor a

W.R. Hamilton, 1805-65

fuerzas. Para determinar la trayectoria que un objeto de este tipo va a seguir, es preciso conocer no solo su posicion inicial sino que tambien su velocidad (momento) inicial. Esto implica que el espacio donde se desarrolla la dinamica ( ) debe ser de dimension par.

esto es, el estudio del movimiento de una part cula (objeto) sometida a diversas

El objetivo de la mecanica hamiltoniana es el estudio de la dinamica de part culas,

jar sistemas de

fases

ultimas sirven para determinar su velocidad (momento).

2n coordenadas (q 1 , . . . , q n , p1 , . . . , pn ), donde las n primeras coordenadas sirven para determinar la posicion o conguracion de la part cula y las n
Para jar las ideas pensemos en un ejemplo sencillo:

Mas precisamente, en este espacio podemos

el espacio de

el p endulo plano
por el angulo

posicion esta determinada en todo instante de tiempo

(vease Figura 3).

En este caso la

Por otra parte, el momento angular asociado variar en toda la recta real. es el cilindro circular

que forma el pendulo con la vertical.

posicion y momento

uno puede determinar la posicion y el momento

S 1 R. Por tanto, conocidas la i 0 inicial de una part cula (q , p ) 0 i

As el espacio de fases

p puede

K.G.J. Jacobi, 1804-51

193 (q i (t), pi (t)) en cualquier instante de tiempo t.

en el espacio de fases dada por En otras palabras, tenemos una curva

i i ,p0 ) : t (q i ,p0 ) (t) = (q (t), pi (t)). (q 0 0 i i

Para calcular expl citamente esta curva debemos integrar las

ecuaciones de

Hamilton

dq i H , = dt pi

dpi H = i. dt q

Aqu ,

denota

la energ a total del sistema.

y la Geometr a Simplectica (la geometr a de las areas orientadas)?

Ahora, la pregunta es obvia Que relacion existe entre las ecuaciones de Hamilton

2n

Para responder esta cuestion consideremos una supercie parametrizada

en

R2 de centro el origen y radio la unidad. Entonces, si queremos calcular el area de , A(), proyectamos sobre cada uno de los factores R2 de R2n y sumamos el area de cada una de las supercies resultantes en cada uno D
de los factores, esto es,

con

la bola abierta en

u : D R 2 R2n ,

= u( D )

A() =
i=1 D

( q i , pi ) dxdy. (x, y )

194

11. Geometr a simpl ectica y ciencia

Ahora, usando el teorema de cambio de variable resulta que

A() =

dq 1 dp1 + . . . + dq n dpn . R2n es la

2-forma simplectica canonica

Por tanto, la densidad que nos dene el area en cualquier supercie en

dq 1 dp1 + . . . + dq n dpn .
temporal de la densidad a lo largo de las soluciones de las ecuaciones. En efecto, Por otra parte, usando las ecuaciones de Hamilton, uno puede calcular la evolucion

d ( dq i dpi ) = dt i=1 =

dpi dq i [d( ) dpi + dq i d( )] dt dt i=1

n

[ d(
i=1

H H ) dpi dq i d( )] = 0. pi qi

tante a lo largo de las soluciones de las ecuaciones de Hamilton. As , hemos dado la siguiente respuesta a la

En consecuencia, la densidad de area permanece cons-

cuestion planteada anteriormente:

El espacio de fases de la din amica de part culas es una variedad simpl ectica y la din amica correspondiente es una transformaci on simpl ectica dependiente del tiempo.
usar las estructuras simplecticas con diferentes nes en Este hecho tiene consecuencia importantes y permite

S-D Poisson, 1781-1840

el comportamiento de sistemas dinamicos complicados.

mas de estabilidad y muchas veces mejoran las posibilidades de modelizar y prever

exactos. Los metodos simplecticos son tambien cruciales para el estudio de proble-

tamiento de sistemas, donde a menudo es imposible obtener resultados cuantitativos

simetr as (de . . .) de sistemas f sicos y cantidades (momento, energ a, momento angular, . . .) que son conservadas con el curso del tiempo. Tales leyes de conservaci on son muy utiles en el analisis general del comportraslacion, de rotacion, internas,

Mecanica. Por ejemplo, pueden usarse de un modo ecaz para generar

195
Por otra parte, en algunas ocasiones, el calculo expl cito de las trayectorias

de un sistema mecanico puede ser una tarea altamente complicada.

El problema

diferenciales de primer orden. Sin embargo, bajo ciertas

matematico consiste en resolver un sistema de ecuaciones

condiciones es posible reducir el mismo y obtener un sistema mas simple. Las soluciones del sistema reducido

nos proporcionan mas informacion sobre las soluciones del sistema original. En estos

procedimientos de re-

ducci on
portante. Una

las estructuras simplecticas juegan un papel im-

J Liouville, 1809-82

ideas anteriores, es la cuestion de por que un gato aterriza

Simplectica, usando una combinacion de muchas de las

bella

curiosa

aplicacion

de

la

Geometr a

con las patas cuando se le tira desde una cierta altura y de espaldas. Este problema sera examinado en la siguiente seccion.

5. Geometr a Simplectica y las siete vidas de una gata

Una gata cayendo de espaldas se endereza para caer de pie.

es que la gata elige una estrategia de cambios que le permiten producir la rotacion Procedamos en primer lugar a la descripcion real del problema. La cuestion

en el espacio tridimensional tienen la misma

deseada de 180

alrededor del eje de su espina dorsal. Entendemos que dos objetos

sobre el otro mediante una combinacion de traslaciones y rotaciones. As una forma es una clase de equivalencia de objetos situados en el espacio y el Es obvio que existe

forma

si uno puede ser superpuesto

una familia de objetos de dimension 6 que realizan una misma forma. Tres de estas

es aquel constituido por todas las formas posibles de la gata.

espacio de formas

realizaciones de todas las posibles formas que la gata puede tomar. Los puntos de su forma sin tener en cuenta su localizacion y orientacion se denomina este espacio son las

El espacio de conguraciones f sicas de la gata es el conjunto de todas las posibles formas localizadas.

dimensiones son aportadas por las rotaciones y las tres restantes por las traslaciones.

La aplicacion que lleva un objeto a

Esta aplicacion hace disminuir la dimension en 6 unidades. En el problema de la gata podemos ignorar las traslaciones teniendo en cuenta las siguientes consideraciones:

proyecci on.

(i) no hay nada que la gata pueda hacer para inuir en el movimiento de su centro

196
de masas y

11. Geometr a simpl ectica y ciencia (ii)

elegimos un sistema de referencia tal que el origen sea el centro

reduce en

de masas de la gata. Por tanto, bajo la anterior hipotesis, la aplicacion proyeccion

3 unidades la dimension.

formas que la gata elige es cerrada. As , nos podemos plantear la siguiente cuestion:

Y a que la forma inicial y nal de la gata son practicamente la misma, la curva de

C omo da lugar esta curva de formas a un movimiento real de la gata en el espacio, es decir, a una curva en el espacio de conguraciones?.
tres condiciones: 1)

El movimiento real de la gata esta determinado por

La aplicacion proyeccion lleva el movimiento real a la curva de formas dada.

2)

dada, esto es, de espaldas.

El movimiento real empieza en la conguracion

3)

El momento angular para la curva real es cero en cada instante de tiempo.

anulacion del momento angular en cada forma localizada

una restriccion lineal en las velocidades.

La tercera condicion es la mas importante y supone De hecho, la

da y, ademas, es perpendicular al espacio de rotaciones asociado a la forma. En consecuencia, la condicion

da.

denomina

de conguraciones en dicha forma.

dene un subespacio lineal del espacio tangente al espacio

el espacio horizontal

El espacio horizontal var a con la forma localiza-

en la forma localiza-

Este subespacio se

de la curva real que sigue la gata sea horizontal en cada

es equivalente a exigir que el vector velocidad (tangente)

instante de tiempo, es decir, perpendicular al espacio de rotaciones.

es cerrada, esto es, un lazo. caso de la gata, es de 180

Por otra parte, como indicabamos antes, la curva de formas que la gata elige

representan la misma forma y deben estar relacionados por una rotacion.

Por tanto, los puntos inicial y nal de la curva real

alrededor del eje inicial de su espina dorsal y es lo que

En el

197
se denomina

de entre todos los lazos de formas (con una holonom a dada) hay que encontrar el m as corto.
a la descripcion matematica del problema. Primeramente, conviene senalar que el de otros sistemas mecanicos. A continuacion procedemos, sin entrar (por razones obvias) en excesivos detalles,

optimo:

en las velocidades.

debe corresponder a alguna forma de longitud de la curva o alguna forma cuadratica

gata intentara realizar su ejercicio con la mayor eciencia posible. Esta eciencia

la holonom a del problema.

Finalmente, no debemos olvidar que la

En consecuencia, el problema real es un problema de control

modelo matematico que presentaremos aqu es general y puede ser aplicado al estudio

sobre el espacio de las conguraciones, la aplicacion proyeccion del espacio de conguraciones sobre el espacio de las formas y la familia de espacios horizontales en el espacio de conguraciones es lo que en Matematicas corresponde con

El espacio de formas y conguraciones, el grupo

G (de las rotaciones) actuando

un

brado principal con grupo de estructura G y con una conexi on dada.

proyecta sobre ella. Decimos que una conguracion descansa sobre una forma dada cuando se Al conjunto de todas las conguraciones que descansan so-

bre un punto dado en el espacio de formas se le llama

la bra sobre ese punto. A las direcciones a lo largo de la bra se les denominan verticales, en contraposicion a las direcciones horizontales.
En este contexto la holonom a no es mas que un elemento

partir de una curva en el espacio de formas, basada en las condiciones exactamente la operacion de espacio total.

descrita anteriormente para obtener una curva en el espacio de conguraciones, a

g G

y la regla

elevaci on horizontal de una curva del espacio base al

1, 2, 3

es

disponer de una

Por otra parte, para medir la eciencia de la que hablamos antes, debemos

palabras, de una forma de medir longitudes de curvas en el espacio de formas.

m etrica (producto escalar)

en el espacio de formas o, en otras

como sigue:

Ahora con todos estos ingredientes podemos plantear el problema matematico

Encontrar una curva horizontal c en el espacio de conguraciones cuya holonom a sea g G y tal que la curva base s tenga longitud m nima.

198

11. Geometr a simpl ectica y ciencia

Lo que se demuestra es que en el caso de la gata el problema siempre tiene

solucion. Esto justica el hecho de que la gata aterrice con las patas.

natural surge de inmediato:

Tras la descripcion real del problema y su modelizacion matematica, una cuestion

Cual es la conexi on de todo esto con la Geometr a Simpl ectica?

con el problema matematico planteado anteriormente, se prueba que la curva

c es extremal (solucion) si y solo si la curva base s satisface las as llamadas ecuaciones de Wong. Entonces, el punto clave reside en que las ecuaciones de Wong son
ecuaciones de Hamilton para un cierto hamiltoniano !

La respuesta a tal cuestion esta basada en el siguiente resultado.

En relacion

6. Geometr a Simplectica y Mecanica Cuantica

Uno de los grandes logros del siglo XX fue la descripcion de la mayor parte de

los sistemas f sicos usando la Mecanica Cuantica.

tivo.

razones obvias, el tratamiento que presentamos aqu esta muy lejos de ser exhaustr a Simplectica esta presente en diversos aspectos relacionados con la Mecanica Pero al menos intentaremos mostrar, sin entrar en detalles, como la Geome-

metr a Simplectica y la Mecanica Cuantica.

En esta seccion pretendemos mostrar algunos puntos de conexion entre la GeoDada la complejidad del tema y por

Cuantica.

primera de ellas es esencialmente determinista, mientras que la segunda es esencialmente probabil stica.

Una de las grandes diferencias entre la Mecanica Clasica y Cuantica es que la Hay limitaciones inevitables a la precision para que ciertos

tidumbre de Heisenberg.

pares de cantidades puedan ser medidas simultaneamente: es el principio de incer-

los estados cuanticos no es de dimension nita. Se trata de un espacio de Hilbert. A pio de incertidumbre para dos cantidades que no estan apareadas simplecticamente. pesar de esto, algunos restos simplecticos persisten. En primer lugar, no hay princi-

Al contrario de lo que sucede en Mecanica Clasica (Hamiltoniana), el espacio de

sicion de la descripcion clasica de un sistema f sico y su version cuantica, es decir, en sistema f sico debe quedar dentro de la Mecanica Cuantica, es logico suponer que la

En segundo lugar, la Geometr a Simplectica esta ntimamente implicada en la tran-

el proceso de cuanticacion. Profundicemos algo mas en este proceso. Y a que todo

199
descripcion cuantica de un sistema debe tener un unico l mite clasico. Sin embargo, cuantica del sistema a partir de su l mite clasico. en la realidad esto no es as . A menudo, los f sicos suelen construir una formulacion problema clasico. Hay diversas formas de hacer esto ya que es imposible encontrar Es el proceso de cuanticar el

Uno de estos procesos donde la Geometr a Simplectica juega un papel importante es la cuanticacion geometrica. Se trata de usar la estructura simplectica del espacio de fases para construir el espacio de Hilbert cuantico. De forma mas precisa lo que

un unico esquema de cuanticacion que se aplique a todos los sistemas clasicos.

de las posiciones y los momentos. Una vez que el espacio de fases esta polarizado, se puede crear una teor a cuantica del sistema.

se hace es polarizar el espacio de fases, es decir, realizar una separacion intr nseca

por ejemplo, la libertad de la que disponemos para elegir la polarizacion se reeja en que sistemas cuanticos diferentes pueden tener el mismo l mite clasico. otro extremo, existen variedades simplecticas que no pueden ser polarizadas.

no es un procedimiento totalmente perfecto y conlleva una serie de problemas. As , En el

La cuanticacion geometrica (como cualquiera de los procesos de cuanticacion)

es en la relatividad general.

Un dominio de la F sica donde la cuanticacion podr a jugar un papel importante Pero de todas las interacciones

cuantica consistente.

fundamentales de la naturaleza la gravitacion es la unica que no tiene una descripcion El estudio de la gravitacion cuantica ha implicado la consLa

entendida en terminos de la teor a de Einstein.

La F sica Clasica del campo de gravitacion es bien

truccion de diferentes modelos del Universo y de su campo de gravitacion.

y en las experiencias realizadas tomando como base los mismos. Algunas de estas posible n!

cuanticacion geometrica juega un papel importante en el estudio de estos modelos

experiencias han sido usadas para predecir la evolucion del Universo e incluso su

7. Geometr a Simplectica y otros topicos de la Ciencia

En esta ultima seccion del trabajo me gustar a decir algunas palabras acerca

de la Geometr a Simplectica y su aplicacion en otras areas, no solo en Geometr a Diferencial o en Mecanica Hamiltoniana y Cuantica.

anos las tecnicas simplecticas han sido aplicadas a diversas ramas de las Matematicas

no solo es interesante por si misma, como disciplina propia. De hecho, en los ultimos

Desde el punto de vista matematico, podemos decir que la Geometr a Simplectica

con gran exito. Algunas de estas ramas son la teor a de representaciones, la teor a

200

11. Geometr a simpl ectica y ciencia

de numeros, la teor a de nudos, la teor a de catastrofes,... Bastante mas fuerte que todo esto es la losof a de la simplecticacion evocada

por Arnold.

y construcciones matematicas ordinarias no solamente tienen sus analogos en el dominio de la Geometr a Simplectica, sino que ademas encuentran sus fundamentos Es lo que el llama el

El comenta que hay hechos que indican que muchas de las ideas

gran parte de las Matematicas en terminos simplecticos. proceso de simplecticacion de las Matematicas.

en ella. En su opinion esto sugiere la posibilidad de reformular completamente una

Mecanica Clasica Hamiltoniana y Mecanica Cuantica existen otros topicos de la aplicadas. Por citar algunos de ellos podemos indicar: Mecanica no holonoma, teor a satelites,... F sica y de la Ciencia, en general, donde las tecnicas simplecticas son ampliamente

Por otro lado, aparte del papel esencial que la Geometr a Simplectica juega en

de integrabilidad, caos hamiltoniano, optica, termodinamica, control y dinamica de

mas que una teor a matematica y que ella ilumina una parte del cielo de la Ciencia.

En denitiva podemos atrevernos a decir que la Geometr a Simplectica es algo

Agradecimientos: Me gustar a agradecer a los profesores R. Ib an ez y M. Macho por haberme brindado la oportunidad de participar en el Ciclo de Conferencias Un Paseo por la Geometr a 2000/2001. Asimismo, quiero aprovechar esta oportunidad para expresar mi gratitud a los mencionados profesores por el buen trato que he recibido por parte de ellos en las diferentes ocasiones en que he visitado el Departamento de Matem aticas de la UPV. Finalmente, quiero dar las gracias a los profesores A. Montesdeoca y E. Padr on, por su ayuda a la hora de insertar las im agenes y guras en el texto.
Bibliograf a
Recogemos en la ultima parte del trabajo algunas referencias que han sido de

gran utilidad en la elaboracion del mismo.

[1] V .I. Arnold, First steps in symplectic topology, Russian Math. (1986), 1-21.

Surveys 41, 6

Mathematiciens 54 (1992), 59-79.

[2] M. J. Gotay, J.A. Isenberg, La symplectication de la Science, Gazette des

[3] A. Ibort, Pueden los camellos pasar por el ojo de una aguja? y otras historias

201
simplecticas , La Gaceta de la RSME 3 (2) (2000), 185-197. [4] J.E. Marsden, Lectures in Mechanics, London Math. 174, Cambridge Univ. Press, 1992. Soc., Lecture Notes Ser.

[5] D. McDuff, Symplectic structures. A new approach to Geometry , Notice Am. Math. Soc. 45 (1998), 952-960.

tematicas, Carrogio S. A. de Ediciones, ISBN 84-7254-800-7 (2000), 66-71. [7] I. Stewart,

[6] R. Montgomery, Las siete vidas de un gato (holonom a), Fotograando las Ma-

The symplectic camel, Nature, 329 (1987), 17-18.