相关论文: An algorithm to detect laminar 3-manifolds

We give an elementary proof of the fact that any orientable 3-manifold admits a framing (i.e. is parallelizable) and any non-orientable 3-manifold admits a projective framing. The proof uses only basic facts about immersions of surfaces 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…

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 give an algorithmic proof of the theorem that a closed orientable irreducible and atoroidal 3-manifold has only finitely many Heegaard splittings in each genus, up to isotopy. The proof gives an algorithm to determine the Heegaard genus…

The profinite completion of the fundamental group of a closed, orientable $3$-manifold determines the Kneser--Milnor decomposition. If $M$ is irreducible, then the profinite completion determines the Jaco--Shalen--Johannson decomposition of…

We show that a 3-manifold containing an incompressible surface has topologically minimal surfaces of arbitrary high genus.

We describe an algorithm to decide whether two genus-two surfaces embedded in the 3-sphere are isotopic or not. The algorithm employs well-known techniques in 3-manifolds topology, as well as a new algorithmic solution to a problem on free…

Enumerating all 3-manifold triangulations of a given size is a difficult but increasingly important problem in computational topology. A key difficulty for enumeration algorithms is that most combinatorial triangulations must be discarded…

We produce algorithms to detect whether a complex affine variety computed and presented numerically by the machinery of numerical algebraic geometry corresponds to an associated component of a polynomial ideal.

We investigate the properties of a modulus of a foliation on a Riemannian manifold. We give necessary and sufficient conditions for the existence of an extremal function and state some of its properties. We obtain the integral formula…

One method for obtaining every closed orientable 3-manifold is as branched covering of the 3-sphere over a link. There is a classical topological result showing that the minimun possible number of sheets in the covering is three. In this…

We describe an algorithm which has enabled us to give a complete list, without repetitions, of all closed oriented irreducible 3-manifolds of complexity up to 9. More interestingly, we have actually been able to give a "name" to each such…

Bounded-type 3-manifolds arise as combinatorially bounded gluings of irreducible 3-manifolds chosen from a finite list. We prove effective hyperbolization and effective rigidity for a broad class of 3-manifolds of bounded type and large…

We discuss the rigidity (or lack thereof) imposed by different notions of having an abundance of zero curvature planes on a complete Riemannian 3-manifold. We prove a rank rigidity theorem for complete 3-manifolds, showing that having…

We give a new elementary proof of the parallelizability of closed orientable 3-manifolds. We use as the main tool the fact that any such manifold admits a Heegaard splitting.

We propose new methodologies in multi-dimensional unfolding in dense environments, and show that incorporating auxiliary observables can significantly improve performance. Our approach builds on the ML-based OmniFold algorithm, which we…

Let $M$ be a closed orientable irreducible $3$-manifold such that $\pi_1(M)$ is left orderable. (a) Let $M_0 = M - Int(B^{3})$, where $B^{3}$ is a compact $3$-ball in $M$. We have a process to produce a co-orientable Reebless foliation…

This is a survey paper on algorithms for solving problems in 3-dimensional topology. In particular, it discusses Haken's approach to the recognition of the unknot, and recent variations.

This note surveys recent progress toward the profinite rigidity of orientable finite-volume hyperbolic 3-manifolds. Beginning in a brief review of some basic settings of profinite completion and rigidity of general groups, we state the…

It is shown that given any link-manifold, there is an algorithm to decide if the manifold contains an embedded, essential planar surface; if it does, the algorithm will construct one. If a slope on the boundary of the link-manifold is…