arXiv research

Two algorithms use normal surfaces to detect unknots and prove knots.

Characterizes unknotted curves on Seifert surfaces of twist knots.

All knots with unknotting number ≤ 21 are smoothly slice in K3 surface.

We consider surface links in the 4-space which are presented by the form of simple branched coverings over the standard torus, which we call torus-covering links. In this paper, we study unknotting numbers of torus-covering links. In some cases, we can determine the unknotting numbers.

It is proved that every disconnected surface-link with meridian-based free fundamental group is a trivial (i.e., an unknotted-unlinked) surface-link. This result is a surface-link version of the author's recent announcement result on smooth unknotting of a surface-knot.

Manufacturing infinite sets of knotted and unknotted surfaces in 4-manifolds.

New methods find minimal crossing numbers for surfaces in $S^4$.

It is known that any surface knot can be transformed to an unknotted surface knot or a surface knot which has a diagram with no triple points by a finite number of 1-handle additions. The minimum number of such 1-handles is called the unknotting number or the triple point cancelling number, respectively. In this paper,…

We describe a method for generating minimal hard prime surface-link diagrams. We extend the known examples of minimal hard prime classical unknot and unlink diagrams up to three components and generate figures of all minimal hard prime surface-unknot and surface-unlink diagrams with prime base surface components up to …

We resolve parts (A) and (B) of Problem 1.100 from Kirby's list by showing that many nontrivial links arise as cross-sections of unknotted holomorphic disks in the four-ball. The techniques can be used to produce unknotted ribbon surfaces with prescribed cross-sections, including unknotted Lagrangian disks with nontriv…

Every link is shown to be presentable as a boundary of an unknotted flat banded surface. A (flat) banded link is defined as a boundary of an unknotted (flat) banded surface. A link's (flat) band index is defined as the minimum number of bands required to present the link as boundaries of an unknotted (flat) banded surf…

We show that an $(n+1)$-bridge sphere for the unknot is a topologically minimal surface of index at most $n$.

We generalize the idea of unknotting knots to Seifert surfaces. We define an operation called ribbon twist which serves as the equivalent of a crossing change for knots. A Seifert surface is considered untwisted, the equivalent to unknotted, if it is isotopic to a standardly embedded n-fold punctured torus. A Seifert s…

We consider a relation between two kinds of unknotting numbers defined by using a band surgery on unoriented knots; the band-unknotting number and H(2)-unknotting number, which we may characterize in terms of the first Betti number of surfaces in S^3 spanning the knot and the trivial knot. We also give several examples…

Smooth tori in S^4 are topologically unknotted.

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

We prove surfaces are unknotted with specific properties.

New measure shows how links can be untangled as twists increase.

Every cubic graph is a bridge trisection's 1-skeleton for a knotted surface.

New bounds and examples for sphere unknotting numbers.

Tollefson described a variant of normal surface theory for 3-manifolds, called Q-theory, where only the quadrilateral coordinates are used. Suppose $M$ is a triangulated, compact, irreducible, boundary-irreducible 3-manifold. In Q-theory, if $M$ contains an essential surface, then the projective solution space has an e…

New method constructs Seifert solids from bridge trisections.

The paper shows how to unknot certain nonorientable surfaces in 4-dimensional spaces.

New 2-links created in 4D spaces, topologically unknotted but not smoothly.

Study contact structures on lens spaces, classifying rational knots.

In this paper we prove that a certain class of embedded unknotted curves in $\mathbb{R}^3$ evolving under curve shortening flow do not form singularities Type II before collapsing to a point. Our proof uses tools of the minimal surface theory to study a suitable isoperimetric ratio.

It is a well-known procedure for constructing a torus knot or link that first we prepare an unknotted torus and meridian disks in the complementary solid tori of it, and second smooth the intersections of the boundary of meridian disks uniformly. Then we obtain a torus knot or link on the unknotted torus and its Seifer…

Paper proves uniqueness of bridge multisections for surfaces in 4-space.

Suppose $K$ is an unknot lying in the 1-skeleton of a triangulated 3-manifold with $t$ tetrahedra. Hass and Lagarias showed there is an upper bound, depending only on $t$, for the minimal number of elementary moves to untangle $K$. We give a simpler proof, utilizing a normal form for surfaces whose boundary is containe…

Some generalizations and variations of the Fintushel-Stern rim surgery are known to produce smoothly knotted surfaces. We show that if the fundamental groups of their complements are cyclic, then these surfaces are topologically unknotted. Using a twist-spinning construction from high-dimensional knot theory, we constr…

We consider the problem of deciding whether a polygonal knot in 3-dimensional Euclidean space is unknotted, capable of being continuously deformed without self-intersection so that it lies in a plane. We show that this problem, {\sc unknotting problem} is in {\bf NP}. We also consider the problem, {\sc unknotting probl…

We find conditions under which a non-orientable closed surface S embedded into an orientable closed 4-manifold X can be represented by a connected sum of an embedded closed surface in X and an unknotted projective plane in a 4-sphere. This allows us to extend the Gabai 4-dimensional light bulb theorem and the Auckly-Ki…

Study on hard Legendrian unknots using normal rulings.

If a finite group of orientation-preserving diffeomorphisms of the 3-dimensional torus leaves invariant an oriented, closed, embedded surface of genus g>1 and preserves the orientation of the surface, then its order is bounded from above by 12(g-1). In the present paper we classify (up to conjugation) all such group ac…

We provide three 3-dimensional characterizations of the Z-slice genus of a knot, the minimal genus of a locally-flat surface in 4-space cobounding the knot whose complement has cyclic fundamental group: in terms of balanced algebraic unknotting, in terms of Seifert surfaces, and in terms of presentation matrices of the…

We adapt work of Kirby-Thompson and Zupan to define an integer invariant $\mathcal{L}(\mathcal{T})$ of a bridge trisection $\mathcal{T}$ of a smooth surface $\mathcal{K}$ in $S^4$ or $B^4$. We show that when $\mathcal{L}(\mathcal{T})=0$, then the surface $\mathcal{K}$ is unknotted. We also show show that for a trisecti…

Agent finds unknotting sequences for complex knots.

Let $K$ be a knot with an unknotting tunnel $γ$ and suppose that $K$ is not a 2-bridge knot. There is an invariant $ρ= p/q \in \mathbb{Q}/2 \mathbb{Z}$, $p$ odd, defined for the pair $(K, γ)$. The invariant $ρ$ has interesting geometric properties: It is often straightforward to calculate; e. g. for $K$ a torus knot an…

Let $OE_g$ (resp. $CE_g$ and $AE_g$) and resp. $OE^o_g$ be the maximum order of finite (resp. cyclic and abelian) groups $G$ acting on the closed orientable surfaces $Σ_g$ which extend over $(S^3, Σ_g)$ among all embeddings $Σ_g\to S^3$ and resp. unknotted embeddings $Σ_g\to S^3$. It is known that $OE^o_g\le 12(g-1)$, …

There is a question asking whether a handle-irreducible summand of every stable-ribbon surface-link is a unique ribbon surface-link. This question for the case of a trivial surface-link is affirmatively answered. That is, a handle-irreducible summand of every stably trivial surface-link is only a trivial 2-link. By com…

The (ordinary) unknotting-number of 1-dimensional knots, which is defined by using the crossing-change, is a very basic and important invariant. It is very natural to consider the `unknotting-number' associated with other local-moves on n-dimensional knots, where n is a natural number. In this paper we prove the follow…

Shows large unknotting number for simple knots.

New invariant measures how many twists are needed to unknot welded knots.

Same-genus Seifert surfaces for non-split alternating links are smoothly isotopic.

We prove that if an alternating knot has unknotting number one, then there exists an unknotting crossing in any alternating diagram. This is done by showing that the obstruction to unknotting number one developed by Greene in his work on alternating 3-braid knots is sufficient to identify all unknotting number one alte…

In "Tunnel one, fibered links", the second author showed that the tunnel of a tunnel number one, fibered link can be isotoped to lie as a properly embedded arc in the fiber surface of the link. In this paper, we analyze how the arc behaves under the monodromy action, and show that the tunnel arc is nearly clean, with t…

Grid homology shows knot unknotting lower bound.

The paper extends graph signatures to Klein graphs and foams, linking signatures to knot properties.