arxiv: v2 [math.gt] 15 Jan 2014
|
|
- Sharlene Pope
- 5 years ago
- Views:
Transcription
1 Finite rigid sets and homologically non-trivial spheres in the curve complex of a surface Joan Birman, Nathan Broaddus and William Menasco arxiv: v2 [math.gt] 15 Jan 2014 January 15, 2014 Abstract Aramayona and Leininger have provided a finite rigid subset X(Σ) of the curve complex C (Σ) of a surface Σ = Σ n g, characterized by the fact that any simplicial injection X(Σ) C (Σ) is induced by a unique element of the mapping class group Mod(Σ). In this paper we prove that, in the case of the sphere with n 5 marked points, the reduced homology class of the finite rigid set of Aramayona and Leininger is a Mod(Σ)-module generator for the reduced homology of the curve complex C (Σ), answering in the affirmative a question posed in [1]. For the surface Σ = Σ n g with g 3 and n {0, 1} we find that the finite rigid set X(Σ) of Aramayona and Leininger contains a proper subcomplex X(Σ) whose reduced homology class is a Mod(Σ)-module generator for the reduced homology of C (Σ) but which is not itself rigid. 1 Introduction and Statement of Results Let Σ n g be the surface with genus g 0 and n 0 marked points. The mapping class group Mod(Σ n g) is the group Mod(Σ n g) = Homeo + (Σ n g) / Homeo 0 (Σ n g) where Homeo + (Σ n g) is the group of orientation preserving self-homeomorphisms of the surface Σ n g which permute the marked points and Homeo 0 (Σ n g) is the path component of Homeo + (Σ n g) containing the identity map. Let V Σ n g be the set of marked points. An essential curve γ in Σ n g is a simple closed curve in Σ n g V such that any disk in Σ n g bounded by γ must contain at least two marked points. The isotopy class of γ is its orbit under the action of Homeo 0 (Σ n g). A curve system is a non-empty set of isotopy classes of essential curves which have pairwise disjoint representatives and a sub curve system of a curve system is any nonempty subset of a curve system. The curve complex C = C (Σ n g) is the simplicial complex whose vertices correspond to isotopy classes of essential curves in Σ n g and whose k-simplices correspond to curve systems with k + 1 curves. Henceforth we will abuse notation by not distinguishing between essential curves and their isotopy classes. In the cases of the sporadic surfaces of low complexity, Σ 4 0, Σ0 1 and Σ1 1, it is customary to include simplices for sets of essential curves with pairwise minimal intersection, but we will not do this here. Hence for our purposes C (Σ 4 0 ), C (Σ0 1 ) and C (Σ1 1 ) will be disconnected complexes of dimension 0. The first author acknowledges partial support from the Simons Foundation, under Collaborative Research Award # The second author is partially supported by the National Science Foundation under grant DMS
2 The curve complex plays dual geometric and homological roles for the structure of the mapping class group. On the one hand we have results in the vein of Ivanov [8], which retrieve the mapping class group as the set of simplicial isomorphisms of the curve complex and other related simplicial complexes. On the other hand we have the work of Harer [5] which shows that the single non-trivial reduced homology group of the curve complex is the dualizing module for the mapping class group, thereby linking its group homology and cohomology. One should not be too surprised at these dual functions for the curve complex, as the curve complex was originally proposed by Harvey [6] as an analog for the mapping class group of the spherical building at infinity for nonuniform lattices in semi-simple Lie groups. Recent work of Aramayona and Leininger [1] advanced the Ivanov side of the picture by giving a finite rigid subset X(Σ) in the curve complex with the property that any simplicial injection of their set into the curve complex is induced by a unique mapping class. In this paper we relate the work in [1] to the Harer side of that picture by relating the finite rigid set X(Σ) of Aramayona and Leininger to a homologically non-trivial sphere X(Σ) in the curve complex whose orbit under the action of the mapping class group generates the reduced homology of the curve complex. First, we focus on the sphere with n marked points. In Proposition 25 we find, for each n 5, an explicit set of curves on Σ0 n whose associated vertices in C (Σn 0 ) determine an essential simplicial sphere in C (Σ0 n ). The information in Proposition 25 will allow us to prove our first main result in 3.2: Theorem 1. Assume that n 5. Then the finite rigid set X(Σ0 n) C (Σn 0 ) given in [1] is precisely the essential (n 4)-sphere X(Σ0 n) C (Σn 0 ) whose reduced homology class is determined in Proposition 25 of this paper to be a Mod(Σ0 n )-module generator of the reduced homology of the curve complex. This answers Question 2 of [1] in the affirmative for n 5. Given the suprising coincidence of our essential sphere and the finite rigid set of Aramayona and Leininger for the surface Σ0 n, and the fact that X(Σ6 0 ) = X(Σ0 2 ) = X(Σ0 2 ), one might be tempted to conjecture that homologically non-trivial spheres in the curve complex are always finite rigid sets. Attempting to test our conjecture in the cases Σ 0 g, g 3 we learned that it is not true. In Proposition 31 we construct essential spheres X(Σ 0 g) and X(Σ 1 g) in C (Σ 0 g) and C (Σ 1 g) respectively. Our second main result, proved in 4.2 is: Theorem 2. Let g 3 and n {0, 1} or g = 2 and n = 1. Then the essential (2g 2)-sphere X(Σ n g) C (Σ n g) that is determined in Proposition 31 (i) represents a Mod(Σ n 0 )-module generator for the reduced homology of C (Σn g), (ii) is a proper subset of X(Σ n g), but (iii) is not rigid. Modified versions of Theorems 1 and 2 hold for the sporadic surfaces Σ 4 0, Σ0 1 and Σ1 1. See 4.3 for the precise statements. While Theorem 2 rules out the possibility that homologically non-trivial spheres in the curve complex must be rigid, we have the following suggestive corollary: Corollary 3. Suppose g = 0 and n 5 or g 2 and n {0, 1}. Let X(Σ n g) C (Σ n g) be the finite rigid set given in [1]. Then the inclusion map i : X(Σ n g) C (Σ n g) induces a homomorphism i : H (X(Σ n g)) H (C (Σ n g)) with non-trivial image. Proof. In both cases the inclusion map j : X C factors through the inclusion map i : X C and induces a homomorphism j : H (X) H (C ) with non-trivial image. Question 4. Suppose 3g + n 5. Does the inclusion map i : X(Σ n g) C (Σ n g) of the finite rigid set given in [1] induce a homomorphism i : H (X(Σ n g)) H (C (Σ n g)) with non-trivial image?. 2
3 Here is a guide to the paper. We begin, in 2, with a review of the necessary background. The associahedron will enter into this review because it concisely describes the simplicial structure of the spheres in the curve complex which we demonstrate to be homologically non-trivial. We introduce it in 2.1. Our new work begins in 3, where we restrict our discussion to surfaces of genus 0 with n 4 marked points and give a finite Mod-module resolution of the Steinberg module (the reduced homology of the curve complex) using the the cellular chain complex of the arc complex relative to the arc complex at infinity. The last two terms of this resolution give a Mod-module presentation of this homology group which we use to give a single class whose orbit under the mapping class group generates the entire relative homology group. In 3.1 we use Harer s homotopy equivalence from 2.2 to convert our non-trivial class in the homology of the arc complex relative to the arc complex at infinity to a class in the homology of the curve complex. We then simplify our representative of this class. In Proposition 25 we give, explicitly, a finite subset X of the curve complex C the orbit of whose homology class under the action of the mapping class group generates the reduced homology of the curve complex. In 3.2 we find that the simplified representative is precisely the finite rigid set of Aramayona and Leininger, proving Theorem 1. In 4 we consider the same situation when g 1 and n {0, 1}. This situation was already treated in [2], however we are now able to simplify the results given there drastically. We give, in Proposition 31, an explicit simplified homologically non-trivial sphere in the curve complex the orbit of whose homology class under the action of the mapping class group generates the reduced homology of the curve complex. We establish that it is a proper subset of the finite rigid set of Aramayona and Leininger. In 4.2 we prove Theorem 2, by showing that it is not a finite rigid set. Modified versions of Theorems 1 and 2, for sporadic surfaces, are discussed and proved in Review of the Background Our results in 3 and 4 will concern the surfaces Σ n 0 where n 4 and Σn g where g 1 and n {0, 1}. However, many of the results that we review in this section apply in greater generality so we provide the stronger statements and more general definitions when possible. 2.1 The curve complex, arc complex and associahedron Let n 4 or g 1 and set n 4, g = 0 τ = 2g 2, g 1 and n = 0 2g + n 3, g 1 and n 1 By the work of Harer we have the following theorem:. (1) Known Result 5 ([5, Theorem 3.5]). Assume n 4 or g 1. The curve complex C (Σ n g) has the homotopy type of a countably infinite wedge sum of spheres of dimension τ thus where τ is as in (1). C (Σ n g) S τ. In particular the reduced homology H (C (Σ n g); Z) of the curve complex is non-trivial only in dimension τ where we get H τ (C (Σ n g); Z) = Z. 3
4 The dualizing module of a duality group Γ of cohomological dimension d is a Γ-module D such that for any Γ-module A and any k Z we have H k (Γ; A) = H d k (Γ; A Z D) where A Z D has the diagonal module structure. (See [3, VIII.10] for a general introduction to duality groups.) In particular if Γ is any torsion free finite index subgroup of the mapping class group Mod(Σ n g) where n 4 or g 1 then by the work of Harer [5, Theorem 4.1] the dualizing module of Γ is the Steinberg module St = St(Σ n g) := H τ (C (Σ n g); Z). We view this as motivation for a careful study of the homotopy type of the curve complex. To help us in this study, it will be convenient to introduce a closely related complex, the arc complex of a surface with marked points. Let Σ n g be the surface with genus g 0 and n 1 marked points and let V Σ n g be the set of marked points. An arc in Σ n g is either the unoriented image of a properly embedded path in Σ n g joining two points of V which is disjoint from V except at its endpoints or else the image of an unoriented simple loop in Σ n g based at a point in V disjoint from V except at its basepoint. An essential arc in Σ n g is an arc which does not bound an embedded disk in Σ n g whose interior is disjoint from V. We will say that two arcs are disjoint if they are disjoint except possibly at their endpoints. The isotopy class of an essential arc is its orbit under the elements of Homeo 0 (Σ n g) which fix the marked points pointwise. An arc system is a set of isotopy classes of arcs with pairwise disjoint representatives and a sub arc system of an arc system is any non-empty subset of the arc system. The arc complex A = A (Σ n g) is the simplicial complex whose vertices are isotopy classes of essential arcs and whose k-simplices correspond to arc systems with k + 1 isotopy classes of arcs. Observe that a maximal arc system gives a triangulation of the surface Σ n g with n vertices so by euler characteristic it will have 6g + 3n 6 arcs. Therefore we have dim(a (Σ n g)) = 6g + 3n 7. The arc complex has a very nice property: Known Result 6 ([7]). If n 2 or if both g 1 and n 1 then A (Σ n g) is contractible. An arc system fills the surface Σ n g if the arcs in the arc system cut the surface into disks with at most one marked point in their interior. The arc complex at infinity A = A (Σ n g) is the union of all simplices of A (Σ n g) whose corresponding arc systems do not fill the surface. One may also alternatively describe A (Σ n g) as the subset of points in A (Σ n g) with infinite stabilizers under the action of Mod(Σ n g). Now suppose that g = 0 and n 4 or g 1 and n = 1 and let τ be as in equation (1). Then at least τ + 2 arcs are needed to fill the surface Σ n g thus A (Σ n g) contains the entire τ-skeleton of A (Σ n g). If on the other hand we have g 1 and n 2 then at least τ + 1 arcs are needed to fill the surface which implies that A (Σ n g) contains the (τ 1)-skeleton of A (Σ n g) but not the entire τ-skeleton of A (Σ n g). This fact renders an essential part of our argument given in 2.3 applicable only to the cases where g = 0 and n 4 or g 1 and n = 1. We now introduce a simplicial complex which we will later embed in the curve complex as a homologically non-trivial sphere. Let m 3. The associahedron K m is a convex polytope homeomorphic to the closed (m 2)-ball. Its boundary K m is a cell complex homeomorphic to the (m 3)-sphere. The dual of the cell complex K m is a simplicial complex D m which is again homeomorphic to the (m 3)-sphere. Here we provide a convenient description of D m taken from [4, Corollary 2.7]. 4
5 Let Γ be a graph. A tube is any proper non-empty subset of the vertices of Γ whose induced subgraph in Γ is connected. Let t 1 and t 2 be two tubes of Γ. We say that t 1 and t 2 are nested if t 1 t 2 or t 2 t 1. The tubes t 1 and t 2 overlap if t 1 t 2 = and t 1 and t 2 are not nested. Tubes t 1 and t 2 are adjacent if t 1 t 2 = and t 1 t 2 is a tube. Two tubes in Γ are compatible if they do not overlap and are not adjacent. Definition 7. Let D(Γ) be the simplicial complex with a vertex for each tube of Γ and a k-simplex for each set of k + 1 pairwise compatible tubes in Γ. Definition 8. The dual D m of the boundary (m 3)-sphere of the associahedron K m is the simplicial complex D(Λ m 1 ) where Λ m 1 is the path graph with m 1 vertices given in Figure m 2 m 1 Figure 1: A path graph Λ m 1 with vertex set {1, 2,, m 1}. Example 9. D 5 is the simplicial complex homeomorphic to S 2 depicted in Figure 2. Figure 2: The simplicial complex D 5 is the dual of the boundary of the associahedron K 5 The curious reader will discover that the literature on the combinatorics of simplicial complexes is filled with references to the associahedron. In particular, the reader may wish to compare Figure 2 below with Figure 10 of [2], which illustrates the role that the associahedron will play in this paper. Indeed, it is used to describe both the finite rigid subsets sets of C (Σ 6 0 ) and of C (Σ0 2 ), illustrating the well-known isomorphism between these two complexes [10]. 2.2 Maps between simplicial complexes In the discussion that follows we will encounter a number of maps between simplicial complexes which are not simplicial maps, but are nonetheless very well-behaved piecewise linear maps. For example we 5
6 will describe below a continuous map from the arc complex at infinity A (Σ n g) to the curve complex C (Σ n g) which induces a homotopy equivalence (see Known Result 17). Here we develop some convenient language and observations for working with these maps. If X is a simplicial complex with vertex set X 0 we will specify a general point p X as a linear combination p = v X 0 p v v where for all v X 0 we have 0 p v 1 and v X 0 p v = 1. For a point p X the support of p is the set supp p = {v X 0 p v > 0} and for a subset U X we set supp U = p U supp p. Our simplicial complexes will all be finite dimensional so we will have dim X = max p X supp p. Conversely, given a set S X 0 we will define the span of S to be the set span S = {p X supp p S}. Definition 10 (Interpolability). Let X and Y be simplicial complexes with vertex sets X 0 and Y 0 respectively. Let f 0 : X 0 Y be a function. We say that f 0 is interpolable if for any simplex σ of X there is some simplex η of Y such that for every vertex v of σ we have f 0 (v) η. Note that it suffices to verify the condition of Definition 10 for the maximal simplices of a finite dimensional simplicial complex X. Definition 11 (Linear interpolation). Let X and Y be simplicial complexes with vertex sets X 0 and Y 0 respectively. We say that f : X Y is a linear interpolation if the restriction f X 0 : X 0 Y is interpolable and for any point p = v X 0 p v v X we have ( ) f v X 0 p v v = v X 0 p v f (v). Remark 12. Note that any interpolable function f 0 : X 0 Y from the 0-skeleton X 0 of a simplicial complex X to a simplicial complex Y extends to a unique linear interpolation f : X Y via the equation ( ) f v X 0 p v v = v X 0 p v f 0 (v). Lemma 13 (Linear interpolations are continuous). Let f : X Y be a linear interpolation. Then f is continuous. Proof. This follows from the gluing lemma from basic topology and the observation that linear interpolations agree on intersections of simplices. Lemma 14. Let f, g : X Y be linear interpolations and suppose that for each simplex σ of X there is a simplex η of Y such that for each vertex v of σ we have f (v), g(v) η. Then f and g are homotopic functions. Proof. For t [0, 1] define F 0 t : X 0 Y by setting F 0 t (v) = (1 t) f (v) + tg(v) for each vertex v X 0. Note that F 0 t is interpolable so we may extend it to a linear interpolation F t : X Y. Now define F : X I Y by setting F(x, t) = F t (x). One observes that F(x, 0) = f (x) and F(x, 1) = g(x) for all x X. The continuity of F follows from the continuity of the restriction F σ I for each simplex σ of X and the gluing lemma. 6
7 Corollary 15. Let f : X Y be a linear interpolation. For each vertex v X 0 choose a vertex w v supp f (v) and define h 0 : X 0 Y by setting h 0 (v) = w v. Then h 0 is interpolable and f is homotopic to the linear interpolation h : X Y of h 0. Proof. Let σ be a simplex of X. Then since f is a linear interpolation there is a simplex η of Y such that f (σ) η and hence supp f (σ) η. By construction if v is a vertex of σ then supp h 0 (v) supp f (σ) so supp h 0 (v) η. It follows that h 0 is interpolable with linear interpolation h : X Y. Moreover, h(v), f (v) η so we may apply Lemma 14 to conclude that h and f are homotopic. Finally we note that if X is a simplicial complex then its barycentric subdivision bs X is the simplicial complex with 0-skeleton given by the set (bs X) 0 = {σ σ is a simplex of X} and with n-simplices given by flags of simplices of X of length n + 1. One gets a homeomorphism between X and bs X by letting j 0 : (bs X) 0 X be the function sending the vertex σ (bs X) 0 to the point 1 supp σ v supp σ v and letting j : bs X X be the linear interpolation of j 0. The barycentric subdivision map is the inverse of j. bs : X bs X (2) We end our general discussion of linear interpolations with the following observation: Remark 16. A linear interpolation f : X Y is a simplicial map if and only if for all v X 0 we have supp f (v) = 1. With the language of linear interpolations we now review Harer s homotopy equivalence between the arc complex at infinity and the curve complex. Suppose that g 1 and n 1 or g = 0 and n 4. Let A = A (Σ n g) and C = C (Σ n g). Let bs A be the barycentric subdivision of A. The vertices of bs A will correspond to non-filling arc systems with k-simplices corresponding to increasing flags of non-filling arc systems of length k + 1. When an arc system α does not fill the surface Σ n g we can associate a curve system γ(α) to it by letting N(α) Σ0 n be a closed regular neighborhood of the union of the arcs in the arc system α and letting the curve system γ(α) be the set of essential (in Σ n g) boundary curves of the subsurface Σ n g N(α) with duplicate curves removed. Let Φ 0 : (bs A ) 0 C 1 be the function sending the non-filling arc system α to the barycenter γ(α) c γ(α) c of the simplex in C corresponding to the the curve system γ(α). One sees that Φ 0 is interpolable as follows. If σ is a simplex of bs A then it corresponds to an increasing flag of non-filling arc systems α 1 α 2 α k. We may arrange that the corresponding regular neighborhoods satisfy N(α i ) int N(α i+1 ) when 1 i < k. Thus all boundary curves can me made to be simultaneously disjoint. Let η be the simplex of C corresponding to the curve system which is the union of all such sets of boundary curves. If v is a vertex of σ then Φ 0 (v) η. Thus Φ 0 is interpolable. Let be the linear interpolation of Φ 0. Φ : bs A C (3) 7
8 Known Result 17 ([5, Theorem 3.4]). Suppose that g 1 and n 1 or g = 0 and n 4. Then the map Φ in (3) induces a homotopy equivalence between A (Σ n g) and C (Σ n g). 2.3 A free resolution of the homology of the Steinberg module We now restrict to the cases where either g = 0 and n 4 or g 1 and n = 1 and utilize techniques similar to those in [2] to give a Mod(Σ n g)-module resolution of St(Σ n g). It is the failure of (5) below when g 1 and n 2 which renders our argument invalid for that case. By Known Result 6 the arc complex A = A (Σ n g) is contractible and by Known Result 17 the arc complex at infinity A = A (Σ n g) is homotopy equivalent to the curve complex C = C (Σ n g). Known Result 5 says that curve complex has the homotopy type of a wedge of τ-dimensional spheres. Therefore for k 1 H k (A, A ; Z) = H k 1 (A ; Z) = H k 1 (C ; Z) { 0, k = τ + 1 = St(Σ n g), k = τ + 1. (4) Now consider the cellular chain complex C (A, A ) for the pair of spaces (A, A ). 0 C 6g+3n 7 (A, A ) C 1 (A, A ) C 0 (A, A ) 0 where as usual we define C k (A, A ) := C k (A )/ C k (A ). A chain complex is an exact sequence when all of its homology groups are 0. Note that every homology group of the pair of spaces (A, A ) is zero except for H τ+1 (A, A ; Z) so the chain complex C (A, A ) is very close to being an exact sequence. No arc system with 2g 1 or fewer arcs can fill the surface Σ 1 g and no arc system with n 3 or fewer arcs can fill the surface Σ0 n. Hence in both cases no arc system with τ + 1 or fewer arcs can fill the surface so the entire τ-skeleton of A is contained in A. Thus C τ (A, A ) := C τ (A )/ C τ (A ) = C τ (A )/ C τ (A ) = 0. (5) From equations (4) and (5) we have that St(Σ n g) = H τ+1 (A, A ) ( ) ker C τ+1 (A, A ) C τ (A, A ) = ( ) Image C τ+2 (A, A ) C τ+1 (A, A ) ( ) ker C τ+1 (A, A ) 0 = ( ) Image C τ+2 (A, A ) C τ+1 (A, A ) (6) = C τ+1(a, A ) C τ+2 (A, A ) C τ+1 (A ) = C τ+1 (A ) C τ+2 (A ) where is the boundary operator for C (A, A ) or C (A ) depending on the context. We thus have the following very useful description of the homology of the curve complex: 8
9 Proposition 18. Let g = 0 and n 4 or g 1 and n = 1. Let τ be as in (1) and C (A ) and C (A ) be the simplicial chain complexes of the arc complex A = A (Σ n g) and arc complex at infinity A = A (Σ n g) respectively. Then the Steinberg module St(Σ n g) := H τ (C (Σ n g); Z) has the following presentation: St(Σ n g) = C τ+1 (A ) C τ+1 (A ) C τ+2 (A ). Proposition 18 says that the reduced homology of the curve complex is the quotient of the free abelian group on all arc systems in Σ n g with τ + 2 arcs modulo all non-filling arc systems with τ + 2 arcs and boundaries of arc systems with τ + 3 arcs. Notice that if k τ + 2 then by equation (4) we have H k (A, A ) = 0 so 0 C 6g+3n 7 (A, A ) C τ+2 (A, A ) C τ+1 (A, A ) (7) is an exact sequence. As with any terminating exact sequence we can append two more terms to get a slightly longer exact sequence 0 C 6g+3n 7 (A, A ) C τ+2 (A, A ) C τ+1 (A, A ) C τ+1(a, A ) C τ+2 (A, A ) 0. From (6) we know that the penultimate term of this sequence is isomorphic to St(Σ n g). Since the sequence in (7) is exact we have a Mod(Σ n g)-module resolution of St(Σ n g). Note that a filling arc system in Σ n g always has a finite but possibly non-trivial stabilizer in Mod(Σ n g). Hence for k τ + 1 the relative chain group C k (A, A ) is not quite a free Mod(Σ n g)-module. However, if one restricts to a torsion free subgroup Γ < Mod(Σ n g) then C k (A, A ) will be a free Γ-module. Proposition 19. Let g = 0 and n 4 or g 1 and n = 1. Let τ be as in (1). The Steinberg module St(Σ n g) := H τ (C (Σ n g); Z) has the following Mod(Σ n g)-module resolution of finite length: 0 C 6g+3n 7 (A, A ) C τ+2 (A, A ) C τ+1 (A, A ) St(Σ n g). This resolution is not free but will be free for any torsion free subgroup Γ < Mod(Σ n g). The terms of this resolution will be finitely generated as Γ-modules if the index of Γ in Mod(Σ n g) is finite. 3 Essential spheres and finite rigid sets for the surfaces Σ n 0 We begin the new work in this paper. In this section we assume that n 4, and let Σ0 n be the surface of genus 0 with marked point set V Σ0 n of order n. We turn our attention to the goal of finding a single class in St(Σ0 n) whose orbit under Mod(Σn 0 ) generates St(Σn 0 ) as a Z-module. From Proposition 18 we have that St(Σ n 0 ) = C n 3 (A ) C n 3 (A ) C n 2 (A ). C n 3 (A ) is the free abelian group on all arc systems with n 2 arcs. The mapping class group is not transitive on the set of these arc systems, but there are a finite number of orbits. We will show that after quotienting by the relations C n 3 (A ) and C n 2 (A ) that every element of St(Σ0 n ) will be a linear combination of elements of the Mod(Σ0 n )-orbit of the class of a single arc system. The set of non-filling arc systems with n 2 arcs forms a basis for C n 3 (A ). This is a subset of the set of all arc systems with n 2 arcs which forms a basis for C n 3 (A ). Thus we see that non-filling arc systems give the trivial class in St(Σ n 0 ). 9
10 The union of the arcs in an arc system α is a graph G(α). Note that in general the vertices of G(α) will be only those marked points in V which are endpoints of at least one arc in the arc system α. The arc system α fills the surface if Σ0 n G(α) is a disjoint union of open disks containing at most one marked point. If the filling arc system has exactly n 2 arcs then each of these disks must contain exactly one marked point. We note that if α is a filling arc system then G(α) must be connected since its complement is a disjoint union of open disks. Lemma 20. If α is a filling arc system in Σ n 0 with n 2 arcs then its class in the Steinberg module St(Σn 0 ) is a Z-linear combination of the classes of filling arc systems β with n 2 arcs such that the graph G(β) is a path graph. Proof. Let α be an arc system in Σ0 n with n 2 arcs. If α does not fill then its class in St(Σn 0 ) is trivial. Define a tine of the graph G(α) to be a path subgraph P of G(α) which is either any single vertex of G(α) or else has at least one vertex which has valence one in G(α) and at most one vertex which has valence greater than 2 in G(α) (see Figure 3). Note that every vertex of G(α) is a tine of length 0. Define the complexity µ(α) of the arc system α to be the length of the longest tine of G(α). G(α) v w P(α) Tines of G(α) â G(ˆα) Figure 3: On the left we have a filling arc system α in the surface Σ 16 0 with 14 arcs with complexity µ(α) = 2. In the center the solid part of the graph is the union of the tines of G(α). The graph G(α) has 13 tines of length zero, four tines of length one and one tine P(α) of length two. On the right we have a filling arc system ˆα such that the relation in St(Σ 16 0 ) induced by ˆα expresses the class of α as a linear combination of classes of filling arc systems all with with complexity at least 3. Let P(α) be a tine of α with maximal length. If µ(α) = n 2 then G(α) is a path graph and we are done. Assume that µ(α) < n 2. If µ(α) = 0 let v be the unique vertex of P(α). Otherwise let v be the unique vertex of P(α) which has valence 1 in G(α). The vertex v must be in the closure of at least one component of Σ n 0 α. Let w be the marked point contained in the interior of such a component (see the center of Figure 3). Let â be an arc disjoint from the arcs of α connecting v to w. Let ˆα = α {â} which is an arc system with n 1 arcs (see the right of Figure 3). Given b ˆα set α b = ˆα {b}. We claim exactly one of the following holds: 1. α b = α. 2. α b is a non-filling arc system in Σ n α b is a filling arc system with µ(α b ) > µ(α). 10
11 Note that α b = α if and only if b = â. Suppose b = â. Then b α. If b P(α) then G(α b ) is disconnected so α b is non-filling. If b P(α) then α b may or may not be a filling system but in either case µ(α b ) µ(α) + 1. We may use the relation ˆα in St(Σ0 n ) to express the class of the arc system α as a Z-linear combination of classes of arc systems with higher complexity. By induction we may write any such class as a Z-linear combination of classes of filling arcs systems with the maximal complexity n 2. The graphs for each of these arc systems must be a path graph. y 1 y 2 y n 2 p υ Figure 4: A filling arc system υ = {y 1, y 2,, y n 2 } with n 2 arcs in the surface Σ0 n whose class generates St(Σ0 n) as a Mod(Σn 0 )-module. Proposition 21. Suppose n 4. Let θ υ A (Σ0 n ) be the (n 3)-simplex corresponding to the arc system υ in Figure 4. Then the class [θ υ ] St(Σ0 n) = C n 3 (A ) C n 3 (A ) C n 2 (A ) generates St(Σ n 0 ) as a Mod(Σn 0 )-module. Proof. By Lemma 20 the class of any arc system with n 2 arcs is a Z-linear combination of classes of arc systems whose graphs are path graphs. All path graphs with n 2 edges in Σ n 0 are in the Mod(Σn 0 )-orbit of the arc system υ pictured in Figure 4. Hence the Mod(Σ n 0 )-orbit of the class of θ υ generates St(Σ n 0 ) as a Z-module. In other words [θ υ ] generates St(Σ n 0 ) as a Mod(Σn 0 )-module. Corollary 22. Suppose n 4. Let θ υ A (Σ0 n ) be the (n 3)-simplex corresponding to the arc system υ in Figure 4. Then the class [θ υ ] St(Σ0 n) = C n 3 (A ) C n 3 (A ) C n 2 (A ) is non-trivial. Proof. If the [θ υ ] is the trivial class in St(Σ0 n) then by Proposition 21 we must have that St(Σn 0 ) is the zero module. Let Γ < Mod(Σ0 n ) be a torsion free finite index subgroup. Then by [5, Theorem 4.1] the cohomological dimension of Γ is n 3. We may use duality to show that for all k and all Γ-modules A H k (Γ; A) = H n 3 k (Γ; A St(Σ n 0 )) = H n 3 k(γ; A 0) = H n 3 k (Γ; 0) = 0. This implies that the cohomological dimension of Γ is 0. Hence we have a contradiction. 3.1 An essential sphere in the curve complex of the surface Σ n 0 Again we assume that g = 0 and n 4. In Corollary 22 we have a non-trivial class in St(Σ n 0 ) = C n 3 (A ) C n 3 (A ) C n 2 (A ). We will now use the homotopy equivalence between A and C and the techniques of 2.2 to get a (n 4)- sphere in C representing this non-trivial class. After simplification our (n 4)-sphere will be the dual D n 1 of the boundary of the associahedron K n 1 (See Definition 8). 11
12 The class of the filling arc system in Figure 4 is represented by a single (n 3)-simplex θ υ A (Σ n g) all of whose proper faces are contained in the arc complex at infinity. The connecting homomorphism : H n 3 (A, A ; Z) H n 4 (A ; Z) sends the class [θ υ ] H n 3 (A, A ; Z) to the class [θυ n 4 ] H n 4 (A ; Z) where θυ n 4 denotes the (n 4)- skeleton of the (n 3)-simplex θ υ. Let bs : A bs A be the barycentric subdivision map from (2). Recall that the homotopy equivalence Φ : bs A (Σ0 n) C (Σn 0 ) from (3) sends a non-filling arc system to the collection of boundary curves of a regular neighborhood of the arc system. It follows that the homology class of the (n 4)-sphere Φ(bs θυ n 4 ) is a Mod(Σ0 n)-module generator for H n 4 (C ; Z) and is non-trivial. There are a number of properties of the (n 4)-sphere Φ(bs θυ n 4 ) which are undesirable. Firstly, since Φ is defined on the barycentric subdivision of A the sphere Φ(bs θυ n 4 ) has 2 (n 2) 2 vertices which is exponential in the number of marked points. Secondly, it is a subcomplex of the barycentric subdivision of the curve complex, whereas one would like to describe the sphere as a subcomplex of the curve complex itself. In order to address these issues we will replace the sphere Φ(bs θυ n 4 ) with a simpler one representing the same free homotopy class. In fact our simplified sphere X C described below will agree with Φ(bs θυ n 4 ) setwise but will have a much simpler structure as a simplicial complex. Let Y bs A be the flag complex whose vertices correspond to non-empty proper sub arc systems of the filling arc system υ in Figure 4 and whose k-simplices correspond to increasing flags of such sub arc systems of length k + 1. Notice that Y = bs θυ n 4 is the homeomorphic image of θυ n 4 under the barycentric subdivision map bs : A bs A from (2) and hence topologically a sphere of dimension n 4. Let i : Y bs A be the inclusion map and let ϕ = Φ i where Φ : bs A C is as in (3). Now we will apply the techniques of 2.2 to simplify ϕ. Let Y 0 be the 0-skeleton of Y. Define the function ϕ 0 1 : Y0 C as follows. Let α υ be a vertex of Y. Set α α to be the left-most connected component of the arc system α and ϕ 0 1 (α) to be the unique boundary curve of α. Notice that ϕ 0 1 (α) supp ϕ(α). Hence by Corollary 15 the function ϕ0 1 is interpolable. Let ϕ 1 : Y C be its linear interpolation which by Corollary 15 is homotopic to ϕ. Define the subcomplex X = X(Σ0 n) C (Σn 0 ) as follows. For each non-empty interval J = {j, j + 1,, m} {1, 2,, n 2} let x J be the boundary curve of the arc system {y j, y j+1,, y m } υ. Let Let X(Σ n 0 ) = span X0 C (Σ n 0 ). X 0 = {x J J {1, 2,, n 2} is a non-empty interval} Lemma 23. The complex X and the simplicial complex D n 1 (see Definition 8) are isomorphic as simplicial complexes. Proof. Let Λ n 2 be the graph in Figure 1. If J, J {1, 2,, n 2} are two non-empty intervals then the boundary curves x J and x J form a curve system exactly when J and J are compatible tubings of the graph Λ n 2. We caution the reader not to confuse the graph Λ n 2 which has a vertex for each arc in the arc system υ and the underlying graph G(υ) for the arc system υ from 3 in which each arc of υ is an edge. The linear interpolation f : D n 1 X of the map sending the tubing J D n 1 of Λ n 2 to the curve x J X is a simplicial map by Remark 16 and its inverse is the linear interpolation of the function sending the curve x J to the maximal subinterval of J {1, 2,, n 2} such that the arc system {y j j J } is entirely contained in the component of Σ n 0 x J which does not contain the marked point p υ. 12
13 Lemma 24. The map ϕ 1 is a simplicial map, ϕ 1 (Y) = X and ϕ 1 : Y X is a homotopy equivalence. Proof. The map ϕ 1 is a simplicial map onto its image by Remark 16 and the observation that for each vertex α of Y we have supp ϕ 1 (α) = {ϕ 0 1 (α)} = 1. If α is a vertex of Y then ϕ 1 (α) is a vertex of X. The map ϕ 1 is simplicial so ϕ 1 (Y) span X 0 = X. Observe that Y is topologically an (n 4)-sphere and by Lemma 23 that X is topologically an (n 4)- sphere. Hence the map ϕ 1 : Y X will be a homotopy equivalence if and only if it is a degree ±1 map. Let J = {1, 2,, n 3} then ϕ1 1(x J) = {α} where α = {y 1, y 2,, y n 3 }. Thus the degree of ϕ 1 is equal to the degree of the induced map ϕ1 : Lk(α, Y) Lk(x J, X) where Lk(w, W) denotes the link of the vertex w in the complex W. The map ϕ1 is exactly the map ϕ 1 for the surface with one less puncture. For the base case surface Σ 4 0 the map ϕ 1 : Y X is a homeomorphism of 0-spheres which has degree ±1. Hence, inductively, for all n 4 the map ϕ 1 : Y X has degree ±1 and is therefore a homotopy equivalence. It follows that ϕ 1 : Y X is surjective. We have arrived at the following simplification of our Mod(Σ n 0 )-module generator for H n 4 (C ; Z). Proposition 25. Assume n 4. Let X = X(Σ0 n) C (Σn 0 ) be the subcomplex of all simplices of C whose vertices are boundary curves of connected sub arc systems of the arc system υ in Figure 4. Then as a simplicial complex X is the dual D n 1 of the boundary of the associahedron K n 1 (see Definition 8) and with a proper choice of orientation the class [X] H n 4 (C ; Z) is the same as that of θ υ from Proposition 21 and hence is a non-trivial generator for H n 4 (C ; Z) as a Mod(Σ0 n)-module. Proof. Lemma 23 shows that X and D n 1 are isomorphic simplicial complexes. The map ϕ : Y C above represents a Mod(Σ n 0 )-module generator for H n 4 (C ; Z). As we noted ϕ 1 : Y C is homotopic to ϕ and thus represents the same class. Let i X : X C be the inclusion map. By Lemma 24 the map ϕ 1 : Y X has a homotopy inverse h : X Y. Thus i X is homotopic to ϕ 1 h which represents the same class as ϕ in H n 4 (C ; Z). 3.2 The proof of Theorem 1 In [1] Aramayona and Leininger show that certain finite subcomplexes W C of the curve complex are rigid sets. That is, any injective simplicial map f : W C extends to a simplicial injection F : C C and hence is induced by a mapping class. In the case that Σ = Σ0 n their finite rigid set X = X(Σn 0 ) is a topological sphere of dimension n 4 and they ask [1, Question 2] if the class [X] H n 4 (C (Σ0 n)) is non-trivial. The construction of the set X C (Σn 0 ) is as follows: Let G n be a regular n-gon and let Σ0 n be the double of G n along its boundary with each vertex of G n giving a marked point. For each line segment w joining two nonadjacent sided of G n the double c w of w will be an essential curve in Σ0 n. Let X0 be the set of all ( n 2 ) n essential curves in Σn 0 which may be constructed in this manner. Define X = span X 0 to be the union of all simplices of C (Σ0 n ) whose vertices all lie in the set X 0. The reader is referred to the Introduction to this paper for the statement of Theorem 1. Using Proposition 25, we are now ready to give the proof. Proof of Theorem 1. Assume that n 5. Arrange the arc system in Figure 4 so that it is entirely contained in the image of the boundary of the n-gon G n in Σ0 n. Arrange the arcs in Figure 4 so that they coincide with all 13
14 but two adjacent edges of G n. Let p υ be the marked point of Σ0 n which is not incident with any arcs. If w is a line segment joining two nonadjacent sides of G n then its double c w will be the boundary curve for the maximal connected sub arc system of the arc system in Figure 4 which is disjoint from c w and which is in the component of Σ0 n c w which does not contain the marked point p υ. This pairing identifies the vertices of X and X. Since both subcomplexes are the full subcomplexes of C (Σ0 n ) spanned by their vertices the subcomplexes must coincide. We address the case of the surface Σ 4 0 in 4.3 below. 4 Essential spheres and finite rigid sets for the surfaces Σ 0 g and Σ 1 g We now turn our attention to the surface Σ n g where g 1 and n {0, 1}. Our main interest is in the case n = 0, but in the process of investigating that we will need to study the case n = 1. To get started, we review what was done in [2] to identify the homologically non-trivial sphere in C (Σ n g) described there. After that, we use the techniques of 2.2 to radically simplify this sphere. Finally in 4.2 we compare this simplified sphere to the finite rigid sets for Σ n g given in [1]. 4.1 An essential sphere in the curve complex of a surface of genus g > 0 Consider the surface of genus g with 1 marked point depicted in Figure 5. Let θ ζ A (Σ 1 g) be the (2g 1)- simplex corresponding to the filling arc system ζ given in Figure 5. In [2] it is shown that the class [θ ζ ] generates St(Σ 1 g) C 2g 1 (A ) = C 2g 1 (A ) C 2g (A ) as a Mod(Σ 1 g)-module. z 2 z 3 z 4 z5 z 6 z 7.. z 1 z 2g 1 z 2g 3 z 2g z 2g 2 Figure 5: A filling arc system ζ = {z 1, z 2,, z 2g } with 2g arcs in the surface Σ 1 g whose class generates St(Σ 1 g) as a Mod(Σ 1 g)-module. As was the case in Corollary 22 this class in St(Σ 1 g) must be non-trivial. 14
15 Now consider the surface Σ 0 g without marked points. Here we have no arc complex, but by a result of Harer following from more general work by Kent, Leininger and Schleimer [9, Corollary 1.1] the map Ψ : C (Σ 1 g) C (Σ 0 g) (8) which forgets the marked point is a homotopy equivalence. Hence we may identify St(Σ 1 g) and St(Σ 0 g) via the induced map Ψ : H 2g 2 (C (Σ 1 g); Z) H 2g 2 (C (Σ 0 g); Z) for all g 1. To continue, suppose that g 1 and n = 1. Let Z bs A (Σ 1 g) be the flag complex whose vertices correspond to non-empty proper sub arc systems of the filling arc system ζ in Figure 5 and whose k-simplices correspond to increasing flags of such sub arc systems of length k + 1. The simplicial complex Z is the barycentric subdivision of the boundary of a (2g 1)-simplex and hence topologically a sphere of dimension 2g 2. Again we let i : Z bs A be the inclusion map and set ϕ = Φ i where Φ : bs A C is as in (3). The sequential components of a sub arc system α of the arc system ζ in Figure 5 will be the maximal subsets of α of the form {z j, z j+1,, z k } where 1 j k 2g. Note that α is the disjoint union of its sequential components. If α 1, α 2 α are sequential components of α then we say that α 1 precedes α 2 if for all z j α 1 and all z k α 2 we have j < k. Under this order we will refer to the first, second, last, etc. sequential component of α. The order on the sequential components of a sub arc system α ζ should not be confused with the containment partial order on all arc systems under which the sequential components of α are incomparable. A sequential component will be called odd if it has an odd number of elements and even if it has an even number of elements. A key observation is that if the arc system α ζ has m odd sequential components then it will have m + 1 boundary curves. This first step in the simplification of ϕ : Z C (Σ 1 g) will be a straightforward application of Corollary 15. In order to apply Corollary 15 we would like to choose a particular boundary component for a regular neighborhood of each sub arc system of the arc system in Figure 5. Define the function ϕ 0 1 : Z0 C (Σ 1 g) as follows. Let α Z 0 be a proper sub arc system of ζ. If every sequential component of α is even then there is only one boundary curve. Let ϕ 0 1 (α) be this curve. If α has an odd sequential component then let α α be the first odd sequential component of α. Let j be the minimum number such that a j α. Let N(α ) be a closed regular neighborhood of α in Σ 1 g and let ϕ 0 1 (α) be the boundary component of N(α ) which is to the right when following a j in the clockwise direction (see Figure 6). By Corollary 15 the function ϕ 0 1 extends to a linear interpolation ϕ 1 : Z C (Σ 1 g) which is homotopic to ϕ. z j z j+1 z j+2m 1 z j+2m ϕ 0 1 (α ) Figure 6: An odd sequential component α = {z j, z j+1,, z j+2m }, its closed regular neighborhood N(α ) (the grey region) and one of its boundary curves ϕ 0 1 (α ) (the dotted line). We now further simplify ϕ 1 : Z C (Σ 1 g) to get a map ϕ 2 : Z C (Σ 1 g) whose image in C (Σ 1 g) will involve 15
16 fewer curves. First we will describe the new map ϕ 2 : Z C (Σ 1 g) and then construct an explicit homotopy between ϕ 1 and ϕ 2. For each arc system α Z 0 all of whose sequential components has an even number of arcs let α α the first sequential component. Let c be the unique boundary curve of a closed regular neighborhood N(α) of α and c be the unique boundary component of a closed regular neighborhood N(α ) for α chosen so that N(α ) int N(α). Lastly, modify the boundary curve c in Σ 1 g by pulling it past the marked point to get c (see Figures 7 and 8). z j+1. z j z j+2 z j+2m z j+2m+1 Figure 7: An even sequential component α = {z j, z j+1,, z j+2m+1 }, its regular neighborhood N(α ) (the grey region) and its single boundary curve c (the dotted line). z j+1. z j z j+2 z j+2m z j+2m+1 Figure 8: An even sequential component α = {z j, z j+1,, z j+2m+1 } and its modified boundary curve c (the dotted line). Let ϕ 0 2 : Z0 C (Σ 1 g) be the function { ϕ 0 2 (α) = ϕ1 (α), α has an odd sequential component c, α has no odd sequential components. Lemma 26. If α β are two proper sub arc systems of the arc system ζ in Figure 5 then {ϕ 0 2 (α), ϕ0 2 (β)} is a curve system. Proof. Let α β are two proper sub arc systems of the arc system ζ in Figure 5. Suppose β has an odd sequential component. Choose closed regular neighborhoods N(α) and N(β) of the arc systems α and β respectively such that N(α) int N(β). We may arrange that the curve ϕ 0 2 (α) is contained in N(α) and ϕ 0 2 (β) = ϕ 1(β) is a boundary curve of N(β). Hence they must be disjoint curves. 16
17 Suppose β has no odd sequential components and α has an odd sequential component. Let β β be the first (even) sequential component of β and α be the first odd sequential component of α. Either α β or the arc system α β has two distinct sequential components. If α β then choose closed regular neighborhoods N(α ) and N(β ) such that N(α ) int N(β ). Let c be the modified boundary curve of N(β ) as in Figure 8 chosen so that its intersection with N(α ) is in a sufficiently small neighborhood of the marked point that c is disjoint from the boundary curve ϕ 1 (α ) of N(α ). Then {ϕ 0 2 (α), ϕ0 2 (β)} = {c, ϕ 1 (α )} is a curve system. If α β has two distinct sequential components then we can choose closed regular neighborhoods N(α ) and N(β ) and a closed subset N N(β ) such that N(α ) and N are disjoint, ϕ 0 2 (α) is a boundary curve of N(α ) and ϕ 0 2 (β) is the boundary curve of N. Thus {ϕ 0 2 (α), ϕ0 2 (β)} is a curve system. Suppose neither β nor α has an odd sequential component. Let β β and α α be the first (even) sequential components of β and α respectively. Either α β or the arc system α β has two distinct sequential components. If α β then choose closed regular neighborhoods N(α ) and N(β ) such that N(α ) int N(β ). Let ϕ 0 2 (β) be the modified boundary curve of N(β ) as in Figure 8 chosen so that it intersects with the boundary curve of N(α ) exactly twice and choose ϕ 0 2 (α) to be the boundary curve of N(α ) surgered to follow along the segment ϕ 0 2 (β) N(α ). Then after an arbitrarily small perturbation we may arrange that ϕ 0 2 (α) and ϕ0 2 (β) are disjoint. Hence {ϕ0 2 (α), ϕ0 2 (β)} is a curve system. If α β has two distinct sequential components then we can choose closed regular neighborhoods N(α ) and N(β ) and closed subsets N (α ) N(α ) and N (β ) N(β ) such that N (α ) and N (β ) are disjoint, ϕ 0 2 (α) is the boundary curve of N (α ) and ϕ 0 2 (β) is the boundary curve of N (β ). Thus {ϕ 0 2 (α), ϕ0 2 (β)} is a curve system. Recall that a set of curves forms a curve system if and only if every subset of order two is a curve system. Let σ be a simplex of Z with vertex set σ 0. Then every subset of ϕ 0 2 (σ0 ) of order two is of the form {ϕ 0 2 (α), ϕ0 2 (β)} for some arc systems α, β with α β ζ. By Lemma 26 all such sets of order two are curve systems. It follows that ϕ 0 2 (σ0 ) is a curve system and that ϕ 0 2 is interpolable. Let be its linear interpolation. ϕ 2 : Z C (Σ 1 g) In Lemma 28 below we will construct an explicit homotopy between ϕ 1 : Z C (Σ 1 g) and ϕ 2 : Z C (Σ 1 g). In order to do this we will need Lemma 27 below. Lemma 27. If α β are two proper sub arc systems of the arc system ζ in Figure 5 then {ϕ 2 (α), ϕ 1 (β)} is a curve system. Proof. Suppose α has an odd sequential component. Then ϕ 2 (α) = ϕ 1 (α) and ϕ 1 (β) are both boundary curves for the arc systems α and β and therefore form a curve system. Suppose α has no odd sequential components. Let α α be its first sequential component and choose closed regular neighborhoods N(α ) and N(β) of the arc systems α and β so that N(α ) N(β). If c is the modified boundary curve of N(α ) as in Figure 8 then it is clearly disjoint from all boundary curves of N(β). The curve ϕ 1 (β) is one such boundary curve of N(β). Hence ϕ 2 (α) = c and ϕ 1 (β) are disjoint curves. Now we have the tools to construct an explicit homotopy equivalence between ϕ 1 and ϕ 2. Lemma 28. The maps ϕ 1 : Z C (Σ 1 g) and ϕ 2 : Z C (Σ 1 g) are homotopic. 17
18 Proof. Let σ be a simplex of Z with vertex set σ 0 = {α 0, α 1,, α k } satisfying α 0 α 1 α k. Consider the simplicial complex P = σ I which is a prism triangulated by k + 1 simplices of dimension k + 1 with vertex sets: P 0 = {(α 0, 0), (α 0, 1), (α 1, 1),, (α k, 1)} P 1 = {(α 0, 0), (α 1, 0), (α 1, 1), (α k, 1)}. P k = {(α 0, 0), (α 1, 0),, (α k, 0), (α k, 1)} The 0-skeleton of P is the set σ 0 {0, 1}. Let F 0 σ : σ 0 {0, 1} C (Σ 1 g) be the function F 0 σ(α i, ε) = { ϕ2 (α i ), ε = 0 ϕ 1 (α i ), ε = 1. We wish to show that F 0 σ is interpolable. Each maximal simplex of P = σ I has vertex set P i for some i. Thus we must show that F 0 σ(p i ) is a curve system for each i. Recall that a set of curves is a curve system if and only if each subset of order two is a curve system. Subsets of order two of the set F 0 σ(p i ) are all of the form {F 0 σ(α, 0), F 0 σ(β, 0)}, {F 0 σ(α, 0), F 0 σ(β, 1)}, or {F 0 σ(α, 1), F 0 σ(β, 1)} where α β ζ. The set {F 0 σ(α, 0), F 0 σ(β, 0)} = {ϕ 2 (α), ϕ 2 (β)} is a curve system by Lemma 26. The set {F 0 σ(α, 0), F 0 σ(β, 1)} = {ϕ 2 (α), ϕ 1 (β)} is a curve system by Lemma 27. Finally the set {F 0 σ(α, 1), F 0 σ(β, 1)} = {ϕ 1 (α), ϕ 1 (β)} is a curve system since it contains boundary curves of two closed subsurfaces N(α) and N(β) with N(α) int N(β). Hence F 0 σ is interpolable. Let F σ : σ I C (Σ 1 g) be its linear interpolation. By the gluing lemma these F σ s assemble to a homotopy F : Z I C (Σ 1 g) from ϕ 2 to ϕ 1. We now describe a subcomplex X(Σ 1 g) C (Σ 1 g) which will prove to be the image of the map ϕ 2. For 1 i 2g let z i = ϕ 2 (z i ) (see Figure 9). For each interval J = {j, j + 1,, m} {1, 2,, 2g} let N J z 1 z 2 z 3 z 4 z 2g Figure 9 be a closed regular neighborhood of the set z j z j+1 z m. If J is even then N J has one boundary component. Let x J be that boundary component. If J is odd then N J has two boundary components. In this case let x J be the boundary component of N J in the back half (if j is even) or top half (if j is odd) of the surface. Let X 0 be the set X 0 = {x J J {1, 2,, 2g} is an interval} (9) and define X(Σ 1 g) = span X 0 to be the subcomplex of all simplices of C (Σ 1 g) whose vertices are in X 0. Let X(Σ 0 g) = Ψ(X(Σ 1 g)) be the image of X(Σ 1 g) under the map Ψ : C (Σ 1 g) C (Σ 0 g) from (8) above which forgets the marked point. Lemma 29. Assume g 1 and n {0, 1}. The simplicial complex X(Σ n g) is isomorphic as a simplicial complex to D 2g+1 (see Definition 8). 18
19 Proof. For intervals J 1, J 2 {1, 2,, 2g} the curves x J1 and x J2 are disjoint precisely when the tubes J 1 and J 2 for the graph Λ 2g in Figure 1 are compatible. Let D 0 2g+1 be the 0-skeleton of the dual D 2g+1 of the boundary of the associahedron K 2g+1. The bijection f 0 : X 0 D 0 2g+1 given by f 0 (x J ) = J and its inverse are interpolable maps showing that X(Σ 1 g) and D 2g+1 are isomorphic as simplicial complexes. The map Ψ X(Σ 1 g ) : X(Σ1 g) X(Σ 0 g) is an isomorphism of simplicial complexes. Lemma 30. Assume g 1 and n {0, 1}. The maps ϕ 2 : Z C (Σ 1 g) and Ψ ϕ 2 : Z C (Σ 0 g) are simplicial maps. The images of ϕ 2 and Ψ ϕ 2 are X(Σ 1 g) and X(Σ 0 g) respectively. Furthermore ϕ 2 : Z X(Σ 1 g) and Ψ ϕ 2 : Z X(Σ 0 g) are homotopy equivalences. Proof. The map ϕ 2 : Z C (Σ 1 g) is a simplicial map onto its image by Remark 16 and the observation that for each vertex α of Z we have supp ϕ 2 (α) = 1 The map Ψ a simplicial map so the composition Ψ ϕ 2 is simplicial. The curves in the set X 0 given (9) are precisely the curves in the image of ϕ 2. Thus if α is a vertex of Z then ϕ 2 (α) is a vertex of X(Σ 1 g) and Ψ ϕ 2 (α) is a vertex of X(Σ 0 g). The maps ϕ 2 and Ψ ϕ 2 are simplicial so ϕ 2 (Z) X(Σ 1 g) and Ψ ϕ 2 (Z) X(Σ 0 g). Observe that Z is topologically a (2g 2)-sphere and by Lemma 29 that X(Σ 1 g) is topologically an (2g 2)- sphere. Hence the map ϕ 2 : Z X(Σ 1 g) will be a homotopy equivalence if and only if it is a degree ±1 map. Let J = {1, 2,, 2g 1} then ϕ2 1(x J) = {α} where α = {z 1, z 2,, z 2g 1 }. Thus the degree of ϕ 2 is equal to the degree of the induced map ϕ2 : Lk(α, Z) Lk(x J, X(Σ 1 g)) where Lk(w, W) denotes the link of the vertex w in the complex W. Applying the link argument once more we see that the degree of ϕ2 is equal to the degree of the map ϕ 2 for the surface with genus g 1. For the base case surface Σ 1 1 the map ϕ 2 : Z X(Σ 1 1 ) is a homeomorphism of 0-spheres which has degree ±1. Hence, inductively, for all g 1 the map ϕ 2 : Z X(Σ 1 g) has degree ±1 and is therefore a homotopy equivalence. It follows that ϕ 2 : Z X(Σ 1 g) is surjective. The restriction Ψ X(Σ 1 g ) : X(Σ1 g) X(Σ 0 g) is an isomorphism of simplicial complexes and hence a degree ±1 map. It follows that Ψ ϕ 2 : Z X(Σ 0 g) has degree ±1. It is therefore a surjective simplicial homotopy equivalence. Proposition 31. Let g 1 and n {0, 1}. Let X 0 be the set of essential curves in Σ n g given in (9) and X(Σ n g) C (Σ n g) be the full subcomplex of C (Σ n g) generated by X 0. Then as a simplicial complex X(Σ n g) is isomorphic to the dual D 2g+1 of the boundary of the associahedron K 2g+1 (see Definition 8). Furthermore X(Σ n g) is topologically a sphere of dimension 2g 2 and, choosing an orientation, the class [X(Σ n g)] H 2g 2 (C (Σ n g); Z) is non-trivial and generates H 2g 2 (C (Σ n g); Z) as a Mod(Σ n g)-module. Proof. Lemma 29 shows that X(Σ 1 g), X(Σ 0 g) and D 2g+1 are isomorphic simplicial complexes. The map ϕ : Z C (Σ 1 g) (respectively Ψ ϕ : Z C (Σ 0 g)) above represents a Mod(Σ 1 g)-module (respectively Mod(Σ 0 g)- module) generator for H 2g 2 (C (Σ 1 g); Z) (respectively H 2g 2 (C (Σ 0 g); Z)). As we noted ϕ 2 is homotopic to ϕ and Ψ ϕ 2 is homotopic to Ψ ϕ. Let i X(Σ 1 g ) : X(Σ1 g) C (Σ 1 g) and i X(Σ 0 g ) : X(Σ0 g) C (Σ 0 g) be the inclusion maps. By Lemma 30 the maps ϕ 2 : Z X(Σ 1 g) and Ψ ϕ 2 : Z X(Σ 0 g) have a homotopy inverses h 1 : X(Σ 1 g) Z and h 0 : X(Σ 0 g) Z respectively. Thus i X(Σ 1 g ) and i X(Σ 0 are homotopic to g) ϕ 2 h 1 and Ψ ϕ 2 h 0 respectively which represent the same classes as ϕ in H n 4 (C (Σ 1 g); Z) and Ψ ϕ in H n 4 (C (Σ 0 g); Z) respectively. 19
4. 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 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 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 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 informationLecture notes for Topology MMA100
Lecture notes for Topology MMA100 J A S, S-11 1 Simplicial Complexes 1.1 Affine independence A collection of points v 0, v 1,..., v n in some Euclidean space R N are affinely independent if the (affine
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 informationMATH 215B MIDTERM SOLUTIONS
MATH 215B MIDTERM SOLUTIONS 1. (a) (6 marks) Show that a finitely generated group has only a finite number of subgroups of a given finite index. (Hint: Do it for a free group first.) (b) (6 marks) Show
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 informationSimplicial Objects and Homotopy Groups. J. Wu
Simplicial Objects and Homotopy Groups J. Wu Department of Mathematics, National University of Singapore, Singapore E-mail address: matwuj@nus.edu.sg URL: www.math.nus.edu.sg/~matwujie Partially supported
More informationPlanar Graphs. 1 Graphs and maps. 1.1 Planarity and duality
Planar Graphs In the first half of this book, we consider mostly planar graphs and their geometric representations, mostly in the plane. We start with a survey of basic results on planar graphs. This chapter
More informationTHE DOLD-KAN CORRESPONDENCE
THE DOLD-KAN CORRESPONDENCE 1. Simplicial sets We shall now introduce the notion of a simplicial set, which will be a presheaf on a suitable category. It turns out that simplicial sets provide a (purely
More informationCell-Like Maps (Lecture 5)
Cell-Like Maps (Lecture 5) September 15, 2014 In the last two lectures, we discussed the notion of a simple homotopy equivalences between finite CW complexes. A priori, the question of whether or not a
More informationReferences: Hatcher is our text. Lee1 means Lee s Intro to Topological Manifolds. Lee2 means Lee s Intro to Smooth Manifolds.
Lecture on CW-complexes References: Hatcher is our text. Lee1 means Lee s Intro to Topological Manifolds. Lee2 means Lee s Intro to Smooth Manifolds. 1 Discs and spheres Disks and spheres are the basic
More informationBasics of Combinatorial Topology
Chapter 7 Basics of Combinatorial Topology 7.1 Simplicial and Polyhedral Complexes In order to study and manipulate complex shapes it is convenient to discretize these shapes and to view them as the union
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 information4.2 Simplicial Homology Groups
4.2. SIMPLICIAL HOMOLOGY GROUPS 93 4.2 Simplicial Homology Groups 4.2.1 Simplicial Complexes Let p 0, p 1,... p k be k + 1 points in R n, with k n. We identify points in R n with the vectors that point
More informationSimplicial Complexes: Second Lecture
Simplicial Complexes: Second Lecture 4 Nov, 2010 1 Overview Today we have two main goals: Prove that every continuous map between triangulable spaces can be approximated by a simplicial map. To do this,
More informationPebble Sets in Convex Polygons
2 1 Pebble Sets in Convex Polygons Kevin Iga, Randall Maddox June 15, 2005 Abstract Lukács and András posed the problem of showing the existence of a set of n 2 points in the interior of a convex n-gon
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 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 informationReflection groups 4. Mike Davis. May 19, Sao Paulo
Reflection groups 4 Mike Davis Sao Paulo May 19, 2014 https://people.math.osu.edu/davis.12/slides.html 1 2 Exotic fundamental gps Nonsmoothable aspherical manifolds 3 Let (W, S) be a Coxeter system. S
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 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 informationarxiv: v1 [math.co] 12 Aug 2018
CONVEX UNION REPRESENTABILITY AND CONVEX CODES R. AMZI JEFFS AND ISABELLA NOVIK arxiv:1808.03992v1 [math.co] 12 Aug 2018 Abstract. We introduce and investigate d-convex union representable complexes: the
More informationCombinatorics I (Lecture 36)
Combinatorics I (Lecture 36) February 18, 2015 Our goal in this lecture (and the next) is to carry out the combinatorial steps in the proof of the main theorem of Part III. We begin by recalling some notation
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 informationThe Graphs of Triangulations of Polygons
The Graphs of Triangulations of Polygons Matthew O Meara Research Experience for Undergraduates Summer 006 Basic Considerations Let Γ(n) be the graph with vertices being the labeled planar triangulation
More informationarxiv: v1 [math.gt] 25 Nov 2016
Edge-preserving maps of curve graphs Jesús Hernández Hernández Abstract arxiv:1611.08328v1 [math.gt] 25 Nov 2016 Suppose S 1 and S 2 are orientable surfaces of finite topological type such that S 1 has
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 informationCOMMENSURABILITY FOR CERTAIN RIGHT-ANGLED COXETER GROUPS AND GEOMETRIC AMALGAMS OF FREE GROUPS
COMMENSURABILITY FOR CERTAIN RIGHT-ANGLED COXETER GROUPS AND GEOMETRIC AMALGAMS OF FREE GROUPS PALLAVI DANI, EMILY STARK AND ANNE THOMAS Abstract. We give explicit necessary and sufficient conditions for
More informationThe orientability of small covers and coloring simple polytopes. Nishimura, Yasuzo; Nakayama, Hisashi. Osaka Journal of Mathematics. 42(1) P.243-P.
Title Author(s) The orientability of small covers and coloring simple polytopes Nishimura, Yasuzo; Nakayama, Hisashi Citation Osaka Journal of Mathematics. 42(1) P.243-P.256 Issue Date 2005-03 Text Version
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 informationTHREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions.
THREE LECTURES ON BASIC TOPOLOGY PHILIP FOTH 1. Basic notions. Let X be a set. To make a topological space out of X, one must specify a collection T of subsets of X, which are said to be open subsets of
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 informationLecture 5: Simplicial Complex
Lecture 5: Simplicial Complex 2-Manifolds, Simplex and Simplicial Complex Scribed by: Lei Wang First part of this lecture finishes 2-Manifolds. Rest part of this lecture talks about simplicial complex.
More informationAll tunnels of all tunnel number 1 knots
All tunnels of all tunnel number 1 knots Darryl McCullough University of Oklahoma Geometric Topology Conference Beijing University June 22, 27 1 (joint work with Sangbum Cho, in The tree of knot tunnels,
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 informationCURVE COMPLEXES OF NON-ORIENTABLE SURFACES
CURVE COMPLEXES OF NON-ORIENTABLE SURFACES ALEX PIELOCH Abstract. We explore non-orientable surfaces and their associated curve complexes. Studying the combinatorics modeled by the curve complex of a surface
More informationDiscrete Morse Theory on Simplicial Complexes
Discrete Morse Theory on Simplicial Complexes August 27, 2009 ALEX ZORN ABSTRACT: Following [2] and [3], we introduce a combinatorial analog of topological Morse theory, and show how the introduction of
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 informationarxiv: v1 [cs.cg] 7 Oct 2017
A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations Anna Lubiw 1, Zuzana Masárová 2, and Uli Wagner 2 arxiv:1710.02741v1 [cs.cg] 7 Oct 2017 1 School of Computer Science, University
More informationOn the Number of Tilings of a Square by Rectangles
University of Tennessee, Knoxville Trace: Tennessee Research and Creative Exchange University of Tennessee Honors Thesis Projects University of Tennessee Honors Program 5-2012 On the Number of Tilings
More informationOn the Relationships between Zero Forcing Numbers and Certain Graph Coverings
On the Relationships between Zero Forcing Numbers and Certain Graph Coverings Fatemeh Alinaghipour Taklimi, Shaun Fallat 1,, Karen Meagher 2 Department of Mathematics and Statistics, University of Regina,
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 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 informationGeom/Top: Homework 1 (due Monday, 10/08/12)
Geom/Top: Homework (due Monday, 0/08/2). Read Farb notes. 2. Read Hatcher, Intro to Chapter 2 and Section 2.. 3. (Do not hand this in) Let φ : A B and ψ : B A be group homomorphisms. Suppose that φ ψ =
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 informationINTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES
INTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES RACHEL CARANDANG Abstract. This paper provides an overview of the homology groups of a 2- dimensional complex. It then demonstrates a proof of the Invariance
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 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 informationCOMMENSURABILITY FOR CERTAIN RIGHT-ANGLED COXETER GROUPS AND GEOMETRIC AMALGAMS OF FREE GROUPS
COMMENSURABILITY FOR CERTAIN RIGHT-ANGLED COXETER GROUPS AND GEOMETRIC AMALGAMS OF FREE GROUPS PALLAVI DANI, EMILY STARK AND ANNE THOMAS Abstract. We give explicit necessary and sufficient conditions for
More informationClassifying Spaces and Spectral Sequences
Classifying Spaces and Spectral Sequences Introduction Christian Carrick December 2, 2016 These are a set of expository notes I wrote in preparation for a talk given in the MIT Kan Seminar on December
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 informationPartitions and Packings of Complete Geometric Graphs with Plane Spanning Double Stars and Paths
Partitions and Packings of Complete Geometric Graphs with Plane Spanning Double Stars and Paths Master Thesis Patrick Schnider July 25, 2015 Advisors: Prof. Dr. Emo Welzl, Manuel Wettstein Department of
More informationAdjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge.
1 Graph Basics What is a graph? Graph: a graph G consists of a set of vertices, denoted V (G), a set of edges, denoted E(G), and a relation called incidence so that each edge is incident with either one
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 informationManifolds. Chapter X. 44. Locally Euclidean Spaces
Chapter X Manifolds 44. Locally Euclidean Spaces 44 1. Definition of Locally Euclidean Space Let n be a non-negative integer. A topological space X is called a locally Euclidean space of dimension n if
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 informationBraid groups and Curvature Talk 2: The Pieces
Braid groups and Curvature Talk 2: The Pieces Jon McCammond UC Santa Barbara Regensburg, Germany Sept 2017 Rotations in Regensburg Subsets, Subdisks and Rotations Recall: for each A [n] of size k > 1 with
More informationGenerell Topologi. Richard Williamson. May 6, 2013
Generell Topologi Richard Williamson May 6, 2013 1 8 Thursday 7th February 8.1 Using connectedness to distinguish between topological spaces I Proposition 8.1. Let (, O ) and (Y, O Y ) be topological spaces.
More informationAutomorphism Groups of Cyclic Polytopes
8 Automorphism Groups of Cyclic Polytopes (Volker Kaibel and Arnold Waßmer ) It is probably well-known to most polytope theorists that the combinatorial automorphism group of a cyclic d-polytope with n
More informationMonotone Paths in Geometric Triangulations
Monotone Paths in Geometric Triangulations Adrian Dumitrescu Ritankar Mandal Csaba D. Tóth November 19, 2017 Abstract (I) We prove that the (maximum) number of monotone paths in a geometric triangulation
More informationLecture 18: Groupoids and spaces
Lecture 18: Groupoids and spaces The simplest algebraic invariant of a topological space T is the set π 0 T of path components. The next simplest invariant, which encodes more of the topology, is the fundamental
More informationCLASSIFICATION OF SURFACES
CLASSIFICATION OF SURFACES JUSTIN HUANG Abstract. We will classify compact, connected surfaces into three classes: the sphere, the connected sum of tori, and the connected sum of projective planes. Contents
More informationCategories, posets, Alexandrov spaces, simplicial complexes, with emphasis on finite spaces. J.P. May
Categories, posets, Alexandrov spaces, simplicial complexes, with emphasis on finite spaces J.P. May November 10, 2008 K(,1) Groups i Cats π 1 N Spaces S Simp. Sets Sd Reg. Simp. Sets Sd 2 τ Sd 1 i Simp.
More informationRigidity, connectivity and graph decompositions
First Prev Next Last Rigidity, connectivity and graph decompositions Brigitte Servatius Herman Servatius Worcester Polytechnic Institute Page 1 of 100 First Prev Next Last Page 2 of 100 We say that a framework
More informationMathematical Research Letters 4, (1997) ORDER TREES AND LAMINATIONS OF THE PLANE. David Gabai and William H. Kazez
Mathematical Research Letters 4, 603 616 (1997) ORDER TREES AND LAMINATIONS OF THE PLANE David Gabai and William H. Kazez 1 Preliminary definitions A lamination λ of R 2 is a disjoint union of 1-manifolds,
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 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 informationThe Geodesic Integral on Medial Graphs
The Geodesic Integral on Medial Graphs Kolya Malkin August 013 We define the geodesic integral defined on paths in the duals of medial graphs on surfaces and use it to study lens elimination and connection
More informationGraphs associated to CAT(0) cube complexes
Graphs associated to CAT(0) cube complexes Mark Hagen McGill University Cornell Topology Seminar, 15 November 2011 Outline Background on CAT(0) cube complexes The contact graph: a combinatorial invariant
More informationHomological and Combinatorial Proofs of the Brouwer Fixed-Point Theorem
Homological and Combinatorial Proofs of the Brouwer Fixed-Point Theorem Everett Cheng June 6, 2016 Three major, fundamental, and related theorems regarding the topology of Euclidean space are the Borsuk-Ulam
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 informationThe Charney-Davis conjecture for certain subdivisions of spheres
The Charney-Davis conjecture for certain subdivisions of spheres Andrew Frohmader September, 008 Abstract Notions of sesquiconstructible complexes and odd iterated stellar subdivisions are introduced,
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 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 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 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 informationMath 443/543 Graph Theory Notes 11: Graph minors and Kuratowski s Theorem
Math 443/543 Graph Theory Notes 11: Graph minors and Kuratowski s Theorem David Glickenstein November 26, 2008 1 Graph minors Let s revisit some de nitions. Let G = (V; E) be a graph. De nition 1 Removing
More informationFace Width and Graph Embeddings of face-width 2 and 3
Face Width and Graph Embeddings of face-width 2 and 3 Instructor: Robin Thomas Scribe: Amanda Pascoe 3/12/07 and 3/14/07 1 Representativity Recall the following: Definition 2. Let Σ be a surface, G a graph,
More informationElementary Combinatorial Topology
Elementary Combinatorial Topology Frédéric Meunier Université Paris Est, CERMICS, Ecole des Ponts Paristech, 6-8 avenue Blaise Pascal, 77455 Marne-la-Vallée Cedex E-mail address: frederic.meunier@cermics.enpc.fr
More informationarxiv: v1 [math.gt] 24 May 2012
A CLASSIFICATION OF SPANNING SURFACES FOR ALTERNATING LINKS COLIN ADAMS AND THOMAS KINDRED arxiv:1205.5520v1 [math.gt] 24 May 2012 Abstract. A classification of spanning surfaces for alternating links
More informationPERSISTENT HOMOLOGY OF FINITE TOPOLOGICAL SPACES
PERSISTENT HOMOLOGY OF FINITE TOPOLOGICAL SPACES HANEY MAXWELL Abstract. We introduce homology and finite topological spaces. From the basis of that introduction, persistent homology is applied to finite
More informationGEOMETRY OF THE HOMOLOGY CURVE COMPLEX
GEOMETRY OF THE HOMOLOGY CURVE COMPLEX INGRID IRMER Abstract. Suppose S is a closed, oriented surface of genus at least two. This paper investigates the geometry of the homology multicurve complex, HC(S,
More informationPart 3. Topological Manifolds
Part 3 Topological Manifolds This part is devoted to study of the most important topological spaces, the spaces which provide a scene for most of geometric branches in mathematics such as Differential
More informationarxiv: v4 [math.gr] 16 Apr 2015
On Jones subgroup of R. Thompson group F arxiv:1501.0074v4 [math.gr] 16 Apr 015 Gili Golan, Mark Sapir April 17, 015 Abstract Recently Vaughan Jones showed that the R. Thompson group F encodes in a natural
More informationGenus Ranges of 4-Regular Rigid Vertex Graphs
Genus Ranges of 4-Regular Rigid Vertex Graphs Dorothy Buck Department of Mathematics Imperial College London London, England, UK d.buck@imperial.ac.uk Nataša Jonoska Egor Dolzhenko Molecular and Computational
More informationGENERATING THE TORELLI GROUP
GENERATING THE TORELLI GROUP ALLEN HATCHER AND DAN MARGALIT Abstract. We give a new proof of the theorem of Birman Powell that the Torelli subgroup of the mapping class group of a closed orientable surface
More informationarxiv: v2 [math.co] 23 Jan 2018
CONNECTIVITY OF CUBICAL POLYTOPES HOA THI BUI, GUILLERMO PINEDA-VILLAVICENCIO, AND JULIEN UGON arxiv:1801.06747v2 [math.co] 23 Jan 2018 Abstract. A cubical polytope is a polytope with all its facets being
More information2 A topological interlude
2 A topological interlude 2.1 Topological spaces Recall that a topological space is a set X with a topology: a collection T of subsets of X, known as open sets, such that and X are open, and finite intersections
More informationCONNECTED SPACES AND HOW TO USE THEM
CONNECTED SPACES AND HOW TO USE THEM 1. How to prove X is connected Checking that a space X is NOT connected is typically easy: you just have to find two disjoint, non-empty subsets A and B in X, such
More informationarxiv: v1 [math.gt] 28 Feb 2009
Coverings and Minimal Triangulations of 3 Manifolds William Jaco, Hyam Rubinstein and Stephan Tillmann arxiv:0903.0112v1 [math.gt] 28 Feb 2009 Abstract This paper uses results on the classification of
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 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 informationLecture 5 CLASSIFICATION OF SURFACES
Lecture 5 CLASSIFICATION OF SURFACES In this lecture, we present the topological classification of surfaces. This will be done by a combinatorial argument imitating Morse theory and will make use of the
More informationOn the Heegaard splittings of amalgamated 3 manifolds
On the Heegaard splittings of amalgamated 3 manifolds TAO LI We give a combinatorial proof of a theorem first proved by Souto which says the following. Let M 1 and M 2 be simple 3 manifolds with connected
More informationHomework Set #2 Math 440 Topology Topology by J. Munkres
Homework Set #2 Math 440 Topology Topology by J. Munkres Clayton J. Lungstrum October 26, 2012 Exercise 1. Prove that a topological space X is Hausdorff if and only if the diagonal = {(x, x) : x X} is
More informationCLASSIFICATION OF ORDERABLE AND DEFORMABLE COMPACT COXETER POLYHEDRA IN HYPERBOLIC SPACE
CLASSIFICATION OF ORDERABLE AND DEFORMABLE COMPACT COXETER POLYHEDRA IN HYPERBOLIC SPACE DHRUBAJIT CHOUDHURY, SUHYOUNG CHOI, AND GYE-SEON LEE Abstract. The aim of this work is to investigate properties
More informationMath 443/543 Graph Theory Notes 5: Planar graphs and coloring
Math 443/543 Graph Theory Notes 5: Planar graphs and coloring David Glickenstein October 10, 2014 1 Planar graphs The Three Houses and Three Utilities Problem: Given three houses and three utilities, can
More informationRecognizing Interval Bigraphs by Forbidden Patterns
Recognizing Interval Bigraphs by Forbidden Patterns Arash Rafiey Simon Fraser University, Vancouver, Canada, and Indiana State University, IN, USA arashr@sfu.ca, arash.rafiey@indstate.edu Abstract Let
More information