Searcharxiv⌕ Search

arXiv subjects

Sachchidanand Prasad

Publications and source records attributed to Sachchidanand Prasad.

10 recordsLinked to original sources

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

math.DG↗

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

In this article, we prove the stability with respect to the Hausdorff metric $d_H$ of the cut locus $\mathrm{Cut}(p, \mathfrak{g})$ of a point $p$ in a compact Riemannian manifold $(M, \mathfrak{g})$ under $C^2$ perturbation of the metric. Specifically, given a sequence of metrics $\mathfrak{g}_i$ on $M$, converging to $\mathfrak{g}$ in the $C^2$ topology, and a sequence of points $p_i$ in $M$, converging to $p$, we show that $\lim_i d_{H}\left( \mathrm{Cut}(p_i, \mathfrak{g}_i), \mathrm{Cut}(p, \mathfrak{g}) \right) = 0$. Along the way, we also prove the continuous dependence of the cut time map on the metric.

math.DG↗

On manifolds homeomorphic to spheres

We prove a result analogous to Reeb's theorem in the context of Morse-Bott functions: if a closed, smooth manifold $M$ admits a Morse-Bott function having two critical submanifolds $S^k$ and $S^l$ ($k \neq l$), then $M$ has dimension $k+l+1$ and is homeomorphic to the standard sphere $S^{k+l+1}$ but not necessarily diffeomorphic to it. We also prove similar results for projective spaces over the real numbers, complex numbers and quaternions.

math.DG↗

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 $N$ of a possibly non-complete Finsler manifold $(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 $N$ is compact, it then follows that there exists an $ε> 0$ such that the distance between $N$ and its cut locus $\mathrm{Cu}(N)$ 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.

math.DG↗

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 (\emph{Algebraic and Geometric Topology}, 2023). Given a submanifold $N$, we consider an $N$-geodesic loop as an $N$-geodesic starting and ending in $N$, possibly at different points. This class of geodesics were studied by Omori (\emph{Journal of Differential Geometry}, 1968). We obtain a generalization of Klingenberg's lemma for closed geodesics (\emph{Annals of Mathematics}, 1959) for $N$-geodesic loops in the reversible Finsler setting.

math.DG↗

The image of polynomials and Waring type problems on upper triangular matrix algebras

Let $p$ be a polynomial in non-commutative variables $x_1,x_2,\ldots,x_n$ with constant term zero over an algebraically closed field $K$. The object of study in this paper is the image of this kind of polynomial over the algebra of upper triangular matrices $T_m(K)$. We introduce a family of polynomials called multi-index $p$-inductive polynomials for a given polynomial $p$. Using this family we will show that, if $p$ is a polynomial identity of $T_t(K)$ but not of $T_{t+1}(K)$, then $p \left(T_m(K)\right)\subseteq T_m(K)^{(t-1)}$. Equality is achieved in the case $t=1,~m-1$ and an example has been provided to show that equality does not hold in general. We further prove existence of $d$ such that each element of $T_m(K)^{(t-1)}$ can be written as sum of $d$ many elements of $p\left( T_m(K) \right)$. It has also been shown that the image of $T_m(K)^\times$ under a word map is Zariski dense in $T_m(K)^\times$.

math.RA↗

Cut Locus of Submanifolds: A Geometric and Topological Viewpoint

Associated to every closed, embedded submanifold $N$ of a connected Riemannian manifold $M$, there is the distance function $d_N$ which measures the distance of a point in $M$ from $N$. We analyze the square of this function and show that it is Morse-Bott on the complement of the cut locus $\mathrm{Cu}(N)$ of $N$, provided $M$ is complete. Moreover, the gradient flow lines provide a deformation retraction of $M-\mathrm{Cu}(N)$ to $N$. If $M$ is a closed manifold, then we prove that the Thom space of the normal bundle of $N$ is homeomorphic to $M/\mathrm{Cu}(N)$. We also discuss several interesting results which are either applications of these or related observations regarding the theory of cut locus. These results include, but are not limited to, a computation of the local homology of singular matrices, a classification of the homotopy type of the cut locus of a homology sphere inside a sphere, a deformation of the indefinite unitary group $U(p,q)$ to $U(p)\times U(q)$ and a geometric deformation of $GL(n,\mathbb{R} )$ to $O(n,\mathbb{R} )$ which is different from the Gram-Schmidt retraction. \bigskip \noindent If a compact Lie group $G$ acts on a Riemannian manifold $M$ freely then $M/G$ is a manifold. In addition, if the action is isometric, then the metric of $M$ induces a metric on $M/G$. We show that if $N$ is a $G$-invariant submanifold of $M$, then the cut locus $\mathrm{Cu}(N)$ is $G$-invariant, and $\mathrm{Cu}(N)/G = \mathrm{Cu}\left( N/G \right) $ in $M/G$. An application of this result to complex projective hypersurfaces has been provided.

math.DG↗

Independence complexes of wedge of graphs

In this article, we introduce the notion of a wedge of graphs and provide detailed computations for the independence complex of a wedge of path and cycle graphs. In particular, we show that these complexes are either contractible or wedges of spheres.

math.CO↗

Counterexample to a conjecture about dihedral quandle

It was conjectured that the augmentation ideal of a dihedral quandle of even order $n>2$ satisfies $|Δ^k(\text{R}_n)/Δ^{k+1}(\text{R}_{n})|=n$ for all $k\geq 2$. In this article we provide a counterexample against this conjecture.

math.GR↗

A connection between cut locus, Thom space and Morse-Bott functions

Associated to every closed, embedded submanifold $N$ in a connected Riemannian manifold $M$, there is the distance function $d_N$ which measures the distance of a point in $M$ from $N$. We analyze the square of this function and show that it is Morse-Bott on the complement of the cut locus $\mathrm{Cu}(N)$ of $N$, provided $M$ is complete. Moreover, the gradient flow lines provide a deformation retraction of $M-\mathrm{Cu}(N)$ to $N$. If $M$ is a closed manifold, then we prove that the Thom space of the normal bundle of $N$ is homeomorphic to $M/\mathrm{Cu}(N)$. We also discuss several interesting results which are either applications of these or related observations regarding the theory of cut locus. These results include, but are not limited to, a computation of the local homology of singular matrices, a classification of the homotopy type of the cut locus of a homology sphere inside a sphere, a deformation of the indefinite unitary group $U(p,q)$ to $U(p)\times U(q)$ and a geometric deformation of $GL(n,\mathbb{R})$ to $O(n,\mathbb{R})$ which is different from the Gram-Schmidt retraction.

math.DG↗