Professional Documents
Culture Documents
Introduction
Handcuff graphs
and a type- P does not have adjacent 3-valent vertices. From now on, 4-valent
vertices will be denoted by
or in the figures.
We obtained the following theorems ([10]):
Theorem 3.2. There exist seven type- prime basic -polyhedra with up to seven
4-valent vertices as in Fig. 6.
Fig. 6:
(a) 11 a
(e) 72 a.b.c.d.e.f.g
(b) 51 a.b.c.d.e
(f) 73 a.b.c.d.e.f.g
(c) 61 a.b.c.d.e.f
(g) 74 a.b.c.d.e.f.g
(d) 71 a.b.c.d.e.f.g
Theorem 3.3. There exist seventeen type- prime basic -polyhedra with up to
seven 4-valent vertices as in Fig. 7.
Fig. 7:
(a) 31 a.b.c
(e) 62 a.b.c.d.e.f
(h) 71 a.b.c.d.e.f.g
(l) 75 a.b.c.d.e.f.g
(o) 78 a.b.c.d.e.f.g
(c) 51 a.b.c.d.e
(g) 64 a.b.c.d.e.f
(j) 73 a.b.c.d.e.f.g
(n) 77 a.b.c.d.e.f.g
(q) 710
a.b.c.d.e.f.g
(b) 41 a.b.c.d
(f) 63 a.b.c.d.e.f
(i) 72 a.b.c.d.e.f.g
(m) 76 a.b.c.d.e.f.g
(p) 79 a.b.c.d.e.f.g
7
(d) 61 a.b.c.d.e.f
(k) 74 a.b.c.d.e.f.g
Conclusion
From Theorems 3.2 and 3.3, we can obtain all prime handcuff graph diagrams
from prime basic P by substituting algebraic tangles ([1]) for their 4-valent vertices. We note that the vertex corresponds to a tangle T , and corresponds to
the mirror image of T .
We introduce the following invariant due to Yamada ([20]) in order to classify
these handcuff graphs up to ambient isotopy.
Definition 4.1. Let g be a spatial graph diagram. Then R(g) Z[x1 ] is defined
by the following recursive formulas:
(1) R() = 1, where denotes the empty graph,
( )
( )
( )
( )
(2) R
= xR
+ x1 R
+R
,
(
(3) R
(
=R
(
+R
)
, where e is a nonloop edge,
(4) R(g1 g2 ) = R(g1 )R(g2 ), where g1 g2 denotes the disjoint union of spatial
graph diagrams g1 and g2 ,
(5) R(Bn ) = (x 1 x1 )n , where B
(n is)the n-leafed bouquet.
= R(B1 ) = x + 1 + x1 .
In particular, R() = R(B0 ) = 1, R
q m q m
.
q q 1
fn = gn gn1 . . . g1 .
The elements gn and fn hold the following recursive formulas,
[n]
gn n + 1,
[n + 1]
= gn+1 fn .
gn+1 =
fn+1
(a)
(b)
Fig. 9: How to make .
The bracket polynomial l Z[A1 ] of a non-oriented link diagram l is
10
=
1
.
(1)
Since () = 1, we obtain the following proposition.
Proposition 4.5. For a handcuff graph diagram and its constituent link diagram
12 , let (2) be the link diagram obtained from by parallelizing each edge, and
(2)
12 be the link diagram obtained from 12 by (2, 0)-cabling. Then
(2)
11
(2)
{-4} (1 1 1 1 0 0 -1 -1 -1 -1),
21
41
51
61
62
63
64
65
66
67
68
69
71
72
73
74
R()
{-4} (1 1 1 1 0 0 -1 -1 -1 -1)
{-6} (1 1 1 1 1 0 0 0 -1 0 -1 0 -1 -1 0 -1)
{-8} (1 0 -1 1 0 -1 1 0 -1 0 -1 0 -1 0 2 -1 1 1 -1)
{-10} (1 -1 -3 2 0 -3 3 1 -1 1 0 1 -1 1 3 -3 2 -3 -1 1)
{-9} (1 1 0 0 0 -1 -2 0 -1 -1 0 -1 0 -1 1 1 0 2 1)
{-11} (1 -1 0 3 -2 0 1 -2 -1 -2 0 -1 -1 2 0 -1 2 1 -1 1 1)
{-10} (1 0 -1 1 1 -1 2 2 0 1 -1 0 -2 -1 1 -2 0 1 -1 -1 )
{-8} (1 1 1 1 1 0 0 0 0 0 0 0 -1 0 -1 0 -1 0 0 -1 0 -1)
{-10} (2 0 1 1 -1 0 -1 1 0 1 2 1 0 0 -1 -2 -1 -1 -1 -1)
{-10} (1 0 0 2 1 -1 2 0 -1 1 -1 1 -1 1 1 -2 0 0 -2 -1 0 -1)
{-10} (1 0 0 3 0 -1 3 -1 -1 1 -1 0 -2 0 0 -3 1 1 -2 1 1 -1)
{-9} (-2 -1 1 -3 -2 2 -2 0 3 1 2 0 2 0 -3 2 0 -2 2 1 -1)
{-12} (1 -2 -1 6 -4 -4 7 -4 -4 3 0 0 -1 4 2 -5 5 3 -7 2 3 -4 -1 1)
{-10} (1 2 -2 -1 3 -3 -1 2 -1 0 -1 1 -1 -2 3 0 -2 2 1 -2 0 1)
{-11} (1 0 -2 2 2 -3 1 3 -3 0 2 -1 0 -1 2 -2 -3 4 -2 -2 3 0 -1)
{-12} (1 -2 -2 5 -2 -3 7 -1 -2 3 0 0 -2 2 1 -6 2 2 -6 1 3 -2 0 1)
12
75
76
77
78
79
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
R()
{-11} (1 0 -1 1 1 -1 0 2 -2 -1 0 -2 -1 -2 1 -1 -1 3 0 0 2 1)
{-13} (1 -1 1 2 -4 2 2 -2 1 0 0 -3 -2 0 -3 -1 3 0 -1 3 1 -1 1 1)
{-12} (1 -1 -2 3 -1 -4 3 -1 -3 1 0 1 -1 2 3 -3 2 3 -3 0 2 -1 -1)
{-12} (1 -1 -1 5 -2 -4 6 -2 -3 3 0 0 -2 2 1 -5 3 3 -5 1 3 -3 -1 1)
{-9} (1 1 -1 0 0 -1 0 0 1 0 0 1 -1 0 1 0 0 0 0 -1 -1)
{-10} (1 1 0 0 1 0 -1 1 1 -1 1 1 -1 0 -1 0 -2 -1 1 -2 0 1)
{-12} (1 -1 0 4 -2 -2 5 -2 -2 3 0 1 -1 2 0 -5 2 0 -5 1 2 -2 0 1)
{-11} (1 0 -3 2 3 -4 1 5 -3 0 3 -1 0 -1 3 -2 -4 5 -2 -4 3 0 -2)
{-11} (1 1 -2 -1 2 -2 -3 3 -1 -2 1 -1 0 -2 2 1 -3 3 2 -2 1 2)
{-11} (1 0 -2 0 1 -3 -1 3 -2 0 2 0 1 0 3 0 -2 3 -1 -3 1 0 -1)
{-10} (1 1 -1 0 2 -1 -2 2 0 -3 1 0 -2 0 0 1 -2 1 3 -3 1 2 -1)
{-11} (1 -1 -3 2 2 -4 2 5 -4 0 2 -2 -1 -1 3 -2 -2 6 -2 -3 4 0 -2)
{-9} (-2 -1 1 -1 -2 2 -1 -2 1 -1 1 -1 2 1 -2 2 1 -1 1 2)
{-10} (1 0 -1 1 0 -2 0 0 -2 0 1 -1 0 1 0 0 -1 2 0 -1 3 -1 0 1 -1)
{-10} (1 0 -1 1 1 -1 1 2 -1 0 1 -1 -1 0 -1 -1 -2 1 0 -2 3 0 0 1 -1)
{-12} (-1 2 0 -3 3 -1 -2 2 1 1 0 2 1 -3 0 1 -3 0 2 -1 -1 1 0 -1)
{-11} (2 -2 -2 4 -3 -2 2 -1 -1 -1 2 0 -2 3 1 -3 2 2 -2 0 2 0 -1)
{-12} (1 -1 -1 3 -2 -2 4 -3 -2 2 -2 0 -1 2 1 -3 3 1 -3 2 2 -2 1 1 -1)
{-11} (1 -1 -2 2 0 -3 3 2 -3 3 1 -1 1 0 2 -3 -1 3 -4 -1 3 -2 0 1 -1)
{-12} (1 -1 0 3 -3 -1 5 -2 4 -1 0 -2 0 -2 -5 3 0 -3 3 2 -2 1 1 -1)
{-11} (-1 2 1 -5 2 3 -6 1 3 -3 0 0 2 -2 -1 6 -3 -2 5 -1 -3 2 1 -1)
{-12} (1 0 0 2 -2 -1 3 -3 -1 2 -2 0 -1 1 0 -2 3 0 -2 2 1 -2 1 1 -1)
{-11} (-1 1 1 -3 2 3 -4 1 2 -3 0 0 2 -1 -1 4 -3 -2 3 -1 -2 2 1 -1)
{-10} (1 0 -1 2 1 -2 1 1 -3 -1 1 -2 -1 1 0 0 -1 3 -2 4 -1 -1 1 -1)
{-12} (-1 2 -1 -3 5 -1 -2 3 0 -1 -2 1 0 -3 2 2 -3 1 3 -2 -1 2 0 -1)
{-11} (1 -1 -2 3 -1 -4 4 1 -4 4 2 -1 2 1 3 -3 0 4 -6 -1 3 -4 -1 1 -1)
{-10} (-2 0 4 -3 -2 6 -1 -3 6 1 -2 2 0 0 -5 2 3 -7 3 3 -5 0 1 -1)
{-11} (-2 1 2 -6 0 4 -7 0 4 -2 1 1 4 -1 -2 6 -2 -4 5 0 -4 2 1 -1)
{-11} (1 -2 -2 5 -2 -5 7 0 -6 5 1 -3 1 1 2 -5 1 6 -8 1 6 -5 0 2 -1)
{-11} (-2 3 4 -8 2 6 -10 0 5 -3 0 2 5 -2 -3 8 -4 -7 7 -1 -6 3 2 -1)
{-11} (-1 -1 -1 -1 -1 -1 0 0 0 1 1 1 2 1 1 0 0 0 -1)
{-12} (-1 0 1 0 0 1 1 -1 1 0 -1 0 -1 0 -2 0 1 -1 1 1)
13
14
15
Appendix
We give an enumeration of handcuff graphs with up to seven crossings by using our notation. Links in the second column correspond to Rolfsens knot table
([15]), and handcuff graphs in the last column correspond to Table 1. A link L
and a handcuff graph denote mirror images of L and , respectively. Moreover,
#n (n = 2, 3) denotes an order n vertex connected sum ([19]), and 31 (resp. 41 )
denotes the -curve 31 (resp. 41 ) ([11]).
Table 3: Handcuff graphs with up to seven crossings.
notation
constituent link handcuff graph
1
1 2
221
21
1
1 4
421
41
1
2
1 2 1 2
51
51
1
2
1 6
61
65
11 3 3
622
67
1
2
1 2 2 2
63
68
1
2
61
66
1 3, 3
1
2
1 2 1, 2 1
63
69
1
2
41
41
3 2 0.2.1
31 2 0.2.1
021
21 #3 21
31 2 0.2 0.2
221
62
1
2
64
3 2 1 0.2 0.1
41
41 3.1.1.1
221
62
1
2
21
63
4 3 0.1.1.1
1
2
4 3 0.1.1.1
64
41
1
2
4 2.2.1.1
41
64
1
2
4 2 0.2.1.1
21
63
1
2
21
62
4 2 0.2.1.1
41 2 0.1.1.2 0
021
61
1
2
41
64
4 2 0.1.1.2 0
2
1
61
01
6 1.1.1.1.1.1
2
3
51
51
6 1.1.1.1.1.1
21 #3 31
221
63 1.1.1.1.1.1
21 #3 31
221
63 1.1.1.1.1.1
16
1 (3, 2) 2
77
735
11 (3, 2) 2
736
728
1
2
1 (2 1, 2) 2
75
730
1
2
78
736
1 (2 1, 2) 2
1
2
3 2 2.2.1
51
714
1
2
3 2 1.2.2
21
63
1
2
3 2 1.2.2
21
77
31 2 1.2.2
221
77
1
2
73
3 2 1.2.2
21
64
31 3.2 0.2
421
1
2
3 3 0.2 0.2
41
710
1
2
3 3 0.2 0.2
64
41
1
2
75
3 2 1 0.2 0.2
21
41 2 1 1.1.1.1
221
73
1
2
4 2 1 1 0.1.1.1
21
74
714
41 2 1 1 0.1.1.1
521
41 3.2 0.1.1
421
710
1
2
41
711
4 3 0.2 0.1.1
2
1
21
4 3 0.2 0.1.1
77
77
221
41 2 1.2.1.1
1
2
4 2 1 0.2.1.1
41
711
1
2
4 2 1 0.2.1.1
41
710
2
1
75
21
4 3.2.1.1
17
4 2 1.1.1.2 0
51
714
1
2
4 2.2 1 0.1.1
51
714
41 2 0.2 1 0.1.1
221
74
1
2
4 2 0.2 1 0.1.1
21
73
1
2
4 2 0.2.2.1
41
711
1
2
4 2 0.2.2.1
01
72
41 2 0.2.2 0.1
221
76
1
2
4 2 0.2.2 0.1
21
79
41 2.2 0.1.2 0
521
715
41 2.2 0.1.2 0
421
710
1
2
4 2 0.2.1.2 0
21
78
41 2 0.2.1.2 0
221
77
1
2
75
4 2 0.2.1.2 0
21
1
2
4 2 0.2.1.2 0
21
21 #3 31
725
731
51 2.2.1.1.1
1
2
5 2.2.1.1.1
78
736
1
2
5 2.2.1.1.1
735
77
51 2.1.2.1.1
725
732
1
2
736
5 2.1.2.1.1
78
1
2
5 2.1.2.1.1
63
69
1
2
5 2.1.2.1.1
51
51
51 2.1.1.2 0.1
722
725
51 2.1.1.2 0.1
622
717
1
2
5 2 0.1.2.1.1
74
729
735
727
51 2 0.1.2.1.1
1
2
5 2 0.2 0.1.1.1
721
71
2
1
717
62
5 2 0.2 0.1.1.1
221
51 2 1 0.1.1.1.1
77
2
1
77
21
5 2 1 0.1.1.1.1
2
1
72
01
5 2 0.2 0.1.1.1
421
51 2 0.2 0.1.1.1
713
18
5 2 0.1.2 0.1.1
21
21 #3 31
1
2
5 2 0.1.2 0.1.1
21
62
1
2
5 2 0.1.1.2 0.1
21
73
1
2
5 2 0.1.1.2 0.1
21
77
62
51 2 0.1.1.2 0.1
221
51 2 0.1.1.2 0.1
221
21 #3 31
51 2 0.1.1.1.2 0
421
713
1
2
5 2 0.1.1.1.2 0
01
72
1
2
5 1.2 0.2 0.1.1
63
69
1
2
41
64
5 1.2 0.2 0.1.1
51 1.2 0.2 0.1.1
521
51
1
2
51
51
5 1.2 0.2 0.1.1
1
2
5 1.1.1.2 0.2 0
63
69
1
2
51
51
5 1.1.1.2 0.2 0
1
2
5 1.1.1.2 0.2 0
64
41
51 1.1.1.2 0.2 0
521
51
1
2
5 1.1.2.1.2 0
62
717
1
2
5 1.2 0.1.2.1
62
717
61 2.1.1.1.1.1
726
733
1
2
6 2.1.1.1.1.1
21
21 #3 31
61 2.1.1.1.1.1
728
736
1
2
6 2.1.1.1.1.1
21 #2 31
21 #3 31
61 2.1.1.1.1.1
021
71
1
2
6 2.1.1.1.1.1
01
72
61 1.1.2.1.1.1
221
78
1
2
51
716
6 2 0.1.1.1.1.1
2
1
21
6 1.1.2 0.1.1.1
78
62
221
61 1.1.2 0.1.1.1
2
2
21
6 1.2.1.1.1.1
77
2
2
72
01
6 1.1.2.1.1.1
221
62 1.1.1.2 0.1.1
73
2
2
21
6 1.1.1.2 0.1.1
62
19
6 1.1.1.1.1.2
21
21 #3 41
2
3
21 #3 41
01
6 1.1.1.1.1.2
3
2
6 1.1.1.1.1.2
21
21 #3 31
63 1.1.1.2 0.1.1
221
21 #3 41
63 1.1.1.2 0.1.1
221
21 #3 41
3
2
6 1.1.1.1.1.2 0
01
72
3
2
6 1.1.1.1.1.2 0
01
21 #3 41
63 1.1.1.1.1.2 0
221
21 #3 41
63 1.1.1.1.1.2 0
221
21 #3 31
4
2
6 2.1.1.1.1.1
63
21
4
2
6 2.1.1.1.1.1
21
21
4
2
6 2.1.1.1.1.1
21
21 #3 31
4
2
6 2.1.1.1.1.1
41
41
4
2
6 2.1.1.1.1.1
21
21 #3 31
64 2.1.1.1.1.1
021
trivial
4
2
41
64
6 2.1.1.1.1.1
4
2
6 2.1.1.1.1.1
51
51
64 1.2.1.1.1.1
021
61
64
64 1.2.1.1.1.1
421
4
2
6 1.2.1.1.1.1
62
41
64 1.2.1.1.1.1
521
51
726
734
73 1.1.1.1.1.1.1
3
2
7 1.1.1.1.1.1.1
735
77
73 1.1.1.1.1.1.1
727
735
3
2
7 1.1.1.1.1.1.1
78
736
2
2
7 1.1.1.1.1.1.1
71
01
2
2
21 #3 31
21
7 1.1.1.1.1.1.1
221
72 1.1.1.1.1.1.1
79
2
21 #3 21 #3 21
021
7 1.1.1.1.1.1.1
77 1.1.1.1.1.1.1
521
51
7
2
7 1.1.1.1.1.1.1
41
64
20
Acknowledgement
The author would like to thank Professor Taizo Kanenobu and Professor Akio
Kawauchi for their valuable advice and encouragement.
References
[1] J. H. Conway, An enumeration of knots and links, and some of their algebraic properties, Computational Problems in Abstract Algebra (Proc. Conf.
Oxford 1967), Pergamon Press, 1969, 329358.
[2] H. Goda, Bridge index for the theta curves in the 3-sphere, Topology Appl.
79 (1997) 177196.
[3] T. Harikae, On rational and pseudo-rational -curves in the 3-sphere, Kobe
J. Math. 7 (1990) 125138.
[4] T. Harikae, On the triviality of bouquets and tunnel number one links, Interdiscip. Inform. Sci, 7 (2001), no.1, 13.
[5] L. H. Kauffman, State models and the Jones polynomial, Topology 26
(1987) 395407.
[6] L. H. Kauffman, Invariants of graphs in three-space, Trans. Amer. Math.
Soc. 311 (1989) 697710.
[7] K. Kodama, KNOT program, available from
http://www.math.kobe-u.ac.jp/kodama/knot.html.
[8] W. B. R. Lickorish, Three-manifolds and the Temperley-Lieb algebra,
Math. Ann. 290 (1991), no. 4, 657670.
[9] R. A. Litherland, A table of all prime theta-curves in S 3 up to 7 crossings,
a letter, 1989.
[10] H. Moriuchi, An enumeration of theta-curves with up to 7 crossings (in
Japanese), Masters Thesis, Osaka City Univ., 2004.
[11] H. Moriuchi, Enumeration of algebraic tangles with applications to thetacurves and handcuff graphs, Kyungpook Mathematical Journal (to appear).
21
22