Rigidity of Circle Packings Ken Stephenson University of Tennessee - - PowerPoint PPT Presentation

rigidity of circle packings
SMART_READER_LITE
LIVE PREVIEW

Rigidity of Circle Packings Ken Stephenson University of Tennessee - - PowerPoint PPT Presentation

Rigidity of Circle Packings Ken Stephenson University of Tennessee Oded Schramm Memorial, 8/2009 Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 1 / 31 Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 2


slide-1
SLIDE 1

Rigidity of Circle Packings

Ken Stephenson

University of Tennessee

Oded Schramm Memorial, 8/2009

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 1 / 31

slide-2
SLIDE 2

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 2 / 31

slide-3
SLIDE 3

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 3 / 31

slide-4
SLIDE 4

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 4 / 31

slide-5
SLIDE 5

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 5 / 31

slide-6
SLIDE 6

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 6 / 31

slide-7
SLIDE 7

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 7 / 31

slide-8
SLIDE 8

Circle Packing – Background

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 8 / 31

slide-9
SLIDE 9

Circle Packing – Background

Definition: A circle packing is a configuration P of circles satisfying a specified pattern of tangencies.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 8 / 31

slide-10
SLIDE 10

Circle Packing – Background

Definition: A circle packing is a configuration P of circles satisfying a specified pattern of tangencies.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 8 / 31

slide-11
SLIDE 11

Circle Packing – Background

Definition: A circle packing is a configuration P of circles satisfying a specified pattern of tangencies.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 9 / 31

slide-12
SLIDE 12

Existence and Uniqueness

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 10 / 31

slide-13
SLIDE 13

Existence and Uniqueness

Theorem: [KAT, Koebe-Andreev-Thurston] Given any triangulation K of a topological sphere, there exists a univalent circle packing PK of the Riemann sphere having the combinatorics of K.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 10 / 31

slide-14
SLIDE 14

Existence and Uniqueness

Theorem: [KAT, Koebe-Andreev-Thurston] Given any triangulation K of a topological sphere, there exists a univalent circle packing PK of the Riemann sphere having the combinatorics of K. Moreover, PK is unique up to Möbius transformations and inversion.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 10 / 31

slide-15
SLIDE 15

Existence and Uniqueness

Theorem: [KAT, Koebe-Andreev-Thurston] Given any triangulation K of a topological sphere, there exists a univalent circle packing PK of the Riemann sphere having the combinatorics of K. Moreover, PK is unique up to Möbius transformations and inversion. Theorem: Given a triangulation K of any oriented topological surface S, there exists a conformal structure on S and a univalent circle packing PK in its intrinsic metric, so that PK “fills” S.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 10 / 31

slide-16
SLIDE 16

Existence and Uniqueness

Theorem: [KAT, Koebe-Andreev-Thurston] Given any triangulation K of a topological sphere, there exists a univalent circle packing PK of the Riemann sphere having the combinatorics of K. Moreover, PK is unique up to Möbius transformations and inversion. Theorem: Given a triangulation K of any oriented topological surface S, there exists a conformal structure on S and a univalent circle packing PK in its intrinsic metric, so that PK “fills” S. Moreover, the conformal structure is unique and PK is unique up to its conformal automorphisms.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 10 / 31

slide-17
SLIDE 17

Existence and Uniqueness

Theorem: [KAT, Koebe-Andreev-Thurston] Given any triangulation K of a topological sphere, there exists a univalent circle packing PK of the Riemann sphere having the combinatorics of K. Moreover, PK is unique up to Möbius transformations and inversion. Theorem: Given a triangulation K of any oriented topological surface S, there exists a conformal structure on S and a univalent circle packing PK in its intrinsic metric, so that PK “fills” S. Moreover, the conformal structure is unique and PK is unique up to its conformal automorphisms. Upshot: Circle packings endow combinatorial situations with geometry.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 10 / 31

slide-18
SLIDE 18

Existence and Uniqueness

Theorem: [KAT, Koebe-Andreev-Thurston] Given any triangulation K of a topological sphere, there exists a univalent circle packing PK of the Riemann sphere having the combinatorics of K. Moreover, PK is unique up to Möbius transformations and inversion. Theorem: Given a triangulation K of any oriented topological surface S, there exists a conformal structure on S and a univalent circle packing PK in its intrinsic metric, so that PK “fills” S. Moreover, the conformal structure is unique and PK is unique up to its conformal automorphisms. Upshot: Circle packings endow combinatorial situations with geometry.

  • Local rigidity

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 10 / 31

slide-19
SLIDE 19

Existence and Uniqueness

Theorem: [KAT, Koebe-Andreev-Thurston] Given any triangulation K of a topological sphere, there exists a univalent circle packing PK of the Riemann sphere having the combinatorics of K. Moreover, PK is unique up to Möbius transformations and inversion. Theorem: Given a triangulation K of any oriented topological surface S, there exists a conformal structure on S and a univalent circle packing PK in its intrinsic metric, so that PK “fills” S. Moreover, the conformal structure is unique and PK is unique up to its conformal automorphisms. Upshot: Circle packings endow combinatorial situations with geometry.

  • Local rigidity
  • Global flexibility

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 10 / 31

slide-20
SLIDE 20

Existence and Uniqueness

Theorem: [KAT, Koebe-Andreev-Thurston] Given any triangulation K of a topological sphere, there exists a univalent circle packing PK of the Riemann sphere having the combinatorics of K. Moreover, PK is unique up to Möbius transformations and inversion. Theorem: Given a triangulation K of any oriented topological surface S, there exists a conformal structure on S and a univalent circle packing PK in its intrinsic metric, so that PK “fills” S. Moreover, the conformal structure is unique and PK is unique up to its conformal automorphisms. Upshot: Circle packings endow combinatorial situations with geometry.

  • Local rigidity
  • Global flexibility
  • and this is a particularly familiar geometry — it’s conformal!

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 10 / 31

slide-21
SLIDE 21

Existence and Uniqueness

Theorem: [KAT, Koebe-Andreev-Thurston] Given any triangulation K of a topological sphere, there exists a univalent circle packing PK of the Riemann sphere having the combinatorics of K. Moreover, PK is unique up to Möbius transformations and inversion. Theorem: Given a triangulation K of any oriented topological surface S, there exists a conformal structure on S and a univalent circle packing PK in its intrinsic metric, so that PK “fills” S. Moreover, the conformal structure is unique and PK is unique up to its conformal automorphisms. Upshot: Circle packings endow combinatorial situations with geometry.

  • Local rigidity
  • Global flexibility
  • and this is a particularly familiar geometry — it’s conformal!

Oded’s frequent collaborator, Zheng-Xu He, will say more about this in the next talk.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 10 / 31

slide-22
SLIDE 22

Thurston’s Conjecture, 1985

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 11 / 31

slide-23
SLIDE 23

Thurston’s Conjecture, 1985

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 11 / 31

slide-24
SLIDE 24

Thurston’s Conjecture, 1985

Conjecture: Under refinement, the discrete conformal maps f : PK − → P converge uniformly on compacta to the classical conformal map F : D − → Ω.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 11 / 31

slide-25
SLIDE 25

Thurston’s Conjecture, 1985

Conjecture: Under refinement, the discrete conformal maps f : PK − → P converge uniformly on compacta to the classical conformal map F : D − → Ω. Rodin and Sullivan proved the conjecture, which has been vastly extended

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 11 / 31

slide-26
SLIDE 26

Thurston’s Conjecture, 1985

Conjecture: Under refinement, the discrete conformal maps f : PK − → P converge uniformly on compacta to the classical conformal map F : D − → Ω. Rodin and Sullivan proved the conjecture, which has been vastly extended — under refinement, objects in the discrete world of circle packing invariably converge to their classical counterparts.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 11 / 31

slide-27
SLIDE 27

Rigidity

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 12 / 31

slide-28
SLIDE 28

Rigidity

Claim: If P and P′ are two circle packings of the sphere sharing the combinatorics of K, then they are Möbius images of one another.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 12 / 31

slide-29
SLIDE 29

Rigidity

Claim: If P and P′ are two circle packings of the sphere sharing the combinatorics of K, then they are Möbius images of one another. The crucial tool?

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 12 / 31

slide-30
SLIDE 30

Rigidity

Claim: If P and P′ are two circle packings of the sphere sharing the combinatorics of K, then they are Möbius images of one another. The crucial tool? Two circles can intersect in at most two points.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 12 / 31

slide-31
SLIDE 31

The setup, I

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 13 / 31

slide-32
SLIDE 32

The setup, I

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 14 / 31

slide-33
SLIDE 33

The setup, I

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 15 / 31

slide-34
SLIDE 34

The setup, I

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 16 / 31

slide-35
SLIDE 35

The setup, I

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 17 / 31

slide-36
SLIDE 36

The setup, II

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 18 / 31

slide-37
SLIDE 37

The setup, II

Put ∞ in the chosen interstice and project both packings to the plane to get these juxtaposed configurations:

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 18 / 31

slide-38
SLIDE 38

The setup, II

Put ∞ in the chosen interstice and project both packings to the plane to get these juxtaposed configurations:

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 18 / 31

slide-39
SLIDE 39

The setup, II

Put ∞ in the chosen interstice and project both packings to the plane to get these juxtaposed configurations: Scale P away from a to put the packings in general position:

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 19 / 31

slide-40
SLIDE 40

The “elements” of P and P′

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 20 / 31

slide-41
SLIDE 41

The “elements” of P and P′

Elements:

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 20 / 31

slide-42
SLIDE 42

The “elements” of P and P′

Elements: circle elements

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 20 / 31

slide-43
SLIDE 43

The “elements” of P and P′

Elements: circle elements

  • interstice elements

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 21 / 31

slide-44
SLIDE 44

The “elements” of P and P′

Elements: circle elements

  • interstice elements

= E

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 21 / 31

slide-45
SLIDE 45

The “elements” of P and P′

Elements: circle elements

  • interstice elements

= E

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 22 / 31

slide-46
SLIDE 46

The “elements” of P and P′

Elements: circle elements

  • interstice elements

= E Likewise for P’ E ← → E′

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 22 / 31

slide-47
SLIDE 47

The “elements” of P and P′

Elements: circle elements

  • interstice elements

= E Likewise for P’ E ← → E′

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 23 / 31

slide-48
SLIDE 48

Comparison via “Fixed point index”

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 24 / 31

slide-49
SLIDE 49

Comparison via “Fixed point index”

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 24 / 31

slide-50
SLIDE 50

Comparison via “Fixed point index”

Definition: Given simple closed curves γ and σ and an orientation preserving, fixed-point-free homeomorphism f : γ

fpf

− → σ, the fixed point index η(f; γ) is the winding number of g(z) = f(z) − z about γ.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 24 / 31

slide-51
SLIDE 51

Compatibility

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 25 / 31

slide-52
SLIDE 52

Compatibility

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 25 / 31

slide-53
SLIDE 53

Compatibility

If γ and σ are both circles then for every f : γ

fpf

− → σ, η(f; γ) ≥ 0.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 25 / 31

slide-54
SLIDE 54

Compatibility

If γ and σ are both circles then for every f : γ

fpf

− → σ, η(f; γ) ≥ 0.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 25 / 31

slide-55
SLIDE 55

Compatibility

If γ and σ are both circles then for every f : γ

fpf

− → σ, η(f; γ) ≥ 0. If γ = a, b, c and σ = a′, b′, c′, then there exists f : γ

fpf

− → σ with η(f; γ) ≥ 0.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 25 / 31

slide-56
SLIDE 56

The Proof

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 26 / 31

slide-57
SLIDE 57

The Proof

  • ∀ interstice element ej ∈ E choose fj : ej

fpf

− → e′

j so that η(fj; ej) ≥ 0.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 26 / 31

slide-58
SLIDE 58

The Proof

  • ∀ interstice element ej ∈ E choose fj : ej

fpf

− → e′

j so that η(fj; ej) ≥ 0.

  • ∀ circle element ek, define fk : ek

fpf

− → e′

k to agree

with the maps of neighboring interstices.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 26 / 31

slide-59
SLIDE 59

The Proof

  • ∀ interstice element ej ∈ E choose fj : ej

fpf

− → e′

j so that η(fj; ej) ≥ 0.

  • ∀ circle element ek, define fk : ek

fpf

− → e′

k to agree

with the maps of neighboring interstices.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 26 / 31

slide-60
SLIDE 60

The Proof

  • ∀ interstice element ej ∈ E choose fj : ej

fpf

− → e′

j so that η(fj; ej) ≥ 0.

  • ∀ circle element ek, define fk : ek

fpf

− → e′

k to agree

with the maps of neighboring interstices.

  • The element maps induce a homeomorphism F : Γ

fpf

− → Σ between the outer boundaries of our two configurations.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 26 / 31

slide-61
SLIDE 61

The Proof

  • ∀ interstice element ej ∈ E choose fj : ej

fpf

− → e′

j so that η(fj; ej) ≥ 0.

  • ∀ circle element ek, define fk : ek

fpf

− → e′

k to agree

with the maps of neighboring interstices.

  • The element maps induce a homeomorphism F : Γ

fpf

− → Σ between the outer boundaries of our two configurations.

  • Taking account of cancellations on interior segments,

η(F; Γ) =

  • ej∈E

η(fj; ej).

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 26 / 31

slide-62
SLIDE 62

The Proof

  • ∀ interstice element ej ∈ E choose fj : ej

fpf

− → e′

j so that η(fj; ej) ≥ 0.

  • ∀ circle element ek, define fk : ek

fpf

− → e′

k to agree

with the maps of neighboring interstices.

  • The element maps induce a homeomorphism F : Γ

fpf

− → Σ between the outer boundaries of our two configurations.

  • Taking account of cancellations on interior segments,

η(F; Γ) =

  • ej∈E

η(fj; ej).

  • In particular,

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 26 / 31

slide-63
SLIDE 63

The Proof

  • ∀ interstice element ej ∈ E choose fj : ej

fpf

− → e′

j so that η(fj; ej) ≥ 0.

  • ∀ circle element ek, define fk : ek

fpf

− → e′

k to agree

with the maps of neighboring interstices.

  • The element maps induce a homeomorphism F : Γ

fpf

− → Σ between the outer boundaries of our two configurations.

  • Taking account of cancellations on interior segments,

η(F; Γ) =

  • ej∈E

η(fj; ej).

  • In particular,

η(F; Γ) ≥ 0

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 26 / 31

slide-64
SLIDE 64

but ...

F : Γ

fpf

− → Σ and η(F; Γ) ≥ 0

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 27 / 31

slide-65
SLIDE 65

but ...

F : Γ

fpf

− → Σ and η(F; Γ) ≥ 0

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 27 / 31

slide-66
SLIDE 66

but ...

F : Γ

fpf

− → Σ and η(F; Γ) ≥ 0 By observation, η(F; Γ) = −1

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 27 / 31

slide-67
SLIDE 67

The other bookend

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 28 / 31

slide-68
SLIDE 68

The other bookend

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 28 / 31

slide-69
SLIDE 69

The other bookend

Theorem: [Schramm/He] The KAT Theorem on circle packings of the sphere implies the Riemann Mapping Theorem for plane domains.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 28 / 31

slide-70
SLIDE 70

Existence

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 29 / 31

slide-71
SLIDE 71

Existence

Theorem: [Schramm/He] Given any Jordan region Ω, there exists a univalent circle packing with heptagonal combinatorics which fills Ω.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 29 / 31

slide-72
SLIDE 72

Existence

Theorem: [Schramm/He] Given any Jordan region Ω, there exists a univalent circle packing with heptagonal combinatorics which fills Ω. Moreover, the packing is unique subject to standard normalization.

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 29 / 31

slide-73
SLIDE 73

Existence

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 30 / 31

slide-74
SLIDE 74

Existence

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 30 / 31

slide-75
SLIDE 75

Thanks

“Packing two-dimensional bodies ...”, “Existence and uniqueness of packings with specified combinatorics”, “Rigidity of infinite (circle) packings”, “How to cage an egg”, “Conformal uniformization and packings”, “Circle patterns with the combinatorics of the square grid”, With Zheng-Xu He: “Fixed points, Koebe uniformization and circle packings”, “Rigidity of circle domains whose boundary has σ-finite linear measure” “Hyperbolic and Parabolic Packings”, “The inverse Riemann Mapping Theorem for relative circle domains”, “On the convergence of circle packings to the Riemann map”, “The C∞-convergence of hexagonal disk packings to the Riemann map”,

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 31 / 31

slide-76
SLIDE 76

Thanks

“Packing two-dimensional bodies ...”, “Existence and uniqueness of packings with specified combinatorics”, “Rigidity of infinite (circle) packings”, “How to cage an egg”, “Conformal uniformization and packings”, “Circle patterns with the combinatorics of the square grid”, With Zheng-Xu He: “Fixed points, Koebe uniformization and circle packings”, “Rigidity of circle domains whose boundary has σ-finite linear measure” “Hyperbolic and Parabolic Packings”, “The inverse Riemann Mapping Theorem for relative circle domains”, “On the convergence of circle packings to the Riemann map”, “The C∞-convergence of hexagonal disk packings to the Riemann map”,

Thanks, Oded

Ken Stephenson (UTK) Circle Packing Oded Schramm Memorial, 8/2009 31 / 31