Capítulo 10 — Formulación Geométrica de la Mecánica

La mecánica clásica — desde Newton hasta Hamilton y Jacobi — encuentra su formulación más elegante y profunda en el lenguaje de la geometría diferencial moderna. Las variedades simplécticas proporcionan el marco geométrico natural para la mecánica hamiltoniana, unificando bajo un mismo formalismo la dinámica de partículas, cuerpos rígidos, fluidos y campos. Este capítulo desarrolla la conexión entre la geometría simpléctica, los corchetes de Poisson, los teoremas de conservación (Noether) y la reducción simpléctica, culminando en la comprensión de que el fibrado cotangente $T^*Q$ de cualquier espacio de configuración $Q$ posee una estructura simpléctica canónica.

1. Variedades simplécticas

Una variedad simpléctica es un par $(M, \omega)$ donde $M$ es una variedad diferenciable de dimensión par $2n$ y $\omega$ es una 2-forma diferencial cerrada ($d\omega = 0$) y no degenerada ($\omega^n = \omega \wedge \cdots \wedge \omega \neq 0$ en todo punto). La condición de no degeneración implica que $\omega$ define un isomorfismo entre el fibrado tangente $TM$ y el fibrado cotangente $T^*M$:

$$\omega^\flat : TM \to T^*M, \qquad \omega^\flat(X) = \iota_X \omega = \omega(X, \cdot)$$

La inversa de este morfismo se denota $\omega^\sharp : T^*M \to TM$, y permite "subir y bajar índices" en geometría simpléctica de manera análoga a como la métrica lo hace en geometría riemanniana. La condición $d\omega = 0$ es fundamental: expresa que $\omega$ es una forma integral cerrada, y localmente se puede escribir como $\omega = d\theta$ para alguna 1-forma $\theta$ (forma de Liouville o potencial simpléctico).

Ejemplo canónico: El espacio de fases de un sistema mecánico con $n$ grados de libertad es $\mathbb{R}^{2n}$ con coordenadas $(q^1, \dots, q^n, p_1, \dots, p_n)$ y forma simpléctica $\omega = \sum_{i=1}^n dq^i \wedge dp_i$. Esta es la estructura simpléctica estándar del fibrado cotangente $T^*\mathbb{R}^n$.

2. Teorema de Darboux

El teorema de Darboux es el resultado análogo en geometría simpléctica a la existencia de coordenadas planas locales en geometría riemanniana. Afirma que toda variedad simpléctica $(M^{2n}, \omega)$ admite localmente coordenadas $(q^i, p_i)$ —llamadas coordenadas canónicas o coordenadas de Darboux— en las cuales la forma simpléctica adopta la expresión estándar:

$$\omega = \sum_{i=1}^n dq^i \wedge dp_i$$

A diferencia de la geometría riemanniana, donde la curvatura es una obstrucción a la existencia de coordenadas planas globales, en geometría simpléctica no existen invariantes locales: todas las variedades simplécticas de la misma dimensión son localmente isomorfas. La información geométrica interesante reside en la topología global y en la dinámica hamiltoniana definida sobre ellas.

Diferencia crucial con Riemann: En geometría riemanniana, el tensor de curvatura $R^{i}_{jkl}$ mide la obstrucción a que existan coordenadas donde $g_{ij} = \delta_{ij}$. En geometría simpléctica, el teorema de Darboux garantiza que siempre existen coordenadas donde $\omega = \sum dq^i \wedge dp_i$. No hay curvatura simpléctica local; la estructura simpléctica es un invariante topológico.

En estas coordenadas canónicas, la matriz de componentes de $\omega$ toma la forma:

$$(\omega_{\mu\nu}) = \begin{pmatrix} 0 & I_n \\ -I_n & 0 \end{pmatrix}$$

donde $I_n$ es la matriz identidad $n \times n$. La inversa define el tensor de Poisson $\Pi^{\mu\nu}$ (bivector de Poisson) que aparece en la definición geométrica de los corchetes de Poisson.

3. Campos vectoriales hamiltonianos

Dada una función suave $H \in C^\infty(M)$ —el hamiltoniano—, se define el campo vectorial hamiltoniano $X_H$ asociado mediante la relación:

$$\iota_{X_H} \omega = -dH$$

Equivalentemente, $X_H = -\omega^\sharp(dH)$. En coordenadas de Darboux, el campo hamiltoniano toma la forma familiar de las ecuaciones de Hamilton:

$$X_H = \sum_{i=1}^n \left( \frac{\partial H}{\partial p_i} \frac{\partial}{\partial q^i} - \frac{\partial H}{\partial q^i} \frac{\partial}{\partial p_i} \right)$$

Las curvas integrales $\gamma(t) = (q^i(t), p_i(t))$ de $X_H$ satisfacen las ecuaciones canónicas de Hamilton:

$$\dot{q}^i = \frac{\partial H}{\partial p_i}, \qquad \dot{p}_i = -\frac{\partial H}{\partial q^i}$$

Una propiedad fundamental es que el flujo hamiltoniano preserva la forma simpléctica: $\mathcal{L}_{X_H} \omega = 0$, donde $\mathcal{L}$ es la derivada de Lie. Usando la fórmula de Cartan $\mathcal{L}_X = d \circ \iota_X + \iota_X \circ d$:

$$\mathcal{L}_{X_H} \omega = d(\iota_{X_H} \omega) + \iota_{X_H}(d\omega) = d(-dH) + 0 = 0$$

Esto implica que el flujo hamiltoniano es un simplectomorfismo (difeomorfismo que preserva $\omega$) y, por el teorema de Liouville, preserva el volumen en el espacio de fases $\omega^n$.

Conservación de la energía: A lo largo de una curva integral de $X_H$, la energía se conserva: $\frac{d}{dt} H(\gamma(t)) = dH(X_H) = -\omega(X_H, X_H) = 0$. El hamiltoniano es una integral primera del sistema.

4. Corchetes de Poisson en lenguaje geométrico

Dadas dos funciones $f, g \in C^\infty(M)$, su corchete de Poisson se define geométricamente como:

$$\{f, g\} = \omega(X_f, X_g)$$

donde $X_f$ y $X_g$ son los campos hamiltonianos asociados. Equivalentemente, usando el bivector de Poisson $\Pi$:

$$\{f, g\} = \Pi(df, dg) = \Pi^{\mu\nu} \partial_\mu f \partial_\nu g$$

En coordenadas de Darboux, recuperamos la expresión clásica:

$$\{f, g\} = \sum_{i=1}^n \left( \frac{\partial f}{\partial q^i} \frac{\partial g}{\partial p_i} - \frac{\partial f}{\partial p_i} \frac{\partial g}{\partial q^i} \right)$$

Propiedades fundamentales del corchete de Poisson:

Antisimetría: $\{f, g\} = -\{g, f\}$.
Bilinealidad: $\{af + bg, h\} = a\{f, h\} + b\{g, h\}$.
Identidad de Jacobi: $\{f, \{g, h\}\} + \{g, \{h, f\}\} + \{h, \{f, g\}\} = 0$.
Regla de Leibniz: $\{f, gh\} = \{f, g\}h + g\{f, h\}$.

Estas propiedades dotan a $C^\infty(M)$ de la estructura de un álgebra de Poisson. La identidad de Jacobi es equivalente al cierre de $\omega$ ($d\omega = 0$) y garantiza que el mapeo $f \mapsto X_f$ es un homomorfismo de álgebras de Lie: $[X_f, X_g] = -X_{\{f,g\}}$.

Dinámica y corchetes: La evolución temporal de cualquier observable $f$ viene dada por $\dot{f} = \{f, H\}$. Esta ecuación encapsula toda la dinámica hamiltoniana en una forma compacta y geométrica. Una función $f$ es una integral primera (constante de movimiento) si y solo si $\{f, H\} = 0$.

5. Momento map y reducción simpléctica

Consideremos una acción (a izquierda) de un grupo de Lie $G$ sobre la variedad simpléctica $(M, \omega)$ que preserva la forma simpléctica: $\Phi_g^* \omega = \omega$ para todo $g \in G$. Una acción con esta propiedad se denomina acción simpléctica. El momento map (o aplicación momento) es una función $J: M \to \mathfrak{g}^*$ (donde $\mathfrak{g}^*$ es el dual del álgebra de Lie de $G$) que satisface: para cada $\xi \in \mathfrak{g}$, la función $J^\xi(p) = \langle J(p), \xi \rangle$ es un hamiltoniano para el generador infinitesimal $\xi_M$ de la acción, es decir:

$$\iota_{\xi_M} \omega = -d J^\xi$$

El momento map es $G$-equivariante respecto a la acción coadjunta: $J(\Phi_g(p)) = \operatorname{Ad}^*_{g^{-1}} J(p)$. La existencia del momento map no está garantizada para toda acción simpléctica; cuando existe, la acción se denomina hamiltoniana.

El teorema de reducción simpléctica (Marsden–Weinstein, 1974) establece que si $0 \in \mathfrak{g}^*$ es un valor regular de $J$ y $G$ actúa libre y propiamente sobre $J^{-1}(0)$, entonces el cociente:

$$M_{\text{red}} = J^{-1}(0) / G$$

hereda una estructura simpléctica natural $\omega_{\text{red}}$ inducida por $\omega$. La dimensión del espacio reducido es $\dim M_{\text{red}} = \dim M - 2 \dim G$. Este procedimiento permite eliminar los grados de libertad asociados a simetrías, reduciendo la dimensión del problema mecánico.

Reducción en la práctica: Sistemas con simetría rotacional, traslacional o gauge pueden simplificarse drásticamente mediante reducción simpléctica. Por ejemplo, el problema de dos cuerpos con potencial central se reduce (vía simetría $SO(3)$) a un problema unidimensional sobre el espacio reducido.

6. Teorema de Noether geométrico

El teorema de Noether en su versión geométrica establece una correspondencia biunívoca entre simetrías continuas de un sistema hamiltoniano y cantidades conservadas (integrales primeras). Específicamente:

Sea $G$ un grupo de Lie que actúa de manera hamiltoniana sobre $(M, \omega)$ con momento map $J: M \to \mathfrak{g}^*$. Si el hamiltoniano $H$ es $G$-invariante ($H \circ \Phi_g = H$ para todo $g \in G$), entonces:

\{J^\xi, H\} = 0 \qquad \forall \xi \in \mathfrak{g}

En consecuencia, cada componente $J^\xi$ del momento map es una integral primera del movimiento. Las cantidades conservadas son precisamente los generadores infinitesimales de las simetrías, codificados en el momento map. En otras palabras:

\text{Simetría} \;\longleftrightarrow\; \text{Ley de conservación}

Ejemplos clásicos de esta correspondencia:

Invariancia traslacional $\Rightarrow$ conservación del momento lineal ($J = p$).
Invariancia rotacional $\Rightarrow$ conservación del momento angular ($J = L = q \times p$).
Invariancia temporal (hamiltoniano autónomo) $\Rightarrow$ conservación de la energía ($H$ constante).

Profundidad del teorema: El teorema de Noether geométrico unifica bajo un mismo principio todas las leyes de conservación de la física clásica. La existencia del momento map $J$ es la expresión matemática precisa de que "a cada simetría continua le corresponde una cantidad conservada".

7. Conexión con mecánica clásica: el fibrado cotangente

El puente entre la geometría simpléctica abstracta y la mecánica clásica concreta se construye a través del fibrado cotangente. Dado un espacio de configuración $Q$ (una variedad diferenciable $n$-dimensional que describe las posiciones generalizadas del sistema), el espacio de fases es el fibrado cotangente $M = T^*Q$, que tiene dimensión $2n$.

$T^*Q$ posee una estructura simpléctica canónica: existe una 1-forma diferencial $\theta$ —la forma de Liouville o forma canónica— definida intrínsecamente en cada punto $(q, p) \in T^*Q$ por:

$$\theta_{(q,p)}(v) = p( d\pi_{(q,p)}(v) ), \qquad v \in T_{(q,p)}(T^*Q)$$

donde $\pi: T^*Q \to Q$ es la proyección canónica. La forma simpléctica canónica es entonces:

$$\omega_{\text{can}} = -d\theta$$

En coordenadas locales $(q^i)$ sobre $Q$, un covector $p \in T^*_q Q$ se escribe $p = p_i dq^i$, y las coordenadas naturales sobre $T^*Q$ son $(q^1, \dots, q^n, p_1, \dots, p_n)$. En estas coordenadas:

$$\theta = \sum_{i=1}^n p_i dq^i, \qquad \omega_{\text{can}} = \sum_{i=1}^n dq^i \wedge dp_i$$

Dado un hamiltoniano $H: T^*Q \to \mathbb{R}$ (típicamente la energía total del sistema), el campo vectorial hamiltoniano $X_H$ genera el flujo que describe la evolución temporal del sistema. Esta construcción muestra que toda la mecánica hamiltoniana es geometría simpléctica sobre $T^*Q$.

Resumen conceptual: La geometría simpléctica es el lenguaje matemático natural de la mecánica clásica. El espacio de configuración $Q$ alberga las posiciones; su fibrado cotangente $T^*Q$ alberga posiciones y momentos; la forma simpléctica $\omega$ dicta la dinámica a través de $X_H$; las simetrías generan leyes de conservación vía el momento map; y la reducción simpléctica elimina los grados de libertad redundantes. Esta elegante estructura se extiende naturalmente a la mecánica cuántica mediante la cuantización geométrica.