On Periodic Geodesics of Half-Lie Groups

A central program in infinite-dimensional Riemannian geometry is to understand which classical finite-dimensional principles remain valid beyond finite dimensions.

In this article, we study the existence of periodic geodesics on Hilbert half-Lie groups equipped with strong right-invariant Riemannian metrics.

Building on recently established completeness results for this class of infinite-dimensional manifolds, we prove that every nontrivial free homotopy class contains a periodic geodesic whenever the fundamental group is nontrivial.

We further establish a Lyusternik-Fet type theorem in this setting.

Assuming a Palais-Smale condition modulo right translations and the existence of a nontrivial higher homotopy group, we prove the existence of a nonconstant contractible periodic geodesic.

Thus, as in the finite-dimensional setting, both first and higher homotopy information continue to force the existence of periodic geodesics in infinite dimensions.

In addition, we describe a reduction principle based on compact finite-dimensional totally geodesic submanifolds and apply our results to groups of Sobolev diffeomorphisms equipped with right-invariant Sobolev metrics.