ONE FAMILY OF HYPERBOLIC ONE FAMILY OF HYPERBOLIC SPACE GROUPS WITH SPACE GROUPS WITH SIMPLICIAL DOMAINSSIMPLICIAL DOMAINS
Milica StojanovMilica Stojanoviićć
• Hyperbolic space groups are isometry groups, acting discontinuously on the hyperbolic 3-space with a compact fundamental domain. One possibility to describe them is to look for the fundamental domains of these groups. Face pairing identifications of a given polyhedron give us generators and relations for a space group by the Poincaré Theorem.
• The simplest fundamental domains are simplices. In the process of classifying the fundamental simplices, it is determined 64 combinatorially different face pairings of fundamental simplices, furthermore 35 solid transitive non-fundamental simplex identifications. I. K. Zhuk has classified Euclidean and hyperbolic fundamental simplices of finite volume up to congruence. An algorithmic procedure is given by E. Molnár and I. Prok and they have summarized all these results, arranging identified simplices into 32 families. Each of them is characterized by the so-called maximal series of simplex tilings. Besides spherical, Euclidean, hyperbolic realizations there exist also other metric realizations in 3-dimensional simply connected homogeneous Riemannian spaces, moreover, metrically non-realizable topological simplex tilings occur as well.
Introduction
E. Molnár and I. Prok, Classification of solid transitive simplex tilings in simply connected 3-spaces, Part I, Colloquia Math. Soc. János Bolyai 63. Intuitive Geometry, Szeged (Hungary), 1991. North-Holland, (1994), 311-362.
E. Molnár, I. Prok and J. Szirmai, Classification of solid transitive simplex tilings in simply connected 3-spaces, Part II, Periodica Math. Hung. 35 (1-2), (1997), 47-94.
E. Molnár, I. Prok and J. Szirmai, Classification of tile-transitive 3-simplex tilings and their realizations in homogeneous spaces, Non-Euclidean Geometries, János Bolyai Memorial Volume, Editors: A. Prékopa and E. Molnár, Mathematics and Its Applications, Vol. 581, Springer (2006), 321–363.
И. К. Жук, Правильные разбиения пространств постоянной кривизны на конгурентные тетраедры, I-II, Акаgемия наук Белорусской ССР, Институт Математики, Минск 1980, 1983. Preprints.
I. K. Zhuk, Fundamental tetrahedra in Euclidean and Lobachevsky spaces, Soviet Math. Dokl. Vol. 270 (1983), No.3, 540-543.
References 1
Let P be a polyhedron in a space S 3 of constant curvature and G be the group generated by the face identifications, satisfying conditions:
• For each face of P there is another face and identifying isometry g which maps onto and P onto Pg , the neighbour of P along .
• The isometry g-1 maps the face onto and P onto , joining the simplex P along .
• Each edge segment e1 from any equivalence class (defined below) is successively surrounded by polyhedra ,
which fill an angular region of measure 2π/ν, with a natural number ν.
Poincaré algorithm:
Then G is a discontinuously acting group on S 3, P is a fundamental domain for G and the cycle relations of type for every equivalence class of edge segments form a complete set of relations for G, if we also
add the relations to the occasional involutive generators .
Poincaré theorem
1)...( 21 rggg
1
1
1
2
11
1
1
2
1
1...,...,,,
ggggggrPPPP
rr g
ggrg
ggg
gg fefefefefefe r ,,;...;,,;,, 13221 1
2
1
21
1
1
21
1gf
1gf
1gf
1gf
gf
gf gf
gf1gP
Poincaré theorem
11gP P
11
12
ggP
11
12
1... gggrP
2
1e
11g
f1gf1
2g
f2gf
rgf
11g
f
2e
re
Truncating simplex
E. Molnár, Eine Klasse von hyperbolischen Raumgruppen, Contributions Alg. Geom., 30, (1990), 79-100 .
M. Stojanović, Some series of hyperbolic space groups, Annales Univ. Sci. Budapest, Sect. Math., 36, (1993), 85--102.
M. Stojanović, Hyperbolic realizations of tilings by Zhuk simplices, Matematički Vesnik, 49, (1997), 59—68.
M. Stojanović, Hyperbolic space groups for two families of fundamental simplices, Novi Sad J. Math., 29, 3. (1999), 337--348, XII Yugoslav Geometric Seminar, Novi Sad, Octobar 8-11, 1998.
M. Stojanović, Fundamental simplices with outer vertices for hyperbolic groups and their group extensions for truncations, FILOMAT 24/1 (2010), 1-19
M. Stojanović, Four series of hypergolic space gropus with simplicial domains, and their supergroups, Krag. J.Math. 35, 2. (2011), 303-315.
M. Stojanović, Supergroups for six series of hyperbolic simplex groups, Periodica Math. Hung., (to appear)
References 2
Simplices T30 and T47 from family F2
)1,1
,1)()(
,,()8,8,(2
2022
01
201
20
22
202030
vu
srmrsmssrmssrm
rmsrmvuTGvu )1,1;1)(
)(,,()4,4,(
212
121
22
212147
vurrs
ssrrrrsrrvuTGv
u
0A
1A
2A 3A
0m 2r
s
1s
30T
0A
1A
2A 3A
1r
2r
s1s
47T
Simplex T58 from F2
0A
1A
2A 3A
2s 1s1
1s
58T
12s
)1,2;1
)()(,()4,2,( 22
21
1212158
vu
ssssssvuTG vu
2
11
2
21
1
12
11
21
2
12
12
21
1
1
30
12
20
:
;:
;:
:
21
1
312
21
22
ss
s
ss
ss
ss
ss
sA
sAA
sAA
ffss
ffss
ffss
TTTTP
Half turn:
A1A2
A0A3
Vertex figure of T58
12
2
sA 1
3sA
21
1sA
0A2s
1s2s
1s
v
vvu
u
u
1s
12s
12s
12s
11s
Rotation:
A2A3
A0A1
Vertex figure
0A
0A
0A
0A
1A
1A
1A
1A
1m 1h
Truncated simplex O158
1m
12220smsm
11s
12s
2s 1s0m
3m2m
131
10 smsm
231
20 smsm 11311smsm
121
11 smsm
221
21 smsm
Truncated simplices O258 and O3
58
11s
2s
211ss
12
12
111
ssss
12s
11s
12s
2s 1s
1s
221ss
2122ss
2112ss
11g
1g
12112sgsg
2g1
2g
11s
12s
2s 1s
11122sgsg
21
11
12 sgsg
THANK YOU THANK YOU
FOR FOR
YOUR ATTENTION!YOUR ATTENTION!