Quantising Chiral Bosons On Riemann Surfaces

Resumen Técnico: Cuantización de Bosones Quirales en Superficies de Riemann

Planteamiento del Problema
La cuantización de los bosones quirales (campos autoduales) en dos dimensiones presenta desafíos significativos, particularmente en lo que respecta a la formulación de una acción consistente en superficies de Riemann arbitrarias y la consecución de la invariancia modular. Si bien la acción de Sen [1, 2] proporciona un marco para campos de gauge quirales en $4k+2$ dimensiones utilizando una métrica física $g$ y una métrica auxiliar plana $\eta$, esta formulación está limitada a variedades que admiten una métrica plana. Además, la función de partición para un único bosón quiral generalmente no es invariante bajo transformaciones modulares, y los enfoques estándar suelen requerir imponer las restricciones de autodualidad a mano en lugar de derivarlas de la acción. Los autores pretenden generalizar la acción de Sen a una formulación de bi-métrica donde el campo auxiliar se acopla a una segunda métrica arbitraria $\bar{g}$, permitiendo así la cuantización de escalares quirales en cualquier variedad bidimensional, específicamente superficies de Riemann, e investigar las propiedades modulares y anomalías resultantes.

Metodología
El artículo emplea la generalización bi-métrica de la acción de Sen [3], adaptada para escalares quirales en dos dimensiones ($k=0$). La metodología procede a través de los siguientes pasos:

1. Formulación de la Acción: Los autores utilizan una acción que involucra un escalar físico $P$ acoplado a una métrica física $g$ y un escalar "sombra" $C$ acoplado a una segunda métrica $\bar{g}$. Las métricas se parametrizan utilizando variables complejas $\tau, \tilde{\tau}$ para $g$ y $\rho, \tilde{\rho}$ para $\bar{g}$. El tensor $M$, que codifica la dependencia de las métricas, se evalúa explícitamente para asegurar que la acción esté bien definida.
2. Continuación Analítica: Para definir la integral de camino, los autores realizan la continuación analítica de las métricas reales de Lorentz y Euclídea a métricas complejas. Identifican regiones en el espacio de parámetros de $\tau, \tilde{\tau}, \rho, \tilde{\rho}$ donde la integral funcional es convergente (específicamente requiriendo $\text{Im}(\rho) < 0$ e $\text{Im}(\tau) > 0$ para ciertas condiciones). Los resultados se continúan analíticamente al espacio de parámetros completo.
3. Integral de Camino y Cuantización Canónica: La función de partición se calcula mediante dos métodos:
   • Integral de Camino: Se integra el campo auxiliar, reduciendo el sistema a un escalar no quiral acoplado a una métrica compleja $h = e^{2\sigma'}(dx + \rho dy)(dx + \tau dy)$. La integral de camino se evalúa en un toro separando los modos cero (bobinado y momento) de los modos de oscilador no nulos. Se utiliza la regularización de la función zeta para manejar productos divergentes.
   • Cuantización Canónica: El sistema se cuantiza sobre un círculo espacial, tratando a $y$ como tiempo. Se demuestra que el espacio de Hilbert se factoriza en sectores de movimiento hacia la izquierda ($\tau$) y hacia la derecha ($\rho$), permitiendo que la función de partición se compute como una traza sobre los Hamiltonianos desacoplados.
4. Análisis Modular: Se examinan las propiedades de transformación de la función de partición bajo transformaciones modulares de los módulos $\tau$ y $\rho$. Los autores distinguen entre transformaciones modulares diagonales (donde $\tau$ y $\rho$ se transforman idénticamente) y transformaciones independientes.
5. Extensión a Género Superior: La integral de camino se generaliza a superficies de Riemann arbitrarias mediante el análisis del Laplaciano asociado a la métrica compleja y la evaluación de las contribuciones de los modos cero (periodos sobre 1-ciclos) y los modos no nulos.

Contribuciones Clave y Resultados

• Acción Efectiva y Métrica Compleja: Los autores demuestran que la acción bi-métrica para bosones quirales se reduce a una acción efectiva para un escalar no quiral acoplado a una métrica compleja $h$. Esto permite el uso de técnicas estándar para escalares no quirales para estudiar sistemas quirales.
• Estructura de la Función de Partición:
  • Para un bosón quiral general sobre un círculo o un toro, la función de partición $Z(\tau, \rho)$ depende de ambos módulos. En el caso general, es una suma de términos que no se factorizan.
  • Para un toro racional (donde el radio de compactificación al cuadrado es racional), la función de partición se convierte en una suma finita de productos de funciones holomorfas: $Z(\tau, \rho) = \sum C_{a\bar{b}} \chi_a(\tau) \chi_{\bar{b}}(\rho)$.
  • Crucialmente, para $8k$ bosones quirales asociados a una red autodual par (como la red de raíces de $E_8$ o la red de pesos de $Spin(32)/\mathbb{Z}_2$), la función de partición se factoriza completamente en un único producto: $Z(\tau, \rho) = F(\tau) \tilde{F}(\rho)$.
• Invariancia Modular y Anomalías:
  • Se muestra que la función de partición es invariante bajo el subgrupo diagonal del grupo modular $SL(2, \mathbb{Z})_\tau \times SL(2, \mathbb{Z})_\rho$, correspondiente a transformaciones de coordenadas.
  • Los autores identifican anomalías gravitatorias asociadas tanto a la métrica física $g$ como a la métrica sombra $\bar{g}$.
  • Proponen un mecanismo para lograr la plena invariancia modular y la cancelación de anomalías introduciendo un sector "sombra". Específicamente, para la cuerda heterótica (16 bosones quirales), el sector físico cancela la anomalía de $g$, mientras que un segundo conjunto de campos acoplados a $\bar{g}$ cancela la anomalía de $\bar{g}$. Esto resulta en una función de partición total que es invariante bajo transformaciones modulares independientes de $\tau$ y $\rho$.
• Aplicación a la Cuerda Heterótica: El formalismo se aplica a la cuerda heterótica. Al acoplar los campos de la cuerda heterótica física a $g$ y una cuerda heterótica sombra a $\bar{g}$, los autores construyen una acción de superficie de mundo cuya cuantización es modularmente invariante y libre de anomalías gravitatorias en ambos sectores. Esto refleja estructuras encontradas en las teorías de campos de la cuerda heterótica de Sen y otras que involucran sectores sombra.
• Género Superior: La integral de camino se extiende con éxito a superficies de Riemann generales, expresando la función de partición en términos del determinante del Laplaciano en la métrica compleja y funciones theta que involucran las matrices de periodos de la superficie.

Significado
El artículo sostiene que la formulación bi-métrica proporciona un marco robusto para la cuantización de bosones quirales en superficies de Riemann arbitrarias sin imponer restricciones de autodualidad a mano. Mediante la continuación analítica a métricas complejas, los autores derivan una función de partición bien definida que incorpora naturalmente el sector sombra. El significado principal reside en la construcción de una teoría consistente y modularmente invariante para redes autoduales pares, la cual es directamente aplicable a la cuerda heterótica. El trabajo sugiere que el sector "sombra", a menudo visto como no físico, desempeña un papel necesario para cancelar las anomalías gravitatorias y asegurar la invariancia modular cuando la teoría se formula en una variedad general de dos dimensiones con dos métricas. Los resultados confirman que, para elecciones de red específicas (autoduales pares), la función de partición se factoriza elegantemente, facilitando la construcción de teorías de cuerdas libres de anomalías.