On Slope Genera of Knotted Tori in 4-Space

Yi Liu,Yi Ni,Hongbin Sun,Shicheng Wang

DOI: https://doi.org/10.2140/pjm.2013.261.117

2013-01-01

Pacific Journal of Mathematics

Abstract:We investigate genera of slopes of a knotted torus in the 4-sphere analogous to the genus of a classical knot. We compare various formulations of this notion, and use this notion to study the extendable subgroup of the mapping class group of a knotted torus.

What problem does this paper attempt to address?

On the nonorientable four-ball genus of torus knots

Fraser Binns,Sungkyung Kang,Jonathan Simone,Paula Truöl

2024-06-25

Abstract:The nonorientable four-ball genus of a knot $K$ in $S^3$ is the minimal first Betti number of nonorientable surfaces in $B^4$ bounded by $K$. By amalgamating ideas from involutive knot Floer homology and unoriented knot Floer homology, we give a new lower bound on the smooth nonorientable four-ball genus $\gamma_4$ of any knot. This bound is sharp for several families of torus knots, including $T_{4n,(2n\pm 1)^2}$ for even $n\ge 2$, a family Longo showed were counterexamples to Batson's conjecture. We also prove that, whenever $p$ is an even positive integer and $\frac{p}{2}$ is not a perfect square, the torus knot $T_{p,q}$ does not bound a locally flat Möbius band for almost all integers $q$ relatively prime to $p$.

Geometric Topology
Non-orientable 4-genus of torus knots

Megan Fairchild,Hailey Jay Garcia,Jake Murphy,Hannah Percle

2024-06-06

Abstract:The non-orientable 4-genus of a knot $K$ in $S^{3}$, denoted $\gamma_4(K)$, measures the minimum genus of a non-orientable surface in $B^{4}$ bounded by $K$. We compute bounds for the non-orientable 4-genus of knots $T_{5, q}$ and $T_{6, q}$, extending previous research. Additionally, we provide a generalized, non-recursive formula for $d(S^{3}_{-1}(T_{p,q}))$, the $d$-invariant of -1-surgery on torus knots.

Geometric Topology
Higher Genus Symplectic Invariants and Sigma Models Coupled with Gravity

Yongbin Ruan,Gang Tian

DOI: https://doi.org/10.1007/s002220050192

IF: 3.128

1997-01-01

Inventiones mathematicae

Abstract:We define higher genus Gromov-Witten invariants and establish a mathematical theory of sigma model coupled with gravity over any semi-positive symplectic manifolds. As applications, we verify the stablizing conjecture of symplectic 4-manifolds for simply connected elliptic surfaces and construct smooth 6-manifolds admitting infinitely many deformation classes of symplectic structures.
Examples of topologically unknotted tori

András Juhász,Mark Powell

2024-06-04

Abstract:We show that certain smooth tori with group $\mathbb{Z}$ in $S^4$ have exteriors with standard equivariant intersection forms, and so are topologically unknotted. These include the turned 1-twist-spun tori in the 4-sphere constructed by Boyle, the union of the genus one Seifert surface of Cochran and Davis that has no slice derivative with a ribbon disc, and tori with precisely four critical points whose middle level set is a 2-component link with vanishing Alexander polynomial. This gives evidence towards the conjecture that all $\mathbb{Z}$-surfaces in $S^4$ are topologically unknotted, which is open for genus one and two. It is unclear whether these tori are smoothly unknotted, except for tori with four critical points whose middle level set is a split link. The double cover of $S^4$ branched along any of these surfaces is a potentially exotic copy of $S^2 \times S^2$, and, in the case of turned twisted tori, we show they cannot be distinguished from $S^2 \times S^2$ using Seiberg-Witten invariants.

Geometric Topology
Iterated splitting and the classification of knot tunnels

Sangbum Cho,Darryl McCullough

DOI: https://doi.org/10.48550/arXiv.1108.3671

2011-10-15

Abstract:For a genus-1 1-bridge knot in the 3-sphere, that is, a (1,1)-knot, a middle tunnel is a tunnel that is not an upper or lower tunnel for some (1,1)-position. Most torus knots have a middle tunnel, and non-torus-knot examples were obtained by Goda, Hayashi, and Ishihara. In a previous paper, we generalized their construction and calculated the slope invariants for the resulting examples. We give an iterated version of the construction that produces many more examples, and calculate their slope invariants. If one starts with the trivial knot, the iterated constructions produce all the 2-bridge knots, giving a new calculation of the slope invariants of their tunnels. In the final section we compile a list of the known possibilities for the set of tunnels of a given tunnel number 1 knot.

Geometric Topology
Classification of knotted tori

A. Skopenkov

DOI: https://doi.org/10.1017/prm.2018.141

2024-07-20

Abstract:For a smooth manifold $N$ denote by $E^m(N)$ the set of smooth isotopy classes of smooth embeddings $N\to\mathbb R^m$. A description of the set $E^m(S^p\times S^q)$ was known only for $p=q=0$ or for $p=0$, $m\ne q+2$ or for $2m\ge 2(p+q)+\max\{p,q\}+4$. (The description was given in terms of homotopy groups of spheres and of Stiefel manifolds.) For $m\ge2p+q+3$ we introduce an abelian group structure on $E^m(S^p\times S^q)$ and describe this group `up to an extension problem'. This result has corollaries which, under stronger dimension restrictions, more explicitly describe $E^m(S^p\times S^q)$. The proof is based on relations between sets $E^m(N)$ for different $N$ and $m$, in particular, on a recent exact sequence of M. Skopenkov.

Geometric Topology,Algebraic Topology
On the characterising slopes of hyperbolic knots

Duncan McCoy

DOI: https://doi.org/10.48550/arXiv.1807.11099

2018-08-22

Abstract:A slope $p/q$ is a characterising slope for a knot $K$ in $S^3$ if the oriented homeomorphism type of $p/q$-surgery on $K$ determines $K$ uniquely. We show that when $K$ is a hyperbolic knot its set of characterising slopes contains all but finitely many slopes $p/q$ with $q \geq 3$. We prove stronger results for hyperbolic $L$-space knots, showing that all but finitely many non-integer slopes are characterising. The proof is obtained by combining Lackenby's proof that for a hyperbolic knot any slope $p/q$ with $q$ sufficiently large is characterising with genus bounds derived from Heegaard Floer homology.

Geometric Topology
The Non-Orientable 4-Genus of 11 Crossing Non-Alternating Knots

Megan Fairchild

2024-03-02

Abstract:The non-orientable 4-genus of a knot K in the three sphere is defined to be the minimum first Betti number of a non-orientable surface F in the four-ball so that K bounds F. We will survey the tools used to compute the non-orientable 4-genus, and use various techniques to calculate this invariant for non-alternating 11 crossing knots. We also will view obstructions to a knot bounding a Möbius band given by the double branched cover of the three sphere branched over K.

Geometric Topology,Algebraic Topology
Torus knots and generalized Schröder paths

Marko Stošić,Piotr Sułkowski

2024-05-16

Abstract:We relate invariants of torus knots to the counts of a class of lattice paths, which we call generalized Schröder paths. We determine generating functions of such paths, located in a region determined by a type of a torus knot under consideration, and show that they encode colored HOMFLY-PT polynomials of this knot. The generators of uncolored HOMFLY-PT homology correspond to a basic set of such paths. Invoking the knots-quivers correspondence, we express generating functions of such paths as quiver generating series, and also relate them to quadruply-graded knot homology. Furthermore, we determine corresponding A-polynomials, which provide algebraic equations and recursion relations for generating functions of generalized Schröder paths. The lattice paths of our interest explicitly enumerate BPS states associated to knots via brane constructions.

High Energy Physics - Theory,Combinatorics,Quantum Algebra
Torus knots in Lens spaces, open Gromov-Witten invariants, and topological recursion

Jinghao Yu,Zhengyu Zong

2023-06-09

Abstract:Starting from a torus knot $\mathcal{K}$ in the lens space $L(p,-1)$, we construct a Lagrangian sub-manifold $L_{\mathcal{K}}$ in $\mathcal{X}=\big(\mathcal{O}_{\mathbb{P}^1}(-1)\oplus \mathcal{O}_{\mathbb{P}^1}(-1)\big)/\mathbb{Z}_p$ under the conifold transition. We prove a mirror theorem which relates the all genus open-closed Gromov-Witten invariants of $(\mathcal{X},L_{\mathcal{K}})$ to the topological recursion on the B-model spectral curve. This verifies a conjecture in \cite{Bor-Bri} in the case of lens space.

Algebraic Geometry,Mathematical Physics,Geometric Topology
Five tori in $S^4$

Bruno Martelli

2024-07-04

Abstract:Ivansic proved that there is a link $L$ of five tori in $S^4$ with hyperbolic complement. We describe $L$ explicitly and study its properties, and discover that $L$ is in many aspects similar to the Borromean rings in $S^3$. In particular the following hold: (1) Any two tori in $L$ are unlinked, but three are not; (2) The complement $M=S^4\setminus L$ is integral arithmetic hyperbolic; (3) The symmetry group of $L$ acts $k$-transitively on its components for all $k$; (4) The double branched covering over $L$ has geometry $\mathbb H^2 \times \mathbb H^2$; (5) The fundamental group of $M$ has a nice presentation via commutators; (6) The Alexander ideal is explicit; (7) Every class $x\in H^1(M, \mathbb Z)=\mathbb Z^5$ with $x_i\neq 0$ is represented by a perfect circle-valued Morse function; (8) By longitudinal Dehn surgery along $L$ we get a closed 4-manifold with fundamental group $\mathbb Z^5$; (9) The link $L$ can be put in perfect position. This leads also to the first descriptions of a cusped hyperbolic 4-manifold as a complement of tori in $\mathbb R \mathbb P^4$ and of some explicit Lagrangian tori in the product of two surfaces of genus two.

Geometric Topology,Differential Geometry
Non-integer characterizing slopes and knot Floer homology

Duncan McCoy

2023-09-05

Abstract:Conjecturally, a knot in the 3-sphere has only finitely many non-integer non-characterizing slopes. We verify this conjecture for all knots with knot Floer homology satisfying certain simplicity conditions. The class of knots satisfying our notion of simplicity includes alternating knots, $L$-space knots and the vast majority of knots with at most 12 crossings. For arbitrary knots in the 3-sphere we show that almost all slopes $p/q$ with $|q|\geq 3$ are characterizing. In addition, we show that all $L$-space knots and almost $L$-space knots have infinitely many integer characterizing slopes.

Geometric Topology
Balanced algebraic unknotting, linking forms, and surfaces in three- and four-space

Peter Feller,Lukas Lewark

DOI: https://doi.org/10.4310/jdg/1717356158

2023-08-08

Abstract:We provide three 3-dimensional characterizations of the Z-slice genus of a knot, the minimal genus of a locally-flat surface in 4-space cobounding the knot whose complement has cyclic fundamental group: in terms of balanced algebraic unknotting, in terms of Seifert surfaces, and in terms of presentation matrices of the Blanchfield pairing. This result generalizes to a knot in an integer homology 3-sphere and surfaces in certain simply connected signature zero 4-manifolds cobounding this homology sphere. Using the Blanchfield characterization, we obtain effective lower bounds for the Z-slice genus from the linking pairing of the double branched covering of the knot. In contrast, we show that for odd primes p, the linking pairing on the first homology of the p-fold branched covering is determined up to isometry by the action of the deck transformation group on said first homology. As an application of the new upper and lower bounds, we complete the calculation of the Z-slice genus for all prime knots with crossing number up to 12.

Geometric Topology
A 4-dimensional rational genus bound

Katherine Raoux,Matthew Hedden

DOI: https://doi.org/10.48550/arXiv.2308.16853

2023-08-31

Geometric Topology

Abstract:We introduce a 4-dimensional analogue of the rational Seifert genus of a knot $K\subset Y$, which we call the rational slice genus, that measures the complexity of a homology class in $H_2(Y\times [0,1],K;\mathbb{Q})$. Our main theorem is a lower bound for the rational slice genus of a knot in terms of its Heegaard Floer $\tau$ invariants. To prove this, we bound the $\tau$ invariants of any satellite link whose pattern is a closed braid in terms of the $\tau$ invariants of the companion knot, a result which should be of independent value. Our techniques also produce rational PL slice genus bounds. As applications, we use our bounds to prove that Floer simple knots have rational slice genus equal to their rational Seifert genus. We also show that there exist sequences of knots in a fixed 3-manifold whose PL slice genus is unbounded. In addition, we produce stronger bounds for the slice genus of knots relative to the rational longitude, and use these to produce a rational slice-Bennequin bound for knots in contact manifolds with non-trivial contact invariant.
On the Monopole Lefschetz Number of Finite-Order Diffeomorphisms

Jianfeng Lin,Daniel Ruberman,Nikolai Saveliev

DOI: https://doi.org/10.2140/gt.2021.25.3591

2021-01-01

Geometry & Topology

Abstract:Let $K$ be a knot in an integral homology 3-sphere $Y$, and $\Sigma$ the corresponding $n$-fold cyclic branched cover. Assuming that $\Sigma$ is a rational homology sphere (which is always the case when $n$ is a prime power), we give a formula for the Lefschetz number of the action that the covering translation induces on the reduced monopole homology of $\Sigma$. The proof relies on a careful analysis of the Seiberg--Witten equations on 3-orbifolds and of various $\eta$-invariants. We give several applications of our formula: (1) we calculate the Seiberg--Witten and Furuta--Ohta invariants for the mapping tori of all semi-free actions of $Z/n$ on integral homology 3-spheres; (2) we give a novel obstruction (in terms of the Jones polynomial) for the branched cover of a knot in $S^3$ being an $L$-space; (3) we give a new set of knot concordance invariants in terms of the monopole Lefschetz numbers of covering translations on the branched covers.
Knot 4--genus and the rank of classes in W(Q(t))

Charles Livingston

DOI: https://doi.org/10.48550/arXiv.0912.1022

2010-05-27

Abstract:To a Seifert matrix of a knot K one can associate a matrix w(K) with entries in the rational function field, Q(t). The Murasugi, Milnor, and Levine-Tristram knot signatures, all of which provide bounds on the 4-genus of a knot, are determined by w(K). More generally, the minimal rank of a representative of the class represented by w(K) in the Witt group of hermitian forms over Q(t) provides a lower bound for the 4-genus of K. Here we describe an easily computed new bound on the minimal rank of the class represented by w(K). Furthermore, this lower bound is complete modulo torsion in the Witt group. Specifically, if the bound on the rank is M, then 4w(K) has a representative of rank exactly 4M. Applications to explicit knots are given, finding 4-genus bounds for specific knots that are unattainable via other approaches.

Geometric Topology
Taut foliations, left-orders, and pseudo-Anosov mapping tori

Jonathan Zung

2024-02-25

Abstract:For a large class of 3-manifolds with taut foliations, we construct an action of $\pi_1(M)$ on $\mathbb{R}$ by orientation preserving homeomorphisms which captures the transverse geometry of the leaves. This action is complementary to Thurston's universal circle. Applications include the left-orderability of the fundamental groups of every non-trivial surgery on the figure eight knot. Our techniques also apply to at least 2598 manifolds representing 44.7% of the non-L-space rational homology spheres in the Hodgson-Weeks census of small closed hyperbolic 3-manifolds.

Geometric Topology
Effective bounds on characterising slopes for all knots

Patricia Sorya,Laura Wakelin

2024-11-01

Abstract:A slope $p/q$ is characterising for a knot $K \subset \mathbb{S}^3$ if the orientation-preserving homeomorphism type of the manifold $\mathbb{S}^3_K(p/q)$ obtained by performing Dehn surgery of slope $p/q$ along $K$ uniquely determines the knot $K$. We combine new applications of results from hyperbolic geometry with previous individual work of the authors to determine, for any given knot $K$, an explicit bound $\mathcal{C}(K)$ such that $|q| > \mathcal{C}(K)$ implies that $p/q$ is a characterising slope for $K$.

Geometric Topology
Unknotting Nonorientable Surfaces of Genus 4 and 5

Mark Pencovitch

2024-02-28

Abstract:Expanding on work by Conway, Orson, and Powell, we study the isotopy classes rel. boundary of nonorientable, compact, locally flatly embedded surfaces in $D^4$ with knot group $\mathbb{Z}_2$. In particular we show that if two such surfaces have fixed knot boundary $K$ in $S^4$ such that $\vert \det(K) \vert =1$, the same normal Euler number, and the same nonorientable genus $4$ or $5$, then they are ambiently isotopic rel. boundary. This implies that closed, nonorientable, locally flatly embedded surfaces in the $4$-sphere with knot group $\mathbb{Z}_2$ of nonorientable genus $4$ and $5$ are topologically unknotted. The proof relies on calculations, implemented in Sage, which imply that the modified surgery obstruction is elementary. Furthermore we show that this method fails for nonorientable genus $6$ and $7$.

Geometric Topology
Slopes in eigenvarieties for definite unitary groups

Lynnelle Ye

DOI: https://doi.org/10.48550/arXiv.2004.12490

2020-06-02

Abstract:We generalize bounds of Liu-Wan-Xiao for slopes in eigencurves for definite unitary groups of rank $2$ to slopes in eigenvarieties for definite unitary groups of any rank. We show that for a definite unitary group of rank $n$, the Newton polygon of the characteristic power series of the $U_p$ Hecke operator has exact growth rate $x^{1+\frac2{n(n-1)}}$, times a constant proportional to the distance of the weight from the boundary of weight space. The proof goes through the classification of forms associated to principal series representations. We also give a consequence for the geometry of these eigenvarieties over the boundary of weight space.

Number Theory

On Slope Genera of Knotted Tori in 4-Space

On the nonorientable four-ball genus of torus knots

Non-orientable 4-genus of torus knots

Higher Genus Symplectic Invariants and Sigma Models Coupled with Gravity

Examples of topologically unknotted tori

Iterated splitting and the classification of knot tunnels

Classification of knotted tori

On the characterising slopes of hyperbolic knots

The Non-Orientable 4-Genus of 11 Crossing Non-Alternating Knots

Torus knots and generalized Schröder paths

Torus knots in Lens spaces, open Gromov-Witten invariants, and topological recursion

Five tori in $S^4$

Non-integer characterizing slopes and knot Floer homology

Balanced algebraic unknotting, linking forms, and surfaces in three- and four-space

A 4-dimensional rational genus bound

On the Monopole Lefschetz Number of Finite-Order Diffeomorphisms

Knot 4--genus and the rank of classes in W(Q(t))

Taut foliations, left-orders, and pseudo-Anosov mapping tori

Effective bounds on characterising slopes for all knots

Unknotting Nonorientable Surfaces of Genus 4 and 5

Slopes in eigenvarieties for definite unitary groups