Capítulo 9 — Fundamentos de Geometría Simpléctica
9.1 Motivación Geométrica
La mecánica hamiltoniana revela que el espacio de fases $\mathbb{R}^{2n}$ dotado de coordenadas $(q^1,\ldots,q^n,p_1,\ldots,p_n)$ no es simplemente un espacio vectorial: posee una estructura geométrica profunda. Esta estructura es la de una variedad simpléctica, cuyas propiedades gobiernan toda la dinámica hamiltoniana y constituyen el lenguaje natural para la transición a la mecánica cuántica.
En el formalismo lagrangiano, la dinámica transcurre en el fibrado tangente $TQ$; la transformada de Legendre nos transporta al fibrado cotangente $T^*Q$, el espacio de fases. Este cambio de perspectiva —de velocidades a momentos— dota al espacio de una 2-forma diferencial cerrada y no degenerada que codifica la geometría de las ecuaciones de Hamilton.
La motivación central es entender que las transformaciones canónicas, los corchetes de Poisson y la evolución temporal no son artificios algebraicos: son manifestaciones de la geometría simpléctica subyacente al espacio de fases.
9.2 Forma Simpléctica Canónica
La forma simpléctica canónica (o forma de Poincaré) sobre $T^*Q$ se define como el negativo de la diferencial exterior de la 1-forma de Liouville $\theta = \sum_i p_i\,dq^i$:
En notación matricial, si agrupamos las coordenadas en un vector $\xi = (q^1,\ldots,q^n,p_1,\ldots,p_n)^T$, la forma simpléctica se expresa mediante la matriz simpléctica $J$:
Las ecuaciones de Hamilton adquieren entonces una elegante forma geométrica:
Definición — Variedad Simpléctica
Un par $(M,\omega)$ donde $M$ es una variedad diferenciable de dimensión par y $\omega$ es una 2-forma diferencial cerrada ($d\omega = 0$) y no degenerada ($\omega^n \neq 0$) se denomina variedad simpléctica.
9.3 Propiedades de la Forma Simpléctica
La forma simpléctica canónica $\omega = \sum_i dq^i \wedge dp_i$ posee dos propiedades fundamentales que definen la estructura geométrica del espacio de fases:
Propiedad 1: Forma Cerrada ($d\omega = 0$)
La diferencial exterior de $\omega$ se anula idénticamente. Esto es inmediato pues $\omega = -d\theta$ y $d^2 = 0$:
Esta propiedad es la responsable del teorema de Liouville sobre la conservación del volumen en el espacio de fases, pues el elemento de volumen simpléctico $\frac{1}{n!}\omega^n$ es invariante bajo el flujo hamiltoniano.
Propiedad 2: No Degeneración
Para todo vector no nulo $\mathbf{v} \in T_\xi M$, existe algún $\mathbf{u}$ tal que $\omega(\mathbf{v},\mathbf{u}) \neq 0$. Equivalentemente, la matriz $J$ tiene determinante $\det J = 1 \neq 0$. Esta propiedad permite definir el isomorfismo musical $\omega^\flat: TM \to T^*M$ y su inverso, esencial para asociar campos vectoriales a 1-formas.
La no degeneración implica que $\omega$ establece un isomorfismo entre vectores y covectores:
9.4 Teorema de Darboux
Teorema de Darboux
Sea $(M,\omega)$ una variedad simpléctica de dimensión $2n$. Para todo punto $p \in M$ existe un entorno coordenado $(U; q^1,\ldots,q^n,p_1,\ldots,p_n)$ tal que en $U$ la forma simpléctica adopta la forma canónica:
Estas coordenadas se denominan coordenadas canónicas o coordenadas de Darboux.
El teorema de Darboux es el análogo simpléctico del teorema de geometría riemanniana que asegura la existencia local de coordenadas euclídeas. Sin embargo, a diferencia de la geometría riemanniana —donde la curvatura es un invariante local— todas las variedades simplécticas de la misma dimensión son localmente indistinguibles: no existe un invariante local como la curvatura. La información geométrica no trivial es de carácter global.
Este resultado justifica a posteriori la búsqueda de transformaciones canónicas: cualquier transformación que preserve la forma canónica de $\omega$ es admisible, y localmente siempre podemos hallar coordenadas donde $\omega$ adopta su forma estándar.
9.5 Flujo Hamiltoniano y Campos Vectoriales Hamiltonianos
Dada una función hamiltoniana $H: M \to \mathbb{R}$, la no degeneración de $\omega$ permite definir unívocamente el campo vectorial hamiltoniano $X_H$ mediante:
En coordenadas canónicas, la expresión explícita de $X_H$ es:
El flujo hamiltoniano $\phi_H^t: M \to M$ es el flujo del campo $X_H$. La propiedad fundamental es que el flujo hamiltoniano preserva la forma simpléctica:
Diferenciando esta condición se obtiene que la derivada de Lie de $\omega$ a lo largo de $X_H$ es nula: $\mathcal{L}_{X_H}\omega = 0$. Usando la fórmula de Cartan $\mathcal{L}_X = \iota_X d + d\iota_X$ y que $d\omega = 0$:
Observación — Derivada temporal de una función
Para cualquier función $f \in C^\infty(M)$, su evolución temporal a lo largo del flujo hamiltoniano es $\dot f = X_H[f] = \{f, H\}$, recuperando la dinámica de corchetes de Poisson en el lenguaje geométrico.
9.6 Mapeos Simplécticos
Un mapeo simpléctico (o simplectomorfismo) es un difeomorfismo $\Phi: M \to M$ que preserva la forma simpléctica:
En coordenadas canónicas $(q,p)$, si $\Phi(q,p) = (Q,P)$, la condición de simplecticidad se traduce en que la matriz jacobiana $D\Phi$ satisface:
Las matrices que cumplen esta propiedad forman el grupo simpléctico $\mathrm{Sp}(2n,\mathbb{R})$. Los mapeos simplécticos tienen las siguientes propiedades notables:
- Preservan el volumen en el espacio de fases: $\det(D\Phi) = 1$.
- Preservan los corchetes de Poisson: $\{f \circ \Phi, g \circ \Phi\} = \{f, g\} \circ \Phi$.
- Forman un grupo bajo composición.
- El flujo hamiltoniano $\phi_H^t$ para cualquier $H$ es un mapeo simpléctico para cada $t$ fijo.
9.7 Relación con las Transformaciones Canónicas
La conexión entre la geometría simpléctica y las transformaciones canónicas estudiadas en capítulos previos es directa y esclarecedora:
Equivalencia Fundamental
Una transformación de coordenadas $(q,p) \mapsto (Q,P)$ es canónica si y solo si es un mapeo simpléctico, es decir, si preserva la forma simpléctica canónica $\omega$.
En el lenguaje de formas diferenciales, la condición de canonicidad que antes expresábamos mediante corchetes de Poisson fundamentales:
es equivalente a la condición geométrica $\sum_i dq^i \wedge dp_i = \sum_i dQ^i \wedge dP_i$, es decir, $\omega$ es invariante bajo la transformación. Esta unificación conceptual revela que toda la teoría de transformaciones canónicas es geometría simpléctica en coordenadas.
Síntesis del capítulo
La geometría simpléctica proporciona el marco matemático natural para la mecánica hamiltoniana. La forma $\omega = \sum_i dq^i \wedge dp_i$ unifica: las ecuaciones de Hamilton ($X_H$), los corchetes de Poisson ($\{f,g\} = \omega(X_f, X_g)$), las transformaciones canónicas ($\Phi^*\omega = \omega$) y la conservación del volumen de Liouville ($\omega^n$ invariante). Es el lenguaje en el que la mecánica clásica revela su estructura más profunda antes del salto cuántico.