Related papers: Covering moves and Kirby calculus

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 link in the 3-sphere is homotopically trivial, according to Milnor, if its components bound disjoint maps of disks in the 4-ball. This paper concerns the question of what spaces give rise to the same class of homotopically trivial links…

We define the notion of a braided link cobordism in $S^3 \times [0,1]$, which generalizes Viro's closed surface braids in $\mathbb{R}^4$. We prove that any properly embedded oriented surface $W \subset S^3 \times [0,1]$ is isotopic to a…

We construct what we call a Kirby category, a monoidal category whose morphisms are smooth 4-manifolds, projecting down to another monoidal category whose morphisms are orientable 3-manifolds, the projection being induced by the boundary…

For an oriented surface link $F$ in $\mathbb{R}^4$, we consider a satellite construction of a surface link, called a 2-dimensional braid over $F$, which is in the form of a covering over $F$. We introduce the notion of an $m$-chart on a…

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

We study the set $\widehat{\mathcal S}_M$ of framed smoothly slice links which lie on the boundary of the complement of a 1-handlebody in a closed, simply connected, smooth 4-manifold $M$. We show that $\widehat{\mathcal S}_M$ is…

Work of numerous authors has shown that any smooth, orientable, closed 4-manifold may be described as a loop of Morse functions on a surface, a loop in the cut complex, a loop in the pants complex, or as a multisection. In this paper, we…

In this survey paper we present the $L$--moves between braids and how they can adapt and serve for establishing and proving braid equivalence theorems for various diagrammatic settings, such as for classical knots, for knots in knot…

We extend the theory of relative trisections of smooth, compact, oriented $4$-manifolds with connected boundary given by Gay and Kirby to include $4$-manifolds with an arbitrary number of boundary components. Additionally, we provide…

We study simple branched coverings of degree d of the 2- and 3- dimensional sphere branched over oriented links. We demonstrate how to use braid charts to develop embeddings of these into $S^k \times D^2$ for $k=2,3 when $d=2,3$. This is an…

Let $W$ be a nonorientable $4$-dimensional handlebody without $3$- and $4$-handles. We show that $W$ admits a Lefschetz fibration over the $2$-disk, whose regular fiber is a nonorientable surface with nonempty boundary. This is an analogue…

We use the terms, knot product and local move, as defined in the text of the paper. Let $n$ be an integer$\geqq3$. Let $\mathcal S_n$ be the set of simple spherical $n$-knots in $S^{n+2}$. Let $m$ be an integer$\geqq4$. We prove that the…

Let $X^4$ and $Y^4$ be smooth manifolds and $f: X\to Y$ a branched cover with branching set $B$. Classically, if $B$ is smoothly embedded in $Y$, the signature $\sigma(X)$ can be computed from data about $Y$, $B$ and the local degrees of…

Motivated by the programmes initiated by Taubes and Perutz, we study the geometry of near-symplectic 4-manifolds, i.e., manifolds equipped with a closed 2-form which is symplectic outside a union of embedded 1-dimensional submanifolds, and…

We introduce the notion of round surgery diagrams in $S^3$ for representing 3-manifolds similar to Dehn surgery diagrams. We give a correspondence between a certain class of round surgery diagrams and Dehn surgery diagrams for 3-manifolds.…

We give diagrammatic algorithms for computing the group trisection, homology groups, and intersection form of a closed, orientable, smooth 4-manifold, presented as a branched cover of a bridge-trisected surface in $\mathbb{S}^{4}$. The…

We prove the long-standing Montesinos conjecture that any closed oriented PL 4-manifold M is a simple covering of S^4 branched over a locally flat surface (cf [J M Montesinos, 4-manifolds, 3-fold covering spaces and ribbons, Trans. Amer.…

Suppose that Y is a cyclic cover of projective space branched over a hyperplane arrangement D, and that U is the complement of the ramification locus in Y. The first theorem implies that the Beilinson-Hodge conjecture holds for U if certain…

This paper provides a convenient and practical method to compute the homology and intersection pairing of a branched double cover of the 4-ball. To projections of links in the 3-ball, and to projections of surfaces in the 4-ball into the…