Hausdorff Stability of the Cut Locus Under -Perturbations of the Metric
In this article, we prove the stability with respect to the Hausdorff metric of the cut locus of a point in a compact Riemannian manifold under perturbation of the metric. Specifically, given a sequence of metrics on , converging to in the topology, and a sequence of points in , converging to , we show that . Along the way, we also prove the continuous dependence of the cut time map on the metric.
On the James brace product: Generalization, relation to -splitting of loop space fibrations & the -homomorphism
Given a fibration with a homotopy section , James introduced a binary product , called the brace product, which was later generalized by Yoon. We show that the vanishing of this generalized brace product is the precise obstruction to the -splitting of the loop space fibration, i.e., as -spaces. Using rational homotopy theory, we show that for rational spaces, the vanishing of the generalized brace product coincides with the vanishing of the classical James brace product, enabling us to perform the relevant computations. In addition, the notion of -homomorphism is generalized and connected to the generalized brace product. Among the applications, we characterize the homotopy types of certain fibrations, including sphere bundles over spheres.
The -Principle for Maps Transverse to Bracket-Generating Distributions
Given a smooth bracket-generating distribution of constant growth on a manifold , we prove that maps from an arbitrary manifold to , which are transverse to , satisfy the complete -principle. This partially settles a question posed by M. Gromov.
On the Cut Locus of Submanifolds of a Finsler Manifold
In this article, we investigate the cut locus of closed (not necessarily compact) submanifolds in a forward complete Finsler manifold. We explore the deformation and characterization of the cut locus, extending the results of Basu and the second author (Algebraic and Geometric Topology, 2023). Given a submanifold , we consider an -geodesic loop as an -geodesic starting and ending in , possibly at different points. This class of geodesics were studied by Omori (Journal of Differential Geometry, 1968). We obtain a generalization of Klingenberg's lemma for closed geodesics (Annals of Mathematics, 1959) for -geodesic loops in the reversible Finsler setting.
Existence of Horizontal Immersions in Fat Distributions
Contact structures, as well as their holomorphic and quaternionic counterparts are the primary examples of strongly bracket generating (or fat) distributions. In this article we associate a numerical invariant to corank fat distribution on manifolds, referred to as emphdegree of the distribution. The real distribution underlying a holomorphic contact structure is of degree . Using Gromov's sheaf theoretic and analytic techniques of -principle, we prove the existence of horizontal immersions of an arbitrary manifold into degree fat distributions and the quaternionic contact structures. We also study immersions of a contact manifold inducing the given contact structure.
On Horizontal Immersions of Discs in Fat Distributions of Type
In this article we discuss horizontal immersion of discs in certain corank fat distribution on -dimensional manifolds, holomorphic contact distributions are examples of which. The main result presented here is that a certain nonlinear PDE is locally invertible, using which we will prove a local -principle result for such immersions.
Stability of certain Engel-like Distributions
In this article we introduce a higher dimensional analogue of Engel structure, motivated by the Cartan prolongation of contact manifolds. We study the stability of such structure, generalizing the Gray-type stability results for Engel manifolds. We also derive local normal forms defining such a distribution.
Distance from a Finsler Submanifold to its Cut Locus and the Existence of a Tubular Neighborhood
In this article we prove that for a closed, not necessarily compact, submanifold of a possibly non-complete Finsler manifold the cut time map is always positive. As a consequence, we prove the existence of a tubular neighborhood of such a submanifold. When is compact, it then follows that there exists an such that the distance between and its cut locus is at least . This was originally proved by B. Alves and M. A. Javaloyes (Proc. Amer. Math. Soc. 2019). We have given an alternative, rather geometric proof of the same, which is novel even in the Riemannian setup. We also obtain easier proofs of some results from N. Innami et al. (Trans. Amer. Math. Soc., 2019), under weaker hypothesis.
On the Focal Locus of Submanifolds of a Finsler Manifold
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 emphregular 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).