symmetry and self- similarity in geometry -...
TRANSCRIPT
![Page 1: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/1.jpg)
Symmetry and self-similarity in geometry
Wouter van Limbeek University of Michigan
University of Cambridge 29 January 2018
![Page 2: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/2.jpg)
T 2 =
0
1
1
An example
![Page 3: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/3.jpg)
T 2 =
0
1
11/n
1/n
An example
![Page 4: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/4.jpg)
T 2 =
0
1
11/n
1/n
An example
![Page 5: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/5.jpg)
T 2 =
0
1
11/n
1/n
An example
![Page 6: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/6.jpg)
An example
T 2 =
T 2 =
0
1
11/n
1/n
n2 : 1
![Page 7: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/7.jpg)
An example
T 2
T 2
0
1
11/n
1/n
n2 : 1
1. 9 covers with degree > 1
2. Symmetry covers
Remarks:
![Page 8: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/8.jpg)
Genus 2�
8g � 2 : @ covers ⌃g ! ⌃g
� = 2� 2g 6= 0
Hurwitz’s 84(g � 1) Theorem (1893):
Reason:
1.
2.
⌃g Riemann surface, g � 2 =) |Aut+(⌃g)| 84(g � 1)
![Page 9: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/9.jpg)
Genus 2�
Hurwitz’s 84(g � 1) Theorem (1893):
|Aut+(⌃g)| 84(g � 1)
![Page 10: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/10.jpg)
Genus 2�
Hurwitz’s 84(g � 1) Theorem (1893):
|Aut+(⌃g)| 84(g � 1)
8X = H2/� : Area(X) � ⇡21
Key fact [ area estimate for
“orbifold” quotients
:[ #
(Image: Claudio Rocchini)
![Page 11: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/11.jpg)
Genus 2�
Hurwitz’s 84(g � 1) Theorem (1893):
|Aut+(⌃g)| 84(g � 1)
8X = H2/� : Area(X) � ⇡21
Key fact [ area estimate for
“orbifold” quotients
:[
(Image: Claudio Rocchini)
Area(⌃g/Aut+(⌃g)) =Area(⌃g)
|Aut+(⌃g)|
� ⇡/21
Connection:
#
![Page 12: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/12.jpg)
Two basic problems
9µ > 0 : 8� : vol(X/�) � µ ?
1.
#0
1
11/n
1/n
n2 : 1
Classify M that
self-cover with deg > 1.
Which Riem. mnfds X
have “minimal quotients”:
2.
![Page 13: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/13.jpg)
Problem: Classify M that self-cover with deg > 1.
![Page 14: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/14.jpg)
Problem:
dim = 2 : T 2,K
Low dimensions:
Classify M that self-cover with deg > 1.
![Page 15: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/15.jpg)
Problem:
dim = 2 : T 2,K
Low dimensions:
dim = 3 [Yu-Wang ’99] : ⌃⇥ S1,T 2 ! M!
S1
Classify M that self-cover with deg > 1.
![Page 16: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/16.jpg)
Problem:
dim = 2 : T 2,K
Low dimensions:
dim = 3 [Yu-Wang ’99] : ⌃⇥ S1,T 2 ! M!
S1
Kahler and dimC = 2, 3 [Horing-Peternell, ’11]
Classify M that self-cover with deg > 1.
![Page 17: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/17.jpg)
Problem:
dim = 2 : T 2,K
Low dimensions:
dim = 3 [Yu-Wang ’99] : ⌃⇥ S1,T 2 ! M!
S1
Kahler and dimC = 2, 3 [Horing-Peternell, ’11]
dim � 4
1. Tori Tn= Rn/Zn
�A 2 Mn(Z), deg = | det(A)|
Examples
( )
Classify M that self-cover with deg > 1.
![Page 18: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/18.jpg)
Problem:
dim = 2 : T 2,K
Low dimensions:
dim = 3 [Yu-Wang ’99] : ⌃⇥ S1,T 2 ! M!
S1
Kahler and dimC = 2, 3 [Horing-Peternell, ’11]
dim � 4
1. Tori Tn= Rn/Zn
�A 2 Mn(Z), deg = | det(A)|
Examples
( )
Nilmanifolds
2.
Classify M that self-cover with deg > 1.
![Page 19: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/19.jpg)
Problem:
Examples
:Nilmanifolds
Classify M that self-cover with deg > 1.
![Page 20: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/20.jpg)
Problem:
Examples
:
Gromov’s Expanding Maps Theorem [’81]:
f : M ! M expanding self-cover
(up to finite cover)
=) M is nilmnfd!
Nilmanifolds
Classify M that self-cover with deg > 1.
![Page 21: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/21.jpg)
Problem:
Examples
:
Gromov’s Expanding Maps Theorem [’81]:
f : M ! M expanding self-cover
(up to finite cover)
=) M is nilmnfd!expanding
v
Nilmanifolds
Classify M that self-cover with deg > 1.
![Page 22: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/22.jpg)
Problem:
Examples
:
Gromov’s Expanding Maps Theorem [’81]:
f : M ! M expanding self-cover
v
Df(v)
(up to finite cover)
=) M is nilmnfd!
expanding
Nilmanifolds
Classify M that self-cover with deg > 1.
![Page 23: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/23.jpg)
Problem:
Examples
:
Gromov’s Expanding Maps Theorem [’81]:
f : M ! M expanding self-cover
v
kDf(v)k > kvkDf(v)
(up to finite cover)
=) M is nilmnfd!
expanding
Nilmanifolds
Classify M that self-cover with deg > 1.
![Page 24: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/24.jpg)
Problem:
Examples
:
Gromov’s Expanding Maps Theorem [’81]:
(up to finite cover)
f : M ! M expanding self-cover =) M is nilmnfd!
Nilmanifolds
Classify M that self-cover with deg > 1.
![Page 25: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/25.jpg)
Problem:
Examples
:
Gromov’s Expanding Maps Theorem [’81]:
(up to finite cover)
f : M ! M expanding self-cover =) M is nilmnfd!
Are these all?Q:
Nilmanifolds
Classify M that self-cover with deg > 1.
![Page 26: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/26.jpg)
Problem:
Examples
:
Gromov’s Expanding Maps Theorem [’81]:
(up to finite cover)
f : M ! M expanding self-cover =) M is nilmnfd!
Are these all?Q:
A:T 2 ! M!
S1⌃⇥ S1 ,No! Remember:
Nilmanifolds
Classify M that self-cover with deg > 1.
![Page 27: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/27.jpg)
Problem:
Examples
:
T 2 ! M!S1
⌃⇥ S1 ,
[nilmnfd] ! M#B
Nilmanifolds
1)
2)
3)
Classify M that self-cover with deg > 1.
![Page 28: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/28.jpg)
Problem:
Examples
: [nilmnfd] ! M#B
Ambitious Conj:
Any self-cover is of this form
(up to finite cover).
Classify M that self-cover with deg > 1.
![Page 29: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/29.jpg)
Problem:
Examples
: [nilmnfd] ! M#B
Ambitious Conj:
Any self-cover is of this form
(up to finite cover)
Agol-Teichner-vL: False!
First “exotic” examples.
.
using: Baumslag–Solitar groups,
4–mnfd topology results by Hambleton–Kreck–Teichner[ [
Classify M that self-cover with deg > 1.
![Page 30: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/30.jpg)
Problem:
“coming from symmetry”� G/G
( )regulari.e./ Galois / map is quotient by a group action
New
M
M
Classify M that self-cover with deg > 1.
![Page 31: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/31.jpg)
Problem:
“coming from symmetry”
� G/G
Problem:
Surprisingly mild condition.
( )regular
New
M
M
Classify M that self-cover with deg > 1.
![Page 32: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/32.jpg)
Problem:
“coming from symmetry”
� G/G
Problem:
Surprisingly mild condition.
( )regular
� G/G
M
M
M
Idea: Iterate!
New
Classify M that self-cover with deg > 1.
![Page 33: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/33.jpg)
Problem:
“coming from symmetry”
Problem:
Surprisingly mild condition.
( )regular
Idea: Iterate!
M
M
M
M
M
Define:
all iterates are regular
()strongly regular
New
M
Classify M that self-cover with deg > 1.
![Page 34: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/34.jpg)
Problem:
M
M
Define:
all iterates are regular()strongly regular
Classify strongly reg. self-covers.
New
M
M
M
M
![Page 35: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/35.jpg)
Problem:
M
M
M
M
M
Define:
all iterates are regular()strongly regular
Thm 1 [vL]: On level of ⇡1,
strongly reg. covers come from torus endo’s
Classify strongly reg. self-covers.
:
New
M
![Page 36: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/36.jpg)
Problem:
M
M
M
M
M
Define:
all iterates are regular()strongly regular
Thm 1 [vL]: On level of ⇡1,
strongly reg. covers come from torus endo’s
Classify strongly reg. self-covers.
:
⇡1(M)
#p⇤⇡1(M)
Zk
Zk
⇣
⇣# 9A
9q
New
M
![Page 37: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/37.jpg)
Problem:
Define:
all iterates are regular()strongly regular
Thm 1 [vL]: On level of ⇡1,
strongly reg. covers come from torus endo’s
Classify strongly reg. self-covers.
:
⇡1(M)
#p⇤⇡1(M)
Zk
Zk
⇣
⇣# 9A
9q
New
M
M
M
M
M
M
ker(q)
#ker(q)
!⇠=
!
![Page 38: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/38.jpg)
Define:
all iterates are regular()strongly regular
Thm 1 [vL]: On level of ⇡1,
strongly reg. covers come from torus endo’s
:
⇡1(M)
#p⇤⇡1(M)
Zk
Zk
⇣
⇣# 9A
9q
Thm 2 [vL]: M Kahler,
p : M ! M hol. strongly reg.
=) M ⇠= N ⇥ T (up to finite cover).
M
M
M
M
M
M
ker(q)
#ker(q)
!⇠=
!
![Page 39: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/39.jpg)
Thm 1 [vL]:
⇡1(M) Zk⇣9qp : M ! M strongly reg.
=)Proof idea:
M
M
M
M
M
M
![Page 40: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/40.jpg)
Thm 1 [vL]:
⇡1(M) Zk⇣9qp : M ! M strongly reg.
=)Proof idea:
Step 1: Change perspective.M
M
M
M
M
M
![Page 41: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/41.jpg)
Thm 1 [vL]:
⇡1(M) Zk⇣9qp : M ! M strongly reg.
=)Proof idea:
Step 1: Change perspective.
M
M
M
M
Notation: � := ⇡1(M),
' := p⇤ : � ,! �
��
��
�
�/'(�)
�/'2(�)
�/'3(�)
�/'4(�)
�/'5(�)
M
M
![Page 42: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/42.jpg)
Thm 1 [vL]:
⇡1(M) Zk⇣9qp : M ! M strongly reg.
=)Proof idea:
Step 1: Change perspective.
M
M
M
M
Notation: � := ⇡1(M),
' := p⇤ : � ,! �
��
��
�
�/'(�)
�/'2(�)
�/'3(�)
�/'4(�)
�/'5(�)
M
M
⇥2
M = S1
![Page 43: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/43.jpg)
Thm 1 [vL]:
⇡1(M) Zk⇣9qp : M ! M strongly reg.
=)Proof idea:
Step 1: Change perspective.
M
M
M
M
Notation: � := ⇡1(M),
' := p⇤ : � ,! �
��
��
�
�/'(�)
�/'2(�)
�/'3(�)
�/'4(�)
�/'5(�)
Step 2: Take limit of groups.
M
M
⇥2
M = S1
![Page 44: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/44.jpg)
Thm 1 [vL]:
⇡1(M) Zk⇣9qp : M ! M strongly reg.
=)Proof idea:
Step 1: Change perspective.
M
M
M
M
Notation: � := ⇡1(M),
' := p⇤ : � ,! �
��
��
�
�/'(�)
�/'2(�)
�/'3(�)
�/'4(�)
�/'5(�)
Step 2: Take limit of groups.
,!,!
,!,!
,!
{(direct!)
⇥2
M = S1
⇣:= lim�!�/'n(�)
⌘
(i) Acts on M ,
(ii) Self-similar algebr. struct.
“�/'1”
M
M
![Page 45: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/45.jpg)
Thm 1 [vL]:
⇡1(M) Zk⇣9qp : M ! M strongly reg.
=)Proof idea:
M
M
M
M
��
��
�
�/'(�)
�/'2(�)
�/'3(�)
�/'4(�)
�/'5(�)
,!,!
,!,!
,!
(i) Acts on M ,
(ii) Self-similar algebr. struct.
“�/'1”
⇥2
M = S1
M
M
![Page 46: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/46.jpg)
Thm 1 [vL]:
⇡1(M) Zk⇣9qp : M ! M strongly reg.
=)Proof idea:
M
M
M
M
��
��
�
�/'(�)
�/'2(�)
�/'3(�)
�/'4(�)
�/'5(�)
,!,!
,!,!
,!
Step 3:
Loc. fin. gps + Fin. Gp. Actions
=)F is Artinian
+
(i) Acts on M ,
(ii) Self-similar algebr. struct.
“�/'1”
M
M
![Page 47: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/47.jpg)
Thm 1 [vL]:
⇡1(M) Zk⇣9qp : M ! M strongly reg.
=)Proof idea:
M
M
M
M
��
��
�
�/'(�)
�/'2(�)
�/'3(�)
�/'4(�)
�/'5(�)
,!,!
,!,!
,!
F is Artinian =)ˇ
Sunkov
Kegel-Wehrfritz[ [F is virt. abelian
M
M
![Page 48: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/48.jpg)
Thm 2 [vL]: M Kahler,
p : M ! M hol. strongly reg.
=) M ⇠= N ⇥ T (up to finite cover)
Proof idea:
![Page 49: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/49.jpg)
Thm 2 [vL]: M Kahler,
p : M ! M hol. strongly reg.
=) M ⇠= N ⇥ T (up to finite cover)
Proof idea:
F ✓ Hol(M)
![Page 50: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/50.jpg)
Thm 2 [vL]: M Kahler,
p : M ! M hol. strongly reg.
=) M ⇠= N ⇥ T (up to finite cover)
Proof idea:
F ✓ Hol(M) is a torus T(using Kahler geometry)
![Page 51: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/51.jpg)
Thm 2 [vL]: M Kahler,
p : M ! M hol. strongly reg.
=) M ⇠= N ⇥ T (up to finite cover)
Proof idea:
F ✓ Hol(M) is a torus T(using Kahler geometry)
T y M freelyDi�cult pt:
![Page 52: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/52.jpg)
Thm 2 [vL]: M Kahler,
p : M ! M hol. strongly reg.
=) M ⇠= N ⇥ T (up to finite cover)
Proof idea:
Lift to
eT y fM�conj
by ep
F ✓ Hol(M) is a torus T(using Kahler geometry)
T y M freelyDi�cult pt:
Geom. linear map
![Page 53: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/53.jpg)
Thm 2 [vL]: M Kahler,
p : M ! M hol. strongly reg.
=) M ⇠= N ⇥ T (up to finite cover)
Proof idea:
Lift to
eT y fM�conj
by ep
F ✓ Hol(M) is a torus T(using Kahler geometry)
T y M freelyDi�cult pt:
Thm 1 ⇡1(M)
#p⇤⇡1(M)
Zk
Zk
⇣
⇣# 9A
9qGeom. linear map
![Page 54: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/54.jpg)
Thm 2 [vL]: M Kahler,
p : M ! M hol. strongly reg.
=) M ⇠= N ⇥ T (up to finite cover)
Proof idea:
Lift to
eT y fM�conj
by epGeom. linear map
F ✓ Hol(M) is a torus T(using Kahler geometry)
T y M freelyDi�cult pt:
Thm 1 Zk
Zk
# 9AAlg. linear map
![Page 55: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/55.jpg)
Thm 2 [vL]: M Kahler,
p : M ! M hol. strongly reg.
=) M ⇠= N ⇥ T (up to finite cover)
Proof idea:
Lift to
eT y fM�conj
by epGeom. linear map
F ✓ Hol(M) is a torus T(using Kahler geometry)
T y M freelyDi�cult pt:
Thm 1 Zk
Zk
# 9AAlg. linear map=
KEY!
![Page 56: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/56.jpg)
Problem:
Which Riemannian manifolds X have
9µ > 0 : 8� : vol(X/�) � µ
“minimal quotients”:
?
Earlier: R2 NO H2 YES
#
(Image: Claudio Rocchini)
,
![Page 57: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/57.jpg)
Problem:
Which Riemannian manifolds X have
9µ > 0 : 8� : vol(X/�) � µ
“minimal quotients”:
?
Earlier:
Thm (Kazhdan-Margulis, 1968):
G semisimple (e.g. SL(n,R))
=) G and G/K have min’l quot’s
R2 NO H2 YES,
![Page 58: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/58.jpg)
Problem:
Which Riemannian manifolds X have
9µ > 0 : 8� : vol(X/�) � µ ?Thm (Kazhdan-Margulis, 1968):
G semisimple (e.g. SL(n,R))
=) G and G/K have min’l quot’s
Conj (Margulis, 1974 ICM):
X: �1 K 0, no Eucl factors=) min’l quot’s
(vol � µ(dimX))
![Page 59: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/59.jpg)
Problem:
Which Riemannian manifolds X have
9µ > 0 : 8� : vol(X/�) � µ ?Thm (Kazhdan-Margulis, 1968):
G semisimple (e.g. SL(n,R))
=) G and G/K have min’l quot’s
Conj (Margulis, 1974 ICM):
X: �1 K 0, no Eucl factors=) min’l quot’s
(vol � µ(dimX))
Gromov [’78]: �1 K < 0
![Page 60: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/60.jpg)
(e.g. SL(n,R)) =) G and G/K have min’l quot’s
Conj (Margulis, 1974 ICM):
X: �1 K 0, no Eucl factors=) min’l quot’s
(vol � µ(dimX))
Gromov [’78]: �1 K < 0
X contractible with some cmpt quot M
⇡1(M) no normal abelian subgps
Then 8 metric, �: vol(X/�) � µdimRic
injraddiam[ [
G semisimple
Thm (Kazhdan-Margulis, 1968)
Thm 3 [vL]
![Page 61: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/61.jpg)
(e.g. SL(n,R)) =) G and G/K have min’l quot’s
Conj (Margulis, 1974 ICM):
X: �1 K 0, no Eucl factors=) min’l quot’s
(vol � µ(dimX))
Gromov [’78]: �1 K < 0
X contractible with some cmpt quot M
⇡1(M) no normal abelian subgps
Then 8 metric, �: vol(X/�) � µdimRic
injraddiam[ [
G semisimple
Thm 3 [vL]
Thm (Kazhdan-Margulis, 1968)
Thm 3 [vL]
Thm (Kazhdan-Margulis, 1968)
w/o Eucl. factors
}Topo-
logy!
e.g. K 0
![Page 62: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/62.jpg)
(e.g. SL(n,R)) =) G and G/K have min’l quot’s
Conj (Margulis, 1974 ICM):
X: �1 K 0, no Eucl factors=) min’l quot’s
(vol � µ(dimX))
Gromov [’78]: �1 K < 0
X contractible with some cmpt quot M
⇡1(M) no normal abelian subgps
Then 8 metric, �: vol(X/�) � µdimRic
injraddiam[ [
G semisimple
Remark:
=)
Thm 3 [vL]
Thm (Kazhdan-Margulis, 1968)
Thm 3 [vL] Thm (Kazhdan-Margulis, 1968)
w/o Eucl. factors
}Topo-
logy!
e.g. K 0
![Page 63: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/63.jpg)
X contractible with some cmpt quot M
⇡1(M) no normal abelian subgps
Then 8 metric, �: vol(X/�) � µdimRic
injraddiam[ [
Thm 3 [vL]
Proof idea:
![Page 64: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/64.jpg)
X contractible with some cmpt quot M
⇡1(M) no normal abelian subgps
Then 8 metric, �: vol(X/�) � µdimRic
injraddiam[ [
Proof idea:
Suppose vol(X/�n) ! 0.
Geom. bounds =) gn ! g (Cheeger–Anderson)
Thm 3 [vL]
![Page 65: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/65.jpg)
X contractible with some cmpt quot M
⇡1(M) no normal abelian subgps
Then 8 metric, �: vol(X/�) � µdimRic
injraddiam[ [
Proof idea:
Suppose vol(X/�n) ! 0.
Geom. bounds =) gn ! g (Cheeger–Anderson)
Hard: �n �! G(discrete) (cnts)
Thm 3 [vL]
![Page 66: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/66.jpg)
Z2
![Page 67: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/67.jpg)
Z212
![Page 68: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/68.jpg)
1nZ
2 ! R2
(discrete) (cnts)
![Page 69: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/69.jpg)
X contractible with some cmpt quot M
⇡1(M) no normal abelian subgps
Then 8 metric, �: vol(X/�) � µdimRic
injraddiam[ [
Proof idea:
Suppose vol(X/�n) ! 0.
Geom. bounds =) gn ! g (Cheeger–Anderson)
Hard: �n �! G(discrete) (cnts)
Show: G is semisimple Lie.
Thm 3 [vL]
![Page 70: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/70.jpg)
Common framework:
M � Isom(M)
“symmetry”
![Page 71: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/71.jpg)
Common framework:
M � Isom(M)
“symmetry”
Isom(M1) Isom(M2)
Isom(
fM)
fM
M1 M2 �
�
�
![Page 72: Symmetry and self- similarity in geometry - homepages.math…homepages.math.uic.edu/~vanlimbeek/slides/selfsymm.pdf · 2018. 8. 22. · Symmetry and self-similarity in geometry Wouter](https://reader035.vdocuments.net/reader035/viewer/2022071517/613bbfe2f8f21c0c82692c57/html5/thumbnails/72.jpg)
Common framework:
M � Isom(M)
“symmetry”
“Hidden Symmetries”
Isom(M1) Isom(M2)
Isom(
fM)
fM
M1 M2 �
�
�
Lie group with natural lattice
acting on a manifold
⇡1(M) ✓ Isom(
fM) � fM