Related papers: Homotopic distance and generalized motion planning

We generalize the notion of calibrated submanifolds to smooth maps and show that the several examples of smooth maps appearing in the differential geometry become the examples of our situation. Moreover, we apply these notion to give the…

Fold maps are higher dimensional versions of Morse functions, which play important roles in the studies of smooth manifolds, and such general maps also have been fundamental tools in the studies of smooth manifolds by using generic maps. In…

In this work, a metric is presented on the set of boundedly-compact pointed metric spaces that generates the Gromov-Hausdorff topology. A similar metric is defined for measured metric spaces that generates the Gromov-Hausdorff-Prokhorov…

We discuss homotopy properties of endpoint maps for affine control systems. We prove that these maps are Hurewicz fibrations with respect to some $W^{1,p}$ topology on the space of trajectories, for a certain $p>1$. We study critical points…

The complexity of algorithms solving the motion planning problem is measured by a homotopy invariant TC(X) of the configuration space X of the system. Previously known lower bounds for TC(X) use the structure of the cohomology algebra of X.…

We discuss some properties of the distance functions on Riemannian manifolds and we relate their behavior to the geometry of the manifolds. This leads to alternative proofs of some "classical" theorems connecting curvature and topology.

Given a manifold $M$ and a proper sub-bundle $\Delta\subset TM$, we study homotopy properties of the horizontal base-point free loop space $\Lambda$, i.e. the space of absolutely continuous maps $\gamma:S^1\to M$ whose velocities are…

We prove the Arnold conjecture for closed symplectic manifolds with $\pi_2(M)=0$ and $\cat M=\dim M$. Furthermore, we prove an analog of the Lusternik-Schnirelmann theorem for functions with ``generalized hyperbolicity'' property.

A Morse 2-function is a generic smooth map from a manifold M of arbitrary finite dimension to a surface B. Its critical set maps to an immersed collection of cusped arcs in B. The aim of this paper is to explain exactly when it is possible…

Associated to any manifold equipped with a closed form of degree >1 is an `L-infinity algebra of observables' which acts as a higher/homotopy analog of the Poisson algebra of functions on a symplectic manifold. In order to study Lie group…

Fold maps are fundamental tools in the theory of singularities of differentiable maps and its applications to geometry. They are higher dimensional variants of Morse functions. Classes of special generic maps and round fold maps are…

We prove a semi-Riemannian version of the celebrated Morse Index Theorem for geodesics in semi-Riemannian manifolds; we consider the general case of both endpoints variable on two submanifolds. The key role of the theory is played by the…

Given a smooth manifold $M$ and a totally nonholonomic distribution $\Delta\subset TM$ of rank $d$, we study the effect of singular curves on the topology of the space of horizontal paths joining two points on $M$. Singular curves are…

We propose global surjectivity theorems of differentiable maps based on second order conditions. Using the homotopy continuation method, we demonstrate that, for a $C^2$ differentiable map from a Hilbert space to a finite-dimensional…

We introduce two new algebraic invariants, the (co)homological distances between continuous maps, which provide computable lower bounds for the homotopic distance and strictly refine the classical cup-length estimates. We then define the…

This paper considers fundamental issues related to Finslerian isometries, submetries, distance and geodesics. It is shown that at each point of a Finsler manifold there is a distance coordinate system. Using distance coordinates, a simple…

We prove that the existence of a Hurewicz fibration between certain spaces with the homotopy type of a CW-complex implies some topological restrictions on their universal coverings. This result is used to deduce differentiable and metric…

In this paper we study a notion of topological complexity for the motion planning problem. The topological complexity is a number which measures discontinuity of the process of motion planning in the configuration space X. More precisely,…

This paper extends some results of Hatcher and Quinn beyond the metastable range. We give a bordism theoretic obstruction to deforming a map between manifolds simultaneously off of a collection of pairwise disjoint submanifolds under the…

We discuss generic smooth maps from smooth manifolds to smooth surfaces, which we call "Morse 2-functions", and homotopies between such maps. The two central issues are to keep the fibers connected, in which case the Morse 2-function is…