Geodesics in Jet Space
arXiv:2109.13835 · doi:10.1134/S1560354722020034
Abstract
The space of -jets of a real function of one real variable admits the structure of Carnot group type. As such, admits a submetry (\sR submersion) onto the Euclidean plane. Horizontal lifts of Euclidean lines (which are the left-translates of horizontal one-parameter subgroups) are thus globally minimizing geodesics on . All -geodesics, minimizing or not, are constructed from degree polynomials in according to Anzaldo-Meneses and Monroy-Peréz, reviewed here. The constant polynomials correspond to the horizontal lifts of lines. Which other polynomials yield globally minimizers and what do these minimizers look like? We give a partial answer. Our methods include constructing an intermediate three-dimensional "magnetic" sub-Riemannian space lying between the jet space and the plane, solving a Hamilton-Jacobi (eikonal) equations on this space, and analyzing period asymptotics associated to period degenerations arising from two-parameter families of these polynomials. Along the way, we conjecture the independence of the cut time of any geodesic on jet space from the starting location on that geodesic.