ELEMENTARY DISKS IN TRUNCATED TRIANGULATIONS

Journal of the Korean Society of Mathematical Education Series B The Pure and Applied Mathematics.
2015.
Feb,
22(1):
91-99

- Received : February 04, 2015
- Accepted : February 08, 2015
- Published : February 28, 2015

Download

PDF

e-PUB

PubReader

PPT

Export by style

Share

Article

Metrics

Cited by

TagCloud

A normal surface is determined by how the surface under consideration meets each tetrahedron in a given triangulation. We call such a nice embedded disk, which is a component of the intersection of the surface with a tetrahedron, an
elementary disk
. We classify all elementary disk types in a truncated ideal triangulation.
Q
-thoery by J.L. Tollefson
[5]
, it could be extended to non-compact 3-manifolds with an ideal triangulation
[3]
including hyperbolic 3-manifolds. To obtain desired results, we often need to work on a “good triangulation” like 0- or 1-efficient triangulations
[2]
or reconstruct triangulation by using phachner moves, by crushing or by subdividing, etc. In
[4]
, the normal surface theory is extended to truncated triangulations which is obtained by cutting off ideal vertices from ideal triangulation. In this paper, we classify all elementary disk types for each truncated tetrahedron to support the theory on truncated triangulation in
[4]
. Even a huge number of elementary disk types it is necessary to work on truncated tetrahedra rather than subdivision into ordinary tetrahedra since the truncated triangulation preserves the structure of original ideal triangulation so that we can pull back the results on the truncated triangulation to the original ideal triangulation.
M
be a hyperbolic 3-manifold with an ideal triangulation
and
a compact 3-manifold obtained by removing regular neighborhoods of ideal vertices so that the resulting triangulation is a truncated triangulation
with truncated tetrahedra. We will describe all simple closed normal curves, up to normal isotopies, on the boundary of a truncated tetrahedron, since each elementary disk is determined by its boundary curve which is a simple closed normal curve on the boundary of the truncated tetrahdron.
Let
τ
be a truncated tetrahedron which has four triangular faces and four hexagonal faces on the boundary. Denote the triangles on
∂τ
by
T_{i}
and the vertices of
T_{i}
by {
a
_{ii1}
,
a
_{ii2}
,
a
_{ii3}
}, for
i
,
i_{j}
= 1, 2, 3, 4 (
j
= 1, 2, 3) and
i
≠
i_{j}
, where
a_{iij}
and
a_{iji}
are on the same edge of
τ
(see
Figure 1
).
Truncated tetrahedron τ
Each simple closed normal curve devides
∂τ
into two regions, say
R
_{1}
and
R
_{2}
so that the vertices of
τ
split into two. Denote the number of vertices of
τ
belonging to the region
R_{i}
by
n_{i}
,
i
= 1, 2. We have 6 ordered pairs for (
n
_{1}
,
n
_{2}
) up to symmetry; (1, 11), (2, 10), (3, 9), (4, 8), (5, 7), (6, 6). We will describe the number
n
_{1}
as the sum of the number of vertices in each triangle
T_{i}
, say
t_{i}
,
i
= 1, 2, 3, 4, and classfy all simple closed normal curve types according to the following 4-tuple (
t
_{1}
,
t
_{2}
,
t
_{3}
,
t
_{4}
), where
t_{i}
is the number of vertices in
T_{i}
∩
R
_{1}
,
i
= 1, 2, 3, 4, and
t
_{1}
+
t
_{2}
+
t
_{3}
+
t
_{4}
=
n
_{1}
.
Case 1. (
n
_{1}
,
n
_{2}
) = (1, 11)
In this case, we will have a triangular disk type in every vertex of the truncated tetrahedron
τ
so that there are 12 types of triangles in total.
Case 2. (
n
_{1}
,
n
_{2}
) = (2, 10)
Here, we have 3 types of quadrilaterals in each class of (
t
_{1}
,
t
_{2}
,
t
_{3}
,
t
_{4}
) = (2, 0, 0, 0),
Quadrilaterals for (2, 0, 0, 0) and (0, 1, 0, 1)
A triangle for (3, 0, 0, 0) and pentagons for (2, 1, 0, 0)
(0, 2, 0, 0), (0, 0, 2, 0), (0, 0, 0, 2) and 1 type of quadrilateral in each class of (
t
_{1}
,
t
_{2}
,
t
_{3}
,
t
_{4}
) = (1, 1, 0, 0); (1, 0, 1, 0), (1, 0, 0, 1), (0, 1, 1, 0), (0, 1, 0, 1), (0, 0, 1, 1). Hence, there are total 18 types of quadrilaterals in this case.
Case 3. (
n
_{1}
,
n
_{2}
) = (3, 9)
In this case, we have triangles and pentagons. There is 1 type of triangle in each class of (
t
_{1}
,
t
_{2}
,
t
_{3}
,
t
_{4}
) = (3, 0, 0, 0), (0, 3, 0, 0), (0, 0, 3, 0), (0, 0, 0, 3) and 2 types of pentagons in each class of (
t
_{1}
,
t
_{2}
,
t
_{3}
,
t
_{4}
) = (2, 1, 0, 0), (2, 0, 1, 0), (2, 0, 0, 1), (1, 2, 0, 0), (0, 2, 1, 0), (0, 2, 0, 1), (1, 0, 2, 0), (0, 1, 2, 0), (0, 0, 2, 1), (1, 0, 0, 2), (0, 1, 0, 2), (0, 0, 1, 2). Note that there are no type of elementary disks in the class of (
t
_{1}
,
t
_{2}
,
t
_{3}
,
t
_{4}
) = (1, 1, 1, 0), (1, 1, 0, 1), (1, 0, 1, 1), (0, 1, 1, 1). Hence, there are total 4 types of triangles and 24 types of pentagons in the case of (
n
_{1}
,
n
_{2}
) = (3, 9).
It is not so easy to figure out all types of disks directly for the following three cases. So we will describe each type of disks by classifying all the vertices in the region
R
_{1}
.
Case 4. (
n
_{1}
,
n
_{2}
) = (4, 8)
A quadrilatral for the class (3, 0, 1, 0) with vertices {a _{12}, a _{13}, a _{14}} ∪ {a _{31}} in the region R _{1}
In this case, we have 4 subcases in the way of distributing 4 vertices into 4 triangles
T
_{1}
,
T
_{2}
,
T
_{3}
,
T
_{4}
as follows; {3, 1, 0, 0}, {2, 2, 0, 0}, {2, 1, 1, 0} and {1, 1, 1, 1} with no order.
(1) Subcase of {3, 1, 0, 0} : This is the case that 3 vertices in
T_{i}
and 1 vertex in
T_{j}
for
i
≠
j
and
i
,
j
= 1, 2, 3, 4. We have 12 different classes for this case and only one choice of 4 vertices in
R
_{1}
, say {
a
_{ii1}
,
a
_{ii2}
,
a
_{ii3}
} ∪ {
a_{ji}
}, for each
i
,
j
= 1, 2, 3, 4 with
i
≠
j
. Since the curve bounding the vertices is of lengh 4, there are 12 types of quadrilaterals in total for this case.
(2) Subcase of {2, 2, 0, 0} : In this case, we have 4 different classes (2, 2, 0, 0), (2, 0, 2, 0), (2, 0, 0, 2), (0, 2, 2, 0), (0, 2, 0, 2), (0, 0, 2, 2). For each class, we have 4 types of hexagonal disks (see
Figure 5
). Note that if we have 2 vertices {
a
_{ii1}
,
a
_{ii2}
} from a triangle
T_{i}
, then the remaining two vertices must be either {
a
_{i1i}
,
a
_{i1*}
} from
T
_{i1}
or {
a
_{i2i}
,
a
_{i2*}
} from
T
_{i2}
for 2 choices of *. After counting overlaping cases, we have 24 types of hexagonal disks in total.
A hexagonal disk for the class (2, 2, 0, 0) with 4 vertices {a _{12}, a _{13}} ∪ {a _{21}, a _{24}}
(3) Subcase of {2, 1, 1, 0} : If we choose two vertices {
a
_{ii1}
,
a
_{ii2}
} from a triangle
T_{i}
, then the remaning two vertices are automatically determined as {
a
_{i1i}
} from
T
_{i1}
and {
a
_{i2i}
} from
T
_{i2}
(see
Figure 6
). Since we have 3 choices for two vertices from a triangle, there are 12 hexagonal disk types in this case.
A hexagonal disk for the class (2, 1, 1, 0)
Case 5. (
n
_{1}
,
n
_{2}
) = (5, 7)
For this pair, we have 5 vertices in the region
R
_{1}
. We distribute these 5 vertices into 4 triangles in 4 different types; {3, 2, 0, 0}, {3, 1, 1, 0}, {2, 2, 1, 0} and {2, 1, 1, 1} with no order.
(1) Subcase of {3, 2, 0, 0} : For a chosen 3 vertices {
a
_{ii1}
,
a
_{ii2}
,
a
_{ii3}
} from a triangle
T_{i}
, we have 6 choices for the remaining 2 vertices; two of {
a
_{i1i}
,
a
_{i1*}
} from
T
_{i1}
, two of {
a
_{i2i}
,
a
_{i2*}
} from
T
_{i2}
and {
a
_{i3i}
,
a
_{i3*}
} from
T
_{i3}
. We can easly see that the curve bounding these 5 vertices forms a pentagon (see
Figure 7
). Hence, we have 24 types of pentagons for this subcase.
A pentagon for the class (3, 2, 0, 0) with vertices {a _{12}, a _{13}, a _{14}} ∪ {a _{21}, a _{23}}
(2) Subcase of {3, 1, 1, 0} : In this case, for a fixed bunch of 3 vertices {
a
_{ii1}
,
a
_{ii2}
,
a
_{ii3}
} from a triangle
T_{i}
, we can pick up the remaining two vertices from {
a
_{i1i}
,
a
_{i2i}
,
a
_{i3i}
}. This arranges 12 types of pentagons.
A pentagon for the class (3, 1, 1, 0) with vertices {a _{12}, a _{13}, a _{14}} ∪ {a _{21}} ∪ {a _{31}}
(3) Subcase of {2, 2, 1, 0} : Choosing 5 vertives for this case can only happen by adding 1 vertex to a bunch of 4 vertices from the subcase {2, 2, 0, 0} of Case 4. We have different patterns of choosing the remaining 1 vertex in each case of {2, 2, 0, 0}. If 4 vertices are {
a
_{ii1}
,
a
_{ii2}
} ∪ {
a
_{i1i}
,
a
_{i1i2}
} so that 4 vertices are on the same face of tetrahedron, then we have 2 choices for the remaining 1 vertex, either {
a
_{i2i}
} or {
a
_{i2i1}
} (see
Figure 9
). If 4 vertices are {
a
_{ii1}
,
a
_{ii2}
} ∪ {
a
_{i1i}
,
a
_{i1j}
} for
j
≠
i
,
i
_{2}
, then we have also 2 choices for the remaining 1 vertex, either {
a
_{ji1}
} or {
a
_{i2i}
} (see
Figure 10
). Therefore, we have total 48 types of heptagons.
Heptagons for the class {2, 2, 1, 0} with vertices {a _{12}, a _{13}} ∪ {a _{21}, a _{23}} ∪ {*}
Heptagons for the class {2, 2, 1, 0} with vertices {a _{12}, a _{13}} ∪ {a _{21}, a _{24}} ∪ {*}
(4) Subcase of {2, 1, 1, 1} : In this case, no elementary disks appear.
Case 6. (
n
_{1}
,
n
_{2}
) = (6, 6)
This is the last case to consider. Since the numbers of vertices in the region
R
_{1}
and
R
_{2}
are same as 6, there are symmetries between some classes. There are 5 cases distributing 6 vertices into 4 triangles; {3, 3, 0, 0}, {3, 2, 1, 0}, {3, 1, 1, 1}, {(2, 2, 2, 0)} and {2, 2, 1, 1}. But due to the symmetries between the classes of {3, 1, 1, 1} and the classes of {(2, 2, 2, 0)}, we only consider the following 4 subcases; {3, 3, 0, 0}, {3, 2, 1, 0}, {3, 1, 1, 1} and {2, 2, 1, 1}.
(1) Subcase of {3, 3, 0, 0} : This just brings quadrilaterals in the ordinary tetrahedron. Hence we have 3 types of quadrilaterals for this case.
(2) Subcase of {3, 2, 1, 0} : Each class of this case is obtained by adding 1 vertex to a class of {3, 2, 0, 0} in Case 5. If we have a class with 5 vertices {
a
_{ii1}
,
a
_{ii2}
,
a
_{ii3}
} ∪ {
a
_{i1i}
,
a
_{i1j}
}, then there are 3 choices for the last vertex; either {
a_{ji}
} or {
a
_{ji1}
} or {
a_{ki}
} for
k
≠
i
,
i
_{1}
,
j
(see
Figure 11
). In tatal we have 72 cases. But there are symmetries between (3, 2, 1, 0) and (0, 1, 2, 3), (3, 2, 0, 1) and (0, 1, 3, 2), (3, 1, 2, 0) and (0, 2, 1, 3), etc. Therefore we have only 36 types of hexagons for this case.
Hexagons for the class {3, 2, 1, 0} with vertices {a _{12}, a _{13}, a _{14}} ∪ {a _{21}, a _{23}} ∪ {*}
(3) Subcase of {3, 1, 1, 1} : We can easly see that there is only one choice of {*, 1, 1, 1} for a fixed case of {3, *, *, *} which is determined by a hexagon. Hence there are 4 types of hexagons for this case.
(4) Subcase of {2, 2, 1, 1} : To classify all the vertices in the region
R
_{1}
for this case, we will add one more vertex to a class of {2, 2, 1, 0}. But this setup is not applicable to all the class of {2, 2, 1, 0}. If the vertices of a class of {2, 2, 1, 0} are all on the same face of tetrahedron, then we cannot add the last vertex from the remaining empty triangle to build a simple closed normal curve. Hence we only consider the classes with vertices {
a
_{ii1}
,
a
_{ii2}
} ∪ {
a
_{i1i}
,
a
_{i1j}
} ∪ {*} for
j
≠
i
,
i
_{2}
. There were two choices for *, either {
a
_{i2i}
} from
T
_{i1}
or {
a
_{ji1}
} from
T_{j}
in the case of {2, 2, 1, 0}. Here, we will combine the two cases to get a class of {2, 2, 1, 1}, just the class with vertices {
a
_{ii1}
,
a
_{ii2}
} ∪ {
a
_{i1i}
,
a
_{i1j}
} ∪ {
a
_{i2i}
} ∪ {
a
_{ji1}
} (see
Figure 12
). This gives an octagon splitting the boundary of tetrahedron into two regions each having 6 vertices. We have all 12 types of octagons in this case.
A octagon for the class (2, 2, 1, 1) with vertices {a _{12}, a _{13}} ∪ {a _{21}, a _{24}} ∪ {a _{31}} ∪ {a _{42}}
To conclude, there are 16 types of triangles, 33 types of quadrilaterals, 60 types of pentagons, 76 types of hexagons, 48 types of heptagons and 12 types of octagons in a truncated tetrahedron. In total, there are 245 types of elementary disks in a truncated tetrahedron and 245
t
types of elementaty disks in a truncated triangulation
with
t
truncated tetrahedra.
This study was supported by research funds from Chosun University, 2012.

1. INTRODUCTION

Normal surface theory is a powerful tool to study 3-manifolds in combinatorial method. The ordinary normal surface theory was introduced by Haken considering compact 3-manifolds with a triangulation
[1]
. But by being developed the normal surface
2. ELEMENTARY DISK TYPES IN TRUNCATED TETRAHEDRA

Let
PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

Acknowledgements

The author would like to thank Hyam Rubinstein for helpful conversations.

Haken W.
1961
Theorie der normal flachen
Acta Math.
105
245 -
375
** DOI : 10.1007/BF02559591**

Jaco W.
,
Rubinstein J.H.
2003
0-efficient triangulations of 3-manifolds
J. Diff. Geom.
65
61 -
168

Kang E.
2005
Normal surfaces in non-compact 3-manifolds
J. Aust. Math. Soc.
78
(3)
305 -
321
** DOI : 10.1017/S1446788700008557**

Kang E.
,
Rubinstein J.H.
Spun normal surfaces in 3-manifolds I: 1-effcient triangulations
submitted

Tollefson J.L.
1998
Normal surface Q-theory
Pacific J. Math.
183
359 -
374
** DOI : 10.2140/pjm.1998.183.359**

Citing 'ELEMENTARY DISKS IN TRUNCATED TRIANGULATIONS
'

@article{ SHGHCX_2015_v22n1_91}
,title={ELEMENTARY DISKS IN TRUNCATED TRIANGULATIONS}
,volume={1}
, url={http://dx.doi.org/10.7468/jksmeb.2015.22.1.91}, DOI={10.7468/jksmeb.2015.22.1.91}
, number= {1}
, journal={Journal of the Korean Society of Mathematical Education Series B The Pure and Applied Mathematics}
, publisher={Korean Society of Mathematical Education}
, author={KANG, ENSIL}
, year={2015}
, month={Feb}