An Ozsváth–Szabó Floer homology invariant of knots in a contact manifold

Using the knot Floer homology filtration, we define invariants associated to a knot in a three-manifold possessing non-vanishing Floer co(homology) classes. In the case of the Ozsváth–Szabó contact invariant we obtain an invariant of knots in a contact three-manifold. This invariant provides an upper bound for the Thurston–Bennequin plus rotation number of any Legendrian realization of the knot. We use it to demonstrate the first systematic construction of prime knots in contact manifolds other than S³ with negative maximal Thurston–Bennequin invariant. Perhaps more interesting, our invariant provides a criterion for an open book to induce a tight contact structure. A corollary is that if a manifold possesses contact structures with distinct non-vanishing Ozsváth–Szabó invariants, then any fibered knot can realize the classical Eliashberg–Bennequin bound in at most one of these contact structures.     

The Alexander polynomial and finite type 3-manifold invariants

Using elementary counting methods, we calculate a universal perturbative invariant (also known as the LMO invariant) of a 3-manifold M, satisfying , in terms of the Alexander polynomial of M. We show that +1 surgery on a knot in the 3-sphere induces an injective map from finite type invariants of integral homology 3-spheres to finite type invariants of knots. We also show that weight systems of degree 2m on knots, obtained by applying finite type 3m invariants of integral homology 3-spheres, lie in the algebra of Alexander-Conway weight systems, thus answering the questions raised in [Ga]. Received: 27 April 1998 / in final form: 8 August 1999     

Knot theory and the Casson invariant in Artin presentation theory

In Artin presentation theory, a smooth, compact four-manifold is determined by a certain type of presentation of the fundamental group of its boundary. Topological invariants of both three-and four-manifolds can be calculated solely in terms of functions of the discrete Artin presentation. González-Acuña proposed such a formula for the Rokhlin invariant of an integral homology three-sphere. This paper provides a formula for the Casson invariant of rational homology spheres. Thus, all 3D Seiberg-Witten invariants can be calculated by using methods of the theory of groups in Artin presentation theory. The Casson invariant is closely related to canonical knots determined by an Artin presentation. It is also shown that any knot in any three-manifold appears as a canonical knot in Artin presentation theory. An open problem is to determine 4D Seiberg-Witten and Donaldson invariants in Artin presentation theory.     

Two constructions of weight systems for invariants of knots in non-trivial 3-manifolds

A new family of weight systems of finite type knot invariants of any positive degree in orientable 3-manifolds with non-trivial first homology group is constructed. The principal part of the Casson invariant of knots in such manifolds is split into the sum of infinitely many independent weight systems. Examples of knots separated by corresponding invariants and not separated by any other known finite type invariants are presented.     

Some applications of Tristram-Levine signatures and relation to Vassiliev invariants

Tristram and Levine introduced a continuous family of signature invariants for knots. We show that any possible value of such an invariant is realized by a knot with given Vassiliev invariants of bounded degree. We also show that one can make a knot prime preserving Alexander polynomial and Vassiliev invariants of bounded degree. Finally, the Tristram-Levine signatures are applied to obtain a condition on (signed) unknotting number.     

The quandles with two operations

Virtual quandles with two operations and the corresponding invariants of long virtual knots are discussed. A certain knot invariant is constructed and an example of proof that two knots are not equivalent in terms of this invariant is presented.     

Isotopy invariants for smooth tori in 4-manifolds

In this paper we define invariants under smooth isotopy for certain two-dimensional knots using some refined Cerf theory. One of the invariants is the knot type of some classical knot generalizing the string number of closed braids. The other invariant is a generalization of the unique invariant of degree 1 for classical knots in 3-manifolds. Possibly, these invariants can be used to distinguish smooth embeddings of tori in some 4-manifolds but which are equivalent as topological embeddings.     

Inequivalent surface-knots with the same knot quandle

We have a knot quandle and a fundamental class as invariants for a surface-knot. These invariants can be defined for a classical knot in a similar way, and it is known that the pair of them is a complete invariant for classical knots. In surface-knot theory the situation is different: There exist arbitrarily many inequivalent surface-knots of genus g with the same knot quandle, and there exist two inequivalent surface-knots of genus g with the same knot quandle and with the same fundamental class.     

Admissible transverse surgery does not preserve tightness

We produce the first examples of closed, tight contact 3-manifolds which become overtwisted after performing admissible transverse surgeries. Along the way, we clarify the relationship between admissible transverse surgery and Legendrian surgery. We use this clarification to study a new invariant of transverse knots—namely, the range of slopes on which admissible transverse surgery preserves tightness—and to provide some new examples of knot types which are not uniformly thick. Our examples also illuminate several interesting new phenomena, including the existence of hyperbolic, universally tight contact 3-manifolds whose Heegaard Floer contact invariants vanish (and which are not weakly fillable); and the existence of open books with arbitrarily high fractional Dehn twist coefficients whose compatible contact structures are not deformations of co-orientable taut foliations.     

Finite type invariants for knotoids

We extend the theory of Vassiliev (or finite type) invariants for knots to knotoids using two different approaches. Firstly, we take closures on knotoids to obtain knots and we use the Vassiliev invariants for knots, proving that these are knotoid isotopy invariant. Secondly, we define finite type invariants directly on knotoids, by extending knotoid invariants to singular knotoid invariants via the Vassiliev skein relation. Then, for spherical knotoids we show that there are non-trivial type-1 invariants, in contrast with classical knot theory where type-1 invariants vanish. We give a complete theory of type-1 invariants for spherical knotoids, by classifying linear chord diagrams of order one, and we present examples arising from the affine index polynomial and the extended bracket polynomial.     

The Rasmussen invariants and the sharper slice-Bennequin inequality on knots

Rasmussen introduced a knot invariant based on Khovanov homology theory, and showed that this invariant estimates the four-genus of knots. We compare his result with the sharper slice-Bennequin inequality for knots. Then we obtain a similar estimate of the Rasmussen invariant for this inequality.     

On connected sums and Legendrian knots

We study the behavior of Legendrian and transverse knots under the operation of connected sums. As a consequence we show that there exist Legendrian knots that are not distinguished by any known invariant. Moreover, we classify Legendrian knots in some non-Legendrian-simple knot types.     

Intersection Alexander polynomials

By considering a (not necessarily locally-flat) PL knot as the singular locus of a PL stratified pseudomanifold, we can use intersection homology theory to define intersection Alexander polynomials, a generalization of the classical Alexander polynomial invariants for smooth or PL locally-flat knots. We show that the intersection Alexander polynomials satisfy certain duality and normalization conditions analogous to those of ordinary Alexander polynomials, and we explore the relationships between the intersection Alexander polynomials and certain generalizations of the classical Alexander polynomials that are defined for non-locally-flat knots. We also investigate the relations between the intersection Alexander polynomials of a knot and the intersection and classical Alexander polynomials of the link knots around the singular strata. To facilitate some of these investigations, we introduce spectral sequences for the computation of the intersection homology of certain stratified bundles.     

Writhe polynomials and shell moves for virtual knots and links

The writhe polynomial is a fundamental invariant of an oriented virtual knot. We introduce a set of local moves for oriented virtual knots called shell moves. The first aim of this paper is to prove that two oriented virtual knots have the same writhe polynomial if and only if they are related by a finite sequence of shell moves. The second aim of this paper is to classify oriented 2-component virtual links up to shell moves by using several invariants of virtual links.     

The Neumann-Siebenmann invariant and Seifert surgery

We discuss some relations between the invariant originated in Fukumoto-Furuta and the Neumann-Siebenmann invariant for the Seifert rational homology 3-spheres. We give certain constraints on Seifert 3-manifolds to be obtained by surgery on knots in homology 3-spheres in terms of these invariants.Mathematics Subject Classification (2000): 57M27, 57N13, 57N10Dedicated to Professor Yukio Matsumoto for his 60^th birthday     

Complexity of a knot invariant

The algebraic structures called quandles constitute a complete invariant for tame knots. However, determining when two quandles are isomorphic is an empirically hard problem, so there is some dissatisfaction with quandles as knot invariants. We have confirmed this apparent difficulty, showing within the framework of Borel reducibility that the general isomorphism problem for quandles is as complex as possible. (© 2016 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

A Celtic Framework for Knots and Links

We describe a variant of a method used by modern graphic artists to design what are traditionally called Celtic knots, which are part of a larger family of designs called “mirror curves.” It is easily proved that every such design specifies an alternating projection of a link. We use medial graphs and graph minors to prove, conversely, that every alternating projection of a link is topologically equivalent to some Celtic link, specifiable by this method. We view Celtic representations of knots as a framework for organizing the study of knots, rather like knot mosaics or braid representations. The formalism of Celtic design suggests some new geometric invariants of links and some new recursively specifiable sequences of links. It also leads us to explore new variations of problems regarding such sequences, including calculating formulae for infinite sequences of knot polynomials. This involves a confluence of ideas from knot theory, topological graph theory, and the theory of orthogonal graph drawings.     

Fibred knots and twisted Alexander invariants

We study the twisted Alexander invariants of fibred knots. We establish necessary conditions on the twisted Alexander invariants for a knot to be fibred, and develop a practical method to compute the twisted Alexander invariants from the homotopy type of a monodromy. It is illustrated that the twisted Alexander invariants carry more information on fibredness than the classical Alexander invariants, even for knots with trivial Alexander polynomials.

     

Filtrations on the knot contact homology of transverse knots

We construct a new invariant of transverse links in the standard contact structure on ${\mathbb R }^3.$ This invariant is a doubly filtered version of the knot contact homology differential graded algebra (DGA) of the link, see (Ekholm et al., Knot contact homology, Arxiv:1109.1542, 2011; Ng, Duke Math J 141(2):365–406, 2008). Here the knot contact homology of a link in ${\mathbb R }^3$ is the Legendrian contact homology DGA of its conormal lift into the unit cotangent bundle $S^*{\mathbb R }^3$ of ${\mathbb R }^3$ , and the filtrations are constructed by counting intersections of the holomorphic disks of the DGA differential with two conormal lifts of the contact structure. We also present a combinatorial formula for the filtered DGA in terms of braid representatives of transverse links and apply it to show that the new invariant is independent of previously known invariants of transverse links.