Showing 1–30 of 30 results for author: Kegel, M

Knots that share four surgeries

Authors: Marc Kegel, Lisa Piccirillo

Abstract: Distinct knots K, K' can sometimes share a common p/q-framed Dehn surgery. A folk conjecture held that for a fixed pair of knots, this can occur for at most one value of p/q. We disprove this conjecture by constructing pairs of distinct knots K,K' that have common Dehn surgeries for four distinct slopes. We also construct non-isotopic Legendrian knots K,K' that have contactomorphic contact (+1)-an… ▽ More Distinct knots K, K' can sometimes share a common p/q-framed Dehn surgery. A folk conjecture held that for a fixed pair of knots, this can occur for at most one value of p/q. We disprove this conjecture by constructing pairs of distinct knots K,K' that have common Dehn surgeries for four distinct slopes. We also construct non-isotopic Legendrian knots K,K' that have contactomorphic contact (+1)-and (-1)-surgeries, disproving an analogous conjecture in contact geometry. △ Less

Submitted 3 June, 2025; v1 submitted 19 May, 2025; originally announced May 2025.

Comments: 22 pages, 18 figures, 1 table; V2: Added supporting code and data to the arXiv

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

Contact surgery numbers of projective spaces

Authors: Marc Kegel, Monika Yadav

Abstract: We classify all contact projective spaces with contact surgery number one. In particular, this implies that there exist infinitely many non-isotopic contact structures on the real projective 3-space which cannot be obtained by a single rational contact surgery from the standard tight contact 3-sphere. Large parts of our proofs deal with a detailed analysis of Gompf's $Γ$-invariant of tangential… ▽ More We classify all contact projective spaces with contact surgery number one. In particular, this implies that there exist infinitely many non-isotopic contact structures on the real projective 3-space which cannot be obtained by a single rational contact surgery from the standard tight contact 3-sphere. Large parts of our proofs deal with a detailed analysis of Gompf's $Γ$-invariant of tangential 2-plane fields on 3-manifolds. From our main result we also deduce that the $Γ$-invariant of a tangential 2-plane field on the real projective 3-space only depends on its $d_3$-invariant. △ Less

Submitted 7 April, 2025; originally announced April 2025.

Comments: 22 pages, 11 figures, 2 tables

MSC Class: 53D35; 53D10; 57K10; 57R65; 57K10; 57K33

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

Algorithms in 4-manifold topology

Authors: Stefan Bastl, Rhuaidi Burke, Rima Chatterjee, Subhankar Dey, Alison Durst, Stefan Friedl, Daniel Galvin, Alejandro García Rivas, Tobias Hirsch, Cara Hobohm, Chun-Sheng Hsueh, Marc Kegel, Frieda Kern, Shun Ming Samuel Lee, Clara Löh, Naageswaran Manikandan, Léo Mousseau, Lars Munser, Mark Pencovitch, Patrick Perras, Mark Powell, José Pedro Quintanilha, Lisa Schambeck, David Suchodoll, Martin Tancer , et al. (6 additional authors not shown)

Abstract: We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply connected, topological 4-manifolds can be naturally represented by a Kirby diagram consisting only of 2-handles. This representation is used as input for our algorithm.… ▽ More We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply connected, topological 4-manifolds can be naturally represented by a Kirby diagram consisting only of 2-handles. This representation is used as input for our algorithm. Along the way, we develop an algorithm to compute the Kirby-Siebenmann invariant of a closed, simply connected, topological 4-manifold from any of its Kirby diagrams and describe an algorithm that decides whether or not two intersection forms are isometric. In a slightly different direction, we discuss the decidability of the stable classification of smooth manifolds with more general fundamental groups. Here we show that there exists an algorithm that takes as input two closed, oriented, smooth 4-manifolds with fundamental groups isomorphic to a finite group with cyclic Sylow 2-subgroup, an infinite cyclic group, or a group of geometric dimension at most 3 (in the latter case we additionally assume that the universal covers of both 4-manifolds are not spin), and decides whether or not these two 4-manifolds are orientation-preserving stably diffeomorphic. △ Less

Submitted 13 November, 2024; originally announced November 2024.

Comments: 24 pages, 1 Figure

Report number: MPIM-Bonn-2024 MSC Class: 57K40; 57K10; 57R65

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

Contact surgery numbers of Sigma(2,3,11) and L(4m+3,4)

Authors: Rima Chatterjee, Marc Kegel

Abstract: We classify all contact structures with contact surgery number one on the Brieskorn sphere Sigma(2,3,11) with both orientations. We conclude that there exist infinitely many non-isotopic contact structures on each of the above manifolds which cannot be obtained by a single rational contact surgery from the standard tight contact 3-sphere. We further prove similar results for some lens spaces: We c… ▽ More We classify all contact structures with contact surgery number one on the Brieskorn sphere Sigma(2,3,11) with both orientations. We conclude that there exist infinitely many non-isotopic contact structures on each of the above manifolds which cannot be obtained by a single rational contact surgery from the standard tight contact 3-sphere. We further prove similar results for some lens spaces: We classify all contact structures with contact surgery number one on lens spaces of the form L(4m+3,4). Along the way, we present an algorithm and a formula for computing the Euler class of a contact structure from a general rational contact surgery description and classify which rational surgeries along Legendrian unknots are tight and which ones are overtwisted. △ Less

Submitted 28 April, 2024; originally announced April 2024.

Comments: 30 pages, 12 figures, 3 tables

MSC Class: 53D35; 53D10; 57K10; 57R65; 57K10; 57K33

On a volume invariant of 3-manifolds

Authors: Marc Kegel, Arunima Ray, Jonathan Spreer, Em Thompson, Stephan Tillmann

Abstract: This paper investigates a real-valued topological invariant of 3-manifolds called topological volume. For a given 3-manifold M it is defined as the smallest volume of the complement of a (possibly empty) hyperbolic link in M. Various refinements of this invariant are given, asymptotically tight upper and lower bounds are determined, and all non-hyperbolic closed 3-manifolds with topological volume… ▽ More This paper investigates a real-valued topological invariant of 3-manifolds called topological volume. For a given 3-manifold M it is defined as the smallest volume of the complement of a (possibly empty) hyperbolic link in M. Various refinements of this invariant are given, asymptotically tight upper and lower bounds are determined, and all non-hyperbolic closed 3-manifolds with topological volume of at most 3.07 are classified. Moreover, it is shown that for all but finitely many lens spaces, the volume minimiser is obtained by Dehn filling one of the cusps of the complement of the Whitehead link or its sister manifold. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Comments: 26 pages, 5 figures

MSC Class: 57K10; 57K31; 57K32; 57R65

Complexity of equal 0-surgeries

Authors: Tetsuya Abe, Marc Kegel, Nicolas Weiss

Abstract: We say that two knots are friends if they share the same 0-surgery. Two friends with different sliceness status would provide a counterexample to the 4-dimensional smooth Poincaré conjecture. Here we create a census of all friends with small crossing numbers c and tetrahedral complexities t, and compute their smooth 4-genera. In particular, we compute the minimum of c(K)+c(K') and of t(K)+t(K') am… ▽ More We say that two knots are friends if they share the same 0-surgery. Two friends with different sliceness status would provide a counterexample to the 4-dimensional smooth Poincaré conjecture. Here we create a census of all friends with small crossing numbers c and tetrahedral complexities t, and compute their smooth 4-genera. In particular, we compute the minimum of c(K)+c(K') and of t(K)+t(K') among all friends K and K'. Along the way, we classify all 0-surgeries of knots of at most 15 crossings. Moreover, we determine for many friends in our census if their traces are equivalent or not. For that, we develop a new obstruction for two traces being homeomorphic coming from symmetry-exceptional slopes of hyperbolic knots. This is enough to also determine the minimum value of c(K)+c(K') among all friends K and K' whose traces are not homeomorphic. △ Less

Submitted 22 April, 2025; v1 submitted 11 January, 2024; originally announced January 2024.

Comments: 23 pages, 4 figures, 9 tables; V2: corrected several mistakes, added new and stronger results (in particular about the knot traces), added a new coauthor

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

On unknotting fibered positive knots and braids

Authors: Marc Kegel, Lukas Lewark, Naageswaran Manikandan, Filip Misev, Leo Mousseau, Marithania Silvero

Abstract: The unknotting number $u$ and the genus $g$ of braid positive knots are equal, as shown by Rudolph. We prove the stronger statement that any positive braid diagram of a genus $g$ knot contains $g$ crossings, such that changing them produces a diagram of the trivial knot. Then, we turn to unknotting the more general class of fibered positive knots, for which $u = g$ was conjectured by Stoimenow. We… ▽ More The unknotting number $u$ and the genus $g$ of braid positive knots are equal, as shown by Rudolph. We prove the stronger statement that any positive braid diagram of a genus $g$ knot contains $g$ crossings, such that changing them produces a diagram of the trivial knot. Then, we turn to unknotting the more general class of fibered positive knots, for which $u = g$ was conjectured by Stoimenow. We prove that the known ways to unknot braid positive knots do not generalize to fibered positive knots. Namely, we prove that there are fibered positive knots that cannot be unknotted optimally along fibered positive knots; there are fibered positive knots that do not arise as trefoil plumbings; and there are positive diagrams of fibered positive knots of genus $g$ that do not contain $g$ crossings, such that changing them produces a diagram of the trivial knot. In fact, we conjecture that one of our examples is a counterexample to Stoimenow's conjecture. △ Less

Submitted 5 September, 2024; v1 submitted 12 December, 2023; originally announced December 2023.

Comments: V2: Minor changes, version accepted for publication in Ann. Sc. Norm. Super. Pisa Cl. Sci

MSC Class: 57K10

Khovanov homology of positive links and of L-space knots

Authors: Marc Kegel, Naageswaran Manikandan, Leo Mousseau, Marithania Silvero

Abstract: We determine the structure of the Khovanov homology groups in homological grading 1 of positive links. More concretely, we show that the first Khovanov homology is supported in a single quantum grading determined by the Seifert genus of the link, where the group is free abelian and of rank determined by the Seifert graph of any of its positive link diagrams. In particular, for a positive link, the… ▽ More We determine the structure of the Khovanov homology groups in homological grading 1 of positive links. More concretely, we show that the first Khovanov homology is supported in a single quantum grading determined by the Seifert genus of the link, where the group is free abelian and of rank determined by the Seifert graph of any of its positive link diagrams. In particular, for a positive link, the first Khovanov homology is vanishing if and only if the link is fibered. Moreover, we extend these results to (p,q)-cables of positive knots whenever $q\geq p$. We also show that several infinite families of Heegaard Floer L-space knots have vanishing first Khovanov homology. This suggests a possible extension of our results to L-space knots. △ Less

Submitted 26 April, 2023; originally announced April 2023.

Comments: 25 pages, 15 figures

MSC Class: 57K10; 57K14; 57K16; 57K18; 57K32

Trisecting a 4-dimensional book into three chapters

Authors: Marc Kegel, Felix Schmäschke

Abstract: We describe an algorithm that takes as input an open book decomposition of a closed oriented 4-manifold and outputs an explicit trisection diagram of that 4-manifold. Moreover, a slight variation of this algorithm also works for open books on manifolds with non-empty boundary and for 3-manifold bundles over the circle. We apply this algorithm to several simple open books, demonstrate that it is co… ▽ More We describe an algorithm that takes as input an open book decomposition of a closed oriented 4-manifold and outputs an explicit trisection diagram of that 4-manifold. Moreover, a slight variation of this algorithm also works for open books on manifolds with non-empty boundary and for 3-manifold bundles over the circle. We apply this algorithm to several simple open books, demonstrate that it is compatible with various topological constructions, and argue that it generalizes and unifies several previously known constructions. △ Less

Submitted 17 June, 2024; v1 submitted 24 April, 2023; originally announced April 2023.

Comments: 34 pages, 19 figures; V2: Some corrections, clarifications, and modifications following a referee report; V3: Added an example of a twist spun. Final version, to appear in Geom. Dedicata

MSC Class: 57R65; 57K45; 57K40; 57R52

The classification of surfaces via normal curves

Authors: Fethi Ayaz, Marc Kegel, Klaus Mohnke

Abstract: We present a simple proof of the surface classification theorem using normal curves. This proof is analogous to Kneser's and Milnor's proof of the existence and uniqueness of the prime decomposition of 3-manifolds. In particular, we do not need any invariants from algebraic topology to distinguish surfaces. We present a simple proof of the surface classification theorem using normal curves. This proof is analogous to Kneser's and Milnor's proof of the existence and uniqueness of the prime decomposition of 3-manifolds. In particular, we do not need any invariants from algebraic topology to distinguish surfaces. △ Less

Submitted 30 November, 2022; v1 submitted 1 August, 2022; originally announced August 2022.

Comments: 12 pages, 7 figures; V2: Corrected an error in Section 5 and added discussion about nonorientable surfaces

MSC Class: 57M25; 57R65; 57M12

Non-isotopic transverse tori in Engel manifolds

Authors: Marc Kegel

Abstract: In every Engel manifold we construct an infinite family of pairwise non-isotopic transverse tori that are all smoothly isotopic. To distinguish the transverse tori in the family we introduce a homological invariant of transverse tori that is similar to the self-linking number for transverse knots in contact 3-manifolds. Analogous results are presented for Legendrian tori in even contact 4-manifold… ▽ More In every Engel manifold we construct an infinite family of pairwise non-isotopic transverse tori that are all smoothly isotopic. To distinguish the transverse tori in the family we introduce a homological invariant of transverse tori that is similar to the self-linking number for transverse knots in contact 3-manifolds. Analogous results are presented for Legendrian tori in even contact 4-manifolds. △ Less

Submitted 19 January, 2023; v1 submitted 10 May, 2022; originally announced May 2022.

Comments: 10 pages, 2 figures; V2: Added Section 6 on formal transverse tori and their self-linking classes. Final version to appear in Rev. Mat. Iberoam

MSC Class: 57R15; 57K45; 53D35; 57K33; 57R25

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

Contact surgery graphs

Authors: Marc Kegel, Sinem Onaran

Abstract: We define a graph encoding the structure of contact surgery on contact 3-manifolds and analyze its basic properties and some of its interesting subgraphs. We define a graph encoding the structure of contact surgery on contact 3-manifolds and analyze its basic properties and some of its interesting subgraphs. △ Less

Submitted 10 January, 2022; originally announced January 2022.

Comments: 11 pages, 3 figures

MSC Class: 53D35; 53D10; 57K10; 57R65; 57K10; 57K33

Journal ref: Bull. Aust. Math. Soc., 107 (2023), 146--157

Contact surgery numbers

Authors: John Etnyre, Marc Kegel, Sinem Onaran

Abstract: It is known that any contact 3-manifold can be obtained by rational contact Dehn surgery along a Legendrian link L in the standard tight contact 3-sphere. We define and study various versions of contact surgery numbers, the minimal number of components of a surgery link L describing a given contact 3-manifold under consideration. In the first part of the paper, we relate contact surgery numbers to… ▽ More It is known that any contact 3-manifold can be obtained by rational contact Dehn surgery along a Legendrian link L in the standard tight contact 3-sphere. We define and study various versions of contact surgery numbers, the minimal number of components of a surgery link L describing a given contact 3-manifold under consideration. In the first part of the paper, we relate contact surgery numbers to other invariants in terms of various inequalities. In particular, we show that the contact surgery number of a contact manifold is bounded from above by the topological surgery number of the underlying topological manifold plus three. In the second part, we compute contact surgery numbers of all contact structures on the 3-sphere. Moreover, we completely classify the contact structures with contact surgery number one on $S^1\times S^2$, the Poincaré homology sphere, and the Brieskorn sphere $Σ(2,3,7)$. We conclude that there exist infinitely many non-isotopic contact structures on each of the above manifolds which cannot be obtained by a single rational contact surgery from the standard tight contact $3$-sphere. We further obtain results for the 3-torus and lens spaces. As one ingredient of the proofs of the above results we generalize computations of the homotopical invariants of contact structures to contact surgeries with more general surgery coefficients which might be of independent interest. △ Less

Submitted 27 April, 2023; v1 submitted 1 January, 2022; originally announced January 2022.

Comments: 57 pages, 19 figures; V2: Final version to appear in J. Symplectic Geom

MSC Class: 53D35; 53D10; 57K10; 57R65; 57K10; 57K33

Stein traces and characterizing slopes

Authors: Roger Casals, John Etnyre, Marc Kegel

Abstract: We show that there exists an infinite family of pairwise non-isotopic Legendrian knots in the standard contact 3-sphere whose Stein traces are equivalent. This is the first example of such phenomenon. Different constructions are developed in the article, including a contact annulus twist, explicit Weinstein handlebody equivalences, and a discussion on dualizable patterns in the contact setting. Th… ▽ More We show that there exists an infinite family of pairwise non-isotopic Legendrian knots in the standard contact 3-sphere whose Stein traces are equivalent. This is the first example of such phenomenon. Different constructions are developed in the article, including a contact annulus twist, explicit Weinstein handlebody equivalences, and a discussion on dualizable patterns in the contact setting. These constructions can be used to systematically construct distinct Legendrian knots in the standard contact 3-sphere with contactomorphic (-1)-surgeries and, in many cases, equivalent Stein traces. In addition, we also discuss characterizing slopes and provide results in the opposite direction, i.e. describe cases in which the Stein trace, or the contactomorphism type of an r-surgery, uniquely determines the Legendrian isotopy type. △ Less

Submitted 12 July, 2023; v1 submitted 30 October, 2021; originally announced November 2021.

Comments: 39 pages, 26 Figures; V2: Final version to appear in Math. Ann; V3: Corrected some smaller mistakes

MSC Class: 53D35; 53D10; 57K10; 57R65; 57K10; 57K33

A Boothby-Wang theorem for Besse contact manifolds

Authors: Marc Kegel, Christian Lange

Abstract: A Reeb flow on a contact manifold is called Besse if all its orbits are periodic, possibly with different periods. We characterize contact manifolds whose Reeb flows are Besse as principal S^1-orbibundles over integral symplectic orbifolds satisfying some cohomological condition. Apart from the cohomological condition this statement appears in the work of Boyer and Galicki in the language of Sasak… ▽ More A Reeb flow on a contact manifold is called Besse if all its orbits are periodic, possibly with different periods. We characterize contact manifolds whose Reeb flows are Besse as principal S^1-orbibundles over integral symplectic orbifolds satisfying some cohomological condition. Apart from the cohomological condition this statement appears in the work of Boyer and Galicki in the language of Sasakian geometry. We illustrate some non-commonly dealt with perspective on orbifolds in a proof of the above result without referring to additional structures. More precisely, we work with orbifolds as quotients of manifolds by smooth Lie group actions with finite stabilizer groups. By introducing all relevant orbifold notions in this equivariant way we avoid patching constructions with orbifold charts. As an application, and building on work by Cristofaro-Gardiner--Mazzucchelli, we deduce a complete classification of closed Besse contact 3-manifolds up to strict contactomorphism. △ Less

Submitted 13 July, 2020; v1 submitted 23 March, 2020; originally announced March 2020.

Comments: 10 pages, crucial missing reference added

MSC Class: 57R18; 57R17; 53D35

Journal ref: Arnold Math. J., 7 (2021), 225-241

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

Rotation numbers and the Euler class in open books

Authors: Sebastian Durst, Marc Kegel, Joan E. Licata

Abstract: This paper introduces techniques for computing a variety of numerical invariants associated to a Legendrian knot in a contact manifold presented by an open book with a Morse structure. Such a Legendrian knot admits a front projection to the boundary of a regular neighborhood of the binding. From this front projection, we compute the rotation number for any null-homologous Legendrian knot as a coun… ▽ More This paper introduces techniques for computing a variety of numerical invariants associated to a Legendrian knot in a contact manifold presented by an open book with a Morse structure. Such a Legendrian knot admits a front projection to the boundary of a regular neighborhood of the binding. From this front projection, we compute the rotation number for any null-homologous Legendrian knot as a count of oriented cusps and linking or intersection numbers; in the case that the manifold has non-trivial second homology, we can recover the rotation number with respect to a Seifert surface in any homology class. We also provide explicit formulas for computing the necessary intersection numbers from the front projection, and we compute the Euler class of the contact structure supported by the open book. Finally, we introduce a notion of Lagrangian projection and compute the classical invariants of a null-homologous Legendrian knot from its projection to a fixed page. △ Less

Submitted 6 January, 2020; v1 submitted 14 December, 2018; originally announced December 2018.

Comments: 18 pages, 8 figures; V2: Minor corrections, to appear in Michigan Math. J

Journal ref: Michigan Math. J., 70 (2021), 869-888

Handle homology of manifolds

Authors: Sebastian Durst, Hansjörg Geiges, Marc Kegel

Abstract: We give an entirely geometric proof, without recourse to cellular homology, of the fact that $\partial^2=0$ in the chain complex defined by a handle decomposition of a given manifold. Topological invariance of the resulting `handle homology' is a consequence of Cerf theory. We give an entirely geometric proof, without recourse to cellular homology, of the fact that $\partial^2=0$ in the chain complex defined by a handle decomposition of a given manifold. Topological invariance of the resulting `handle homology' is a consequence of Cerf theory. △ Less

Submitted 5 February, 2019; v1 submitted 22 November, 2018; originally announced November 2018.

Comments: 15 pages, 8 figures; v2 includes a discussion of integral homology in the non-orientable case

MSC Class: 55N35; 57R65

Journal ref: Topology Appl. 256 (2019), 113-127

Parallelisability of 3-manifolds via surgery

Authors: Sebastian Durst, Hansjörg Geiges, Jesús Gonzalo Pérez, Marc Kegel

Abstract: We present two proofs that all closed, orientable 3-manifolds are parallelisable. Both are based on the Lickorish-Wallace surgery presentation; one proof uses a refinement due to Kaplan and some basic contact geometry. This complements a recent paper by Benedetti-Lisca. We present two proofs that all closed, orientable 3-manifolds are parallelisable. Both are based on the Lickorish-Wallace surgery presentation; one proof uses a refinement due to Kaplan and some basic contact geometry. This complements a recent paper by Benedetti-Lisca. △ Less

Submitted 15 August, 2018; originally announced August 2018.

Comments: 6 pages

MSC Class: 57R25 (Primary) 57R65; 53D10; 57M99 (Secondary)

Journal ref: Expo. Math. 38 (2020), 131-137

Symplectic dynamics and the 3-sphere

Authors: Marc Kegel, Jay Schneider, Kai Zehmisch

Abstract: Given a knot in a closed connected orientable 3-manifold we prove that if the exterior of the knot admits an aperiodic contact form that is Euclidean near the boundary, then the 3-manifold is diffeomorphic to the 3-sphere and the knot is the unknot. Given a knot in a closed connected orientable 3-manifold we prove that if the exterior of the knot admits an aperiodic contact form that is Euclidean near the boundary, then the 3-manifold is diffeomorphic to the 3-sphere and the knot is the unknot. △ Less

Submitted 12 March, 2019; v1 submitted 22 June, 2018; originally announced June 2018.

Comments: version to appear in Israel J. Math

MSC Class: 53D35; 37C27; 37J55; 57M25

Journal ref: Israel J. Math. 235 (2020), 245-254

Computing rotation numbers in open books

Authors: Sebastian Durst, Marc Kegel

Abstract: We give explicit formulas and algorithms for the computation of the rotation number of a nullhomologous Legendrian knot on a page of a contact open book. On the way, we derive new formulas for the computation of the Thurston-Bennequin invariant of such knots and the Euler class and the d3-invariant of the underlying contact structure. We give explicit formulas and algorithms for the computation of the rotation number of a nullhomologous Legendrian knot on a page of a contact open book. On the way, we derive new formulas for the computation of the Thurston-Bennequin invariant of such knots and the Euler class and the d3-invariant of the underlying contact structure. △ Less

Submitted 24 January, 2019; v1 submitted 3 January, 2018; originally announced January 2018.

Comments: 20 pages, 7 figures; v.2: minor changes and clarifications; v.3: changed Example 1.3 and corrected the definition of Q in Algorithm 6.1

MSC Class: 57R17 (Primary) 53D35; 53D10; 57M27 (Secondary)

Journal ref: J. Gökova Geom. Topol. GGT 12 (2018), 71-92

Cosmetic contact surgeries along transverse knots and the knot complement problem

Authors: Marc Kegel

Abstract: We study cosmetic contact surgeries along transverse knots in the standard contact 3-sphere, i.e. contact surgeries that yield again the standard contact 3-sphere. The main result is that we can exclude non-trivial cosmetic contact surgeries along all transverse knots not isotopic to the transverse unknot with self-linking number -1. As a corollary it follows that every transverse knot in the stan… ▽ More We study cosmetic contact surgeries along transverse knots in the standard contact 3-sphere, i.e. contact surgeries that yield again the standard contact 3-sphere. The main result is that we can exclude non-trivial cosmetic contact surgeries along all transverse knots not isotopic to the transverse unknot with self-linking number -1. As a corollary it follows that every transverse knot in the standard contact 3-sphere is determined by the contactomorphism type of its exteriors. Moreover, we give counterexamples to this for transverse links in the standard contact 3-sphere. △ Less

Submitted 1 February, 2019; v1 submitted 16 March, 2017; originally announced March 2017.

Comments: 15 pages, 7 figures; v2: Conditions on the size of the tubular neighborhoods are removed from the results; Examples 5.2 is corrected; Small changes in the presentation

MSC Class: 53D35 (Primary); 53D10; 57M25; 57M27; 57R65; 57N40 (Secondary)

Journal ref: Topology Appl., 256 (2019), 46-59

Computing rotation and self-linking numbers in contact surgery diagrams

Authors: Sebastian Durst, Marc Kegel

Abstract: We give an explicit formula to compute the rotation number of a nullhomologous Legendrian knot in contact (1/n)-surgery diagrams along Legendrian links and obtain a corresponding result for the self-linking number of transverse knots. Moreover, we extend the formula by Ding-Geiges-Stipsicz for computing the d3-invariant to (1/n)-surgeries. We give an explicit formula to compute the rotation number of a nullhomologous Legendrian knot in contact (1/n)-surgery diagrams along Legendrian links and obtain a corresponding result for the self-linking number of transverse knots. Moreover, we extend the formula by Ding-Geiges-Stipsicz for computing the d3-invariant to (1/n)-surgeries. △ Less

Submitted 31 August, 2017; v1 submitted 3 May, 2016; originally announced May 2016.

Comments: 19 pages, 6 figures; V2: Added the section on the d3-invariant and fixed a few misprints; V3: Minor corrections and clarifications; V4: Added a missing "n" in the formula for computing the Euler class of the contact structure in Theorem 5.1

MSC Class: 57R17 (Primary); 57M27; 57R65; 57M25 (Secondary)

Journal ref: Acta Math. Hungar. 150 (2016), 524-540

Computing the Thurston-Bennequin invariant in open books

Authors: Sebastian Durst, Marc Kegel, Mirko Klukas

Abstract: We give explicit formulas and algorithms for the computation of the Thurston-Bennequin invariant of a nullhomologous Legendrian knot on a page of a contact open book and on contact Heegaard surfaces. Furthermore, we extend the results to rationally nullhomologous knots in arbitrary 3-manifolds. We give explicit formulas and algorithms for the computation of the Thurston-Bennequin invariant of a nullhomologous Legendrian knot on a page of a contact open book and on contact Heegaard surfaces. Furthermore, we extend the results to rationally nullhomologous knots in arbitrary 3-manifolds. △ Less

Submitted 1 July, 2016; v1 submitted 3 May, 2016; originally announced May 2016.

Comments: 17 pages, 8 figures; Version 2: Fixed two sign mistakes (one in the formula for the Heegaard splitting and one in the proof of the formula for the open books), shortened the example section

MSC Class: 57R17 (Primary); 57M27; 57R65 (Secondary)

Journal ref: Acta Math. Hungar. 150 (2016), 441-455

The Legendrian knot complement problem

Authors: Marc Kegel

Abstract: We prove that every Legendrian knot in the tight contact structure of the 3-sphere is determined by the contactomorphism type of its exterior. Moreover, by giving counterexamples we show this to be not true for Legendrian links in the tight 3-sphere. On the way a new user-friendly formula for computing the Thurston-Bennequin invariant of a Legendrian knot in a surgery diagram is given. We prove that every Legendrian knot in the tight contact structure of the 3-sphere is determined by the contactomorphism type of its exterior. Moreover, by giving counterexamples we show this to be not true for Legendrian links in the tight 3-sphere. On the way a new user-friendly formula for computing the Thurston-Bennequin invariant of a Legendrian knot in a surgery diagram is given. △ Less

Submitted 11 August, 2018; v1 submitted 18 April, 2016; originally announced April 2016.

Comments: 32 pages, 14 figures; V2: Completly rewritten following the referee's advice. The results on non-equivalent Legendrian knots in lens spaces with contactomorphic exteriors contained a gap and are removed

MSC Class: 57M25 (Primary) 53D10; 57R65 (Secondary)

Journal ref: J. Knot Theory Ramifications 27 (2018), 1850067, 36