Stäckel and Eisenhart lifts, Haantjes geometry and Gravitation

Resumo Técnico: Levantamentos de Stäckel e Eisenhart, Geometria de Haantjes e Gravitação

Enunciado do Problema
O artigo aborda a geometrização da dinâmica, um programa inaugurado por Eisenhart em 1928, que descreve sistemas mecânicos como fluxos geodésicos em espaços de dimensões superiores. Embora o levantamento de Eisenhart clássico (tanto nas versões Riemanniana quanto Lorentziana) consiga incorporar com sucesso sistemas mecânicos com potenciais escalares e vetoriais em variedades pseudo-riemannianas de dimensão superior, os autores buscam um arcabouço mais unificado e flexível. Especificamente, eles visam:

1. Generalizar o levantamento de Eisenhart para construir novas classes de sistemas hamiltonianos integráveis.
2. Esclarecer a relação entre esses levantamentos geométricos e a geometria de Haantjes, particularmente no que diz respeito à estrutura das variedades $\omega H$ (simpléticas-Haantjes).
3. Explorar a geração de métricas dependentes do momento e fluxos não geodésicos que possam ter aplicações em gravidade modificada e sistemas magnéticos.

Metodologia
Os autores introduzem o levantamento de Stäckel, um procedimento enraizado na geometria de Stäckel generalizada. A metodologia central envolve:

• Levantamento da Matriz de Stäckel: Partindo de um sistema hamiltoniano integrável de $n$ dimensões definido em um feixe cotangente $T^*Q$ com uma matriz de Stäckel $S^{(n)}$ de ordem $n \times n$ associada, os autores constroem uma "matriz de levantamento" $L^{(n+1)}$ de ordem $(n+1) \times (n+1)$.
• Dependência do Momento: Diferente das matrizes de Stäckel padrão que dependem apenas de coordenadas de configuração, a matriz de levantamento $L^{(n+1)}$ inclui uma linha e uma coluna adicionais contendo funções que dependem explicitamente de um novo par de variáveis conjugadas $(q_{n+1}, p_{n+1})$. Isso resulta em uma matriz de Stäckel generalizada que depende do novo momento $p_{n+1}$.
• Construção do Hamiltoniano: O sistema hamiltoniano levantado é definido via a inversa da matriz de levantamento atuando sobre um vetor de funções arbitrárias $f_i(q_i, p_i)$. Este procedimento gera um conjunto de $n+1$ hamiltonianos em involução.
• Análise de Haantjes: Os autores analisam os sistemas resultantes utilizando a teoria das variedades $\omega H$ (simpléticas-Haantjes). Eles investigam as propriedades dos operadores de Haantjes associados aos hamiltonianos levantados, verificando especificamente a projetabilidade ao longo das fibras do feixe cotangente estendido.
• Aplicações Iterativas e Específicas: O método é aplicado iterativamente para gerar modelos de dimensões superiores. Aplicações específicas incluem a reconstrução de levantamentos de Eisenhart, a análise de sistemas de Smorodinsky-Winternitz, a construção de geometrias de ondas platônicas e o tratamento de sistemas magnéticos separáveis em coordenadas cilíndricas.

Contribuições Principais e Resultados

1. Unificação dos Levantamentos de Eisenhart e Stäckel (Teorema 1):
   Os autores provam que o levantamento de Eisenhart riemanniano clássico é um caso específico do levantamento de Stäckel. Ao escolher uma forma específica para a matriz de levantamento (onde a última linha e coluna são constantes ou dependem apenas de variáveis de configuração), recupera-se o hamiltoniano geodésico padrão de Eisenhart. Isso estabelece o levantamento de Stäckel como uma generalização que engloba o arcabouço de Eisenhart.

2. Estruturas de Haantjes Não Projetáveis (Teorema 2):
   Um resultado central é a prova de que os levantamentos de Stäckel, particularmente aqueles com coeficientes dependentes do momento, dotam o espaço de fase estendido $T^*\tilde{Q}$ de uma estrutura simplética-Haantjes não trivial.

• Crucialmente, quando a matriz de levantamento depende dos momentos, os operadores de Haantjes associados são não projetáveis. Eles não podem ser reduzidos a operadores no espaço de configuração com torção de Haantjes nula. Isso distingue os levantamentos dependentes do momento de levantamentos puramente geodésicos e representa uma classe genuinamente nova de estruturas geométricas.

3. Geração de Ondas Platônicas e Modelos de Gravidade Modificada:
   O artigo demonstra que matrizes de levantamento explicitamente dependentes do momento geram geometrias de ondas platônicas. Estas são variedades que admitem um campo de Killing nulo que é paralelo em relação a uma métrica conformal relacionada.

• Os autores fornecem um exemplo explícito de uma onda platônica integrável com frentes de onda planas, mas com curvatura escalar de Ricci não constante.
• Eles observam que, embora essas geometrias não sejam necessariamente soluções para as equações de Einstein padrão, elas servem como modelos integráveis que poderiam potencialmente surgir em teorias de gravidade modificada (ex: gravidade $f(R)$).

4. Fluxos Não Geodésicos e Integrais de Ordem Superior:
   Demonstra-se que o levantamento de Stäckel gera famílias de sistemas hamiltonianos integráveis não geodésicos. Ao escolher funções específicas na matriz de levantamento, os autores constroem sistemas com:

• Integrais de movimento de ordem superior (transcendentais em termos de momentos).
• Termos lineares em momentos (associados a dinâmicas giroscópicas ou dissipativas).
  Estes sistemas não estão restritos ao movimento geodésico em um espaço pseudo-riemanniano, mas definem fluxos dinâmicos mais gerais.

5. Aplicação a Sistemas Magnéticos Cilíndricos:
   O arcabouço é aplicado a sistemas magnéticos separáveis em coordenadas cilíndricas. Os autores constroem matrizes de Stäckel para três casos distintos de tais sistemas.

• Eles destacam uma hierarquia sutil: o Caso 3 (onde apenas a coordenada $z$ é cíclica) permite uma formulação de Stäckel direta que preserva a dinâmica nas superfícies de nível.
• Os Casos 1 e 2 requerem a incorporação do coeficiente geométrico $1/r^2$ na mudança de base. Esta modificação altera o próprio hamiltoniano em vez de apenas reparametrizar a dinâmica, demonstrando que o arcabouço de Stäckel pode incorporar esses sistemas, mas pode exigir a modificação da função de energia para manter a separabilidade.

Significância e Alegações
O artigo afirma estabelecer o levantamento de Stäckel como um arcabouço geomético unificado para a construção de sistemas hamiltonianos integráveis de dimensão $n+k$ a partir de sistemas semente de dimensão inferior.

• Visão Estrutural: Reenquadra o levantamento de Eisenhart não como uma imersão ad hoc, mas como uma consequência da geometria de Stäckel generalizada.
• Novidade Geométrica: A descoberta de estruturas de Haantjes não projetáveis em levantamentos dependentes do momento sugere uma classe mais ampla de sistemas integráveis onde a separação de variáveis não está atada a tensores de Killing no espaço de configuração.
• Relevância Física: A construção fornece um método sistemático para gerar modelos de ondas platônicas integráveis e espaços de Hamilton/Finsler com métricas dependentes do momento. Estes são relevantes para campos como relatividade especial deformada, fenomenologia da gravidade quântica e o estudo de armadilhas magnéticas.
• Versatilidade: A capacidade de gerar fluxos não geodésicos, integrais de ordem superior e sistemas com termos lineares em momentos expande o escopo da teoria de sistemas integráveis além do movimento geodésico tradicional.

Os autores mantêm uma postura modesta quanto à realização física de seus exemplos, observando que, embora as ondas platônicas construídas sejam integráveis e possuam propriedades geométricas interessantes, seu status como soluções para equações de campo de gravidade modificada específica permanece como uma questão aberta para trabalhos futuros. Da mesma forma, a classificação de estruturas de Haantjes não projetáveis e os análogos quânticos dos sistemas de ordem superior são identificados como direções para pesquisas futuras.