Related papers: A new algorithm for 3-sphere recognition
This paper describes a Buchberger-style algorithm to compute a Groebner basis of a polynomial ideal, allowing for a selection strategy based on "signatures". We explain how three recent algorithms can be viewed as different strategies for…
Let $\Gamma$ be a subgroup of $PSL(2,R)$ generated by three parabolic transformations. The main goal of this paper is to present an algorithm to determine whether or not $\Gamma$ is discrete. Historically discreteness algorithms have been…
Learning 3D representations that generalize well to arbitrarily oriented inputs is a challenge of practical importance in applications varying from computer vision to physics and chemistry. We propose a novel multi-resolution convolutional…
In this paper we are interested in computing representations of the fundamental group of a 3-manifold into PSL(3;C) (in particular in PSL(2;C); PSL(3;R) and PU(2; 1)). The representations are obtained by gluing decorated tetrahedra of…
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…
In a previous paper, we proved a number of optimal rigidity results for Riemannian manifolds of dimension greater than four whose curvature satisfy an integral pinching. In this article, we use the same integral Bochner technique to extend…
A graph embedded in the 3-sphere is called irreducible if it is non-splittable and for any 2-sphere embedded in the 3-sphere that intersects the graph at one point the graph is contained in one of the 3-balls bounded by the 2-sphere. We…
A general method for the determination of the harmonics of quotients of the 3-sphere is given. They can all be deduced from three objects already known from Klein. We further show explicitly how these harmonics can be organized in…
Type B 3-fold supersymmetry is a necessary and sufficient condition for a quantum Hamiltonian to admit three linearly independent local solutions in closed form. We show that any such a system is invariant under GL(3,C) homogeneous linear…
A new diffeomorphism invariant of integral homology 3-spheres is defined using a non-abelian 'quaternionic' version of the Seiberg-Witten equations.
We provide infinitely many rational homology 3-spheres with weight-one fundamental groups which do not arise from Dehn surgery on knots in $S^3$. In contrast with previously known examples, our proofs do not require any gauge theory or…
The famous Haken-Kneser-Milnor theorem states that every 3-manifold can be expressed in a unique way as a connected sum of prime 3-manifolds. The analogous statement for 3-orbifolds has been part of the folklore for several years, and it…
Associated to an embedded surface in the $3$-sphere, we construct a diagram of fundamental groups, and prove that it is a complete invariant, wherefrom we deduce complete invariants of handlebody links, tunnels of handlebody links, and…
In this paper, we introduce the concept of 3-alterfolds with embedded separating surfaces. When the separating surface is decorated by a spherical fusion category, we obtain quantum invariants of 3-alterfold, which is consistent with many…
We show that every irreducible toroidal integer homology sphere graph manifold has a left-orderable fundamental group. This is established by way of a specialization of a result due to Bludov and Glass for the almagamated products that…
In this paper we develop a method to compute the Burns-Epstein invariant of a spherical CR homology sphere, up to an integer, from its holonomy representation. As application, we give a formula for the Burns-Epstein invariant, modulo an…
The smooth rational homology cobordism group of rational homology three spheres, T, contains subgroups T_p generated by 3-manifolds with first homology p-torsion, where p is a prime. Rochlin's theorem and gauge theoretic methods show that…
In [LMO] a 3-manifold invariant $\Omega(M)$ is constructed using a modification of the Kontsevich integral and the Kirby calculus. The invariant $\Omega$ takes values in a graded Hopf algebra of Feynman 3-valent graphs. Here we show that…
There are many applications in which a bounding sphere containing the given triangle E3 is needed, e.g. fast collision detection, ray-triangle intersecting in raytracing etc. This is a typical geometrical problem in E3 and it has also…
In this thesis we study the Seiberg-Witten theory of an oriented homology 3-sphere. The goal is to extract topological invariants - the Seiberg-Witten invariants - by counting the solutions to the Seiberg-Witten equations on the manifold.…