Related papers: Computing trisections of 4-manifolds

The geodesic complexity of a Riemannian manifold is a numerical isometry invariant that is determined by the structure of its cut loci. In this article we study decompositions of cut loci over whose components the tangent cut loci fiber in…

We provide an algorithm to determine the Heegaard genus of simple 3-manifolds with non-empty boundary. More generally, we supply an algorithm to determine (up to ambient isotopy) all the Heegaard splittings of any given genus for the…

We present several structural results on closed, nonorientable, smooth $4$--manifolds, extending analogous results and machinery for the orientable case. We prove the existence of simplified broken Lefschetz fibrations and simplified…

These notes summarize and expand on a mini-course given at CIRM in February 2018 as part of Winter Braids VIII. We somewhat obsessively develop the slogan `Trisections are to 4-manifolds as Heegaard splittings are to 3-manifolds', focusing…

One can define the complexity of a smooth 4-manifold as the minimal sum of the number of disks, strands and crossings in a Kirby diagram. Martelli proved that the number of homeomorphism classes of complexity less than n grows as $n^2$. In…

One of the apparent advantages of quantum computers over their classical counterparts is their ability to efficiently contract tensor networks. In this article, we study some implications of this fact in the case of topological tensor…

A multisection is a decomposition of a manifold into 1-handlebodies, where each subcollection of the pieces intersects along a 1-handlebody except the global intersection which is a closed surface. These generalizations of Heegaard…

In short geometrization conjecture of W.\,Thurston (finally proved by G.~Perelman) says that any oriented $3$-manifold can be canonically partitioned into pieces, which have a geometric structure of one of the eight types. In the seminal…

We study complexities of 3-manifolds defined from triangulations, Heegaard splittings, and surgery presentations. We show that these complexities are related by linear inequalities, by presenting explicit geometric constructions. We also…

A fundamental way to study 3-manifolds is through the geometric lens, one of the most prominent geometries being the hyperbolic one. We focus on the computation of a complete hyperbolic structure on a connected orientable hyperbolic…

The goal of this book is to characterize algebraically the closed 4-manifolds that fibre nontrivially or admit geometries in the sense of Thurston, or which are obtained by surgery on 2-knots, and to provide a reference for the topology of…

Manifold optimization is ubiquitous in computational and applied mathematics, statistics, engineering, machine learning, physics, chemistry and etc. One of the main challenges usually is the non-convexity of the manifold constraints. By…

This survey focuses on the computational complexity of some of the fundamental decision problems in 3-manifold theory. The article discusses the wide variety of tools that are used to tackle these problems, including normal and almost…

We write out some sequences of linear maps of vector spaces with fixed bases. Each term of a sequence is a linear space of differentials of metric values ascribed to the elements of a simplicial complex - a triangulation of a manifold. If…

The goal of this paper is to construct distinct trisections of the same genus on a fixed 4-manifold. For every $k \geq 2$, we construct $2^{k}-1$ non-diffeomorphic $(3k,k)$-trisections on infinitely many 4-manifolds. Here, the manifolds are…

We present a simple combinatorial method to encode 3-dimensional manifolds, based on their Heegaard diagrams. The notion of a Gauss diagram of a 3-manifold is introduced. We check the conditions for a Gauss diagram to represent a closed…

Let M be a (possibly non-orientable) compact 3-manifold with (possibly empty) boundary consisting of tori and Klein bottles. Let $X\subset\partial M$ be a trivalent graph such that $\partial M\setminus X$ is a union of one disc for each…

A method is developed here for building differentiable three-dimensional manifolds on multicube structures. This method constructs a sequence of reference metrics that determine differentiable structures on the cubic regions that serve as…

We explicitly construct small triangulations for a number of well-known 3-dimensional manifolds and give a brief outline of some aspects of the underlying theory of 3-manifolds and its historical development.

We compute the topological mapping class group of every compact, simply connected, topological 4-manifold. This was previously only known in the closed case. If the 4-manifold is smooth, we deduce an analogous description of the stable…