English version (25 pages, 29 figures) is to appear in Contemp. Math. AMS book series in a slightly different form; Russian version (28 pages, 29 figures) is to appear in Mat. Prosveschenie
发表信息：
English version: in Topology, Geometry, and Dynamics, Contemporary Mathematics, vol. 772, Amer. Math. Soc., Providence, RI, 2021, pp. 281-309. Russian version: Mat. Prosveschenie 27 (2021), 128-165
This paper is expository and is accessible to students. We define simple invariants of knots or links (linking number, Arf-Casson invariants and Alexander-Conway polynomials) motivated by interesting results whose statements are accessible to a non-specialist or a student. The simplest invariants naturally appear in an attempt to unknot a knot or unlink a link. Then we present certain `skein' recursive relations for the simplest invariants, which allow to introduce stronger invariants. We state the Vassiliev-Kontsevich theorem in a way convenient for calculating the invariants themselves, not only the dimension of the space of the invariants. No prerequisites are required; we give rigorous definitions of the main notions in a way not obstructing intuitive understanding.
We give new functions of Legendrian knots derived from Legendrian fronts. These are integer-valued linear functions that are alike the Arnold basic invariant of plane curves. Various generalizations of the Arnold basic invariant have been known. In this paper, we give another extension of Arnold's idea.
This paper, to be regularly updated, lists those prime knots with the fewest possible number of crossings for which values of basic knot invariants, such as the unknotting number or the smooth 4-genus, are unknown. This list is being developed in conjunction with "KnotInfo" (www.indiana.edu/~knotinfo), a web-based table of knot invariants.
Knot contact homology is an invariant of knots derived from Legendrian contact homology which has numerous connections to the knot group. We use basic properties of knot groups to prove that knot contact homology detects every torus knot. Further, if the knot contact homology of a knot is isomorphic to that of a cable (respectively composite) knot, then the knot is a cable (respectively composite).
The knot concordance invariant Upsilon, recently defined by Ozsvath, Stipsicz, and Szabo, takes values in the group of piecewise linear functions on the closed interval [0,2]. This paper presents a description of one approach to defining Upsilon and of proving its basic properties related to the knot 3-genus, 4-genus, and concordance genus.
The recently conjectured knots-quivers correspondence relates gauge theoretic invariants of a knot $K$ in the 3-sphere to representation theory of a quiver $Q_{K}$ associated to the knot. In this paper we provide geometric and physical contexts for this conjecture within the framework of the large $N$ duality of Ooguri and Vafa, that relates knot invariants to counts of holomorphic curves with boundary on $L_{K}$, the conormal Lagrangian of the knot in the resolved conifold, and corresponding M-theory considerations. From the physics side, we show that the quiver encodes a 3d ${\mathcal N}=2$ …
We observe that most known results of the form "v is not a finite-type invariant" follow from two basic theorems. Among those invariants which are not of finite type, we discuss examples which are "ft-independent" and examples which are not. We introduce (n,q)-finite invariants, which are generalizations of finite-type invariants based on Fox's (n,q) congruence classes of knots.
We define a Floer-homology invariant for knots in an oriented three-manifold, closely related to the holomorphic disk Floer homologies for three-manifolds defined in an earlier paper. We set up basic properties of these invariants, including an Euler characteristic calculation, behaviour under connected sums. Then, we establish a relationship with $HF^+$ for surgeries along the knot. Applications include calculation of $HF^+$ of three-manifolds obtained by surgeries on some special knots in $S^3$, and also calculation of $HF^+$ for certain simple three-manifolds which fiber over the circle.
Two of the basic questions in contact topology are which manifolds admit tight contact structures, and on those that do, can we classify such structures. We present the first such classification on an infinite family of (mostly) hyperbolic 3-manifolds: surgeries on the figure-eight knot. We also determine which of the tight contact structures are symplectically fillable and which are universally tight.
Knot Theory is currently a very broad field. Even a long survey can only cover a narrow area. Here we concentrate on the path from Goeritz matrices to quasi-alternating links. On the way, we often stray from the main road and tell related stories, especially if they allow as to place the main topic in a historical context. For example, we mention that the Goeritz matrix was preceded by the Kirchhoff matrix of an electrical network. The network complexity extracted from the matrix corresponds to the determinant of a link. We assume basic knowledge of knot theory and graph theory, however, we of…
We survey some tools and techniques for determining geometric properties of a link complement from a link diagram. In particular, we survey the tools used to estimate geometric invariants in terms of basic diagrammatic link invariants. We focus on determining when a link is hyperbolic, estimating its volume, and bounding its cusp shape and cusp area. We give sample applications and state some open questions and conjectures.
A virtual knot, which is one of generalizations of knots in $\mathbb{R}^{3}$ (or $S^{3}$), is, roughly speaking, an embedded circle in thickened surface $S_{g} \times I$. In this talk we will discuss about knots in 3 dimensional $S_{g} \times S^{1}$. We introduce basic notions for knots in $S_{g} \times S^{1}$, for example, diagrams, moves for diagrams and so on. For knots in $S_{g} \times S^{1}$ technically we lose over/under information, but we will have information how many times the knot rotates along $S^{1}$. We will discuss the geometric meaning of the rotating information and how to con…
We describe an action of the concordance group of knots in the three-sphere on concordances of knots in arbitrary 3-manifolds. As an application we define the notion of almost-concordance between knots. After some basic results, we prove the existence of non-trivial almost-concordance classes in all non-abelian 3-manifolds. Afterwards, we focus the attention on the case of lens spaces, and use a modified version of the Ozsvath-Szabo-Rasmussen's tau-invariant to obstruct almost-concordances and prove that each L(p,1) admits infinitely many nullhomologous non almost-concordant knots. Finally we …
We establish a relationship between the Jones polynomial of generalized weaving knots of type $W(3,n,m)$ and the Chebyshev polynomial of the first kind. Consequently, we prove that the coefficients of the Jones polynomial of weaving knots are basically the Whitney numbers of Lucas lattices. Furthermore, we give an explicit formula for the Alexander polynomial of weaving knots $W(3,n)$ and we prove that it satisfies Fox's trapezoidal conjecture.
The stable 4-genus of a knot K in 3-space is the limiting value of g_4(nK)/n, where g_4 denotes the 4-genus and n goes to infinity. This induces a seminorm on CQ, the concordance group tensored with the rational numbers. Basic properties of the stable genus are developed, as are examples focused on understanding the unit ball under this seminorm for specified subspaces of CQ. Subspaces spanned by torus knots are used to illustrate the distinction between the smooth and topological categories. A final example is given in which Casson-Gordon invariants are used to demonstrate that the stable gen…
Using the duality between Wilson loop expectation values of SU(N) Chern-Simons theory on $S^3$ and topological open-string amplitudes on the local mirror of the resolved conifold, we study knots on $S^3$ and their invariants encoded in colored HOMFLY polynomials by means of topological recursion. In the context of the local mirror Calabi-Yau threefold of the resolved conifold, we generalize the topological recursion of the remodelled B-model in order to study branes beyond the class of toric Harvey-Lawson special Lagrangians -- as required for analyzing non-trivial knots on $S^3$. The basic in…
The theory of link-homotopy, introduced by Milnor, is an important part of the knot theory, with Milnor's mu-bar-invariants being the basic set of link-homotopy invariants. Skein relations for knot and link invariants played a crucial role in the recent developments of knot theory. However, while skein relations for Alexander and Jones invariants are known for quite a while, a similar treatment of Milnor's mu-bar-invariants was missing. We fill this gap by deducing simple skein relations for link-homotopy mu-invariants of string links.
This book is a detailed introduction to the theory of finite type (Vassiliev) knot invariants, with a stress on its combinatorial aspects. It is intended to serve both as a textbook for readers with no or little background in this area, and as a guide to some of the more advanced material. Our aim is to lead the reader to understanding by means of pictures and calculations, and for this reason we often prefer to convey the idea of the proof on an instructive example rather than give a complete argument. While we have made an effort to make the text reasonably self-contained, an advanced reader…
We define the longitude Floer homology of a knot K in S^3 and show that it is a topological invariant of K. Some basic properties of these homology groups are derived. In particular, we show that they distinguish the genus of K. We also make explicit computations for the (2,2n+1) torus knots. Finally a correspondence between the longitude Floer homology of K and the Ozsvath-Szabo Floer homology of its Whitehead double K_L is obtained.
The basic theorems of vector calculus are illuminated when we replace the original 3 stooges of vector calculus: Grad, Div, and Curl, with combinatorial substitutes. In addition to providing simple proofs of Green's theorem and the equivalence of the integral and derivative definitions of curl, we also provide a brief introduction to cohomology theory.
We study the connection between topological strings and contact homology recently proposed in the context of knot invariants. In particular, we establish the proposed relation between the Gromov-Witten disk amplitudes of a Lagrangian associated to a knot and augmentations of its contact homology algebra. This also implies the equality between the Q-deformed A-polynomial and the augmentation polynomial of knot contact homology (in the irreducible case). We also generalize this relation to the case of links and to higher rank representations for knots. The generalization involves a study of the …
We use the knot homology of Khovanov and Lee to construct link concordance invariants generalizing the Rasmussen $s$-invariant of knots. The relevant invariant for a link is a filtration on a vector space of dimension $2^{|L|}$. The basic properties of the $s$-invariant all extend to the case of links; in particular, any orientable cobordism $Σ$ between links induces a map between their corresponding vector spaces which is filtered of degree $χ(Σ)$. A corollary of this construction is that any component preserving orientable cobordism from a $\Kh$-thin link to a link split into $k$ components …
The fundamental quandle is a powerful invariant of knots, links and spatial graphs, but it is often difficult to determine whether two quandles are isomorphic. One approach is to look at quotients of the quandle, such as the $n$-quandle defined by Joyce \cite{JO}; in particular, Hoste and Shanahan \cite{HS2} classified the knots and links with finite $n$-quandles. Mellor and Smith \cite{MS} introduced the $N$-quandle of a link as a generalization of Joyce's $n$-quandle, and proposed a classification of the links with finite $N$-quandles. We generalize the $N$-quandle to spatial graphs, and inv…
We describe in this chapter (Chapter IX) the idea of building an algebraic topology based on knots (or more generally on the position of embedded objects). That is, our basic building blocks are considered up to ambient isotopy (not homotopy or homology). For example, one should start from knots in 3-manifolds, surfaces in 4-manifolds, etc. However our theory is, until now, developed only in the case of links in 3-manifolds, with only a glance towards 4-manifolds. The main object of the theory is a skein module and we devote this chapter mostly to the description of skein modules in 3-dimensio…
