arXiv research

New method to classify simple Smale flows on $S^3$.

The paper classifies all tight contact structures on a solid torus.

New knots bound multiple non-isotopic ribbon disks.

We give a proof of the Neilsen-Thurston classification theorem of a homeomorphism f of a standard surface of finite type as either periodic, pseudo-Anosov, or reducible. In the periodic case, we show that there exists an integer n>0 such that f is isotopic to h with h^n isotopic to the identity. This is the weaker vers…

Algorithm decides if genus-two surfaces in 3-sphere are isotopic.

We give a classification of $n$-component links up to $C_n$-move. In order to prove this classification, we characterize Brunnian links, and have that a Brunnian link is ambient isotopic to a band sum of trivial link and Milnor's links.

We work entirely in the smooth category. An embedding $f:(S^2\times S^1)\sqcup S^3\rightarrow {\mathbb R}^6$ is {\it Brunnian}, if the restriction of $f$ to each component is isotopic to the standard embedding. For each triple of integers $k,m,n$ such that $m\equiv n \pmod{2}$, we explicitly construct a Brunnian embedd…

We prove that a real Lagrangian submanifold in a closed symplectic manifold is unique up to cobordism. We then discuss the classification of real Lagrangians in $\mathbb{C} P^2$ and $S^2\times S^2$. In particular, we show that a real Lagrangian in $\mathbb{C} P^2$ is unique up to Hamiltonian isotopy and that a real Lag…

In this paper, we show that any unknotting tunnel for a two bridge knot is isotopic to either one of known ones. This together with Morimoto-Sakuma's result gives the complete classification of unknotting tunnels for two bridge knots up to isotopies and homeomorphisms.

We show that under certain conditions the flyping operation on rational tangles, which produces topologically isotopic tangles, may also produce tangles which are not Legendrian isotopic when viewed in the standard contact structure on $\mathbb{R}^3$. This work is motivated by questions posed by Traynor, and incorporat…

A new classification theorem for links by the authors and Roger Fenn leads to computable link invariants. As an illustration we distinguish the left and right trefoils and recover the result of Carter et al that the 2-twist-spun trefoil is not isotopic to its orientation reverse. We sketch the proof the classification …

In this paper a classification of Reidemeister moves, which is the most refined, is introduced. In particular, this classification distinguishes some $Ω_3$-moves that only differ in how the three strands that are involved in the move are ordered on the knot. To transform knot diagrams of isotopic knots into each other …

We give a new characterization of symplectic surfaces in CP^2 via bridge trisections. Specifically, a minimal genus surface in CP^2 is smoothly isotopic to a symplectic surface if and only if it is smoothly isotopic to a surface in transverse bridge position. We discuss several potential applications, including the cla…

We call two Engel structures isotopic if they are homotopic through Engel structures by a homotopy that fixes the characteristic line field. In the present paper we define an isotopy invariant of Engel structures on oriented circle bundles over closed oriented three-manifolds and apply it to give an isotopy classificat…

Here we discuss an example of topologically isotopic but smoothly non-isotopic pair of 2-spheres in a simply connected 4-manifold, which become smoothly isotopic after stabilizing by connected summing with S^2 x S^2.

This paper classifies 2-plat 2-knots using a new invariant.

The paper finds infinitely many 4-manifolds with non-isotopic sections.

We extend the unpublished work of M. Handel and R. Miller on the classification, up to isotopy, of endperiodic automorphisms of surfaces. We give the Handel-Miller construction of the geodesic laminations, give an axiomatic theory for pseudo-geodesic lamaniations, show the geodesic laminations satisfy the axioms, and p…

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…

We expect manifolds obtained by Dehn filling to inherit properties from the knot manifold. To what extent does that hold true for the Heegaard structure? We study four changes to the Heegaard structure that may occur after filling: (1) Heegaard genus decreases, (2) a new Heegaard surface is created, (3) a non-stabilize…

In 1989, Y. Eliashberg proved that two overtwisted contact structures on a closed oriented 3-manifold are isotopic if and only if they are homotopic as 2-plane fields. We provide an alternative proof of this theorem using the convex surface theory and bypasses.

Study finds non-isotopic transverse tori in Engel manifolds.

Classifies essential annuli in a genus two handlebody exterior.

We prove that loose Legendrian knots in a rational homology contact 3-sphere, satisfying some additional hypothesis, are Legendrian isotopic if and only if they have the same classical invariants. The proof requires a result of Dymara on loose Legendrian knots and Eliashberg's classification of overtwisted contact stru…

Links with isotopic preimages in $S^3$ are isotopic in $RP^3$.

New obstructions show some 4-manifold homeomorphisms are pseudo-isotopic but not isotopic.

New ribbon disks in 4D space, non-isotopic to each other.

We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a consequence, analogous families of diffeomorphisms and metrics of positive scalar curva…

We construct infinitely many smooth oriented 4-manifolds containing pairs of homotopic, smoothly embedded 2-spheres that are not topologically isotopic, but that are equivalent by an ambient diffeomorphism inducing the identity on homology. These examples show that Gabai's recent "Generalized" 4D Lightbulb Theorem does…

Classifies toric fibers in $S^2 imes S^2$.

Low entropy hypersurfaces in 4D are isotopic to a sphere.

Smoothly isotopic surfaces in a 4-manifold are stable isotopic if trivial in the 2-homology.

We construct a pair of isotopic link configurations that are not thick isotopic while preserving total length.

New spheres can split a 4D link in ways not possible in 3D.

New non-isotopic Seifert surfaces found in 4-ball.

We use the methods of Hedden, Juhasz, and Sarkar to exhibit a set of arborescent knots that bound large numbers of non-isotopic minimal genus spanning surfaces. In particular, we describe a sequence of prime knots K_{n} which will bound at least 2^{2n-1} non-isotopic minimal spanning surfaces of genus n.

This paper gives two new combinatorial topological proofs of the classification of rational tangles. Each proof rests on an elegant lemma showing that rational tangles are isotopic to canonical alternating rational tangles. The first proof defines the tangle fraction from the canonical form and uses flyping to prove in…

In this paper, we study stable equivalence of exotically knotted surfaces in 4-manifolds, surfaces that are topologically isotopic but not smoothly isotopic. We prove that any pair of embedded surfaces in the same homology class become smoothly isotopic after stabilizing them by handle additions in the ambient 4-manifo…

The Nielsen Conjecture for Homeomorphisms asserts that any homeomorphism $f$ of a closed manifold is isotopic to a map realizing the Nielsen number of $f$, which is a lower bound for the number of fixed points among all maps homotopic to $f$. The main theorem of this paper proves this conjecture for all orientation pre…

The study constructs examples of pseudo-isotopic but not isotopic 4-manifold diffeomorphisms.

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 give examples of contactomorphisms in every dimension that are smoothly isotopic to the identity but that are not contact isotopic to the identity. In fact, we prove the stronger statement that they are not even symplectically pseudo-isotopic to the identity. We also give examples of pairs of contactomorphisms which…

Lisa Traynor has described an example of a two-component Legendrian `circular helix link' in the 1-jet space of the circle (with its canonical contact structure) that is topologically but not Legendrian isotopic to that same link with the order of the two components reversed. We give a complete classification of the Le…

Consider a smooth $4$-manifold $X$ and a diffeomorphism $f : X \to X$. We give an obstruction in the form of an adjunction inequality for an embedded surface in $X$ to be isotopic to its image under $f$. It follows that the minimal genus of a surface representing a given homology class and which is isotopic to its imag…

The study examines the realizability of a 4-manifold invariant for homeomorphisms.

In this paper, we study contact structures on any open 3-manifold V which is the interior of a compact 3-manifold. To do this, we introduce proper contact isotopy invariants called the slope at infinity and the division number at infinity. We first prove several classification theorems for T^2 x [0, \infty), T^2 x R, a…

We use microlocal sheaf theory to show that if two knots have Legendrian isotopic conormal tori, then the knots are isotopic or mirror images.

For any pair of integers $n\geq 1$ and $q\geq 2$, we construct an infinite family of mutually non-isotopic symplectic tori representing the homology class $q[F]$ of an elliptic surface E(n), where $[F]$ is the homology class of the fiber. We also show how such families can be non-isotopically and symplectically embedde…