Teichmüller Space and Fenchel-Nielsen Coordinates
|
|
- Loraine Elizabeth Parker
- 5 years ago
- Views:
Transcription
1 Teichmüller Space and Fenchel-Nielsen Coordinates Nathan Lopez November 30, 2015 Abstract Here we give an overview of Teichmüller space and its realization as a smooth manifold through Fenchel- Nielsen coordinates. Some basic notions from hyperbolic geometry are covered before defining hyperbolic structures of surfaces S of genus g 2 and the Teichmüller space T (S) of S itself. Next, Fenchel-Nielsen coordinates are constructed and used to endow T (S) with a smooth manifold structure that is unique up to diffeomorphism. The paper concludes with recent developments pertaining to these concepts. 1 Introduction The story of Teichmüller theory begins, as many mathematical stories do, with Riemann. In trying to associate a surface to multi-valued functions arising in complex analysis, Riemann formulated the idea of a Riemann surface. Further, he attempted to study the moduli space of such surfaces, and was mostly stymied by a lack of rigorous definitions. In the mid 20 th century, Oswald Teichmüller introduced the deformation space of marked Riemann surfaces, to which his name is now attached. Riemann s intuitive notions of moduli spaces were captured precisely by Teichmüller in terms of complex geometry. He defined a topology on Teichmüller space induced by the so-called Teichmüller metric, and used this to show that Teichmüller space has the structure of a complex manifold. In the following pages, we study Teichmüller space from a less analytic yet more geometric perspective. We begin by covering only the necessary ingredients from hyperbolic geometry so that we may understand the definition of a hyperbolic structure on a surface S with genus g 2. Afterwards, Teichmüller space itself is defined first as the set of all hyperbolic structures up to a certain equivalence, and second as the set of discrete, faithful representations of the surface group of S, up to conjugation. Next, the coordinates of Fenchel and Nielsen are defined and then utilized to endow the Teichmüller space with both a topological and smooth manifold structure. Finally, some recent articles covering or using these concepts are explored. 2 Preliminary Definitions We begin by considering the torus. Observe that the torus is homeomorphic to the quotient of the unit square [0, 1] [0, 1] by the group generated by the Euclidean isometries T (x, y) = (x + 1, y) and S(x, y) = (x, y + 1). 1
2 Intuitively, the maps T and S glue the two sides of the unit square. We can construct hyperbolic surfaces in an analogous way. But first, we need some definitions. 2.1 Hyperbolic Geometry Definition 2.1. The Poincaré Disc is a model of hyperbolic geometry, i.e., the set with the Riemannian metric has Gaussian Curvature 1 D = {z C z < 1} ds 2 = 4(dx2 + dy 2 (1 (x 2 + y 2 )) 2 In other words, the hyperbolic plane D is the unit circle in C with a Riemannian metric. This survey, however, is not about Riemannian manifolds, so our next definition allows us regard D simply as a metric space. Definition 2.2. Let γ : [0, 1] D be a piece-wise differentiable path. The hyperbolic length of γ is defined L(γ) = ds. Furthermore, given w, z D, the hyperbolic distance from w to z is defined d(w, z) = inf{l(γ) γ(0) = w, γ(1) = z}. Philosophically, the foundation of geometry is a set of points and a notion of lines. Now that we have our points, what do our lines look like? Definition 2.3. A geodesic is a piece-wise differentiable curve γ : [0, 1] D such that for any 0 a < b 1 the distance from γ(a) to γ(b) is realized by γ. These geodesics are the straight lines of the hyperbolic plane, in the sense that they realize the hyperbolic distance between any two points. However, in our model D, geodesics don t necessarily look straight. Indeed, there are two classes of geodesics: they are either diameters of D or semi-circles that intersect S 1 at right angles. γ 2
3 To complete the analogy of the Euclidean torus above, we need a notion of hyperbolic isometries. Definition 2.4. An injective map f : D D is an orientation-preserving isometry of D if f (as a map f : R 2 R 2 ) is differentiable For every z D det(d z f) > 0 For every w, z D d(f(w), f(z)) = d(w, z) We will usually simply say isometry instead of the full phrase orientation-preserving isometry. Since the composition of two isometries is again an isometry, the set Isom + (D) of orientation preserving isometries is a group under composition. In fact, we can identify this group with the well understood group of matrices PSL 2 (C). 2.2 Hyperbolic Structures After developing basic plane hyperbolic geometry, we are now prepared to examine surfaces endowed with hyperbolic structure. What does this mean? Definition 2.5. Let S be a topological surface. A hyperbolic structure on S is a collection {(U i, ϕ i )} i I where The collection {U i } i I is composed of open sets of S, and i I U i = S For each i I, the map ϕ i : U i D is a homeomorphism onto its image If U i U j, the transition map is an isometry of D. ϕ i ϕ 1 j : ϕ j (U i U j ) ϕ i (U i U j ) Let us now turn to our titular example of the surface of genus 2. For convenience, let s denote this surface by S. To obtain a hyperbolic structure on S, we wish to follow a parallel example to the Euclidean torus from above; that is, we need to find some polygon and a collection of isometries that glue its sides. 3
4 Consider the family of regular hyperbolic octagons with geodesic sides pictured below. As l approaches 0, the internal angle θ approaches 0 as well, since the geodesics must meet S 1 orthogonally. On the other hand, as l approaches 1, the geodesic sides become closer and closer to Euclidean straight lines. It follows that the internal angle goes to 3π/4, which is the value of the internal angle of a Euclidean regular octagon. By continuity, there must be a regular hyperbolic octagon whose internal angles are all π/4. Denote this octagon by S 8. Next, we want to glue the sides of S 8 so that the resulting quotient space is homeomorphic to S. The existence of isometries that achieve this gluing will be taken for granted, but the following diagram provides a schematic for how the gluing works and why the resulting surface is S. 4
5 Denote the group generated by the isometries pairing the sides of S 8 by Γ. It can be shown that Γ acts freely and properly discontinuously on D, a consequence of which is that the projection π : D D/Γ = S is a covering map. Thus, each point of S has an evenly covered neighborhood, and we can use these neighborhoods to define a hyperbolic structure on S. We may as well think of the points of S as being points in S 8. We consider the following cases: 1. If p is in the interior of S 8, then we can choose any neighborhood U of p that is also contained in the interior, and the chart map will be (U, Id). 2. If p is on one of the sides of S 8, but is not a vertex, then there is some isometry g Γ such that g(p) is also on a side of S 8. Choose an r > 0 sufficiently small so that the balls B r (p) and B r (g(p)) do not intersect a vertex of S 8. Then, we can produce a chart for p by setting U = (B r (p) B r (g(p))) S 8 and by defining { x if x B r (g(p)) ϕ(x) =. g(x) if x B r (p) See the figure below. 3. Finally, consider the case in which p is a vertex of S 8. Notice that under our prescribed gluing, each vertex is identified. Thus, a neighborhood U of p is the union of the wedges making up the corners of S 8. To find a map ϕ to pair with U, consider mapping each vertex to the origin by an isometry g. It is a fact that each of these isometries is conformal, so the angle of each wedge is preserved. Thus, the map ϕ can be defined as a piecewise map with 8 cases, where each wedge is mapped to the origin (see the illustration below). 5
6 2.3 Teichmüller Space Finally we can define Teichmüller space. Definition 2.6. Let S be a closed topological surface of genus g 2. The Teichmüller space of S is the quotient T (S) = {(X, f)} / where X is S equipped with a hyperbolic structure, f : S X is a homeomorphism called the marking, and (X, f) (Y, g) if and only if there is an isometry ϕ : X Y such that ϕ f is homotopic to g. Intuitively, we can think of a surface S as being naked, and T (S) as its closet. Each point (X, f) is an outfit, with X being the clothes and f the instructions for how to put the clothes on. Two outfits (X, f) and (Y, g) are considered the same if one can be obtained from the other if we can deform one into the other by twisting a collar, for instance. To continue with our previous example, we saw that the octagon S 8 gives a hyperbolic structure on S, so it defines a point in T (S). A similar construction with a decagon S 10 can be carried out to endow S with another hyperbolic structure. These two structures define distinct points in T (S), though, because S 8 and S 10 are not isometric. One can check this by considering the simple closed curve γ on S 8 depicted below. Explicitly, γ is chosen so that it intersects the midpoint of two corresponding sides of S 8 and intersects those sides at right angles. A long and involved hyperbolic trigonometry calculation shows that if there were an isometry f : S 8 S 10, then the image f(γ) could not be simple. But f is supposed to be an isometry, so this contradiction shows that S 8 and S 10 define distinct points of T (S). 3 Fenchel-Nielsen Coordinates The above definition of Teichmuüller space is quite geometric in origin. algebraically focused definition is An equivalent, yet more more Definition 3.1. Let S be a closed topological surface of genus g 2. The Teichmüller space of S is the quotient T (S) = DF(π 1 (S), P SL 2 (R)) / P SL 2 (R). That is, T (S) is the set of discrete and faithful representations of π 1 (S) into P SL 2 (R), up to conjugation. 6
7 The equivalence of these two definitions is a consequence of the Cartan-Hadamard theorem. This definition provides insight into the structure of T (S). Since DF(π 1 (S), P SL 2 (R)) Hom(π 1 (S), P SL 2 (R)) = P SL 2 (R) 2g we can see that T (S) inherits the quotient topology from P SL 2 (R) 2g. However, even more can be said about the structure of T (S). Using Fencehl-Nielsen coordinates, which we aim to define in this section, we will be able to show that T (S) carries the structure of a smooth manifold. For a surface S of genus g, we would like to define a homeomorphism F N : T (S) R 3g 3 + R 3g 3, where the first 3g 3 coordinates correspond to length parameters and the last 3g 3 coordinates are known as twist parameters. To understand this map, we introduce a few more concepts. 3.1 Pairs of Pants and Length Parameters We attempt first to decompose our surface S through the notion of a multicurve. A multicurve µ is a set of pairwise distinct and pairwise disjoint (up to homotopy) curves on S. A multicurve can contain at most 3g-3 curves, given that S has genus g, and a multicurve that attains this maximum is called a pants decomposition of S. If µ is a pants decomposition of S, then S \ µ has 2g 2 connected components and the closure of each component is homeomorphic to a sphere with three boundary components. That is, each connected component is a pair of pants. A specific pants decomposition of our surface S is depicted below. If we let P denote a single pair of pants, we can define Fenchel-Nielsen coordinates for T (P ) as a stepping stone towards general Fenchel-Nielsen coordinates. To proceed, we need a result from hyperbolic geometry concerning right angled hexagons. Lemma 3.2. Let a, b, c R +. Then there exists a unique, up to isometry, right angled hyperbolic hexagon with alternating edge lengths given by a, b, and c (see the figure below). Proposition 3.3. Let γ 1, γ 2, and γ 3 denote the boundary curves of the pair of pants P. The map F N : T (P ) R 3 + given by F N(X) = (L X (γ 1 ), L X (γ 2 ), L X (γ 3 )), where L X is the hyperbolic length with respect to the structure X, is a homeomorphism. 7
8 Proof. We illustrate a sketch of the proof. First, if (a, b, c) R 3 +, then by the lemma there exists a unique right angled hyperbolic hexagon H with alternating side lengths a/2, b/2, and c/2. Gluing two copies of H along the other sides produces a hyperbolic structure on P. Therefore, F N is onto. Let X be a structure on P such that F (X) = (a, b, c). For each pair of distinct curves γ i and γ j, there is a unique geodesic arc A ij connecting γ i to γ j that intersects each curve orthogonally. Then, X\(A 12 A 13 A 23 ) has two connected components H 1 and H 2. Notice that the closure of each H i is homeomorphic to a hyperbolic hexagon, so by the lemma each is unique up to isometry. It follows that X is unique as well, so that F N is injective. Finally, we need to show continuity. If we use our second definition of T (P ), then each point is given by a representation ρ : π 1 (P ) P SL 2 (R). Moreover, each simple closed curve γ is a word in the generators of π 1 (P ). Thus, we can define the length function evaluated on γ as the translation length of the corresponding element of P SL 2 (R). That is, ( ) Tr(ρ(γi )) L X (γ i ) = 2arccosh 2 and this is continuous with continuous inverse. 3.2 Twist Parameters and General Fenchel-Nielsen Coordinates Next, we tackle the general case. Let S, as always, be a surface of genus g 2 and fix a pants decomposition µ = {γ 1,..., γ 3g 3 } of S. Define the Fenchel-Nielsen coordinates of T (S) as a map F N : T (S) R 3g 3 + R 3g 3 by requiring that F N(X) = (L X (γ 1 ),..., L X (γ 3g 3 ), τ 1 (X),..., τ 3g 3 (X)). Having defined the first 3g 3 length parameters, we turn to defining the twist parameters τ i (X). Fix a boundary curve γ i as well as an orientation for γ i, and note that it is contained in a unique component C i of X \ j i γ j. The closure of C i is either (1) a torus with one boundary component or (2) a sphere with four boundary components. In either case, let α i be a curve completely contained in C i that intersects γ i minimally. Additionally, in each pair of pants S i \ γ i, let {β i,j } j be the collection of geodesic (with respect to the structure X) curves that are entirely contained in each pair of pants, have endpoints of γ i, and intersect γ i orthogonally. Note that in the first case above there is only one curve β i,1, and in the second there are two curves {β i,1, β i,2 }. For simplicity, we consider the first case in which S i is a torus with one boundary component. 8
9 In this case, we can homotope α i onto a curve α i completely contained in γ i β i,1. After choosing one of the two basepoints p γ i β i,1, define τ i (X) as the signed length of the segment of α i that runs along γ i and contains p. The sign of τ i (X) is positive if α i runs along the orientation of γ i, and negative otherwise. We can state our main theorem. Theorem 3.4. The map F N : T (S) R 3g 3 + R 3g 3 defined at the beginning of this subsection is a homeomorphism. We already saw that the length parameters are continuous in Proposition 3.3. Moreover, the construction of the twist parameters shows that each τ i (X) is defined in terms of length functions, so they are also continuous. Finally, F N is bijective because given a tuple (L 1,..., L 3g 3, τ 1,..., τ 3g 3 ) R 3g 3 + R 3g 3, one can construct 2g 2 pairs of pants, with length components determined by the L i, and then glue them all together according to the twist parameters τ i. 3.3 Smooth Structure of T (S) Choose a pants decomposition µ of S. The Fenchel-Nielsen coordinates allow us to define a smooth manifold structure on T (S) by pulling back the natural structure on R 6g 6. Explicitly, since (R 6g 6, Id) defines an atlas on R 6g 6, it follows that (F N 1 (R 6g 6 ), Id F N) = (T (S), F N) defines a 6g 6-dimensional atlas on T (S). Note however, that this smooth structure depends a priori on the pants decomposition µ. In fact, two distinct pants decompositions yield the same smooth structure, up to diffeomorphism. We proceed to explain why this is true, leaving most statements unproven. Let µ = {γ 1,..., γ 3g 3 } be a pants decomposition of S, and for a fixed γ i consider the two cases for the closure of the component C i discussed above. Recall that α i represented a minimally intersecting curve of γ i. If we exchange the roles of γ i and α i in C i, we obtain a new pants decomposition of S. Call these moves an A-move and an S-move, respectively. It can be shown that if the pants decomposition µ can be obtained from µ by either an A-move or an S-move, then the change of coordinates between the Fenchel-Nielsen coordinates induced by µ and µ is a diffeomorphism. Denote by P(S) the graph whose vertex set is the set of all pants decompositions of S, and place an edge between the pants decompositions P and P if one can be obtained from the other by either an A-move or an S-move. It is a non-trivial fact that this graph is connected. This, combined with the fact that the composition of two diffeomorphisms is again a diffeomorphism, implies that any two pants decompositions µ and µ produce the same smooth structure for T (S), up to diffeomorphism. 9
10 4 Other Deformation Spaces Recall Definition 3.1 of Teichmüller space: T (S) = DF(π 1 (S), P SL 2 (R)) / P SL 2 (R). Such a quotient of representations is called a deformation space. However, there is nothing restricting us to studying representations into P SL 2 (R). In fact, in a recent paper by Gongopadhyay and Parsad, the authors study the space T (S) = DF(π 1 (S), SU(3, 1)) / SU(3, 1). By decomposing their surface into a pairs of pants, Gongopadhyay and Parsad are able to come up with coordinates analogous to traditional Fenchel-Nielsen coordinates as described above. Theorem 4.1. (Gongopadhyay and Parsad): Let S be a closed surface of genus g with a pair of pants decomposition C = {γ j } 3g 3 j=1. Let ρ : S SU(3, 1) be a tame representation. Then 30g 30 real numbers are needed to specify ρ in the deformation space DF(π 1 (S), SU(3, 1))/SU(3, 1) In the theorem, a representation ρ is called tame if the resulting (0, 3) groups from the given pants decomposition are all non-singular in SU(3, 1). References [1] J. Aramayona, Hyperbolic Structures on Surfaces. Geometry, Topology and Dynamics of Character Varieties, World Scientific 23 (2012) [2] K. Gongopadhyay and S. Parsad, On Fenchel-Nielsen Coordinates of Surface Group Representations into SU(3, 1). (2014) [3] A. Hatcher, Pants Decompositions of Surfaces. hatcher/papers/pantsdecomp.pdf, (2000) [4] L. Ji and A. Papadopoulos, Historical Development of Teichmüller Theory. Archive for History of Exact Sciences, Volume 67, Issue 2, pp , (2013) [5] C. Series, Hyperbolic Geometry, MA masbb/papers/ma448.pdf, (2008) 10
Geometric structures on manifolds
CHAPTER 3 Geometric structures on manifolds In this chapter, we give our first examples of hyperbolic manifolds, combining ideas from the previous two chapters. 3.1. Geometric structures 3.1.1. Introductory
More informationGeometric structures on manifolds
CHAPTER 3 Geometric structures on manifolds In this chapter, we give our first examples of hyperbolic manifolds, combining ideas from the previous two chapters. 3.1. Geometric structures 3.1.1. Introductory
More information6.3 Poincare's Theorem
Figure 6.5: The second cut. for some g 0. 6.3 Poincare's Theorem Theorem 6.3.1 (Poincare). Let D be a polygon diagram drawn in the hyperbolic plane such that the lengths of its edges and the interior angles
More informationThe geometry and combinatorics of closed geodesics on hyperbolic surfaces
The geometry and combinatorics of closed geodesics on hyperbolic surfaces CUNY Graduate Center September 8th, 2015 Motivating Question: How are the algebraic/combinatoric properties of closed geodesics
More informationTopic: Orientation, Surfaces, and Euler characteristic
Topic: Orientation, Surfaces, and Euler characteristic The material in these notes is motivated by Chapter 2 of Cromwell. A source I used for smooth manifolds is do Carmo s Riemannian Geometry. Ideas of
More information1 Introduction and Review
Figure 1: The torus. 1 Introduction and Review 1.1 Group Actions, Orbit Spaces and What Lies in Between Our story begins with the torus, which we will think of initially as the identification space pictured
More informationIntroduction to Immersion, Embedding, and the Whitney Embedding Theorems
Introduction to Immersion, Embedding, and the Whitney Embedding Theorems Paul Rapoport November 23, 2015 Abstract We give an overview of immersion in order to present the idea of embedding, then discuss
More informationThe Farey Tessellation
The Farey Tessellation Seminar: Geometric Structures on manifolds Mareike Pfeil supervised by Dr. Gye-Seon Lee 15.12.2015 Introduction In this paper, we are going to introduce the Farey tessellation. Since
More information274 Curves on Surfaces, Lecture 5
274 Curves on Surfaces, Lecture 5 Dylan Thurston Notes by Qiaochu Yuan Fall 2012 5 Ideal polygons Previously we discussed three models of the hyperbolic plane: the Poincaré disk, the upper half-plane,
More informationGeometric structures on 2-orbifolds
Geometric structures on 2-orbifolds Section 1: Manifolds and differentiable structures S. Choi Department of Mathematical Science KAIST, Daejeon, South Korea 2010 Fall, Lectures at KAIST S. Choi (KAIST)
More informationSimplicial Hyperbolic Surfaces
Simplicial Hyperbolic Surfaces Talk by Ken Bromberg August 21, 2007 1-Lipschitz Surfaces- In this lecture we will discuss geometrically meaningful ways of mapping a surface S into a hyperbolic manifold
More informationHyperbolic structures and triangulations
CHAPTER Hyperbolic structures and triangulations In chapter 3, we learned that hyperbolic structures lead to developing maps and holonomy, and that the developing map is a covering map if and only if the
More informationA GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY
A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY KARL L. STRATOS Abstract. The conventional method of describing a graph as a pair (V, E), where V and E repectively denote the sets of vertices and edges,
More informationMathematical Research Letters 1, (1994) MÖBIUS CONE STRUCTURES ON 3-DIMENSIONAL MANIFOLDS. Feng Luo
Mathematical Research Letters 1, 257 261 (1994) MÖBIUS CONE STRUCTURES ON 3-DIMENSIONAL MANIFOLDS Feng Luo Abstract. We show that for any given angle α (0, 2π), any closed 3- manifold has a Möbius cone
More informationHeegaard splittings and virtual fibers
Heegaard splittings and virtual fibers Joseph Maher maher@math.okstate.edu Oklahoma State University May 2008 Theorem: Let M be a closed hyperbolic 3-manifold, with a sequence of finite covers of bounded
More information6.2 Classification of Closed Surfaces
Table 6.1: A polygon diagram 6.1.2 Second Proof: Compactifying Teichmuller Space 6.2 Classification of Closed Surfaces We saw that each surface has a triangulation. Compact surfaces have finite triangulations.
More informationarxiv: v1 [math.gt] 16 Aug 2016
THE GROMOV BOUNDARY OF THE RAY GRAPH JULIETTE BAVARD AND ALDEN WALKER arxiv:1608.04475v1 [math.gt] 16 Aug 2016 Abstract. The ray graph is a Gromov-hyperbolic graph on which the mapping class group of the
More informationThe Construction of a Hyperbolic 4-Manifold with a Single Cusp, Following Kolpakov and Martelli. Christopher Abram
The Construction of a Hyperbolic 4-Manifold with a Single Cusp, Following Kolpakov and Martelli by Christopher Abram A Thesis Presented in Partial Fulfillment of the Requirement for the Degree Master of
More informationLecture 11 COVERING SPACES
Lecture 11 COVERING SPACES A covering space (or covering) is not a space, but a mapping of spaces (usually manifolds) which, locally, is a homeomorphism, but globally may be quite complicated. The simplest
More informationINTRODUCTION TO 3-MANIFOLDS
INTRODUCTION TO 3-MANIFOLDS NIK AKSAMIT As we know, a topological n-manifold X is a Hausdorff space such that every point contained in it has a neighborhood (is contained in an open set) homeomorphic to
More informationChapter One. Curves,Surfaces, andhyperbolicgeometry
Chapter One Curves,Surfaces, andhyperbolicgeometry A linear transformation of a vector space is determined by, and is best understood by, its action on vectors. In analogy with this, we shall see that
More informationAUTOMORPHISMS OF THE GRAPH OF FREE SPLITTINGS
AUTOMORPHISMS OF THE GRAPH OF FREE SPLITTINGS JAVIER ARAMAYONA & JUAN SOUTO Abstract. We prove that every simplicial automorphism of the free splitting graph of a free group F n is induced by an outer
More informationpα i + q, where (n, m, p and q depend on i). 6. GROMOV S INVARIANT AND THE VOLUME OF A HYPERBOLIC MANIFOLD
6. GROMOV S INVARIANT AND THE VOLUME OF A HYPERBOLIC MANIFOLD of π 1 (M 2 )onπ 1 (M 4 ) by conjugation. π 1 (M 4 ) has a trivial center, so in other words the action of π 1 (M 4 ) on itself is effective.
More informationThe Cyclic Cycle Complex of a Surface
The Cyclic Cycle Complex of a Surface Allen Hatcher A recent paper [BBM] by Bestvina, Bux, and Margalit contains a construction of a cell complex that gives a combinatorial model for the collection of
More informationPunctured Torus Groups
Punctured Torus Groups Talk by Yair Minsky August, 7 One of the simplest classes of examples of Kleinian surface groups is given by punctured torus groups. We define a punctured torus group to be a discrete
More informationGEOMETRY OF PLANAR SURFACES AND EXCEPTIONAL FILLINGS
GEOMETRY OF PLANAR SURFACES AND EXCEPTIONAL FILLINGS NEIL R. HOFFMAN AND JESSICA S. PURCELL Abstract. If a hyperbolic 3 manifold admits an exceptional Dehn filling, then the length of the slope of that
More informationTHE UNIFORMIZATION THEOREM AND UNIVERSAL COVERS
THE UNIFORMIZATION THEOREM AND UNIVERSAL COVERS PETAR YANAKIEV Abstract. This paper will deal with the consequences of the Uniformization Theorem, which is a major result in complex analysis and differential
More informationCAT(0)-spaces. Münster, June 22, 2004
CAT(0)-spaces Münster, June 22, 2004 CAT(0)-space is a term invented by Gromov. Also, called Hadamard space. Roughly, a space which is nonpositively curved and simply connected. C = Comparison or Cartan
More informationModel Manifolds for Surface Groups
Model Manifolds for Surface Groups Talk by Jeff Brock August 22, 2007 One of the themes of this course has been to emphasize how the combinatorial structure of Teichmüller space can be used to understand
More informationd(γ(a i 1 ), γ(a i )) i=1
Marli C. Wang Hyperbolic Geometry Hyperbolic surfaces A hyperbolic surface is a metric space with some additional properties: it has the shortest length property and every point has an open neighborhood
More informationA GEOMETRIC DESCRIPTION OF THE PSL 4 (R)-HITCHIN COMPONENT
A GEOMETRIC DESCRIPTION OF THE PSL 4 (R)-HITCHIN COMPONENT SAMUEL A. BALLAS Abstract. These notes form a rough outline of the correspondence between the PSL 4 (R)- Hitchin component and convex foliated
More informationPoint-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS
Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS Definition 1.1. Let X be a set and T a subset of the power set P(X) of X. Then T is a topology on X if and only if all of the following
More informationIntroduction to Computational Manifolds and Applications
IMPA - Instituto de Matemática Pura e Aplicada, Rio de Janeiro, RJ, Brazil Introduction to Computational Manifolds and Applications Part 1 - Foundations Prof. Jean Gallier jean@cis.upenn.edu Department
More informationMath 6510 Homework 3
Notational Note: In any presentation of a group G, I will explicitly set the relation equal to e as opposed to simply writing a presentation like G = a, b, c, d abcd 1. This is a bit untraditional, but
More informationIntroduction to Topology MA3F1
Introduction to Introduction to Topology MA3F1 David Mond 1 Conventions September 2016 Topologists use a lot of diagrams showing spaces and maps. For example X f Y h q p W g Z has four spaces and five
More information1 Point Set Topology. 1.1 Topological Spaces. CS 468: Computational Topology Point Set Topology Fall 2002
Point set topology is something that every analyst should know something about, but it s easy to get carried away and do too much it s like candy! Ron Getoor (UCSD), 1997 (quoted by Jason Lee) 1 Point
More informationLecture 7: Jan 31, Some definitions related to Simplical Complex. 7.2 Topological Equivalence and Homeomorphism
CS 6170 Computational Topology: Topological Data Analysis University of Utah Spring 2017 School of Computing Lecture 7: Jan 31, 2017 Lecturer: Prof. Bei Wang Scribe: Avani Sharma,
More informationModel Manifolds for Punctured Torus Groups and Constructions in Higher Complexity
Model Manifolds for Punctured Torus Groups and Constructions in Higher Complexity Talk by Yair Minsky August 22, 2007 For the first part of this lecture, we will finish up the discussion of punctured torus
More informationHyperbolic Geometry on the Figure-Eight Knot Complement
Hyperbolic Geometry on the Figure-Eight Knot Complement Alex Gutierrez Arizona State University December 10, 2012 Hyperbolic Space Hyperbolic Space Hyperbolic space H n is the unique complete simply-connected
More informationLecture IV - Further preliminaries from general topology:
Lecture IV - Further preliminaries from general topology: We now begin with some preliminaries from general topology that is usually not covered or else is often perfunctorily treated in elementary courses
More informationBy taking products of coordinate charts, we obtain charts for the Cartesian product of manifolds. Hence the Cartesian product is a manifold.
1 Manifolds A manifold is a space which looks like R n at small scales (i.e. locally ), but which may be very different from this at large scales (i.e. globally ). In other words, manifolds are made by
More information4. Simplicial Complexes and Simplicial Homology
MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 4. Simplicial Complexes and Simplicial Homology Geometric simplicial complexes 4.1 Definition. A finite subset { v 0, v 1,..., v r } R n
More informationarxiv: v1 [math.gr] 31 Dec 2009
arxiv:1001.0086v1 [math.gr] 31 Dec 2009 Computing the Maximum Slope Invariant in Tubular Groups Christopher H. Cashen Department of Mathematics University of Utah Salt Lake City, UT 8112 cashen@math.utah.edu
More information751 Problem Set I JWR. Due Sep 28, 2004
751 Problem Set I JWR Due Sep 28, 2004 Exercise 1. For any space X define an equivalence relation by x y iff here is a path γ : I X with γ(0) = x and γ(1) = y. The equivalence classes are called the path
More informationDon t just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary?
Don t just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary? Is the converse true? What happens in the classical special case?
More informationThe geometry of embedded surfaces
CHAPTER 12 The geometry of embedded surfaces In this chapter, we discuss the geometry of essential surfaces embedded in hyperbolic 3-manifolds. In the first section, we show that specific surfaces embedded
More informationLectures on topology. S. K. Lando
Lectures on topology S. K. Lando Contents 1 Reminder 2 1.1 Topological spaces and continuous mappings.......... 3 1.2 Examples............................. 4 1.3 Properties of topological spaces.................
More informationFlat Surfaces, Teichmueller Discs, Veech Groups, and the Veech Tessellation
Flat Surfaces, Teichmueller Discs, Veech Groups, and the Veech Tessellation S. Allen Broughton - Rose-Hulman Institute of Technology Chris Judge - Indiana University AMS Regional Meeting at Pennsylvania
More informationSurfaces Beyond Classification
Chapter XII Surfaces Beyond Classification In most of the textbooks which present topological classification of compact surfaces the classification is the top result. However the topology of 2- manifolds
More informationCOVERING SPACES, GRAPHS, AND GROUPS
COVERING SPACES, GRAPHS, AND GROUPS CARSON COLLINS Abstract. We introduce the theory of covering spaces, with emphasis on explaining the Galois correspondence of covering spaces and the deck transformation
More informationThe virtual cohomology dimension of Teichmüller modular groups: the first results and a road not taken
The virtual cohomology dimension of Teichmüller modular groups: the first results and a road not taken To Leningrad Branch of Steklov Mathematical Institute, with gratitude for giving me freedom to pursue
More informationTopology Hmwk 3 All problems are from Allen Hatcher Algebraic Topology (online) ch 1
Topology Hmwk 3 All problems are from Allen Hatcher Algebraic Topology (online) ch Andrew Ma December 23, 203 This assignment has been corrected post - grading...6 (a) Proof. Assume for a contradiction
More informationor else take their intersection. Now define
Samuel Lee Algebraic Topology Homework #5 May 10, 2016 Problem 1: ( 1.3: #3). Let p : X X be a covering space with p 1 (x) finite and nonempty for all x X. Show that X is compact Hausdorff if and only
More informationA TESSELLATION FOR ALGEBRAIC SURFACES IN CP 3
A TESSELLATION FOR ALGEBRAIC SURFACES IN CP 3 ANDREW J. HANSON AND JI-PING SHA In this paper we present a systematic and explicit algorithm for tessellating the algebraic surfaces (real 4-manifolds) F
More informationCHAPTER 8. Essential surfaces
CHAPTER 8 Essential surfaces We have already encountered hyperbolic surfaces embedded in hyperbolic 3-manifolds, for example the 3-punctured spheres that bound shaded surfaces in fully augmented links.
More informationCAT(0) BOUNDARIES OF TRUNCATED HYPERBOLIC SPACE
CAT(0) BOUNDARIES OF TRUNCATED HYPERBOLIC SPACE KIM RUANE Abstract. We prove that the CAT(0) boundary of a truncated hyperbolic space is homeomorphic to a sphere with disks removed. In dimension three,
More informationLecture 0: Reivew of some basic material
Lecture 0: Reivew of some basic material September 12, 2018 1 Background material on the homotopy category We begin with the topological category TOP, whose objects are topological spaces and whose morphisms
More informationIntroduction to Riemann surfaces, moduli spaces and its applications
Introduction to Riemann surfaces, moduli spaces and its applications Oscar Brauer M2, Mathematical Physics Outline 1. Introduction to Moduli Spaces 1.1 Moduli of Lines 1.2 Line Bundles 2. Moduli space
More informationHyperbolic Structures from Ideal Triangulations
Hyperbolic Structures from Ideal Triangulations Craig Hodgson University of Melbourne Geometric structures on 3-manifolds Thurston s idea: We would like to find geometric structures (or metrics) on 3-manifolds
More informationJohn D. McCarthy and Athanase Papadopoulos
Simplicial actions of mapping class groups John D. McCarthy and Athanase Papadopoulos Michigan State University Mathematics department, East Lansing, MI 48824-1027, USA email: mccarthy@math.msu.edu Institut
More informationSIMPLICIAL ENERGY AND SIMPLICIAL HARMONIC MAPS
SIMPLICIAL ENERGY AND SIMPLICIAL HARMONIC MAPS JOEL HASS AND PETER SCOTT Abstract. We introduce a combinatorial energy for maps of triangulated surfaces with simplicial metrics and analyze the existence
More informationGEOMETRY OF SURFACES. b3 course Nigel Hitchin
GEOMETRY OF SURFACES b3 course 2004 Nigel Hitchin hitchin@maths.ox.ac.uk 1 1 Introduction This is a course on surfaces. Your mental image of a surface should be something like this: or this However we
More informationDISTORTION OF SURFACE GROUPS IN CAT(0) FREE-BY-CYCLIC GROUPS
DISTORTION OF SURFACE GROUPS IN CAT(0) FREE-BY-CYCLIC GROUPS JOSH BARNARD AND NOEL BRADY 1 Abstract. Given a non-positively curved 2-complex with a circle-valued Morse function satisfying some extra combinatorial
More informationCannon s conjecture, subdivision rules, and expansion complexes
Cannon s conjecture, subdivision rules, and expansion complexes W. Floyd (joint work with J. Cannon and W. Parry) Department of Mathematics Virginia Tech UNC Greensboro: November, 2014 Motivation from
More informationNotes on point set topology, Fall 2010
Notes on point set topology, Fall 2010 Stephan Stolz September 3, 2010 Contents 1 Pointset Topology 1 1.1 Metric spaces and topological spaces...................... 1 1.2 Constructions with topological
More information4. Definition: topological space, open set, topology, trivial topology, discrete topology.
Topology Summary Note to the reader. If a statement is marked with [Not proved in the lecture], then the statement was stated but not proved in the lecture. Of course, you don t need to know the proof.
More informationCombinatorial constructions of hyperbolic and Einstein four-manifolds
Combinatorial constructions of hyperbolic and Einstein four-manifolds Bruno Martelli (joint with Alexander Kolpakov) February 28, 2014 Bruno Martelli Constructions of hyperbolic four-manifolds February
More informationFinal Exam, F11PE Solutions, Topology, Autumn 2011
Final Exam, F11PE Solutions, Topology, Autumn 2011 Question 1 (i) Given a metric space (X, d), define what it means for a set to be open in the associated metric topology. Solution: A set U X is open if,
More information2.4 Quadratic differentials and their horizontal and vertical foliations
2 MEASURED FOLIATIONS 37 in P[0, ) C is a closed ball of dimension 6g 6+2p whose interior is P L(T ). The boundary points of this ball are usually described in one of two ways: using measured geodesic
More informationSpherical triangles and the two components of the SO(3)-character space of the fundamental group of a closed surface of genus 2
International Journal of Mathematics c World Scientific Publishing Company Spherical triangles and the two components of the SO(3)-character space of the fundamental group of a closed surface of genus
More informationCoxeter Groups and CAT(0) metrics
Peking University June 25, 2008 http://www.math.ohio-state.edu/ mdavis/ The plan: First, explain Gromov s notion of a nonpositively curved metric on a polyhedral complex. Then give a simple combinatorial
More informationIntroduction to Rational Billiards II. Talk by John Smillie. August 21, 2007
Introduction to Rational Billiards II Talk by John Smillie August 21, 2007 Translation surfaces and their singularities Last time we described the Zemlyakov-Katok construction for billiards on a triangular
More informationCHAPTER 8. Essential surfaces
CHAPTER 8 Essential surfaces We have already encountered hyperbolic surfaces embedded in hyperbolic 3-manifolds, for example the 3-punctured spheres that bound shaded surfaces in fully augmented links.
More informationGeometry of manifolds
Geometry of manifolds lecture 1 Misha Verbitsky Université Libre de Bruxelles September 21, 2015 1 The Plan. Preliminaries: I assume knowledge of topological spaces, continuous maps, homeomorphisms, Hausdorff
More informationSome irrational polygons have many periodic billiard paths
Some irrational polygons have many periodic billiard paths W. Patrick Hooper Northwestern University Spring Topology and Dynamics Conference Milwaukee, Wisconsin March 5, 8 Lower bounds on growth rates
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics SIMPLIFYING TRIANGULATIONS OF S 3 Aleksandar Mijatović Volume 208 No. 2 February 2003 PACIFIC JOURNAL OF MATHEMATICS Vol. 208, No. 2, 2003 SIMPLIFYING TRIANGULATIONS OF S
More informationRatcliffe, Foundations of hyperbolic manifolds, Springer (elementary)
1 Introduction About this lecture P SL(2, C) and hyperbolic 3-spaces. Subgroups of P SL(2, C) Hyperbolic manifolds and orbifolds Examples 3-manifold topology and Dehn surgery Rigidity Volumes and ideal
More informationHYPERBOLIC STRUCTURE OF KNOT COMPLEMENTS
HYPERBOLIC STRUCTURE OF KNOT COMPLEMENTS MIHAIL HURMUZOV Abstract. In this survey we demonstrate the construction of a hyperbolic structure on several knot/link complements. We mainly follow a manuscript
More informationGEOMETRY OF PLANAR SURFACES AND EXCEPTIONAL FILLINGS
GEOMETRY OF PLANAR SURFACES AND EXCEPTIONAL FILLINGS NEIL R. HOFFMAN AND JESSICA S. PURCELL Abstract. If a hyperbolic 3 manifold admits an exceptional Dehn filling, then the length of the slope of that
More informationPANTS DECOMPOSITIONS OF RANDOM SURFACES
PANTS DECOMPOSITIONS OF RANDOM SURFACES LARRY GUTH, HUGO PARLIER, AND ROBERT YOUNG Abstract. Our goal is to show, in two different contexts, that random surfaces have large pants decompositions. First
More informationTeaching diary. Francis Bonahon University of Southern California
Teaching diary In the Fall 2010, I used the book Low-dimensional geometry: from euclidean surfaces to hyperbolic knots as the textbook in the class Math 434, Geometry and Transformations, at USC. Most
More information! B be a covering, where B is a connected graph. Then E is also a
26. Mon, Mar. 24 The next application is the computation of the fundamental group of any graph. We start by specifying what we mean by a graph. Recall that S 0 R is usually defined to be the set S 0 =
More informationAUTOMORPHISMS OF THE PANTS COMPLEX
AUTOMORPHISMS OF THE PANTS COMPLEX DAN MARGALIT In loving memory of my mother, Batya 1. Introduction In the theory of mapping class groups, curve complexes assume a role similar to the one that buildings
More informationTwist knots and augmented links
CHAPTER 7 Twist knots and augmented links In this chapter, we study a class of hyperbolic knots that have some of the simplest geometry, namely twist knots. This class includes the figure-8 knot, the 5
More informationINTRODUCTION TO TOPOLOGY
INTRODUCTION TO TOPOLOGY MARTINA ROVELLI These notes are an outline of the topics covered in class, and are not substitutive of the lectures, where (most) proofs are provided and examples are discussed
More informationThe Geometry and Combinatorics of Closed Geodesics on Hyperbolic Surfaces
City University of New York (CUNY) CUNY Academic Works Dissertations, Theses, and Capstone Projects Graduate Center 9-2015 The Geometry and Combinatorics of Closed Geodesics on Hyperbolic Surfaces Chris
More informationManifolds Pt. 1. PHYS Southern Illinois University. August 24, 2016
Manifolds Pt. 1 PHYS 500 - Southern Illinois University August 24, 2016 PHYS 500 - Southern Illinois University Manifolds Pt. 1 August 24, 2016 1 / 20 Motivating Example: Pendulum Example Consider a pendulum
More informationShape Modeling and Geometry Processing
252-0538-00L, Spring 2018 Shape Modeling and Geometry Processing Discrete Differential Geometry Differential Geometry Motivation Formalize geometric properties of shapes Roi Poranne # 2 Differential Geometry
More informationThe Fundamental Group, Braids and Circles
The Fundamental Group, Braids and Circles Pete Goetz Mathematics Colloquium Humboldt State University April 17, 2014 Outline 1) Topology 2) Path Homotopy and The Fundamental Group 3) Covering Spaces and
More informationMULTIPLE SADDLE CONNECTIONS ON FLAT SURFACES AND THE PRINCIPAL BOUNDARY OF THE MODULI SPACES OF QUADRATIC DIFFERENTIALS
MULTIPLE SADDLE CONNECTIONS ON FLAT SURFACES AND THE PRINCIPAL BOUNDARY OF THE MODULI SPACES OF QUADRATIC DIFFERENTIALS HOWARD MASUR AND ANTON ZORICH Abstract. We describe typical degenerations of quadratic
More informationGeometry and Gravitation
Chapter 15 Geometry and Gravitation 15.1 Introduction to Geometry Geometry is one of the oldest branches of mathematics, competing with number theory for historical primacy. Like all good science, its
More informationMath 190: Quotient Topology Supplement
Math 190: Quotient Topology Supplement 1. Introduction The purpose of this document is to give an introduction to the quotient topology. The quotient topology is one of the most ubiquitous constructions
More informationTopological Data Analysis - I. Afra Zomorodian Department of Computer Science Dartmouth College
Topological Data Analysis - I Afra Zomorodian Department of Computer Science Dartmouth College September 3, 2007 1 Acquisition Vision: Images (2D) GIS: Terrains (3D) Graphics: Surfaces (3D) Medicine: MRI
More information1.1 Topological Representatives for Automorphisms
Chapter 1 Out(F n ) and Aut(F n ) 1.1 Topological Representatives for Automorphisms Definition 1.1.1. Let X be a topological space with base point P. A self-homotopy equivalence is a base point preserving
More informationM3P1/M4P1 (2005) Dr M Ruzhansky Metric and Topological Spaces Summary of the course: definitions, examples, statements.
M3P1/M4P1 (2005) Dr M Ruzhansky Metric and Topological Spaces Summary of the course: definitions, examples, statements. Chapter 1: Metric spaces and convergence. (1.1) Recall the standard distance function
More informationAn introduction to simplicial sets
An introduction to simplicial sets 25 Apr 2010 1 Introduction This is an elementary introduction to simplicial sets, which are generalizations of -complexes from algebraic topology. The theory of simplicial
More informationIntroduction to Complex Analysis
Introduction to Complex Analysis George Voutsadakis 1 1 Mathematics and Computer Science Lake Superior State University LSSU Math 413 George Voutsadakis (LSSU) Complex Analysis October 2014 1 / 50 Outline
More information7. The Gauss-Bonnet theorem
7. The Gauss-Bonnet theorem 7.1 Hyperbolic polygons In Euclidean geometry, an n-sided polygon is a subset of the Euclidean plane bounded by n straight lines. Thus the edges of a Euclidean polygon are formed
More informationGAUSS-BONNET FOR DISCRETE SURFACES
GAUSS-BONNET FOR DISCRETE SURFACES SOHINI UPADHYAY Abstract. Gauss-Bonnet is a deep result in differential geometry that illustrates a fundamental relationship between the curvature of a surface and its
More informationT. Background material: Topology
MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 T. Background material: Topology For convenience this is an overview of basic topological ideas which will be used in the course. This material
More information