On the Focal Locus of Submanifolds of a Finsler Manifold

Abstract

In this article, we investigate the focal locus of closed (not necessarily compact) submanifolds in a forward complete Finsler manifold. The main goal is to show that the associated normal exponential map is \emph{regular} in the sense of F.W. Warner (Am. J. of Math., 87, 1965). As a consequence, we show that the normal exponential is non-injective near any tangent focal point. Extending the ideas of Warner, we study the connected components of the regular focal locus. This allows us to identify an open and dense subset, on which the focal time maps are smooth, provided they are finite. We explicitly compute the derivative at a point of differentiability. As an application of the local form of the normal exponential map, following R.L. Bishop's work (Proc. Amer. Math. Soc., 65, 1977), we express the tangent cut locus as the closure of a certain set of points, called the separating tangent cut points. This strengthens the results from the present authors' previous work (J. Geom. Anal., 34, 2024).