Addendum to "Morse theory of causal geodesics in a stationary spacetime via Morse theory of geodesics of a Finsler metric", Ann. Inst. H. Poincar\'e Anal. Non Lin\'eaire, 27 (2010) 857--876

TL;DR

This paper provides detailed proof of the equality of critical groups at non-degenerate critical points of the energy functional on a non-reversible Finsler manifold, bridging H^1 and C^1 topologies.

Contribution

It offers a rigorous proof of the equivalence of critical groups in different topologies for Finsler geodesic energy functionals, extending Morse theory results.

Findings

Proves equality of critical groups at non-degenerate points

Bridges H^1 and C^1 topology analyses

Enhances understanding of Morse theory in Finsler geometry

Abstract

We give the details of the proof of the equality between the critical groups, with respect the H^1 and C^1 topology, at a non-degenerate critical point of the energy functional of a non-reversible Finsler manifold (M,F), defined on the Hilbert manifold of the H^1 curves connecting two given points on M.