Minor corrections. Added reference to the second part of our study of 4-dimensional 2-handlebodies (arXiv:math.GT/0612806). 68 pages, 87 postscript figures, 42 references. LaTeX 2.09 file. Uses: geom.sty epsf.sty
We show that simple coverings of B^4 branched over ribbon surfaces up to certain local ribbon moves bijectively represent orientable 4-dimensional 2-handlebodies up to handle sliding and addition/deletion of cancelling handles. As a consequence, we obtain an equivalence theorem for simple coverings of S^3 branched over links, in terms of local moves. This result generalizes to coverings of any degree results by the second author and Apostolakis, concerning respectively the case of degree 3 and 4. We also provide an extension of our equivalence theorem to possibly non-simple coverings of S^3 branched over embedded graphs. This work represents the first part of our study of 4-dimensional 2-handlebodies. In the second part (arXiv:math.GT/0612806), we factor such bijective correspondence between simple coverings of B^4 branched over ribbon surfaces and orientable 4-dimensional 2-handlebodies through a map onto the closed morphisms in a universal braided category freely generated by a Hopf algebra object.
We recall an extension of Kirby's Calculus on non-simply connected 3-manifolds given in [FR], and the surgery calculus of bridged links from [Ke], which involves only local moves. We give a short combinatorial proof that the two calculi are equivalent, and thus describe the same classes of 3-manifolds. This makes the proofs for the validity of surgery calculi in [FR] and [Ke] interchangeable.
We exhibit a finite set of local moves that connect any two surgery presentations of the same 3-manifold via framed links in the three-sphere. The moves are handle-slides and blow-downs/ups of a particular simple kind.
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…
Suppose there are two framed links in a compact, connected 3-manifold (possibly with boundary, or non-orientable) such that the associated 3-manifolds obtained by surgery are homeomorphic (relative to their common boundary, if there is one.) How are the links related? Kirby's theorem gives the answer when the manifold is S^3, and Fenn and Rourke extended it to the case of any closed orientable 3-manifold, or twisted S^1 cross S^2. The purpose of this note is to give the answer in the general case, using only minor modifications of Kirby's original proof.
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…
A theorem of Kirby states that two framed links in the 3-sphere produce orientation-preserving homeomorphic results of surgery if they are related by a sequence of stabilization and handle-slide moves. The purpose of the present paper is twofold: First, we give a sufficient condition for a sequence of handle-slides on framed links to be able to be replaced with a sequences of algebraically canceling pairs of handle-slides. Then, using the first result, we obtain a refinement of Kirby's calculus for integral homology spheres which involves only +/-1-framed links with zero linking numbers.
Center for Mathematics and Interdisciplinary Sciences, Fudan University（复旦大学数学与交叉科学研究院）；Shanghai Institute for Mathematics and Interdisciplinary Sciences（上海数学与交叉科学研究院）；Department of Physics and Center for Field Theory & Particle Physics, Fudan University（复旦大学物理系及场论与粒子物理中心）
Harer, Kas and Kirby have conjectured that every handle decomposition of the elliptic surface $E(1)_{2,3}$ requires both 1- and 3-handles. In this article, we construct a smooth 4-manifold which has the same Seiberg-Witten invariant as $E(1)_{2,3}$ and admits neither 1- nor 3-handles, by using rational blow-downs and Kirby calculus. Our manifold gives the first example of either a counterexample to the Harer-Kas-Kirby conjecture or a homeomorphic but non-diffeomorphic pair of simply connected closed smooth 4-manifolds with the same non-vanishing Seiberg-Witten invariants.
Using techniques from the theory of Kirby calculus we give an explicit construction of a four dimensional hyperbolic link complement in a 4-manifold that is diffeomorphic to the standard 4-sphere.
Using techniques from the theory of Kirby calculus we give an explicit construction of a four dimensional hyperbolic link complement in a 4-manifold that is diffeomorphic to a standard $S^2 \times S^2$.
Using Kirby Calculus, we explicitly pass from Berge's R-R descriptions of ten families of knots with lens space surgeries to surgery descriptions on the minimally twisted five chain link (MT5C). Since the MT5C admits a strong involution, we also give the corresponding tangle descriptions.
In this article, we provide an introduction to an algorithm for constructing Weinstein handlebodies for complements of certain smoothed toric divisors using explicit coordinates and a simple example. This article also serves to welcome newcomers to Weinstein handlebody diagrams and Weinstein Kirby calculus. Finally, we include one complicated example at the end of the article to showcase the algorithm and the types of Weinstein Kirby diagrams it produces.
This is a short description of graphic lambda calculus, with special emphasis on a duality suggested by the two different appearances of knot diagrams, in lambda calculus and emergent algebra sectors of the graphic lambda calculus respectively. This duality leads to the introduction of the dual of the graphic beta move. While the graphic beta move corresponds to beta reduction in untyped lambda calculus, the dual graphic beta move appears in relation to emergent algebras.
We give a description of local and global moves on a class of locally planar trivalent graphs and we show that it contains $λ$-Scale calculus, therefore in particular untyped lambda calculus. Surprisingly, the beta reduction rule comes from a local "sewing" transformation of trivalent locally planar graphs.
We establish a calculus for branched spines of 3-manifolds by means of branched Matveev-Piergallini moves and branched bubble-moves. We briefly indicate some of its possible applications in the study and definition of State-Sum Quantum Invariants.
The Markov Theorem Without Stabilization (MTWS) established the existence of a calculus of braid isotopies that can be used to move between closed braid representatives of a given oriented link type without having to increase the braid index by stabilization. Although the calculus is extensive there are three key isotopies that were identified and analyzed---destabilization, exchange moves and elementary braid preserving flypes. One of the critical open problems left in the wake of the MTWS is the "recognition problem"---determining when a given closed $n$-braid admits a specified move of the …
We show how the theory of tangles is equivalent to that of well-connected tangles. These are drawn on a surface with boundary, and equivalent via Reidemeister moves of a restricted kind. This reworking of the graphical foundations for link and tangle theory can be expected to have a variety of applications, including ones involving 3-manifolds. It opens the way to new approaches for defining `facial' state-sum invariants that depend in part on assigning substates to faces of tangle diagrams.
A combinatorial presentation of closed orientable 3-manifolds as bi-tricolored links is given together with two versions of a calculus via moves to manipulate bi-tricolored links without changing the represented manifold. That is, we provide a finite set of moves sufficient to relate any two manifestations of the same 3-manifold as a simple 4-sheeted branched covering of S^3.
We describe a calculus of moves for modifying a framed flow category without changing the associated stable homotopy type. We use this calculus to show that if two framed flow categories give rise to the same stable homotopy type of homological width at most three, then the flow categories are move equivalent. The process we describe is essentially algorithmic and can often be performed by hand, without the aid of a computer program.
The Markov Theorem Without Stabilization (MTWS) (see math.GT/0310279) established the existence of a calculus of braid isotopies that can be used to move between closed braid representatives of a given oriented link type without having to increase the braid index by stabilization. Although the calculus is extensive there are three key isotopies that were identified and analyzed--destabilization, exchange moves and elementary braid preserving flypes. One of the critical open problems left in the wake of the MTWS is the "recognition problem"--determining when a given closed n-braid admits a spec…
We consider ribbon n-knots for n\geq 2. For such knots we define a set of moves on ribbon disks, and show that any two ribbon disks for isotopic knots are related by a finite sequence of such moves and ambient isotopies. Using this we are able to prove that there is a natural geometric correspondence between ribbon n-knots and ribbon m-knots which is bijective. We also explore a diagrammatic calculus for such knots. In addition we show that for such knots, any two band presentations for the same knot are stably equivalent.
Using the diagrammatic calculus for Soergel bimodules developed by B. Elias and M. Khovanov, we show that Rouquier complexes are functorial over braid cobordisms. We explicitly describe the chain maps which correspond to movie move generators.
