the math behind escher's picture gallery
TRANSCRIPT
-
7/31/2019 The Math Behind Escher's Picture Gallery
1/73
The Math behind Eschers Print Gallery
Enrique Acosta
Department of Mathematics
University of Arizona
September 2009
-
7/31/2019 The Math Behind Escher's Picture Gallery
2/73
-
7/31/2019 The Math Behind Escher's Picture Gallery
3/73
What Escher wanted to do
-
7/31/2019 The Math Behind Escher's Picture Gallery
4/73
What Escher wanted to do
A self referential picture
-
7/31/2019 The Math Behind Escher's Picture Gallery
5/73
-
7/31/2019 The Math Behind Escher's Picture Gallery
6/73
-
7/31/2019 The Math Behind Escher's Picture Gallery
7/73
What Escher wanted to do
A self referential picture
-
7/31/2019 The Math Behind Escher's Picture Gallery
8/73
What Escher wanted to do
A self referential picture where the self reference is thepicture itself.
-
7/31/2019 The Math Behind Escher's Picture Gallery
9/73
What Escher wanted to do
A self referential picture where the self reference is thepicture itself.
As you go around the picture the scale increases so that whenyou return to where you started, you are now inside the selfreference.
-
7/31/2019 The Math Behind Escher's Picture Gallery
10/73
A town with a gallery and a guy looking at a picture of the townwith the gallery and him looking at the picture ...
but he is both the guy looking at the picture and the guy in the
picture!
-
7/31/2019 The Math Behind Escher's Picture Gallery
11/73
What Escher wanted to do
A self referential picture where the self reference is thepicture itself.
As you go around the picture the scale increases so that whenyou return to where you started, you are now inside the selfreference.
-
7/31/2019 The Math Behind Escher's Picture Gallery
12/73
What Escher wanted to do
A self referential picture where the self reference is thepicture itself.
As you go around the picture the scale increases so that whenyou return to where you started, you are now inside the selfreference.
As you go along each side the scale increases by a factor of 4.
-
7/31/2019 The Math Behind Escher's Picture Gallery
13/73
How he did it
-
7/31/2019 The Math Behind Escher's Picture Gallery
14/73
How he did it
Draw a straight picture and copy it to a special grid thattwists it.
-
7/31/2019 The Math Behind Escher's Picture Gallery
15/73
How he did it
Draw a straight picture and copy it to a special grid thattwists it.
Use curved grid to preserve angles.
-
7/31/2019 The Math Behind Escher's Picture Gallery
16/73
Eschers Grid
-
7/31/2019 The Math Behind Escher's Picture Gallery
17/73
The Straight picture
The self reference of Eschers picture is 256 times smaller
than the outside picture, so painting the whole straightpicture was virtually impossible.
-
7/31/2019 The Math Behind Escher's Picture Gallery
18/73
The Straight picture
The self reference of Eschers picture is 256 times smaller
than the outside picture, so painting the whole straightpicture was virtually impossible.
Instead, he drew portions of the picture at varying scales.
Th S i h i
-
7/31/2019 The Math Behind Escher's Picture Gallery
19/73
The Straight picture
The self reference of Eschers picture is 256 times smaller
than the outside picture, so painting the whole straightpicture was virtually impossible.
Instead, he drew portions of the picture at varying scales.
Using his grid we can unwind his final picture to see thestraight one.
-
7/31/2019 The Math Behind Escher's Picture Gallery
20/73
-
7/31/2019 The Math Behind Escher's Picture Gallery
21/73
-
7/31/2019 The Math Behind Escher's Picture Gallery
22/73
-
7/31/2019 The Math Behind Escher's Picture Gallery
23/73
-
7/31/2019 The Math Behind Escher's Picture Gallery
24/73
-
7/31/2019 The Math Behind Escher's Picture Gallery
25/73
-
7/31/2019 The Math Behind Escher's Picture Gallery
26/73
-
7/31/2019 The Math Behind Escher's Picture Gallery
27/73
-
7/31/2019 The Math Behind Escher's Picture Gallery
28/73
-
7/31/2019 The Math Behind Escher's Picture Gallery
29/73
-
7/31/2019 The Math Behind Escher's Picture Gallery
30/73
The Math
-
7/31/2019 The Math Behind Escher's Picture Gallery
31/73
The Math
The Math
-
7/31/2019 The Math Behind Escher's Picture Gallery
32/73
The Math
Every image that contains a copy of itself has a center.
The Math
-
7/31/2019 The Math Behind Escher's Picture Gallery
33/73
e at
Every image that contains a copy of itself has a center.
The Math
-
7/31/2019 The Math Behind Escher's Picture Gallery
34/73
Every image that contains a copy of itself has a center.
Now place the picture in the complex plane with the center at theorigin.
The Math
-
7/31/2019 The Math Behind Escher's Picture Gallery
35/73
The fact that the picture contains a copy of itself just meansthat it is invariant under multiplication by a scalar r, which we
will call the period.
The Math
-
7/31/2019 The Math Behind Escher's Picture Gallery
36/73
The fact that the picture contains a copy of itself just meansthat it is invariant under multiplication by a scalar r, which we
will call the period. Eschers twisted picture SHOULD have a complex period.
That is, it should be a picture that is invariant under both arotation and a scaling.
-
7/31/2019 The Math Behind Escher's Picture Gallery
37/73
What we will try to do
-
7/31/2019 The Math Behind Escher's Picture Gallery
38/73
Start with a straight self referential picture (i.e., with a realperiod r).
What we will try to do
-
7/31/2019 The Math Behind Escher's Picture Gallery
39/73
Start with a straight self referential picture (i.e., with a realperiod r).
Transform it with a map C C so that:
What we will try to do
-
7/31/2019 The Math Behind Escher's Picture Gallery
40/73
Start with a straight self referential picture (i.e., with a realperiod r).
Transform it with a map C C so that: The map is conformal.
What we will try to do
-
7/31/2019 The Math Behind Escher's Picture Gallery
41/73
Start with a straight self referential picture (i.e., with a realperiod r).
Transform it with a map C C so that: The map is conformal. The transformed picture has complex period.
What we will try to do
-
7/31/2019 The Math Behind Escher's Picture Gallery
42/73
Start with a straight self referential picture (i.e., with a realperiod r).
Transform it with a map C C so that: The map is conformal. The transformed picture has complex period. A loop in the transformed picture around the center
corresponds to a path around the center of the original picture
going from a point z to rz (r is the real period).
-
7/31/2019 The Math Behind Escher's Picture Gallery
43/73
Images with complex period
-
7/31/2019 The Math Behind Escher's Picture Gallery
44/73
Images with complex period
-
7/31/2019 The Math Behind Escher's Picture Gallery
45/73
A black and white image with a complex period can be
though of as a map
f : C {black, white}
such that
f(z) = f(z)
for all z C.
Images with complex period
-
7/31/2019 The Math Behind Escher's Picture Gallery
46/73
A black and white image with a complex period can be
though of as a map
f : C {black, white}
such that
f(z) = f(z)
for all z C.
If we drop the origin we can actually think of this f as afunction
f : C
/ {black, white}
where = {n | n Z} is the subgroup ofC generated by.
What is C/ for || > 1?
-
7/31/2019 The Math Behind Escher's Picture Gallery
47/73
Let = rei. We can picture C/ like below:
What is C/ for || > 1?
-
7/31/2019 The Math Behind Escher's Picture Gallery
48/73
Let = rei. We can picture C/ like below:
It is a Torus!
Coverings, Fundamental Groups
-
7/31/2019 The Math Behind Escher's Picture Gallery
49/73
exp : C C/
z [ez
] = ez
Coverings, Fundamental Groups
-
7/31/2019 The Math Behind Escher's Picture Gallery
50/73
exp : C C/
z [ez
] = ez
exp is a covering space map and also a group homomorphism.
Coverings, Fundamental Groups
-
7/31/2019 The Math Behind Escher's Picture Gallery
51/73
exp : C C/
z [ez
] = ez
exp is a covering space map and also a group homomorphism.
The kernel is the lattice L = 2iZ+ log()Z.
Coverings, Fundamental Groups
-
7/31/2019 The Math Behind Escher's Picture Gallery
52/73
exp : C C/
z [ez
] = ez
exp is a covering space map and also a group homomorphism.
The kernel is the lattice L = 2iZ+ log()Z.
The isomorphism C/L = C/ is actually an isomorphism
of Riemann surfaces (i.e. it is biholomorphic) and gives usanother way to picture the torus C/.
Coverings, Fundamental Groups
-
7/31/2019 The Math Behind Escher's Picture Gallery
53/73
exp : C C/
z [ez
] = ez
exp is a covering space map and also a group homomorphism.
The kernel is the lattice L = 2iZ+ log()Z.
The isomorphism C/L = C/ is actually an isomorphism
of Riemann surfaces (i.e. it is biholomorphic) and gives usanother way to picture the torus C/.
If || = 1, we can think ofL as the fundamental group of the
torus.
The Fundamental Group ofC/
-
7/31/2019 The Math Behind Escher's Picture Gallery
54/73
Every element ofL corresponds to a unique loop ofC/.
The Fundamental Group ofC/
-
7/31/2019 The Math Behind Escher's Picture Gallery
55/73
Every element ofL corresponds to a unique loop ofC/.
This loop is the image under the exponential map of any pathstarting at 0 and ending at the element ofL.
Alternatively, L are the endpoints of the lifts of loops in1(C
/, 1).
Back to Eschers picture
-
7/31/2019 The Math Behind Escher's Picture Gallery
56/73
Start with a picture with real period r,
f : C/r {black, white}
Transform it with a map C C so that: The map is conformal. The map sends 1 to 1. The transformed picture has complex period . The process can be reversed.
Back to Eschers picture
-
7/31/2019 The Math Behind Escher's Picture Gallery
57/73
Start with a picture with real period r,
f : C/r {black, white}
Transform it with a map C C so that: The map is conformal. The map sends 1 to 1. The transformed picture has complex period . The process can be reversed.
If this happens then we get an isomorphism (biholomorphic)
C/r C/ between Riemann surfaces sending 1 to 1.
Back to Eschers picture
By the theory of covering spaces this map lifts to a map
-
7/31/2019 The Math Behind Escher's Picture Gallery
58/73
By the theory of covering spaces this map lifts to a map
C //
exp
C
exp
C/r // C/
The top map is holomorphic and we may assume that it sends0 to 0.
This map induces isomorphism C/Lr C/L betweenRiemann surfaces.
The theory of complex tori as Riemann surfaces (or complexelliptic curves) implies that the map C C is multiplicationby a scalar which satisfies
Lr = L.
Loop Correspondence
Th l d
-
7/31/2019 The Math Behind Escher's Picture Gallery
59/73
The loop correspondence
Loop Correspondence
Th l d
-
7/31/2019 The Math Behind Escher's Picture Gallery
60/73
The loop correspondence
Loop Correspondence
Th l d
-
7/31/2019 The Math Behind Escher's Picture Gallery
61/73
The loop correspondence
implies that multiplication by sends the element2i + log(r) to the element 2i.
Loop Correspondence
The loop correspondence
-
7/31/2019 The Math Behind Escher's Picture Gallery
62/73
The loop correspondence
implies that multiplication by sends the element2i + log(r) to the element 2i.
So
=2i
2i + log(r)
Loop Correspondence
-
7/31/2019 The Math Behind Escher's Picture Gallery
63/73
=2i
2i + log(r)
Finally, since we know , and Lr = L allows us to find . So, starting with r and the loop correspondence that Escher
wanted, we can find and . So we can produce Escherspicture mathematically.
The mathematically precise grid
-
7/31/2019 The Math Behind Escher's Picture Gallery
64/73
The mathematically precise picture
-
7/31/2019 The Math Behind Escher's Picture Gallery
65/73
The mathematically precise picture
-
7/31/2019 The Math Behind Escher's Picture Gallery
66/73
-
7/31/2019 The Math Behind Escher's Picture Gallery
67/73
VIDEO
Credits
-
7/31/2019 The Math Behind Escher's Picture Gallery
68/73
Hendrik Lenstra (Elliptic curve factorization) started towonder about this on a plane when he found the picture on amagazine.
Him and Bart de Smit wrote the article The MathematicalStructure of Eschers Print Gallery which was published in theNotices of the AMS on April 2003.
They also created a webpage with lots of images and videos.http://escherdroste.math.leidenuniv.nl/
Google Escher Droste to see what people have done with
this.
-
7/31/2019 The Math Behind Escher's Picture Gallery
69/73
Variations
-
7/31/2019 The Math Behind Escher's Picture Gallery
70/73
Variations
-
7/31/2019 The Math Behind Escher's Picture Gallery
71/73
Variations
-
7/31/2019 The Math Behind Escher's Picture Gallery
72/73
Form Flickrs Escher Droste Print Gallery group (1540 images)trufflepig droste copy by manyone1
-
7/31/2019 The Math Behind Escher's Picture Gallery
73/73
VIDEO