Related papers: An Algorithm taking Kirby diagrams to Trisection d…

Gay and Kirby introduced trisections which describe any closed oriented smooth 4-manifold $X$ as a union of three four-dimensional handlebodies. A trisection is encoded in a diagram, namely three collections of curves in a closed oriented…

Dimension 4 is the first dimension in which exotic smooth manifold pairs appear -- manifolds which are topologically the same but for which there is no smooth deformation of one into the other. Whilst smooth and triangulated 4-manifolds do…

It is known that there are four-manifolds which are not algorithmically recognizable. This implies that there exist triangulations of these manifolds which are separated by large barriers from the point of view of the computer algorithm. We…

We provide an algorithm for constructing a Kirby diagram of a 4-dimensional open book given a Heegaard diagram of the page. As an application, we show that an open book constructed with arbitrary page and trivial monodromy is diffeomorphic…

Given a diagram for a trisection of a 4-manifold $X$, we describe the homology and the intersection form of $X$ in terms of the three subgroups of $H_1(\Sigma;\mathbb{Z})$ generated by the three sets of curves and the intersection pairing…

Given a handle decomposition of a 4-manifold with boundary, and an open book decomposition of the boundary, we show how to produce a trisection diagram of a trisection of the 4-manifold inducing the given open book. We do this by making the…

Let $M$ be a connected, closed, oriented three-manifold and $K$, $L$ two rationally null-homologous oriented simple closed curves in $M$. We give an explicit algorithm for computing the linking number between $K$ and $L$ in terms of a…

We show the existence of a $4$-manifold with boundary that admits two non-diffeomorphic minimal genus relative trisections of the same $(g,k;p,b)$-type. To prove this, we introduce a simple operation that produces a trisection diagram of a…

Gems are a particular type of edge-colored graphs, dual to colored triangulations, which represent compact PL-manifolds of arbitrary dimension, both in the closed and boundary case. In the present paper, gem theory is used to approach…

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…

Let $(M,\xi)$ be a contact 3-manifold. We present two new algorithms, the first of which converts an open book $(\Sigma,\Phi)$ supporting $(M,\xi)$ with connected binding into a contact surgery diagram. The second turns a contact surgery…

We give examples of closed orientable graph 3-manifolds with fundamental group which is not a subgroup of GL(4,k) for any field k. This answers a question in the Kirby problem list from 1977 which is credited to the late William Thurston.

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…

One approach to achieving correct finite element assembly is to ensure that the local orientation of facets relative to each cell in the mesh is consistent with the global orientation of that facet. Rognes et al. have shown how to achieve…

We study immersed surfaces in smooth 4-manifolds via singular banded unlink diagrams. Such a diagram consists of a singular link with bands inside a Kirby diagram of the ambient 4-manifold, representing a level set of the surface with…

We show how to encode a Weinstein 4-manifold using a multisection diagram with divides, which is a sequence of cut systems on a surface, together with a separating collection of curves. We give two algorithms to construct a multisection…

A trisection of a smooth, closed, oriented 4-manifold is a decomposition into three 4-dimensional 1-handlebodies meeting pairwise in 3-dimensional 1-handlebodies, with triple intersection a closed surface. The fundamental groups of the…

Kirby diagrams for smooth four-dimensional manifolds typically depict only the 1- and 2-handles, omitting the 3-handles. In this work, we undertake a study of 3-handle attachments and provide tools to explicitly include them in handle…

Given an special type of triangulation $T$ for an oriented closed 3-manifold $M^3$ we produce a framed link in $S^3$ which induces the same $M^3$ by an algorithm of complexity $O(n^2)$ where $n$ is the number of tetrahedra in $T$ . The…

We present some algorithms that provide useful topological information about curves in surfaces. One of the main algorithms computes the geometric intersection number of two properly embedded 1-manifolds $C_1$ and $C_2$ in a compact…