arXiv research

A bounded curvature path is a continuously differentiable piecewise $C^2$ path with a bounded absolute curvature that connects two points in the tangent bundle of a surface. In this work, we analyze the homotopy classes of bounded curvature paths for points in the tangent bundle of the Euclidean plane. We show the exis…

The study proves unique path lifting properties and their implications on quotient spaces and covering maps.

New topology defined from spacetime paths, reconstructing spacetime structure.

Develops derived differential geometry theory.

New algorithmic view of ℓ2 regularization using ODEs and path-following methods.

We show that the moduli space of metrics of nonnegative sectional curvature on every homotopy ${\mathbb {R}} P^5$ has infinitely many path components. We also show that in each dimension $4k+1$ there are at least $2^{2k}$ homotopy ${\mathbb {R}} P^{4k+1}$s of pairwise distinct oriented diffeomorphism type for which the…

Homotopy connectedness theorems for complex submanifolds of homogeneous spaces (sometimes referred to as theorems of Barth-Lefshetz type) have been established by a number of authors. Morse Theory on the space of paths lead to an elegant proof of homotopy connectedness theorems for complex submanifolds of Hermitian sym…

The study explores ends in coarse homotopy of proper geodesic spaces.

Signature uniquely identifies piecewise linear surfaces up to thin homotopy.

Developing efficient and guaranteed nonconvex algorithms has been an important challenge in modern machine learning. Algorithms with good empirical performance such as stochastic gradient descent often lack theoretical guarantees. In this paper, we analyze the class of homotopy or continuation methods for global optimi…

The paper is devoted to introduce some notions extending the unique path lifting property from a homotopy viewpoint and to study their roles in the category of fibrations. First, we define some homotopical kinds of the unique path lifting property and find all possible relationships between them. Moreover, we supplemen…

The paper proves a category of dg manifolds with finite positive amplitude.

Quaternionic frames' admissibility and homotopy proven.

In this paper we study the topology of three different kinds of spaces associated to polynomial knots of degree at most $d$, for $d\geq2$. We denote these spaces by $\mathcal{O}_d$, $\mathcal{P}_d$ and $\mathcal{Q}_d$. For $d\geq3$, we show that the spaces $\mathcal{O}_d$ and $\mathcal{P}_d$ are path connected and the …

Choose two points in the tangent bundle of the Euclidean plane $(x,X),(y,Y)\in T{ \mathbb R}^2$. In this work we characterise the immersed length minimising paths with a prescribed bound on the curvature starting at $x$, tangent to $X$; finishing at $y$, tangent to $Y$, in each connected component of the space of paths…

The space of metrics with positive Ricci curvature on spheres has special algebraic structures.

This paper refines homotopy theory for cubical sets and uniform spaces.

Quasi-holomorphic homotopies of immersions of 3-manifolds into 5-manifolds

The aim of this paper is to develop a refinement of Forman's discrete Morse theory. To an acyclic partial matching $μ$ on a finite regular CW complex $X$, Forman introduced a discrete analogue of gradient flows. Although Forman's gradient flow has been proved to be useful in practical computations of homology groups, i…

We propose a general strategy to derive null-homotopy operators for differential complexes based on the Bernstein-Gelfand-Gelfand (BGG) construction and properties of the de Rham complex. Focusing on the elasticity complex, we derive path integral operators $\mathscr{P}$ for elasticity satisfying $\mathscr{D}\mathscr{P…

Study the landscape of Lipschitz functions between manifolds using persistent homology.

Given a representation up to homotopy of a Lie algebroid on a 2-term complex of vector bundles, we define the corresponding holonomy as a strict 2-functor from a Weinstein path 2-groupoid to the gauge 2-groupoid of the underlying 2-term complex. We construct a corresponding transformation 2-groupoid and we prove that t…

We prove two theorems about homotopies of curves on 2-dimensional Riemannian manifolds. We show that, for any epsilon > 0, if two simple closed curves are homotopic through curves of bounded length L, then they are also isotopic through curves of length bounded by L + epsilon. If the manifold is orientable, then for an…

The paper explores conditions for compactness and finiteness in stratified homotopy theory.

The aim of this paper is to introduce the concepts of homotopical smallness and closeness. These are the properties of homotopical classes of maps that are related to recent developments in homotopy theory and to the construction of universal covering spaces for non-semilocally simply connected spaces, in particular to…

Parallel transport in a fibre bundle with respect to smooth paths in the base space B have recently been extended to representations of the smooth singular simplicial set Sing_{smooth}(B). Inspired by these extensions,I revisit the development of a notion of `parallel' transport in the topological setting of fibrations…

We consider solving the $\ell_1$-regularized least-squares ($\ell_1$-LS) problem in the context of sparse recovery, for applications such as compressed sensing. The standard proximal gradient method, also known as iterative soft-thresholding when applied to this problem, has low computational cost per iteration but a r…

Two locally generic maps f,g : M^n --> R^{2n-1} are regularly homotopic if they lie in the same path-component of the space of locally generic maps. Our main result is that if n is not 3 and M^n is a closed n-manifold then the regular homotopy class of every locally generic map f : M^n --> R^{2n-1} is completely determ…

We consider the $D$-dimensional Euclidean space, $\mathbb{R}^D$, with certain $(D-N)$-dimensional compact, closed and orientable sub-manifolds (which we call \emph{singularity manifolds} and represent by $\widetilde{\mathcal{S}}$) removed from it. We define and investigate the problem of finding a homotopy-like class i…

In this paper we generalize the notion of regular homotopy of immersions of a closed connected n-manifold into R^{2n-1} to locally generic mappings. The main result is that if n=2 then two mappings with singularities are regularly homotopic if and only if they have the same number of cross-cap (or Whitney-umbrella) sin…

We construct an action of the free group $F_n$ on the homotopy category of projective modules over a finite dimensional zigzag algebra. The main theorem in the paper is that this action is faithful. We describe the relationship between homotopy classes of paths in the punctured disc and complexes of projective zigzag m…

We show that diagram groups can be viewed as fundamental groups of spaces of positive paths on directed 2-complexes (these spaces of paths turn out to be classifying spaces). Thus diagram groups are analogs of second homotopy groups, although diagram groups are as a rule non-Abelian. Part of the paper is a review of th…

Computes sections of a submersion and applies to evasion path problem.

Study the topology of stable vector fields and Lyapunov functions on R^n.

Motivated by the definition of homotopy $L_\infty$ spaces, we develop a new theory of Kuranishi manifolds, closely related to Joyce's recent theory. We prove that Kuranishi manifolds form a $2$-category with invertible $2$-morphisms, and that certain fiber product property holds in this $2$-category. In a subsequent pa…

For a Heegaard surface F in a closed orientable 3-manifold M, H(M,F) = Diff(M)/Diff(M,F) is the space of Heegaard surfaces equivalent to the Heegaard splitting (M,F). Its path components are the isotopy classes of Heegaard splittings equivalent to (M,F). We describe H(M,F) in terms of Diff(M) and the Goeritz group of (…

Our purpose is to explore, in the context of loop ensembles on finite graphs, the relations between combinatorial group theory, loops topology, loop measures, and signatures of discrete paths. We determine the distributions of the loop homotopy class, and of the first and second homologies, defined by the lower central…

The study examines mean curvature flow and Heegaard surfaces in lens spaces.

Machine learning identifies boundaries of real solutions in polynomial systems.

We define Peano covering maps and prove basic properties analogous to classical covers. Their domain is always locally path-connected but the range may be an arbitrary topological space. One of characterizations of Peano covering maps is via the uniqueness of homotopy lifting property for all locally path-connected spa…

In support vector machine (SVM) applications with unreliable data that contains a portion of outliers, non-robustness of SVMs often causes considerable performance deterioration. Although many approaches for improving the robustness of SVMs have been studied, two major challenges remain in robust SVM learning. First, r…

Given a link map f into a manifold of the form Q = N \times \Bbb R, when can it be deformed to an unlinked position (in some sense, e.g. where its components map to disjoint \Bbb R-levels) ? Using the language of normal bordism theory as well as the path space approach of Hatcher and Quinn we define obstructions \widet…

It is known that shape injectivity implies homotopical Hausdorff and that the converse does not hold, even if the space is required to be a Peano continuum. This paper gives an alternative definition of homotopical Hausdorff inspired by a new topology on the set of fixed endpoint homotopy classes of paths. This version…

New results show metrics with positive scalar curvature can cancel on certain 4-manifolds.

Given a smooth manifold $M$ and a totally nonholonomic distribution $Δ\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 critical points of the endpoint map $F:γ\mapstoγ(1)$ defined on the space $Ω$ of horizonta…

Let $M$ be a topological spherical space form, i.e. a smooth manifold whose universal cover is a homotopy sphere. We determine the number of path components of the space and moduli space of Riemannian metrics with positive scalar curvature on $M$ if the dimension of $M$ is at least 5 and $M$ is not simply-connected.

The paper extends symplectic techniques to generalized complex geometry.

We show that conically smooth stratified spaces embed fully faithfully into $\infty$-categories. This articulates a stratified generalization of the homotopy hypothesis proposed by Grothendieck. As such, each $\infty$-category defines a stack on conically smooth stratified spaces, and we identify the descent conditions…