No Arabic abstract
We investigate the complexity of finding an embedded non-orientable surface of Euler genus $g$ in a triangulated $3$-manifold. This problem occurs both as a natural question in low-dimensional topology, and as a first non-trivial instance of embeddability of complexes into $3$-manifolds. We prove that the problem is NP-hard, thus adding to the relatively few hardness results that are currently known in 3-manifold topology. In addition, we show that the problem lies in NP when the Euler genus g is odd, and we give an explicit algorithm in this case.
A longstanding avenue of research in orientable surface topology is to create and enumerate collections of curves in surfaces with certain intersection properties. We look for similar collections of curves in non-orientable surfaces. A surface is non-orientable if and only if it contains a Mobius band. We generalize a construction of Malestein-Rivin-Theran to non-orientable surfaces to exhibit a lower bound for the maximum number of curves that pairwise intersect 0 or 1 times in a generic non-orientable surface.
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 its practicality, we run the algorithm over a comprehensive body of closed 3-manifolds and knot exteriors, yielding results that were not previously known. The algorithm derives from the original Jaco-Oertel framework, involves both enumeration and optimisation procedures, and combines several techniques from normal surface theory. Our methods are relevant for other difficult computational problems in 3-manifold theory, such as the recognition problem for knots, links and 3-manifolds.
Quandles with involutions that satisfy certain conditions, called good involutions, can be used to color non-orientable surface-knots. We use subgroups of signed permutation matrices to construct non-trivial good involutions on extensions of odd order dihedral quandles. For the smallest example of order 6 that is an extension of the three-element dihedral quandle, various symmetric quandle homology groups are computed, and applications to the minimal triple point number of surface-knots are given.
By work of Uhlenbeck, the largest principal curvature of any least area fiber of a hyperbolic $3$-manifold fibering over the circle is bounded below by one. We give a short argument to show that, along certain families of fibered hyperbolic $3$-manifolds, there is a uniform lower bound for the maximum principal curvatures of a least area minimal surface which is greater than one.
Motivated by the construction of free quandles and Dehn quandles of orientable surfaces, we introduce Dehn quandles of groups with respect to their subsets. As a characterisation, we prove that Dehn quandles are precisely those quandles which embed naturally into their enveloping groups. We prove that the enveloping group of the Dehn quandle of a given group with respect to its generating set is a central extension of that group, and that enveloping groups of Dehn quandles of Artin groups and link groups with respect to their standard generating sets are the groups themselves. We discuss orderability of Dehn quandles and prove that free involutory quandles are left orderable whereas certain generalised Alexander quandles are bi-orderable. Specialising to surfaces, we give generating sets for Dehn quandles of mapping class groups of orientable surfaces with punctures and compute their automorphism groups. As applications, we recover a result of Niebrzydowski and Przytycki proving that the knot quandle of the trefoil knot is isomorphic to the Dehn quandle of the torus and also extend a result of Yetter on epimorphisms of Dehn quandles of orientable surfaces onto certain involutory homological quandles. Finally, we show that involutory quotients of Dehn quandles of closed orientable surfaces of genus less than four are finite.