Quantum Mechanics on Lie Groups: I. Noncommutative Fourier Transforms

Resumen Técnico: Mecánica Cuántica sobre Grupos de Lie I: Transformadas de Fourier No Conmutativas

Planteamiento del Problema
El artículo aborda el desafío fundamental de establecer un marco general para la mecánica cuántica sobre grupos de Lie $G$, donde el espacio de configuración es un grupo de Lie (potencialmente de dimensión infinita, aunque el presente trabajo asume dimensiones finitas). Mientras que la dinámica clásica en tales espacios está bien descrita por las ecuaciones de Lie-Poisson o Euler-Arnold, su cuantización sigue siendo sutil. Un obstáculo principal es la transición del "espacio de posición" (la variedad del grupo $G$) al "espacio de momento". A diferencia del caso estándar en $\mathbb{R}^n$, el espacio de momento dual a un grupo de Lie es no conmutativo debido a la estructura del grupo.

Existen dos definiciones contrapuestas de espacio de momento:

1. Discreta/Teórica de representaciones: Basada en el teorema de Peter-Weyl, donde el espacio de momento es el conjunto de representaciones irreducibles (discreto para grupos compactos). Esto es natural para las series de Fourier, pero inadecuado para las funciones de Wigner y las integrales de trayectoria, que requieren coordenadas de fase continuas.
2. Continua/Geométrica: El dual de la álgebra de Lie, $\mathfrak{g}^*$. Esto proporciona un espacio de fase continuo $T^*G \cong G \times \mathfrak{g}^*$, esencial para los límites semiclásicos y las integrales de trayectoria, pero complica la definición de las transformadas de Fourier debido a los momentos no conmutantes.

El artículo se centra en este segundo enfoque, con el objetivo de construir una transformada de Fourier unitaria e invertible que mapee las funciones de onda de cuadrado integrable en $G$ hacia funciones de onda en $\mathfrak{g}^*$, tratando rigurosamente la no conmutatividad de los momentos y las complicaciones topológicas derivadas de los subgrupos compactos.

Metodología
Los autores construyen el marco a través de los siguientes pasos:

1. Construcción del Álgebra de Operadores: Partiendo de la estructura simpléctica del espacio de fase $T^*G$, definen un corchete de Poisson donde los momentos no conmutan: $\{p_i, p_j\} = -c_{ij}^k p_k$. Cuantizan este álgebra promoviendo las coordenadas y los momentos a operadores, adoptando una prescripción de ordenación simétrica para los productos de momentos. Esta elección asegura que el exponencial de los operadores de momento mapee directamente a operadores exponenciales, satisfaciendo la relación de Baker-Campbell-Hausdorff (BCH): $e^{-i\langle \hat{p}, X \rangle} e^{-i\langle \hat{p}, Y \rangle} = e^{-i\langle \hat{p}, B(X,Y) \rangle}$.

2. Tratamiento de Subgrupos Compactos y Cocientes: Un obstáculo técnico crítico es que, para grupos con subgrupos compactos, el mapa exponencial no es inyectivo. El conjunto de elementos de la álgebra de Lie que exponentian a la identidad, $I = \{X \in \mathfrak{g} \mid \exp(X) = e\}$, es no trivial.

   • Los autores definen una representación de posición "grande" en $L^2(\mathfrak{g})$ y una representación de momento "grande" en un espacio de Hilbert no conmutativo $L^2_\star(\mathfrak{g}^*)$ equipado con un producto estrella (específicamente el producto estrella de Gutt).
   • Identifican que el espacio de Hilbert físico $L^2(G)$ corresponde al subespacio de funciones invariantes bajo la acción de $I$. Introducen un operador de proyección $\hat{P}_I$ para imponer esta invariancia, abordando cuidadosamente los factores de normalización infinitos ($|I| \to \infty$) que surgen, de forma análoga a la relación entre las transformadas de Fourier en $\mathbb{R}$ y las series de Fourier en $S^1$.

3. Transformada de Fourier No Conmutativa: Definen un interviniente unitario $\mathcal{F}$ entre las representaciones de posición y momento grandes. El núcleo de esta transformada es la onda plana estándar $E(X, p) = e^{-i\langle p, X \rangle}$, pero la medida de integración incluye el Jacobiano $J(X)$ de la medida de Haar.

   • La transformada mapea $L^2(\mathfrak{g})$ a $L^2_\star(\mathfrak{g}^*)$.
   • Al proyectar sobre los subespacios invariantes de $I$, derivan coeficientes de Fourier no conmutativos (mapeando $L^2(G)$ a un subespacio de $L^2_\star(\mathfrak{g}^*)$) y series de Fourier (el mapa inverso).

4. Productos Estrella y Convolución: La multiplicación de funciones en el espacio de momento está gobernada por el producto estrella. Los autores demuestran que las convoluciones en el espacio de posición mapean a productos estrella en el espacio de momento, y viceversa, estableciendo un análogo no conmutativo del teorema de la convolución.

Contribuciones Clave y Resultados

• Isometría de Espacios de Hilbert: El artículo demuestra que los coeficientes y las series de Fourier no conmutativos proporcionan una isometría entre el espacio de Hilbert de las funciones de cuadrado integrable en el grupo, $L^2(G)$, y el espacio de funciones de estrella-cuadrado-integrables invariantes bajo $I$, $\hat{P}_I \cdot L^2_\star(\mathfrak{g}^*)$. Esto resuelve ambigüedades previas respecto a la definición de los productos escalares en el espacio de momento para grupos no abelianos.
• Fórmula de Sumación de Poisson No Conmutativa: Los autores derivan una fórmula de sumación de Poisson generalizada para cualquier grupo de Lie compacto. Esta fórmula relaciona la suma de una función sobre la red discreta de logaritmos de la identidad (en la álgebra de Lie) con una integral sobre el espacio dual involucrando la transformada de Fourier y operadores diferenciales específicos derivados del Jacobiano.
  • Para $G=U(1)$, esto recupera la fórmula de sumación de Poisson estándar.
  • Para $G=SU(2)$, derivan una nueva fórmula que involucra integrales sobre planos afines en $\mathbb{R}^3$, reflejando la naturaleza no abeliana del grupo.
• Fórmula del Carácter de Kirillov: El formalismo se aplica a los caracteres de las representaciones irreducibles. Los autores muestran que la transformada de Fourier no conmutativa de un carácter está localizada en la correspondiente órbita coadjaunta. Específicamente, para $SU(2)$, la transformada de un carácter con espín $\lambda$ está soportada en la esfera de radio $2\lambda + 1$ en $\mathfrak{su}(2)^*$.
• Ordenación de Duflo: En la Sección 6, los autores exploran una ordenación alternativa utilizando el mapa de Duflo. Muestran que mientras la ordenación simétrica conduce a una localización "difusa" de los caracteres (integración sobre una familia de órbitas), la ordenación de Duflo produce un coeficiente de Fourier estrictamente localizado en una única órbita coadjaunta, reproduciendo directamente la fórmula del carácter de Kirillov. Además, la transformada ordenada por Duflo conduce naturalmente a la identidad de Parseval-Plancherel para funciones de clase.

Significado y Pretensiones
El artículo afirma proporcionar el marco "preliminar" necesario para computar funciones de Wigner e integrales de trayectoria para sistemas cuánticos sobre variedades de grupos. Los autores enfatizan que su construcción difiere de enfoques previos en la gravedad cuántica de bucles (ej., [23–25]) al:

1. Definir las funciones de onda del espacio de momento independientemente de la transformada de Fourier, y luego demostrar que la transformada es una isometría, en lugar de definir el espacio como la imagen de la transformada.
2. Tratar cuidadosamente los cocientes que surgen de los subgrupos compactos mediante operadores de proyección, asegurando que el producto escalar y las acciones de los operadores estén bien definidos sin depender de clases de equivalencia mal definidas.
3. Proveer una derivación rigurosa de la fórmula de sumación de Poisson no abeliana, la cual identifican como una herramienta crucial para manejar la topología de $G$ en los cálculos de integrales de trayectoria (específicamente para propagadores mixtos $\langle p_f | e^{-iHt} | g_i \rangle$).

El trabajo se presenta como un fundamento matemático para físicos, con el objetivo de cerrar la brecha entre los enfoques de la teoría de representaciones (Peter-Weyl) y los enfoques geométricos (integrales de trayectoria de espacio de fase) en el contexto de sistemas de Lie-Poisson. Los autores declaran explícitamente que se espera que los resultados se generalicen a grupos de Lie-Fréchet de dimensión infinita, aunque esto no se demuestra rigurosamente en el texto actual.