arXiv research

Unique 3-balls in S^4 can be non-isotopic.

Kirby proved that two framed links in S^3 give orientation-preserving homeomorphic results of surgery if and only if these two links are related by a sequence of two kinds of moves called stabilizations and handle-slides. Fenn and Rourke gave a necessary and sufficient condition for two framed links in a closed, orient…

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…

Defines $Φ$-harmonic maps and studies their unstable manifolds.

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…

This paper classifies embedded, codimension-one spheres which are null homotopic. This information is used to show that all null homotopic, immersed codimension-one spheres which are taut in the sense of Terng and Thorbergsson are actually distance spheres.

Null-homotopic knots in certain 3-manifolds are uniquely identified by their complements.

Complex surfaces show non-simply connected diffeomorphism groups with non-homotopic loops.

The paper defines and analyzes homotopic rotation sets for surfaces of higher genus.

We survey some properties of homotopical and homological $Z_n$-sets in topological spaces.

Two virtual link diagrams are homotopic if one may be transformed into the other by a sequence of virtual Reidemeister moves, classical Reidemeister moves, and self crossing changes. We recall the pure virtual braid group. We then describe the set of pure virtual braids that are homotopic to the identity braid.

The Epstein-Baer theory of curve isotopies is basic to the remarkable theorem that homotopic homeomorphisms of surfaces are isotopic. The groundbreaking work of R. Baer was carried out on closed, orientable surfaces and extended by D. B. A. Epstein to arbitrary surfaces, compact or not, with or without boundary and ori…

We classify homotopes of classical symmetric spaces (studied in Part I of this work). Our classification uses the fibered structure of homotopes: they are fibered as symmetric spaces, with flat fibers, over a non-degenerate base; the base spaces correspond to inner ideals in Jordan pairs. Using that inner ideals in cla…

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…

We modify the definition of the Khovanov complex for oriented links in a thickening of an oriented surface to obtain a triply graded homological link invariant with a new homotopical grading.

Homotopy theory of differentiable sheaves connects manifold properties to underlying homotopy types.

New surfaces in a 4-manifold are found that are not isotopic but homotopic.

In this paper, we show that any compact K$ä$hler manifold homotopic to a compact Riemannian manifold with negative sectional curvature admits a K$ä$hler-Einstein metric of general type. Moreover, we prove that, on a compact symplectic manifold $X$ homotopic to a compact Riemannian manifold with negative sectional curva…

Paper extends theorem on covering spaces and Jordan curves.

Survey on foliations and diffeomorphism groups.

Study shows knots with specific properties avoid certain topological surgeries.

We show that intersection homology extends Poincare duality to manifold homotopically stratified spaces (satisfying mild restrictions). This includes showing that, on such spaces, the sheaf of singular intersection chains is quasi-isomorphic to the Deligne sheaf.

In this paper, we examine the homotopy classes of positive loops in Sp(2) and Sp(4). We show that two positive loops are homotopic if and only if they are homotopic through positive loops.

We produce infinitely many examples of Anosov flows in closed 3-manifolds where the set of periodic orbits is partitioned into two infinite subsets. In one subset every closed orbit is freely homotopic to infinitely other closed orbits of the flow. In the other subset every closed orbit is freely homotopic to only one …

Every nonflat conformal minimal surface is homotopic to a proper one.

Study shows how many crossings arise in curves on surfaces.

We define winding numbers of regular closed curves on surfaces with a nice euclidean or hyperbolic geometry. We prove that two regular closed curves are regularly homotopic if and only if they are freely homotopic and have the same winding number.

In this paper we elaborate a general homotopy-theoretic framework in which to study problems of descent and completion and of their duals, codescent and cocompletion. Our approach to homotopic (co)descent and to derived (co)completion can be viewed as $\infty$-category-theoretic, as our framework is constructed in the …

Formula found for probability of random triangles on flat tori being homotopically trivial.

In this paper we construct an infinite family of homotopically rigid spaces. These examples are then used as building blocks to forge highly connected rational spaces with prescribed finite group of self-homotopy equivalences. They are also exploited to provide highly connected inflexible and strongly chiral manifolds.

A necessary and sufficient algebraic condition for a diffeomorphism over a surface embedded in the 3-sphere to be induced by a regular homotopic deformation is discussed, and a formula for the number of signed pass moves needed for this regular homotopy is given.

We give a complete characterization of those essential simple loops on 2-bridge spheres of 2-bridge links which are null-homotopic in the link complements. By using this result, we describe all upper-meridian-pair-preserving epimorphisms between 2-bridge link groups.

The paper constructs homotopically non-trivial spheres in complexified spaces.

The homological and homotopical Dehn functions are different ways of measuring the difficulty of filling a closed curve inside a group or a space. The homological Dehn function measures fillings of cycles by chains, while the homotopical Dehn function measures fillings of curves by disks. Since the two definitions invo…

Study embedding calculus and link invariants using functor calculus.

We fix a null-homologous, homotopically essential knot $J$ in a 3-manifold with PTFA fundamental group and study concordance of knots that are homotopic to $J$. We construct an infinite family of knots that are characteristic to $J$, and then use $L^2$-methods to show that they are not concordant to $J$.

We prove that any two irreducible cuspidal Hurwitz curves $C_0$ and $C_1$ (or more generally, curves with A-type singularities) in the Hirzebruch surface $F_N$ with coinciding homology classes and sets of singularities are regular homotopic; and symplectically regular homotopic if $C_0$ and $C_1$ are symplectic with re…

This article introduces the notion of a loose family of Engel structures and shows that two such families are Engel homotopic if and only if they are formally homotopic. This implies a complete h-principle when some auxiliary data is fixed. As a corollary, we show that Lorentz and orientable Cartan prolongations are cl…

Embedding calculus proves convergence for surfaces.

Study geometric characterization of asymptotic pseudodifferential calculus on spinor bundles.

We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher order theory naturally involves higher algebra (n-fold groupoids).(conceptual, topol…

Secondary Calculus formalizes PDEs using cohomology, simplifying their study.

Gluck twists on spheres yield equivalent 4-manifolds under certain conditions.

In arXiv:1207.0332 [cs.LO] was proposed a graphic lambda calculus formalism, which has sectors corresponding to untyped lambda calculus and emergent algebras. Here we explore the sector covering knot diagrams, which are constructed as macros over the graphic lambda calculus.

In this paper we give three applications of a method to prove h-principles on closed manifolds. Under weaker conditions this method proves a homological h-principle, under stronger conditions it proves a homotopical one. The three applications are as follows: a homotopical version of Vassiliev's h-principle, the contra…

Given an $m$-component link $L$ in $S^3$ ($m \ge 2$), we construct a family of links which are link homotopic, but not link isotopic, to $L$. Every proper sublink of such a link is link isotopic to the corresponding sublink of $L$. Moreover, if $L$ is an unlink then there exist links that in addition to the above prope…

We construct homotopically non-trivial maps from the unit m-sphere to the unit (m-1)-sphere with arbitrarily small k-dilation for each k greater than (m + 1)/2. We prove that homotopically non-trivial maps from the unit m-sphere to the unit (m-1)-sphere cannot have arbitrarily small k-dilation for k less than or equal …

Extends differential calculus to triole algebras.