(Ortho)spectra and identities TIT 2012
|
|
- Johnathan Moses Hensley
- 5 years ago
- Views:
Transcription
1 (Ortho)spectra and identities TIT 2012 Greg McShane September 13, 2012
2 Nightmare Bad dreams...
3 Nightmare: forgot the plane
4 Nightmare: forgot the train
5 Nightmare: forgot the exam
6 Nightmare Forgotten to thank you for...
7 Part I Introduction
8 Surfaces Σ is a surface of finite type totally geodesic boundary finite volume hyperbolic structure
9 Surfaces Σ is a surface of finite type totally geodesic boundary finite volume hyperbolic structure Figure: My favorite surface
10 Surfaces Σ is a surface of finite type totally geodesic boundary finite volume hyperbolic structure Figure: My favorite surface π 1 (Σ) Γ < hyperbolic isometries PSL(2, R).
11 Surfaces Σ is a surface of finite type totally geodesic boundary finite volume hyperbolic structure Figure: My favorite surface π 1 (Σ) Γ < hyperbolic isometries PSL(2, R). Λ = limit set of Γ, H
12 Surfaces Σ is a surface of finite type totally geodesic boundary finite volume hyperbolic structure Figure: My favorite surface π 1 (Σ) Γ < hyperbolic isometries PSL(2, R). Λ = limit set of Γ, H Σ = Convex hull(λ)/γ
13 Convex hull Figure: Convex hullof Λ
14 Spectra Closed geodesic definition shortest path in [γ] γ 1 Γ length tr γ = 2 cosh( 1 2 l(γ))
15 Spectra Closed geodesic Simple closed geodesic definition length shortest path in [γ] γ 1 Γ same as above tr γ = 2 cosh( 1 2 l(γ)) + no self intersection same as above
16 Spectra Closed geodesic Simple closed geodesic Ortho geodesic definition length shortest path in [γ] γ 1 Γ same as above tr γ = 2 cosh( 1 2 l(γ)) + no self intersection same as above α shortest chord joins 2 geodesic see below boundary components tanh 2 is cross ratio
17 Orthogeodesic Ortho geodesic is the common perpendicular to a pair of geodesics [α], [δ] Σ.
18 Orthogeodesic Ortho geodesic is the common perpendicular to a pair of geodesics [α], [δ] Σ. Figure: Convex hull, lift of ortho geodesic α
19 Orthogeodesic Ortho geodesic is the common perpendicular to a pair of geodesics [α], [δ] Σ. Figure: Convex hull, lift of ortho geodesic α If α ±, δ ± are the fixed points on H then (α δ )(α + δ + ) (α δ + )(α + δ ) = tanh2 ( 1 2 l(α ))
20 Spectra What are the spectra of a manifold? Spectrum = {eigenvalues of Lapacian}
21 Spectra What are the spectra of a manifold? Spectrum = {eigenvalues of Lapacian} Length spectrum = {lengths of closed geodesics}
22 Spectra What are the spectra of a manifold? Spectrum = {eigenvalues of Lapacian} Length spectrum = {lengths of closed geodesics} Ortho spectrum = {lengths of ortho geodesics}
23 Spectra What are the spectra of a manifold? Spectrum = {eigenvalues of Lapacian} Length spectrum = {lengths of closed geodesics} Ortho spectrum = {lengths of ortho geodesics} What geometric quantities are functions of the spectrum? metric on Σ up to isometry.
24 Spectra What are the spectra of a manifold? Spectrum = {eigenvalues of Lapacian} Length spectrum = {lengths of closed geodesics} Ortho spectrum = {lengths of ortho geodesics} What geometric quantities are functions of the spectrum? metric on Σ up to isometry. injectivity radius
25 Spectra What are the spectra of a manifold? Spectrum = {eigenvalues of Lapacian} Length spectrum = {lengths of closed geodesics} Ortho spectrum = {lengths of ortho geodesics} What geometric quantities are functions of the spectrum? metric on Σ up to isometry. injectivity radius Vol(Σ)
26 Spectra What are the spectra of a manifold? Spectrum = {eigenvalues of Lapacian} Length spectrum = {lengths of closed geodesics} Ortho spectrum = {lengths of ortho geodesics} What geometric quantities are functions of the spectrum? metric on Σ up to isometry. injectivity radius Vol(Σ) Vol( Σ)
27 Spectra What are the spectra of a manifold? Spectrum = {eigenvalues of Lapacian} Length spectrum = {lengths of closed geodesics} Ortho spectrum = {lengths of ortho geodesics} What geometric quantities are functions of the spectrum? metric on Σ up to isometry. injectivity radius Vol(Σ) Vol( Σ) δ = Hausdorff dimension of the limit set.
28 Spectra What are the spectra of a manifold? Spectrum = {eigenvalues of Lapacian} Length spectrum = {lengths of closed geodesics} Ortho spectrum = {lengths of ortho geodesics} What geometric quantities are functions of the spectrum? metric on Σ up to isometry. injectivity radius Vol(Σ) Vol( Σ) δ = Hausdorff dimension of the limit set.
29 Spectrum and geometry for a compact surface For a compact surface H/Γ: (Weyl) Spectrum of Laplacian determines area N Γ (t) := {eigenvalues of H/Γ < t} Vol(H/Γ) t 4π
30 Spectrum and geometry for a compact surface For a compact surface H/Γ: (Weyl) Spectrum of Laplacian determines area N Γ (t) := {eigenvalues of H/Γ < t} Vol(H/Γ) t 4π (Huber, Selberg) Length spectrum determines spectrum of the Laplacian
31 Spectrum and geometry for a compact surface For a compact surface H/Γ: (Weyl) Spectrum of Laplacian determines area N Γ (t) := {eigenvalues of H/Γ < t} Vol(H/Γ) t 4π (Huber, Selberg) Length spectrum determines spectrum of the Laplacian and vice versa
32 Spectrum and geometry for a compact surface For a compact surface H/Γ: (Weyl) Spectrum of Laplacian determines area N Γ (t) := {eigenvalues of H/Γ < t} Vol(H/Γ) t 4π (Huber, Selberg) Length spectrum determines spectrum of the Laplacian and vice versa (Margulis/Sullivan) Length spectrum determines Hausdorff dimension N Γ (t) := {primitive geodesics l(α) < t} eδt δt.
33 Spectrum and geometry for a compact surface For a compact surface H/Γ: (Weyl) Spectrum of Laplacian determines area N Γ (t) := {eigenvalues of H/Γ < t} Vol(H/Γ) t 4π (Huber, Selberg) Length spectrum determines spectrum of the Laplacian and vice versa (Margulis/Sullivan) Length spectrum determines Hausdorff dimension N Γ (t) := {primitive geodesics l(α) < t} eδt δt. (Wolpert) Length spectrum determines isometry type of the surface up to finitely many choices.
34 Spectrum and geometry for a compact surface For a compact surface H/Γ: (Weyl) Spectrum of Laplacian determines area N Γ (t) := {eigenvalues of H/Γ < t} Vol(H/Γ) t 4π (Huber, Selberg) Length spectrum determines spectrum of the Laplacian and vice versa (Margulis/Sullivan) Length spectrum determines Hausdorff dimension N Γ (t) := {primitive geodesics l(α) < t} eδt δt. (Wolpert) Length spectrum determines isometry type of the surface up to finitely many choices. Examples of isospectral pairs (Vigneras, Sunada).
35 Trace formula h even function, satisfying a growth condition ĥ Fourier transform
36 Trace formula h even function, satisfying a growth condition ĥ Fourier transform where n h(λ n ) = Vol(H/Γ) 4π + [γ] R rh(r) tanh(πr)dr 2l(γ) sinh( 1 2 l(γ))ĥ(l(γ))
37 Trace formula h even function, satisfying a growth condition ĥ Fourier transform where n h(λ n ) = Vol(H/Γ) 4π + [γ] R rh(r) tanh(πr)dr 2l(γ) sinh( 1 2 l(γ))ĥ(l(γ)) λ n are the eigenvalues of the Laplacian. l(γ) is the length of the geodesic in the homotopy class [γ]
38 Ortho Spectra McShane Parker Redfern, 93 Drawing limit sets using finite state automata.
39 Ortho Spectra McShane Parker Redfern, 93 Drawing limit sets using finite state automata. Definition Circle packing iff complement of the circles has empty interior.
40 Ortho Spectra Orthogeodesic = common perpendicular between circles. Figure: David Wright s circle packing
41 Ortho Spectra Orthogeodesic = common perpendicular between circles. Figure: Curt McMullen s circle packing limit set
42 Ortho Spectra (Basmajian, Parker) Has the same critical exponent δ as the full Poincaré series inf{s, g Γ e sd(x,g(x)) < }
43 Ortho Spectra (Basmajian, Parker) Has the same critical exponent δ as the full Poincaré series inf{s, g Γ e sd(x,g(x)) < } inf{s, { [γ] [Γ] e sl(γ) < }
44 Ortho Spectra (Basmajian, Parker) Has the same critical exponent δ as the full Poincaré series inf{s, g Γ e sd(x,g(x)) < } inf{s, { [γ] [Γ] e sl(γ) < } inf{s, { α e sl(α ) ) < }
45 Ortho Spectra (Basmajian, Parker) Has the same critical exponent δ as the full Poincaré series inf{s, g Γ e sd(x,g(x)) < } inf{s, { [γ] [Γ] e sl(γ) < } inf{s, { α e sl(α ) ) < } By Sullivan δ the Hausdorff dimension of the limit set for geometrically finite groups.
46 Ortho Spectra (Basmajian, Parker) Has the same critical exponent δ as the full Poincaré series inf{s, g Γ e sd(x,g(x)) < } inf{s, { [γ] [Γ] e sl(γ) < } inf{s, { α e sl(α ) ) < } By Sullivan δ the Hausdorff dimension of the limit set for geometrically finite groups. (Roblin, Hee Oh, Kontorovich) Has the same asymptotic as the length spectrum. N(t) := {ortho geodesics l(α ) < t} eδt δt.
47 Part II Identities
48 ...a complicated way to calculate volume.
49 Basmajian Identity Theorem (1992) Σ hyperbolic surface with geodesic boundary a geodesic δ ( ) 2 sinh 1 1 sinh(l(α = l(δ) ) α
50 Basmajian Identity Theorem (1992) Σ hyperbolic surface with geodesic boundary a geodesic δ ( ) 2 sinh 1 1 sinh(l(α = l(δ) ) α M hyperbolic n-manifold with geodesic boundary ( )) Vol n 1 (Ball radius = sinh 1 1 sinh(l(α = Vol n 1 ( M) ) α
51 Bridgeman-Kahn Identity Theorem (2008) Σ hyperbolic surface with geodesic boundary δ 2πVol(Σ) = 8 ( ) 1 L cosh 2 (l(α α )/2)
52 Bridgeman-Kahn Identity Theorem (2008) Σ hyperbolic surface with geodesic boundary δ 2πVol(Σ) = 8 ( ) 1 L cosh 2 (l(α α )/2) Dilogarithm Li 2 (z) = z k k 2 = z 0 log(1 x) dx x
53 Bridgeman-Kahn Identity Theorem (2008) Σ hyperbolic surface with geodesic boundary δ 2πVol(Σ) = 8 ( ) 1 L cosh 2 (l(α α )/2) Dilogarithm Li 2 (z) = z k k 2 = z 0 log(1 x) dx x Roger s dilogarithm L(x) = Li 2 (x) + 1 log x log(1 x), x < 1. 2 L (x) = 1 ( log(1 x) + log(x) ). 2 x 1 x
54 Bridgeman-Kahn Identity in general Theorem Σ hyperbolic surface with geodesic boundary 2πVol(Σ) = 8 ( ) 1 L cosh 2 (l(α α )/2)
55 Bridgeman-Kahn Identity in general Theorem Σ hyperbolic surface with geodesic boundary 2πVol(Σ) = 8 ( ) 1 L cosh 2 (l(α α )/2) Exist F n such that for any hyperbolic n-manifold M with geodesic boundary Vol(M) = α F n (l(α )) the volume of M is equal to the sum of the values of F n on the orthospectrum of M.
56 Bridgeman-Kahn Identity in general Theorem Σ hyperbolic surface with geodesic boundary 2πVol(Σ) = 8 ( ) 1 L cosh 2 (l(α α )/2) Exist F n such that for any hyperbolic n-manifold M with geodesic boundary Vol(M) = α F n (l(α )) the volume of M is equal to the sum of the values of F n on the orthospectrum of M. + integral formula for F n in terms of elementary functions.
57 Identity for closed simple geodesics Σ has a one-holed torus, boundary component of length l(δ) = 0 α simple. α e l(α) = 1
58 Identity for closed simple geodesics Σ has a one-holed torus, boundary component of length l(δ) = 0 α simple. α e l(α) = 1 Basmajian in dimension 3 (Calegari) 4 e (l(α ) 1 = χ( M) α
59 Identity for closed simple geodesics Σ has a one-holed torus, boundary component of length l(δ) = 0 α simple. α e l(α) = 1 Basmajian in dimension 3 (Calegari) 4 e (l(α ) 1 = χ( M) α Bridgeman-Kahn in dimension 3 (Masai) l(α ) + 1 e (l(α ) 1 = 2πVol(M) α
60 Resume: Ortho spectrum... Determines volume of M and volume of M
61 Resume: Ortho spectrum... Determines volume of M and volume of M Basmajian in dimension 3 (Calegari) 4 e (l(α ) 1 = χ( M) α
62 Resume: Ortho spectrum... Determines volume of M and volume of M Basmajian in dimension 3 (Calegari) 4 e (l(α ) 1 = χ( M) α Bridgeman-Kahn in dimension 3 (Masai) l(α ) + 1 e (l(α ) 1 = 2πVol(M) α
63 Forgotten identities... Bowditch
64 Forgotten identities... Bowditch Sakuma
65 Forgotten identities... Bowditch Sakuma Mirzakhani
66 Forgotten identities... Bowditch Sakuma Mirzakhani Labourie-McShane
67 Forgotten identities... Bowditch Sakuma Mirzakhani Labourie-McShane Luo-Tan
68 Forgotten identities... Bowditch Sakuma Mirzakhani Labourie-McShane Luo-Tan Kim-Tan
69 Forgotten identities... Bowditch Sakuma Mirzakhani Labourie-McShane Luo-Tan Kim-Tan Huay
70 Forgotten identities... Bowditch Sakuma Mirzakhani Labourie-McShane Luo-Tan Kim-Tan Huay and anyone else...
71 Part III Applications
72 Dilogarithm identities For Σ H an ideal n-gon:
73 Dilogarithm identities For Σ H an ideal n-gon: hyperbolic area (n 2)π
74 Dilogarithm identities For Σ H an ideal n-gon: hyperbolic area (n 2)π vertices x i, i = 1,..., n
75 Dilogarithm identities For Σ H an ideal n-gon: hyperbolic area (n 2)π vertices x i, i = 1,..., n l ij = length of the orthogeodesic x i x i+1 x j x j+1 cosh 2 ( 1 2 l ij) = [x i, x i+1, x j, x j+1 ]
76 Dilogarithm identities For Σ H an ideal n-gon: hyperbolic area (n 2)π vertices x i, i = 1,..., n l ij = length of the orthogeodesic x i x i+1 x j x j+1 cosh 2 ( 1 2 l ij) = [x i, x i+1, x j, x j+1 ]
77 Dilogarithm identities For Σ H an ideal n-gon: hyperbolic area (n 2)π vertices x i, i = 1,..., n l ij = length of the orthogeodesic x i x i+1 x j x j+1 cosh 2 ( 1 2 l ij) = [x i, x i+1, x j, x j+1 ] Theorem (Bridgeman s Length Spectrum Identity) L([x i, x i+1, x j, x j+1 ]) = α i,j ( ) 1 L cosh 2 = (l α /2) (n 3)π2 6
78 Dilogarithm identities Theorem (Bridgeman s Length Spectrum Identity) L([x i, x i+1, x j, x j+1 ]) = α i,j ( ) 1 L cosh 2 = (l α /2) (n 3)π2 6
79 Dilogarithm identities Theorem (Bridgeman s Length Spectrum Identity) L([x i, x i+1, x j, x j+1 ]) = α i,j ( ) 1 L cosh 2 = (l α /2) (n 3)π2 6 This is a finite summation relation associated relations give identities for dilogarithms including the classical identities:
80 Dilogarithm identities Theorem (Bridgeman s Length Spectrum Identity) L([x i, x i+1, x j, x j+1 ]) = α i,j ( ) 1 L cosh 2 = (l α /2) (n 3)π2 6 This is a finite summation relation associated relations give identities for dilogarithms including the classical identities: EULER L(x) + L(1 x) = L(1) = π2 6
81 Dilogarithm identities Theorem (Bridgeman s Length Spectrum Identity) L([x i, x i+1, x j, x j+1 ]) = α i,j ( ) 1 L cosh 2 = (l α /2) (n 3)π2 6 This is a finite summation relation associated relations give identities for dilogarithms including the classical identities: EULER L(x) + L(1 x) = L(1) = π2 6 ABEL L(x) + L(y) = L(xy) + L( x(1 y) y(1 x) 1 xy ) + L( 1 xy )
82 Dilogarithm identities Theorem (Bridgeman s Length Spectrum Identity) L([x i, x i+1, x j, x j+1 ]) = α i,j ( ) 1 L cosh 2 = (l α /2) (n 3)π2 6 This is a finite summation relation associated relations give identities for dilogarithms including the classical identities: EULER L(x) + L(1 x) = L(1) = π2 6 ABEL L(x) + L(y) = L(xy) + L( x(1 y) y(1 x) 1 xy ) + L( 1 xy )
83 Euler reflection L(x) + L(1 x) = L(1) = π2 6
84 Euler reflection L(x) + L(1 x) = L(1) = π2 6 Proof: The ideal quadrilateral has two ortho geodesics
85 Euler reflection L(x) + L(1 x) = L(1) = π2 6 Proof: The ideal quadrilateral has two ortho geodesics L(cross ratio 1) + L(cross ratio 2) = (4 3)π2. 6
86 Euler reflection L(x) + L(1 x) = L(1) = π2 6 Proof: The ideal quadrilateral has two ortho geodesics L(cross ratio 1) + L(cross ratio 2) = (4 3)π2. 6 vertices 0 < x < 1 <
87 Euler reflection L(x) + L(1 x) = L(1) = π2 6 Proof: The ideal quadrilateral has two ortho geodesics L(cross ratio 1) + L(cross ratio 2) = (4 3)π2. 6 vertices 0 < x < 1 < two ortho geodesics joining the sides: x, 1 to, 0 0, x to 1,
88 Euler reflection L(x) + L(1 x) = L(1) = π2 6 Proof: The ideal quadrilateral has two ortho geodesics L(cross ratio 1) + L(cross ratio 2) = (4 3)π2. 6 vertices 0 < x < 1 < two ortho geodesics joining the sides: x, 1 to, 0 0, x to 1, So cross ratio 1 = x 0 x = x cross ratio 2 = x 1 x = 1 x
89 Part IV Proofs
90 Decompositions Given an identity : what is the associated geometric decomposition?
91 Decompositions Given an identity : what is the associated geometric decomposition? Decomposition: some space X = ( {geometric pieces}) {negligible}
92 Decompositions Given an identity : what is the associated geometric decomposition? Decomposition: some space X = ( {geometric pieces}) {negligible} X = H, negligible = Λ
93 Decompositions Given an identity : what is the associated geometric decomposition? Decomposition: some space X = ( {geometric pieces}) {negligible} X = H, negligible = Λ X = unit tangent bundle Σ, negligible = geodesics that stay in convex core.
94 Decompositions Given an identity : what is the associated geometric decomposition? Decomposition: some space X = ( {geometric pieces}) {negligible} X = H, negligible = Λ X = unit tangent bundle Σ, negligible = geodesics that stay in convex core. X = unit tangent bundle convex hull of Λ, negligible = geodesics that stay in convex hull.
95 Negligible sets Theorem Γ is geometrically finite, and Λ c then the limit set Λ has measure zero.
96 Negligible sets Theorem Γ is geometrically finite, and Λ c then the limit set Λ has measure zero. Definition γ v := geodesic parametrized by arclength, γ v (0) = v
97 Negligible sets Theorem Γ is geometrically finite, and Λ c then the limit set Λ has measure zero. Definition γ v := geodesic parametrized by arclength, γ v (0) = v Proposition (almost all geodesics escape) If Λ c then the set ω + (Λ) := { unit vectors v UT H, γ v ( ) Λ} is measure zero.
98 Negligible sets Theorem Γ is geometrically finite, and Λ c then the limit set Λ has measure zero. Definition γ v := geodesic parametrized by arclength, γ v (0) = v Proposition (almost all geodesics escape) If Λ c then the set ω + (Λ) := { unit vectors v UT H, γ v ( ) Λ} is measure zero. Proof:
99 Negligible sets Theorem Γ is geometrically finite, and Λ c then the limit set Λ has measure zero. Definition γ v := geodesic parametrized by arclength, γ v (0) = v Proposition (almost all geodesics escape) If Λ c then the set ω + (Λ) := { unit vectors v UT H, γ v ( ) Λ} is measure zero. Proof: The unit tangent bundle H S 1 H H = {(x, θ)} Apply Fubini s Theorem to characteristic function of ω + (Λ).
100 Negligible sets Theorem Γ is geometrically finite, and Λ c then the limit set Λ has measure zero. Definition γ v := geodesic parametrized by arclength, γ v (0) = v Proposition (almost all geodesics escape) If Λ c then the set ω + (Λ) := { unit vectors v UT H, γ v ( ) Λ} is measure zero. Proof: The unit tangent bundle H S 1 H H = {(x, θ)} Apply Fubini s Theorem to characteristic function of ω + (Λ).
101 Decomposition from convex hull boundary Proposition (all geodesics escape) If Λ c then the set ω + (Λ) of unit vectors v such that γ v stays in the convex hull is measure 0.
102 Decomposition from convex hull boundary Proposition (all geodesics escape) If Λ c then the set ω + (Λ) of unit vectors v such that γ v stays in the convex hull is measure 0. The generic geodesic escapes the convex hull by crossing some pair of planes bounding disjoint round discs in Ω.
103 Decomposition from convex hull boundary Proposition (all geodesics escape) If Λ c then the set ω + (Λ) of unit vectors v such that γ v stays in the convex hull is measure 0. The generic geodesic escapes the convex hull by crossing some pair of planes bounding disjoint round discs in Ω. Decomposition of (a subset of full measure of) unit tangent bundle labelled by pairs of planes.
104 Decomposition from convex hull boundary Proposition (all geodesics escape) If Λ c then the set ω + (Λ) of unit vectors v such that γ v stays in the convex hull is measure 0. The generic geodesic escapes the convex hull by crossing some pair of planes bounding disjoint round discs in Ω. Decomposition of (a subset of full measure of) unit tangent bundle labelled by pairs of planes. Decomposition of (a subset of full measure of) unit tangent bundle labelled by ortho geodesics.
105 Caligari s Chimneys M = compact hyperbolic n-manifold, M = S totally geodesic.
106 Caligari s Chimneys M = compact hyperbolic n-manifold, M = S totally geodesic. S M H n is a copy of H n 1.
107 Caligari s Chimneys M = compact hyperbolic n-manifold, M = S totally geodesic. S M H n is a copy of H n 1. S Λ H n is a round sphere.
108 Caligari s Chimneys M = compact hyperbolic n-manifold, M = S totally geodesic. S M H n is a copy of H n 1. S Λ H n is a round sphere. complement of S =pair of hemispheres in H n
109 Caligari s Chimneys M = compact hyperbolic n-manifold, M = S totally geodesic. S M H n is a copy of H n 1. S Λ H n is a round sphere. complement of S =pair of hemispheres in H n one of the hemispheres is entirely in the regular set Ω. remaining components of Ω yields a sphere packing of the other hemispheres.
110 Caligari s Chimneys M = compact hyperbolic n-manifold, M = S totally geodesic. S M H n is a copy of H n 1. S Λ H n is a round sphere. complement of S =pair of hemispheres in H n one of the hemispheres is entirely in the regular set Ω. remaining components of Ω yields a sphere packing of the other hemispheres.
111 Caligari s Chimneys M = compact hyperbolic n-manifold, M = S totally geodesic.
112 Caligari s Chimneys M = compact hyperbolic n-manifold, M = S totally geodesic.
113 Caligari s Chimneys Definition A chimney is isometric to convex hull of
114 Caligari s Chimneys Definition A chimney is isometric to convex hull of a plane bounding a component of Ω + the image of the plane under retraction to S.
115 Caligari s Chimneys Definition A chimney is isometric to convex hull of a plane bounding a component of Ω + the image of the plane under retraction to S.
116 Caligari s Chimneys Definition A chimney is isometric to convex hull of a plane bounding a component of Ω + the image of the plane under retraction to S. Each ortho geodesic in α M lifts to a geodesic arc with initial point in S and endpoint in some plane.
117 Caligari s Chimneys Definition A chimney is isometric to convex hull of a plane bounding a component of Ω + the image of the plane under retraction to S. Each ortho geodesic in α M lifts to a geodesic arc with initial point in S and endpoint in some plane. Core of a chimney = α Top of a chimney is the plane. Base a round disk in the surface S.
118 Basmajian identity Collection of bases of the chimneys forms circle packing of S. M is geometrically finite so complement = set of measure zero.
119 Basmajian identity Collection of bases of the chimneys forms circle packing of S. M is geometrically finite so complement = set of measure zero. M = ( α base of chimney) projection of Λ
120 Basmajian identity Collection of bases of the chimneys forms circle packing of S. M is geometrically finite so complement = set of measure zero. M = ( α base of chimney) projection of Λ Vol( M) = α Vol(base of chimney)
121 Basmajian identity Collection of bases of the chimneys forms circle packing of S. M is geometrically finite so complement = set of measure zero. M = ( α base of chimney) projection of Λ Vol( M) = α Vol(base of chimney) Bridgeman-Kahn will discuss in detail later, but roughly:
122 Basmajian identity Collection of bases of the chimneys forms circle packing of S. M is geometrically finite so complement = set of measure zero. M = ( α base of chimney) projection of Λ Vol( M) = α Vol(base of chimney) Bridgeman-Kahn will discuss in detail later, but roughly: TM = ( α B(α )) tangents to geodesics with endpts Λ
123 Basmajian identity Collection of bases of the chimneys forms circle packing of S. M is geometrically finite so complement = set of measure zero. M = ( α base of chimney) projection of Λ Vol( M) = α Vol(base of chimney) Bridgeman-Kahn will discuss in detail later, but roughly: TM = ( α B(α )) tangents to geodesics with endpts Λ Vol(UTM) = α Vol(UB(α ))
124 Part V Equidecomposability
125 Bridgeman and Calegari decompositions ˆδ ˆα Figure: geodesics escaping p(v) is a big dot.
126 Bridgeman and Calegari decompositions ˆδ ˆα Figure: geodesics escaping p(v) is a big dot. Subsets of the unit tangent bundle of the ideal quadrilateral Q(α ). v tangent bundle p(v) H is the base of the vector.
127 Bridgeman and Calegari decompositions ˆδ ˆα Figure: geodesics escaping p(v) is a big dot. Subsets of the unit tangent bundle of the ideal quadrilateral Q(α ). v tangent bundle p(v) H is the base of the vector. Bridgeman s set B(α ) is the set of vectors v tangent to geodesic segments joining ˆα to ˆδ 1. the ray γ v (R + ) meets ˆδ, 2. the ray γ v (R ) meets ˆα.
128 Bridgeman and Calegari decompositions ˆδ ˆα Figure: geodesics escaping p(v) is a big dot. Subsets of the unit tangent bundle of the ideal quadrilateral Q(α ). v tangent bundle p(v) H is the base of the vector. Bridgeman s set B(α ) is the set of vectors v tangent to geodesic segments joining ˆα to ˆδ 1. the ray γ v (R + ) meets ˆδ, 2. the ray γ v (R ) meets ˆα. Calegari s set C(α ) is the set of vectors v such that 1. the ray γ v (R + ) meets ˆδ, 2. the base p(v) is in the chimney of the quadrilateral.
129 Identities Theorem (Bridgeman-Kahn, Calegari) Vol(S n 1 )Vol(M) = Vol(UTM)
130 Identities Theorem (Bridgeman-Kahn, Calegari) Vol(S n 1 )Vol(M) = Vol(UTM) = α Vol(UB(α )) = α Vol(UC(α ))
131 Identities Theorem (Bridgeman-Kahn, Calegari) Vol(S n 1 )Vol(M) = Vol(UTM) = α Vol(UB(α )) = α Vol(UC(α )) Proof: TM has a decomposition into pieces (either B(α )s or C(α )s) one for each orthogeodesic α the complement consists of v, γ v ( ) Λ so is measure 0.
132 Identities Theorem (Bridgeman-Kahn, Calegari) Vol(S n 1 )Vol(M) = Vol(UTM) = α Vol(UB(α )) = α Vol(UC(α )) Proof: TM has a decomposition into pieces (either B(α )s or C(α )s) one for each orthogeodesic α the complement consists of v, γ v ( ) Λ so is measure 0. Theorem (M.) For all n 2 Vol(UB(α )) = Vol(UC(α )) Case n = 2, Calegari by direct computation.
133 Equidecomposability Let X, Y metric space are equidecomposable iff there exists
134 Equidecomposability Let X, Y metric space are equidecomposable iff there exists decompositions X = N k=0 X k, Y = N k=0 Y k
135 Equidecomposability Let X, Y metric space are equidecomposable iff there exists decompositions X = N k=0 X k, Y = N k=0 Y k isometries φ k such that Y k = φ k (X k ).
136 Equidecomposability Let X, Y metric space are equidecomposable iff there exists decompositions X = N k=0 X k, Y = N k=0 Y k isometries φ k such that Y k = φ k (X k ). Let X, Y measure space are countable equidecomposable iff there exists
137 Equidecomposability Let X, Y metric space are equidecomposable iff there exists decompositions X = N k=0 X k, Y = N k=0 Y k isometries φ k such that Y k = φ k (X k ). Let X, Y measure space are countable equidecomposable iff there exists measurable decompositions
138 Equidecomposability Let X, Y metric space are equidecomposable iff there exists decompositions X = N k=0 X k, Y = N k=0 Y k isometries φ k such that Y k = φ k (X k ). Let X, Y measure space are countable equidecomposable iff there exists measurable decompositions X = k=0 X k, Y = k=0 Y k isometries φ k such that Y k = φ k (X k ).
139 Equidecomposability Let X, Y metric space are equidecomposable iff there exists decompositions X = N k=0 X k, Y = N k=0 Y k isometries φ k such that Y k = φ k (X k ). Let X, Y measure space are countable equidecomposable iff there exists measurable decompositions X = k=0 X k, Y = k=0 Y k isometries φ k such that Y k = φ k (X k ). The Haar measure is countably additive and so we can conclude that X and Y have the same volume provided the pieces X k, Y k are measurable,
140 Equidecomposability, dimension 2 A := hyperbolic isometry pairing the sides of the chimney
141 Equidecomposability, dimension 2 A := hyperbolic isometry pairing the sides of the chimney ˆδ A(γ) γ A 2 (γ) ˆα A(ˆα) A 2 (ˆα) Figure: Covering of quadrilateral by A k translates of chimney
142 Equidecomposability, dimension 2 A := hyperbolic isometry pairing the sides of the chimney ˆδ A(γ) γ A 2 (γ) ˆα A(ˆα) A 2 (ˆα) Figure: Covering of quadrilateral by A k translates of chimney X k := {v B(α ), A k (p(v)) chimney} Y k := {v C(α ), γ v (R ) A k (ˆα) }.
143 Equidecomposability, dimension 2 A := hyperbolic isometry pairing the sides of the chimney ˆδ A(γ) γ A 2 (γ) ˆα A(ˆα) A 2 (ˆα) Figure: Covering of quadrilateral by A k translates of chimney X k := {v B(α ), A k (p(v)) chimney} Y k := {v C(α ), γ v (R ) A k (ˆα) }. Easy to see Y k = A k (X k ).
144 Visualising this Surface obtained from a chimney by identifying sides. Figure: geodesic on a crown of area π
145 Visualising this Surface obtained from a chimney by identifying sides. Figure: geodesic on a crown of area π Vol(UB(α )) = π Probability a geodesic hits top and bottom
146 Visualising this Surface obtained from a chimney by identifying sides. Figure: geodesic on a crown of area π Vol(UB(α )) = π Probability a geodesic hits top and bottom Vol(UC(α )) = π Probability a geodesic hits top
147 Visualising this Surface obtained from a chimney by identifying sides. Figure: geodesic on a crown of area π Vol(UB(α )) = π Probability a geodesic hits top and bottom Vol(UC(α )) = π Probability a geodesic hits top No geodesic bigons these are the same
148 Higher dimensions In dimension 2: the plane S admits a packing by translates of the base of a chimney.
149 Higher dimensions In dimension 2: the plane S admits a packing by translates of the base of a chimney. In dimension 3: S will not admit such a packing.
150 Higher dimensions In dimension 2: the plane S admits a packing by translates of the base of a chimney. In dimension 3: S will not admit such a packing. Instead we choose A k, k = 1, 2,... isometries such that:
151 Higher dimensions In dimension 2: the plane S admits a packing by translates of the base of a chimney. In dimension 3: S will not admit such a packing. Instead we choose A k, k = 1, 2,... isometries such that: A k ( S) = S
152 Higher dimensions In dimension 2: the plane S admits a packing by translates of the base of a chimney. In dimension 3: S will not admit such a packing. Instead we choose A k, k = 1, 2,... isometries such that: A k ( S) = S {A k (chimney base)} k is a (locally finite) cover of the plane S
153 Higher dimensions In dimension 2: the plane S admits a packing by translates of the base of a chimney. In dimension 3: S will not admit such a packing. Instead we choose A k, k = 1, 2,... isometries such that: A k ( S) = S {A k (chimney base)} k is a (locally finite) cover of the plane S
154 Higher dimensions In dimension 2: the plane S admits a packing by translates of the base of a chimney. In dimension 3: S will not admit such a packing. Instead we choose A k, k = 1, 2,... isometries such that: A k ( S) = S {A k (chimney base)} k is a (locally finite) cover of the plane S X k := {v B(α ), A k (p(v)) chimney}
155 Higher dimensions In dimension 2: the plane S admits a packing by translates of the base of a chimney. In dimension 3: S will not admit such a packing. Instead we choose A k, k = 1, 2,... isometries such that: A k ( S) = S {A k (chimney base)} k is a (locally finite) cover of the plane S X k := {v B(α ), A k (p(v)) chimney} Y k := {v C(α ), γ v (R ) A k (top of chimney) }
156 Higher dimensions In dimension 2: the plane S admits a packing by translates of the base of a chimney. In dimension 3: S will not admit such a packing. Instead we choose A k, k = 1, 2,... isometries such that: A k ( S) = S {A k (chimney base)} k is a (locally finite) cover of the plane S X k := {v B(α ), A k (p(v)) chimney} Y k := {v C(α ), γ v (R ) A k (top of chimney) }. and Y k = A k (X k )
157 ...and Happy Birthday
arxiv: v1 [math.gt] 13 Sep 2013
Identities on Hyperbolic Manifolds Martin Bridgeman and Ser Peow Tan arxiv:1309.3578v1 [math.gt] 13 Sep 013 Boston College Chestnut Hill, Ma 0116, USA email: bridgem@bc.edu National University of Singapore
More informationarxiv: v1 [math.gt] 1 Aug 2016
The Bridgeman-Kahn identity for hyperbolic manifolds with cusped boundary arxiv:608.00600v [math.gt] Aug 06 NICHOLAS G. VLAMIS ANDREW YARMOLA In this note, we extend the Bridgeman-Kahn identity to all
More informationTHE SELBERG TRACE FORMULA OF COMPACT RIEMANN SURFACES
THE SELBERG TRACE FORMULA OF COMPACT RIEMANN SURFACES IGOR PROKHORENKOV 1. Introduction to the Selberg Trace Formula This is a talk about the paper H. P. McKean: Selberg s Trace Formula as applied to a
More informationRigid/Flexible Dynamics Problems and Exercises Math 275 Harvard University Fall 2006 C. McMullen
Rigid/Flexible Dynamics Problems and Exercises Math 275 Harvard University Fall 2006 C. McMullen 1. Give necessary and sufficent conditions on T = ( a b c d) GL2 (C) such that T is in U(1,1), i.e. such
More informationConvex hulls in hyperbolic 3-space and generalized orthospectral identities
Convex hulls in hyperbolic 3-space and generalized orthospectral identities Andrew Yarmola A dissertation submitted to the Faculty of the Department of Mathematics in partial fulfillment of the requirements
More informationPart IB GEOMETRY (Lent 2016): Example Sheet 1
Part IB GEOMETRY (Lent 2016): Example Sheet 1 (a.g.kovalev@dpmms.cam.ac.uk) 1. Suppose that H is a hyperplane in Euclidean n-space R n defined by u x = c for some unit vector u and constant c. The reflection
More informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
More informationHyperbolic Geometry on Geometric Surfaces
Mathematics Seminar, 15 September 2010 Outline Introduction Hyperbolic geometry Abstract surfaces The hemisphere model as a geometric surface The Poincaré disk model as a geometric surface Conclusion Introduction
More informationBounding the bending of a hyperbolic 3-manifold
Bounding the bending of a hyperbolic 3-manifold Martin Bridgeman and Richard D Canary June 7, 2003 Abstract In this paper we obtain bounds on the total bending of the boundary of the convex core of a hyperbolic
More informationGeneralizations Of McShane s Identity To Hyperbolic Cone-Surfaces. Ser Peow Tan Yan Loi Wong Ying Zhang
Generalizations Of McShane s Identity To Hyperbolic Cone-Surfaces Ser Peow Tan Yan Loi Wong Ying Zhang Department of Mathematics, National University of Singapore, Science Drive, Singapore 117543, Singapore
More informationRandom Geodesics. Martin Bridgeman Boston College. n 1 denote the sphere at infinity. A Kleinian
Random Geodesics Martin Bridgeman Boston College 1 Background Let H n be n-dimensional hyperbolic space and let S n 1 denote the sphere at infinity. A Kleinian group is a discrete subgroup Γ of the group
More informationCOARSE HYPERBOLICITY AND CLOSED ORBITS FOR QUASIGEODESIC FLOWS
COARSE HYPERBOLICITY AND CLOSED ORBITS FOR QUASIGEODESIC FLOWS STEVEN FRANKEL Abstract. We prove Calegari s conjecture that every quasigeodesic flow on a closed hyperbolic 3-manifold has closed orbits.
More informationFuchsian groups. 2.1 Definitions and discreteness
2 Fuchsian groups In the previous chapter we introduced and studied the elements of Mob(H), which are the real Moebius transformations. In this chapter we focus the attention of special subgroups of this
More informationChaotic Scattering on Hyperbolic Manifolds
Chaotic Scattering on Hyperbolic Manifolds Peter A Perry University of Kentucky 9 March 2015 With thanks to: The organizers for the invitation David Borthwick for help with figures The Participants for
More informationPRELIMINARY LECTURES ON KLEINIAN GROUPS
PRELIMINARY LECTURES ON KLEINIAN GROUPS KEN ICHI OHSHIKA In this two lectures, I shall present some backgrounds on Kleinian group theory, which, I hope, would be useful for understanding more advanced
More informationHUBER S THEOREM FOR HYPERBOLIC ORBISURFACES
HUBER S THEOREM FOR HYPERBOLIC ORBISURFACES EMILY B. DRYDEN AND ALEXANDER STROHMAIER Abstract. We show that for compact orientable hyperbolic orbisurfaces, the Laplace spectrum determines the length spectrum
More informationarxiv: v1 [math.gt] 26 Sep 2017
GEODESIC INTERSECTIONS AND ISOXIAL FUCHSIAN GROUPS. arxiv:1709.08958v1 [math.gt] 26 Sep 2017 GREG MCSHANE Abstract. The set of axes of hyperbolic elements in a Fuchsian group depends on the commensurability
More informationPart IB. Geometry. Year
Part IB Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2017 17 Paper 1, Section I 3G Give the definition for the area of a hyperbolic triangle with interior angles
More informationA crash course the geometry of hyperbolic surfaces
Lecture 7 A crash course the geometry of hyperbolic surfaces 7.1 The hyperbolic plane Hyperbolic geometry originally developed in the early 19 th century to prove that the parallel postulate in Euclidean
More informationOn the local connectivity of limit sets of Kleinian groups
On the local connectivity of limit sets of Kleinian groups James W. Anderson and Bernard Maskit Department of Mathematics, Rice University, Houston, TX 77251 Department of Mathematics, SUNY at Stony Brook,
More informationA NEW CHARACTERIZATION OF GROMOV HYPERBOLICITY FOR NEGATIVELY CURVED SURFACES. José M. Rodríguez (1) and Eva Tourís (1)(2)
A NEW CHARACTERIZATION OF GROMOV HYPERBOLICITY FOR NEGATIVELY CURVED SURFACES José M. Rodríguez (1) and Eva Tourís (1)(2) Abstract In this paper we show that to check Gromov hyperbolicity of any surface
More informationDiscrete groups and the thick thin decomposition
CHAPTER 5 Discrete groups and the thick thin decomposition Suppose we have a complete hyperbolic structure on an orientable 3-manifold. Then the developing map D : M H 3 is a covering map, by theorem 3.19.
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationGEODESIC PLANES IN GEOMETRICALLY FINITE MANIFOLDS OSAMA KHALIL
GEODESIC PLANES IN GEOMETRICALLY FINITE MANIFOLDS OSAMA KHALIL Abstract. We study the problem of rigidity of closures of totally geodesic plane immersions in geometrically finite manifolds containing rank
More informationMATH 434 Fall 2016 Homework 1, due on Wednesday August 31
Homework 1, due on Wednesday August 31 Problem 1. Let z = 2 i and z = 3 + 4i. Write the product zz and the quotient z z in the form a + ib, with a, b R. Problem 2. Let z C be a complex number, and let
More informationON FENCHEL NIELSEN COORDINATES ON TEICHMÜLLER SPACES OF SURFACES OF INFINITE TYPE
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 36, 2011, 621 659 ON FENCHEL NIELSEN COORDINATES ON TEICHMÜLLER SPACES OF SURFACES OF INFINITE TYPE Daniele Alessandrini, Lixin Liu, Athanase Papadopoulos,
More informationThe bumping set and the characteristic submanifold
The bumping set and the characteristic submanifold Abstract We show here that the Nielsen core of the bumping set of the domain of discontinuity of a Kleinian group Γ is the boundary for the characteristic
More informationTopics in Geometry and Dynamics
Topics in Geometry and Dynamics Problems C. McMullen 1. Consider the powers of 2, x n = 2 n for n = 0, 1, 2,..., written in base 10. What proportion of these numbers begin with the digit 1? 2. Let x [0,
More informationSEPARATING SIMPLE CLOSED GEODESICS AND SHORT HOMOLOGY BASES ON RIEMANN SURFACES
SEPARATING SIMPLE CLOSED GEODESICS AND SHORT HOMOLOGY BASES ON RIEMANN SURFACES HUGO PARLIER Abstract. This article is dedicated to a careful analysis of distances and lengths of separating simple closed
More informationPart II. Geometry and Groups. Year
Part II Year 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2014 Paper 4, Section I 3F 49 Define the limit set Λ(G) of a Kleinian group G. Assuming that G has no finite orbit in H 3 S 2, and that Λ(G),
More informationGeometric structures on the Figure Eight Knot Complement. ICERM Workshop
Figure Eight Knot Institut Fourier - Grenoble Sep 16, 2013 Various pictures of 4 1 : K = figure eight The complete (real) hyperbolic structure M = S 3 \ K carries a complete hyperbolic metric M can be
More informationDIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17
DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 6. Geodesics A parametrized line γ : [a, b] R n in R n is straight (and the parametrization is uniform) if the vector γ (t) does not depend on t. Thus,
More informationPart IB Geometry. Theorems. Based on lectures by A. G. Kovalev Notes taken by Dexter Chua. Lent 2016
Part IB Geometry Theorems Based on lectures by A. G. Kovalev Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures.
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationPlane hyperbolic geometry
2 Plane hyperbolic geometry In this chapter we will see that the unit disc D has a natural geometry, known as plane hyperbolic geometry or plane Lobachevski geometry. It is the local model for the hyperbolic
More informationDefinition We say that a topological manifold X is C p if there is an atlas such that the transition functions are C p.
13. Riemann surfaces Definition 13.1. Let X be a topological space. We say that X is a topological manifold, if (1) X is Hausdorff, (2) X is 2nd countable (that is, there is a base for the topology which
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationEigenvalues and eigenfunctions of the Laplacian. Andrew Hassell
Eigenvalues and eigenfunctions of the Laplacian Andrew Hassell 1 2 The setting In this talk I will consider the Laplace operator,, on various geometric spaces M. Here, M will be either a bounded Euclidean
More informationEuler Characteristic of Two-Dimensional Manifolds
Euler Characteristic of Two-Dimensional Manifolds M. Hafiz Khusyairi August 2008 In this work we will discuss an important notion from topology, namely Euler Characteristic and we will discuss several
More informationBending deformation of quasi-fuchsian groups
Bending deformation of quasi-fuchsian groups Yuichi Kabaya (Osaka University) Meiji University, 30 Nov 2013 1 Outline The shape of the set of discrete faithful representations in the character variety
More informationVolume preserving surgeries on hyperbolic 3-manifolds
Volume preserving surgeries on hyperbolic 3-manifolds Peter Rudzis Advisor: Dr. Rolland Trapp August 19, 2016 Abstract In this paper, we investigate two types of surgeries, the parallel surgery and the
More informationGEODESIC SYSTEMS OF TUNNELS IN HYPERBOLIC 3 MANIFOLDS
GEODESIC SYSTEMS OF TUNNELS IN HYPERBOLIC 3 MANIFOLDS STEPHAN D. BURTON AND JESSICA S. PURCELL Abstract. It is unknown whether an unknotting tunnel is always isotopic to a geodesic in a finite volume hyperbolic
More informationThe 3-Dimensional Geometrisation Conjecture Of W. P. Thurston
The 3-Dimensional Geometrisation Conjecture Of W. P. Thurston May 14, 2002 Contents 1 Introduction 2 2 G-manifolds 3 2.1 Definitions and basic examples................... 3 2.2 Foliations...............................
More information6. Constructing hyperbolic manifolds
6. Constructing hyperbolic manifolds Recall that a hyperbolic manifold is a (G, X)-manifold, where X is H n and G = Isom(H n ). Since G is a group of Riemannian isometries, G acts rigidly. Hence, the pseudogroup
More informationarxiv:math/ v1 [math.gt] 12 Apr 2004
arxiv:math/04046v1 [mathgt] 1 Apr 004 GENERALIZATIONS OF MCSHANE S IDENTITY TO HYPERBOLIC CONE-SURFACES SER PEOW TAN, YAN LOI WONG, AND YING ZHANG Abstract We generalize McShane s identity for the length
More informationQuasi-conformal minimal Lagrangian diffeomorphisms of the
Quasi-conformal minimal Lagrangian diffeomorphisms of the hyperbolic plane (joint work with J.M. Schlenker) January 21, 2010 Quasi-symmetric homeomorphism of a circle A homeomorphism φ : S 1 S 1 is quasi-symmetric
More informationGenericity of contracting elements in groups
Genericity of contracting elements in groups Wenyuan Yang (Peking University) 2018 workshop on Algebraic and Geometric Topology July 29, 2018 Southwest Jiaotong University, Chengdu Wenyuan Yang Genericity
More informationTubes in Hyperbolic 3-Manifolds
Tubes in Hyperbolic 3-Manifolds Andrew Przeworski February 19, 001 Abstract We prove a lower bound on the volume of a maximal precisely invariant tube in a hyperbolic 3-manifold. This lower bound depends
More informationCoarse and fine geometry of the Thurston metric
Coarse and fine geometry of the Thurston metric David Dumas, Anna Lenzhen, Kasra Rafi, and Jing Tao Figure 0: In-envelopes in Teichmüller space; see Section 5.2. 1 Introduction In this paper we study the
More informationStratification of 3 3 Matrices
Stratification of 3 3 Matrices Meesue Yoo & Clay Shonkwiler March 2, 2006 1 Warmup with 2 2 Matrices { Best matrices of rank 2} = O(2) S 3 ( 2) { Best matrices of rank 1} S 3 (1) 1.1 Viewing O(2) S 3 (
More informationThe Minimal Element Theorem
The Minimal Element Theorem The CMC Dynamics Theorem deals with describing all of the periodic or repeated geometric behavior of a properly embedded CMC surface with bounded second fundamental form in
More informationSelf-intersection numbers of curves in the doubly-punctured plane
Self-intersection numbers of curves in the doubly-punctured plane Moira Chas and Anthony Phillips July, 00 Abstract We address the problem of computing bounds for the self-intersection number (the minimum
More informationMinimizing properties of geodesics and convex neighborhoods
Minimizing properties of geodesics and convex neighorhoods Seminar Riemannian Geometry Summer Semester 2015 Prof. Dr. Anna Wienhard, Dr. Gye-Seon Lee Hyukjin Bang July 10, 2015 1. Normal spheres In the
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationQuasiconformal Homogeneity of Genus Zero Surfaces
arxiv:0910.1050v3 [math.gt] 10 Nov 009 Quasiconformal Homogeneity of Genus Zero Surfaces Ferry Kwakkel November 10, 009 Abstract Vladimir Markovic A Riemann surface M is said to be K-quasiconformally homogeneous
More informationTop terms of polynomial traces in Kra s plumbing construction.
1001 999 1001 Top terms of polynomial traces in Kra s plumbing construction. SARA MALONI CAROLINE SERIES Let Σ be a surface of negative Euler characteristic together with a pants decomposition P. Kra s
More informationBOUNDARY AND LENS RIGIDITY OF FINITE QUOTIENTS
BOUNDARY AND LENS RIGIDITY OF FINITE QUOTIENTS CHRISTOPHER CROKE + Abstract. We consider compact Riemannian manifolds (M, M, g) with boundary M and metric g on which a finite group Γ acts freely. We determine
More informationarxiv: v3 [math.gt] 9 May 2017
Basmajian s identity in higher Teichmüller Thurston theory arxiv:1504.00649v3 [math.gt] 9 May 2017 NICHOLAS G. VLAMIS ANDREW YARMOLA We prove an extension of Basmajian s identity to n Hitchin representations
More informationSmall cancellation theory and Burnside problem.
Small cancellation theory and Burnside problem. Rémi Coulon February 27, 2013 Abstract In these notes we detail the geometrical approach of small cancellation theory used by T. Delzant and M. Gromov to
More informationConformal measures associated to ends of hyperbolic n-manifolds
Conformal measures associated to ends of hyperbolic n-manifolds arxiv:math/0409582v2 [math.cv] 13 Jun 2005 James W. Anderson Kurt Falk Pekka Tukia February 1, 2008 Abstract Let Γ be a non-elementary Kleinian
More informationGLOBAL, GEOMETRICAL COORDINATES ON FALBEL S CROSS-RATIO VARIETY
GLOBAL GEOMETRICAL COORDINATES ON FALBEL S CROSS-RATIO VARIETY JOHN R. PARKER & IOANNIS D. PLATIS Abstract. Falbel has shown that four pairwise distinct points on the boundary of complex hyperbolic -space
More informationTHE ASYMPTOTIC BEHAVIOUR OF HEEGAARD GENUS
THE ASYMPTOTIC BEHAVIOUR OF HEEGAARD GENUS MARC LACKENBY 1. Introduction Heegaard splittings have recently been shown to be related to a number of important conjectures in 3-manifold theory: the virtually
More informationarxiv: v2 [math.gt] 27 Nov 2017
COARSE HYPERBOLICITY AND CLOSED ORBITS FOR QUASIGEODESIC FLOWS arxiv:1507.04320v2 [math.gt] 27 Nov 2017 STEVEN FRANKEL Abstract. We prove a conjecture of Calegari s, that every quasigeodesic flow on a
More information1 Spaces and operations Continuity and metric spaces Topological spaces Compactness... 3
Compact course notes Topology I Fall 2011 Professor: A. Penskoi transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Spaces and operations 2 1.1 Continuity and metric
More informationarxiv:math/ v1 [math.gt] 15 Aug 2003
arxiv:math/0308147v1 [math.gt] 15 Aug 2003 CIRCLE PACKINGS ON SURFACES WITH PROJECTIVE STRUCTURES AND UNIFORMIZATION SADAYOSHI KOJIMA, SHIGERU MIZUSHIMA, AND SER PEOW TAN Abstract. Let Σ g be a closed
More informationIntrinsic Geometry. Andrejs Treibergs. Friday, March 7, 2008
Early Research Directions: Geometric Analysis II Intrinsic Geometry Andrejs Treibergs University of Utah Friday, March 7, 2008 2. References Part of a series of thee lectures on geometric analysis. 1 Curvature
More informationHyperbolic structures on 3-manifolds via volume maximization
Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea Specialistica in Matematica Tesi di Laurea Specialistica Hyperbolic structures on 3-manifolds via volume maximization Lorenzo Losa Relatore
More informationAsymptotic Behaviour of λ-convex Sets in the Hyperbolic Plane
Geometriae Dedicata 76: 75 89, 1999. 1999 Kluwer Academic Publishers. Printed in the Netherlands. 75 Asymptotic Behaviour of λ-convex Sets in the Hyperbolic Plane EDUARDO GALLEGO and AGUSTÍ REVENTÓS Departament
More informationThe Geometrization Theorem
The Geometrization Theorem Matthew D. Brown Wednesday, December 19, 2012 In this paper, we discuss the Geometrization Theorem, formerly Thurston s Geometrization Conjecture, which is essentially the statement
More informationJunior Seminar: Hyperbolic Geometry Lecture Notes
Junior Seminar: Hyperbolic Geometry Lecture Notes Tim Campion January 20, 2010 1 Motivation Our first construction is very similar in spirit to an analogous one in Euclidean space. The group of isometries
More informationHyperbolicity of mapping-torus groups and spaces
Hyperbolicity of mapping-torus groups and spaces François Gautero e-mail: Francois.Gautero@math.unige.ch Université de Genève Section de Mathématiques 2-4 rue du Lièvre, CP 240 1211 Genève Suisse July
More informationGeometric and isoperimetric properties of sets of positive reach in E d
Geometric and isoperimetric properties of sets of positive reach in E d Andrea Colesanti and Paolo Manselli Abstract Some geometric facts concerning sets of reach R > 0 in the n dimensional Euclidean space
More informationGromov s Proof of Mostow Rigidity
Gromov s Proof of Mostow Rigidity Mostow Rigidity is a theorem about invariants. An invariant assigns a label to whatever mathematical object I am studying that is well-defined up to the appropriate equivalence.
More informationGreen s Theorem in the Plane
hapter 6 Green s Theorem in the Plane Introduction Recall the following special case of a general fact proved in the previous chapter. Let be a piecewise 1 plane curve, i.e., a curve in R defined by a
More informationHyperbolic Analytic Geometry
Chapter 6 Hyperbolic Analytic Geometry 6.1 Saccheri Quadrilaterals Recall the results on Saccheri quadrilaterals from Chapter 4. Let S be a convex quadrilateral in which two adjacent angles are right angles.
More informationResearch statement : Greg MCSHANE.
Research statement : Greg MCSHANE. My work is concerned with surfaces and representations of surface groups, a subject which has interactions with many other branches of mathematics. The results I have
More informationEquivalent trace sets for arithmetic Fuchsian groups
Equivalent trace sets for arithmetic Fuchsian groups Grant S Lakeland December 30 013 Abstract We show that the modular group has an infinite family of finite index subgroups each of which has the same
More informationGromov hyperbolicity of Denjoy domains
Universidad Carlos III de Madrid Repositorio institucional e-archivo Grupo de Análisis Matemático Aplicado (GAMA) http://e-archivo.uc3m.es DM - GAMA - Artículos de Revistas 2006-08 Gromov hyperbolicity
More informationMath 426H (Differential Geometry) Final Exam April 24, 2006.
Math 426H Differential Geometry Final Exam April 24, 6. 8 8 8 6 1. Let M be a surface and let : [0, 1] M be a smooth loop. Let φ be a 1-form on M. a Suppose φ is exact i.e. φ = df for some f : M R. Show
More informationINTRINSIC MEAN ON MANIFOLDS. Abhishek Bhattacharya Project Advisor: Dr.Rabi Bhattacharya
INTRINSIC MEAN ON MANIFOLDS Abhishek Bhattacharya Project Advisor: Dr.Rabi Bhattacharya 1 Overview Properties of Intrinsic mean on Riemannian manifolds have been presented. The results have been applied
More informationRENORMALIZED VOLUME AND THE VOLUME OF THE CONVEX CORE
RENORMALIZED VOLUME AND THE VOLUME OF THE CONVEX CORE MARTIN BRIDGEMAN AND RICHARD D. CANARY Abstract. We obtain upper and lower bounds on the difference between the renormalized volume and the volume
More informationTEICHMÜLLER SPACE MATTHEW WOOLF
TEICHMÜLLER SPACE MATTHEW WOOLF Abstract. It is a well-known fact that every Riemann surface with negative Euler characteristic admits a hyperbolic metric. But this metric is by no means unique indeed,
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More information3-manifolds and their groups
3-manifolds and their groups Dale Rolfsen University of British Columbia Marseille, September 2010 Dale Rolfsen (2010) 3-manifolds and their groups Marseille, September 2010 1 / 31 3-manifolds and their
More informationFoliations of hyperbolic space by constant mean curvature surfaces sharing ideal boundary
Foliations of hyperbolic space by constant mean curvature surfaces sharing ideal boundary David Chopp and John A. Velling December 1, 2003 Abstract Let γ be a Jordan curve in S 2, considered as the ideal
More informationPeriodic constant mean curvature surfaces in H 2 R
Periodic constant mean curvature surfaces in H 2 R Laurent Mazet, M. Magdalena Rodríguez and Harold Rosenberg June 8, 2011 1 Introduction A properly embedded surface Σ in H 2 R, invariant by a non-trivial
More information(x, y) = d(x, y) = x y.
1 Euclidean geometry 1.1 Euclidean space Our story begins with a geometry which will be familiar to all readers, namely the geometry of Euclidean space. In this first chapter we study the Euclidean distance
More information1.3 Group Actions. Exercise Prove that a CAT(1) piecewise spherical simplicial complex is metrically flag.
Exercise 1.2.6. Prove that a CAT(1) piecewise spherical simplicial complex is metrically flag. 1.3 Group Actions Definition 1.3.1. Let X be a metric space, and let λ : X X be an isometry. The displacement
More informationELDER SIBLINGS AND THE TAMING OF HYPERBOLIC 3-MANIFOLDS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 23, 1998, 415 428 ELDER SIBLINGS AND THE TAMING OF HYPERBOLI 3-MANIFOLDS Michael H. Freedman and urtis T. McMullen University of alifornia, San
More informationTHE LENGTH OF UNKNOTTING TUNNELS
THE LENGTH OF UNKNOTTING TUNNELS DARYL COOPER, MARC LACKENBY, AND JESSICA S. PURCELL Abstract. We show there exist tunnel number one hyperbolic 3 manifolds with arbitrarily long unknotting tunnel. This
More informationTHE VOLUME OF A HYPERBOLIC 3-MANIFOLD WITH BETTI NUMBER 2. Marc Culler and Peter B. Shalen. University of Illinois at Chicago
THE VOLUME OF A HYPERBOLIC -MANIFOLD WITH BETTI NUMBER 2 Marc Culler and Peter B. Shalen University of Illinois at Chicago Abstract. If M is a closed orientable hyperbolic -manifold with first Betti number
More informationWilliam P. Thurston. The Geometry and Topology of Three-Manifolds
William P. Thurston The Geometry and Topology of Three-Manifolds Electronic version 1.1 - March 2002 http://www.msri.org/publications/books/gt3m/ This is an electronic edition of the 1980 notes distributed
More informationScienceWord and PagePlayer Graphical representation. Dr Emile C. B. COMLAN Novoasoft Representative in Africa
ScienceWord and PagePlayer Graphical representation Dr Emile C. B. COMLAN Novoasoft Representative in Africa Emails: ecomlan@scienceoffice.com ecomlan@yahoo.com Web site: www.scienceoffice.com Graphical
More informationCompression Bodies and Their Boundary Hyperbolic Structures
Brigham Young University BYU ScholarsArchive All Theses and Dissertations 2015-12-01 Compression Bodies and Their Boundary Hyperbolic Structures Vinh Xuan Dang Brigham Young University - Provo Follow this
More informationSpectral Theory on Hyperbolic Surfaces
Spectral Theory on Hyperbolic Surfaces David Borthwick Emory University July, 2010 Outline Hyperbolic geometry Fuchsian groups Spectral theory Selberg trace formula Arithmetic surfaces I. Hyperbolic Geometry
More informationFrom continua to R trees
1759 1784 1759 arxiv version: fonts, pagination and layout may vary from AGT published version From continua to R trees PANOS PAPASOGLU ERIC SWENSON We show how to associate an R tree to the set of cut
More informationSPHERES AND PROJECTIONS FOR Out(F n )
SPHERES AND PROJECTIONS FOR Out(F n ) URSULA HAMENSTÄDT AND SEBASTIAN HENSEL Abstract. The outer automorphism group Out(F 2g ) of a free group on 2g generators naturally contains the mapping class group
More informationarxiv: v2 [math.gt] 19 Oct 2014
VIRTUAL LEGENDRIAN ISOTOPY VLADIMIR CHERNOV AND RUSTAM SADYKOV arxiv:1406.0875v2 [math.gt] 19 Oct 2014 Abstract. An elementary stabilization of a Legendrian knot L in the spherical cotangent bundle ST
More informationThus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a
Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:
More informationThe Geometry of Two Generator Groups: Hyperelliptic Handlebodies
The Geometry of Two Generator Groups: Hyperelliptic Handlebodies Jane Gilman (gilman@andromeda.rutgers.edu) Department of Mathematics, Smith Hall Rutgers University, Newark, NJ 07102, USA Linda Keen (linda.keen@lehman.cuny.edu)
More information