A classification of 2-complexes with nontrivial self-covers

The main result is the classification of finite regular 2-complexes which have a nontrivial finite-sheeted self-cover. It is shown that a 2-complex K is a member of this class if and only if it may be decomposed as a collection of annuli and circles in the sense made precise in the paper. Intuitively, K is recovered by gluing the boundary components of the annuli to the circles via covering maps.     

Ropelengths of closed braids

For a link K, let L(K) denote the ropelength of K and let Cr(K) denote the crossing number of K. An important problem in geometric knot theory concerns the bound on L(K) in terms of Cr(K). It is well known that there exist positive constants c₁, c₂ such that for any link K, c₁⋅(Cr(K))^3/4?L(K)?c₂⋅(Cr(K))^3/2. In this paper, we show that any closed braid with n crossings can be realized by a unit thickness rope of length at most of the order O(n6/5). Thus, if a link K admits a closed braid representation in which the number of crossings is bounded by a(Cr(K)) for some constant a?1, then we have L(K)?c⋅(Cr(K))^6/5 for some constant c>0 which only depends on a. In particular, this holds for any link that admits a reduced alternating closed braid representation, or any link K that admits a regular projection in which there are at most O(Cr(K)) crossings and Seifert circles.     

Genera, band sum of knots and Vassiliev invariants

Recently Stoimenow showed that for every knot K and any n∈N and u₀?u(K) there is a prime knot Kn,uo which is n-equivalent to the knot K and has unknotting number u(Kn,uo) equal to u₀. The similar result has been obtained for the 4-ball genus gs of a knot. Stoimenow also proved that any admissible value of the Tristram-Levine signature σξ can be realized by a knot with the given Vassiliev invariants of bounded order. In this paper, we show that for every knot K with genus g(K) and any n∈N and m?g(K) there exists a prime knot L which is n-equivalent to K and has genus g(L) equal to m.     

On \pi-hyperbolic knots with the same 2-fold branched coverings

We consider the following problem from the Kirby's list (Problem 3.25): Let K be a knot in and M(K) its 2-fold branched covering space. Describe the equivalence class [K] of K in the set of knots under the equivalence relation if is homeomorphic to . It is known that there exist arbitrarily many different hyperbolic knots with the same 2-fold branched coverings, due to mutation along Conway spheres. Thus the most basic class of knots to investigate are knots which do not admit Conway spheres. In this paper we solve the above problem for knots which do not admit Conway spheres, in the following sense: we give upper bounds for the number of knots in the equivalence class [K] of a knot K and we describe how the different knots in the equivalence class of K are related. Received: 3 August 1998 / in final form: 17 June 1999     

Epimorphisms of knot groups onto free products

Let k be a knot in S³. There is an epimorphism from π₁(S³−k) onto a free product of two nontrivial cyclic groups sending a meridian to an element of length two iff k has property Q (Topology of Manifolds, Markham, Chicago, IL, 1970, pp. 195-199) that is if there is a closed surface F in S³ containing k, such that k is imprimitive in H₁(X) and in H₁(Y) where X and Y are the closures of the components of S³−F. We give answers to questions of Simon (1970) about properties Q, Q∗ and Q∗∗. Epimorphisms from knot groups onto torus knot groups are also studied and some results on property P and surgery are included.     

Seifert fibered surgeries with distinct primitive/Seifert positions

We call a pair (K,m) of a knot K in the 3-sphere S³ and an integer m a Seifert fibered surgery if m-surgery on K yields a Seifert fiber space. For most known Seifert fibered surgeries (K,m), K can be embedded in a genus 2 Heegaard surface of S³ in a primitive/Seifert position, the concept introduced by Dean as a natural extension of primitive/primitive position defined by Berge. Recently Guntel has given an infinite family of Seifert fibered surgeries each of which has distinct primitive/Seifert positions. In this paper we give yet other infinite families of Seifert fibered surgeries with distinct primitive/Seifert positions from a different point of view.     

Embedding infinite cyclic covers of knot spaces into 3-space

We say a knot k in the 3-sphere S³ has PropertyIE if the infinite cyclic cover of the knot exterior embeds into S³. Clearly all fibred knots have Property IE.There are infinitely many non-fibred knots with Property IE and infinitely many non-fibred knots without property IE. Both kinds of examples are established here for the first time. Indeed we show that if a genus 1 non-fibred knot has Property IE, then its Alexander polynomial Δ_k(t) must be either 1 or 2t²−5t+2, and we give two infinite families of non-fibred genus 1 knots with Property IE and having Δ_k(t)=1 and 2t²−5t+2 respectively.Hence among genus 1 non-fibred knots, no alternating knot has Property IE, and there is only one knot with Property IE up to ten crossings.We also give an obstruction to embedding infinite cyclic covers of a compact 3-manifold into any compact 3-manifold.     

Virtual knots undetected by 1- and 2-strand bracket polynomials

Kishino's knot is not detected by the fundamental group or the bracket polynomial. However, we can show that Kishino's knot is not equivalent to the unknot by applying either the 3-strand bracket polynomial or the surface bracket polynomial. In this paper, we construct two non-trivial virtual knot diagrams, KD and Km, that are not detected by the 1-strand or the 2-strand bracket polynomial. From these diagrams, we construct two infinite families of non-classical virtual knot diagrams that are not detected by the bracket polynomial. Additionally, these virtual knot diagrams are trivial as flats.     

The complete splitting number of a lassoed link

In this paper we define a lassoing on a link, a local addition of a trivial knot to a link. Let K be an s-component link with the Conway polynomial non-zero. Let L be a link which is obtained from K by r-iterated lassoings. The complete splitting number split(L) is greater than or equal to r+s−1, and less than or equal to r+split(K). In particular, we obtain from a knot by r-iterated component-lassoings an algebraically completely splittable link L with split(L)=r. Moreover, we construct a link L whose unlinking number is greater than split(L).     

Amalgamated products and properly 3-realizable groups

In this paper, we show that the class of all properly 3-realizable groups is closed under amalgamated free products (and HNN-extensions) over finite groups. We recall that G is said to be properly 3-realizable if there exists a compact 2-polyhedron K with π₁(K)≅G and whose universal cover has the proper homotopy type of a 3-manifold (with boundary).     

Rational structure on algebraic tangles and closed incompressible surfaces in the complements of algebraically alternating knots and links

Let F be an incompressible, meridionally incompressible and not boundary-parallel surface with boundary in the complement of an algebraic tangle (B,T). Then F separates the strings of T in B and the boundary slope of F is uniquely determined by (B,T) and hence we can define the slope of the algebraic tangle. In addition to the Conway's tangle sum, we define a natural product of two tangles. The slopes and binary operation on algebraic tangles lead to an algebraic structure which is isomorphic to the rational numbers.We introduce a new knot and link class, algebraically alternating knots and links, roughly speaking which are constructed from alternating knots and links by replacing some crossings with algebraic tangles. We give a necessary and sufficient condition for a closed surface to be incompressible and meridionally incompressible in the complement of an algebraically alternating knot or link K. In particular we show that if K is a knot, then the complement of K does not contain such a surface.     

Grope cobordism of classical knots

Motivated by the lower central series of a group, we define the notion of a grope cobordism between two knots in a 3-manifold. Just like an iterated group commutator, each grope cobordism has a type that can be described by a rooted unitrivalent tree. By filtering these trees in different ways, we show how the Goussarov-Habiro approach to finite type invariants of knots is closely related to our notion of grope cobordism. Thus our results can be viewed as a geometric interpretation of finite type invariants.The derived commutator series of a group also has a three-dimensional analogy, namely knots modulo symmetric grope cobordism. On one hand this theory maps onto the usual Vassiliev theory and on the other hand it maps onto the Cochran-Orr-Teichner filtration of the knot concordance group, via symmetric grope cobordism in 4-space. In particular, the graded theory contains information on finite type invariants (with degree h terms mapping to Vassiliev degree 2^h), Blanchfield forms or S-equivalence at h=2, Casson-Gordon invariants at h=3, and for h=4 one finds the new von Neumann signatures of a knot.     

Roots of mappings on nonorientable surfaces¶and equations in free groups

Let f:M ₁→M ₂ be a continuous map and c:M ₁→M ₂ a constant map between closed (not necessarily orientable) surfaces. By definition the pair (f,c) has the Wecken property if f can be deformed into a map f' such that the number of coincidence points of (f',c) is the same as the number of essential coincidence classes of (f,c) and, hence, every essential coincidence class consists of exactly one point. When both surfaces are orientable the problem to determine all maps which have the Wecken property was solved in [14]. Let A(f) denote the absolute degree as defined in [6] or [15] and . Here we show that a map f has the Wecken property iff either the Euler characteristic or . In free groups there are solved certain quadratic equations closely related to the root problem. Received: Received: 18 January 2001 / Revised version: 27 November 2001     

Compactifying coverings of 3-manifolds

If a finitely presented groupG is negatively curved, automatic or asynchronously automatic thenG has an asynchronously bounded “almost prefix closed” combing. Results in [Br₁] and [E] imply that the fundamental group of any closed 3-manifold satisfying Thurston's geometrization conjecture has an asynchronously bounded, almost prefix closed combing. MAIN THEOREM. IfM is a compactP ²-irreducible 3-manifold,π ₁ (M) has an asynchronously bounded, almost prefix closed combing, andH, a subgroup ofπ ₁ (M), is quasiconvex with respect to this combing, then the cover ofM corresponding toH is a missing boundary manifold.     

A circular embedding of a graph in Euclidean 3-space

A spatial embedding of a graph G is an embedding of G into the 3-dimensional Euclidean space . J.H. Conway and C.McA. Gordon proved that every spatial embedding of the complete graph on 7 vertices contains a nontrivial knot. A linear spatial embedding of a graph is an embedding which maps each edge to a single straight line segment. In this paper, we construct a linear spatial embedding of the complete graph on 2n−1 (or 2n) vertices which contains the torus knot T(2n−5,2) (n4). A circular spatial embedding of a graph is an embedding which maps each edge to a round arc. We define the circular number of a knot as the minimal number of round arcs in among such embeddings of the knot. We show that a knot has circular number 3 if and only if the knot is a trefoil knot, and the figure-eight knot has circular number 4.     

Homological characterization of the unknot

Given a knot K in the 3-sphere, let Q_K be its fundamental quandle as introduced by Joyce. Its first homology group is easily seen to be . We prove that H₂(Q_K)=0 if and only if K is trivial, and whenever K is non-trivial. An analogous result holds for links, thus characterizing trivial components.More detailed information can be derived from the conjugation quandle: let Q_K^π be the conjugacy class of a meridian in the knot group . We show that , where p is the number of prime summands in a connected sum decomposition of K.     

Tangent circle bundles admit positive open book decompositions along arbitrary links

In the present paper we generalize the divide lying in the unit disk, introduced by A'Campo, to compact, oriented, smooth surfaces, and prove a fibration theorem for generalized divides. As a consequence, we will show that, for any link L in the tangent circle bundle Y to the compact surface, there exists an additional knot K such that the link L∪K is the binding of a “positive” open book decomposition of Y.     

On tensor representations of knot algebras

Summary The fact that a Yang-Baxter operator defines tensor representations of the Artin braid group has been used to construct knot invariants. The main purpose of this note is to extend the tensor representations of the Artin braid group to representations of the braid groupZ B _k associated to the Coxeter graphB _k. This extension is based on some fundamental identities for the standardR-matrices of quantum Lie theory, here called four braid relations. As an application, tensor representations of knot algebras of typeB (Hecke, Temperley-Lieb, Birman-Wenzl-Murakami) are derived.     

A non-commutative formula for the colored Jones function

The colored Jones function of a knot is a sequence of Laurent polynomials that encodes the Jones polynomial of a knot and its parallels. It has been understood in terms of representations of quantum groups and Witten gave an intrinsic quantum field theory interpretation of the colored Jones function as the expectation value of Wilson loops of a 3-dimensional gauge theory, the Chern–Simons theory. We present the colored Jones function as an evaluation of the inverse of a non-commutative fermionic partition function. This result is in the form familiar in quantum field theory, namely the inverse of a generalized determinant. Our formula also reveals a direct relation between the Alexander polynomial and the colored Jones function of a knot and immediately implies the extensively studied Melvin–Morton–Rozansky conjecture, first proved by Bar–Natan and the first author about 10 years ago. Our results complement recent work of Huynh and Le, who also give a non-commutative formulae for the colored Jones function of a knot, starting from a non-commutative formula for the R matrix of the quantum group ; see Huynh and Le (in math.GT/0503296).