Modification

There are many ways of modifying a 3-manifold triangulation. Many of these can be found in the Triangulation menu, which appears when you open a triangulation for viewing.

Caution

If you open one triangulation for viewing but then select another in the packet tree, all modifications will apply to the triangulation that you have open for viewing.

Editing Tetrahedron Face Gluings

The simplest way to modify a triangulation is to open the Gluings tab and edit the face gluings table directly. See the notes on viewing tetrahedron face gluings for details on how to read the table.

You can add and remove tetrahedra using the Add Tet and Remove Tet buttons, and you can change the gluings by typing directly into the table. If you want to remove a gluing (i.e., make a face part of the triangulation boundary), just delete the contents of the cell.

If you like, you can also name tetrahedra to help keep track of their roles within the triangulation. Click on the cell in the leftmost column (containing the tetrahedron number), and type a new name directly into the cell.

Automatic Simplification

Regina has a rich set of fast and effective moves for simplifying a triangulation without changing the underlying 3-manifold. If you press the Simplify button (or select TriangulationSimplify), then Regina will use a combination of these moves to reduce the triangulation to as few tetrahedra as it can. This is often very effective, but there is no guarantee that this will produce the fewest possible tetrahedra: Regina might get stuck at a local minimum from which it cannot escape.

If your triangulation has boundary, this routine will also try to make the number of boundary faces as small as it can (but again there is no guarantee of reaching a global minimum).

Manual Simplification: Elementary Moves

Instead of using automatic simplification, you might wish to modify your triangulation manually one step at a time. You can do this using elementary moves, which are small local modifications to the triangulation that preserve the underlying 3-manifold. To perform an elementary move, select TriangulationElementary Move from the menu.

This will bring up a box containing all the elementary moves that can be performed upon your triangulation. There are many different types of moves available, and this list may continue to grow with future releases of Regina.

For each type of move, you will be offered a drop-down list of locations at which the move can be performed. If a move is disabled (greyed out), this means there are no suitable locations in your triangulation for that move type. Select the type of move and its location, and press OK to perform the move.

We do not give full details of the various moves here; see [Bur03] or the NTriangulation class notes in the calculation engine documentation for full descriptions of the moves and restrictions on their possible locations. A brief summary is as follows.

3-2 Move

Replaces three tetrahedra joined along a degree 3 edge with two tetrahedra joined along a face.

2-3 Move

Replaces two tetrahedra joined along a face with three tetrahedra joined along a degree 3 edge.

4-4 Move

Replaces four tetrahedra joined along a degree 4 edge with four tetrahedra joined along a new degree 4 edge that points in a different direction.

2-0 Move (Edge)

Takes two tetrahedra joined along a degree 2 edge and squashes them flat.

2-0 Move (Vertex)

Takes two tetrahedra that meet at a degree 2 vertex and squashes them flat.

2-1 Move

Merges the tetrahedron containing a degree 1 edge with an adjacent tetrahedron.

Open Book

Takes an internal face with two boundary edges and “unglues” that face, creating two new boundary faces and exposing the tetrahedra inside to the boundary.

Close Book

Folds together two adjacent boundary faces around a common boundary edge, with the result of simplifying the boundary.

Shell Boundary

Removes an “unnecessary tetrahedron” that sits along the boundary of the triangulation.

Collapse Edge

Takes an edge between two distinct vertices and collapses it to a point. Any tetrahedra that contained the edge will be “flattened away”.

0-Efficiency

A triangulation is 0-efficient if its only normal spheres and discs are vertex linking, and if it has no 2-sphere boundary components [JR03]. 0-efficient triangulations have significant theoretical and practical advantages, and often use relatively few tetrahedra.

If your triangulation is closed, orientable and connected, you can convert it into a 0-efficient triangulation of the same 3-manifold by selecting TriangulationMake 0-Efficient.

If your triangulation represents a composite 3-manifold then it cannot be made 0-efficient—in this case a full connected sum decomposition will be inserted beneath your triangulation in the packet tree, and your original triangulation will be left unchanged.

There are also two exceptional prime manifolds that cannot be made 0-efficient: RP3 and S2×S1. Regina will notify you if your triangulation represents one of these manifolds.

Caution

The algorithm to make a triangulation 0-efficient runs in worst-case exponential time. If your triangulation is large, you should consider whether automatic simplification will suffice (which is much faster at reducing the number of tetrahedra, but which does not guarantee a 0-efficient result).

Switching Between Real and Ideal

You can convert between real boundary components (formed from boundary faces of tetrahedra) and ideal boundary components (formed from individual vertices with closed non-spherical vertex links).

If you have an ideal triangulation, you can select TriangulationTruncate Ideal Vertices to convert your ideal vertices into real boundary components. Regina will subdivide the triangulation and slide off a small neighbourhood of each ideal vertex. Any non-standard boundary vertices will be truncated also.

Tip

Because of the subdivision, this operation will greatly increase the number of tetrahedra. After you truncate ideal vertices, try simplifying your triangulation.

Conversely: if your triangulation has real boundary components and you wish to convert this into an ideal triangulation, select TriangulationMake Ideal.

Each real boundary component will be “coned” using new tetrahedra (one for each boundary face). Your boundary components will all become ideal, but there are some caveats:

  • Your triangulation will contain ideal vertices, but also standard internal vertices whose links are spheres. To get rid of these internal vertices, try simplifying your triangulation.

  • Any spherical boundary components will disappear entirely; that is, they will be filled in with balls.

Subdivision

You can perform a barycentric subdivision on your triangulation by selecting TriangulationBarycentric Subdivision. This involves splitting each original tetrahedron into 24 smaller tetrahedra, adding new vertices at the centroid of each tetrahedron, the centroid of each face, and the midpoint of each edge.

Orienting the Triangulation

If your triangulation is orientable but not oriented, you may wish to reorder the vertices 0,1,2,3 of each tetrahedron so that adjacent tetrahedra have consistent orientations. To do this, press the Orient button (or select TriangulationOrient from the menu).

Double Cover

To convert a non-orientable triangulation into its orientable double cover, select TriangulationDouble Cover.

If your triangulation has any orientable components, they will simply be duplicated.

Cutting Along and Crushing Normal Surfaces

If you have a normal surface in your triangulation, you can either cut along your surface or crush it to a point.

  • Cutting along a surface involves carefully slicing along the surface and retriangulating the resulting polyhedra, so that the original surface becomes one or more real boundary components.

    This has the advantages that it will never change the topology of the 3-manifold beyond the simple act of slicing along the surface, and it will never introduce ideal vertices or invalid edges.

    The main drawback is that it can vastly increase the total number of tetrahedra. This has severe implications if you need to do anything computationally intensive with the resulting triangulation.

  • Crushing a surface is a potentially destructive operation, but when used carefully can be extremely powerful. The crushing operation is described by Jaco and Rubinstein [JR03]: in essence, the surface is crushed to a point and any tetrahedron that contains a quadrilateral disc is “flattened away”.

    One key advantage of crushing is that it always reduces the number of tetrahedra (unless you crush vertex links, in which case the triangulation stays the same).

    The main disadvantage is that will typically change the topology of your triangulation, sometimes dramatically. For example, it can create ideal vertices, undo connected sums, change the genus of boundary components, and delete entire summands. In some cases it can even make your triangulation invalid (for instance, edges might become identified with themselves in reverse).

    You should only crush a surface when you have theoretical arguments that tell you exactly what might change and how to detect it. Examples of such arguments appear in [JR03], where crushing is used to great effect.

To cut along or crush a normal surface: open the list of normal surfaces, select your surface in the list, and then choose either Normal SurfacesCut Along Surface or Normal SurfacesCrush Surface.

Regina will create a new triangulation where the surface has been cut along or crushed accordingly. This new trianguation will appear beneath the normal surfaces in the packet tree. Your original triangulation will not be changed.

Tip

When cutting along or crushing a normal surface, you might end up with a disconnected triangulation. You can extract connected components to work with one at a time.