arXiv research

Uniform convergence of isotopies implies ambient isotopy, aiding knot equivalence.

The paper extends knot contact homology to tangles and proves a gluing formula.

New spherical curve deformations solve a conjecture.

Complete classification of handlebody links up to six crossings.

Example shows smooth vs topological isotopy in a 4-manifold.

Embeddings of surfaces in 5-manifolds are classified by an invariant.

Locally flat 2-spheres in $\mathbb{C} P^2$ with knot group $\mathbb{Z}_2$ are ambiently isotopic if homologous.

This paper investigates the equivalence between Yamada polynomial and Jones polynomial of associated links for brunnian θ-curves.

Study theta-curves on torus in 3-sphere, classifying them.

New link found that can't be smoothly deformed.

If a continuous map f: X->Q is approximable arbitrary closely by embeddings X->Q, can some embedding be taken onto f by a pseudo-isotopy? This question, called Isotopic Realization Problem, was raised by Shchepin and Akhmet'ev. We consider the case where X is a compact n-polyhedron, Q a PL m-manifold and show that the …

Determinants of theta curves and symmetric graphs are studied.

Study surfaces in 4-manifolds with cyclic fundamental group.

Tait's flyping conjecture, stating that two reduced, alternating, prime link diagrams can be connected by a finite sequence of flypes, is extended to reduced, alternating, prime diagrams of 4-regular graphs in S^3. The proof of this version of the flyping conjecture is based on the fact that the equivalence classes wit…

Study knotted surfaces in simply-connected 4-manifolds with trivial boundary.

The paper studies knitted surfaces and surface-links, showing their isotopy and closure properties.

A subset of ${\mathbb R}^d$ is called "sticky" if it cannot be isotoped off of itself by a small ambient isotopy. Sticky wild Cantor sets are constructed in ${\mathbb R}^d$ for each $d\geq 4$.

Unique simple spines of homotopy 2-spheres are shown to be ambiently isotopic.

Links in lens spaces may be defined to be equivalent by ambient isotopy or by diffeomorphism of pairs. In the first case, for all the combinatorial representations of links, there is a set of Reidemeister-type moves on diagrams connecting isotopy equivalent links. In this paper we provide a set of moves on disk, band a…

We combine Freedman's topology with Eliashberg's holomorphic theory to construct Stein neighborhood systems in complex surfaces, and use these to study various notions of convexity and concavity. Every tame, topologically embedded 2-complex K in a complex surface, after C^0-small topological ambient isotopy, is the int…

We show that given a partially flat angled ideal triangulation for a 3-manifold $M$ with boundary (as defined by Lackenby), there is an algorithm to produce a list of Heegaard splittings for $M$ such that below a given genus $g$, each isotopy class appears exactly once. In particular, this algorithm determines precisel…

The mapping class group of a Heegaard splitting is the group of automorphisms of the ambient 3-manifold that take the surface onto itself, modulo isotopies that keep the surface on itself. We characterize the mapping classes that restrict to periodic and reducible automorphisms of the surface.

Smooth knots can be embedded into a specific Menger continuum.

New method shows nonorientable surfaces in 4D are topologically unknotted.

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

Paper constructs infinitely many pairs of Seifert surfaces for each link.

Any given surface of revolution embedded in Euclidean three-space can always be perturbed by arbitrarily small ambient isotopies as to admit highly nontrivial vector fields inducing infinitesimal deformations. For this matter Morse Theory is used, clarifying and giving a general response of a problem started with an id…

In part I it was shown that for each k>0 the generalized Sato-Levine invariant detects a gap between k-quasi-isotopy of link and peripheral structure preserving isomorphism of the finest quotient G_k of its fundamental group, `functorially' invariant under k-quasi-isotopy. Here we show that Cochran's derived invariant …

New Cantor sets with high-dimensional projections discovered.

We introduce the notion of rational links in the solid torus. We show that rational links in the solid torus are fully characterized by rational tangles, and hence by the continued fraction of the rational tangle. Furthermore, we generalize this by giving an infinite family of ambient isotopy invariants of colored diag…

For proper subsets U of {1,2,...,31} we define and construct U-regular isotopy invariants of the Carter-Rieger-Saito movies (representing knotted surfaces) and use these to show that there are ambient isotopic knotted surfaces represented by movies M1 and M2 for which movie-moves of type 31 are required to get from M1 …

We define ambient isotopy invariants of oriented knots and links using the counting invariants of framed links defined by finite racks. These invariants reduce to the usual quandle counting invariant when the rack in question is a quandle. We are able to further enhance these counting invariants with 2-cocycles from th…

We say that a topological $n$-manifold $N$ is a cubical $n$-manifold if it is contained in the $n$-skeleton of the canonical cubulation $\mathcal{C}$ of ${\mathbb{R}}^{n+k}$ ($k\geq1$). In this paper, we prove that any closed, oriented cubical $2$-manifold has a transverse field of 2-planes in the sense of Whitehead an…

We establish a full $h-$principle ($C^0-$close, relative, parametric) for the simplification of singularities of Lagrangian and Legendrian fronts. More precisely, we prove that if there is no homotopy theoretic obstruction to simplifying the singularities of tangency of a Lagrangian or Legendrian submanifold with respe…

Develops a framework for stuck knots with rigid constraints and invariants.

Two new minor minimal intrinsically chiral graphs identified.

New diagrams classify triply periodic entanglements.

New criteria for Cantor set tameness and wildness via projections.

It is well known that surface-links in 4-space can be presented by diagrams on the plane of 4-valent spatial graphs with makers on the vertices, called marked graph diagrams. In this paper we extend the method of presenting surface-links by marked graph diagrams to presenting immersed surface-links. We also give some m…

We define $A_k$-moves for embeddings of a finite graph into the 3-sphere for each natural number $k$. Let $A_k$-equivalence denote an equivalence relation generated by $A_k$-moves and ambient isotopy. $A_k$-equivalence implies $A_{k-1}$-equivalence. Let ${\cal F}$ be an $A_{k-1}$-equivalence class of the embeddings of …

Rectangular diagrams of links are link diagrams in the plane ${\mathbb R}^2$ such that they are composed of vertical line segments and horizontal line segments and vertical segments go over horizontal segments at all crossings. P. R. Cromwell and I. A. Dynnikov showed that rectangular diagrams of links are useful for d…

We show that the only way of changing the framing of a link by ambient isotopy in an oriented $3$-manifold is when the manifold has a properly embedded non-separating $S^2$. This change of framing is given by the Dirac trick, also known as the light bulb trick. The main tool we use is based on McCullough's work on the …

We prove a Markov theorem for tame links in a connected closed orientable 3-manifold $M$ with respect to a plat-like representation. More precisely, given a genus $g$ Heegaard surface $Σ_g$ for $M$ we represent each link in $M$ as the plat closure of a braid in the surface braid group $B_{g,2n}=π_1(C_{2n}(Σ_g))$ and an…

New proof of link factorization theorem, avoiding case exhaustion.

The mapping class group of a Heegaard splitting is the group of connected components in the set of automorphisms of the ambient manifold that map the Heegaard surface onto itself. For the genus three Heegaard splitting of the 3-torus, we find an eight element generating set for this group. Six of these generators induc…

We construct a series of finitely presented semigroups. The centers of these semigroups encode uniquely up to rigid ambient isotopy in 3-space all non-oriented spatial graphs. This encoding is obtained by using three-page embeddings of graphs into the product of the line with the cone on three points. By exploiting thr…

We introduce an Alexander polynomial for MOY graphs. For a framed trivalent MOY graph $\mathbb{G}$, we refine the construction and obtain a framed ambient isotopy invariant $Δ_{(\mathbb{G},c)}(t)$. The invariant $Δ_{(\mathbb{G}, c)}(t)$ satisfies a series of relations, which we call MOY-type relations, and conversely t…

We provide an algorithm to determine the Heegaard genus of simple 3-manifolds with non-empty boundary. More generally, we supply an algorithm to determine (up to ambient isotopy) all the Heegaard splittings of any given genus for the manifold. As a consequence, the tunnel number of a hyperbolic link is algorithmically …