Axions on de Sitter space

Resumo Técnico: Áxions no Espaço de de Sitter

Enunciado do Problema
O artigo investiga a teoria quântica de campos (QFT) de um campo escalar compacto, minimamente acoplado e sem massa (um áxion) no espaço de de Sitter global de $D$ dimensões ($dS_D$). Embora a versão não compacta desta teoria seja amplamente estudada, o caso compacto — onde o campo assume valores em um círculo $S^1$ em vez da reta real $\mathbb{R}$ — recebeu atenção limitada, apesar de sua relevância para a cosmologia (ex: modelos inflacionários, partículas do tipo áxion) e de sua emergência em compactações de string. O problema central é construir o espaço de Hilbert completo desta teoria, determinar suas propriedades de simetria sob o grupo de de Sitter $SO(D, 1)$ e compreender como a compacidade do campo altera a estrutura do vácuo e o conteúdo de partículas em comparação ao caso não compacto.

Metodologia
Os autores empregam uma abordagem dual, analisando a teoria tanto sob perspectivas Lorentziana quanto Euclidiana:

1. Quantização Canônica (Lorentziana):

   • O campo é decomposto em um setor de modo zero (espacialmente constante) e um setor de oscilador (modos espacialmente variantes).
   • Os modos do oscilador são identificados com os padrões de Bunch–Davies, que formam uma Representação Irredutível Unitária (UIR) de $SO(D, 1)$.
   • O setor do modo zero é tratado como uma partícula mecânica em um círculo, $L^2(S^1)$, devido à periodicidade $\phi \sim \phi + 2\pi$.
   • Os autores constroem explicitamente as cargas conservadas associadas às isometrias de $SO(D, 1)$ (rotações e boosts) e analisam sua ação no espaço de Hilbert completo.
   • Funções de correlação de dois pontos de Wightman da intensidade do campo são computadas em vários estados de "zero partículas" para testar as condições de Hadamard e a invariância de simetria.

2. Formulação por Integral de Caminho (Euclidiana):

   • A teoria é rotacionada para o tempo imaginário (Wick-rotated) para a esfera Euclidiana $D$-dimensional ($S^D$).
   • Os autores expressam a função de partição em termos de caracteres de Harish-Chandra de $SO(D, 1)$.
   • Eles demonstram que a integral de caminho padrão da esfera apenas captura o setor neutro (espaço de Fock do oscilador). Para acessar os setores carregados, eles introduzem inserções de operadores de vértice nos polos da esfera.
   • Ao somar sobre esses setores carregados, eles derivam uma integral de caminho "decorada" que fatoriza na função de partição da esfera padrão e em uma função de partição de mecânica quântica para um rotor.

3. Verificação de Dualidade:

   • Em $D=3$, os autores utilizam a dualidade entre um escalar compacto e o eletromagnetismo (um campo de gauge de 1-forma) para mapear seus resultados para o espaço de Hilbert de um fóton em $dS_3$.

Principais Contribuições e Resultados

• Estrutura do Espaço de Hilbert:
  O espaço de Hilbert completo não é um espaço de Fock padrão sobre um único vácuo, mas sim um produto tensorial:
  $$\mathcal{H} = L^2(S^1) \otimes \mathcal{F}_{\text{osc}}$$
  onde $\mathcal{F}_{\text{osc}}$ é o espaço de Fock do oscilador e $L^2(S^1)$ descreve a mecânica quântica do modo zero. Os estados em $L^2(S^1)$ são rotulados por um momento inteiro $n \in \mathbb{Z}$, correspondente à carga de deslocamento $U(1)$ conservada.

• Estrutura do Vácuo e Normalizabilidade:
  Ao contrário do caso do escalar não compacto (onde o vácuo único invariante de de Sitter é não-normalizável), o escalar compacto possui uma família de estados de "zero partículas" normalizáveis $|\Omega_n\rangle = |n\rangle_{\text{QM}} \otimes |0\rangle_{\text{osc}}$.

  • Apenas o estado neutro $|\Omega_0\rangle$ (onde $n=0$) é invariante sob o grupo completo $SO(D, 1)$.
  • Estados carregados $|\Omega_n\rangle$ ($n \neq 0$) são invariantes apenas sob rotações espaciais $SO(D)$, mas não sob boosts de de Sitter.

• Número de Partículas Dependente do Observador:
  Uma descoberta significativa é que a noção de "número de partículas" é dependente do observador em setores carregados. Enquanto um observador geodésico no estado $|\Omega_n\rangle$ mede zero quanta de oscilador, um segundo observador geodésico relacionado por um boost de de Sitter detectará um número não nulo de partículas. Isso ocorre porque os geradores de boost misturam a carga do modo zero com o setor do oscilador, efetivamente "criando partículas" ao agir sobre estados de zero partículas carregados. Este efeito está ausente no setor neutro e em teorias de escalares massivos.

• Funções de Correlação:
  As funções de dois pontos de intensidade de campo computadas em setores carregados $|\Omega_n\rangle$ satisfazem a condição de Hadamard (garantindo consistência física). No entanto, elas não são de Sitter-invariantes em tempos finitos para $n \neq 0$. A invariância de de Sitter é recuperada apenas assintoticamente nos tempos inicial e final ($t \to \pm \infty$), onde a contribuição do modo zero decai exponencialmente.

• Integral de Caminho Euclidiana e Comportamento Térmico:
  Os autores mostram que a integral de caminho da esfera Euclidiana padrão $Z_{S^D}$ corresponde ao setor neutro. Para capturar o espaço de Hilbert completo, deve-se somar sobre as inserções de operadores de vértice. Essa soma produz uma função de partição decorada:
  $$\tilde{Z}_{S^D} = Z_{\text{QM}} Z_{S^D}$$
  Aqui, $Z_{\text{QM}}$ é a função de partição de um rotor quântico em uma temperatura efetiva, dependente da dimensão. Isso fornece um avatar euclidiano da estrutura do espaço de Hilbert lorentziano.

• Dualidade em $dS_3$:
  Em três dimensões, o escalar compacto é dual a um fóton. O setor do oscilador mapeia para a UIR do fóton, enquanto o setor do modo zero do escalar mapeia para setores de monopólos magnéticos na teoria de Maxwell. A existência desses setores de monopólo é topologicamente permitida porque a fatia espacial do $dS_3$ global é uma 2-esfera ($S^2$), que suporta fluxo magnético não trivial.

Significância e Alegações
O artigo afirma fornecer o primeiro relato abrangente da teoria quântica de um escalar compacto sem massa no espaço de de Sitter global. Sua principal significância reside em:

1. Corrigir o Espaço de Hilbert: Demonstrar que a construção padrão de espaço de Fock é insuficiente para escalares compactos em $dS$ e que o espaço de Hilbert completo inclui uma torre discreta de estados de zero partículas carregados.
2. Quebra de Simetria do Número de Partículas: Revelar que os boosts de de Sitter não preservam o número de partículas em setores carregados, um fenômeno sem análogo em QFTs massivas padrão ou no caso do escalar não compacto.
3. Ponte Euclidiana-Lorentziana: Resolver a tensão aparente entre a topologia da esfera Euclidiana (que carece de ciclos) e os setores carregados lorentzianos, mostrando como inserções de operadores de vértice na integral de caminho euclidiana recuperam o espaço de Hilbert lorentziano completo.
4. Realização Topológica: Vincular explicitamente o modo zero do escalar aos monopólos magnéticos no dual teórico de fóton de $dS_3$, fundamentando os resultados abstratos do escalar em um contexto concreto de teoria de gauge.

Os autores mantêm um tom modesto, observando que, embora tenham estabelecido a teoria livre, o comportamento desses setores carregados em teorias interagentes (ex: com um potencial) e na presença de gravidade dinâmica permanece uma área aberta para investigações futuras.