A census is presented of all closed non-orientable 3-manifold triangulations formed from at most seven tetrahedra satisfying the additional constraints of minimality and P^2-irreducibility. The eight different 3-manifolds represented by these 41 different triangulations are identified and described in detail, with particular attention paid to the recurring combinatorial structures that are shared amongst the different triangulations. Using these recurring structures, the resulting triangulations are generalised to infinite families that allow similar triangulations of additional 3-manifolds to be formed. Algorithms and techniques used in constructing the census are included.
In this paper, we describe geometrical constructions to obtain triangulations of connected sums of closed orientable triangulated 3-manifolds. Using these constructions, we show that it takes time polynomial in the number of tetrahedra to check if a closed orientable 3-manifold, equipped with a minimal triangulation, is reducible or not. This result can easily be generalized to compact orientable 3-manifolds with non-empty boundary.
In this thesis, we use normal surface theory to understand certain properties of minimal triangulations of compact orientable 3-manifolds. We describe the collapsing process of normal 2-spheres and disks. Using some geometrical constructions to take connected sums of triangulated 3-manifolds, we obtain the following result: given a minimal triangulation of a closed orientable 3-manifold M, it takes polynomial time in the number of tetrahedra to check if M is reducible or not.
Gay and Kirby recently introduced the concept of a trisection for arbitrary smooth, oriented closed 4-manifolds, and with it a new topological invariant, called the trisection genus. This paper improves and implements an algorithm due to Bell, Hass, Rubinstein and Tillmann to compute trisections using triangulations, and extends it to non-orientable 4-manifolds. Lower bounds on trisection genus are given in terms of Betti numbers and used to determine the trisection genus of all standard simply connected PL 4-manifolds. In addition, we construct trisections of small genus directly from the sim…
0-efficient triangulations of 3-manifolds are defined and studied. It is shown that any triangulation of a closed, orientable, irreducible 3-manifold M can be modified to a 0-efficient triangulation or M can be shown to be one of the manifolds S^3, RP^3 or L(3,1). Similarly, any triangulation of a compact, orientable, irreducible, boundary-irreducible 3-manifold can be modified to a 0-efficient triangulation. The notion of a 0-efficient ideal triangulation is defined. It is shown if M is a compact, orientable, irreducible, boundary-irreducible 3-manifold having no essential annuli and distinct…
A family of one-vertex triangulations of 3-manifolds, layered-triangulations, is defined. Layered-triangulations are first described for handlebodies and then extended to all 3-manifolds via Heegaard splittings. A complete and detailed analysis of layered-triangulations is given in the cases of the solid torus and lens spaces, including the classification of all normal and almost normal surfaces in these triangulations. Minimal layered-triangulations of lens spaces provide a common setting for new proofs of the classification of lens spaces admitting an embedded non orientable surface and the …
With the $[0,1,2]$-family of cyclic triangulations we introduce a rich class of vertex-transitive triangulations of surfaces. In particular, there are infinite series of cyclic $q$-equivelar triangulations of orientable and non-orientable surfaces for every $q=3k$, $k\geq 2$, and every $q=3k+1$, $k\geq 3$. Series of cyclic tessellations of surfaces are derived from these triangulated series.
It is important to have 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 before we can make it smaller than its original size. Here we present experimental work that suggests the reality is far different: for an exhaustive census of 81,800,394 one-vertex triangulations that span 1,901 distinct closed orientable 3-manifolds, we never need to add more than two extra tetrahedra, we never need more than a handful of Pachner moves (or bistellar f…
We survey basic properties and bounds for $q$-equivelar and $d$-covered triangulations of closed surfaces. Included in the survey is a list of the known sources for $q$-equivelar and $d$-covered triangulations. We identify all orientable and non-orientable surfaces $M$ of Euler characteristic $0>χ(M)\geq -230$ which admit non-neighborly $q$-equivelar triangulations with equality in the upper bound $q\leq\Bigl\lfloor\tfrac{1}{2}(5+\sqrt{49-24χ(M)})\Bigl\rfloor$. These examples give rise to $d$-covered triangulations with equality in the upper bound $d\leq2\Bigl\lfloor\tfrac{1}{2}(5+\sqrt{49-24χ…
We present and apply a method for disproving the existence of polyhedral immersions in $\mathbb{R}^3$ of certain triangulations on non-orientable surfaces. In particular, it is proved that neither of the two vertex-minimal, neighborly 9-vertex triangulations of the non-orientable surface of genus 5 are realizable as immersed polyhedral surfaces in $\mathbb{R}^3$.
Through computer enumeration with the aid of topological results, we catalogue all 18 closed non-orientable P^2-irreducible 3-manifolds that can be formed from at most eight tetrahedra. In addition we give an overview as to how the 100 resulting minimal triangulations are constructed. Observations and conjectures are drawn from the census data, and future potential for the non-orientable census is discussed. Some preliminary nine-tetrahedron results are also included.
Let N be a topologically finite, orientable 3-manifold with ideal triangulation. We show that if there is a solution to the hyperbolic gluing equations, then all edges in the triangulation are essential. This result is extended to a generalisation of the hyperbolic gluing equations, which enables the construction of hyperbolic cone-manifold structures on N with singular locus contained in the 1-skeleton of the triangulation.
A connected combinatorial 2-manifold is called degree-regular if each of its vertices have the same degree. A connected combinatorial 2-manifold is called weakly regular if it has a vertex-transitive automorphism group. Clearly, a weakly regular combinatorial 2-manifold is degree-regular and a degree-regular combinatorial 2-manifold of Euler characteristic - 2 must contain 12 vertices. In 1982, McMullen et al. constructed a 12-vertex geometrically realized triangulation of the double-torus in $\RR^3$. As an abstract simplicial complex, this triangulation is a weakly regular combinatorial 2-man…
We present the census of all non-orientable, closed, connected 3-manifolds admitting a rigid crystallization with at most 30 vertices. In order to obtain the above result, we generate, manipulate and compare, by suitable computer procedures, all rigid non-bipartite crystallizations up to 30 vertices.
We determine the minimum number of vertices needed to provide balanced triangulations of $\mathbb S^{d-2}$-bundles over $\mathbb S^1$. If $d$ is odd and the bundle is orientable, or $d$ is even and the bundle is non-orientable, the minimum number of vertices is $3d$; otherwise, it is $3d+2$. Similar results apply to all balanced simplicial complexes that triangulate homology manifolds with $β_1\neq 0$ and $β_2=0$, where $β_i$'s are the Betti numbers, computed with coefficients in $\mathbb Q$.
This paper adresses the following problem: Given a closed orientable three-manifold M, are there at most finitely many closed orientable three-manifolds 1-dominated by M? We solve this question for the class of closed orientable graph manifolds. More presisely the main result of this paper asserts that any closed orientable graph manifold 1-dominates at most finitely many orientable closed three-manifolds satisfying the Poincare-Thurston Geometrization Conjecture. To prove this result we state a more general theorem for Haken manifolds which says that any closed orientable three-manifold M 1-d…
A triangulated $d$-manifold $K$, satisfies the inequality $\binom{f_0(K)-d-1}{2}\geq \binom{d+2}{2}β_1(K;\mathbb{Z}_2)$ for $d\geq 3$. The triangulated $d$-manifolds that meet the bound with equality are called {\em tight neighborly}. In this paper, we present tight neighborly triangulations of 4-manifolds on 15 vertices with $\mathbb{Z}_3$ as automorphism group. One such example wasconstructed by Bagchi and Datta in 2011. We show that there are exactly 12 such triangulations up to isomorphism, 10 of which are orientable.
The crushing operation of Jaco and Rubinstein is a powerful technique in algorithmic 3-manifold topology: it enabled the first practical implementations of 3-sphere recognition and prime decomposition of orientable manifolds, and it plays a prominent role in state-of-the-art algorithms for unknot recognition and testing for essential surfaces. Although the crushing operation will always reduce the size of a triangulation, it might alter its topology, and so it requires a careful theoretical analysis for the settings in which it is used. The aim of this short paper is to make the crushing opera…
We describe an example of a closed orientable 3-manifold with distinct distance three genus two Heegaard splittings. This demonstrates that the constructions of alternate genus two Heegaard splittings of closed orientable 3-manifolds described by Rubinstein and Scharlemann in their 1998 paper Genus Two Heegaard Splittings of Orientable 3-Manifolds, does not yield all alternate genus two splittings and must be augmented.
After a short summary of known results on surface-complexity of closed 3-manifolds, we will classify all closed orientable 3-manifolds with surface-complexity one.
We give an explicit construction of vertex-transitive tight triangulations of $d$-manifolds for $d\geq 2$. More explicitly, for each $d\geq 2$, we construct two $(d^2+5d+5)$-vertex neighborly triangulated $d$-manifolds whose vertex-links are stacked spheres. The only other non-trivial series of such tight triangulated manifolds currently known is the series of non-simply connected triangulated $d$-manifolds with $2d+3$ vertices constructed by Kühnel. The manifolds we construct are strongly minimal. For $d\geq 3$, they are also tight neighborly as defined by Lutz, Sulanke and Swartz. Like Kühne…
We give a concrete example of an infinite sequence of $(p_n, q_n)$-lens spaces $L(p_n, q_n)$ with natural triangulations $T(p_n, q_n)$ with $p_n$ taterahedra such that $L(p_n, q_n)$ contains a certain non-orientable closed surface which is fundamental with respect to $T(p_n, q_n)$ and of minimal crosscap number among all closed non-orientable surfaces in $L(p_n, q_n)$ and has $n-2$ parallel sheets of normal disks of a quadrilateral type disjoint from the pair of core circles of $L(p_n, q_n)$. Actually, we can set $p_0=0, q_0=1, p_{k+1}=3p_k+2q_k$ and $q_{k+1}=p_k+q_k$.
For a closed surface $S$, its Torelli group $\mathcal{I}(S)$ is the subgroup of the mapping class group of $S$ consisting of elements acting trivially on $H_1(S;\mathbb{Z})$. When $S$ is orientable, a generating set for $\mathcal{I}(S)$ is known. In this paper, we give a normal generating set of $\mathcal{I}(N_g)$ for $g\geq4$, where $N_g$ is a genus-$g$ non-orientable closed surface.
For a field $\mathbb{F}$, the notion of $\mathbb{F}$-tightness of simplicial complexes was introduced by Kühnel. Kühnel and Lutz conjectured that any $\mathbb{F}$-tight triangulation of a closed manifold is the most economic of all possible triangulations of the manifold. The boundary of a triangle is the only $\mathbb{F}$-tight triangulation of a closed 1-manifold. A triangulation of a closed 2-manifold is $\mathbb{F}$-tight if and only if it is $\mathbb{F}$-orientable and neighbourly. In this paper we prove that a triangulation of a closed 3-manifold is $\mathbb{F}$-tight if and only if it i…
The face pairing graph of a 3-manifold triangulation is a 4-valent graph denoting which tetrahedron faces are identified with which others. We present a series of properties that must be satisfied by the face pairing graph of a closed minimal P^2-irreducible triangulation. In addition we present constraints upon the combinatorial structure of such a triangulation that can be deduced from its face pairing graph. These results are then applied to the enumeration of closed minimal P^2-irreducible 3-manifold triangulations, leading to a significant improvement in the performance of the enumeration…
The present paper follows the computational approach to 3-manifold classification via edge-coloured graphs, already performed by several authors with respect to orientable 3-manifolds up to 28 coloured tetrahedra, non-orientable 3-manifolds up to 26 coloured tetrahedra, genus two 3-manifolds up to 34 coloured tetrahedra: in fact, by automatic generation and analysis of suitable edge-coloured graphs, called crystallizations, we obtain a catalogue of all orientable 3-manifolds admitting coloured triangulations with 30 tetrahedra. These manifolds are unambiguously identified via JSJ decomposition…
A filling Dehn sphere $Σ$ in a closed 3-manifold $M$ is a sphere transversely immersed in $M$ that defines a cell decomposition of $M$. Every closed 3-manifold has a filling Dehn sphere. The Montesinos complexity of a $3$-manifold $M$ is defined as the minimal number of triple points among all the filling Dehn spheres of $M$. A sharp upper bound for the Montesinos complexity of the connected sum of two 3-manifolds is given.
We find conditions under which a non-orientable closed surface S embedded into an orientable closed 4-manifold X can be represented by a connected sum of an embedded closed surface in X and an unknotted projective plane in a 4-sphere. This allows us to extend the Gabai 4-dimensional light bulb theorem and the Auckly-Kim-Melvin-Ruberman-Schwartz "one is enough" theorem to the case of non-orientable surfaces.
In this paper, it is shown that every orientable closed 3-manifold maps with nonzero degree onto at most finitely many homeomorphically distinct irreducible non-geometric orientable closed 3-manifolds. Moreover, given any nonzero integer, as a mapping degree up to sign, every orientable closed 3-manifold maps with that degree onto only finitely many homeomorphically distinct orientable closed 3-manifolds.
Higher chromatic numbers $χ_s$ of simplicial complexes naturally generalize the chromatic number $χ_1$ of a graph. In any fixed dimension $d$, the $s$-chromatic number $χ_s$ of $d$-complexes can become arbitrarily large for $s\leq\lceil d/2\rceil$ [6,18]. In contrast, $χ_{d+1}=1$, and only little is known on $χ_s$ for $\lceil d/2\rceil<s\leq d$. A particular class of $d$-complexes are triangulations of $d$-manifolds. As a consequence of the Map Color Theorem for surfaces [29], the 2-chromatic number of any fixed surface is finite. However, by combining results from the literature, we will see …
A canonical branched covering over each sufficiently good simplicial complex is constructed. Its structure depends on the combinatorial type of the complex. In this way, each closed orientable 3-manifold arises as a branched covering over the 3-sphere from some triangulation of S^3. This result is related to a theorem of Hilden and Montesinos. The branched coverings introduced admit a rich theory in which the group of projectivities plays a central role.
The triple point numbers and the triple point spectrum of a closed 3-manifold were defined in (R. Vigara, Representación de 3-variedades por esferas de Dehn rellenantes, PhD Thesis, UNED 2006). They are topological invariants that give a measure of the complexity of a 3-manifold using the number of triple points of minimal filling Dehn surfaces. Basic properties of these invariants are presented, and the triple point spectra of $\mathbb{S}^2\times \mathbb{S}^1$ and $\mathbb{S}^3$ are computed.
It is well known that a triangulation of a closed 2-manifold is tight with respect to a field of characteristic two if and only if it is neighbourly; and it is tight with respect to a field of odd characteristic if and only if it is neighbourly and orientable. No such characterization of tightness was previously known for higher dimensional manifolds. In this paper, we prove that a triangulation of a closed 3-manifold is tight with respect to a field of odd characteristic if and only if it is neighbourly, orientable and stacked. In consequence, the Kühnel-Lutz conjecture is valid in dimension …
Given an ideal triangulation of a connected 3-manifold with non-empty boundary consisting of a disjoint union of tori, a point of the deformation variety is an assignment of complex numbers to the dihedral angles of the tetrahedra subject to Thurston's gluing equations. From this, one can recover a representation of the fundamental group of the manifold into the isometries of 3-dimensional hyperbolic space. However, the deformation variety depends crucially on the triangulation: there may be entire components of the representation variety which can be obtained from the deformation variety with…
In this paper we deal with Seifert fibre spaces, which are compact 3-manifolds admitting a foliation by circles. We give a combinatorial description for these manifolds in all the possible cases: orientable, non-orientable, closed, with boundary. Moreover, we compute a potentially sharp upper bound for their complexity in terms of the invariants of the combinatorial description, extending to the non-orientable case results by Fominykh and Wiest for the orientable case with boundary and by Martelli and Petronio for the closed orientable case.
Motivated by fixed-parameter tractable (FPT) problems in computational topology, we consider the treewidth of a compact, connected 3-manifold $M$ defined by \[ \operatorname{tw}(M) = \min\{\operatorname{tw}(Γ(\mathcal{T})):\mathcal{T}~\text{is a triangulation of }M\}, \] where $Γ(\mathcal{T})$ denotes the dual graph of $\mathcal{T}$. In this setting the relationship between the topology of a 3-manifold and its treewidth is of particular interest. First, as a corollary of work of Jaco and Rubinstein, we prove that for any closed, orientable 3-manifold $M$ the treewidth $\operatorname{tw}(M)$ is…
In this paper we study existence and lack thereof of closed embedded orientable co-dimension one totally geodesic submanifolds of minimal volume cusped orientable hyperbolic manifolds.
By considering appropriate finite covering spaces of closed non-orientable surfaces, we construct linear representations of their mapping class group which have finite index image in certain big arithmetic groups.
The proper geometric dimension of the mapping class groups of non-orientable surfaces with punctures
Instituto de Matemáticas, Universidad Nacional Autónoma de México（墨西哥国立自治大学数学研究所）；Departamento de Matemáticas, Facultad de Ciencias, Universidad Nacional Autónoma de México（墨西哥国立自治大学理学院数学系）
Drawing together techniques from combinatorics and computer science, we improve the census algorithm for enumerating closed minimal P^2-irreducible 3-manifold triangulations. In particular, new constraints are proven for face pairing graphs, and pruning techniques are improved using a modification of the union-find algorithm. Using these results we catalogue all 136 closed non-orientable P^2-irreducible 3-manifolds that can be formed from at most ten tetrahedra.
The construction of integer linking numbers of closed curves in a three-dimensional manifold usually appeals to the orientation of this manifold. We discuss how to avoid it constructing similar homotopy invariants of links in non-orientable manifolds.
We study trisections of smooth, compact non-orientable 4-manifolds, and introduce trisections of non-orientable 4-manifolds with boundary. In particular, we prove a non-orientable analogue of a classical theorem of Laudenbach-Poénaru. As a consequence, trisection diagrams and Kirby diagrams of closed non-orientable 4-manifolds exist. We discuss how the theory of trisections may be adapted to the setting of non-orientable 4-manifolds with many examples.
We give an upper bound for the Matveev complexity of the whole class of closed connected orientable prime graph manifolds that is sharp for all 14502 graph manifolds of the Recognizer catalogue (available at \texttt{http://matlas.math.csu.ru/?page=search}).
Finite presentations for the mapping class group M(F) are known for arbitrary orientable compact surface F. If F is non-orientable, then such presentations are known only when F has genus at most 3 and few boundary components. In this paper we obtain finite presentation for the mapping class group of the closed non-orientable surface of genus 4 from its action on the so called ordered complex of curves.
A celebrated result concerning triangulations of a given closed 3-manifold is that any two triangulations with the same number of vertices are connected by a sequence of so-called 2-3 and 3-2 moves. A similar result is known for ideal triangulations of topologically finite non-compact 3-manifolds. These results build on classical work that goes back to Alexander, Newman, Moise, and Pachner. The key special case of 1-vertex triangulations of closed 3-manifolds was independently proven by Matveev and Piergallini. The general result for closed 3-manifolds can be found in work of Benedetti and Pet…
For a non-orientable closed surface standardly embedded in the 4-sphere, a diffeomorphism over this surface is extendable if and only if this diffeomorphism preserves the Guillou-Marin quadratic form of this embedded surface.
Let M be a compact closed non-orientable surface. We show that the space of representations of the fundamental group of M into PSL(2,R) has exactly two connected components. These two components are the preimages of a certain Stiefel-Whitney characteristic class, computed in a similar way as the Euler class in the orientable case.
This paper gives sharp linear bounds on the genus of a normal surface in a triangulated compact, orientable 3--manifold in terms of the quadrilaterals in its cell decomposition---different bounds arise from varying hypotheses on the surface or triangulation. Two applications of these bounds are given. First, the minimal triangulations of the product of a closed surface and the closed interval are determined. Second, an alternative approach to the realisation problem using normal surface theory is shown to be less powerful than its dual method using subcomplexes of polytopes.
