Quantising Chiral Bosons On Riemann Surfaces

Resumo Técnico: Quantização de Bósons Quirais em Superfícies de Riemann

Enunciado do Problema
A quantização de bósons quirais (campos autoduais) em duas dimensões apresenta desafios significativos, particularmente no que diz respeito à formulação de uma ação consistente em superfícies de Riemann arbitrárias e ao alcance da invariância modular. Embora a ação de Sen [1, 2] forneça um arcabouço para campos de calibre quirais em $4k+2$ dimensões usando uma métrica física $g$ e uma métrica auxiliar plana $\eta$, esta formulação é limitada a variedades que admitem uma métrica plana. Além disso, a função de partição para um único bóson quiral é geralmente não invariante modular, e abordagens padrão frequentemente exigem a imposição de restrições de autodualidade manualmente, em vez de derivá-las da ação. Os autores visam generalizar a ação de Sen para uma formulação bi-métrica onde o campo auxiliar se acopla a uma segunda métrica arbitrária $\bar{g}$, permitindo a quantização de escalares quirais em qualquer variedade bidimensional, especificamente superfícies de Riemann, e investigar as propriedades modulares e anomalias resultantes.

Metodologia
O artigo emprega a generalização bi-métrica da ação de Sen [3], adaptada para escalares quirais bidimensionais ($k=0$). A metodologia procede através das seguintes etapas:

1. Formulação da Ação: Os autores utilizam uma ação envolvendo um escalar físico $P$ acoplado a uma métrica física $g$ e a um escalar "sombra" $C$ acoplado a uma segunda métrica $\bar{g}$. As métricas são parametrizadas usando variáveis complexas $\tau, \tilde{\tau}$ para $g$ e $\rho, \tilde{\rho}$ para $\bar{g}$. O tensor $M$, que codifica a dependência nas métricas, é explicitamente avaliado para garantir que a ação seja bem definida.
2. Continuação Analítica: Para definir a integral de caminho, os autores realizam a continuação analítica das métricas real lorentziana e euclidiana para métricas complexas. Eles identificam regiões no espaço de parâmetros de $\tau, \tilde{\tau}, \rho, \tilde{\rho}$ onde a integral funcional é convergente (especificamente exigindo $\text{Im}(\rho) < 0$ e $\text{Im}(\tau) > 0$ para certas condições). Os resultados são então continuados analiticamente para o espaço de parâmetros completo.
3. Integral de Caminho e Quantização Canônica: A função de partição é calculada via dois métodos:
   • Integral de Caminho: O campo auxiliar é integrado, reduzindo o sistema a um escalar não-quiral acoplado a uma métrica complexa $h = e^{2\sigma'}(dx + \rho dy)(dx + \tau dy)$. A integral de caminho é avaliada em um toro separando os modos zero (enrolamento e momento) e os modos oscilatórios não-zero. A regularização por função zeta é utilizada para lidar com produtos divergentes.
   • Quantização Canônica: O sistema é quantizado sobre um círculo espacial, tratando $y$ como tempo. Demonstra-se que o espaço de Hilbert fatoriza em setores de movimento à esquerda ($\tau$) e movimento à direita ($\rho$), permitos que a função de partição seja computada como um traço sobre os Hamiltonianos desacoplados.
4. Análise Modular: As propriedades de transformação da função de partição sob transformações modulares dos módulos $\tau$ e $\rho$ são examinadas. Os autores distinguem entre transformações modulares diagonais (onde $\tau$ e $\rho$ transformam-se identicamente) e transformações independentes.
5. Extensão para Gênero Superior: A integral de caminho é generalizada para superfícies de Riemann arbitrárias através da análise do Laplaciano associado à métrica complexa e da avaliação das contribuições de modos zero (períodos sobre 1-ciclos) e modos não-zero.

Principais Contribuições e Resultados

• Ação Efetiva e Métrica Complexa: Os autores demonstram que a ação bi-métrica para bósons quirais reduz-se a uma ação efetiva para um escalar não-quiral acoplado a uma métrica complexa $h$. Isso permite o uso de técnicas padrão para escalares não-quirais para estudar sistemas quirais.
• Estrutura da Função de Partição:
  • Para um bóson quiral geral sobre um círculo ou toro, a função de partição $Z(\tau, \rho)$ depende de ambos os módulos. No caso geral, é uma soma de termos que não fatorizam.
  • Para um toro racional (onde o raio de compactação ao quadrado é racional), a função de partição torna-se uma soma finita de produtos de funções holomorfas: $Z(\tau, \rho) = \sum C_{a\bar{b}} \chi_a(\tau) \chi_{\bar{b}}(\rho)$.
  • Crucialmente, para $8k$ bósons quirais associados a um reticulado autoduais par (como o reticulado de raízes de $E_8$ ou o reticulado de pesos de $Spin(32)/\mathbb{Z}_2$), a função de partição fatoriza completamente em um único produto: $Z(\tau, \rho) = F(\tau) \tilde{F}(\rho)$.
• Invariância Modular e Anomalias:
  • A função de partição mostra-se invariante sob o subgrupo diagonal do grupo modular $SL(2, \mathbb{Z})_\tau \times SL(2, \mathbb{Z})_\rho$, correspondente a transformações de coordenadas.
  • Os autores identificam anomalias gravitacionais associadas tanto à métrica física $g$ quanto à métrica sombra $\bar{g}$.
  • Eles propõem um mecanismo para alcançar a plena invariância modular e o cancelamento de anomalias introduzindo um setor "sombra". Especificamente, para a corda heterótica (16 bósons quirais), o setor físico cancela a anomalia de $g$, enquanto um segundo conjunto de campos acoplados a $\bar{g}$ cancela a anomalia de $\bar{g}$. Isso resulta em uma função de partição total que é invariante sob transformações modulares independentes de $\tau$ e $\rho$.
• Aplicação à Corda Heterótica: O formalismo é aplicado à corda heterótica. Ao acoplar os campos físicos da corda heterótica a $g$ e uma corda heterótica sombra a $\bar{g}$, os autores constroem uma ação de superfície de mundo cuja quantização é modularmente invariante e livre de anomalias gravitacionais em ambos os setores. Isso reflete estruturas encontradas em teorias de campo de cordas heteróticas de Sen e outras envolvendo setores sombra.
• Gênero Superior: A integral de caminho é estendida com sucesso para superfícies de Riemann gerais, sendo a função de partição expressa em termos do determinante do Laplaciano na métrica complexa e funções theta envolvendo as matrizes de período da superfície.

Significância
O artigo afirma que a formulação bi-métrica fornece um arcabouço robusto para a quantização de bósons quirais em superfícies de Riemann arbitrárias sem impor restrições de autodualidade manualmente. Ao realizar a continuação analítica para métricas complexas, os autores derivam uma função de partição bem definida que incorpora naturalmente o setor sombra. A principal significância reside na construção de uma teoria consistente e modularmente invariante para reticulados autoduais pares, que é diretamente aplicável à corda heterótica. O trabalho sugere que o setor "sombra", frequentemente visto como não-físico, desempenha um papel necessário para cancelar anomalias gravitacionais e garantir a invariância modular quando a teoria é formulada em uma variedade geral de duas dimensões com duas métricas. Os resultados confirmam que, para escolhas específicas de reticulado (autoduais pares), a função de partição fatoriza elegantemente, facilitando a construção de teorias de cordas livres de anomalias.