Adiabatic Deformations of Black Hole Moduli: I. Canonical Slices and Fredholm Solvability

Resumo Técnico: Deformações Adiabáticas de Módulos de Buracos Negros: I. Fatias Canônicas e Solvabilidade de Fredholm

Enunciado do Problema
O artigo aborda a resposta adiabática de ordem líder de um buraco negro estático a um módulo assintótico que evolui lentamente (por exemplo, uma carga escalar ou o valor de um dilatão fixo no infinito) em teorias de Einstein–Maxwell–dilaton. Quando um módulo externo varia lentamente no tempo, o buraco negro não pode permanecer exatamente estático. Isso levanta duas questões distintas:

1. Geométrica: Entre a família contínua de soluções estáticas, qual representante instantâneo específico é selecionado pela geometria intrínseca do manifold da solução ao ser impulsionado por um módulo externo que varia lentamente?
2. Funcional-Analítica: Uma vez identificada essa trajetória, o operador de perturbação linear resultante admite uma solução única? O operador radial reduzido tipicamente possui um núcleo não trivial herdado das direções tangentes do manifold da solução estática, tornando a existência e a unicidade não automáticas.

Os autores visam responder a essas questões para uma classe geral de manifolds de soluções estáticas não extremais, reduzindo o problema a critérios escalares explícitos.

Metodologia
A construção procede através de uma separação rigorosa do problema em camadas geométrica e funcional-analítica, evitando suposições sobre famílias específicas de buracos negros (exceto pela existência de um manifold de solução estática suave e não extrema).

1. Redução Exata na Zona Próxima: Os autores trabalham em uma gauge de Eddington–Finkelstein avançada dentro de uma "zona próxima" radial finita ($r_H \le r \le r_m$). Eles derivam as equações de campo exatas para a teoria de Einstein–Maxwell–dilaton sem assumir inicialmente uma expansão adiabática. Eles definem a massa de horizonte exata $M_H^{exact}$ e distinguem esta da massa de horizonte de um representante estático instantâneo.
2. Linearização e Redução: As equações acopladas linearizadas de Einstein–Maxwell–dilaton são reduzidas a uma única equação radial local para uma perturbação escalar $\eta$. As perturbações métricas (lapse $\xi$ e massa $\mu$) são eliminadas usando restrições, deixando um único operador radial reduzido $L$ atuando sobre $\eta$, sendo este uma fonte de uma constante de integração residual $C_\mu$.
3. Geometria Tangente Canônica: Ao diferenciar a família estática em relação às coordenadas coletivas (especificamente o módulo assintótico $\Phi$ e o parâmetro de massa de horizonte estática $M_{H,0}$), os autores definem um covetor intrínseco $C_\mu$ no espaço tangente do manifold da solução estática. Eles provam que o núcleo deste covetor identifica uma "direção tangente canônica" única correspondente às variações em $\Phi$ para um $M_{H,0}$ fixo.
4. Rastreamento Adiabático e Campos de Defeito (Lag Fields): A família estática é promovida a uma configuração dependente do tempo. Este "rastreamento instantâneo" falha em satisfazer as equações de campo exatas, gerando um "defeito" ou "campo de defasagem" (lag field). O defeito de balanço de massa desaparece na primeira ordem se a trajetória seguir a direção tangente canônica e se a massa de horizonte evoluir na segunda ordem adiabática.
5. Fatia Local e Operador Fatiado: Uma ambiguidade tangencial residual permanece na definição do campo de defasagem. Os autores introduzem uma condição de "fatia local" ($\mu(v, r_m) = 0$) para fixar esta ambiguidade. Isso converte a constante de integração radial em uma avaliação de contorno do campo de defasagem escalar. Esta operação modifica o operador reduzido $L$ por uma perturbação de posto finito, resultando em um "operador fatiado" $L_{sl} = L + u \otimes \ell$.
6. Análise de Fredholm: Os autores analisam a solvabilidade do problema de valor de contorno completado usando a teoria de Fredholm. Eles estabelecem que o operador fatiado permanece sobrejetor com um núcleo unidimensional, mas o gerador deste núcleo é deslocado da orientação do modo tangente canônico original se a atualização de posto finito for não trivial.

Contribuições Principais e Resultados

• Teorema da Tangente Canônica (Teorema 1): Os autores provam que, para um manifold de solução estática parametrizado por $(\Phi, M_{H,0})$, a única direção tangente que satisfaz a restrição de balanço de massa na primeira ordem adiabática é $\partial_\Phi |_{M_{H,0}}$. Esta direção corresponde à variação do módulo para um $M_{H,0}$ estático fixo. O componente escalar desta tangente, $\phi_\Phi$, reside no núcleo do operador reduzido não fatiado ($L\phi_\Phi = 0$).
• Deslocamento do Modo Zero: A introdução da fatia local induz uma perturbação de posto finito ao operador reduzido. Se a fatia for transversal à direção tangente canônica (ou seja, o perfil de massa muda ao longo da tangente, $m_\Phi(r_m) \neq 0$) e a perturbação for não trivial ($K \neq 0$), o modo zero original $\phi_\Phi$ é deslocado do núcleo do operador fatiado $L_{sl}$.
• Teorema de Solvabilidade (Teorema 2): A existência e unicidade da deformação adiabática de ordem líder reduzem-se a uma única condição escalar. O operador de valor de contorno completado é bijetivo se, e somente se, o gerador $\psi_\star$ do núcleo do operador fatiado satisfizer a condição de correspondência externa de forma não trivial:
  $$B_m \psi_\star \neq 0$$
  onde $B_m$ é o funcional linear limitado que representa o problema de correspondência externa.
• Três Condições de Não-Degenerescência: O artigo identifica três condições logicamente distintas necessárias para a construção:
  1. Transversalidade da Fatia: $m_\Phi(r_m) \neq 0$ (garante que a fatia selecione um representante único).
  2. Atualização Não Trivial: $K \neq 0$ (garante que o modo zero canônico seja deslocado do núcleo).
  3. Não-Degenerescência da Correspondência Externa: $B_m \psi_\star \neq 0$ (garante que a liberdade homogênea restante seja fixada pelos dados externos).

Significância e Escopo
O artigo afirma fornecer uma base geométrica e funcional-analítica geral para deformações adiabáticas de buracos negros, independente de soluções de forma fechada específicas. Sua principal contribuição é isolar os requisitos estruturais para a existência e unicidade da resposta adiabática.

• Geométrico vs. Funcional: O trabalho separa o problema em identificar a trajetória correta no manifold estático (geométrico) e garantir que as equações lineares possam ser resolvidas ao longo dessa trajetória (funcional-analítico).
• Generalidade: O arcabouço aplica-se a qualquer teoria que admita um manifold de solução estática suave e não extrema e um operador radial reduzido de Fredholm. Não depende de potenciais específicos ou funções de cinética de gauge.
• Limitações e Trabalhos Futuros: Os autores declaram explicitamente que este artigo estabelece o arcabouço geral, mas não avalia as formas explícitas dos perfis ou condições de correspondência para um modelo específico. Eles observam que um artigo complementar [18] especializa este arcabouço para a família Garfinkle–Horowitz–Strominger (GHS) magnética para realizar avaliações explícitas. O presente trabalho não aborda o regime ultra-próximo do extremo ou o espectro completo de perturbações homogêneas de propagação livre, focando estritamente no ramo adiabático causado e selecionado causalmente.

Em resumo, o artigo demonstra que a resposta adiabática de um buraco negro a um módulo que varia lentamente não é meramente uma substituição de parâmetros dependentes do tempo, mas sim um problema de deformação restringida. A solução existe e é única se, e somente se, a condição de correspondência externa não aniquilar o modo homogêneo específico gerado pela interação entre a fatia local e o operador reduzido.