Published

Hausdorff Stability of the Cut Locus Under C2C^2-Perturbations of the Metric

Journal of Mathematical Analysis and Applications
Vol. 557 (2) ,No. 130324 ,Pg. 16
(2025)

In this article, we prove the stability with respect to the Hausdorff metric dHd_H of the cut locus Cu(p,g)\mathrm{Cu}(p, \mathfrak{g}) of a point pp in a compact Riemannian manifold (M,g)(M, \mathfrak{g}) under C2C^2 perturbation of the metric. Specifically, given a sequence of metrics gi\mathfrak{g}i on MM, converging to g\mathfrak{g} in the C2C^2 topology, and a sequence of points pip_i in MM, converging to pp, we show that limidH(Cu(pi,gi),Cu(p,g))=0\lim_i d{H}\left( \mathrm{Cu}(p_i, \mathfrak{g}_i), \mathrm{Cu}(p, \mathfrak{g}) \right) = 0. 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 HH-splitting of loop space fibrations & the JJ-homomorphism

(2025)

Given a fibration FEBF \hookrightarrow E \rightarrow B with a homotopy section s:BEs : B \rightarrow E, James introduced a binary product {,}s:πiB×πjFπi+j1F\left{, \right}s: \pi_i B \times \pi_j F \rightarrow \pi{i+j-1} F, 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 HH-splitting of the loop space fibration, i.e., ΩEΩB×ΩF\Omega E \simeq \Omega B \times \Omega F as HH-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 JJ-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 hh-Principle for Maps Transverse to Bracket-Generating Distributions

Pacific Journal of Mathematics
Vol. 330 (2) ,Pg. 207-231
(2024)

Given a smooth bracket-generating distribution D\mathcal{D} of constant growth on a manifold MM, we prove that maps from an arbitrary manifold Σ\Sigma to MM, which are transverse to D\mathcal{D}, satisfy the complete hh-principle. This partially settles a question posed by M. Gromov.

On the Cut Locus of Submanifolds of a Finsler Manifold

Journal of Geometric Analysis
Vol. 34 (10) ,No. 308 ,Pg. 38
(2024)

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 NN, we consider an NN-geodesic loop as an NN-geodesic starting and ending in NN, 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 NN-geodesic loops in the reversible Finsler setting.

Existence of Horizontal Immersions in Fat Distributions

International Journal of Mathematics
Vol. 34 (10) ,No. 2350056 ,Pg. 33
(2023)

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 22 fat distribution on manifolds, referred to as emphdegree of the distribution. The real distribution underlying a holomorphic contact structure is of degree 22. Using Gromov's sheaf theoretic and analytic techniques of hh-principle, we prove the existence of horizontal immersions of an arbitrary manifold into degree 22 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 (4,6)(4,6)

Journal of Topology and Analysis
Vol. 16 (1) ,Pg. 125-153
(2021)

In this article we discuss horizontal immersion of discs in certain corank 22 fat distribution on 66-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 hh-principle result for such immersions.

Stability of certain Engel-like Distributions

Czechoslovak Mathematical Journal
Vol. 71 (3) ,Pg. 765-784
(2020)

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.

Preprint

Distance from a Finsler Submanifold to its Cut Locus and the Existence of a Tubular Neighborhood

(2024)

In this article we prove that for a closed, not necessarily compact, submanifold NN of a possibly non-complete Finsler manifold (M,F),(M, F), the cut time map is always positive. As a consequence, we prove the existence of a tubular neighborhood of such a submanifold. When NN is compact, it then follows that there exists an ϵ>0\epsilon > 0 such that the distance between NN and its cut locus Cu(N)\mathrm{Cu}(N) is at least ϵ\epsilon. 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

(2024)

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).

© Aritra Bhowmick Last updated : Jan 3, 2026