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.
We construct infinitely many manifolds admitting both strongly irreducible and weakly reducible minimal genus Heegaard splittings. Both closed manifolds and manifolds with boundary tori are constructed.
A bridge position of a knot is said to be perturbed if there exists a cancelling pair of bridge disks. Motivated by the examples of knots admitting unperturbed strongly irreducible non-minimal bridge positions due to Jang-Kobayashi-Ozawa-Takao, we derive examples of unperturbed weakly reducible non-minimal bridge positions. Also, a bridge version of Gordon's Conjecture is proposed: the connected sum of unperturbed bridge positions is unperturbed.
The notion of a layered triangulation of a lens space was defined by Jaco and Rubinstein in earlier work, and, unless the lens space is L(3,1), a layered triangulation with the minimal number of tetrahedra was shown to be unique and termed its "minimal layered triangulation." This paper proves that for each integer n>1, the minimal layered triangulation of the lens space L(2n,1) is its unique minimal triangulation. More generally, the minimal triangulations (and hence the complexity) are determined for an infinite family of lens spaces containing the lens spaces L(2n,1).
It is known that an ideal triangulation of a compact $3$-manifold with nonempty boundary is minimal if and only if it contains the minimum number of edges among all ideal triangulations of the manifold. Therefore, any ideal one-edge triangulation (i.e., an ideal singular triangulation with exactly one edge) is minimal. Vesnin, Turaev, and the first author showed that an ideal two-edge triangulation is minimal if no $3$-$2$ Pachner move can be applied. In this paper we show that any of the so-called poor ideal three-edge triangulations is minimal. We exploit this property to construct minimal i…
Let (V,W;F) be a weakly reducible, unstabilized, genus three Heegaard splitting in an orientable, irreducible 3-manifold M. In this article, we prove that either the disk complex D(F) is contractible or F is critical. Hence, the topological index of F is two if F is topologically minimal.
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 paper, we explore minimal contact triangulations on contact 3-manifolds. We give many explicit examples of contact triangulations that are close to minimal ones. The main results of this article say that on any closed oriented 3-manifold the number of vertices for minimal contact triangulations for overtwisted contact structures grows at most linearly with respect to the relative $d^3$ invariant. We conjecture that this bound is optimal. We also discuss, in great details, contact triangulations for a certain family of overtwisted contact structures on 3-torus.
This paper uses results on the classification of minimal triangulations of 3-manifolds to produce additional results, using covering spaces. Using previous work on minimal triangulations of lens spaces, it is shown that the lens space $L(4k, 2k-1)$ and the generalised quaternionic space $S^3/Q_{4k}$ have complexity $k,$ where $k\ge 2.$ Moreover, it is shown that their minimal triangulations are unique.
Previous work of the authors studies minimal triangulations of closed 3-manifolds using a characterisation of low degree edges, embedded layered solid torus subcomplexes and 1-dimensional $\mathbb{Z}_2$-cohomology. The underlying blueprint is now used in the study of minimal ideal triangulations. As an application, it is shown that the monodromy ideal triangulations of the hyperbolic once-punctured torus bundles are minimal.
One measure of the complexity of a 3-manifold is its triangulation complexity: the minimal number of tetrahedra in a triangulation of it. A natural question is whether we can relate this quantity to its topology. We determine the triangulation complexity of Seifert fibered spaces with non-empty boundary in terms of their Seifert data, up to a multiplicative constant. We also show that all singular fibres of such a Seifert fibered space (aside from those of multiplicity two) can be made simplicial in the 79th barycentric subdivision of any triangulation of it.
Previous work of the authors with Bus Jaco determined a lower bound on the complexity of cusped hyperbolic 3-manifolds and showed that it is attained by the monodromy ideal triangulations of once-punctured torus bundles. This paper exhibits an infinite family of minimal ideal triangulations of Dehn fillings on the link $8^3_9$ that also attain this lower bound on complexity.
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.
This paper studies the question of whether minimal genus Heegaard splittings of exterior spaces of knots which are connected sums are weakly reducible or not. Furthermore it is shown that the Heegaard splittings of the knots used by Morimoto to show that tunnel number can be sub-additive are all strongly irreducible. These are the first examples of strongly irreducible minimal genus Heegaard splittings of composite knots. We also give a characterization of when is a set of primitive annuli on a handlebody simultaneously primitive. This characterization is different from that given in [Go].
Starting with an ideal triangulation of the interior of a compact 3-manifold M with boundary, no component of which is a 2-sphere, we provide a construction, called an inflation of the ideal triangulation, to obtain a strongly related triangulations of M itself. Besides a step-by-step algorithm for such a construction, we provide examples of an inflation of the two-tetrahedra ideal triangulation of the complement of the figure-eight knot in the 3-sphere, giving a minimal triangulation, having ten tetrahedra, of the figure-eight knot exterior. As another example, we provide an inflation of the …
In this survey article, we are interested on minimal triangulations of closed pl manifolds. We present a brief survey on the works done in last 25 years on the following: (i) Finding the minimal number of vertices required to triangulate a given pl manifold. (ii) Given positive integers $n$ and $d$, construction of $n$-vertex triangulations of different $d$-dimensional pl manifolds. (iii) Classifications of all the triangulations of a given pl manifold with same number of vertices. In Section 1, we have given all the definitions which are required for the remaining part of this article. In Sec…
Tight triangulated manifolds are generalisations of neighborly triangulations of closed surfaces and are interesting objects in Combinatorial Topology. Tight triangulated manifolds are conjectured to be minimal. Except few, all the known tight triangulated manifolds are stacked. It is known that locally stacked tight triangulated manifolds are strongly minimal. Except for three infinite series and neighborly surfaces, very few tight triangulated manifolds are known. From some recent works, we know more on tight triangulation. In this article, we present a survey on the works done on tight tria…
Small covers were introduced by Davis and Januszkiewicz in 1991. We introduce the notion of equilibrium triangulations for small covers. We study equilibrium and vertex minimal $\mathbb{Z}_2^2$-equivariant triangulations of $2$-dimensional small covers. We discuss vertex minimal equilibrium triangulations of $\mathbb{RP}^3 \# \mathbb{RP}^3$, $S^1 \times \mathbb{RP}^2$ and a nontrivial $S^1$ bundle over $\mathbb{RP}^2$. We construct some nice equilibrium triangulations of the real projective space $\mathbb{RP}^n$ with $2^n +n+1$ vertices. The main tool is the theory of small covers.
The triangulation complexity of a compact 3-manifold is the minimal number of tetrahedra in any triangulation of the 3-manifold. We compute the triangulation complexity of all elliptic 3-manifolds and all sol 3-manifolds, to within a universally bounded multiplicative error.
Let $M$ be a simple 3-manifold, and $F$ be a component of $\partial M$ of genus at least 2. Let $α$ and $β$ be separating slopes on $F$. Let $M(α)$ (resp. $M(β)$) be the manifold obtained by adding a 2-handle along $α$ (resp. $β$). If $M(α)$ and $M(β)$ are $\partial$-reducible, then the minimal geometric intersection number of $α$ and $β$ is at most 8.
Quasitoric manifolds, introduced by M. Davis and T. Januskiewicz in 1991, are topological generalizations of smooth complex projective spaces. In 1992, Banchoff and Kühnel constructed a 10-vertex equilibrium triangulations of $\CP^2$. We generalize this construction for quasitoric manifolds and construct some equilibrium triangulations of $4$-dimensional quasitoric manifolds. In some cases, our constructions give vertex minimal equilibrium triangulations.
We investigate a PL topology question: which circle bundles can be triangulated over a given triangulation of the base? The question got a simple answer emphasizing the role of minimal triangulations encoded by local systems of circular permutations of vertices of the base simplices. The answer is based on an experimental fact: classical Huntington transitivity axiom for cyclic orders can be expressed as the universal binary Chern cocycle.
Following Matveev, a k-normal surface in a triangulated 3-manifold is a generalization of both normal and (octagonal) almost normal surfaces. Using spines, complexity, and Turaev-Viro invariants of 3-manifolds, we prove the following results: 1) a minimal triangulation of a closed irreducible or a bounded hyperbolic 3-manifold contains no non-trivial k-normal sphere; 2) every triangulation of a closed manifold with at least 2 tetrahedra contains some non-trivial normal surface; 3) every manifold with boundary has only finitely many triangulations without non-trivial normal surfaces. Here, tria…
Motivated by recent work on Delaunay triangulations of hyperbolic surfaces, we consider the minimal number of vertices of such triangulations. First, we will show that every hyperbolic surface of genus $g$ has a simplicial Delaunay triangulation with $O(g)$ vertices, where edges are given by distance paths. Then, we will construct a class of hyperbolic surfaces for which the order of this bound is optimal. Finally, to give a general lower bound, we will show that the $Ω(\sqrt{g})$ lower bound for the number of vertices of a simplicial triangulation of a topological surface of genus $g$ is tigh…
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 …
The notion of covering type was recently introduced by Karoubi and Weibel to measure the complexity of a topological space by means of good coverings. When X has the homotopy type of a finite CW-complex, its covering type coincides with the minimum possible number of vertices of a simplicial complex homotopy equivalent to X. In this article we compute the covering type of all closed surfaces. Our results completely settle a problem posed by Karoubi and Weibel, and shed more light on the relationship between the topology of surfaces and the number of vertices of minimal triangulations from a ho…
We give three constructions of a vertex-minimal triangulation of $4$-dimensional real projective space $\mathbb{R}P^4$. The first construction describes a $4$-dimensional sphere on $32$ vertices, which is a double cover of a triangulated $\mathbb{R}P^4$ and has a large amount of symmetry. The second and third constructions illustrate approaches to improving the known number of vertices needed to triangulate $n$-dimensional real projective space. All three constructions deliver the same combinatorial manifold, which is also the same as the only known $16$-vertex triangulation of $\mathbb{R}P^4$…
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$.
Tight triangulations are exotic, but highly regular objects in combinatorial topology. A triangulation is tight if all its piecewise linear embeddings into a Euclidean space are as convex as allowed by the topology of the underlying manifold. Tight triangulations are conjectured to be strongly minimal, and proven to be so for dimensions $\leq 3$. However, in spite of substantial theoretical results about such triangulations, there are precious few examples. In fact, apart from dimension two, we do not know if there are infinitely many of them in any given dimension. In this paper, we present a…
We define a new combinatorial class of triangulations of closed 3-manifolds, satisfying a weak version of 0-efficiency combined with a weak version of minimality, and study them using twisted squares. As an application, we obtain strong restrictions on the topology of a 3-manifold from the existence of non-smooth maxima of the volume function on the space of circle-valued angle structures.
For integers $d \geq 2$ and $ε= 0$ or 1, let $S^{1, d - 1}(ε)$ denote the sphere product $S^{1} \times S^{d - 1}$ if $ε= 0$ and the twisted $S^{d - 1}$ bundle over $S^{1}$ if $ε= 1$. The main results of this paper are: (a) if $d \equiv ε$ (mod 2) then $S^{1, d - 1}(ε)$ has a unique minimal triangulation using $2d + 3$ vertices, and (b) if $d \equiv 1 - ε$ (mod 2) then $S^{1, d - 1}(ε)$ has minimal triangulations (not unique) using $2d + 4$ vertices. The second result confirms a recent conjecture of Lutz. The first result provides the first known infinite family of closed manifolds (other than …
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…
In this paper we describe a procedure for refining the given triangulation of a 3-manifold that scales the PL-metric according to a given weight function while creating no new normal surfaces. It is known that an incompressible surface $F$ in a triangulated 3-manifold $M$ is isotopic to a normal surface that is of minimal PL-area in the isotopy class of $F$. Using the above scaling refinement we prove the converse. If $F$ is a surface in a closed 3-manifold $M$ such that for any triangulation $τ$ of $M$, $F$ is isotopic to a $τ$-normal surface $F(τ)$ that is of minimal PL-area in its isotopy c…
Let $M$ be any compact four-dimensional PL-manifold with or without boundary (e.g. the four-dimensional sphere or ball). Consider the space $T(M)$ of all simplicial isomorphism classes of triangulations of $M$ endowed with the metric defined as the minimal number of bistellar transformations required to transform one of two considered triangulations into the other. Our main result is the existence of an absolute constant $C>1$ such that for every $m$ and all sufficiently large $N$ there exist more than $C^N$ triangulations of $M$ with at most $N$ simplices such that pairwise distances between …
For $d \geq 2$, Walkup's class ${\cal K}(d)$ consists of the $d$-dimensional simplicial complexes all whose vertex-links are stacked $(d-1)$-spheres. Kalai showed that for $d \geq 4$, all connected members of ${\cal K}(d)$ are obtained from stacked $d$-spheres by finitely many elementary handle additions. According to a result of Walkup, the face vector of any triangulated 4-manifold $X$ with Euler characteristic $χ$ satisfies $f_1 \geq 5f_0 - {15/2} χ$, with equality only for $X \in {\cal K}(4)$. Kühnel observed that this implies $f_0(f_0 - 11) \geq -15χ$, with equality only for 2-neighborly …
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…
In this paper, we use normal surface theory to study Dehn filling on a knot-manifold. First, it is shown that there is a finite computable set of slopes on the boundary of a knot-manifold that bound normal and almost normal surfaces in a one-vertex triangulation of that knot-manifold. This is combined with existence theorems for normal and almost normal surfaces to construct algorithms to determine precisely which manifolds obtained by Dehn filling: 1) are reducible, 2) contain two--sided incompressible surfaces, 3) are Haken, 4) fiber over the circle, 5) are the 3--sphere, and 6) are a lens s…
We show that there are a finite number of possible pictures for a surface in a tetrahedron with local index $n$. Combined with previous results, this establishes that any topologically minimal surface can be transformed into one with a particular normal form with respect to any triangulation.
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$.
Any two triangulations of a closed surface with the same number of vertices can be transformed into each other by a sequence of regular flips, provided the number of vertices exceeds a number N depending on the surface. Examples show that in general N is bigger than the minimal number of vertices of a triangulation. The existence of N was known, but no estimate. This paper provides an estimate for N that is linear in the Euler characteristic of the surface.
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…
In this paper it is shown that manifolds admitting minimal genus weakly reducible but irreducible Heegaard splittings contain an essential surface. This is an extension of a well known theorem of Casson-Gordon to manifolds with non-empty boundary. The situation for non-minimal genus Heegaard splittings is also investigated and it is shown that boundary stabilizations are stabilizations for manifolds which are boundary primitive.
We give a complete enumeration of all combinatorial 3-manifolds with 10 vertices: There are precisely 247882 triangulated 3-spheres with 10 vertices as well as 518 vertex-minimal triangulations of the sphere product $S^2\times S^1$ and 615 triangulations of the twisted sphere product $S^2_\times_S^1$. All the 3-spheres with up to 10 vertices are shellable, but there are 29 vertex-minimal non-shellable 3-balls with 9 vertices.
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 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…
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.
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…
Walkup's class ${\cal K}(d)$ consists of the $d$-dimensional simplicial complexes all whose vertex links are stacked $(d-1)$-spheres. According to a result of Walkup, the face vector of any triangulated 4-manifold $X$ with Euler characteristic $χ$ satisfies $f_1 \geq 5f_0 - 15/2 χ$, with equality only for $X \in {\cal K}(4)$. Kühnel observed that this implies $f_0(f_0 - 11) \geq -15χ$, with equality only for 2-neighborly members of ${\cal K}(4)$. For $n = 6, 11$ and 15, there are triangulated 4-manifolds with $f_0=n$ and $f_0(f_0 - 11) = -15χ$. In this article, we present triangulated 4-manifo…
Discrete normal surfaces are normal surfaces whose intersection with each tetrahedron of a triangulation has at most one component. They are also natural Poincaré duals to 1-cocycles with $\ZZ/2\ZZ$-coefficients. For a fixed cohomology class in a simplicial poset the average Euler characteristic of the associated discrete normal surfaces only depends on the $f$-vector of the triangulation. As an application we determine the minimum simplicial poset representations, also known as crystallizations, of lens spaces $L(2k,q),$ where $2k=qr+1.$ Higher dimensional analogs of discrete normal surfaces …
We establish combinatorial versions of various classical systolic inequalities. For a smooth triangulation of a closed smooth manifold, the minimal number of edges in a homotopically non-trivial loop contained in the $1$-skeleton gives an integer called the combinatorial systole. The number of top-dimensional simplices in the triangulation gives another integer called the combinatorial volume. We show that a class of smooth manifolds satisfies a systolic inequality for all Riemannian metrics if and only if it satisfies a corresponding combinatorial systolic inequality for all smooth triangulat…
