arXiv research

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 p…

Study of 3-handle attachments in 4D manifolds using Kirby calculus.

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 …

New research finds 145 infinite families of CS spheres are standard.

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 l…

The Farey tree helps embed rational balls and lens spaces into complex projective space.

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 K…

This paper gives a summary of our approach to invariants of three manifolds via right integrals on finite dimensional Hopf algebras and their relation to the Kirby calculus.

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 …

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…

Round surgery diagrams represent 3-manifolds in $S^3$.

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$.

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.

We show that by performing the Gluck twist along the 2-knot $K^2_{pq}$ derived from two ribbon presentations of the ribbon 1-knot $K(p,q)$ we get the standard 4-sphere $S^4$. In the proof we apply Kirby calculus.

Akbulut has recently shown that an infinite family of Cappell-Shaneson homotopy 4-spheres is diffeomorphic to the standard 4-sphere. In the present paper, a strictly larger family is shown to be standard by a simpler method. This new approach uses no Kirby calculus except through the relatively simple 1979 paper of Akb…

A family of TQFTs parametrised by G-crossed braided spherical fusion categories has been defined recently as a state sum model and as a Hamiltonian lattice model. Concrete calculations of the resulting manifold invariants are scarce because of the combinatorial complexity of triangulations, if nothing else. Handle deco…

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.

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, orient…

New contact Kirby moves complete the set for contact surgery diagrams.

The Witten-Reshetikhin-Turaev invariant of classical link diagrams is generalized to virtual link diagrams. This invariant is unchanged by the framed Reidemeister moves and the Kirby calculus. As a result, it is also an invariant of the 3-manifolds represented by the classical link diagrams. This generalization is used…

In the paper \cite{wall_1}, C.T.C. Wall proved that two smooth closed simply connected 4-manifolds which are homeomorphic are in fact stably diffeomorphic. We prove a similar result which states that two smooth closed 4-manifolds satisfying certain properties are stably diffeomorphic if and only if their signatures agr…

The rational homology balls $B_n$ appeared in Fintushel and Stern's rational blow-down construction [FS] and were subsequently used (e.g. Fintushel-Stern[FS4], Park[Pa2]) to construct exotic smooth manifolds with small Euler numbers. We show that a large class of smooth 4-manifolds have all of the $B_n$'s for odd $n \g…

Quantum invariants for surfaces in 4D 2-handlebodies.

We construct two infinite sequences of immersions of the 3-sphere into 4-space, parameterized by the Dynkin diagrams of types A and D. The construction is based on immersions of 4-manifolds obtained as the plumbed immersions along the weighted Dynkin diagrams. We compute their Smale invariants and bordism classes of im…

We study the effect of Nielsen moves and their geometric counterparts, handle slides, on good boundary links. A collection of links, universal for 4-dimensional surgery, is shown to admit Seifert surfaces with trivial Lagrangian. They are good boundary links, with Seifert matrices of a more general form than in known c…

The paper sets lower bounds for a Kirby-Thompson invariant of 4-manifolds.

Kirby color defined in Khovanov homology for 4D handlebodies.

The paper describes handle decompositions and Kirby diagrams for plane algebraic curves.

Note on potential Kirby move type 1 for contact surgery diagrams.

This paper proves a conjecture about trisections with a specific length.

Algorithm converts Kirby diagrams to trisection diagrams for 4-manifolds.

New bounds found for complexity of spun knots.

New examples of Kirby-Ramanujam spheres found, leading to contractible 4-manifolds.

We define the notion of a Kirby element of a ribbon category C (not necessarily semisimple). Kirby elements lead to 3-manifolds invariants. We characterize (in terms of the structure maps of some categorical Hopf algebra) a set of Kirby elements of C which is sufficiently large to recover the known quantum invariants c…

Algorithm constructs Kirby diagrams for 4D open books.

We describe rules for building 2d theories labeled by 4-manifolds. Using the proposed dictionary between building blocks of 4-manifolds and 2d N=(0,2) theories, we obtain a number of results, which include new 3d N=2 theories T[M_3] associated with rational homology spheres and new results for Vafa-Witten partition fun…

High-dimensional handlebodies are shown to be products of simpler shapes.

Sharp bounds for Kirby-Thompson invariants of knotted surfaces computed.

The study describes handle decompositions and Kirby diagrams for line arrangements.

Explains Kirby's work on 4-manifold trisections.

Kirby diagrams for exotic R^4's constructed from specific knot complements.

We show how to construct a Kirby diagram for a large class of finite volume hyperbolic 4-manifolds constructed by J. Ratcliffe and S. Tschantz.

Review of gem theory's interactions with Kirby diagrams and trisections.

The paper connects Kirby diagrams and 5-colored graphs to represent 4-manifolds.

We develop a calculus of surgery data, called bridged links, which involves besides links also pairs of balls that describe one-handle attachements. As opposed to the usual link calculi of Kirby and others this description uses only elementary, local moves(namely modifications and isolated cancellations), and it is val…

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…

Algorithm decides homeomorphism of 4-manifolds.