The Finsler spacetime condition for (\alpha,\beta)-metrics and their isometries

Resumo Técnico: A condição de espaço-tempo de Finsler para métricas $(\alpha, \beta)$ e suas isometrias

Enunciado do Problema
A geometria de Finsler oferece uma generalização da geometria pseudo-riemanniana adequada para diversas aplicações na física gravitacional, incluindo modelos de gases cinéticos, relatividade especial deformada e teorias com quebra de invariância de Lorentz (ex: SME, VSR). No entanto, enquanto a literatura sobre métricas de Finsler definidas positivas é extensa, a classificação de espaços-tempo de Finsler lorentzianos permanece menos desenvolvida. Especificamente, para a classe amplamente utilizada de métricas $(\alpha, \beta)$ (construídas a partir de uma métrica pseudo-riemanniana $a$ e uma 1-forma $b$), duas questões fundamentais não haviam sido totalmente resolvidas de forma geral:

1. Quais são as condições necessárias e suficientes para que uma métrica $(\alpha, \beta)$ defina uma estrutura de espaço-tempo de Finsler válida (ou seja, possuindo uma assinatura lorentziana em um subfeixe cônico de vetores temporais futuros)?
2. Qual é a relação precisa entre as isometrias de uma métrica $(\alpha, \beta)$ e as isometrias da métrica pseudo-riemanniana subjacente $a$?

Metodologia
Os autores adotam a definição de espaço-tempo de Finsler estabelecida em trabalho anterior [15], que requer a existência de um subfeixe cônico conectado $T$ do feixe tangente onde o tensor fundamental $g$ possui assinatura lorentziana $(+, -, -, -)$ e a função métrica $L$ é positiva, suave e anula-se continuamente na fronteira.

O estudo procede analisando a forma geral de uma métrica $(\alpha, \beta)$:
$$L = A \Psi(s), \quad s = \frac{B^2}{A}$$
onde $A = a_{ij}\dot{x}^i\dot{x}^j$ e $B = b_i\dot{x}^i$. Os autores derivam os componentes do tensor fundamental $g_{ij}$ e seu determinante. Ao impor as condições da Definição 1 (positividade de $L$, assinatura lorentziana de $g$ e comportamento de fronteira), eles derivam desigualdades algébricas e diferenciais envolvendo a função $\Psi(s)$ e o produto escalar $\langle b, b \rangle$.

Para o problema da isometria, os autores analisam a equação de Killing para o levantamento completo de um campo vetorial $\xi$ para o feixe tangente, $\xi_C(L) = 0$. Eles distinguem entre "simetrias triviais" (onde $\xi$ é um vetor de Killing tanto para $a$ quanto para $b$) e "simetrias não triviais" (onde $\xi$ preserva $L$, mas não necessariamente $a$ ou $b$ individualmente).

Principais Contribções e Resultados

1. Condições Gerais de Espaço-Tempo (Teorema 6):
   O artigo estabelece condições necessárias e suficientes para que uma métrica $(\alpha, \beta)$ defina um espaço-tempo de Finsler. Estas condições são:

   • $A > 0$ e $\Psi > 0$ no cone $T$, com $L \to 0$ na fronteira.
   • $\Psi - s\Psi' > 0$.
   • $(s - \langle b, b \rangle) \frac{d}{ds} \ln \sigma > -1$, onde $\sigma = (\Psi - s\Psi')^2 / \Psi$.
     Estas condições garantem que o tensor fundamental tenha a assinatura lorentziana correta em um cone convexo de vetores apontando para o futuro.

2. Classificação de Métricas Específicas (Seção 4):
   Aplicando o teorema geral, os autores fornecem restrições explícitas para várias subclasses importantes:

   • Métricas lorentzianas ($L = \kappa A$): Sempre definem um espaço-tempo.
   • Métricas de Randers ($L = \epsilon(\sqrt{A} + B)^2$): Definem um espaço-tempo se, e somente se, $0 \leq \langle b, b \rangle < 1$. Neste caso, a 1-forma $b$ deve ser não-do tipo espacial em relação a $a$.
   • Métricas de Bogoslovsky-Kropina ($L = A^{1-q}B^q$): Definem um espaço-tempo se:
     • $\langle b, b \rangle \geq 0$ e $q \in [-1, 1)$ (os cones coincidem com os de $A$).
     • $\langle b, b \rangle < 0$ e $q \in (0, 1)$ (os cones são interseções dos cones de $A$ com $B > 0$).
   • Métricas de Kundt ($L = A s^{-p}(k + ms)^{p+1}$): Definem um espaço-tempo se $k > 0$, $m < 0$, e certas restrições sobre $p$ e $\langle b, b \rangle$ forem atendidas (ex: $p \in (-1, 1]$ para $b$ não-espacial).
   • Métricas Exponenciais ($L = A e^{P(s)}$): Definem um espaço-tempo se desigualdades assintóticas e diferenciais específicas envolvendo $P(s)$ forem satisfeitas.

3. Isometrias de métricas $(\alpha, \beta)$ (Teorema 11):
   Os autores determinam completamente a relação entre as isometrias de $L$ e $a$. Eles provam que métricas $(\alpha, \beta)$ não-riemannianas admitem campos vetoriais de Killing não triviais (isometrias de $L$ que não são isometrias de $a$) se, e somente se, $\Psi(s)$ assume uma forma funcional específica envolvendo constantes e potências de $s$ (ou formas exponenciais).

   • Especificamente, se $\Psi(s)$ corresponder às formas na Eq. (44), existem campos vetoriais $\xi$ satisfazendo $\xi_C(B) = \kappa \lambda_2 B$ e $\xi_C(A) = \kappa(\mu_1 A + \mu_2 B^2)$ que são vetores de Killing para $L$, mas não para $a$.
   • Um exemplo concreto é fornecido usando uma métrica de Bogoslovsky-Kropina em um fundo conformemente Minkowski com uma 1-forma do tipo luz, demonstrando uma simetria de translação temporal que não é uma simetria da métrica subjacente $a$.

Significância
O artigo afirma fornecer o primeiro tratamento de generalidade total para estruturas de Finsler $(\alpha, \beta)$ lorentzianas. Ao estabelecer condições rigorosas necessárias e suficientes, o trabalho permite a identificação de candidatos viáveis para aplicações de física gravitacional entre a vasta classe de métricas $(\alpha, \beta)$. Além disso, a descoberta e caracterização de isometrias não triviais desafiam a suposição de que as simetrias de um espaço-tempo de Finsler são estritamente herdadas de sua métrica pseudo-riemanniana subjacente. Isso sugere a possibilidade de construir espaços-tempo de Finsler com simetrias (ex: simetria esférica) que a métrica $a$ subjacente não possui, abrindo novos caminhos para modelar sistemas físicos em física gravitacional.