Regina Calculation Engine
|
This class offers routines for constructing a variety of sample 4-manifold triangulations. More...
#include <dim4/dim4exampletriangulation.h>
Static Public Member Functions | |
Closed Triangulations | |
static Dim4Triangulation * | fourSphere () |
Returns a two-pentachoron triangulation of the 4-sphere. More... | |
static Dim4Triangulation * | simplicialFourSphere () |
Returns the standard six-pentachoron triangulation of the 4-sphere as the boundary of a 5-simplex. More... | |
static Dim4Triangulation * | rp4 () |
Returns a four-pentachoron triangulation of real projective 4-space. More... | |
static Dim4Triangulation * | s3xs1 () |
Returns a two-pentachoron triangulation of the product space S^3 x S^1 . More... | |
static Dim4Triangulation * | s3xs1Twisted () |
Returns a two-pentachoron triangulation of the twisted product space S^3 x~ S^1 . More... | |
Ideal Triangulations | |
(end: Closed Triangulations) | |
static Dim4Triangulation * | cappellShaneson () |
Returns a two-pentachoron triangulation of a Cappell-Shaneson 2-knot complement in the 4-sphere. More... | |
Constructions from 3-Manifold Triangulations | |
(end: Ideal Triangulations) | |
static Dim4Triangulation * | doubleCone (const NTriangulation &base) |
Returns a double cone over the given 3-manifold triangulation. More... | |
static Dim4Triangulation * | singleCone (const NTriangulation &base) |
Returns a single cone over the given 3-manifold triangulation. More... | |
static Dim4Triangulation * | iBundle (const NTriangulation &base) |
Returns a triangulation of the product M x I , where M is the given 3-manifold triangulation. More... | |
static Dim4Triangulation * | s1Bundle (const NTriangulation &base) |
Returns a triangulation of the product M x S1 , where M is the given 3-manifold triangulation. More... | |
static Dim4Triangulation * | bundleWithMonodromy (const NTriangulation &base, const NIsomorphism &monodromy) |
Returns a bundle formed from a given 3-manifold and a given monodromy. More... | |
This class offers routines for constructing a variety of sample 4-manifold triangulations.
These triangulations may be useful for testing new code, or for simply getting a feel for how Regina works.
At the present time only a handful of triangulations are available (in contrast to the 3-dimensional NExampleTriangulation, which offers many interesting examples). The authors hope to expand this list of 4-dimensional examples in future releases of Regina.
The sample triangulations offered here may prove especially useful in Regina's scripting interface, where working with pre-existing files is more complicated than in the GUI.
All of the methods in this class will assign an appropriate packet label to the triangulation that they return.
Note that each of these routines constructs a new triangulation from scratch. It is up to the caller of each routine to destroy the triangulation that is returned.
|
static |
Returns a bundle formed from a given 3-manifold and a given monodromy.
Specifically, let M be the given 3-manifold triangulation. This routine builds the bundle M x I
, and then identifies the two copies of M on the boundary according to the given homeomorphism from M to itself. The homeomorphism must be expressed as a combinatorial automorphism, which means that for a non-trivial monodromy you may need to do some work to find a sufficiently symmetric 3-manifold triangulation to begin with.
The resulting manifold will contain 82 pentachora for each original tetrahedron of M, and will contain many internal vertices. It is highly recommended that you call Dim4Triangulation::intelligentSimplify() afterwards if you do not need to preserve the combinatorial structure.
base | the 3-manifold triangulation M, as described above. |
monodromy | the homeomorphism from M to itself, as described above. |
|
static |
Returns a two-pentachoron triangulation of a Cappell-Shaneson 2-knot complement in the 4-sphere.
This triangulation is described and analysed in "Triangulating a Cappell-Shaneson knot complement", Budney, Burton and Hillman, Mathematical Research Letters 19 (2012), no. 5, 1117-1126.
|
static |
Returns a double cone over the given 3-manifold triangulation.
If the given 3-manifold is M
, this returns an ideal triangulation of the product M x I
(with two ideal boundary components). A copy of the original 3-manifold triangulation base can be found at the centre of this construction, formed from the tetrahedra that sit between the two ideal vertices.
Note that, as a special case, if M
is either a 3-sphere or a 3-ball, then this routine returns a 4-sphere or a 4-ball (since "ideal spheres" and "ideal balls" just become regular internal and boundary vertices respectively).
This construction is essentially the suspension of the triangulation base. We do not call it this however, since from a topological point of view, to form the ideal triangulation of M x I
we "remove" the vertices at the apex of each cone.
|
static |
Returns a two-pentachoron triangulation of the 4-sphere.
|
static |
Returns a triangulation of the product M x I
, where M is the given 3-manifold triangulation.
The boundary of this product will consist of two copies of M, both combinatorially isomorphic to the original triangulation. If n is the number of tetrahedra in M, then the first copy of M on the boundary is obtained by mapping vertices 0,1,2,3 of tetrahedron i of M to vertices 0,1,2,3 of pentachoron i, and the second copy is obtained by mapping vertices 0,1,2,3 of tetrahedron i of M to vertices 0,1,2,3 of pentachoron n+i.
The product itself will contain 82 pentachora for each original tetrahedron of M, and will contain many internal vertices. It is highly recommended that you call Dim4Triangulation::intelligentSimplify() afterwards if you do not need to preserve the combinatorial structure.
base | the 3-manifold triangulation M, as described above. |
|
static |
Returns a four-pentachoron triangulation of real projective 4-space.
|
static |
Returns a triangulation of the product M x S1
, where M is the given 3-manifold triangulation.
This simply calls iBundle() and then glues together the two copies of M on the boundary.
The product will contain 82 pentachora for each original tetrahedron of M, and will contain many internal vertices. It is highly recommended that you call Dim4Triangulation::intelligentSimplify() afterwards if you do not need to preserve the combinatorial structure.
base | the 3-manifold triangulation M, as described above. |
|
static |
Returns a two-pentachoron triangulation of the product space S^3 x S^1
.
|
static |
Returns a two-pentachoron triangulation of the twisted product space S^3 x~ S^1
.
|
static |
Returns the standard six-pentachoron triangulation of the 4-sphere as the boundary of a 5-simplex.
|
static |
Returns a single cone over the given 3-manifold triangulation.
If the given 3-manifold is M
, this returns a triangulation of the product M x I
that has one real boundary component and one ideal boundary component. The triangulation of the real boundary component will be identical to the original 3-manifold triangulation base.