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

Resumen Técnico: La condición del espacio-tiempo de Finsler para métricas $(\alpha, \beta)$ y sus isometrías

Planteamiento del problema
La geometría de Finsler ofrece una generalización de la geometría pseudo-riemanniana adecuada para diversas aplicaciones en física gravitacional, incluyendo modelos de gases cinéticos, relatividad especial deformada y teorías con ruptura de la invariancia de Lorentz (por ejemplo, SME, VSR). Sin embargo, mientras que la literatura sobre métricas de Finsler de definición positiva es extensa, la clasificación de los espacios-tiempo de Finsler lorentzianos está menos desarrollada. Específicamente, para la clase ampliamente utilizada de métricas $(\alpha, \beta)$ (construidas a partir de una métrica pseudo-riemanniana $a$ y una 1-forma $b$), dos preguntas fundamentales no se habían resuelto completamente en general:

1. ¿Cuáles son las condiciones necesarias y suficientes para que una métrica $(\alpha, \beta)$ defina una estructura de espacio-tiempo de Finsler válida (es decir, que posea una firma lorentziana en un subconjunto cónico de vectores temporales hacia el futuro)?
2. ¿Cuál es la relación precisa entre las isometrías de una métrica $(\alpha, \beta)$ y las isometrías de la métrica pseudo-riemanniana subyacente $a$?

Metodología
Los autores adoptan la definición de espacio-tiempo de Finsler establecida en el trabajo previo [15], la cual requiere la existencia de un subconjunto cónico conexo $T$ del haz tangente donde el tensor fundamental $g$ tiene una firma lorentziana $(+, -, -, -)$ y la función métrica $L$ es positiva, suave y se anula continuamente en el límite.

El estudio procede analizando la forma general de una métrica $(\alpha, \beta)$:
$$L = A \Psi(s), \quad s = \frac{B^2}{A}$$
donde $A = a_{ij}\dot{x}^i\dot{x}^j$ y $B = b_i\dot{x}^i$. Los autores derivan los componentes del tensor fundamental $g_{ij}$ y su determinante. Al imponer las condiciones de la Definición 1 (positividad de $L$, firma lorentziana de $g$ y comportamiento en el límite), derivan desigualdades algebraicas y diferenciales que involucran a la función $\Psi(s)$ y el producto escalar $\langle b, b \rangle$.

Para el problema de la isometría, los autores analizan la ecuación de Killing para la elevación completa de un campo vectorial $\xi$ al haz tangente, $\xi_C(L) = 0$. Distinguen entre "simetrías triviales" (donde $\xi$ es un vector de Killing tanto para $a$ como para $b$) y "simetrías no triviales" (donde $\xi$ preserva $L$ pero no necesariamente a $a$ o $b$ individualmente).

Contribuciones Clave y Resultados

1. Condiciones Generales del Espacio-Tiempo (Teorema 6):
   El artículo establece las condiciones necesarias y suficientes para que una métrica $(\alpha, \beta)$ defina un espacio-tiempo de Finsler. Estas condiciones son:

   • $A > 0$ y $\Psi > 0$ en el cono $T$, con $L \to 0$ en el límite.
   • $\Psi - s\Psi' > 0$.
   • $(s - \langle b, b \rangle) \frac{d}{ds} \ln \sigma > -1$, donde $\sigma = (\Psi - s\Psi')^2 / \Psi$.
     Estas condiciones aseguran que el tensor fundamental tenga la firma lorentziana correcta en un cono convexo de vectores que apuntan hacia el futuro.

2. Clasificación de Métricas Específicas (Sección 4):
   Aplicando el teorema general, los autores proporcionan restricciones explícitas para varias subclases importantes:

   • Métricas lorentzianas ($L = \kappa A$): Siempre definen un espacio-tiempo.
   • Métricas de Randers ($L = \epsilon(\sqrt{A} + B)^2$): Definen un espacio-tiempo si y solo si $0 \leq \langle b, b \rangle < 1$. En este caso, la 1-forma $b$ debe ser no-espaciotemporal con respecto a $a$.
   • Métricas de Bogoslovsky-Kropina ($L = A^{1-q}B^q$): Definen un espacio-tiempo si:
     • $\langle b, b \rangle \geq 0$ y $q \in [-1, 1)$ (los conos coinciden con los de $A$).
     • $\langle b, b \rangle < 0$ y $q \in (0, 1)$ (los conos son la intersección de los conos de $A$ con $B > 0$).
   • Métricas de Kundt ($L = A s^{-p}(k + ms)^{p+1}$): Definen un espacio-tiempo si $k > 0$, $m < 0$, y se cumplen ciertas restricciones sobre $p$ y $\langle b, b \rangle$ (por ejemplo, $p \in (-1, 1]$ para $b$ no-espaciotemporal).
   • Métricas exponenciales ($L = A e^{P(s)}$): Definen un espacio-tiempo si se satisfacen desigualdades asintóticas y diferenciales específicas involucrando a $P(s)$.

3. Isometrías de métricas $(\alpha, \beta)$ (Teorema 11):
   Los autores determinan completamente la relación entre las isometrías de $L$ y $a$. Demuestran que las métricas $(\alpha, \beta)$ no riemannianas admiten campos vectoriales de Killing no triviales (isometrías de $L$ que no son isometrías de $a$) si y solo si $\Psi(s)$ toma una forma funcional específica que involucra constantes y potencias de $s$ (o formas exponenciales).

   • Específicamente, si $\Psi(s)$ coincide con las formas en la Ec. (44), existen campos vectoriales $\xi$ que satisfacen $\xi_C(B) = \kappa \lambda_2 B$ y $\xi_C(A) = \kappa(\mu_1 A + \mu_2 B^2)$ que son vectores de Killing para $L$ pero no para $a$.
   • Se proporciona un ejemplo concreto utilizando una métrica de Bogoslovsky-Kropina sobre un fondo conforme de Minkowski con una 1-forma luz (lightlike), demostrando una simetría de traslación temporal que no es una simetría de la métrica subyacente $a$.

Significancia
El artículo afirma proporcionar el primer tratamiento de generalidad completa para las estructuras de Finsler lorentzianas $(\alpha, \beta)$. Al establecer condiciones necesarias y suficientes rigurosas, el trabajo permite la identificación de candidatos viables para aplicaciones en física gravitacional dentro de la vasta clase de métricas $(\alpha, \beta)$. Además, el descubrimiento y la caracterización de isometrías no triviales desafían la suposición de que las simetrías de un espacio-tiempo de Finsler son heredadas estrictamente de su métrica pseudo-riemanniana subyacente. Esto sugiere la posibilidad de construir espacios-tiempo de Finsler con simetrías (por ejemplo, simetría esférica) que la métrica $a$ subyacente no posee, abriendo nuevas vías para modelar sistemas físicos en física gravitacional.