Showing 1–50 of 53 results for author: Baker, K L

Asymptotic behavior of unknotting numbers of links in a twist family

Authors: Kenneth L. Baker, Yasuyuki Miyazawa, Kimihiko Motegi

Abstract: By twisting a given link $L$ along an unknotted circle $c$, we obtain an infinite family of links $\{ L_n \}$. We introduce the ``stable unknotting number'' which describes the asymptotic behavior of unknotting numbers of links in the twist family. We show the stable unknotting number for any twist family of links depends only on the winding number of $L$ about $c$ (the minimum geometric intersect… ▽ More By twisting a given link $L$ along an unknotted circle $c$, we obtain an infinite family of links $\{ L_n \}$. We introduce the ``stable unknotting number'' which describes the asymptotic behavior of unknotting numbers of links in the twist family. We show the stable unknotting number for any twist family of links depends only on the winding number of $L$ about $c$ (the minimum geometric intersection number of $L$ with a Seifert surface of $c$) and is independent of the wrapping number of $L$ about $c$ (the minimum geometric intersection number of $L$ with a disk bounded by $c$). Thus there are twist families for which the discrepancy between the wrapping number and the stable unknotting number is arbitrarily large. △ Less

Submitted 4 April, 2025; originally announced April 2025.

Comments: Preprint version. Final version published in Topology and its Applications

MSC Class: 57K10; 57K14; 57K16

Journal ref: Topology and its Applications, Volume 367, 2025

Knots not detected by any trace

Authors: Kenneth L. Baker, Marc Kegel, Kimihiko Motegi

Abstract: The first and last named authors have demonstrated the existence of knots for which every integral slope is non-characterizing. In this short note, we extend this result in two ways. There exists a knot that shares for every integer n the same n-trace with infinitely many mutually distinct knots. Moreover, every knot is concordant to a knot that is not detected by any of its traces. The first and last named authors have demonstrated the existence of knots for which every integral slope is non-characterizing. In this short note, we extend this result in two ways. There exists a knot that shares for every integer n the same n-trace with infinitely many mutually distinct knots. Moreover, every knot is concordant to a knot that is not detected by any of its traces. △ Less

Submitted 18 March, 2025; originally announced March 2025.

Comments: 7 pages, 5 figures

MSC Class: 57R65; 57K10; 57K32

Handle number is not always realized by a minimal genus Seifert surface

Authors: Kenneth L. Baker, Fabiola Manjarrez-Gutiérrez

Abstract: We construct genus one knots whose handle number is only realized by Seifert surfaces of non-minimal genus. These are counterexamples to the conjecture that the Seifert genus of a knot is its Morse-Novikov genus. As the Morse-Novikov genus may be greater than the Seifert genus, we define the genus $g$ Morse-Novikov number $MN_g(L)$ as the minimum handle number among Seifert surfaces for $L$ of gen… ▽ More We construct genus one knots whose handle number is only realized by Seifert surfaces of non-minimal genus. These are counterexamples to the conjecture that the Seifert genus of a knot is its Morse-Novikov genus. As the Morse-Novikov genus may be greater than the Seifert genus, we define the genus $g$ Morse-Novikov number $MN_g(L)$ as the minimum handle number among Seifert surfaces for $L$ of genus $g$. Since, as we further show, the Morse-Novikov genus and the minimal genus Morse-Novikov number are additive under connected sum of knots, it then follows that there exists examples for which the discrepancies between Seifert genus and Morse-Novikov genus and between the Morse-Novikov number and the minimal genus Morse-Novikov number can be made arbitrarily large. △ Less

Submitted 7 November, 2024; originally announced November 2024.

Comments: 8 pages, 5 figures

MSC Class: 57K10; 57K35; 57K99

The search for alternating surgeries

Authors: Kenneth L. Baker, Marc Kegel, Duncan McCoy

Abstract: Surgery on a knot in $S^3$ is said to be an alternating surgery if it yields the double branched cover of an alternating link. The main theoretical contribution is to show that the set of alternating surgery slopes is algorithmically computable and to establish several structural results. Furthermore, we calculate the set of alternating surgery slopes for many examples of knots, including all hype… ▽ More Surgery on a knot in $S^3$ is said to be an alternating surgery if it yields the double branched cover of an alternating link. The main theoretical contribution is to show that the set of alternating surgery slopes is algorithmically computable and to establish several structural results. Furthermore, we calculate the set of alternating surgery slopes for many examples of knots, including all hyperbolic knots in the SnapPy census. These examples exhibit several interesting phenomena including strongly invertible knots with a unique alternating surgery and asymmetric knots with two alternating surgery slopes. We also establish upper bounds on the set of alternating surgeries, showing that an alternating surgery slope on a hyperbolic knot satisfies $|p/q| \leq 3g(K)+4$. Notably, this bound applies to lens space surgeries, thereby strengthening the known genus bounds from the conjecture of Goda and Teragaito. △ Less

Submitted 15 September, 2024; originally announced September 2024.

Comments: 67 pages, 7 figures, 3 tables

MSC Class: 57M25; 57R65; 57M12

Quasi-alternating surgeries

Authors: Kenneth L. Baker, Marc Kegel, Duncan McCoy

Abstract: In this article, we explore phenomena relating to quasi-alternating surgeries on knots, where a quasi-alternating surgery on a knot is a Dehn surgery yielding the double branched cover of a quasi-alternating link. Since the double branched cover of a quasi-alternating link is an L-space, quasi-alternating surgeries are special examples of L-space surgeries. We show that all SnapPy census L-space… ▽ More In this article, we explore phenomena relating to quasi-alternating surgeries on knots, where a quasi-alternating surgery on a knot is a Dehn surgery yielding the double branched cover of a quasi-alternating link. Since the double branched cover of a quasi-alternating link is an L-space, quasi-alternating surgeries are special examples of L-space surgeries. We show that all SnapPy census L-space knots admit quasi-alternating surgeries except for the knots t09847 and o9_30634 which both do not have any quasi-alternating surgeries. In particular, this finishes Dunfield's classification of the L-space knots among all SnapPy census knots. In addition, we show that all asymmetric census L-space knots have exactly two quasi-alternating slopes that are consecutive integers. Similar behavior is observed for some of the Baker-Luecke asymmetric L-space knots. We also classify the quasi-alternating surgeries on torus knots and explore briefly the notion of formal L-space surgeries. This allows us to give examples of asymmetric formal L-spaces. △ Less

Submitted 15 September, 2024; originally announced September 2024.

Comments: 28 pages, 4 figures, 6 tables

MSC Class: 57K10; 57R65; 57R58; 57K16; 57K14; 57K32; 57M12

Two curious strongly invertible L-space knots

Authors: Kenneth L. Baker, Marc Kegel, Duncan McCoy

Abstract: We present two examples of strongly invertible L-space knots whose surgeries are never the double branched cover of a Khovanov thin link in the 3-sphere. Consequently, these knots provide counterexamples to a conjectural characterization of strongly invertible L-space knots due to Watson. We also discuss other exceptional properties of these two knots, for example, these two L-space knots have for… ▽ More We present two examples of strongly invertible L-space knots whose surgeries are never the double branched cover of a Khovanov thin link in the 3-sphere. Consequently, these knots provide counterexamples to a conjectural characterization of strongly invertible L-space knots due to Watson. We also discuss other exceptional properties of these two knots, for example, these two L-space knots have formal semigroups that are actual semigroups. △ Less

Submitted 10 April, 2025; v1 submitted 15 September, 2024; originally announced September 2024.

Comments: 13 pages, 4 figures, 2 tables; V2: The diagram and the braid word of K1 are corrected. Since we do not use both, all computations and results remain the same. V3: Minor changes and corrections following a referee report, accepted for publication at Adv. Math

MSC Class: 57K10; 57R65; 57R58; 57K16; 57K14; 57K32; 57M12

Signature, slicing foams, and crossing changes of Klein graphs

Authors: Kenneth L. Baker, Allison H. Moore, Danielle O'Donnol, Scott Taylor

Abstract: A totally oriented Klein graph is a trivalent spatial graph in the 3-sphere with a 3-coloring of its edges and an orientation on each bicolored link. A totally oriented Klein foam is a 3-colored 2-complex in the 4-ball whose boundary is a Klein foam and whose bicolored surfaces are oriented. We extend Gille-Robert's signature for 3-Hamiltonian Klein graphs to all totally oriented Klein graphs and… ▽ More A totally oriented Klein graph is a trivalent spatial graph in the 3-sphere with a 3-coloring of its edges and an orientation on each bicolored link. A totally oriented Klein foam is a 3-colored 2-complex in the 4-ball whose boundary is a Klein foam and whose bicolored surfaces are oriented. We extend Gille-Robert's signature for 3-Hamiltonian Klein graphs to all totally oriented Klein graphs and develop an analogy of Murasugi's bounds relating the signature, slice genus and unknotting number of knots. In particular, we show that the signature of a totally oriented Klein graph produces a lower bound on the negative orbifold Euler characteristic of certain totally oriented Klein foams bounded by $Γ$. When $Γ$ is abstractly planar, these negative Euler characteristics, in turn, produce a lower bound on a certain natural unknotting number for $Γ$. Mutatis mutandi, we produce lower bounds on the corresponding Gordian distance between two totally oriented Klein graphs that can be related by a sequence of crossing changes. We also give examples of theta-curves for which our lower bounds on unknotting number improve on previously known bounds. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: 23 pages, 10 figures, 2 tables

MSC Class: 57K10; 57K12

The stable crossing number of a twist family of knots and the satellite crossing number conjecture

Authors: Kenneth L. Baker, Kimihiko Motegi

Abstract: Twisting a given knot $K$ about an unknotted circle $c$ a full $n \in \mathbb{N}$ times, we obtain a "twist family" of knots $\{ K_n \}$. Work of Kouno-Motegi-Shibuya implies that for a non-trivial twist family the crossing numbers $\{c(K_n)\}$ of the knots in a twist family grows unboundedly. However potentially this growth is rather slow and may never become monotonic. Nevertheless, based upon t… ▽ More Twisting a given knot $K$ about an unknotted circle $c$ a full $n \in \mathbb{N}$ times, we obtain a "twist family" of knots $\{ K_n \}$. Work of Kouno-Motegi-Shibuya implies that for a non-trivial twist family the crossing numbers $\{c(K_n)\}$ of the knots in a twist family grows unboundedly. However potentially this growth is rather slow and may never become monotonic. Nevertheless, based upon the apparent diagrams of a twist family of knots, one expects the growth should eventually be linear. Indeed we conjecture that if $η$ is the geometric wrapping number of $K$ about $c$, then the crossing number of $K_n$ grows like $n η(η-1)$ as $n \to \infty$. To formulate this, we introduce the "stable crossing number" of a twist family of knots and establish the conjecture for (i) coherent twist families where the geometric wrapping and algebraic winding of $K$ about $c$ agree and (ii) twist families with wrapping number $2$ subject to an additional condition. Using the lower bound on a knot's crossing number in terms of its genus via Yamada's braiding algorithm, we bound the stable crossing number from below using the growth of the genera of knots in a twist family. (This also prompts a discussion of the "stable braid index".) As an application, we prove that highly twisted satellite knots in a twist family where the companion is twisted as well satisfy the Satellite Crossing Number Conjecture. △ Less

Submitted 8 April, 2024; originally announced April 2024.

MSC Class: 57K10; 57K14

Non-looseness of boundaries of Legendrian ribbons

Authors: Kenneth L. Baker, Sinem Onaran

Abstract: Every null-homologous link in an oriented 3-manifold is isotopic to the boundary of a ribbon of a Legendrian graph for any overtwisted contact structure. However this is not the case if the boundary is required to be non-loose. Here, we define the `Tight Reattachment Property' for a Legendrian graph and show that it implies the boundary of its ribbon is non-loose. We also discuss the applicability… ▽ More Every null-homologous link in an oriented 3-manifold is isotopic to the boundary of a ribbon of a Legendrian graph for any overtwisted contact structure. However this is not the case if the boundary is required to be non-loose. Here, we define the `Tight Reattachment Property' for a Legendrian graph and show that it implies the boundary of its ribbon is non-loose. We also discuss the applicability of this property and examine examples and constructions of Legendrian graphs with this property. △ Less

Submitted 13 July, 2023; originally announced July 2023.

Handle numbers of guts of sutured manifolds and nearly fibered knots

Authors: Kenneth L. Baker, Fabiola Manjarrez-Gutiérrez

Abstract: Extending Haken's Theorem to product annuli and disks for Heegaard splittings of sutured manifolds, we show that the handle number of an irreducible sutured manifold equals the handle number of its guts. We further show that reduced sutured manifolds with torus boundary contained in $S^3$ fall in to three types that generalize the three models of guts of knots that are nearly fibered in the instan… ▽ More Extending Haken's Theorem to product annuli and disks for Heegaard splittings of sutured manifolds, we show that the handle number of an irreducible sutured manifold equals the handle number of its guts. We further show that reduced sutured manifolds with torus boundary contained in $S^3$ fall in to three types that generalize the three models of guts of knots that are nearly fibered in the instanton or Heegaard Floer sense. In conjunction with these results and another concerning uniqueness of incompressible Seifert surfaces, we show that while many nearly fibered knots have handle number $2$ and a unique incompressible Seifert surface, some have handle number $4$ and others have extra incompressible Seifert surfaces. Examples of nearly fibered knots with non-isotopic incompressible Seifert surfaces are exhibited. △ Less

Submitted 20 June, 2024; v1 submitted 15 May, 2023; originally announced May 2023.

Comments: 17 pages, 4 figures

MSC Class: 57K10; 57K35; 57K99

Morse-Novikov numbers, tunnel numbers, and handle numbers of sutured manifolds

Authors: Kenneth L. Baker, Fabiola Manjarrez-Gutiérrez

Abstract: Developed from geometric arguments for bounding the Morse-Novikov number of a link in terms of its tunnel number, we obtain upper and lower bounds on the handle number of a Heegaard splitting of a sutured manifold $(M,γ)$ in terms of the handle number of its decompositions along a surface representing a given 2nd homology class. Fixing the sutured structure $(M,γ)$, this leads us to develop the ha… ▽ More Developed from geometric arguments for bounding the Morse-Novikov number of a link in terms of its tunnel number, we obtain upper and lower bounds on the handle number of a Heegaard splitting of a sutured manifold $(M,γ)$ in terms of the handle number of its decompositions along a surface representing a given 2nd homology class. Fixing the sutured structure $(M,γ)$, this leads us to develop the handle number function $h \colon H_2(M,\partial M;\mathbb{R}) \to \mathbb{N}$ which is bounded, constant on rays from the origin, and locally maximal. Furthermore, for an integral class $ξ$, $h(ξ)=0$ if and only if the decomposition of $(M,γ)$ along some surface representing $ξ$ is a product manifold. △ Less

Submitted 26 September, 2022; originally announced September 2022.

Comments: Comments welcome

MSC Class: 57K10; 57K35; 57K99

Large volume fibred knots of fixed genus

Authors: Kenneth L. Baker, David Futer, Jessica S. Purcell, Saul Schleimer

Abstract: We show that, for hyperbolic fibred knots in the three-sphere, the volume and the genus are unrelated. Furthermore, for such knots, the volume is unrelated to strong quasipositivity and Seifert form. We show that, for hyperbolic fibred knots in the three-sphere, the volume and the genus are unrelated. Furthermore, for such knots, the volume is unrelated to strong quasipositivity and Seifert form. △ Less

Submitted 15 August, 2023; v1 submitted 3 August, 2022; originally announced August 2022.

Comments: 6 pages, 1 figure - v3, author-final version before publication in Math. Res. Lett

MSC Class: 20F36; 57K10; 57K32; 57K35; 57M12

The Strong Slope Conjecture and crossing numbers for Mazur doubles of knots

Authors: Kenneth L. Baker, Kimihiko Motegi, Toshie Takata

Abstract: The Slope Conjecture proposed by Garoufalidis asserts that the degree of the colored Jones polynomial determines a boundary slope, and its refinement, the Strong Slope Conjecture proposed by Kalfagianni and Tran asserts that the linear term in the degree determines the topology of an essential surface that satisfies the Slope Conjecture. Under certain hypotheses, we show that Mazur doubles of knot… ▽ More The Slope Conjecture proposed by Garoufalidis asserts that the degree of the colored Jones polynomial determines a boundary slope, and its refinement, the Strong Slope Conjecture proposed by Kalfagianni and Tran asserts that the linear term in the degree determines the topology of an essential surface that satisfies the Slope Conjecture. Under certain hypotheses, we show that Mazur doubles of knots satisfy the Strong Slope Conjecture if the original knot does. Consequently, any knot obtained by a finite sequence of cabling, untwisted w--generalized Whitehead doublings with w > 0, connected sums and Mazur doublings of B--adequate knots or torus knots satisfies the Strong Slope Conjecture. On the other hand, it may be worth mentioning that under these hypotheses, if there exists a knot with a Jones slope less than -1/4, then its Mazur double would either provide a counterexample to the Strong Slope Conjecture or have a Jones surface that is unrelated to any Jones surface of the knot. Following work of Kalfagianni and Lee, we also use our results to show that the Mazur double of an adequate knot K with trivial writhe has crossing number either 9c(K)+2 or 9c(K)+3. △ Less

Submitted 12 April, 2022; originally announced April 2022.

Comments: 47 pages. arXiv admin note: text overlap with arXiv:1811.11673

MSC Class: 57K10; 57K14; 57K16; 57K30

Census L-space knots are braid positive, except for one that is not

Authors: Kenneth L. Baker, Marc Kegel

Abstract: We exhibit braid positive presentations for all L-space knots in the SnapPy census except one, which is not braid positive. The normalized HOMFLY polynomial of o9_30634, when suitably normalized is not positive, failing a condition of Ito for braid positive knots. We generalize this knot to a 1-parameter family of hyperbolic L-space knots that might not be braid positive. Nevertheless, as pointe… ▽ More We exhibit braid positive presentations for all L-space knots in the SnapPy census except one, which is not braid positive. The normalized HOMFLY polynomial of o9_30634, when suitably normalized is not positive, failing a condition of Ito for braid positive knots. We generalize this knot to a 1-parameter family of hyperbolic L-space knots that might not be braid positive. Nevertheless, as pointed out by Teragaito, this family yields the first examples of hyperbolic L-space knots whose formal semigroups are actual semigroups, answering a question of Wang. Furthermore, the roots of the Alexander polynomials of these knots are all roots of unity, disproving a conjecture of Li-Ni. △ Less

Submitted 27 April, 2022; v1 submitted 22 March, 2022; originally announced March 2022.

Comments: The main article is just 12 pages. The remaining 31 pages is a listing of braid words for the L-space knots in the SnapPy census. Except for o9_30634, these braid words are either positive or negative according to the orientation of the manifold in the census. The auxiliary files include 4 supporting jupyter notebooks of calculations. V2 adds a new section of applications

MSC Class: 2020 57K10 (primary) 57K18 (secondary)

Journal ref: Algebr. Geom. Topol. 24 (2024) 569-586

Primality of theta-curves with proper rational tangle unknotting number one

Authors: Kenneth L. Baker, Dorothy Buck, Danielle O'Donnol, Allison H. Moore, Scott Taylor

Abstract: We show that if a composite $θ$-curve has (proper rational) unknotting number one, then it is the order 2 sum of a (proper rational) unknotting number one knot and a trivial $θ$-curve. We also prove similar results for 2-strand tangles and knotoids. We show that if a composite $θ$-curve has (proper rational) unknotting number one, then it is the order 2 sum of a (proper rational) unknotting number one knot and a trivial $θ$-curve. We also prove similar results for 2-strand tangles and knotoids. △ Less

Submitted 20 January, 2022; originally announced January 2022.

MSC Class: 2020: 57K10; 57K12

Exceptional surgeries in 3-manifolds

Authors: Kenneth L. Baker, Neil R. Hoffman

Abstract: Myers shows that every compact, connected, orientable $3$--manifold with no $2$--sphere boundary components contains a hyperbolic knot. We use work of Ikeda with an observation of Adams-Reid to show that every $3$--manifold subject to the above conditions contains a hyperbolic knot which admits a non-trivial non-hyperbolic surgery, a toroidal surgery in particular. We conclude with a question and… ▽ More Myers shows that every compact, connected, orientable $3$--manifold with no $2$--sphere boundary components contains a hyperbolic knot. We use work of Ikeda with an observation of Adams-Reid to show that every $3$--manifold subject to the above conditions contains a hyperbolic knot which admits a non-trivial non-hyperbolic surgery, a toroidal surgery in particular. We conclude with a question and a conjecture about reducible surgeries. △ Less

Submitted 31 August, 2021; v1 submitted 28 January, 2021; originally announced January 2021.

Comments: 5 pages, 3 figures, version 2 is supported by ancillary files which include certificates of computations done in sage. There are minor changes to the exposition to reference these files

The Morse-Novikov number of knots under connected sum and cabling

Authors: Kenneth L. Baker

Abstract: We show the Morse-Novikov number of knots in $S^3$ is additive under connected sum and unchanged by cabling. We show the Morse-Novikov number of knots in $S^3$ is additive under connected sum and unchanged by cabling. △ Less

Submitted 12 October, 2021; v1 submitted 10 January, 2020; originally announced January 2020.

Comments: The paper has been accepted for publication by the Journal of Topology

MSC Class: 57M25; 57M27

L-space knots with tunnel number >1 by experiment

Authors: Chris Anderson, Kenneth L. Baker, Xinghua Gao, Marc Kegel, Khanh Le, Kyle Miller, Sinem Onaran, Geoffrey Sangston, Samuel Tripp, Adam Wood, Ana Wright

Abstract: In Dunfield's catalog of the hyperbolic manifolds in the SnapPy census which are complements of L-space knots in $S^3$, we determine that $22$ have tunnel number $2$ while the remaining all have tunnel number $1$. Notably, these $22$ manifolds contain $9$ asymmetric L-space knot complements. Furthermore, using SnapPy and KLO we find presentations of these $22$ knots as closures of positive braids… ▽ More In Dunfield's catalog of the hyperbolic manifolds in the SnapPy census which are complements of L-space knots in $S^3$, we determine that $22$ have tunnel number $2$ while the remaining all have tunnel number $1$. Notably, these $22$ manifolds contain $9$ asymmetric L-space knot complements. Furthermore, using SnapPy and KLO we find presentations of these $22$ knots as closures of positive braids that realize the Morton-Franks-Williams bound on braid index. The smallest of these has genus $12$ and braid index $4$. △ Less

Submitted 18 January, 2021; v1 submitted 2 September, 2019; originally announced September 2019.

Comments: This is a significant expansion/rewrite of the original version. The title and abstract have both changed to reflect this. Relevant code is included in the body of the article itself. Originally, this was a note that collected the results of an "office hour" session on the use of SnapPy and KLO held at the ICERM workshop Perspectives on Dehn Surgery, July 15--19, 2019

MSC Class: 57M25

Jointly primitive knots and surgeries between lens spaces

Authors: Kenneth L. Baker, Neil R. Hoffman, Joan E. Licata

Abstract: This paper describes a Dehn surgery approach to generating asymmetric hyperbolic manifolds with two distinct lens space fillings. Such manifolds were first identified in work of Dunfield-Hoffman-Licata as the result of a computer search of the SnapPy census, but the current work establishes a topological framework for constructing vastly many more such examples. We introduce the notion of a ``jo… ▽ More This paper describes a Dehn surgery approach to generating asymmetric hyperbolic manifolds with two distinct lens space fillings. Such manifolds were first identified in work of Dunfield-Hoffman-Licata as the result of a computer search of the SnapPy census, but the current work establishes a topological framework for constructing vastly many more such examples. We introduce the notion of a ``jointly primitive'' presentation of a knot and show that a refined version of this condition ``longitudinally jointly primitive'' is equivalent to being surgery dual to a $(1,2)$--knot in a lens space. This generalizes Berge's equivalence between having a doubly primitive presentation and being surgery dual to a $(1,1)$--knot in a lens space. Through surgery descriptions on a seven-component link in $S^3$, we provide several explicit multi-parameter infinite families of knots in lens spaces with longitudinal jointly primitive presentations and observe among them all the examples previously seen in Dunfield-Hoffman-Licata. △ Less

Submitted 5 April, 2019; originally announced April 2019.

Comments: 33 pages, 16 figures, and ancillary files

MSC Class: 57M25; 57M50

The Strong Slope Conjecture for twisted generalized Whitehead doubles

Authors: Kenneth L. Baker, Kimihiko Motegi, Toshie Takata

Abstract: The Slope Conjecture proposed by Garoufalidis asserts that the degree of the colored Jones polynomial determines a boundary slope, and its refinement, the Strong Slope Conjecture proposed by Kalfagianni and Tran asserts that the linear term in the degree determines the topology of an essential surface that satisfies the Slope Conjecture. Under certain hypotheses, we show that twisted, generalized… ▽ More The Slope Conjecture proposed by Garoufalidis asserts that the degree of the colored Jones polynomial determines a boundary slope, and its refinement, the Strong Slope Conjecture proposed by Kalfagianni and Tran asserts that the linear term in the degree determines the topology of an essential surface that satisfies the Slope Conjecture. Under certain hypotheses, we show that twisted, generalized Whitehead doubles of a knot satisfies the Slope Conjecture and the Strong Slope Conjecture if the original knot does. Additionally, we provide a proof that there are Whitehead doubles which are not adequate. △ Less

Submitted 22 October, 2019; v1 submitted 28 November, 2018; originally announced November 2018.

Comments: This version has been accepted for publication in Quantum Topology. We restructured results and presentation to focus on the maximum degree of colored Jones polynomial for improved exposition and clarity. A cancellation error is also corrected. The changes mainly impact sections 1 and 2

MSC Class: 57M25; 57M27

The strong slope conjecture for cablings and connected sums

Authors: Kenneth L Baker, Kimihiko Motegi, Toshie Takata

Abstract: We show that, under some technical conditions, the Strong Slope Conjecture proposed by Kalfagianni and Tran is closed under connect sums and cabling. As an application, we establish the Strong Slope Conjecture for graph knots. We show that, under some technical conditions, the Strong Slope Conjecture proposed by Kalfagianni and Tran is closed under connect sums and cabling. As an application, we establish the Strong Slope Conjecture for graph knots. △ Less

Submitted 23 December, 2019; v1 submitted 4 September, 2018; originally announced September 2018.

Comments: Title change. Updated terminology, discussions, and proofs

Asymmetric L-space knots

Authors: Kenneth L. Baker, John Luecke

Abstract: We construct the first examples of asymmetric L-space knots in $S^3$. More specifically, we exhibit a construction of hyperbolic knots in $S^3$ with both (i) a surgery that may be realized as a surgery on a strongly invertible link such that the result of the surgery is the double branched cover of an alternating link and (ii) trivial isometry group. In particular, this produces L-space knots in… ▽ More We construct the first examples of asymmetric L-space knots in $S^3$. More specifically, we exhibit a construction of hyperbolic knots in $S^3$ with both (i) a surgery that may be realized as a surgery on a strongly invertible link such that the result of the surgery is the double branched cover of an alternating link and (ii) trivial isometry group. In particular, this produces L-space knots in $S^3$ which are not strongly invertible. The construction also immediately extends to produce asymmetric L-space knots in any lens space, including $S^1 \times S^2$. △ Less

Submitted 4 October, 2017; originally announced October 2017.

MSC Class: 57M25; 57M27

Journal ref: Geom. Topol. 24 (2020) 2287-2359

Seifert vs slice genera of knots in twist families and a characterization of braid axes

Authors: Kenneth L. Baker, Kimihiko Motegi

Abstract: Twisting a knot $K$ in $S^3$ along a disjoint unknot $c$ produces a twist family of knots $\{K_n\}$ indexed by the integers. Comparing the behaviors of the Seifert genus $g(K_n)$ and the slice genus $g_4(K_n)$ under twistings, we prove that if $g(K_n) - g_4(K_n) < C$ for some constant $C$ for infinitely many integers $n > 0$ or $g(K_n) / g_4(K_n) \to 1$ as $n \to \infty$, then either the winding n… ▽ More Twisting a knot $K$ in $S^3$ along a disjoint unknot $c$ produces a twist family of knots $\{K_n\}$ indexed by the integers. Comparing the behaviors of the Seifert genus $g(K_n)$ and the slice genus $g_4(K_n)$ under twistings, we prove that if $g(K_n) - g_4(K_n) < C$ for some constant $C$ for infinitely many integers $n > 0$ or $g(K_n) / g_4(K_n) \to 1$ as $n \to \infty$, then either the winding number of $K$ about $c$ is zero or the winding number equals the wrapping number. As a key application, if $\{K_n\}$ or the mirror twist family $\{\overline{K_n}\}$ contains infinitely many tight fibered knots, then the latter must occur. We further develop this to show that $c$ is a braid axis of $K$ if and only if both $\{K_n\}$ and $\{\overline{K_n}\}$ each contain infinitely many tight fibered knots. We also give a necessary and sufficient condition for $\{ K_n \}$ to contain infinitely many L-space knots, and show (modulo a conjecture) that satellite L-space knots are braided satellites. △ Less

Submitted 29 May, 2017; originally announced May 2017.

Comments: 34 pages, 12 figures

MSC Class: Primary 57M25; 57M27; Secondary 57R17; 57R58

Dehn filling and the Thurston norm

Authors: Kenneth L. Baker, Scott A. Taylor

Abstract: For a compact, orientable, irreducible 3-manifold with toroidal boundary that is not the product of a torus and an interval or a cable space, each boundary torus has a finite set of slopes such that, if avoided, the Thurston norm of a Dehn filling behaves predictably. More precisely, for all but finitely many slopes, the Thurston norm of a class in the second homology of the filled manifold plus t… ▽ More For a compact, orientable, irreducible 3-manifold with toroidal boundary that is not the product of a torus and an interval or a cable space, each boundary torus has a finite set of slopes such that, if avoided, the Thurston norm of a Dehn filling behaves predictably. More precisely, for all but finitely many slopes, the Thurston norm of a class in the second homology of the filled manifold plus the so-called winding norm of the class will be equal to the Thurston norm of the corresponding class in the second homology of the unfilled manifold. This generalizes a result of Sela and is used to answer a question of Baker-Motegi concerning the Seifert genus of knots obtained by twisting a given initial knot along an unknot which links it. △ Less

Submitted 8 August, 2016; originally announced August 2016.

MSC Class: 57M25; 57M50

Non-characterizing slopes for hyperbolic knots

Authors: Kenneth L. Baker, Kimihiko Motegi

Abstract: A non-trivial slope $r$ on a knot $K$ in $S^3$ is called a characterizing slope if whenever the result of $r$-surgery on a knot $K'$ is orientation preservingly homeomorphic to the result of $r$-surgery on $K$, then $K'$ is isotopic to $K$. Ni and Zhang ask: for any hyperbolic knot $K$, is a slope $r = p/q$ with $|p| + |q|$ sufficiently large a characterizing slope? In this article we answer this… ▽ More A non-trivial slope $r$ on a knot $K$ in $S^3$ is called a characterizing slope if whenever the result of $r$-surgery on a knot $K'$ is orientation preservingly homeomorphic to the result of $r$-surgery on $K$, then $K'$ is isotopic to $K$. Ni and Zhang ask: for any hyperbolic knot $K$, is a slope $r = p/q$ with $|p| + |q|$ sufficiently large a characterizing slope? In this article we answer this question in the negative by demonstrating that there is a hyperbolic knot $K$ in $S^3$ which has infinitely many non-characterizing slopes. As the simplest known example, the hyperbolic knot $8_6$ has no integral characterizing slopes. △ Less

Submitted 8 January, 2016; originally announced January 2016.

Comments: 13 pages, 7 figures

MSC Class: 57M25

Journal ref: Algebr. Geom. Topol. 18 (2018) 1461-1480

Boundary-reducing surgeries and bridge number

Authors: Kenneth L. Baker, R. Sean Bowman, John Luecke

Abstract: Let $M$ be a $3$--dimensional handlebody of genus $g$. This paper gives examples of hyperbolic knots in $M$ with arbitrarily large genus $g$ bridge number which admit Dehn surgeries which are boundary-reducible manifolds. Let $M$ be a $3$--dimensional handlebody of genus $g$. This paper gives examples of hyperbolic knots in $M$ with arbitrarily large genus $g$ bridge number which admit Dehn surgeries which are boundary-reducible manifolds. △ Less

Submitted 31 December, 2015; originally announced December 2015.

Tight fibered knots and band sums

Authors: Kenneth L. Baker, Kimihiko Motegi

Abstract: We give a short proof that if a non-trivial band sum of two knots results in a tight fibered knot, then the band sum is a connected sum. In particular, this means that any prime knot obtained by a non-trivial band sum is not tight fibered. Since a positive L-space knot is tight fibered, a non-trivial band sum never yields an L-space knot. Consequently, any knot obtained by a non-trivial band sum c… ▽ More We give a short proof that if a non-trivial band sum of two knots results in a tight fibered knot, then the band sum is a connected sum. In particular, this means that any prime knot obtained by a non-trivial band sum is not tight fibered. Since a positive L-space knot is tight fibered, a non-trivial band sum never yields an L-space knot. Consequently, any knot obtained by a non-trivial band sum cannot admit a finite surgery. For context, we exhibit two examples of non-trivial band sums of tight fibered knots producing prime knots: one is fibered but not tight, and the other is strongly quasipositive but not fibered. △ Less

Submitted 31 August, 2015; originally announced September 2015.

Comments: 8 pages, 6 figures

MSC Class: 57M25; 57M27

The spectrum of the growth rate of the tunnel number is infinite

Authors: Kenneth L. Baker, Tsuyoshi Kobayashi, Yo'av Rieck

Abstract: In a previous paper Kobayashi and Rieck defined the growth rate of the tunnel number of a knot $K$, a knot invariant that measures the asymptotic behavior of the tunnel number under iterated connected sum of $K$. We denote the growth rate by $\mbox{gr}_t(K)$. In this paper we construct, for any $ε> 0$, a hyperbolic knots $K \subset S^{3}$ for which $1 - ε< \mbox{gr}_t(K) < 1$. This is the first… ▽ More In a previous paper Kobayashi and Rieck defined the growth rate of the tunnel number of a knot $K$, a knot invariant that measures the asymptotic behavior of the tunnel number under iterated connected sum of $K$. We denote the growth rate by $\mbox{gr}_t(K)$. In this paper we construct, for any $ε> 0$, a hyperbolic knots $K \subset S^{3}$ for which $1 - ε< \mbox{gr}_t(K) < 1$. This is the first proof that the spectrum of the growth rate of the tunnel number is infinite. △ Less

Submitted 12 July, 2015; originally announced July 2015.

MSC Class: 57M99; 57M25

Twist families of L-space knots, their genera, and Seifert surgeries

Authors: Kenneth L. Baker, Kimihiko Motegi

Abstract: Conjecturally, there are only finitely many Heegaard Floer L-space knots in $S^3$ of a given genus. We examine this conjecture for twist families of knots $\{K_n\}$ obtained by twisting a knot $K$ in $S^3$ along an unknot $c$ in terms of the linking number $ω$ between $K$ and $c$. We establish the conjecture in case of $|ω| \neq 1$, prove that $\{K_n\}$ contains at most three L-space knots if… ▽ More Conjecturally, there are only finitely many Heegaard Floer L-space knots in $S^3$ of a given genus. We examine this conjecture for twist families of knots $\{K_n\}$ obtained by twisting a knot $K$ in $S^3$ along an unknot $c$ in terms of the linking number $ω$ between $K$ and $c$. We establish the conjecture in case of $|ω| \neq 1$, prove that $\{K_n\}$ contains at most three L-space knots if $ω= 0$, and address the case where $|ω| = 1$ under an additional hypothesis about Seifert surgeries. To that end, we characterize a twisting circle $c$ for which $\{ (K_n, r_n) \}$ contains at least ten Seifert surgeries. We also pose a few questions about the nature of twist families of L-space knots, their expressions as closures of positive (or negative) braids, and their wrapping about the twisting circle. △ Less

Submitted 28 April, 2017; v1 submitted 14 June, 2015; originally announced June 2015.

Comments: In addition to addressing typos, V2 restructures, expands, and corrects parts of V1 and incorporates comments of referees. Accepted by Comm. Anal. Geom

MSC Class: 57M25; 57M27

The Poincare homology sphere, lens space surgeries, and some knots with tunnel number two

Authors: Kenneth L. Baker, Neil R. Hoffman

Abstract: We exhibit an infinite family of knots in the Poincare homology sphere with tunnel number 2 that have a lens space surgery. Notably, these knots are not doubly primitive and provide counterexamples to a few conjectures. In the appendix, it is shown that hyperbolic knots in the Poincare homology sphere with a lens space surgery has either no symmetries or just a single strong involution. We exhibit an infinite family of knots in the Poincare homology sphere with tunnel number 2 that have a lens space surgery. Notably, these knots are not doubly primitive and provide counterexamples to a few conjectures. In the appendix, it is shown that hyperbolic knots in the Poincare homology sphere with a lens space surgery has either no symmetries or just a single strong involution. △ Less

Submitted 3 October, 2019; v1 submitted 25 April, 2015; originally announced April 2015.

Comments: 15 pages, 7 figures. Comments welcome. Aside from minor edits, Version 3, rewrite of appendix and minor revisions in the body suggested by the referee, to appear in Pacific J. Math., Version 2 includes an appendix by Neil R. Hoffman which answers Question 10(2) of Version 1

MSC Class: 57M27

Journal ref: Pacific J. Math. 305 (2020) 1-27

A note on the concordance of fibered knots

Authors: Kenneth L. Baker

Abstract: Either fibered knots supporting the tight contact structure are unique in their smooth concordance class or there exists a fibered counterexample to the Slice-Ribbon Conjecture. Either fibered knots supporting the tight contact structure are unique in their smooth concordance class or there exists a fibered counterexample to the Slice-Ribbon Conjecture. △ Less

Submitted 17 June, 2015; v1 submitted 26 September, 2014; originally announced September 2014.

Comments: Accepted for publication by the Journal of Topology

MSC Class: 57M25; 57M27

Montesinos knots, Hopf plumbings, and L-space surgeries

Authors: Kenneth L. Baker, Allison H. Moore

Abstract: Using Hirasawa-Murasugi's classification of fibered Montesinos knots we classify the L-space Montesinos knots, providing further evidence towards a conjecture of Lidman-Moore that L-space knots have no essential Conway spheres. In the process, we classify the fibered Montesinos knots whose open books support the tight contact structure on $S^3$. We also construct L-space knots with arbitrarily lar… ▽ More Using Hirasawa-Murasugi's classification of fibered Montesinos knots we classify the L-space Montesinos knots, providing further evidence towards a conjecture of Lidman-Moore that L-space knots have no essential Conway spheres. In the process, we classify the fibered Montesinos knots whose open books support the tight contact structure on $S^3$. We also construct L-space knots with arbitrarily large tunnel number and discuss the question of whether L-space knots admit essential tangle decompositions in the context of satellite operations and tunnel number. △ Less

Submitted 30 April, 2014; originally announced April 2014.

Comments: 17 pages, 8 figures

On the topology of initial data sets with higher genus ends

Authors: Kenneth L. Baker, Gregory J. Galloway

Abstract: In this note we study the topology of 3-dimensional initial data sets with horizons of a sort associated with asymptotically locally anti-de Sitter spacetimes. We show that, within this class, those initial data sets which contain no (immersed) marginally outer trapped surfaces in their interior must have simple topology: they are a product of a surface and an interval, or a mild variation thereof… ▽ More In this note we study the topology of 3-dimensional initial data sets with horizons of a sort associated with asymptotically locally anti-de Sitter spacetimes. We show that, within this class, those initial data sets which contain no (immersed) marginally outer trapped surfaces in their interior must have simple topology: they are a product of a surface and an interval, or a mild variation thereof, depending on the connectedness of the horizon and on its genus relative to that of the end. The results obtained here extend results in [11] to the case of higher genus ends. △ Less

Submitted 23 December, 2014; v1 submitted 4 March, 2014; originally announced March 2014.

Comments: v2: 13 pages, 1 figure; minor corrections and changes, Lemma 2.2 added. To appear in Commun Math Phys

Non-looseness of non-loose knots

Authors: Kenneth L. Baker, Sinem Onaran

Abstract: A Legendrian or transverse knot in an overtwisted contact 3-manifold is non-loose if its complement is tight and loose if its complement is overtwisted. We define three measures of the extent of non-looseness of a non-loose knot and show they are distinct. A Legendrian or transverse knot in an overtwisted contact 3-manifold is non-loose if its complement is tight and loose if its complement is overtwisted. We define three measures of the extent of non-looseness of a non-loose knot and show they are distinct. △ Less

Submitted 19 December, 2013; originally announced December 2013.

Comments: 24 pages, 10 figures

Journal ref: Algebr. Geom. Topol. 15 (2015) 1031-1066

On manifolds with multiple lens space filings

Authors: Kenneth L. Baker, Brandy Guntel Doleshal, Neil Hoffman

Abstract: An irreducible 3--manifold with torus boundary either is a Seifert fibered space or admits at most three lens space fillings according to the Cyclic Surgery Theorem. We examine the sharpness of this theorem by classifying the non-hyperbolic manifolds with more than one lens space filling, classifying the hyperbolic manifolds obtained by filling of the Minimally Twisted 5 Chain complement that have… ▽ More An irreducible 3--manifold with torus boundary either is a Seifert fibered space or admits at most three lens space fillings according to the Cyclic Surgery Theorem. We examine the sharpness of this theorem by classifying the non-hyperbolic manifolds with more than one lens space filling, classifying the hyperbolic manifolds obtained by filling of the Minimally Twisted 5 Chain complement that have three lens space fillings, showing that the doubly primitive knots in $S^3$ and $S^1 \times S^2$ have no unexpected extra lens space surgery, and showing that the Figure Eight Knot Sister Manifold is the only non-Seifert fibered manifold with a properly embedded essential once-punctured torus and three lens space fillings. △ Less

Submitted 22 August, 2013; originally announced August 2013.

Comments: 30 pages, 13 figures

MSC Class: 57M25

A Cabling Conjecture for Knots in Lens Spaces

Authors: Kenneth L. Baker

Abstract: Closed 3-string braids admit many bandings to two-bridge links. By way of the Montesinos Trick, this allows us to construct infinite families of knots in the connected sum of lens spaces L(r,1) # L(s,1) that admit a surgery to a lens space for all pairs of integers (r,s) except (0,0). These knots are typically hyperbolic. We also demonstrate that the previously known two families of examples of hy… ▽ More Closed 3-string braids admit many bandings to two-bridge links. By way of the Montesinos Trick, this allows us to construct infinite families of knots in the connected sum of lens spaces L(r,1) # L(s,1) that admit a surgery to a lens space for all pairs of integers (r,s) except (0,0). These knots are typically hyperbolic. We also demonstrate that the previously known two families of examples of hyperbolic knots in non-prime manifolds with lens space surgeries of Eudave-Munoz--Wu and Kang all fit this construction. As such, we propose a generalization of the Cabling Conjecture of Gonzales-Acuna--Short for knots in lens spaces. △ Less

Submitted 3 June, 2013; originally announced June 2013.

Comments: 15 pages, 10 figures. Comments are welcome

MSC Class: 57M27

The Classification of Rational Subtangle Replacements between Rational Tangles

Authors: Kenneth L. Baker, Dorothy Buck

Abstract: A natural generalization of a crossing change is a rational subtangle replacement (RSR). We characterize the fundamental situation of the rational tangles obtained from a given rational tangle via RSR, building on work of Berge and Gabai, and determine the sites where these RSR may occur. In addition we also determine the sites for RSR distance at least two between 2-bridge links. These proofs dep… ▽ More A natural generalization of a crossing change is a rational subtangle replacement (RSR). We characterize the fundamental situation of the rational tangles obtained from a given rational tangle via RSR, building on work of Berge and Gabai, and determine the sites where these RSR may occur. In addition we also determine the sites for RSR distance at least two between 2-bridge links. These proofs depend on the geometry of the branched double cover. Furthermore, we classify all knots in lens spaces whose exteriors are generalized Seifert fibered spaces and their lens space surgeries, extending work of Darcy-Sumners. This work is in part motivated by the common biological situation of proteins cutting, rearranging and resealing DNA segments -- effectively performing RSR on DNA `tangles'. △ Less

Submitted 24 April, 2013; originally announced April 2013.

Comments: To appear in AGT. (33 pages, 24 figures)

MSC Class: 57M27

Some knots in S^1 x S^2 with lens space surgeries

Authors: Kenneth L. Baker, Dorothy Buck, Ana G. Lecuona

Abstract: We propose a classification of knots in S^1 x S^2 that admit a longitudinal surgery to a lens space. Any lens space obtainable by longitudinal surgery on some knots in S^1 x S^2 may be obtained from a Berge-Gabai knot in a Heegaard solid torus of S^1 x S^2, as observed by Rasmussen. We show that there are yet two other families of knots: those that lie on the fiber of a genus one fibered knot and… ▽ More We propose a classification of knots in S^1 x S^2 that admit a longitudinal surgery to a lens space. Any lens space obtainable by longitudinal surgery on some knots in S^1 x S^2 may be obtained from a Berge-Gabai knot in a Heegaard solid torus of S^1 x S^2, as observed by Rasmussen. We show that there are yet two other families of knots: those that lie on the fiber of a genus one fibered knot and the `sporadic' knots. All these knots in S^1 x S^2 are both doubly primitive and spherical braids. This classification arose from generalizing Berge's list of doubly primitive knots in S^3, though we also examine how one might develop it using Lisca's embeddings of the intersection lattices of rational homology balls bounded by lens spaces as a guide. We conjecture that our knots constitute a complete list of doubly primitive knots in S^1 x S^2 and reduce this conjecture to classifying the homology classes of knots in lens spaces admitting a longitudinal S^1 x S^2 surgery. △ Less

Submitted 27 February, 2013; originally announced February 2013.

Comments: 35 pages, 32 figures

MSC Class: 57M27

Character varieties of once-punctured torus bundles with tunnel number one

Authors: Kenneth L. Baker, Kathleen L. Petersen

Abstract: We determine the PSL_2(C) and SL_2(C) character varieties of the once-punctured torus bundles with tunnel number one, i.e. the once-punctured torus bundles that arise from filling one boundary component of the Whitehead link exterior. In particular, we determine `natural' models for these algebraic sets, identify them up to birational equivalence with smooth models, and compute the genera of the c… ▽ More We determine the PSL_2(C) and SL_2(C) character varieties of the once-punctured torus bundles with tunnel number one, i.e. the once-punctured torus bundles that arise from filling one boundary component of the Whitehead link exterior. In particular, we determine `natural' models for these algebraic sets, identify them up to birational equivalence with smooth models, and compute the genera of the canonical components. This enables us to compare dilatations of the monodromies of these bundles with these genera. We also determine the minimal polynomials for the trace fields of these manifolds. Additionally we study the action of the symmetries of these manifolds upon their character varieties, identify the characters of their lens space fillings, and compute the twisted Alexander polynomials for their representations to SL_2(C). △ Less

Submitted 19 November, 2012; originally announced November 2012.

Comments: 49 pages, 6 figures

MSC Class: 57M27; 57M50; 57N10; 20C15

Obtaining genus 2 Heegaard splittings from Dehn surgery

Authors: Kenneth L Baker, Cameron Gordon, John Luecke

Abstract: Let K' be a hyperbolic knot in S^3 and suppose that some Dehn surgery on K' with distance at least 3 from the meridian yields a 3-manifold M of Heegaard genus 2. We show that if M does not contain an embedded Dyck's surface (the closed non-orientable surface of Euler characteristic -1), then the knot dual to the surgery is either 0-bridge or 1-bridge with respect to a genus 2 Heegaard splitting of… ▽ More Let K' be a hyperbolic knot in S^3 and suppose that some Dehn surgery on K' with distance at least 3 from the meridian yields a 3-manifold M of Heegaard genus 2. We show that if M does not contain an embedded Dyck's surface (the closed non-orientable surface of Euler characteristic -1), then the knot dual to the surgery is either 0-bridge or 1-bridge with respect to a genus 2 Heegaard splitting of M. In the case M does contain an embedded Dyck's surface, we obtain similar results. As a corollary, if M does not contain an incompressible genus 2 surface, then the tunnel number of K' is at most 2. △ Less

Submitted 30 April, 2012; originally announced May 2012.

Comments: 127 pages, 81 figures

MSC Class: 57M27

Journal ref: Algebr. Geom. Topol. 13 (2013) 2471-2634

Bridge number, Heegaard genus and non-integral Dehn surgery

Authors: Kenneth L. Baker, Cameron Gordon, John Luecke

Abstract: We show there exists a linear function w: N->N with the following property. Let K be a hyperbolic knot in a hyperbolic 3-manifold M admitting a non-longitudinal S^3 surgery. If K is put into thin position with respect to a strongly irreducible, genus g Heegaard splitting of M then K intersects a thick level at most 2w(g) times. Typically, this shows that the bridge number of K with respect to this… ▽ More We show there exists a linear function w: N->N with the following property. Let K be a hyperbolic knot in a hyperbolic 3-manifold M admitting a non-longitudinal S^3 surgery. If K is put into thin position with respect to a strongly irreducible, genus g Heegaard splitting of M then K intersects a thick level at most 2w(g) times. Typically, this shows that the bridge number of K with respect to this Heegaard splitting is at most w(g), and the tunnel number of K is at most w(g) + g-1. △ Less

Submitted 18 November, 2013; v1 submitted 1 February, 2012; originally announced February 2012.

Comments: 76 page, 48 figures; referee comments incorporated and typos fixed; accepted at TAMS

MSC Class: 57M27

The Poincare homology sphere and almost simple knots in lens spaces

Authors: Kenneth L. Baker

Abstract: Hedden defined two knots in each lens space that, through analogies with their knot Floer homology and doubly pointed Heegaard diagrams of genus one, may be viewed as generalizations of the two trefoils in S^3. Rasmussen shows that when the `left-handed' one is in the homology class of the dual to a Berge knot of type VII, it admits an L-space homology sphere surgery. In this note we give a simple… ▽ More Hedden defined two knots in each lens space that, through analogies with their knot Floer homology and doubly pointed Heegaard diagrams of genus one, may be viewed as generalizations of the two trefoils in S^3. Rasmussen shows that when the `left-handed' one is in the homology class of the dual to a Berge knot of type VII, it admits an L-space homology sphere surgery. In this note we give a simple proof that these L-space homology spheres are always the Poincaré homology sphere. △ Less

Submitted 29 November, 2011; originally announced November 2011.

Comments: 3 pages, 4 figures

Cabling, contact structures and mapping class monoids

Authors: Kenneth L. Baker, John B. Etnyre, Jeremy Van Horn-Morris

Abstract: In this paper we discuss the change in contact structures as their supporting open book decompositions have their binding components cabled. To facilitate this and applications we define the notion of a rational open book decomposition that generalizes the standard notion of open book decomposition and allows one to more easily study surgeries on transverse knots. As a corollary to our investigati… ▽ More In this paper we discuss the change in contact structures as their supporting open book decompositions have their binding components cabled. To facilitate this and applications we define the notion of a rational open book decomposition that generalizes the standard notion of open book decomposition and allows one to more easily study surgeries on transverse knots. As a corollary to our investigation we are able to show there are Stein fillable contact structures supported by open books whose monodromies cannot be written as a product of positive Dehn twists. We also exhibit several monoids in the mapping class group of a surface that have contact geometric significance. △ Less

Submitted 11 August, 2011; v1 submitted 11 May, 2010; originally announced May 2010.

Comments: 62 pages, 32 figures. Significant expansion of exposition and more details on some arguments

MSC Class: 57R17; 53D10

Rational linking and contact geometry

Authors: Kenneth L. Baker, John B. Etnyre

Abstract: In the note we study Legendrian and transverse knots in rationally null-homologous knot types. In particular we generalize the standard definitions of self-linking number, Thurston-Bennequin invariant and rotation number. We then prove a version of Bennequin's inequality for these knots and classify precisely when the Bennequin bound is sharp for fibered knot types. Finally we study rational unkno… ▽ More In the note we study Legendrian and transverse knots in rationally null-homologous knot types. In particular we generalize the standard definitions of self-linking number, Thurston-Bennequin invariant and rotation number. We then prove a version of Bennequin's inequality for these knots and classify precisely when the Bennequin bound is sharp for fibered knot types. Finally we study rational unknots and show they are weakly Legendrian and transversely simple. This version of the paper corrects the definition of rational self-linking number in the previous and published version of the paper. With this correction all the main results of the paper remain true as originally stated. △ Less

Submitted 4 April, 2014; v1 submitted 4 January, 2009; originally announced January 2009.

Comments: 16 pages

MSC Class: 57R17; 53D10

Grid Diagrams and Legendrian Lens Space Links

Authors: Kenneth L. Baker, J. Elisenda Grigsby

Abstract: Grid diagrams encode useful geometric information about knots in S^3. In particular, they can be used to combinatorially define the knot Floer homology of a knot K in S^3, and they have a straightforward connection to Legendrian representatives of K in (S^3, ξ_\st), where ξ_\st is the standard, tight contact structure. The definition of a grid diagram was extended to include a description for li… ▽ More Grid diagrams encode useful geometric information about knots in S^3. In particular, they can be used to combinatorially define the knot Floer homology of a knot K in S^3, and they have a straightforward connection to Legendrian representatives of K in (S^3, ξ_\st), where ξ_\st is the standard, tight contact structure. The definition of a grid diagram was extended to include a description for links in all lens spaces, resulting in a combinatorial description of the knot Floer homology of a knot K in L(p, q) for all p > 0. In the present article, we explore the connection between lens space grid diagrams and the contact topology of a lens space. Our hope is that an understanding of grid diagrams from this point of view will lead to new approaches to the Berge conjecture, which claims to classify all knots in S^3 upon which surgery yields a lens space. △ Less

Submitted 18 April, 2008; originally announced April 2008.

Comments: 27 pages, 20 figures

MSC Class: 57M27; 53D10

Grid Diagrams for Lens Spaces and Combinatorial Knot Floer Homology

Authors: Kenneth L. Baker, J. Elisenda Grigsby, Matthew Hedden

Abstract: Similar to knots in S^3, any knot in a lens space has a grid diagram from which one can combinatorially compute all of its knot Floer homology invariants. We give an explicit description of the generators, differentials, and rational Maslov and Alexander gradings in terms of combinatorial data on the grid diagram. Motivated by existing results for the Floer homology of knots in S^3 and the simil… ▽ More Similar to knots in S^3, any knot in a lens space has a grid diagram from which one can combinatorially compute all of its knot Floer homology invariants. We give an explicit description of the generators, differentials, and rational Maslov and Alexander gradings in terms of combinatorial data on the grid diagram. Motivated by existing results for the Floer homology of knots in S^3 and the similarity of the combinatorics presented here, we conjecture that a certain family of knots is characterized by their Floer homology. Coupled with work of the third author, an affirmative answer to this would prove the Berge conjecture, which catalogs the knots in S^3 admitting lens space surgeries. △ Less

Submitted 4 August, 2008; v1 submitted 1 October, 2007; originally announced October 2007.

Comments: 27 pages, 8 figures; Expositional improvements, corrected normalization of A grading in proof of Lemma 4.10

MSC Class: 57R58; 57M27

Journal ref: International Mathematics Research Notices (2008) Vol. 2008 : article ID rnn024, 39 pages

Once-punctured tori and knots in lens spaces

Authors: Kenneth L. Baker

Abstract: We determine the non-null homologous knots in lens spaces whose exteriors contain properly embedded once-punctured tori. All such knots arise as surgeries on the Whitehead link and are grid number 1 in their lens spaces. As a corollary, we classify once-punctured torus bundles that admit a lens space filling. We determine the non-null homologous knots in lens spaces whose exteriors contain properly embedded once-punctured tori. All such knots arise as surgeries on the Whitehead link and are grid number 1 in their lens spaces. As a corollary, we classify once-punctured torus bundles that admit a lens space filling. △ Less

Submitted 7 May, 2007; v1 submitted 18 December, 2006; originally announced December 2006.

Comments: 37 pages, 29 figures

MSC Class: 57M27

Small genus knots in lens spaces have small bridge number

Authors: Kenneth L Baker

Abstract: In a lens space X of order r a knot K representing an element of the fundamental group pi_1 X = Z/rZ of order s <= r contains a connected orientable surface S properly embedded in its exterior X-N(K) such that the boundary of S intersects the meridian of K minimally s times. Assume S has just one boundary component. Let g be the minimal genus of such surfaces for K, and assume s >= 4g-1. Then wi… ▽ More In a lens space X of order r a knot K representing an element of the fundamental group pi_1 X = Z/rZ of order s <= r contains a connected orientable surface S properly embedded in its exterior X-N(K) such that the boundary of S intersects the meridian of K minimally s times. Assume S has just one boundary component. Let g be the minimal genus of such surfaces for K, and assume s >= 4g-1. Then with respect to the genus one Heegaard splitting of X, K has bridge number at most 1. △ Less

Submitted 30 April, 2009; v1 submitted 14 December, 2006; originally announced December 2006.

Comments: This is the version published by Algebraic & Geometric Topology on 11 October 2006

MSC Class: 57M27; 57M25

Journal ref: Algebr. Geom. Topol. 6 (2006) 1519-1621

Tunnel number one, genus one fibered knots

Authors: Kenneth L. Baker, Jesse E. Johnson, Elizabeth A. Klodginski

Abstract: We determine the genus one fibered knots in lens spaces that have tunnel number one. We also show that every tunnel number one, once-punctured torus bundle is the result of Dehn filling a component of the Whitehead link in the 3-sphere. We determine the genus one fibered knots in lens spaces that have tunnel number one. We also show that every tunnel number one, once-punctured torus bundle is the result of Dehn filling a component of the Whitehead link in the 3-sphere. △ Less

Submitted 2 February, 2007; v1 submitted 15 June, 2006; originally announced June 2006.

Comments: 12 pages, 4 figures; incorporated referee comments; accepted by CAG

MSC Class: 57M50 (Primary); 57M12; 57M25 (Secondary)

Counting genus one fibered knots in lens spaces

Authors: Kenneth L. Baker

Abstract: The braid axis of a closed 3-braid lifts to a genus one fibered knot in the double cover of S^3 branched over the closed braid. Every (null homologous) genus one fibered knot in a 3-manifold may be obtained in this way. Using this perspective we answer a question of Morimoto about the number of genus one fibered knots in lens spaces. We determine the number of genus one fibered knots up to homeo… ▽ More The braid axis of a closed 3-braid lifts to a genus one fibered knot in the double cover of S^3 branched over the closed braid. Every (null homologous) genus one fibered knot in a 3-manifold may be obtained in this way. Using this perspective we answer a question of Morimoto about the number of genus one fibered knots in lens spaces. We determine the number of genus one fibered knots up to homeomorphism in any given lens space. This number is 3 in the case of the lens space L(4,1), 2 for the lens spaces L(m,1) with m>0, and at most 1 otherwise. △ Less

Submitted 20 March, 2006; v1 submitted 18 October, 2005; originally announced October 2005.

Comments: 10 pages, 4 figures. V4: Fixed cosmetic errors, slight modification to proof of Thm 2.4

MSC Class: 57M50 (Primary) 57M12; 57M25 (Secondary)