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 has a properly embedded non-separating $S^2$. 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 relate our results to the theory of skein modules.
We give an elementary proof of the fact that any orientable 3-manifold admits a framing (i.e. is parallelizable) and any non-orientable 3-manifold admits a projective framing. The proof uses only basic facts about immersions of surfaces in 3-space.
Canonical framings and stable framings for the tangent bundle of a spin 3-manifold are introduced, and illustrated by a number of familiar examples. Methods for constructing canonical framings, and for comparing them with other naturally defined framings, are discussed.
We define the Thurston-Bennequin polytope of a two-component link as the convex hull of all pairs of integers that arise as framings of a Legendrian representative. The main result of this paper is a description of the Thurston-Bennequin polytope for two-bridge links. As an application, we construct non-quasipositive surfaces in $\R^3$ all whose sub-annuli are quasipositive.
After surveying existing proofs that every closed, orientable 3-manifold is parallelizable, we give three proofs using minimal background. In particular, our proofs use neither spin structures nor the theory of Stiefel-Whitney classes.
We construct a simple topological invariant of certain 3-manifolds, including quotients of the 3-sphere by finite groups, based on the fact that the tangent bundle of an orientable 3-manifold is trivialisable. This invariant is strong enough to yield the classification of lens spaces of odd, prime order. We also use properties of this invariant to show that there is an oriented 3-manifold with no universally tight contact structure. We generalise and sharpen this invariant to an invariant of a finite covering of a 3-manifold.
Checkerboard framings are an extension of checkerboard colorings for virtual links. According to checkerboard framings, in 2017, Dye obtained an independent invariant of virtual links: the cut point number. Checkerboard framings and cut points can be used as a tool to extend other classical invariants to virtual links. We prove that one of the conjectures in Dye's paper is correct. Moreover, we analyze the connection and difference between checkerboard framing obtained from virtual link diagram by adapting cut points and twisted link diagram obtained from virtual link diagram by introducing ba…
In view of the self-linking invariant, the number $|K|$ of framed knots in $S^3$ with given underlying knot $K$ is infinite. In fact, the second author previously defined affine self-linking invariants and used them to show that $|K|$ is infinite for every knot in an orientable manifold unless the manifold contains a connected sum factor of $S^1\times S^2$; the knot $K$ need not be zero-homologous and the manifold is not required to be compact. We show that when $M$ is orientable, the number $|K|$ is infinite unless $K$ intersects a non-separating sphere at exactly one point, in which case $|K…
For an integer $n$, write $X_n(K)$ for the 4-manifold obtained by attaching a 2-handle to the 4-ball along the knot $K\subset S^3$ with framing $n$. It is known that if $n< \overline{\text{tb}}(K)$, then $X_n(K)$ admits the structure of a Stein domain, and moreover the adjunction inequality implies there is an upper bound on the value of $n$ such that $X_n(K)$ is Stein. We provide examples of knots $K$ and integers $n\geq \overline{\text{tb}}(K)$ for which $X_n(K)$ is Stein, answering an open question in the field. In fact, our family of examples shows that the largest framing such that the ma…
We construct a pairing, which we call factorization homology, between framed manifolds and higher categories. The essential geometric notion is that of a vari-framing of a stratified manifold, which is a framing on each stratum together with a coherent system of compatibilities of framings along links between strata. Our main result constructs labeling systems on disk-stratified vari-framed $n$-manifolds from $(\infty,n)$-categories. These $(\infty,n)$-categories, in contrast with the literature to date, are not required to have adjoints. This allows the following conceptual definition: the fa…
Mathematical Science Research Center Chongqing University of Technology（重庆理工大学数学科学研究中心）；Department of Mathematics, University of Arizona（亚利桑那大学数学系）；Department of Mathematics Zhejiang Normal University（浙江师范大学数学系）
Gauss diagram formulas are extensively used to study Vassiliev link invariants. Now we apply this approach to invariants of 3-manifolds, considering manifolds given by surgery on framed links in the 3-sphere. We study the lowest degree case - the celebrated Casson-Walker invariant of rational homology spheres. This paper is dedicated to a detailed treatment of 2-component links; a general case will be considered in a forthcoming paper. We present simple Gauss diagram formulas for the Casson-Walker invariant. This enables us to understand/separate its dependence on the unframed link and on the …
We construct modular categories from Hecke algebras at roots of unity. For a special choice of the framing parameter, we recover the Reshetikhin-Turaev invariants of closed 3-manifolds constructed from the quantum groups U_q sl(N) by Reshetikhin-Turaev and Turaev-Wenzl, and from skein theory by Yokota. We then discuss the choice of the framing parameter. This leads, for any rank N and level K, to a modular category \tilde H^{N,K} and a reduced invariant \tildeτ_{N,K}. If N and K are coprime, then this invariant coincides with the known PSU(N) invariant at level K. If gcd(N,K)=d>1, then we show…
We study the space of "link maps": the space of maps of a disjoint union of compact, closed manifolds P_1, . . ., P_k into a manifold N whose images are pairwise disjoint. We apply the manifold calculus of functors developed by Goodwillie and Weiss to study the difference between it and its linear and quadratic approximations. We identify an appropriate generalization of the linking number as the geometric object which measures the difference between the space of link maps and its linear approximation. Our analysis of the difference between link maps and its quadratic approximation connects wi…
We consider surgery moves along (n+1)-component Brunnian links in compact connected oriented 3-manifolds, where the framing of the each component is 1/k for k in Z. We show that no finite type invariant of degree < 2n-2 can detect such a surgery move. The case of two link-homotopic Brunnian links is also considered. We relate finite type invariants of integral homology spheres obtained by such operations to Goussarov-Vassiliev invariants of Brunnian links.
We study the concept of the fourth skein module of 3-manifolds, that is a skein module based on the skein relation b_0L_0 + b_1L_1 + b_2L_2 + b_3L_3 = 0 and a framing relation L^{(1)} = aL, where a, b_0, b_3 are invertible. We introdule the concept of n-algebraic tangles (and links) and analyze the skein module for 3-algebraic links. As a byproduct we prove the Montesinos-Nakanishi 3-move conjecture for 3-algebraic links (including 3-bridge links).
We study the spaces of string links and homotopy string links in an arbitrary manifold using multivariable manifold calculus of functors. We construct multi-cosimplicial models for both spaces and deduce certain convergence properties of the associated Bousfield-Kan homotopy and cohomology spectral sequences when the ambient manifold is a Euclidean space of dimension four or more.
Let $B_n$ denote the classical braid group on $n$ strands and let the {\em mixed braid group} $B_{m,n}$ be the subgroup of $B_{m+n}$ comprising braids for which the first $m$ strands form the identity braid. Let $B_{m,\infty}=\cup_nB_{m,n}$. We will describe explicit algebraic moves on $B_{m,\infty}$ such that equivalence classes under these moves classify oriented links up to isotopy in a link complement or in a closed, connected, oriented 3--manifold. The moves depend on a fixed link representing the manifold in $S^3$. More precisely, for link complements the moves are: the two familiar move…
We show that a closed orientable 3-manifold M admits an action of Z_p with fixed point set S^1 iff M can be obtained as the result of surgery on a p-periodic framed link L and Z_p acts freely on the components of L. We prove a similar theorem for free Z_p-actions. As an interesting application, we prove the following, rather unexpected result: for any M as above and for any odd prime p, H_1(M, Z_p)\ne Z_p. We also prove a similar criterion of 2-periodicity for rational homology 3-spheres.
In his 1957 paper, John Milnor introduced link invariants which measure the homotopy class of the longitudes of a link relative to the lower central series of the link group. Consequently, these invariants determine the lower central series quotients of the link group. This work has driven decades of research with profound influence. One of Milnor's original problems remained unsolved: to extract similar invariants from the transfinite lower central series of the link group. We reformulate and extend Milnor's invariants in the broader setting of 3-manifolds, with his original invariants as spe…
We present a short proof of the following Pontryagin theorem, whose original proof was complicated and has never been published in details: {\bf Theorem.} Let $M$ be a connected oriented closed smooth 3-manifold. Let $L_1(M)$ be the set of framed links in $M$ up to a framed cobordism. Let $°:L_1(M)\to H_1(M;\Z)$ be the map taking a framed link to its homology class. Then for each $α\in H_1(M;\Z)$ there is a 1-1 correspondence between the set $°\nolimits^{-1}α$ and the group $\Bbb Z_{2d(α)}$, where $d(α)$ is the divisibility of the projection of $α$ to the free part of $H_1(M;\Bbb Z)$.
We determine the Dehn surgeries on 2-bridge links, which yield reducible 3-manifolds. Further, we show the conditions that we obtain a torus or cable knot from one component of a 2-bridge link by a surgery on another component.
We introduce and define "oriented framed measured lamination links" in a 3-manifold $M$. These generalize oriented framed links in 3-manifolds, and are confined to 2-dimensional improperly embedded subsurfaces of the 3-manifold. Just as some framed links bound Seifert surfaces, so also some framed lamination links bound 2-dimensional measured and oriented "Seifert laminations." We show that any lamination link which bounds a 2-dimensional Seifert lamination, bounds a "taut" Seifert lamination, i.e. one of maximum Euler characteristic, subject to the condition that the Seifert lamination is car…
We study the effect of mutation on link concordance and 3-manifolds. We show that the set of links concordant to sublinks of homology boundary links is not closed under positive mutation. We show that mutation does not preserve homology cobordism classes of 3-manifolds. A significant consequence is that there exist 3-manifolds which have the same quantum SU(2)-invariants but are not homology cobordant. These results are obtained by investigating the effect of mutation on the Milnor invariants, or equivalently the Massey products.
We extend Turaev's definition of torsion invariants of 3-dimensional manifolds equipped with non-singular vector fields, by allowing (suitable) tangency circles to the boundary, and manifolds with non-zero Euler characteristic. We show that these invariants apply in particular to (the exterior of) Legendrian links in contact 3-manifolds. Our approach uses a combinatorial encoding of vector fields, based on standard spines. In this paper we extend this encoding from closed manifolds to manifolds with boundary.
M. Freedman and V. Krushkal introduced the notion of a "filling" link in a 3-manifold: a link $L$ is filling in $M$ if for any spine $G$ of $M$ disjoint from $L$, $π_1(G)$ injects into $π_1(M \setminus L )$. Freedman and Krushkal show that there exist links in the $3$-torus $T^3$ that satisfy a weaker form of filling, but they leave open the question of whether $T^3$ contains an actual filling link. We answer this question affirmatively by proving in fact that every closed, orientable 3-manifold $M$ with $\operatorname{rank}(π_1(M)) = 3$ contains a filling link.
In arxiv:1205.1274 Rieck and Yamashita defined the link volume of 3-manifolds and studied some of its basic properties. Many of these properties are similar to the corresponding properties of the hyperbolic volume. In this paper we calculate the link volume of an infinite family of prism manifolds. As a corollary, we show that (in contrast to the hyperbolic volume) the link volume is not finite-to-one.
We introduce a notion of symmetric Whitney tower cobordism between bordered 3-manifolds, aiming at the study of homology cobordism and link concordance. It is motivated by the symmetric Whitney tower approach to slicing knots and links initiated by Cochran, Orr, and Teichner. We give amenable Cheeger-Gromov rho-invariant obstructions to bordered 3-manifolds being Whitney tower cobordant. Our obstruction is related to and generalizes several prior known results, and also gives new interesting cases. As an application, our method applied to link exteriors reveals new structures on (Whitney tower…
Relations between the Atiyah-Patodi-Singer rho invariant and signatures of links have been known for a long time, but they were only partially investigated. In order to explore them further, we develop a versatile cut-and-paste formula for the rho invariant, which allows us to manipulate manifolds in a convenient way. With the help of this tool, we give a description of the multivariable signature of a link $L$ as the rho invariant of some closed $3$-manifold $Y_L$ intrinsically associated to $L$. We study then the rho invariant of the manifolds obtained by Dehn surgery on a $L$ along integer …
We calculate the volume of the $7_3^2$ link cone-manifolds using the Schläfli formula. As an application, we give the volume of the cyclic coverings over the link.
We view closed orientable 3-manifolds as covers of S^3 branched over hyperbolic links. For a p-fold cover M \to S^3, branched over a hyperbolic link L, we assign the complexity p Vol(S^3 minus L) (where Vol is the hyperbolic volume). We define an invariant of 3-manifolds, called the link volume and denoted LV, that assigns to a 3-manifold M the infimum of the complexities of all possible covers M \to S^3, where the only constraint is that the branch set is a hyperbolic link. Thus the link volume measures how efficiently M can be represented as a cover of S^3. We study the basic properties of t…
It is shown that any closed three-manifold M obtained by integral surgery on a knot in the three-sphere can always be constructed from integral surgeries on a 3-component link L with each component being an unknot in the three-sphere. It is also interesting to notice that infinitely many different integral surgeries on the same link L could give the same three-manifold M.
We show that three natural decision problems about links and 3-manifolds are computationally hard, assuming some conjectures in complexity theory. The first problem is determining whether a link in the 3-sphere bounds a Seifert surface with Thurston norm at most a given integer; this is shown to be NP-complete. The second problem is the homeomorphism problem for closed 3-manifolds; this is shown to be at least as hard as the graph isomorphism problem. The third problem is determining whether a given link in the 3-sphere is a sublink of another given link; this is shown to be NP-hard.
Kirby proved that two framed links in S^3 give orientation-preserving homeomorphic results of surgery if and only if these two links are related by a sequence of two kinds of moves called stabilizations and handle-slides. Fenn and Rourke gave a necessary and sufficient condition for two framed links in a closed, oriented 3-manifold to be related by a finite sequence of these moves. The purpose of this paper is twofold. We first give a generalization of Fenn and Rourke's result to 3-manifolds with boundary. Then we apply this result to the case of framed links whose components are null-homotopi…
We can construct a 4-manifold by attaching 2-handles to a 4-ball with framing r along the components of a link in the boundary of the 4-ball. We define a link as r-shake slice if there exists embedded spheres that represent the generators of the second homology of the 4-manifold. This naturally extends r-shake slice, a generalization of slice that has previously only been studied for knots, to links of more than one component. We also define a relative notion of shake r-concordance for links and versions with stricter conditions on the embedded spheres that we call strongly r-shake slice and s…
It is shown that given any link-manifold, there is an algorithm to decide if the manifold contains an embedded, essential planar surface; if it does, the algorithm will construct one. If a slope on the boundary of the link-manifold is given, there is an algorithm to determine if the slope bounds an embedded punctured-disk; if a meridian slope is given, then it can be determined if a longitude bounds an embedded punctured-disk. The methods use normal surface theory but do not follow the classical approach. Properties of minimal vertex triangulations, layered-triangulations, 0--efficient triangu…
We prove that for any V>0, there exist a hyperbolic manifold M_V, so that Vol(M_V) < 2.03 and LinVol(M_V) > V. The proof requires study of cosmetic surgery on links (equivalently, fillings of manifolds with boundary tori). There is no bound on the number of components of the link (or boundary components). For statements, see the second part of the introduction. Here are two examples of the results we obtain: 1) Let K be a component of a link L in S^3. Then "most" slopes on K cannot be completed to a cosmetic surgery on L, unless K becomes a component of a Hopf link. 2) Let X be a manifold and …
Let $M$ be a compact hyperbolic $3$-manifold with volume $V$. Let $L$ be a link such that $M\setminus L$ is hyperbolic. For any hyperbolic link $L$ in $M$, in this article, we try to establish an upper bound of the length of $n^{th}$ shortest closed geodesic of $M\setminus L$ in terms of $V$.
In the prequel of this paper, Kauffman and Ogasa introduced new topological quantum invariants of compact oriented 3-manifolds with boundary where the boundary is a disjoint union of two identical surfaces. The invariants are constructed via surgery on manifolds of the form $F \times I$ where $I$ denotes the unit interval. Since virtual knots and links are represented as links in such thickened surfaces, we are able also to construct invariants in terms of virtual link diagrams (planar diagrams with virtual crossings). These invariants are new, nontrivial, and calculable examples of quantum in…
Fintushel-Stern's knot surgery gave many pairs of exotic manifolds, which are homeomorphic but non-diffeomorphic. We show that if an elliptic fibration has two parallel, oppositely oriented vanishing circles (for example $S^2\times S^2$ or Matsumoto's $S^4$), then the knot surgery gives rise to standard manifolds. The diffeomorphism can give an alternative proof that Scharlemann's manifold is standard (originally by Akbulut [Ak1]).
It is known by A. Loi and R. Piergallini that a closed, oriented, smooth 3-manifold is Stein fillable if and only if it has a positive open book decomposition. In the present paper we will show that for every link L in a Stein fillable 3-manifold there exists an additional knot L' to L such that the union of the links L and L' is the binding of a positive open book decomposition of the Stein fillable 3-manifold. To prove the assertion, we will use the divide, which is a generalization of real morsification theory of complex plane curve singularities, and 2-handle attachings along Legendrian cu…
We give a simple axiomatic definition of a rational-valued invariant s(W,V,e) of triples (W,V,e), where W is a (smooth, oriented, closed) 6-manifold and V is a 3-submanifold of W, and where e is a second rational cohomology class of the complement of V satisfying a certain condition. The definition is stated in terms of cobordisms of such triples and the signature of 4-manifolds. When W = S^6 and V is a smoothly embedded 3-sphere, and when e/2 is the Poincare dual of a Seifert surface of V, the invariant coincides with -8 times Haefliger's embedding invariant of (S^6,V). Our definition recover…
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…
We show that only finitely many links in a closed 3-manifold share the same complement, up to twists along discs and annuli. Using the same techniques, we prove that by adding 2-handles on the same link we get only finitely many smooth cobordisms between two given closed 3-manifolds. As a consequence, there are finitely many smooth closed 4-manifolds constructed from some Kirby diagram with bounded number of crossings, discs, and strands, or from some Turaev special shadow with bounded number of vertices. (These are the 4-dimensional analogues of Heegaard diagrams and special spines for 3-mani…
Let $M$ be a compact hyperbolic $3$-manifold with volume $V$. Let $L$ be a link such that $M\setminus L$ is hyperbolic. For any hyperbolic link $L$ in $M$, in this article, we establish an upper bound of the length of an $n^{th}$ shortest closed geodesic as a logarithmic function of $V$ in $M\setminus L$. Our works complement the work of Lakeland and Leininger \cite{Christopher} on the upper bound of systole length.
Recently, the explicit volume formulae for hyperbolic cone-manifolds, whose underlying space is the 3-sphere and the singular set is the knot $4_1$ and the links $5^2_1$ and $6^2_2$, have been obtained by the second named author and his collaborators. In this paper we explicitly find the hyperbolic volume for cone-manifolds with the link $6^2_3$ as singular set. Trigonometric identities (Tangent, Sine and Cosine Rules) between complex lengths of singular components and cone angles are obtained for an infinite family of two-bridge links containing $5^2_1$ and $6^2_3$.
A finite-volume hyperbolic 3-manifold geometrically bounds if it is the geodesic boundary of a finite-volume hyperbolic 4-manifold. We construct here an example of non-compact, finite-volume hyperbolic 3-manifold that geometrically bounds. The 3-manifold is the complement of a link with eight components, and its volume is roughly equal to 29.311.
A theorem of Kirby gives a necessary and sufficient condition for two framed links in S^3 to yield orientation-preserving diffeomorphic results of surgery. Kirby's theorem is an important method for constructing invariants of 3-manifolds. In this paper, we prove a variant of Kirby's theorem for null-homologous framed links in a 3-manifold. This result involves a new kind of moves, called IHX-moves, which are closely related to the IHX relation in the theory of finite type invariants. When the first homology group of M is free abelian, we give a refinement of this result to \pm1-framed, algebra…
We consider certain invariants of links in 3-manifolds, obtained by a specialization of the Turaev-Viro invariants of 3-manifolds, that we call colored Turaev-Viro invariants. Their construction is based on a presentation of a pair (M,L), where M is a closed oriented 3-manifold and L is an oriented link in M, by a triangulation of M such that each component of L is an edge. We analyze some basic properties of these invariants, including the behavior under connected sums of pairs away and along links. These properties allow us to provide examples of links in the three-sphere having the same HOM…
We consider the double twist link $J(2m+1, 2n+1)$ which is the two-bridge link corresponding to the continued fraction $(2m+1)-1/(2n+1)$. It is known that $J(2m+1, 2n+1)$ has reducible nonabelian $SL_2(\mathbb{C})$-character variety if and only if $m=n$. In this paper we give a formula for the volume of hyperbolic cone-manifolds of $J(2m+1,2m+1)$. We also give a formula for the A-polynomial 2-tuple corresponding to the canonical component of the character variety of $J(2m+1,2m+1)$.
The notion of a Bing cell is introduced, and it is used to define invariants, link groups, of 4-manifolds. Bing cells combine some features of both surfaces and 4-dimensional handlebodies, and the link group λ(M) measures certain aspects of the handle structure of a 4-manifold M. This group is a quotient of the fundamental group, and examples of manifolds are given with π_1(M) not equal to λ(M). The main construction of the paper is a generalization of the Milnor group, which is used to formulate an obstruction to embeddability of Bing cells into 4-space. Applications to the A-B slice problem …
