We establish a fundamental connection between smooth and polygonal knot energies, showing that the Minimum Distance Energy for polygons inscribed in a smooth knot converges to the Moebius Energy of the smooth knot as the polygons converge to the smooth knot. However, the polygons must converge in a ``nice'' way, and the energies must be correctly regularized. We determine an explicit error bound between the energies in terms of the number of the edges of the polygon and the Ropelength of the smooth curve.
For a polygonal knot K, it is shown that a tube of radius R(K), the polygonal thickness radius, is an embedded torus. Given a thick configuration K, perturbations of size r<R(K) define satellite structures, or local knotting. We explore knotting within these tubes both theoretically and numerically. We provide bounds on perturbation radii for which we can see small trefoil and figure-eight summands and use Monte Carlo simulations to approximate the relative probabilities of these structures as a function of the number of edges.
Let $K$ be a polygonal knot in general position with vertex set $V$. A \emph{generic quadrisecant} of $K$ is a line that is disjoint from the set $V$ and intersects $K$ in exactly four distinct points. We give an upper bound for the number of generic quadrisecants of a polygonal knot $K$ in general position. This upper bound is in terms of the number of edges of $K$.
The space of n-sided polygons embedded in three-space consists of a smooth manifold in which points correspond to piecewise linear or ``geometric'' knots, while paths correspond to isotopies which preserve the geometric structure of these knots. The topology of these spaces for the case n = 6 and n = 7 is described. In both of these cases, each knot space consists of five components, but contains only three (when n = 6) or four (when n = 7) topological knot types. Therefore ``geometric knot equivalence'' is strictly stronger than topological equivalence. This point is demonstrated by the hexag…
Previous work used polygonal realizations of knots to reduce the problem of computing the superbridge number of a realization to a linear programming problem, leading to new sharp upper bounds on the superbridge index of a number of knots. The present work extends this technique to polygonal realizations with an odd number of edges and determines the exact superbridge index of many new knots, including the majority of the 9-crossing knots for which it was previously unknown and, for the first time, several 12-crossing knots. Interestingly, at least half of these superbridge-minimizing polygona…
It is known that every nontrivial knot has at least two quadrisecants. Given a knot, we mark each intersection point of each of its quadrisecants. Replacing each subarc between two nearby marked points with a straight line segment joining them, we obtain a polygonal closed curve which we will call the quadrisecant approximation of the given knot. We show that for any hexagonal trefoil knot, there are only three quadrisecants, and the resulting quadrisecant approximation has the same knot type.
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 problem} of determining whether two or more such polygons can be split, or continuously deformed without self-intersection so that they occupy both sides of a plane without intersecting it. We show that it also is in NP. Finally, we show that the problem of determining the genus of a …
We compute the smooth 4-genera of the prime knots with 12 crossings whose values, as reported on the KnotInfo website, were unknown. This completes the calculation of the smooth 4-genus for all prime knots with 12 or fewer crossings.
A regular $n$-gon inscribing a knot is a sequence of $n$ points on a knot, such that the distances between adjacent points are all the same. It is shown that any smooth knot is inscribed by a regular $n$-gon for any $n$.
We define a new smooth concordance homomorphism based on the knot Floer complex and an associated concordance invariant, epsilon. As an application, we show that an infinite family of topologically slice knots are independent in the smooth concordance group.
We give infinitely many examples of 2-bridge knots for which the topological and smooth slice genera differ. The smallest of these is the 12-crossing knot $12a255$. These also provide the first known examples of alternating knots for which the smooth and topological genera differ.
The $0$-surgeries of two knots $K_1$ and $K_2$ are homology cobordant rel meridians if there exists a $\mathbb{Z}$-homology cobordism $X$ between them such that the two knot meridians are in the same homology class in $H_{1}(X,\mathbb{Z})$. In this paper, we give a pair of rationally slice knots which are not smoothly concordant but whose $0$-surgeries are homology cobordant rel meridians. One knot in the pair is the figure eight knot, which has concordance order two; all previous examples of such pairs of knots are infinite order.
We use the Heegaard Floer obstructions defined by Grigsby, Ruberman, and Strle to show that forty-six of the sixty-seven knots through eleven crossings whose concordance orders were previously unknown have infinite concordance order.
The existence of topologically slice knots that are of infinite order in the knot concordance group followed from Freedman's work on topological surgery and Donaldson's gauge theoretic approach to 4-manifolds. Here, as an application of Ozsvath and Szabo's Heegaard-Floer theory, we show the existence of an infinite subgroup of the smooth concordance group generated by topologically slice knots of concordance order two. In addition, no nontrivial element in this subgroup can be represented by a knot with Alexander polynomial one.
We address primary decomposition conjectures for knot concordance groups, which predict direct sum decompositions into primary parts. We show that the smooth concordance group of topologically slice knots has a large subgroup for which the conjectures are true and there are infinitely many primary parts each of which has infinite rank. This supports the conjectures for topologically slice knots. We also prove analogues for the associated graded groups of the bipolar filtration of topologically slice knots. Among ingredients of the proof, we use amenable $L^2$-signatures, Ozsváth-Szabó $d$-inva…
Let P be a knot in an unknotted solid torus (i.e. a satellite operator or pattern), K a knot in S^3 and P(K) the satellite of K with pattern P. For any satellite operator P, this correspondence gives a function P : C -> C on the set of smooth concordance classes of knots. We give examples of winding number one satellite operators P and a class of knots K, such that the iterated satellites P^i(K) are distinct as smooth concordance classes, i.e. if i=/=j>0, P^i(K)=/=P^j(K), where each P^i is unknotted when considered as a knot in S^3. This implies that the operators P^i give distinct functions o…
The image of a polygonal knot K under a spherical inversion of R^3 (union infinity) is a simple closed curve made of arcs of circles, having the same knot type as the mirror image of K. Suppose we reconnect the vertices of the inverted polygon with straight lines, making a new polygon. This may be a different knot type. For example, a certain 7-segment figure-8 knot can be transformed to a figure-8 knot, right and left handed trefoils, or an unknot, by selecting different inverting spheres. Which knot types can be obtained from a given original polygon K under this process? We show that for la…
We investigate the disparity between smooth and topological almost concordance of knots in general 3-manifolds Y. Almost concordance is defined by considering knots in Y modulo concordance in Yx[0,1] and the action of the concordance group of knots in the 3-sphere that ties in local knots. We prove that the trivial free homotopy class in every 3-manifold other than the 3-sphere contains an infinite family of knots, all topologically concordant, but not smoothly almost concordant to one another. Then, in every lens space and for every free homotopy class, we find a pair of topologically concord…
Let $W$ be a compact smooth $4$-manifold that deformation retract to a PL embedded closed surface. One can arrange the embedding to have at most one non-locally-flat point, and near the point the topology of the embedding is encoded in the singularity knot $K$. If $K$ is slice, then $W$ has a smooth spine, i.e., deformation retracts onto a smoothly embedded surface. Using the obstructions from the Heegaard Floer homology and the high-dimensional surgery theory, we show that $W$ has no smooth spines if $K$ is a knot with nonzero Arf invariant, a nontrivial L-space knot, the connected sum of non…
For a given smooth $2$-knot in $S^4$, we relate the existence of a smooth Seifert hypersurface of a certain class to the existence of irreducible $ SU(2)$-representations of its knot group. For example, we see that any smooth $2$-knot having the Poincaré homology $3$-sphere as a Seifert hypersurface has at least four irreducible $SU(2)$-representations of its knot group. This result is false in the topological category. The proof uses a quantitative formulation of instanton Floer homology. Using similar techniques, we also obtain similar results about codimension-$1$ embeddings of homology $3$…
In this paper we prove several related results concerning smooth $\Z_p$ or $\s^1$ actions on 4-manifolds. We show that there exists an infinite sequence of smooth 4-manifolds $X_n$, $n\geq 2$, which have the same integral homology and intersection form and the same Seiberg-Witten invariant, such that each $X_n$ supports no smooth $\s^1$-actions but admits a smooth $\Z_n$-action. In order to construct such manifolds, we devise a method for annihilating smooth $\s^1$-actions on 4-manifolds using Fintushel-Stern knot surgery, and apply it to the Kodaira-Thurston manifold in an equivariant setting…
Any knot in a solid torus, called a pattern or satellite operator, acts on knots in the 3-sphere via the satellite construction. We introduce a generalization of satellite operators which form a group (unlike traditional satellite operators), modulo a generalization of concordance. This group has an action on the set of knots in homology spheres, using which we recover the recent result of Cochran and the authors that satellite operators with strong winding number $\pm 1$ give injective functions on topological concordance classes of knots, as well as smooth concordance classes of knots modulo…
We propose and analyze a structure with which to organize the difference between a knot in the 3-sphere bounding a topologically embedded 2-disk in the 4-ball and it bounding a smoothly embedded disk. The n-solvable filtration of the topological knot concordance group, due to Cochran-Orr-Teichner, may be complete in the sense that any knot in the intersection of its terms may well be topologically slice. However, the natural extension of this filtration to what is called the n-solvable filtration of the smooth knot concordance group, is unsatisfactory because any topologically slice knot lies …
The main goal of this article is to obtain a condition under which an infinite collection $\mathscr{F}$ of satellite knots (with companion a positive torus knot and pattern similar to the Whitehead link) freely generates a subgroup of infinite rank in the smooth concordance group. This goal is attained by examining both the instanton moduli space over a 4-manifold with tubular ends and the corresponding Chern-Simons invariant of the adequate 3-dimensional portion of the 4-manifold. More specifically, the result is derived from Furuta's criterion for the independence of Seifert fibred homology …
Let C_T be the subgroup of the smooth knot concordance group generated by topologically slice knots and let C_D be the subgroup generated by knots with trivial Alexander polynomial. We prove the quotient C_T/C_D is infinitely generated, and uncover similar structure in the 3-dimensional rational spin bordism group. Our methods also lead to the construction of links that are topologically, but not smoothly, concordant to boundary links.
Computational topology is a vibrant contemporary subfield and this article integrates knot theory and mathematical visualization. Previous work on computer graphics developed a sequence of smooth knots that were shown to converge point wise to a piecewise linear (PL) approximant. This is extended to isotopic convergence, with that discovery aided by computational experiments. Sufficient conditions to attain isotopic equivalence can be determined a priori. These sufficient conditions need not be tight bounds, providing opportunities for further optimizations. The results presented will facilita…
A ribbon is, intuitively, a smooth mapping of an annulus $S^1 \times I$ in 3-space having constant width $\varepsilon$. This can be formalized as a triple $(x,\varepsilon, \mathbf{u})$ where $x$ is smooth curve in 3-space and $\mathbf{u}$ is a unit vector field based along $x$. In the 1960s and 1970s, G. Calugareanu, G. H. White, and F. B. Fuller proved relationships between the geometry and topology of thin ribbons, in particular the "Link = Twist + Writhe" theorem that has been applied to help understand properties of double-stranded DNA. Although ribbons of small width have been studied ext…
We extend the classical definition of {\it width} to higher dimensional, smooth codimension 2 knots and show in each dimension there are knots of arbitrarily large width.
We study the effect of satellite operations on the Upsilon invariant of Ozsvath-Stipsicz-Szabo. We obtain results concerning when a knot and its satellites are independent; for example, we show that the set $\{D_{2^i,1}\}_{i=1}^\infty$ is a basis for an infinite rank summand of the group of smooth concordance classes of topologically slice knots, for D the positive clasped untwisted Whitehead double of any knot with positive tau-invariant, e.g. the right-handed trefoil. We also prove that the image of the Mazur satellite operator on the smooth knot concordance group contains an infinite rank s…
We use classical techniques to answer some questions raised by Daniele Celoria about almost-concordance of knots in arbitrary closed $3$-manifolds. We first prove that, given $Y^3 \neq S^3$, for any non-trivial element $g\in π_1(Y)$ there are infinitely many distinct smooth almost-concordance classes in the free homotopy class of the unknot. In particular we consider these distinct smooth almost-concordance classes on the boundary of a Mazur manifold and we show none of these distinct classes bounds a PL-disk in the Mazur manifold, but all the representatives we construct are topologically sli…
We study 3-braid knots of finite smooth concordance order. A corollary of our main result is that a chiral 3-braid knot of finite concordance order is ribbon.
We define a filtration of the smooth concordance group based on the genus of representative knots. We use the Heegaard Floer epsilon and Upsilon invariants to prove the quotient groups with respect to this filtration are infinitely generated. Results are applied to three infinite families of topologically slice knots.
We show that the difference between the topological 4-genus of a knot and the minimal genus of a surface bounded by that knot that can be decomposed into a smooth concordance followed by an algebraically simple locally flat surface can be arbitrarily large. This extends work of Hedden-Livingston-Ruberman showing that there are topologically slice knots which are not smoothly concordant to any knot with trivial Alexander polynomial.
We consider the question: "If the zero-framed surgeries on two oriented knots in the 3-sphere are integral homology cobordant, preserving the homology class of the positive meridians, are the knots themselves concordant?" We show that this question has a negative answer in the smooth category, even for topologically slice knots. To show this we first prove that the zero-framed surgery on K is Z-homology cobordant to the zero-framed surgery on many of its winding number one satellites P(K). Then we prove that in many cases the tau and s-invariants of K and P(K) differ. Consequently neither tau …
The n-solvable filtration $\{\mathcal{F}_n\}_{n=0}^\infty$ of the smooth knot concordance group (denoted by $\mathcal{C}$), due to Cochran-Orr-Teichner, has been instrumental in the study of knot concordance in recent years. Part of its significance is due to the fact that certain geometric characterizations of a knot imply membership in various levels of the filtration. We show the counterpart of this fact for two new filtrations of $\mathcal{C}$ due to Cochran-Harvey-Horn, the positive and negative filtrations, denoted by $\{\mathcal{P}_n\}_{n=0}^\infty$ and $\{\mathcal{N}_n\}_{n=0}^\infty$ …
The $n$-skeleton of the canonical cubulation $\cal C$ of $\mathbb{R}^{n+2}$ into unit cubes is called the {\it canonical scaffolding} ${\cal{S}}$. In this paper, we prove that any smooth, compact, closed, $n$-dimensional submanifold of $\mathbb{R}^{n+2}$ with trivial normal bundle can be continuously isotoped by an ambient isotopy to a cubic submanifold contained in ${\cal{S}}$. In particular, any smooth knot $\mathbb{S}^{n}\hookrightarrow\mathbb{R}^{n+2}$ can be continuously isotoped to a knot contained in ${\cal{S}}$.
From Furuta's $\frac{10}{8}$ theorem, we derive a smooth slicing obstruction for knots in $S^3$ using a spin $4$-manifold whose boundary is $0$-surgery on a knot. We show that this obstruction is able to detect torsion elements in the smooth concordance group and find topologically slice knots which are not smoothly slice.
In this paper we show how to realize all knot (and link) types as C^{2} smooth curves of constant curvature. Our proof is constructive: we build the knots with copies of a fixed finite number of "building blocks" that are particular segments of helices and circles. We use these building blocks to construct all closed braids.
A knot is said to be slice if it bounds a smooth properly embedded disk in the 4-ball. We demonstrate that the Conway knot, 11n34 in the Rolfsen tables, is not slice. This completes the classification of slice knots under 13 crossings, and gives the first example of a non-slice knot which is both topologically slice and a positive mutant of a slice knot.
Call a smooth knot (or smooth link) in the unit sphere in $\mathbb{C}^2$ analytic (respectively, smoothly analytic) if it bounds a complex curve (respectively, a smooth complex curve) in the complex ball. Let $K$ be a smoothly analytic knot. For a small tubular neighbourhood of $K$ we give a sharp lower bound for the 4-ball genus of analytic links $L$ contained in it.
Let $\widehat{\mathcal{C}}_{\mathbb{Z}}$ denote the group of knots in homology spheres that bound homology balls, modulo smooth concordance in homology cobordisms. Answering a question of Matsumoto, the second author previously showed that the natural map from the smooth knot concordance group $\mathcal{C}$ to $\widehat{\mathcal{C}}_{\mathbb{Z}}$ is not surjective. Using tools from Heegaard Floer homology, we show that the cokernel of this map, which can be understood as the non-locally-flat piecewise-linear concordance group, is infinitely generated and contains elements of infinite order.
It is shown that if a regular knot of class C2 is embedded in the boundary of the complex hyperbolic plane as the limit set of a discrete subgroup of PU(2, 1) then it is either a chain or an R-circle.
We show that the torus knot $T_{4,9}$ bounds a smooth Möbius band in the $4$-ball, giving a counterexample to Batson's non-orientable analogue of Milnor's conjecture on the smooth slice genera of torus knots.
The Moebius energy of a knot is an energy functional for smooth curves based on an idea of self-repelling. If a knot has a thick tubular neighborhood, we would intuitively expect the energy to be low. In this paper, we give explicit bounds for energy in terms of the ropelength of the knot, i.e. the ratio of the length of a thickest tube to its radius.
The stick number of a knot is the minimum number of segments needed to build a polygonal version of the knot. Despite its elementary definition and relevance to physical knots, the stick number is poorly understood: for most knots we only know bounds on the stick number. We adopt a Monte Carlo approach to finding better bounds, producing very large ensembles of random polygons in tight confinement to look for new examples of knots constructed from few segments. We generated a total of 220 billion random polygons, yielding either the exact stick number or an improved upper bound for more than 4…
We prove the analyticity of smooth critical points for O'Hara's knot energies $\mathcal{E}^{α,p}$, with $p=1$ and $2<α< 3$, subject to a fixed length constraint. This implies, together with the main result in \cite{BR13}, that bounded energy critical points of $\mathcal{E}^{α,1}$ subject to a fixed length constraint are not only $C^\infty$ but also analytic. Our approach is based on Cauchy's method of majorants and a decomposition of the gradient that was adapted from the Möbius energy case $\mathcal{E}^{2,1}$ in \cite{BV19}.
By studying the Heegaard Floer homology of the preimage of a knot K in S^3 inside its double branched cover, we develop simple obstructions to K having finite order in the classical smooth concordance group. As an application, we prove that all 2-bridge knots of crossing number at most 12 for which the smooth concordance order was previously unknown have infinite smooth concordance order.
Given a knot K in an Euclidean space E and a finite dimensional space V of smooth functions on K, we express the expected number of critical points of a random function in V in terms of an integral-geometric invariant of K and V. When V consists of the restrictions to K of homogeneous polynomials of degree d on E, this invariant takes the form of the total curvature of a certain immersion of K. In particular, when K is the unit circle in the plane centered at the origin, then the expected number of critical points of the restriction to K of a random homogeneous polynomial of degree d is $2\sqr…
