bulatov v. (2011) tilings of the hyperbolic space and their visualization

7/30/2019 Bulatov v. (2011) Tilings of the Hyperbolic Space and Their Visualization

1/138

Tilings of the hyperbolic space and their visualization

Vladimir BulatovCorvallis, Oregon, USA

Joint MAA/AMS meeting, New Orleans, January 7, 2011

Abstract

Visual representation of tiling of 3D hyperbolic space attracted very little attention compare to tilings of hyperbolicplane, which were popularized by M.C.Escher circle limit woodcuts. Although there is a lot of activity on theoreticalside of the problem starting from work of H.Poincare on Kleinian groups and continuing with breakthrough ofW.Thurston in the development of low dimensional topology and G.Perelman's proof of Poincare conjecture.

The book "Indra's Pearl" have popularized visualization of 2D limit set of Kleinian groups, which is located at theinfinity of hyperbolic space. In this talk we present our attempts to build and visualize actual 3D tilings. We studytilings with symmetry group generated by reflections in the faces of Coxeter polyhedron, which also is thefundamental polyhedron of the group.

Online address of the talk:bulatov.org/math/1101/

.Bulatov. Tilings of the hyperbolic space and their visualization 1 of 138


2/138

Outline

Introduction. Who, what and when

2D tiling with Coxeter polygons3D tiling with Coxeter polyhedra

Hyperbolic polyhedra existence and construction

Building isometry group from generators

Visualization of the group and it's subgroups

Tiling zoo

Implementation in metal

V.Bulatov. Tilings of the hyperbolic space and their visualization 2 of 138


3/138

Introduction

These are some of the people involved in the development of the hyperbolic geometry and classification of symmetrygroups of hyperbolic plane and space:

N.Lobachevski, J anos Bolyai, F.Klein, H.Poincare, D.Coxeter, J .Milnor, J .Hubbard, W.Thurston, B.Mandelbrot,G.Perelman



4/138

Visualization of 2D hyperbolic t iling

The first high quality drawing of 2Dhyperbolic tiling apperas 1890 in book byFelix Klein and Robert Fricke.This is drawing of *237 tessellation fromF.Klein and R.Fricke "Vorlesungen berdie Theorie der ElliptischenModulfunctionen," Vol. 1, Leipzig(1890)



5/138

Visualization of 2D hyperbolic t ilings

M.C.Escher Circle Limit III (1958)He was inspired by drawing of hyperbolictiling in paper of H.S.M.Coxeter.



6/138


Many hyperbolic patterns by D.Dunham



7/138


C.Goodman-Strauss's graphics work.



8/138


C.Kaplan's Islamic pattern.



9/138


Martin von Gagern "Hyperbolization ofEuclidean Ornaments"



10/138

Limit set of Kleinian groups

3D tilings were visualized byrendering it's 2D limit set on theinfinity of the hyperbolic space.

One of the first know drawings oflimit set from F.Klein and R.Fricke"Vorlesungen ber die Theorie derAutomorphen Functionen"Leipzig(1897)

This hand drafted image was thebest available to mathematiciansuntil 1970s, when B.Mandelbrotstarted to make computerrenderings of Kleinian groups



11/138


B.Mandelbrot's computerrendering of Kleinian group(fromUn ensemble-limite parMichele Audin et ArnaudCheritat (2009))



12/138


Interactive applet of the kleiniangroup visualization by ArnaudCheritat. From Un ensemble-limite.



13/138


"Indra Pearl" by D.Mumford,C.Series and D.Wright (2004)popularized visualization of limit setsof Kleinian groups



14/138


Kleinian group images byJ os Leys.

His very artistic images rendered as3D images represent essentially2-dimensional limit set of Kleiniangroup.



15/138

Tiling with Coxeter Polygons

Coxeter polygon:

All angles are submultiples of

i =

mi

.

Here all four angles of euclidean

polygon are equal

2



16/138


The tiling is generated by reflectionsin the sides of the Coxeter polygon.

Here we have original tile andsecond generation of tiles.



17/138


First, second and third generation oftiles.

Condition on angles i =

mi

guaranties, that tiles fit without gaps.2mi tiles meet at each vertex.



18/138


Complete tiling - regular rectangulargrid.



19/138

Coxeter Polygons in the Hyperbolic Plane

Hyperbolic Coxeter pentagon with all

i =

2shown in the Poincare disk

model of hyperbolic plane.

The shape of the right angledpentagon has 2 independentparameters (two arbitrary sideslengths).

Lengths of any two sides can bechosen independently. The length ofthree remaining sides can be foundfrom hyperbolic trigonometryidentities.



20/138


Base tile is hyperbolically reflected inthe sides of the Coxeter polygon.



21/138


First, second and third generationsof tiles.

i =

mi

guaranties, that 2mi tiles

around each vertex fit without gapsand overlaps.



22/138


Four generations of tiles.



23/138

Coxeter ti les in the Hyperbolic Plane

Complete tiling in the Poincare discmodel of hyperbolic plane.



24/138

Coxeter ti les in the band model

To make another view of the sametiling we can conformally stretch thePoincare disk into an infinite band.



25/138


To make another view of the sametiling we can conformally stretch thePoincare disk into an infinite band.



26/138


Tiling in the band model of thehyperbolic plane.

The hyperbolic metric alonghorizontal axis of the band iseuclidean. As a result the tiling haseuclidean translation symmetry inhorizontal direction.

The tiling has translation symmetryalong each of the geodesics shown,but only horizontal translation is

obvious to our euclidean eyes.



27/138

Motion in the band model

Appropriate hyperbolic isometry cansend any 2 selected points to of

the band model.



28/138



the band model.



29/138



the band model.



30/138

Existence of Coxeter Polygons

Hyperbolic Coxeter N-gon exist for

anyN 5 and angles i =

mi

mi 2

Hyperbolic triangle exist if1

m1

+1

m2

+1

m3

< 1

Hyperbolic quadrangle exist if1

m1

+1

m2

+1

m3

+1

m4

< 2.

The space of shapes of Coxeter

N-gon has dimension N 3.



31/138

Existence of Coxeter Polygons

Example.

Tiling of hyperbolic plane withCoxeter hexagons with all angles

equal

3.



32/138

Coxeter Polyhedron

Dihedral angles ofCoxeter

polyhedron are submultiples of:

i =

mi

.

Reflections in sides of Coxeterpolyhedron satisfy conditions of

Poincare Polyhedron Theorem.

Therefore the reflected copies ofsuch polyhedron fill the spacewithout gaps and overlaps.

Example - euclidean rectangularparallelepiped.



33/138

Coxeter Polyhedra Tiling

First and second generation of tilingof the euclidean space byrectangular parallelepipeds.

We can easy imagine the rest of thetiling - infinite regular grid.



34/138

Coxeter polyhedra in H3

Coxeter polyhedra in hyperbolicspace.

Do they exist?



35/138


From Andreev's Theorem(1967) oncompact polyhedra with non-optusedihedral angles in hyperbolic spacefollows:

There exist unique compact Coxeter

polyhedron in hyperbolic space iff:1) Each vertex has 3 adjacent faces.2) Tripple of dihedral angles at eachvertex is from the set

2,

3,

3,

2,

3,

4,

2,

3,

5

,

2,

2,

n, n 2,

3) Dihedral angles for each prismatic3-cycle satisfy 1 + 2 + 3 <

4) Dihedral angles for each prismatic4-cycle satisfy 1 + 2 + 3 + 4 < 2



36/138


Example of polyhedron satisfyingAndreev's theorem.

Edges with dihedral angles =

m

are marked with m ifm > 2Unmarked edges have dihedral

angles

2.

The polyhedron is combinatoriallyequivalent to a cube with one

truncated vertex.



37/138

Example. Truncated cube in H3

Visualization of the actual geometricrealization of truncated cube in thehyperbolic space shown in thePoincare ball model.



38/138

Example. Right angled dodecahedron

Regular right angled hyperbolicdodecahedron

All dihedral angles are equal

2

All faces are regular right angledhyperbolic pentagons


3


39/138

Non-compact Coxeter polyhedra in H3

From Andreev's Theorem(1967) onpolyhedra of finite volume withnon-optuse dihedral angles inhyperbolic space follows:

There exist unique Coxeter

polyhedron in H3

if1) the additional triplets of dihedralangles are allowed:

2,

4,

4,

3,

3,

3

,

2,

3,

6

Vertices with such angles arelocated at the infinity of hyperbolicspace (ideal vertices).

2) Ideal vertices with 4 adjacentfaces and all four dihedral angles

equal

2are permitted.


E l Id l h b li t t h d


40/138

Example. Ideal hyperbolic tetrahedron

Tetrahedron with all dihedral angles

3. All 4 vertices are ideal.


E l Id l h b li t h d


41/138

Example. Ideal hyperbolic octahedron

Octahedron with all dihedral angles

2. All 6 vertices are ideal.



42/138

3 3


43/138

Coxeter polyhedra in E3 vs H3 (continued)

Coxeter polyhedra in Euclidean space Coxeter polyhedra in Hyperbolic space

Shape may have continuous parameters, for

example height of a prism.

Shape of polyhedron of finite volume is fixed

by the choice of it's dihedral angles.

Few families of infinite polyhedra

Infinite number of infinite families of infinite

polyhedra of finite and infinite volume.


3


44/138

Example: 32 Coxeter tetrahedra in H3


3


45/138

How to construct polyhedra in H3

"Hand" calculation for simpler polyhedra:

Construct small sphere around each vertex.

Intersections of adjacent faces with the

spheres form spherical triangles with angles

equal to dihedral angles.

Using spherical sines laws find sides of

spherical triangles from angles. These sides

are flat angles of polyhedron's faces.

From known flat angles of triangular faces find

their edges using hyperbolic sines laws.

From known angles and some edges find

remaining edges using hyperbolic

trigonometry.

General method: Roeder R. (2007) ConstructingHyperbolic Polyhedra Using Newton's Method.


3


46/138

Visualization of t iling in H3

Regular right angled dodecahedron.12 generators of the tiling arereflections in each of 12dodecahedron's faces


3


47/138


Regular right angled dodecahedron.First iteration of reflections.


Vi li ti f t ili i H3


48/138


Regular right angled dodecahedron.2nd iteration.



49/138


50/138



51/138


Regular right angled dodecahedron.10-th iteration.




52/138


J ust kidding!

It is a sphere, which is good

approximation to 1010 dodecahedral

tiles.


Vis ali ation of tiling in H3


53/138


Different approach - rendering onlyedges(image by Claudio Rocchini fromwikipedia.org).4 generations of tiles are shown. Notmuch is possible to see.


Visualization of tiling in H3


54/138


Another approach - looking at thetiling from inside of the space (W.Thurston, J . Weeks). This allows tosee clearly the local structure of thetiling.

Image by Tom Ruen fromwikipedia.org generated byJ effWeeks interactive software.

Similar image from "Knot plot" videowas used on cover of dozens of

math books.




55/138


Hyperbolic space tessellation as it looks frominside the space. Frame from "Not Knot" video(1994)


Visualization of tiling by subgroup


56/138


Looking from inside we can see onlynearest neighbours.

Looking from outside we can onlysee the outer boundary.

Let's try to look outside, but see notthe whole tiling, but only it's part.

We select only subset of allgenerators. The subset will generatesubgroup of the whole group.




57/138


First iteration of subgroupgeneration.




58/138


Second iteration of subgroupgeneration.




59/138


Third (and last) iteration of subgroupgeneration.




60/138

g y g p

Move center of the shape into thecenter of the Poincare ball. Shapehas obvious cubic symmetry.




61/138

g y g p

Another view of the same finitesubtiling. We have 8 dodecahedraaround center


Visualization of infinite subgroup


62/138

g p

We can select generators, whichgenerate infinite subgroup.




63/138

g p

First iteration.




64/138

g p

Second iteration.




65/138

g p

Third iteration.


Infinite Fuchsian subgroup


66/138

Few more iterations.

All tiles are lying in one hyperbolicplane.




67/138

Rotation of the tiling around thecenter of the ball.




68/138





69/138





70/138





71/138

Hyperbolic translation of plane intothe center of the ball.




72/138

Hyperbolic translation of plane intothe center of the ball.




73/138

More rotation about the center of theball.




74/138




75/138



76/138





77/138



Tiling in Cylinder Model


78/138

Stretching the Poincare ball intoinfinite cylinder.




79/138





80/138





81/138





82/138





83/138





84/138

Cylinder model is straighforwardaxially symmetric 3D generalizationof the conformal band model of thehyperbolic plane.

Cylinder model of hyperbolic space

is not conformal, it has some limitedangular distorsions. However, it hassuch a nice property as euclideanmetrics along cylinder's axis. It isespecially usefull when we want tovisualize some specific hyperbolicgeodesic which we aling in that casewith the cylinder's axis. All the

planes orthoginal to that geodesicare represented by circular disksorthogonal to the axis.




85/138

Different orientation of the sametiling inside of cylinder model ofhyperbolic space.

If cylinder's axis is aligned with theaxis of a hyperbolic transformation ofthe group, tiling will have euclideantranslational symmetry along thecylinder's axis. If it is aligned with theaxis of a loxodromic transformation,tiling will spiral around the cylinder'saxis.




86/138


This group has no loxodromictransformatons.



87/138



88/138


No period is visible.


Quasifuchsian Subgroup


89/138

Different subset of generators

generates tiling, which is not flatanymore.The limit set of the tiling is continousfractal curve. Axis of cylinder isaligned with the axis of an hyperbolictransformation of the subgroup.




90/138

Another orientation of the same

tiling.Axis of cylinder is aligned with theaxis of an hyperbolic transformationof the subgroup.Tiling is periodic along cylinder'sboundary.




91/138






92/138






93/138

Axis of cylinder is aligned with theaxis of a loxodromic transform.Tiling is spiraling around thecylinder's axis.




94/138

Axis of cylinder is aligned with theaxis of different loxodromictransform.Tiling is spiraling around thecylinder's axis at different speed.



95/138

Samples of 3D hyperbolic t ilings


96/138

Quasifuchsian tiling with 5 and 9 sidedprisms.




97/138

Quasifuchsian tiling with 5 and 18 sidedprisms.




98/138

Tiling with right angled dodecahedra.Limit set is point set.



99/138



100/138

Tiling with rhombic triacontahedra




101/138

Tiling with truncated tetrahedra. Axis

of cylinder model is vertical and it isaligned with common perpendicularto two selected planes. Theseplanes become flat in the cylindermodel and are at the top and bottomof the piece.




102/138

Tiling with different truncatedtetrahedra in cylinder model. Axis ofcylinder is aligned with axis of somehyperbolic transformation of thegroup, which makes tiling periodic.




103/138

Tiling with truncated Lambert cubes.The limit set is complex fractal.




104/138

Another tiling with truncated cubes.




105/138

Tiling with two generator free group.Shown in the cylinder model.Generators have parabollic commutator,which is responsible for cusps.




106/138

The same tiling in shown in the Poincareball model.



107/138



108/138

Tiling with two generator free groupshown in the cylinder model.Generators have almost paraboliccommutator.




109/138

Tiling with group with paraboliccommutator shown in the cylinder model.Fixed points of two parabolictransformations are located at thecylinder's axis at infinity.




110/138

Some quasifuchsian group with 5generators shown in the cylinder model.




111/138

Wild quasifuchsian group.




112/138

Wilder quasifuchsian group.




113/138

Tiling with truncated cubes in thecylinder model.Axis of the cylinder model is allignedwith common perpendicular to 2

planes. This makes both theseplanes flat.

Placing repeating pattern on thesurface reveals the *455 tilingstructure on the hyperplanes, which

corresponds to

4,

5,

5triangle formed

at the truncated vertex.




114/138

Another orientation the same tiling

with cubes in the cylinder model.

The axis of cylinder model isperpendicular to one selected plane,which make this plane at the bottomflat.




115/138

Another orientation the same tiling.*455 pattern is repeated at everyexposed plane.




116/138

Another orientation the same tiling.

To find this orientation we selected aloxodromic transformation with small

rotational and large translationalcomponents. Next we selected 2hyperbolic planes with poles nearthe 2 fixed points of thetransformation and have allignedcommon perpendicular to theseplanes with the axis of the cylindermodel.




117/138

Another orientation of the sametiling.

One plane at the bottom isperpendicular to the cylinder axis.Another plane is almost parallel thethe axis, making long tong at thetop.




118/138

Another orientation of the same tilingwith cubes in the cylinder model.

One of the hyperplanes is very close

to the cylinder's axis and is stretchedalmost to the vertical band.

On the top and at the bottom of thetiling there are flat hyperplanes,which have their commonperpendicular aligned with thecylinder's axis.


Samples of tiling at infinity


119/138

Tiling at the boundary of hyperbolicspace shown in stereographic projectionto 2D.




120/138





121/138





122/138





123/138



Implementation in Metal


124/138

Metal sculpture. 20 Dodecahedra.




125/138

Metal sculpture. First iteration of Weber-Seifert

dodecahedral tiling.




126/138

Metal sculpture. 20 hyperbolic cubes.




127/138

Metal sculpture. Tiling by Fuchsian group.




128/138

Hyperbolic bracelet.




129/138





130/138





131/138





132/138

Hyperbolic pendant.




133/138

Hyperbolic pendant.




134/138

Hyperbolic pendant.


Hyperbolic Sculpture


135/138

Hyperbolic sculpture. Color 3D print.



136/138



137/138

Hyperbolic sculpture. Color 3D print.




138/138

Online address of the talk:bulatov.org/math/1101/

bulatov v. (2011) tilings of the hyperbolic space and their visualization

Documents