Topologa simplctica

Topologa simplctica
La topologa simplctica es aquella parte de la matemtica referida al estudio de las variedades simplcticas. Estas variedades se presentan naturalmente en la formulacin hamiltoniana de la mecnica clsica, que proporciona una de las motivaciones principales para el tema. Hay un modelo local estndar, a saber R2n con i,n+i = 1; n+i,i = -1; j,k = 0 para todo i = 0,...,n-1; j,k=0,...,2n-1 (k j+n o j k+n). Se llama a esto un espacio lineal simplctico. Una variedad simplctica es un par (M, ) donde M es una variedad diferenciable y es una 2-forma cerrada, no degenerada en M llamada la forma simplctica. Aqu, "no degenerada" significa que para cada vector distinto de cero u en el espacio tangente en un punto, hay un vector v tal que (u, v) 0 Los ejemplos fundamentales de variedades simplcticas vienen dados por los fibrados cotangentes de variedades; stos se presentan en la mecnica clsica, donde el conjunto de todas las configuraciones posibles de un sistema se modela como variedad, y el fibrado cotangente de esta variedad describe el espacio de fase del sistema. Las variedades de Khler son tambin variedades simplcticas. Ya en los aos 70, los simplcticos expertos estaban inseguros de si exista alguna variedad simplctica compacta no khleriana, pero muchos ejemplos se han construido desde entonces; en particular, Robert Gompf ha demostrado que cada grupo finitamente presentado aparece como el grupo fundamental de alguna 4-variedad simplctica, en contraste marcado con el caso khleriano. Directamente de la definicin, se puede demostrar que M es de dimensin par 2n y que el n es una forma nula en ninguna parte, la forma volumen. Se sigue que una variedad simplctica est cannicamente orientada y viene con una medida cannica, la medida de Liouville.

Campos vectoriales hamiltonianos

En una variedad simplctica, cada funcin diferenciable, H, define un campo vectorial nico,XH, llamado el campo vectorial hamiltoniano. Se define de tal modo que para cada campo vectorial Y en M la identidad dH(Y) = (XH,Y) valga. Los campos vectoriales hamiltonianos dan a las funciones en M la estructura de un lgebra de Lie con el corchete de Poisson {f,g} = (Xf,Xg) = Xg(f) (Advertencia: otras convenciones de signo estn tambin en uso).

Simplectomorfismos
El flujo de un campo vectorial hamiltoniano es un simplectomorfismo es decir un difeomorfismo que preserva la forma simplctica. Esto se sigue de la cerradura de la forma simplctica y de la expresin de la derivada de Lie en trminos de la derivada exterior. Como una consecuencia directa tenemos el teorema de Liouville: el volumen simplctico es invariante bajo un flujo hamiltoniano. como {H,H} =X(H)H = 0 el flujo de un campo vectorial hamiltoniano tambin preserva H. En fsica esto se interpreta como la ley de conservacin de la energa. El teorema de Liouville se interpreta como la conservacin del volumen de fase en sistemas hamiltonianos, que es la base para la mecnica estadstica clsica. Acabamos de mostrar que hay una correspondencia uno a uno entre simplectomorfismos infinitesimales y las funciones diferenciables sobre una variedad simplctica. A diferencia de las variedades de Riemann, las variedades simplcticas son extremadamente no rgidos: tienen muchos simplectomorfismos provenientes de campos vectoriales hamiltonianos. La diferencia fundamental entre la geometras riemanniana y simplctica es que una variedad simplctica no tiene ningn invariante local: segn el teorema de Darboux para cada punto x en un variedad simplctica hay un conjunto coordenado local llamado variables ngulo con los coordenadas p1,...,pn,q1,...,qn, tales que: = dpi dqi

Topologa simplctica Los subgrupos finito-dimensionales del grupo de simplectomorfismos son grupos de Lie. Representaciones de estos grupos de Lie (despus de h-deformaciones, en general!) en los espacios de Hilbert se llaman "cuantizaciones". Cuando el grupo de Lie es definido por un hamiltoniano, se llama una "cuantizacin por energa". El operador de Lie correspondiente del lgebra de Lie al lgebra de Lie de operadores lineales continuos tambin es, a veces, llamada la cuantizacin, y es una manera ms comn, entre fsicos, de considerarla.

Curvas seudoholomorfas
Aunque la mayora de los variedades simplcticas no son khlerianas y as que no tienen una estructura compleja integrable compatible con la forma simplctica, Mikhail Gromov ha hecho la importante observacin que las variedades simplcticas admiten una abundancia de estructuras casi complejas compatibles, de modo que satisfagan todos los axiomas para una variedad compleja excepto el requisito de que las funciones de transicin sean holomorfas. Una superficie de Riemann mapeada en una variedad simplctica compatible con la estructura casi compleja se llama curva seudoholomorfa, y Gromov prob un teorema de compacidad para tales curvas; este resultado ha conducido al desarrollo de la subdisciplina bastante grande de la topologa simplctica. Los resultados que surgen de la teora de Gromov incluyen el teorema nonsqueezing de Gromov referente a inmersiones simplcticas de esferas en cilindros, as como una conjetura de Vladimir Arnol'd referente al nmero de punto fijos de los flujos hamiltonianos; esto fue probada con generalidad en aumento por varios investigadores que comenzaron con Andreas Floer, que introdujo lo que ahora se conoce como homologa de Floer que usa los mtodos de Gromov. Las curvas seudoholomorfas son tambin una fuente de invariantes simplcticos, conocidos como invariantes de Gromov-Witten, por los cuales dos diversas variedades simplcticas podran en principio ser distinguidas.

Temas relacionados
Mecnica hamiltoniana Geometra de Riemann Grupo simplctico, Matriz simplctica Teorema de Carathodory-Jacobi-Lie

Referencias
McDuff, D. y Salamon, D.: Introduction to Symplectic Topology (Oxford Mathematical Monographs)

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Topologa simplctica Fuente: http://es.wikipedia.org/w/index.php?oldid=64520169 Contribuyentes: Alexav8, Davius, DefLog, Farisori, Ingenioso Hidalgo, Jsanchezes, Juan Antonio Cordero, Juan Marquez, Keenan Pepper, ReiVaX, 3 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/