This paper presents a new algorithm "A" for constructing Seifert surfaces from n-bridge projections of links. The algorithm produces minimal complexity surfaces for large classes of braids and alternating links. In addition, we consider a family of knots for which the canonical genus is strictly greater than the genus, (g_c(K) > g(K)), and show that A builds surfaces realizing the knot genus g(K). We also present a generalization of Seifert's algorithm which may be used to construct surfaces representing arbitrary relative second homology classes in a link complement.
Two Seifert surfaces of links in $S^3$ are said to be twist equivalent if one can be obtained from the other, up to isotopy, by repeatedly performing operations consisting of cutting along an embedded arc, applying a full twist near one copy of the arc, and re-gluing. By using bridge spheres for their boundary links, we provide a new method of distinguishing twist equivalence classes of Seifert surfaces of any given genus. Given a Seifert surface $F$ of a link $L$, we show that the bridge numbers of the boundary links of Seifert surfaces twist equivalent to $F$ are uniformly bounded above by a…
The first examples of totally geodesic Seifert surfaces are constructed for hyperbolic knots and links, including both free and totally knotted surfaces. Then it is proved that two bridge knot complements cannot contain totally geodesic orientable surfaces.
A virtual knot that has a homologically trivial representative $\mathscr{K}$ in a thickened surface $Σ\times [0,1]$ is said to be an almost classical (AC) knot. $\mathscr{K}$ then bounds a Seifert surface $F\subset Σ\times [0,1]$. Seifert surfaces of AC knots are useful for computing concordance invariants and slice obstructions. However, Seifert surfaces in $Σ\times [0,1]$ are difficult to construct. Here we introduce virtual Seifert surfaces of AC knots. These are planar figures representing $F \subset Σ\times [0,1]$. An algorithm for constructing a virtual Seifert surface from a Gauss diagr…
A Seifert surface F for a knot K is disk decomposable if there is a taut sutured manifold heirarchy for the complement of F, whose decomposing surfaces are all disks. It follows that F has minimal genus for the knot K, and has handlebody complement, i.e., F is free. We show that these necessary conditions for disk decomposability are not sufficient, by constructing a family of knots with genus one free Seifert surfaces, which are not disk decomposable.
We will classify all exceptional Dehn surgeries on 2-bridge knots according to whether they produce reducible, toroidal, or small Seifert fibered manifolds.
Experimental data from Dunfield et al using random grid diagrams suggests that the genus of a knot grows linearly with respect to the crossing number. Using billiard table diagrams of Chebyshev knots developed by Koseleff and Pecker and a random model of 2-bridge knots via these diagrams developed by the author with Krishnan and then with Even-Zohar and Krishnan, we introduce a further-truncated model of all 2-bridge knots of a given crossing number, almost all counted twice. We present a convenient way to count Seifert circles in this model and use this to compute a lower bound for the averag…
For each three-bridge link of a certain form, we construct a taut Seifert surface for the link and establish whether the link is fibred. Using this, we also give the genus and fibredness of satellite knots whose pattern is constructed from a two-component two-bridge link in the case not addressed by work of Hirasawa and Murasugi.
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 and $γ$ an annulus-spanning arc, $ρ(K, γ) = 1$. Although $ρ$ is defined abstractly, it is naturally revealed when $K \cup γ$ is put in thin position. If $ρ\neq 1$ then there is a minimal genus Seifert surface $F$ for $K$ such that the tunnel $γ$ can be slid and isotoped to lie on $…
We study the effect of Nielsen moves and their geometric counterparts, handle slides, on good boundary links. A collection of links, universal for 4-dimensional surgery, is shown to admit Seifert surfaces with trivial Lagrangian. They are good boundary links, with Seifert matrices of a more general form than in known constructions of slice links. We show that a certain more restrictive condition on Seifert matrices is sufficient for proving the links are slice. We also give a correction of a Kirby calculus identity in \cite{FK2}, useful for constructing surgery kernels associated to link-slice…
If a knot K in a closed, orientable 3-manifold M has a bridge surface T with distance at least 3 in the curve complex of T - K, then the genus of any essential surface in its exterior with non-empty, non-meridional boundary gives rise to an upper bound for the bridge number of K with respect to T. In particular, a nontrivial, aspherical, and atoroidal knot K with such a bridge surface has its bridge number bounded by 5 if K has a non-trivial reducing surgery; 6 if K has a non-trivial toroidal surgery; and 4g + 2 if K is null-homologous and has Seifert genus g.
We show that the distance of a link $K$ with respect to a bridge surface of any genus determines a lower bound on the genus of essential surfaces and Heegaard surfaces in the manifolds that result from non-trivial Dehn surgeries on the knot. In particular, knots with high bridge distance do not admit non-trivial non-hyperbolic surgeries or non-trivial cosmetic surgeries. We further show that if a knot has bridge distance at least 3 then its bridge number is bounded above by a function of Seifert genus, or indeed by the genus of (almost) any essential surface or Heegaard surface in the surgered…
In a 3-manifold M, let K be a knot and R be an annulus which meets K transversely. We define the notion of the pair (R,K) being caught by a surface Q in the exterior of the link given by K and the boundary curves of R. For a caught pair (R,K), we consider the knot K^n gotten by twisting K n times along R and give a lower bound on the bridge number of K^n with respect to Heegaard splittings of M -- as a function of n, the genus of the splitting, and the catching surface Q. As a result, the bridge number of K^n tends to infinity with n. In application, we look at a family of knots K^n found by T…
We give upper bounds of the Matveev complexities of two-bridge link complements by constructing their spines explicitly. In particular, we determine the complexities for an infinite sequence of two-bridge links corresponding to the continued fractions of the form [2,1,...,1,2]. We also give upper bounds for the 3-manifolds obtained as meridian-cyclic branched coverings of the 3-sphere along two-bridge links.
Utilizing both twisting and writhing, we construct integral tangles with few sticks, leading to an efficient method for constructing polygonal 2-bridge links. Let L be a two bridge link with crossing number c, stick number s, and n tangles. It is shown that s is less than or equal to 2/3 c + 2n+3 . We also show that if c > 12n+3, then minimal stick representatives do not admit minimal crossing projections.
A torti-rational knot, denoted by K(2a,b|r), is a knot obtained from the 2-bridge link B(2a,b) by applying Dehn twists an arbitrary number of times, r, along one component of B(2a,b). We determine the genus of K(2a,b|r) and solve a question of when K(2a,b|r) is fibred. In most cases, the Alexander polynomials determine the genus and fibredness of these knots. We develop both algebraic and geometric techniques to describe the genus and fibredness by means of continued fraction expansions of b/2a. Then, we explicitly construct minimal genus Seifert surfaces. As an application, we solve the same …
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 Seifert surface made of meridian disks. In the present paper, we generalize this procedure by a closed fake surface and show that the resultant two surfaces obtained by smoothing triple points uniformly are essential. We also show that a knot obtained by this procedure satisfies the Ne…
A virtual link may be defined as an equivalence class of diagrams, or alternatively as a stable equivalence class of links in thickened surfaces. We prove that a minimal crossing virtual link diagram has minimal genus across representatives of the stable equivalence class. This is achieved by constructing a new parity theory for virtual links. As corollaries, we prove that the crossing, bridge, and ascending numbers of a classical link do not decrease when it is regarded as a virtual link. This extends corresponding results in the case of virtual knots due to Manturov and Chernov.
