A duplicate pair in the SnapPea census

We identify a duplicate pair in the well-known Callahan-Hildebrand-Weeks census of cusped finite-volume hyperbolic 3-manifolds. Specifically, the six-tetrahedron non-orientable manifolds x101 and x103 are homeomorphic.Comment: 5 pages, 3 figures; v2: minor edits. To appear in Experimental Mathematic

All the shapes of spaces: a census of small 3-manifolds

In this work we present a complete (no misses, no duplicates) census for closed, connected, orientable and prime 3-manifolds induced by plane graphs with a bipartition of its edge set (blinks) up to $k=9$ edges. Blinks form a universal encoding for such manifolds. In fact, each such a manifold is a subtle class of blinks, \cite{lins2013B}. Blinks are in 1-1 correpondence with {\em blackboard framed links}, \cite {kauffman1991knots, kauffman1994tlr} We hope that this census becomes as useful for the study of concrete examples of 3-manifolds as the tables of knots are in the study of knots and links.Comment: 31 pages, 17 figures, 38 references. In this version we introduce some new material concerning composite manifold

Computation of hyperbolic structures on 3-dimensional orbifolds

The computer programs SnapPea by Weeks and Geo by Casson have proven to be powerful tools in the study of hyperbolic 3-manifolds. Manifolds are special examples of spaces called orbifolds, which are modelled locally on Rn modulo finite groups of symmetries. SnapPea can also be used to study orbifolds but it is restricted to those whose singular set is a link. One goal of this thesis is to lay down the theory for a computer program that can work on a much larger class of 3-orbifolds. The work of Casson is generalized and implemented in a computer program Orb which should provide new insight into hyperbolic 3-orbifolds. The other main focus of this work is the study of 2-handle additions. Given a compact 3-manifold M and an essential simple closed curve α on ∂M, then we define M [α] to be the manifold obtained by gluing a 2-handle to ∂M along α. If α lies on a torus boundary component, we cap off the spherical boundary component created and the result is just Dehn filling. The case when α lies on a boundary surface of genus ≥ 2 is examined and conditions on α guaranteeing thatM [α] is hyperbolic are found. This uses a lemma of Scharlemann and Wu, an argument of Lackenby, and a theorem of Marshall and Martin on the density of strip packings. A method for performing 2-handle additions is then described and employed to study two examples in detail. This thesis concludes by illustrating applications of Orb in studying orbifolds and in the classification of knotted graphs. Hyperbolic invariants are used to distinguish the graphs in Litherland’s table of 90 prime θ-curves and provide access to new topological information including symmetry groups. Then by prescribing cone angles along the edges of knotted graphs, tables of low volume orbifolds are produced. i Declaration This is to certify that (i) the thesis comprises only my original work towards the PhD except where indicated in the Preface, (ii) due acknowledgement has been made in the text to all other material used, (iii) the thesis is less than 100,000 words in length, exclusive of tables, maps, bibliographies and appendices

Bounds on Pachner moves and systoles of cusped 3-manifolds

Any two geometric ideal triangulations of a cusped complete hyperbolic $3$-manifold $M$ are related by a sequence of Pachner moves through topological triangulations. We give a bound on the length of this sequence in terms of the total number of tetrahedra and a lower bound on dihedral angles. This leads to a naive but effective algorithm to check if two hyperbolic knots are equivalent, given geometric ideal triangulations of their complements. Given a geometric ideal triangulation of $M$, we also give a lower bound on the systole length of $M$ in terms of the number of tetrahedra and a lower bound on dihedral angles.Comment: Exactly the same arguments work for hyperbolic manifolds with multiple cusps, so statements of theorems are generalised from one-cusped hyperbolic manifolds to cusped hyperbolic manifold

On spherical CR uniformization of 3-manifolds

International audienceWe consider the three discrete representations in the Falbel-Koseleff-Rouillier census where the peripheral subgroups have cyclic holonomy. We show that two of these representations have conjugate images, even though they represent different 3-manifold groups. This illustrates the fact that a discrete representation $\pi_1(M)\rightarrow PU(2,1)$ with cyclic unipotent boundary holonomy is not in general the holonomy of a spherical CR uniformization of $M$