Quantum invariants, knot concordance and unknotting
Final Report Abstract
Geometric topology is an area of pure mathematics. It is the study of geometric objects called manifolds and their interrelations. The mathematical theory of knots is at the center of geometric topology, since knots may be used to describe and analyze in particular manifolds of dimensions 3 and 4 – arguably the most difficult and most interesting dimensions for geometric topologists. Knots may be investigated with a variety of very different tools. The objective of this Emmy Noether Project was to establish ties between some of those different perspectives on knot theory, while paying special attention to geometrical applications. One approach to knot theory is diagrammatic: using combinatorial techniques on knot diagrams, i.e. drawings of knots in the 2 dimensional plane. Usually, the goal is then to derive from the properties of the diagram of a knot geometric consequences for the knot itself. Let me just highlight two such results of this Project. Firstly, in an article by Feller-Lewark-Lobb, the following is proven: if a diagram is almost positive (has only one negative crossing), then the corresponding knot is strongly quasipositive (this is a geometric property, related to algebraic geometry and the theory of braids). This resolved an open conjecture. Secondly, by Baader-Lewark-Misev-Truöl, for diagrams arising as the closure of a braid on three strands, there is a simple algebraic characterization of those corresponding knots for which the minimal genus of a surface with boundary that knot is equal in 3-dimensional and 4-dimensional space. One of the tools used in this Project is Khovanov homology, a so-called categorified quantum invariant, which was introduced in 1999 and is thus relatively young. This Project revealed two new geometric applications of Khovanov homology: one (Iltgen-Lewark-Marino) is a lower bound for the proper rational unknotting number, generalizing work by Alishahi-Dowlin. The other (Lewark-Zibrowius) is a new concordance invariant defined via satellite operations. In view of its algebro-diagrammatic origins, the wealth of geometric information (beginning with Rasmussen’s invariant from 2004) coming from Khovanov homology is rather astonishing. In dimension 4, the theory of differentiable (“smooth”) and topological manifolds (which are less smooth, so to say) are in stark contrast. This dichotomy has been one of the driving forces of the field ever since the groundbreaking works by Donaldson and Freedman in the 1980s (for which both received a Fields medal). On the level of knots, the applications of Khovanov homology are in the smooth category. In the topological category, a main result of this Project (Feller-Lewark) were complete algebraic/3-dimensional characterizations of the minimal genus of certain topological surfaces in 4-space. These characterizations may be seen as a quantitative version of a theorem of Freedman’s that algebraically characterizes the existence of certain topological disks in 4-space.
Publications
-
Untwisting 3‐strand torus knots. Bulletin of the London Mathematical Society, 52(3), 429-436.
Baader, S.; Banfield, I. & Lewark, L.
-
homca, Software package
Damian Iltgen
-
Homotopy ribbon concordance, Blanchfield pairings, and twisted Alexander polynomials. Canadian Journal of Mathematics, 74(4), 1137-1176.
Friedl, Stefan; Kitayama, Takahiro; Lewark, Lukas; Nagel, Matthias & Powell, Mark
-
Khovanov homology and rational unknotting. pp. 66
Damian Iltgen; Laura Marino & Lukas Lewark
-
khtpp Software package
Claudius Zibrowius
-
Rasmussen invariants, Mathematical Research Postcards (2021), vol. 1 no. 2
Lukas Lewark & Claudius Zibrowius
-
A lower bound on the stable 4–genus of knots. Algebraic & Geometric Topology, 22(5), 2239-2265.
Iltgen, Damian
-
Almost positive links are strongly quasipositive. Mathematische Annalen, 385(1-2), 481-510.
Feller, Peter; Lewark, Lukas & Lobb, Andrew
-
Khovanov homology and strong inversions. Open Book Series, 5(1), 223-244.
Kotelskiy, Artem; Watson, Liam & Zibrowius, Claudius
-
Khovanov multicurves are linear. pp. 41
Artem Kotelskiy; Liam Watson & Claudius Zibrowius
-
Table of values of the ϑ knot invariant
Lukas Lewark & Claudius Zibrowius
-
tenpro, Software package
Damian Iltgen
-
A mnemonic for the Lipshitz–Ozsváth–Thurston correspondence. Algebraic & Geometric Topology, 23(6), 2519-2543.
Kotelskiy, Artem; Watson, Liam & Zibrowius, Claudius
-
Cosmetic operations and Khovanov multicurves. Mathematische Annalen, 389(3), 2903-2930.
Kotelskiy, Artem; Lidman, Tye; Moore, Allison H.; Watson, Liam & Zibrowius, Claudius
-
galg-computations Software package
Lukas Lewark
-
nicepy Software package
Ludovico Morellato
-
On the values taken by slice torus invariants. Mathematical Proceedings of the Cambridge Philosophical Society, 176(1), 55-63.
FELLER, PETER; LEWARK, LUKAS & LOBB, ANDREW
-
Table of values of galg and the Taylor invariant
Lukas Lewark
-
The joy of not being a PID, in: Andrew Lobb, Maggie Miller, Arunima Ray: Morphisms in Low Dimensions. Abstracts from the workshop held January 22–28, 2023, Oberwolfach Rep. No. 4, 2023
Lukas Lewark
-
3-braid knots with maximal 4-genus. Transactions of the American Mathematical Society, Series B, 11(18), 600-621.
Baader, Sebastian; Lewark, Lukas; Misev, Filip & Truöl, Paula
-
Balanced algebraic unknotting, linking forms, and surfaces in three- and four-space. Journal of Differential Geometry, 127(1).
Feller, Peter & Lewark, Lukas
-
Heegaard Floer multicurves of double tangles. Proceedings of Symposia in Pure Mathematics, 253-284.
Zibrowius, Claudius
-
Quasipositivity and braid index of pretzel knots. Communications in Analysis and Geometry, 32(5), 1435-1444.
Lewark, Lukas
-
Rasmussen invariants of Whitehead doubles and other satellites. Journal für die reine und angewandte Mathematik (Crelles Journal).
Lewark, Lukas & Zibrowius, Claudius
-
Squeezed knots. Quantum Topology.
Feller, Peter; Lewark, Lukas & Lobb, Andrew
-
Thin links and Conway spheres. Compositio Mathematica, 160(7), 1467-1524.
Kotelskiy, Artem; Watson, Liam & Zibrowius, Claudius
