Related papers: Efficient construction of homological Seifert surf…
A typical census of 3-manifolds contains all manifolds (under various constraints) that can be triangulated with at most n tetrahedra. Al- though censuses are useful resources for mathematicians, constructing them is difficult: the best…
We present a practical algorithm to test whether a 3-manifold given by a triangulation or an ideal triangulation contains a closed essential surface. This property has important theoretical and algorithmic consequences. As a testament to…
A simple and efficient algorithm to numerically compute the genus of surfaces of three-dimensional objects using the Euler characteristic formula is presented. The algorithm applies to objects obtained by thresholding a scalar field in a…
Hypergraphs, which use hyperedges to capture groupwise interactions among different entities, have gained increasing attention recently for their versatility in effectively modeling real-world networks. In this paper, we study the problem…
We show that every bordered Riemann surface, $M$, with smooth boundary $bM$ admits a proper holomorphic map $M\to \Omega$ into any bounded strongly pseudoconvex domain $\Omega$ in $\mathbb C^n$, $n>1$, extending to a smooth map $f:\overline…
Let \Sigma = \Sigma _{g,1} be a compact surface of genus g at least 3 with one boundary component, \Gamma its mapping class group and M = H_1(\Sigma , Z) the first integral homology of \Sigma . Using that \Gamma is generated by the Dehn…
We present a simple, accurate method for computing singular or nearly singular integrals on a smooth, closed surface, such as layer potentials for harmonic functions evaluated at points on or near the surface. The integral is computed with…
It is important to have fast and effective methods for simplifying 3-manifold triangulations without losing any topological information. In theory this is difficult: we might need to make a triangulation super-exponentially more complex…
In the study of 2d (the space dimension) topological orders, it is well-known that bulk excitations are classified by unitary modular tensor categories. But these categories only describe the local observables on an open 2-disk in the long…
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…
Let $\Sigma$ denote a closed surface with constant mean curvature in $\mathbb{G}^3$, a 3-dimensional Lie group equipped with a bi-invariant metric. For such surfaces, there is a harmonic Gauss map which maps values to the unit sphere within…
We give a formula for the geometric fixed-points spectrum of the real topological cyclic homology of a bounded below ring spectrum, as an equaliser of two maps between tensor products of modules over the norm. We then use this formula to…
In graph theory, as well as in 3-manifold topology, there exist several width-type parameters to describe how "simple" or "thin" a given graph or 3-manifold is. These parameters, such as pathwidth or treewidth for graphs, or the concept of…
We consider orientation-preserving actions of finite groups $G$ on pairs $(S^3, \Sigma)$, where $\Sigma$ denotes a compact connected surface embedded in $S^3$. In a previous paper, we considered the case of closed, necessarily orientable…
We establish a surgery exact triangle for involutive Heegaard Floer homology by using a doubling model of the involution. We use this exact triangle to give an involutive version of Ozsv\'ath-Szab\'o's mapping cone formula for knot surgery.…
We describe a construction that takes as input a graph and a basis for its first homology, and returns a triangulation of a 3-dimensional homology sphere. This makes precise an idea of M. Gromov and A. Nabutovski. The immediate application,…
Consider a smooth manifold and an action on it of a compact connected Lie group with a bi-invariant metric. Then, any orbit is an embedded submanifold that is isometric to a normal homogeneous space for the group. In this paper, we…
Tightness is a generalisation of the notion of convexity: a space is tight if and only if it is "as convex as possible", given its topological constraints. For a simplicial complex, deciding tightness has a straightforward exponential time…
We present an algorithm for the computation of the topological type of a real compact Riemann surface associated to an algebraic curve, i.e., its genus and the properties of the set of fixed points of the anti-holomorphic involution $\tau$,…
This paper establishes an equivalence between two distinct frameworks for constructing and relating smooth manifolds: the geometric theory of \emph{$\star$-diagrams} and the string-theory-inspired notion of \emph{spherical T-duality}. We…