FREE GEOMETRIA SIMPLECTICA, 4SOLO UNA TEORIA MATEMATICA MAS? Juan Carlos Marrero Gonzalez La geometria slmpléctica es hoy dia uno de los campos activos de investigacién en mateméticas pero, zes s6lo una disciplina matemética ‘mas? A lo largo de estas lineas Intentaremos dar, modestamente y en la, medida de lo posible, argumentos que sugleran al lector una respuesta a ‘esta cuestl6n. El término simpléctico viene del griego symplektitos que significa “que ‘entrelaza” o “que une”, Este nombre fue usado por primera vez en 1939 por H. Weyl En cualquier caso, el origen de la geometrta smpléctica habrla ‘que buscarlo en el siglo XIX con los trabajos de Lagrange sobre mecéinica analitica. De todas formas, durante el siglo XIX la naturaleza geonétrica y ‘cualitativa de la mecdiniea no estaba nada clara. Fue Poincaré, a frincipios del siglo XX, quien inicia la era cualitatva con el estudio de las é:bitas en 1 problema de los n-cuerpos. Después de Poincaré, las téenicas simplée- tucas empiezan a ser usadas y la geometria simpléctica va avanzando de ‘manera que en los aos 60 esta consolldada como una rama de las mate- :méticas y el nexo de uni6n con la mecéinica ha sido definitivamente esta- blecido. Finalmente, en los dltimes 30 anos, un crecimiento espectacular de las investigaciones ha convertido a la geometrfa simpléctica en una de las producciones mateméticas y fisicas mas importantes del siglo XX De forma elemental, podriamos decir que la geometria simpléctica es la seometria de las dreas orientadas. & continuacién, intentaremos justificar festa afirmacin de una manera intuitiva. Comencemos con el ejemplo mas senillo: el plano 2. La forma simpléctica usual Q del plano R¥ es un abje- to matemético que aun par de vectores d = (uy, tz) y B= (by, Up) de RE les asocia el dea orientada del paralelogramo en 2 generado por los vectores Zy 0, esto es, O(u,0) = uyv u,b). es antisimétriea yno dege- nerada en el sentido de que las dinicas dreas. nulas resultan cuando wy 0 son colineales. Teniendo en cuenta las consideraciones anteriores uno puede construir, de manera sencilla, una forma simpléctica lineal sobre (R20 (una aplicaci6n wo: R2" x #29 —~ R, R-bilineal, antisimétrica yno dege- nerada). Es suficiente ver a R2" como el producto de planos F2x..x R2 Entonces el érea orientada de un paralelogramo es la suma de las areas orientadas de sus proyecciones sobre cada uno de estos planos. Sin embargo, no es posible definir un concepto de Area orientada sobre un espacio de dimensién impar como sin itroducir degeneraciones. De la discusién anterior se deduce que s6lo los espacios de dlmensién par son Jos candidatos que pueden admitir una forma simpléctica. Pareze enton- ‘ces l6gico que ademés de ®2, otros posibles espacios simplécticos sean las varledades diferenclables de dimensi6n par. Las varledades diferencia Las matematias del siglo XX. ry 17bles son espacios muy Interesantes desde el punto de vista matematico y fisico que engloban a los espacios euelideos y que constituyen una gene- ralizacién natural (para dimensién mayor que dos) de las superficies en IRS. Aqui, por razones obvias, consideraremos un ejemplo muy simple. Se trata ce una superficie en R®. la esfera $2 de radio unidad. Es obvio que la forma de medir reas en el plano Fy en la esfera $?no coinciden. Asi, el fea de un circulo C de radio r en el plano es w12. Sin embargo, si aplica- mos € sobre $%, el Grea del circulo resultante, para r pequeno, es rsen’r =m (r2 -(1/3}14+ .}- Estas diferencias en el eéleulo de las reas se ddeben a que R? y $? son variedades simplécticas diferentes. Si[,] deno- tae producto mistoo triple en %, la forma simpléctica w en $2 estd definida por W (uo) = [us 0}, para.xun punto de S? yu, v vectores del plano tane gente a S% en x, En esta definicion de w se ponen de manifesto algunos hhechos: (i la dependencia suave de w del punto de aplicacion; (i) la res- triccién de w al plano tangente de $? en un punto (R2) es una forma sim- pléctiea lineal Ast uno podria pensar que para definir una forma simpléc- tica sobre una variedad de dimension par se puede proceder de forma similar que en $2 (reemplazando el plano tangente a $?en x por el espacio tangente a la variedad en cada uno de sus puntos). Pero hay una restric- cion esencial en dimensién mayor que dos: la suma de las éreas orienta das de superticles que bordean no importa qué region cerrada (compacta) de dimensién 3, debe ser nula, Esta resteiclén es Ia causante de la exi- tencia de variedades diferenclables de dimensién par que ro admiten estructuras simplécticas. Ademés, ha originado la aparicinrelativamente reciente de una nueva disciplina matemética (ia topolagta simpléctica) sobre la cual giran las investigaciones de algunos matemsticos de primera linea. Grosso modo, se trata de investigar qué tipos de varledades de dimension par admiten una estructura simpléctica Un aspecto importante en el mundo simpléctico es el estudio de las transformaciones simpléctieas, es decir, las aplicaciones entre variedades simplécticas que conservan éreas orlentadas. Es un hecho farnliar, wsado frecuentemente en cartograffa, que un entorno suficientemente pequeio de un punto de la esfera puede aplicarse sobre un entorno de us punto del plano sin que se distorsionen las areas. En consecuencia, la esfera y el plano como variedades simplécticas son localmente (no globalmente) Iquales, Este resultado es general para dos variedades simplécticas de la ‘misma dimensi6n y es justamente lo que establece el teorema de Darboux. estudio de las transformaciones simplécticas también ha supuesto la Introduccién de algunos problemas famosos, como el del Camello sim: piléctico. Se trata de ver si serfamos capaces de pasar un camello a través {del ojo de una aguja sin distorsionar las dreas (la geometria simaléctica ha, ‘dado una respuesta negativa a este problema) Hasta ahora hemos comentado algunos aspectos relacionados directa ‘mente con la geometria (Lopologia) simpléetica. Pero, en realidad, en los ‘ltimos 20 0 30 aos la geometrfa simpléctica ha estado relacionada direc tao indirectamente con diversas ramas de las matemsticas. Una prueba de ello es que a finales de los 80 surge una corriente de pensamiento (wéase 90 Geometria simpléctica, zs6lo una teorla matemética mis?[Arp que sugiere que la ‘mayor parte de las mate- imatieas debian reformu- Jarse en términos sim- plécticos (la simplectt cacién de las matemat cas). Por otra parte, teniendo en cuenta sus origenes, serfa injusto no hacer al menos un breve comentario sobre algunos de os diferentes contextos en mecénica donde las estructuras simplécticas juegan Glrecta o indirectamen- te) un papel importante. El primero de ellos es Jo que se conoce con et nombre de mecdnica hamiltoniana, Grosso modo, podriamos decir que | la Mecénica Hamiltoniana es el estu- io del movimiento de lun objeto sometido a Areamelsinpico diferentes fuerzas. Uno puede Imaginar que este movimiento es similar al del flujo de un fluldo, Pero el flujo de un fluido tiene una peculiaridad inte- resante: las éreas de 170208 de fluo de dimensién 2 se conservan cuando se mueven alo largo del fluido. Asi, si las éreas se conservan, debe existir luna forma simpléctica en el espacio de fases (el espacio donde se desa- rrolla la dinémica). Deducimos entonces un hecho que tiene consecuen- clas importantes: el espacio de fases es una variedad simplécticn. En algunas ocasiones, el célculo explicito de las trayectorias de un sis- tema mecdnico puede ser una tarea altamente complicada, El problema matemético consiste en resolver un sistema de ecuaciones diferenciales. ‘Sin embargo, bajo certas condiciones, es posible reducir el mismo y obte- ner un sistema més simple. La determinacién de las soluciones del siste- | ma reducido nos proporciona informactén sobre las soluciones del siste- mma original, En estos procedimientos de reduccién las estructuras sim- plécticas juegan un papel importante. Un ejemplo sencillo donde estos procedimientos pueden ser aplicados es el movimiento de un cuerpo rig do, Pero las estructuras simplécticas pueden usarse también para prever el comportamlento de sistemas complicados. Un caso extremadamente curioso en este contexto es el gato de Yang-Mills: usando técnicas simpléc- tlcas relativamente complicadas uno puede justificar matematicamente Juan Carlos Marrero Gonzilez 1717 or qué un gato cuando cae desde una clerta altura siempre aterriza con las patas. Asi que la expresion “siete vidas tiene un gato" tiene una explicacién puramente clentiica. Otro contexto donde las estructuras sim- plécticas (y sus generalizaciones) juegan un papel importante es en la descripcién geo- métrico-diferencial de los sistemas mecéni- cos con ligaduras. Hablando sin rigor, un sis- tema con ligaduras es aquél para el que el movimiento no esta perfectamente determi- nado o esté, de antemano, sujeto a algunas condiciones adicionales. Un ejemplo tipico de sistema mecénico con ligaduras es el de tun disco vertical rodando sin deslizamiento sobre un plano. Aparte de en la mecénica clésica, las téc- nicas simplécticas son usadas en otras amas de la fisica (mecénica cudntica, épti- a, termodinamica,teorias de integrabilidad, ‘aos, dinamiea de satélites... En definitive, por el lugar que ocupa dentro de las mate- ‘maticas y por su fructiera relaci6n con otras ciencias, en particular con la fisica, me atre- vo a opinar que la geometria simpléctica es hhoy algo mas que una teoria matemitica Bibtogeata Amol V. 1: Teora de Catto. Allanza, Madi, 1987. gato de Yi Gotay, M1, lenberg. J. A: La symplectifcation de Ia science", Gazete des ‘Mathematciens 54 (1982), pp. 59.79. [tees Pet a ie dela ere Pa es aber hh Lp ten] 2 ‘Geometria simpléctica, zs6lo una teoria matemitica mis?