Localization of the BFSS matrix model and three-point amplitude in M-theory

Resumo Técnico: Localização do Modelo Matricial BFSS e Amplitude de Três Pontos na Teoria-M

1. Problema e Contexto

O Modelo Matricial BFSS (Banks-Fischler-Shenker-Susskind) é conjecturado como uma formulação não perturbativa da Teoria-M em 11 dimensões. No entanto, o modelo não preserva todas as simetrias da Teoria-M original (especificamente as direções do cone de luz e rotações contínuas), o que torna difícil verificar diretamente se ele reproduz corretamente a física de espalhamento de gravitons na teoria completa.

Recentemente, Herderschee e Maldacena demonstraram que a amplitude de espalhamento de três gravitons na Teoria-M corresponde à função de partição do modelo matricial sob certas condições de contorno, utilizando dualidades e técnicas de canais aberto/fechado. O objetivo deste trabalho é calcular diretamente essa amplitude no modelo BFSS, sem depender de conjecturas de dualidade, utilizando o método de localização (localization). O foco específico é reproduzir a dependência de momento da amplitude de três pontos, que na Teoria-M é proporcional ao quadrado do momento relativo ($p^2$).

2. Metodologia

Os autores desenvolvem uma abordagem baseada em localização supersimétrica (método de Pestun e Witten) aplicada ao modelo BFSS definido em um segmento de linha temporal $[\tau_0, \tau_1]$.

• Formulação Supersimétrica Off-Shell:

  • O modelo é definido em um segmento de linha com condições de contorno específicas que preservam pelo menos uma supersimetria off-shell.
  • Para a condição de contorno correspondente à amplitude de três pontos, a simetria é aprimorada para 4 supersimetrias dinâmicas (1/4 BPS).
  • Introduzem campos auxiliares ($K_I$) e realizam uma rotação de Wick dupla (nas direções $x^+$ e $\Phi$) para garantir a convergência do integral de caminho.
  • A ação é modificada com termos de contorno (incluindo um termo de Myers na fronteira) para restaurar a invariância sob a transformação BRST combinada com a supersimetria ($Q$).

• Condições de Contorno Físicas:

  • $\tau \to \tau_0$: Representa um único M2-brana (ou um estado inicial de alta energia).
  • $\tau \to \tau_1$ (ou $\infty$): Representa a dissociação em dois M2-branas (ou dois D0-branas/gravitons).
  • Para o caso $N=2$ (matrizes $2 \times 2$), a condição de contorno exige que as matrizes $X^a$ ($a=1,2,3$) se comportem como geradores de $SU(2)$ em $\tau_0$ e se anulem (ou se separem por uma distância constante) em $\tau_1$.

• Procedimento de Localização:

  • Adiciona-se um termo $tQ(V + V_b + V_{gh})$ à ação. No limite $t \to \infty$, o integral de caminho é dominado pelas configurações de ponto de sela (saddle points) que satisfazem $\delta Q(V) = 0$.
  • As equações de ponto de sela reduzem-se à Equação de Nahm:
    $$D_\tau X^a + \frac{i}{2}\epsilon^{abc}[X^b, X^c] = 0$$
  • Devido à dificuldade de resolver a Equação de Nahm para $N$ arbitrário, os autores restringem o cálculo ao caso $N=2$, onde uma solução exata única é conhecida.

3. Resultados Principais

• Solução Clássica (Ponto de Sela):

  • Para $N=2$ e $\tau_1 \to \infty$, os autores encontram uma solução exata para as equações de Nahm que satisfaz as condições de contorno de decaimento de uma brana em duas. A solução envolve funções hiperbólicas dependentes de um parâmetro de regularização $c$ e do momento relativo $p$.
  • A configuração descreve a evolução temporal de um objeto único que se divide em dois objetos separados no espaço das matrizes.

• Ação Clássica:

  • O cálculo da ação clássica no ponto de sela, incluindo os termos de volume e os termos de contorno (Myers), resulta em uma cancelamento exato:
    $$S_{\text{total}} = S_{\text{bulk}} + S_{\text{boundary}} = 0$$
  • Isso implica que o fator exponencial da ação ($e^{-S_{cl}}$) é unitário, e a dependência física surge inteiramente do determinante de um loop.

• Determinante de Um Loop (1-loop):

  • O cálculo do determinante de flutuações quânticas envolve a análise dos operadores diferenciais $D_{10}$ atuando nos espaços de kernel e cokernel.
  • Os autores demonstram que o Cokernel é trivial ($\text{Coker} D_{10} = \{0\}$).
  • O Kernel ($\text{Ker} D_{10}$) é gerado por 4 modos zero reais. A restrição do operador $D_{00}$ a este subespaço de kernel resulta em um determinante funcional proporcional a $p^2$, onde $p$ é o momento relativo entre os dois gravitons finais.
  • O resultado final para a função de partição é:
    $$Z_{\text{1-loop}} \propto p^2$$

4. Contribuições Chave

1. Cálculo Direto e Exato: O trabalho fornece uma derivação direta da dependência de momento da amplitude de três pontos no modelo BFSS, sem recorrer a dualidades conjecturadas (como T-dualidade ou correspondência AdS/CFT intermediária).
2. Validação da Conjectura BFSS: O resultado $Z \propto p^2$ coincide exatamente com a previsão da amplitude de três pontos de gravitons na Teoria-M (equação 2.11 do artigo), fortalecendo a conjectura de que o modelo matricial é a formulação não perturbativa correta da Teoria-M.
3. Formulação com Condições de Contorno: Estabelece uma formulação consistente do modelo BFSS em um segmento de linha com termos de contorno adequados (termo de Myers) para preservar a supersimetria off-shell e modelar processos de espalhamento.
4. Método de Localização para Amplitudes: Demonstra a viabilidade de usar a localização supersimétrica para calcular amplitudes de espalhamento em teorias de matrizes, abrindo caminho para cálculos de amplitudes de mais pontos (higher-point amplitudes).

5. Significado e Limitações

• Significado: Este é um passo crucial para entender a dinâmica não perturbativa da Teoria-M. A capacidade de recuperar a estrutura de momento da teoria de supergravidade a partir de uma teoria de matrizes puramente quântica é uma verificação poderosa da conjectura BFSS.
• Limitação Atual: O cálculo foi restrito ao caso $N=2$. A generalização para $N$ arbitrário é um problema em aberto devido à dificuldade de resolver a Equação de Nahm com condições de contorno gerais para matrizes maiores.
• Futuro: Os autores sugerem que, uma vez superada a barreira técnica da Equação de Nahm para $N$ geral, o método pode ser estendido para amplitudes de mais pontos e para outros backgrounds (como o background de ondas pp no modelo BMN).

Em resumo, o artigo utiliza técnicas avançadas de teoria quântica de campos (localização) para conectar rigorosamente a dinâmica de matrizes finitas à física de espalhamento de gravitons na Teoria-M, validando uma das previsões mais importantes da conjectura BFSS.