We prove that a minimal crossing virtual link diagram is a minimal genus diagram. That is, the genus of its Carter surface realizes the supporting genus of the virtual link represented by the diagram. The result is obtained by introducing a new parity theory for virtual links. This answers a basic question in virtual knot theory, and recovers the corresponding result of Manturov in the case of virtual knots.
Joint work with Hans Boden.
The notion of -concordance has been introduced by J-B. Meilhan and A. Yasuhara through the use of arrow calculus. It is a welded analogue of the -concordance on classical links coming from the clasper calculus introduced by K. Habiro. In this talk I will present a classification of welded string links (resp. welded links) up to -concordance by their Milnor invariants (resp. by their -nilpotent peripheral system). I will compare these results to the classification of classical links up to -concordance obtained by J. Conant, R. Schneiderman and P. Teichner before introducing the relevant invariants on welded objects. I will give elements of the proof of my results using a version of arrow calculus adapted to the representation of welded objects by Gauss diagrams.
In this talk, we give a necessary and sufficient condition for two string links to be equivalent up to -moves and link-homotopy in terms of Milnor invariants. This reveals a relation between Milnor invariants and -moves. This is a joint work with Haruko Miyazawa and Akira Yasuhara.
In this talk we will survey some region-coloring structures for knots (Niebrzydowski tribrackets, virtual tribrackets, multitribrackets and psybrackets) and related structures and see applications to counting invariants and enhancement as well as some applications to music.
We develop a calculus for diagrams of knotted objects. We define arrow presentations, which encode the crossing information of a diagram into arrows in a way somewhat similar to Gauss diagrams, and more generally w–tree presentations, which can be seen as “higher-order Gauss diagrams”. This arrow calculus is used to develop an analogue of Habiro’s clasper theory for welded knotted objects, which contain classical link diagrams as a subset. This provides a “realization” of Polyak’s algebra of arrow diagrams at the welded level, and leads to a characterization of finite- type invariants of welded knots and long knots. This is a joint work with Jean-Baptiste Meilhan (University of Grenoble Alpes).
The reductivity of a knot projection is defined to be the minimum number of splices required to make the projection reducible, where the splices are applied to a knot projection resulting in another knot projection. It has been shown that the reductivity is four or less for any knot projection and shown that there are infinitely many knot projections with reductivity 0, 1, 2, and 3. The “reductivity problem” is a problem asking the existence of a knot projection whose reductivity is four. In this talk, we will discuss some strategies for the reductivity problem focusing on the region of a knot projection.
The reduced peripheral system was introduced by Milnor in the 50’s for the study of links up to link-homotopy, i.e. up to homotopies leaving distinct components disjoint. This invariant, however, fails to classify links up to link-homotopy for links of 4 or more components. The purpose of this paper is to show that the topological information which is detected by Milnor’s reduced peripheral system is actually 4-dimensional. We give a topological characterization in terms of ribbon solid tori in 4-space up to link-homotopy, using a version of Artin’s Spun construction. The proof relies heavily on an intermediate characterization, in terms of welded links up to self-virtualization, providing hence a purely topological application of the combinatorial theory of welded links.
I will briefly discuss some work in progress regarding a relationship between several different mod 2 invariants in dimensions 2, 3, and 4. In particular, I will relate the Arf invariant of a knot, the Arf invariant of a characteristic surface, the Rochlin invariant of a homology sphere, and the Kirby-Siebenmann invariant of a 4-manifold.
The knot concordance group can be contextualized as organizing problems about 3- and 4-dimensional spaces and the relationships between them. Every 3-manifold is surgery on some link, not necessarily a knot, and thus it is natural to ask about such a group for links. In 1988, Le Dimet constructed the string link concordance groups and in 1998, Habegger and Lin precisely characterized these groups as quotients of the link concordance sets using a group action. Notably, the knot concordance group is abelian while, for each n, the string link concordance group on n strands is non-abelian as it contains the pure braid group on n strands as a subgroup. In this talk, I will discuss my result the quotient of each string link concordance group by its pure braid subgroup is still non-abelian.
Carmen Caprau (California State University-Fresno)
Two singular links are cobordant if one can be obtained from the other by singular link isotopy together with a combination of births or deaths of simple unknotted curves, and saddle point transformations. A movie description of a singular link cobordism in 4-space is a sequence of singular link diagrams obtained from a projection of the cobordism into 3-space by taking 2-dimensional cross sections perpendicular to a fixed direction. We present a set of movie moves that are sufficient to connect any two movies of isotopic singular link cobordisms.
In this talk, I will introduce cut-diagrams, a combinatorial data which generalizes welded links to higher dimensions. Using them, I will give and discuss then Chen-Milnor presentations for the nilpotent and reduced fundamental groups of knotted surfaces. This is joint work in progress with J-B. Meilhan and A. Yasuhara.
Generalizing the notion of sliceness for links in , a link in a homology sphere is called slice if it bounds a disjoint union of locally flat embedded disks in a contractible 4-manifold. It is trivial to see that any link in can be changed by a homotopy to a slice link, indeed any link is homotopic to the unlink. We prove that the same is true for links in homology spheres. Our argument passes through a novel geometric construction which we call the relative Whitney trick. If time permits we will explore an application of the relative Whitney trick to the existence of Whitney towers.
Dasbach and Lin proved a “volumish theorem” for alternating links. We prove the analogue for alternating link diagrams on surfaces, which provides bounds on the hyperbolic volume of a link in a thickened surface in terms of coefficients of its reduced Jones-Krushkal polynomial. Joint work with Abhijit Champanerkar.
We introduce the Gordon-Litherland pairing for knots and links in thickened surfaces that bound unoriented spanning surfaces. Using the GL pairing, we define signature and determinant invariants for such links. We relate the invariants to those derived from the Tait graph and Goeritz matrices. These invariants depend only on the $S^*$ equivalence class of the spanning surface, and the determinants give a simple criterion to check if the knot or link is minimal genus. This is joint work with M. Chrisman and H. Karimi. In further joint work with H. Karimi, we apply the GL pairing to give a topological characterization of alternating links in thickened surfaces, extending the results of J. Greene and J. Howie.
Begin with two knots and . Simon conjectured that if the knot group of surjects onto that of , then the genera of the orientable surfaces that the two knots bound are constrained. Specifically, he conjectured , where denotes the genus of . This conjecture has been proved for alternating knots and can be strengthened to an even stronger result in the case of two-bridge knots. In this talk, we consider the same sorts of questions, but in the world of nonorientable surfaces. We focus on two-bridge knots and find relationships among their crosscap numbers. This is joint work with Jim Hoste and Pat Shanahan.
In 1898, Tait asserted several properties of alternating knot diagrams, which remained unproven until the discovery of the Jones polynomial in 1985. During that time, Fox asked, “What geometrically is an alternating knot?” By 1993, the Jones polynomial had led to proofs of all of Tait’s conjectures, but the geometric content of these new results remained mysterious. In 2017, Howie and Greene independently answered Fox’s question, and Greene used his characterization to give the first purely geometric proof of part of Tait’s conjectures. Recently, I used Greene and Howie’s characterizations, among other techniques, to give the first entirely geometric proof of Tait’s flyping conjecture (first proven in 1993 by Menasco and Thistlethwaite). I will describe these recent developments and sketch approaches to other parts of Tait’s conjectures, and related facts about tangles and adequate knots, which remain unproven by purely geometric means.
A skein theory for the virtual Jones polynomial can be obtained from its original version with the addition of a virtual crossing that satisfies the virtual Reidemeister moves as well as a naturality condition. In general, though, knot polynomials will not have virtual counterparts. In this talk, we classify all skein-theoretic virtual knot polynomials with certain smallness conditions. In particular, we classify all virtual knot polynomials giving non-trivial invariants strictly smaller than the one given by the Higman-Sims spin model by classifying the planar algebras associated with them. This classification includes a family of skein theories coming from with an interesting braiding. This talk is given in memory of Vaughan Jones.
In this work, we introduce topological deep learning, a formalism that is aimed at two goals (1) introducing topological language to deep learning for the purpose of utilizing the minimal mathematical structures to formalize problems that arise in a generic deep learning problem and (2) augment, enhance and create novel deep learning models utilizing tools available in topology. To this end, we define and study the classification problem in machine learning in a topological setting. Using this topological framework, we show that the classification problem in machine learning is always solvable under very mild conditions. Furthermore, we show that a softmax classification network acts on an input topological space by a finite sequence of topological moves to achieve the classification task. To demonstrate these results, we provide example datasets and show how they are acted upon by neural nets from this topological perspective.
Ohyama showed that any knot can be unknotted by performing two full twists, each on a set of parallel strands. We consider the question of whether or not a given knot can be unknotted with a single full twist, and if so, what are the possible linking numbers associated to such a twist. It is observed that if a knot can be unknotted with a single twist, then some surgery on the knot bounds a rational homology ball. Using tools such as classical invariants and invariants arising from Heegaard Floer theory, we give obstructions for a knot to be unknotted with a single twist of a given linking number. In this talk, I will discuss some of these obstructions, their implications (especially for alternating knots), many examples, and some unanswered questions. This talk is based on joint work with Charles Livingston.
Murakami and Ohtsuki have shown that the Alexander polynomial is an -matrix invariant associated with representations of unrolled restricted quantum at a fourth root of unity. In this context, the highest weight of the representation determines the polynomial variable. In this talk, we discuss an extension of their construction to a link invariant , which takes values in -variable Laurent polynomials, where is the rank of .
We begin with an overview of computing quantum invariants and of the case. Our focus will then shift to . After going through the construction, we briefly sketch the proof of the following theorem: For any knot , evaluating at , , or recovers the Alexander polynomial of . We also compare with other invariants by giving specific examples. In particular, this invariant can detect mutation and is non-trivial on Whitehead doubles.
The Jones polynomial and Khovanov homology of a classical link are oriented link invariants—they depend upon an initial choice of orientation for the link. In this talk, we describe a Jones polynomial and Khovanov homology theory for unoriented virtual links. We then show how to transfer these unoriented versions over to graph theory to construct the Tait polynomial of a trivalent graph. This invariant polynomial counts the number of 3-edge colorings of a graph when evaluated at 1. If this count is nonzero for all bridgeless planar trivalent graphs, then the famous four color theorem is true. Thus, we show how topological ideas can be used to have an impact in graph theory. This is joint work with Lou Kauffman and Ben McCarty.
H. A. Dye (Mckendree U) and A. Kaestner (North Park U)
In the paper, Virtual parity Alexander polynomials, we defined a virtual knot group that used information about the parity of the classical crossings. This virtual knot group was defined using ad-hoc methods. In the paper, Virtual knot groups and almost classical knots, Boden et al describe several different knot groups obtained from virtual knots. These knot groups are related and specializations lead to the classical knot group. Here, we construct a formal structure for virtual knot groups and examine specializations and extensions of the groups.
We will describe several appearances of Milnor’s link invariants in the link Floer complex. This will include a formula that expresses the Milnor triple linking number in terms of the h-function. We will also show that the triple linking number is involved in a structural property of the d-invariants of surgery on certain algebraically split links. We will apply the above properties toward new detection results for the Borromean and Whitehead links. This is joint work with Gorsky, Lidman and Liu.
We prove a Kauffman-Murasugi-Thistlethwaite theorem for alternating
links in thickened surfaces. It implies that any reduced alternating diagram of a link
in a thickened surface has minimal crossing number, and any two reduced alternating
diagrams of the same link have the same writhe. This result is proved more generally
for link diagrams that are adequate, and the proof involves a two-variable generalization
of the Jones polynomial for surface links defined by Krushkal. The main result is
used to establish the first and second Tait conjectures for links in thickened surfaces
and for virtual links. This is joint work with Hans Boden.
We will be going over a recent generalization of the affine index polynomial to the case of virtual links. We will give some background on the invariant, present the generalization, and discuss how different colorings of the link produce different invariants.
We show that the only way of changing the framing of a link by ambient isotopy in an oriented 3-manifold is when the manifold admits a properly embedded non-separating . This change of framing is given by the Dirac trick, also known as the light bulb trick. The main tool we use is based on McCullough’s work on the mapping class groups of 3-manifolds. We also express our results in the language of skein modules. In particular, we relate our results to the presence of torsion in the framing skein module.
Flat virtual links are generalizations of curves on surfaces that have come out of Kauffman’s virtual knot theory. In particular, we consider the curves up to homotopy and allow the supporting surface to change via the addition or removal of empty handles. Under this equivalence, a flat virtual link obtains a completely combinatorial structure. Analogous to the classical problem of finding the minimal number of intersection points between two curves, we can ask for the minimal number of intersection points between components of a flat virtual link. By moving between geometric and combinatorial models, we develop generalizations of the Andersen-Mattes-Reshetikhin Poisson bracket and compute it for infinite families of two-component flat virtual links using a generalization of Henrich’s singular based matrix for flat virtual knots. Throughout the talk, we emphasize the motivation behind different constructions.
In this talk, I discuss replacing axioms in a Frobenius algebra with diagrams and constructing glyphs to represent those diagrams. The ideas are extended to considering isotopy classes of knots as a 4-category. Then we discuss braids, braided manifolds, braid movies, charts, chart movies, curtains, and curtain movies as methods of braiding simple branched covers in codimension 2. As usual, there are lots of diagrams.
Neslihan Gügümcü (Izmir Institute of Technology and University of Goettingen)
In this talk we first review the basics of the theory of knotoids introduced by Vladimir Turaev in 2012 . A knotoid diagram is basically an open-ended knot diagram with two open endpoints that can lie in any local region complementary to the plane of the diagram. The theory of knotoids extends the classical knot theory and brings up some interesting problems and features such as the height problem [1,3] and parity notion and related invariants such as off writhe and parity bracket polynomial . It was a curious problem to determine a “braid like object” corresponding to knotoid diagrams. The second part of this talk is devoted to the theory of braidoids, introduced by the author and Sofia Lambropoulou . We present the notion of a braidoid and analogous theorems to the classical Alexander Theorem and the Markov Theorem, that relate knotoids/multi-knotoids in the plane to braidoids.
In this talk I recall the definitions of shelf/rack/quandle and their cohomology theory. I also give the construction of cocycle invariant of links, due to Carter, Jelsovsky, Kamada, Langford and Saito (Trans. Amer. Math. Soc. 355 (2003), 3947-3989). Then, I introduce higher arity self-distributive structures and show that an appropriate diagrammatic interpretation of them is suitable to define a ternary version of the cocycle invariant for framed link invariants, via blackboard framings. I discuss the computation of cohomology of ternary structures, as composition of mutually distributive operations, and a cohomology theory of certain ternary quandles called group heaps. Furthermore I mention a categorical version of self-distributivity, along with examples from Lie algebras and Hopf algebras, and the construction of ribbon categories from ternary operations that provide a quantum interpretation of the (ternary) cocycle invariant.
Elhamdadi, Mohamed, Masahico Saito, and Emanuele Zappala. “Higher Arity Self-Distributive Operations in Cascades and their Cohomology.” arXiv preprint arXiv:1905.00440 (2019).
Elhamdadi, Mohamed, Masahico Saito, and Emanuele Zappala. “Heap and Ternary Self-Distributive Cohomology.” arXiv preprint arXiv:1910.02877 (2019).
Zappala, Emanuele. “Non-Associative Algebraic Structures in Knot Theory.” (2020).
The tunnel number of a graph embedded in a 3-dimensional manifold is the fewest number of arcs needed so that the union of the graph with the arcs has handlebody exterior. The behavior of tunnel number with respect to connected sum of knots can vary dramatically, depending on the knots involved. However, a classical theorem of Scharlemann and Schultens says that the tunnel number of a composite knot is at least the number of factors. For theta graphs, trivalent vertex sum is the operation which most closely resembles the connected sum of knots.The analogous theorem of Scharlemann and Schultens no longer holds, however. I will provide a sharp lower bound for the tunnel number of composite theta graphs,using recent work on a new knot invariant which is additive under connected sum and trivalent vertex sum. This is joint work with Maggy Tomova.
Lou Kauffman (University of Illinois-Chicago & Novosibirsk State University)
This talk discusses virtual knot theory and rotational virtual knot theory. In virtual knot theory we introduce a virtual crossing in the diagrams along with over crossings and under crossings. Virtual crossings are artifacts of representing knots in higher genus surfaces as diagrams in the plane.
Virtual diagrammatic equivalence is the same as studying knots in thickened surfaces up to ambient isotopy, surface homeomorphisms and handle stabilization. At the diagrammatic level, virtual knot equivalence is generated by Reidemeister moves plus detour moves. In rotational virtual knot theory, the detour moves are restricted to regular homotopy of plane curves (the self-crossings are virtual). Rotational virtual knot theory has the property that all classical quantum link invariants extend to quantum invariants of rotational virtual knots and links. We explain this extension, and we consider the question of the power of quantum invariants in this context.
By considering first the bracket polynomial and its extension to a parity bracket polynomial for virtual knots (Manturov) and its further extension to a rotational parity bracket polynomial for knots and links (Kaestner and Kauffman), we give examples of links that are detected via the parity invariants that are not detectable by quantum invariants. In the course of the discussion we explain a functor from the rotational tangle category to the diagrammatic category of a quantum algebra. We delineate significant weaknesses in quantum invariants and how these gaps can be fulfilled by taking parity into account.
This talk is based upon joint work with Seiichi Kamada. Abstract tensor notation for multi-linear maps uses boxes with in-coming and out-going strings to represent structure constants. A judicious choice of variables for such constants leads to the diagrammatic representation: boxes are replaced by glyphs. One of the most simple examples of a multi-category is the diagrammatic representation of embedded surfaces in 3-space that we all grew up learning. The standard drawing of a torus (an oval, a smile and a moustache) is a representation based upon drawings of surface singularities. We start from a two object category with a pair of arrows that relate them. Cups and caps are constructed easily. From these, births, deaths, saddles, forks, and cusps are created as triple arrows. At the top level, there are critical cancellations, lips, beak-to-beak, horizontal cusps, and swallow-tails. Interestingly, the structure extends inductively to describe many relations about handles in higher dimensions.
CKVK* Recommendation: The talk has many beautiful figures that are best viewed on Youtube in HD.
Milnor’s -invariants for links in the 3-sphere vanish on any link concordant to a boundary link. In particular, they are are trivial for any classical knot. Here we define an analogue of Milnor’s concordance invariants for knots in thickened surfaces , where is closed and oriented. These invariants vanish on any knot concordant to a homologically trivial knot in . We use them to give new examples of non-slice virtual knots having trivial Rasmussen invariant, graded genus, affine index polynomial, and generalized Alexander polynomial. Moreover, we complete the slice status classification of the 2564 virtual knots having at most five classical crossings and reduce to four (of 90235) the number of virtual knots with six classical crossings having unknown slice status. Furthermore, we prove that in contrast to the classical knot concordance group, the virtual knot concordance group is not abelian. As part of the construction of the extended -invariants, we also obtain a generalization of the -invariants of classical links in to ribbon torus links in and welded links.
David Bachman introduced the notion of critical surfaces and showed that they satisfy useful properties. In particular, they behave like incompressible surfaces and strongly irreducible surfaces. In this talk, I will review some techniques that have been used to study bridge spheres and give examples of nontrivial knots with critical bridge spheres. This is joint work with Daniel Rodman.
Abstract: Hyperbolic volume has been a powerful invariant for classical knots. In this talk we extend it to virtual knots, including calculations of virtual knot volumes. We further introduce Turaev volume for knots and virtual knots and show that EVERY knot has a Turaev volume.
Adams, C., Eiseberg, E., Greenberg, J. Kapoor, K., Liang, Z., O’Connor, K., Pacheco-Tallaj, N., Wang, Y., Turaev Hyperbolicity of Classical and Virtual Knots, https://arxiv.org/pdf/1912.09435.pdf
Abstract: David Gabai showed that a minimum-genus surface in a knot complement remains minimum-genus when capped off into the zero-surgery on that knot, implying that surgery on a nontrivial knot can never yield (thus proving the Property R conjecture). I study this problem for links. In particular, I show that if is a 2-component link with nonzero linking number and nondegenerate Thurston norm on its complement, then there exists a finite set so that if is norm-minimizing and not in up to scalar multiplication, then is norm-minimizing in the 3-manifold obtained from by doing Dehn surgery on according to . (The result generally holds for -component links with -dimensional.) The proof involves constructing a taut foliation on with nice boundary properties, motivated by Gabai’s proof of the Property R conjecture.