Related papers: Bridge trisections in $\mathbb{CP}^2$ and the Thom…

For many fundamental problems in computational topology, such as unknot recognition and $3$-sphere recognition, the existence of a polynomial-time solution remains unknown. A major algorithmic tool behind some of the best known algorithms…

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…

We consider closed acylindrical surfaces in 3-manifolds and in knot and link complements, and show that the genus of these surfaces is bounded linearly by the number of tetrahedra in the triangulation of the manifold and by the number of…

Tverberg's theorem is one of the cornerstones of discrete geometry. It states that, given a set $X$ of at least $(d+1)(r-1)+1$ points in $\mathbb R^d$, one can find a partition $X=X_1\cup \ldots \cup X_r$ of $X$, such that the convex hulls…

This paper generalizes the definition of a Heegaard splitting to unify Scharlemann and Thomspon's concept of thin position for 3-manifolds, Gabai's thin position for knots, and Rubinstein's almost normal surface theory. This gives…

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…

Computational topology is an area that revisits topological problems from an algorithmic point of view, and develops topological tools for improved algorithms. We survey results in computational topology that are concerned with graphs drawn…

This paper extends some results of Hatcher and Quinn beyond the metastable range. We give a bordism theoretic obstruction to deforming a map between manifolds simultaneously off of a collection of pairwise disjoint submanifolds under the…

In the mid eighties Goldman proved an embedded curve could be isotoped to not intersect a closed geodesic if and only if their Lie bracket (as defined in that work) vanished. Goldman asked for a topological proof and about extensions of the…

We show that the members of a large class of unbalanced four-manifold trisections are standard, and we present a family of trisections that is likely to include non-standard trisections of the four-sphere. As an application, we prove a…

We present a surprisingly new connection between two well-studied combinatorial classes: rooted connected chord diagrams on one hand, and rooted bridgeless combinatorial maps on the other hand. We describe a bijection between these two…

We formulate a concrete geometric approximation hypothesis (Hypothesis~BB) asserting that codimension-$2$ Hodge classes on a smooth projective threefold can be realized as specializations of families whose general members are…

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…

The topology of the intersection of two real homogeneous coaxial quadrics was studied by the second author who showed that its intersection with the unit sphere is in most cases diffeomorphic to a connected sum of sphere products. Combining…

In this paper, we give several results on area minimizing surfaces in strictly mean convex 3-manifolds. First, we study the genus of absolutely area minimizing surfaces in a compact, orientable, strictly mean convex 3-manifold M bounded by…

We add two new 1-parameter families to the short list of known embedded triply periodic minimal surfaces of genus 4 in $\mathbb{R}^3$. Both surfaces can be tiled by minimal pentagons with two straight segments and three planar symmetry…

In this paper the author provides a generalization of classical linkage, i.e. linkage by a complete intersection, in a different context. Namely she looks at residuals in the scheme theoretic intersection of a rational normal surface or…

We show that certain two kinds of trisection diagrams of the doubles of the Mazur type 4-manifolds introduced by Akbulut and Kirby are standard. One is constructed by doubling a certain relative trisection diagram of the Mazur type. The…

Given a road network modelled as a planar straight-line graph $G=(V,E)$ with $|V|=n$, let $(u,v)\in V\times V$, the shortest path (distance) between $u,v$ is denoted as $\delta_G(u,v)$. Let $\delta(G)=\max_{(u,v)}\delta_G(u,v)$, for…

We investigate topology change in 3D. Using Morse theory and handle decomposition we find the set of elementary cobordisms for 3-manifolds. These are: (i) \O <-> S^2; (ii) \Sigma_g <-> \Sigma_{g+1}; (iii) \Sigma_{g_1} \sqcup \Sigma_{g_2}…