We adapt work of Kirby-Thompson and Zupan to define an integer invariant $\mathcal{L}(\mathcal{T})$ of a bridge trisection $\mathcal{T}$ of a smooth surface $\mathcal{K}$ in $S^4$ or $B^4$. We show that when $\mathcal{L}(\mathcal{T})=0$, then the surface $\mathcal{K}$ is unknotted. We also show show that for a trisection $\mathcal{T}$ of an irreducible surface, bridge number produces a lower bound for $\mathcal{L}(\mathcal{T})$. Consequently, $\mathcal{L}$ can be arbitrarily large.
Kirby and Thompson introduced a length of a trisection. They also defined the length of a 4-manifold as the minimum of length among all lengths of trisection of a 4-manifold. In this paper, we consider trisections whose Kirby-Thompson length is 2. Kirby and Thompson conjectured that length 2 trisection is a trisection of 4-manifold with length 0. We shall prove this conjecture in this paper.
We present an algorithm taking a Kirby diagram of a closed oriented $4$-manifold to a trisection diagram of the same manifold. This algorithm provides us with a large number of examples for trisection diagrams of closed oriented $4$-manifolds since many Kirby-diagrammatic descriptions of closed oriented $4$-manifolds are known. That being said, the algorithm does not necessarily provide particularly efficient trisection diagrams. We also extend this algorithm to work for the non-orientable case.
This is an expository account of the author's collaboration with Rob Kirby leading up to the theory of trisections of smooth 4-manifolds. This article was written for inclusion in an upcoming issue of Celebratio Mathematica dedicated to Rob Kirby's mathematical work.
We seek to connect ideas in the theory of bridge trisections with other well-studied facets of classical knotted surface theory. First, we show how the normal Euler number can be computed from a tri-plane diagram, and we use this to give a trisection-theoretic proof of the Whitney-Massey Theorem, which bounds the possible values of this number in terms of the Euler characteristic. Second, we describe in detail how to compute the fundamental group and related invariants from a tri-plane diagram, and we use this, together with an analysis of bridge trisections of ribbon surfaces, to produce an i…
We prove that every smoothly embedded surface in a 4--manifold can be isotoped to be in bridge position with respect to a given trisection of the ambient 4--manifold; that is, after isotopy, the surface meets components of the trisection in trivial disks or arcs. Such a decomposition, which we call a \emph{generalized bridge trisection}, extends the authors' definition of bridge trisections for surfaces in $S^4$. Using this new construction, we give diagrammatic representations called \emph{shadow diagrams} for knotted surfaces in 4--manifolds. We also provide a low-complexity classification f…
Meier and Zupan showed that every surface in the four-sphere admits a bridge trisection and can therefore be represented by three simple tangles. This raises the possibility of applying methods from link homology to knotted surfaces. We use link homology to construct an invariant of knotted surfaces (up to isotopy) which distinguishes the unknotted sphere from certain knotted spheres. We also construct an invariant of a bridge-trisected surface in the the form of an $A_\infty$-algebra. Both invariants are defined by a novel connection between $A_\infty$-algebras and Manolescu and Ozsváth's hyp…
Kirby and Thompson introduced a non-negative integer-valued invariant, called the Kirby-Thompson invariant, of a $4$-manifold using trisections. In this paper, we give some lower bounds for the Kirby-Thompson invariant of certain $4$-manifolds. As an application, we determine the Kirby-Thompson invariant of the spin of $L(2,1)$, which is the first example of a $4$-manifold with non-trivial Kirby-Thompson invariant. We also show that there exist $4$-manifolds with arbitrarily large Kirby-Thompson invariant.
Gay and Kirby introduced the notion of a trisection of a smooth 4-manifold, which is a decomposition of the 4-manifold into three elementary pieces. Rubinstein and Tillmann later extended this idea to construct multisections of piecewise-linear (PL) manifolds in all dimensions. Given a PL manifold $Y$ of dimension $n$, this is a decomposition of $Y$ into $\lfloor \frac{n}{2} \rfloor + 1$ PL submanifolds. We show that every smooth, oriented, compact 5-manifold admits a smooth trisection compatible with any desired trisection of its boundary.
In this paper, we introduce the relative $\mathcal{L}$-invariant $r\mathcal{L}(X)$ of a smooth, orientable, compact 4-manifold $X$ with boundary. This invariant is defined by measuring the lengths of certain paths in the cut complex of a trisection surface for $X$. This is motivated by the definition of the $\mathcal{L}$-invariant for smooth, orientable, closed 4-manifolds by Kirby and Thompson. We show that if $X$ is a rational homology ball, then $r\mathcal{L}(X)=0$ if and only if $X\cong B^4$. In order to better understand relative trisections, we also produce an algorithm to glue two relat…
Recently Gay and Kirby described a new decomposition of smooth closed $4$-manifolds called a trisection. This paper generalises Heegaard splittings of $3$-manifolds and trisections of $4$-manifolds to all dimensions, using triangulations as a key tool. In particular, we prove that every closed piecewise linear $n$-manifold has a multisection, i.e. can be divided into $k+1$ $n$-dimensional $1$-handlebodies, where $n=2k+1$ or $n=2k$, such that intersections of the handlebodies have spines of small dimensions. Several applications, constructions and generalisations of our approach are given.
Motivated by M. Scharlemann and A. Thompson's definition of thin position of 3-manifolds, we define the width of a handle decomposition a 4-manifold and introduce the notion of thin position of a compact smooth 4-manifold. We determine all manifolds having width equal to $\{1,\dots, 1\}$, and give a relation between the width of $M$ and its double $M\cup_{id_\partial} \overline M$. In particular, we describe how to obtain genus $2g+2$ and $g+2$ trisection diagrams for sphere bundles over orientable and non-orientable surfaces of genus $g$, respectively. By last, we study the problem of describ…
The Meridional Rank Conjecture asks whether the bridge number of a knot in $S^3$ is equal to the minimal number of meridians needed to generate the fundamental group of its complement. In this paper we investigate the analogous conjecture for knotted surfaces in $S^4$. Towards this end, we give a construction to produce classical knots with quotients sending meridians to elements of any finite order and which detect their meridional ranks. We establish the equality of bridge number and meridional rank for these knots and knotted spheres obtained from them by twist-spinning. On the other hand, …
