The first part of this paper is a short review of the construction [dg-ga/9710001] of invariants of rational homology 3-spheres and knots in terms of configuration space integrals.
The second part describes the relationship between the above construction and Kontsevich's proposal of removing one point from the rational homology sphere. Explicit formulae are computed. In the case of the "Theta" invariant, a comparison with Taubes's construction is briefly discussed.
A 4-manifold is constructed with some curious metric properties; or maybe it is many 4-manifolds masquerading as one, which would explain why it looks curious. Anyway, knots in the 3-sphere with complete finite volume hyperbolic metrics on their complements play a role in this story.
Kashaev's invariants for a knot in a three sphere are generalized to invariants of a knot in a three manifold. A relation between the newly constructed invariants and the hyperbolic volume of the knot complement is observed for some knots in lens spaces.
We construct an extension of the Kontsevich integral of knots to knotted trivalent graphs, which commutes with orientation switches, edge deletions, edge unzips, and connected sums. In 1997 Murakami and Ohtsuki [MO] first constructed such an extension, building on Drinfel'd's theory of associators. We construct a step by step definition, using elementary Kontsevich integral methods, to get a one-parameter family of corrections that all yield invariants well behaved under the graph operations above.
We show that if a surgery on a knot in a product sutured manifold yields the same product sutured manifold, then this knot is a 0-- or 1--crossing knot. The proof uses techniques from sutured manifold theory.
A `total Chern class' invariant of knots is defined. This is a universal Vassiliev invariant which is integral `on the level of Lie algebras' but it is not expressible as an integer sum of diagrams. The construction is motivated by similarities between the Kontsevich integral and the topological Chern character.
In this paper we investigate the relationship between isotopy classes of knots and links in S^3 and the diffeomorphism types of homeomorphic smooth 4-manifolds. As a corollary of this initial investigation, we begin to uncover the surprisingly rich structure of diffeomorphism types of manifolds homeomorphic to the K3 surface.
We will announce some results on the values of quantum sl_2 invariants of knots and integral homology spheres. Lawrence's universal sl_2 invariant of knots takes values in a fairly small subalgebra of the center of the h-adic version of the quantized enveloping algebra of sl_2. This implies an integrality result on the colored Jones polynomials of a knot. We define an invariant of integral homology spheres with values in a completion of the Laurent polynomial ring of one variable over the integers which specializes at roots of unity to the Witten-Reshetikhin-Turaev invariants. The definition o…
We give explicit formulae for the volumes of hyperbolic cone-manifolds of double twist knots, a class of two-bridge knots which includes twist knots and two-bridge knots with Conway notation $C(2n,3)$. We also study the Riley polynomial of a class of one-relator groups which includes two-bridge knot groups.
We fix a null-homologous, homotopically essential knot $J$ in a 3-manifold with PTFA fundamental group and study concordance of knots that are homotopic to $J$. We construct an infinite family of knots that are characteristic to $J$, and then use $L^2$-methods to show that they are not concordant to $J$.
Examples are given to show that some compact contractible 4-manifolds can be knotted in the 4-sphere. It is then proved that any finitely presented perfect group with a balanced presentation is a knot group for an embedding of some contractible 4-manifold in the 4-sphere.
We prove that there exist infinitely many topologically slice knots which cannot bound a smooth null-homologous disk in any definite 4-manifold. Furthermore, we show that we can take such knots so that they are linearly independent in the the knot concordance group.
We discuss some consequences Fintushel-Stern `knot surgery' operation on 4-manifolds coming from its handlebody description. We give some generalizations of this operation and give a counterexample to their conjecture.
In this article we study Lefschetz fibration structures on knot surgery 4-manifolds obtained from an elliptic surface E(2) using Kanenobu knots $K$. As a result, we get an infinite family of simply connected mutually diffeomorphic 4-manifolds coming from a pair of inequivalent Kanenobu knots. We also obtain an infinite family of simply connected symplectic 4-manifolds, each of which admits more than one inequivalent Lefschetz fibration structures of the same generic fiber.
We consider the existence of simple closed geodesics or "geodesic knots" in finite volume orientable hyperbolic 3-manifolds. Previous results show that at least one geodesic knot always exists [Bull. London Math. Soc. 31(1) (1999) 81-86], and that certain arithmetic manifolds contain infinitely many geodesic knots [J. Diff. Geom. 38 (1993) 545-558], [Experimental Mathematics 10(3) (2001) 419-436]. In this paper we show that all cusped orientable finite volume hyperbolic 3-manifolds contain infinitely many geodesic knots. Our proof is constructive, and the infinite family of geodesic knots prod…
We show that if $B$ is an aspherical 2-orbifold in one of the families known to have orbifold fundamental groups of weight 1 then $B$ is the base of a Seifert fibration of a 2-knot manifold $M(K)$.
Suppose that a hyperbolic knot in $S^3$ admits a finite surgery, Boyer and Zhang proved that the surgery slope must be either integral or half-integral, and they conjectured that the latter case does not happen. Using the correction terms in Heegaard Floer homology, we prove that if a hyperbolic knot in $S^3$ admits a half-integral finite surgery, then the knot must have the same knot Floer homology as one of eight non-hyperbolic knots which are known to admit such surgeries, and the resulting manifold must be one of ten spherical space forms. As knot Floer homology carries a lot of informatio…
We obtain an explicit representation, as Dunwoody manifolds, of all cyclic branched coverings of torus knots of type $(p,mp\pm 1)$, with $p>1$ and $m>0$.
We show that on any hyperbolic knot in $S^3$ there is at most one non-integral Dehn surgery which yields a manifold containing an incompressible torus.
Using Ohtsuki's method, we prove the Asymptotic Expansion Conjecture and the Volume Conjecture of the Reshetikhin-Turaev and the Turev-Viro invariants for all hyperbolic $3$-manifolds obtained by doing a Dehn-surgery along the figure-$8$ knot.
We prove a neighbourhood theorem for arbitrary knots in contact 3-manifolds. As an application we show that two topologically isotopic Legendrian knots in a contact 3-manifold become Legendrian isotopic after suitable stabilisations.
In this paper we propose {\it a region choice problem} for a knot projection. This problem is an integral extension of Shimizu's 'region crossing change unknotting operation.' We show that there exists a solution of the region choice problem for all knot projections.
We define invariants of null--homologous Legendrian and transverse knots in contact 3--manifolds. The invariants are determined by elements of the knot Floer homology of the underlying smooth knot. We compute these invariants, and show that they do not vanish for certain non--loose knots in overtwisted 3--spheres. Moreover, we apply the invariants to find transversely non--simple knot types in many overtwisted contact 3--manifolds.
Ballinger et al. have determined the list of all prism manifolds that are possibly realizable by Dehn surgeries on knots in $S^3$. In this paper, we explicitly find braid words of primitive/Seifert-fibered knots on which surface slope surgeries yield all the prism manifolds listed above. This completes the solution to the prism manifold realization problem.
We discuss the relation between Fintushel-Stern knot surgery operation on 4-manifolds and Scharlemann manifolds, and as a corollary show that they all are standard. Along the way we show that the fishtail can exotically knot in the 4-sphere infinitely many ways.
It is experimentally known that achiral hyperbolic 3-manifolds are quite sporadic at least among those with small volume, while we can find plenty of them as amphicheiral knot complements in the 3-sphere. In this paper, we show that there exist infinitely many achiral 1-cusped hyperbolic 3-manifolds not homeomorphic to any amphicheiral null-homologous knot complement in any closed achiral 3-manifold.
Using the correction terms in Heegaard Floer homology, we prove that if a knot in $S^3$ admits a positive integral $\mathbf{T}$-, $\mathbf{O}$- or $\mathbf{I}$-type surgery, it must have the same knot Floer homology as one of the knots given in our complete list, and the resulting manifold is orientation-preservingly homeomorphic to the $p$-surgery on the corresponding knot.
We prove for a large class of knots that the meridional rank coincides with the bridge number. This class contains all knots whose exterior is a graph manifold. This gives a partial answer to a question of S. Cappell and J. Shaneson, see problem 1.11 on Kirby's list.
In this article we construct a family of knot surgery $4$-manifolds admitting arbitrarily many nonisomorphic Lefschetz fibration structures with the same genus fiber. We obtain such families by performing knot surgery on an elliptic surface $E(2)$ using connected sums of fibered knots obtained by Stallings twist from a slice knot $3_1 \sharp 3^*_1$. By comparing their monodromy groups induced from the corresponding monodromy factorizations, we show that they admit mutually nonisomorphic Lefschetz fibration structures.
In this article we prove that, if $X$ is a smooth $4$-manifold containing an embedded double node neighborhood, all knot surgery $4$-manifolds $X_K$ are mutually diffeomorphic to each other after a connected sum with $\mathbb{CP}^2$. Hence, by applying to the simply connected elliptic surface $E(n)$, we also show that every knot surgery $4$-manifold $E(n)_K$ is almost completely decomposable.
This is an expository article of our work on analogies between knot theory and algebraic number theory. We shall discuss foundational analogies between knots and primes, 3-manifolds and number rings mainly from the group-theoretic point of view.
We calculate the volumes of the hyperbolic twist knot cone-manifolds using the Schläfli formula. Even though general ideas for calculating the volumes of cone-manifolds are around, since there is no concrete calculation written, we present here the concrete calculations. We express the length of the singular locus in terms of the distance between the two axes fixed by two generators. In this way the calculation becomes easier than using the singular locus directly. The volumes of the hyperbolic twist knot cone-manifolds simpler than Stevedore's knot are known. As an application, we give the vo…
In this paper we study some consequences of the author's classification of graph manifolds by their profinite fundamental groups. In particular we study commensurability, the behaviour of knots, and relation to mapping classes. We prove that the exteriors of graph knots are distinguished among all 3-manifold groups by their profinite fundamental groups. We also prove a strong conjugacy separability result for certain mapping classes of surfaces.
We describe Taylor towers for spaces of knots arising from Goodwillie-Weiss calculus of the embedding functor and extend the configuration space integrals of Bott and Taubes from spaces of knots to the stages of the towers. We show that certain combinations of integrals, indexed by trivalent diagrams, yield cohomology classes of the stages of the tower, just as they do for ordinary knots.
Given a simply-connected closed 4-manifold $X$ and a smoothly embedded oriented surface $Σ$, various constructions based on Fintushel-Stern knot surgery have produced new surfaces in $X$ that are pairwise homeomorphic to $Σ$, but not diffeomorphic. We prove that for all known examples of surface knots constructed from knot surgery operations that preserve the fundamental group of the complement of surface knots, they become pairwise diffeomorphic after stabilizing by connected summing with one $S^2\tilde{\times}S^2$. When $X$ is spin, we show in addition that any surfaces obtained by a knot su…
Sutured manifolds defined by Gabai are useful in the geometrical study of knots and 3-dimensional manifolds. On the other hand, homology cylinders are in an important position in the recent theory of homology cobordisms of surfaces and finite-type invariants. We study a relationship between them by focusing on sutured manifolds associated with a special class of knots which we call {\it homologically fibered knots}. Then we use invariants of homology cylinders to give applications to knot theory such as fibering obstructions, Reidemeister torsions and handle numbers of homologically fibered kn…
We show that every strongly-cyclic branched covering of a (1,1)-knot is a Dunwoody manifold. This result, together with the converse statement previously obtained by Grasselli and Mulazzani, proves that the class of Dunwoody manifolds coincides with the class of strongly-cyclic branched coverings of (1,1)-knots. As a consequence, we obtain a parametrization of (1,1)-knots by 4-tuples of integers. Moreover, using a representation of (1,1)-knots by the mapping class group of the twice punctured torus, we provide an algorithm which gives the parametrization of all torus knots.
We formulate a conjecture (already proven by A. Kricker) about the structure of Kontsevich integral of a knot. We describe its value in terms of the generating functions for the numbers of external edges attached to closed 3-valent diagrams. We conjecture that these functions are rational functions of the exponentials of their arguments, their denominators being the powers of the Alexander-Conway polynomial. This conjecture implies the existence of an expansion of a colored Jones (HOMFLY) polynomial in powers of q-1 whose coefficients are rational functions of q^color. We show how to derive th…
Let M be a closed 3-manifold obtained by Dehn surgery along the figure-eight knot. We give a formula of the Reisdemeisiter torsion of M for any irreducible SL(2;C)-representation. It is described as a rational expression of the trace of the image of the meridian.
The aim of this paper is to investigate the relations between Seifert manifolds and (1,1)-knots. In particular, we prove that every orientable Seifert manifold with invariants {Oo,0|-1;(p,q),...,(p,q),(l, l-1)} has a cyclically presented fundamental group and, moreover, it is the n-fold strongly-cyclic covering of the lens space L(|nlq-p|,q), branched over the (1,1)-knot K(q,q(nl-2),p-2q,p-q) if p>=2q, and over the (1,1)-knot K(p-q,2q-p,q(nl-2),p-q) if p<2q.
We give some remarks on two closely related issues as stated in the title. In particular we show that a Montesinos knot is SU(2)-simple if and only if it is a 2-bridge knot, extending a result of Zentner for 3-tangle summand pretzel knots. We conjecture with some evidence that an SU(2)-cyclic rational homology 3-sphere is an L-space.
We consider closed acylindrical surfaces in 3-manifolds and in knot and link complements, and show that the genus of these surfaces is bounded linearly by the number of tetrahedra in the triangulation of the manifold and by the number of rational (or alternating) tangles in a projection of a link (or knot). For each g we find knots with tunnel number 2 and manifolds of Heegaard genus 3 containing acylindrical surfaces of genus g. Finally, we construct 3-bridge knots containing quasi-Fuchsinan surfaces of unbounded genus, and use them to find manifolds of Heegaard genus 2 and homology spheres o…
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 Ozsvath-Szabo 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 the three-sphere with negative maximal Thurston-Bennequin invariant. Perhaps more interesting, …
Knots and links in 3-manifolds are studied by applying intersection invariants to singular concordances. The resulting link invariants generalize the Arf invariant, the mod 2 Sato-Levine invariants, and Milnor's triple linking numbers. Besides fitting into a general theory of Whitney towers, these invariants provide obstructions to the existence of a singular concordance which can be homotoped to an embedding after stabilization by connected sums with $S^2\times S^2$. Results include classifications of stably slice links in orientable 3-manifolds, stable knot concordance in products of an orie…
Following the classification of genus one fibered knots in lens spaces by Baker, we determine hyperbolic genus one fibered knots in lens spaces on whose all integral Dehn surgeries yield closed 3-manifolds with left-orderable fundamental groups.
From a handlebody-theoretic perspective, the simplest compact, contractible 4-manifolds, other than the 4-ball, are Mazur manifolds. We produce the first pairs of Mazur manifolds that are homeomorphic but not diffeomorphic. Our diffeomorphism obstruction comes from our proof that the knot Floer homology concordance invariant $ν$ is an invariant of the smooth 4-manifold associated to a knot in the 3-sphere by attaching an n-framed 2-handle to the 4-ball along the knot. In contrast, we also show (modulo forthcoming work of Ozsváth and Szabó) that the concordance invariants $τ$ and $ε$ are not in…
We define the property (D) for nontrivial knots. We show that the fundamental group of the manifold obtained by Dehn surgery on a knot $K$ with property (D) with slope $\frac{p}{q}\ge 2g(K)-1$ is not left orderable. By making full use of the fixed point method, we prove that (1) nontrivial knots which are closures of positive $1$-bridge braids have property (D); (2) L-space satellite knots, with positive $1$-bridge braid patterns, and companion with property (D), have property (D); (3) the fundamental group of the manifold obtained by Dehn filling on $v2503$ is not left orderable. Additionally…
In this paper we show that all 3-manifolds of a family introduced by M. J. Dunwoody are cyclic coverings of lens spaces (eventually $\bf S^3$), branched over genus one 1-bridge knots. As a consequence, we give a positive answer to the Dunwoody conjecture that all the elements of a wide subclass are cyclic coverings of $\bf S^3$ branched over a knot. Moreover, we show that all branched cyclic coverings of a 2-bridge knot belong to this subclass; this implies that the fundamental group of each branched cyclic covering of a 2-bridge knot admits a geometric cyclic presentation.
This article surveys the use of configuration space integrals in the study of the topology of knot and link spaces. The main focus is the exposition of how these integrals produce finite type invariants of classical knots and links. More generally, we also explain the construction of a chain map, given by configuration space integrals, between a certain diagram complex and the deRham complex of the space of knots in dimension four or more. A generalization to spaces of links, homotopy links, and braids is also treated, as are connections to Milnor invariants, manifold calculus of functors, and…
We show that a transverse link in a contact structure supported by an open book decomposition can be transversely braided. We also generalize Markov's theorem on when the closures of two braids represent (transversely) isotopic links.
This is a survey paper on algorithms for solving problems in 3-dimensional topology. In particular, it discusses Haken's approach to the recognition of the unknot, and recent variations.
We construct an infinite family of hyperbolic, homologically thin knots that are not quasi-alternating. To establish the latter, we argue that the branched double-cover of each knot in the family does not bound a negative definite 4-manifold with trivial first homology and bounded second betti number. This fact depends in turn on information from the correction terms in Heegaard Floer homology, which we establish by way of a relationship to, and calculation of, the Turaev torsion.
We give two infinite families of examples of closed, orientable, irreducible 3-manifolds $M$ such that $b_1(M)=1$ and $π_1(M)$ has weight 1, but $M$ is not the result of Dehn surgery along a knot in the 3-sphere. This answers a question of Aschenbrenner, Friedl and Wilton, and provides the first examples of irreducible manifolds with $b_1=1$ that are known not to be surgery on a knot in the 3-sphere. One family consists of Seifert fibered 3-manifolds, while each member of the other family is not even homology cobordant to any Seifert fibered 3-manifold. None of our examples are homology cobord…
We prove that there are infinitely many non-homeomorphic hyperbolic knot complements $S^3\setminus K_i = \mathbb{H}^3/Γ_i$ for which $Γ_i$ contains elements whose trace is an algebraic non-integer.
