Connor Davis, Ben Gould, Luke Kiernanqcpages.qc.cuny.edu/~nvlamis/W17Poster.pdf[5] Svetlana Katok....
1
Visualizing the Birman-Series Set on the Punctured Torus Connor Davis, Ben Gould, Luke Kiernan Advisors: Nicholas Vlamis and Mark Greenfield Laboratory of Geometry at Michigan Introduction Goals • Understand the distribution of simple, closed geodesics on hyperbolic surfaces • Create pictures to demonstrate phenomena in hyperbolic geometry Example 1 (The Punctured Torus). The once-punctured torus T 1,1 can be obtained by gluing opposite sides of an ideal quadrilateral in the hyperbolic plane. This allows us to equip T 1,1 with a hyperbolic metric and identify the uni- versal cover of T 1,1 with the hyperbolic plane H 2 . Figure 1: The once-punctured torus has a fundamental group generated by two curves (shown above) Definition. 1. A path between a, b is a geodesic if it locally minimizes distance. 2. A path is simple provided that it is non self-intersecting. 3. The Birman-Series set is the union of all simple, closed geodesics on a finite area hyperbolic surface. Theorem 1 1. (Birman-Series 1985) The Birman-Series set has Hausdorff dimension 1; in particu- lar, it is nowhere dense. 2. (Buser-Parlier 2008) If X is finite-area orientable hyperbolic surface, then there ex- ists a constant r> 0 (depending only on the topology of the surface) and a hyperboilc ball of radius r embedded in X disjoint from the Birman-Series set. Fundamental Domains Example 2 (Definition of Γ and Γ + ). Let Γ= hz 7→- z,z 7→ z 2 z - 1 ,z 7→- z +2i and let Γ + be the index 2 subgroup of Γ consist- ing of orientation preserving transformations. Each generator of Γ is a reflection about a geodesic and the union of these geodesics bound an ideal triangle T ⊂ H 2 satisfying: • S γ ∈Γ γ (T )= H 2 • Int(T ) ∩ γ (Int(T )) 6= ∅ = ⇒ γ = Id. We say that H 2 is tessellated by the images of T under Γ and that T is a fundamental do- main for the action of Γ on H 2 . Γ is an exam- ple of what is called a Fuchsian Group. The tessellation of an ideal trian- gle by Γ in D (top left), in H (top right). Any one triangle defines a fundamental domain. Definition. An action of Γ ⊂ PSL(2, R) is discrete if given a sequence {γ n }⊂ Γ satisfying z ∈ H such that γ n (z ) → z as n →∞, there exists N such that γ m = Id for all m>N .A Fuchsian group is a discrete subgroup of PSL(2, R). Theorem. Fix generators a, b of π 1 (T 1,1 ) ’ F 2 as in Figure 1. Given λ ∈ (1, ∞), let Q λ ⊂ H 2 be the ideal quadrilateral with vertices 0, 1, λ, and ∞. Define ρ λ : F 2 → PSL(2, R) by setting ρ(a) to be the hyperbolic translation along the geodesic orthogonal to the geodesics [0, ∞] and [1,λ] such that ρ(a)(0) = 1 and ρ(a)(∞)= λ. Similarly define ρ(b) with ρ(b)(∞)=0 and ρ(b)(λ)=1. If λ, μ ∈ (1, ∞), then • ρ λ is injective, • Γ λ = ρ λ (F 2 ) is Fuchsian, and • Γ λ is conjugate to Γ μ in PSL(2, R) ⇐⇒ Γ λ \ H 2 is isometric to Γ μ \ H 2 ⇐⇒ λ = μ. Analogy to Euclidean Space In both pictures above, we have a red square. The two full colored lines represent the action of ρ λ (a) and ρ λ (b). If the blue line corresponds to ρ λ (a), then, in the flat case (left), the square’s left side is transformed by means of translation to its right side, and each other point in the interior is transformed accordingly to the right. In the hy- perbolic case (right), the square’s upper-left side is transformed by means of Γ λ to the bottom-right, and each other point in the interior is transformed accordingly by the transformation group. We may now visualize the union of all closed geodesics in the surface Γ λ \ H 2 by inter- secting the axis of every hyperbolic element of Γ λ with a single fundamental domain for the action of Γ λ on H 2 . Representing Simple Closed Geodesics Given a group G and a set of generators S , we say the word length of an element g ∈ G is the minimal length word in S∪S -1 that is equal to G. As there are no relations in a free group, the length of any reduced word in F 2 is computed by counting the number of a’s and b’s. Generating Closed Geodesics To generate all closed geodesics in Γ λ we first build a list of all words up to a fixed word length n in F 2 . We then need to throw out any words that correspond to loops about a puncture. This is done by fixing a λ, taking a word w in F 2 , and calculating the determi- nate of ρ λ (w). As long as |trρ λ (w)|≥ 2, then ρ μ (w) will correspond to a closed geodesic in Γ μ \ H 2 for every μ ∈ (1, ∞). Generating Simple Closed Geodesics In order to pick out the simple closed geodesics from the list of closed geodesics, we use a characterization of simpleness given by Buser. Definition. (Small Variation) A finite sequence of nonzero integers N 1 , ..., N p is said to have small variation provided that sums of m consecutive elements (indices mod p) never differ by more than ±1 Theorem 2: (Buser 1988) Every nontrivial simple, closed curve can, after suitably renaming generators, be rep- resented by one of the following words • a • aba -1 b -1 • ab N 1 ab N 2 ··· ab N p , where the sequence N 1 , ..., N p has small variation. Conversely, each of these words is homotopic to a multiple of a simple closed curve. Since we had already generated a list of the closed geodesic curves of length up to n, to draw the simple, closed geodesics, we need to filter out the non-simple curves. To do this we took a word, cyclically reduced it, and checked if it met Buser’s criteria. The following pictures represent geodesics of word length up to n =6. The set of closed geodesics are dense in this fundamen- tal domain Γ 2 , which approx- imately seen here. This is the Birman-Series set in the fundamental domain of Γ 2 . Note the regions where there are no simple closed geodesics. The sparseness and gaps in the Birman-Series set remain for all λ; pictured here is the fundamental domain of Γ 4 . Areas Devoid of Simple Closed Geodesics Γ + \ H is homeomorphic to the thrice-punctured sphere S 0,3 , pictured below. Shown on S 0,3 are the six simple complete geodesics. Shown next to the thrice-punctured sphere is the ideal quadri- lateral obtained by cutting S 0,3 along the simple geodesic between 0 and 1. Observe that the complement of these six geodesics has 12 con- nected components. Cutting the punctured torus along a simple closed geodesic α yields a thrice-punctured sphere (with boundary). Every geodesic intersecting α must intersect this copy of S 0,3 in simple arcs; hence, when α is short, the simple closed geodesics of the torus remain disjoint from the 12 regions (of definite diameter) described previously. This ob- servation is essential to the proof of the Buser- Parlier result. References [1] James Anderson. Hyperbolic Geometry, Second Edition. Springer Undergraduate Mathematics Series, Springer, (2005). [2] Joan Birman, Caroline Series. Geodesics with bounded intersection number on surfaces are sparsely distributed. Pergamon Press, Topology, vol. 24, no. 2, pg 217-225, 1985. [3] Peter Buser, Hugo Parlier. The distribution of simple closed geodesics on a Riemannian Surface. Proceedings of the 15 th ICFIDCAA, Osaka, 2008. [4] Peter Buser, K-D Semmler. The geometry and spectrum of the one holed torus. Helvetici, vol. 63, pg 259-274, 1988. [5] Svetlana Katok. Fuchsian Groups. Chicago lectures in mathematical series, University of Chicago Press, 1992. [6] Benson Farb, Dan Margalit. A Primer on Mapping Class Groups. Princeton University Press, 2012. LOG(M) Poster Session Winter 2017
Transcript of Connor Davis, Ben Gould, Luke Kiernanqcpages.qc.cuny.edu/~nvlamis/W17Poster.pdf[5] Svetlana Katok....
![Page 1: Connor Davis, Ben Gould, Luke Kiernanqcpages.qc.cuny.edu/~nvlamis/W17Poster.pdf[5] Svetlana Katok. Fuchsian Groups. Chicago lectures in mathematical series, University of Chicago Press,](https://reader036.fdocuments.us/reader036/viewer/2022062603/5f1090c07e708231d449bc68/html5/thumbnails/1.jpg)
Visualizing the Birman-Series Set on the Punctured TorusConnor Davis, Ben Gould, Luke Kiernan
Advisors: Nicholas Vlamis and Mark Greenfield
Laboratory of Geometry at Michigan
Introduction
Goals•Understand the distribution of simple, closed geodesics on hyperbolic surfaces
•Create pictures to demonstrate phenomena in hyperbolic geometry
Example 1 (The Punctured Torus).The once-punctured torus T1,1 can beobtained by gluing opposite sides ofan ideal quadrilateral in the hyperbolicplane. This allows us to equip T1,1 witha hyperbolic metric and identify the uni-versal cover of T1,1 with the hyperbolicplane H2.
Figure 1: The once-punctured torushas a fundamental group generated bytwo curves (shown above)
Definition. 1. A path between a, b is a geodesic if it locally minimizes distance.
2. A path is simple provided that it is non self-intersecting.
3. The Birman-Series set is the union of all simple, closed geodesics on a finite areahyperbolic surface.
Theorem 1
1. (Birman-Series 1985) The Birman-Series set has Hausdorff dimension 1; in particu-lar, it is nowhere dense.
2. (Buser-Parlier 2008) If X is finite-area orientable hyperbolic surface, then there ex-ists a constant r > 0 (depending only on the topology of the surface) and a hyperboilcball of radius r embedded in X disjoint from the Birman-Series set.
Fundamental Domains
Example 2 (Definition of Γ and Γ+). Let Γ =
〈z 7→ −z, z 7→ z
2z − 1, z 7→ −z + 2〉 and let
Γ+ be the index 2 subgroup of Γ consist-ing of orientation preserving transformations.Each generator of Γ is a reflection about ageodesic and the union of these geodesicsbound an ideal triangle T ⊂ H2 satisfying:•⋃γ∈Γ γ(T ) = H2
• Int(T ) ∩ γ(Int(T )) 6= ∅ =⇒ γ = Id.We say that H2 is tessellated by the imagesof T under Γ and that T is a fundamental do-main for the action of Γ on H2. Γ is an exam-ple of what is called a Fuchsian Group.
The tessellation of an ideal trian-gle by Γ in D (top left), in H (topright). Any one triangle defines afundamental domain.
Definition. An action of Γ ⊂ PSL(2,R) is discrete if given a sequence {γn} ⊂ Γ satisfyingz ∈ H such that γn(z) → z as n → ∞, there exists N such that γm = Id for all m > N . AFuchsian group is a discrete subgroup of PSL(2,R).
Theorem. Fix generators a, b of π1(T1,1) ' F2 as in Figure 1. Given λ ∈ (1,∞), let Qλ ⊂ H2
be the ideal quadrilateral with vertices 0, 1, λ, and∞. Define ρλ : F2→ PSL(2,R) by settingρ(a) to be the hyperbolic translation along the geodesic orthogonal to the geodesics [0,∞]and [1, λ] such that ρ(a)(0) = 1 and ρ(a)(∞) = λ. Similarly define ρ(b) with ρ(b)(∞) = 0 andρ(b)(λ) = 1. If λ, µ ∈ (1,∞), then
• ρλ is injective,
• Γλ = ρλ(F2) is Fuchsian, and
• Γλ is conjugate to Γµ in PSL(2,R) ⇐⇒ Γλ \H2 is isometric to Γµ \H2 ⇐⇒ λ = µ.
Analogy to Euclidean Space
In both pictures above, we have a red square.The two full colored lines represent the action ofρλ(a) and ρλ(b). If the blue line corresponds toρλ(a), then, in the flat case (left), the square’s leftside is transformed by means of translation to itsright side, and each other point in the interior istransformed accordingly to the right. In the hy-perbolic case (right), the square’s upper-left sideis transformed by means of Γλ to the bottom-right,and each other point in the interior is transformedaccordingly by the transformation group.
We may now visualize the union of all closed geodesics in the surface Γλ \ H2 by inter-secting the axis of every hyperbolic element of Γλ with a single fundamental domain forthe action of Γλ on H2.
Representing Simple Closed Geodesics
Given a group G and a set of generators S, we say the word length of an element g ∈ Gis the minimal length word in S ∪S−1 that is equal to G. As there are no relations in a freegroup, the length of any reduced word in F2 is computed by counting the number of a’sand b’s.
Generating Closed GeodesicsTo generate all closed geodesics in Γλ we first build a list of all words up to a fixed wordlength n in F2. We then need to throw out any words that correspond to loops about apuncture. This is done by fixing a λ, taking a word w in F2, and calculating the determi-nate of ρλ(w). As long as |trρλ(w)| ≥ 2, then ρµ(w) will correspond to a closed geodesic inΓµ \H2 for every µ ∈ (1,∞).
Generating Simple Closed GeodesicsIn order to pick out the simple closed geodesics from the list of closed geodesics, we usea characterization of simpleness given by Buser.
Definition. (Small Variation) A finite sequence of nonzero integers N1, ..., Np is said tohave small variation provided that sums of m consecutive elements (indices mod p) neverdiffer by more than ±1
Theorem 2: (Buser 1988)
Every nontrivial simple, closed curve can, after suitably renaming generators, be rep-resented by one of the following words• a• aba−1b−1
• abN1abN2 · · · abNp, where the sequence N1, ..., Np has small variation.Conversely, each of these words is homotopic to a multiple of a simple closed curve.
Since we had already generated a list of the closed geodesic curves of length up to n, todraw the simple, closed geodesics, we need to filter out the non-simple curves. To do thiswe took a word, cyclically reduced it, and checked if it met Buser’s criteria.The following pictures represent geodesics of word length up to n = 6.
The set of closed geodesicsare dense in this fundamen-tal domain Γ2, which approx-imately seen here.
This is the Birman-Series setin the fundamental domain ofΓ2. Note the regions wherethere are no simple closedgeodesics.
The sparseness and gaps inthe Birman-Series set remainfor all λ; pictured here is thefundamental domain of Γ4.
Areas Devoid of Simple Closed Geodesics
Γ+ \ H is homeomorphic to the thrice-puncturedsphere S0,3, pictured below. Shown on S0,3 arethe six simple complete geodesics. Shown nextto the thrice-punctured sphere is the ideal quadri-lateral obtained by cutting S0,3 along the simplegeodesic between 0 and 1. Observe that thecomplement of these six geodesics has 12 con-nected components.
Cutting the punctured torus along a simple closedgeodesic α yields a thrice-punctured sphere (withboundary). Every geodesic intersecting α mustintersect this copy of S0,3 in simple arcs; hence,when α is short, the simple closed geodesics ofthe torus remain disjoint from the 12 regions (ofdefinite diameter) described previously. This ob-servation is essential to the proof of the Buser-Parlier result.
References
[1] James Anderson. Hyperbolic Geometry, Second Edition. Springer Undergraduate Mathematics Series, Springer, (2005).[2] Joan Birman, Caroline Series. Geodesics with bounded intersection number on surfaces are sparsely distributed. PergamonPress, Topology, vol. 24, no. 2, pg 217-225, 1985.[3] Peter Buser, Hugo Parlier. The distribution of simple closed geodesics on a Riemannian Surface. Proceedings of the 15th
ICFIDCAA, Osaka, 2008.[4] Peter Buser, K-D Semmler. The geometry and spectrum of the one holed torus. Helvetici, vol. 63, pg 259-274, 1988.[5] Svetlana Katok. Fuchsian Groups. Chicago lectures in mathematical series, University of Chicago Press, 1992.
[6] Benson Farb, Dan Margalit. A Primer on Mapping Class Groups. Princeton University Press, 2012.
LOG(M) Poster Session Winter 2017
