{"http:\/\/dx.doi.org\/10.14288\/1.0080474":{"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool":[{"value":"Science, Faculty of","type":"literal","lang":"en"},{"value":"Mathematics, Department of","type":"literal","lang":"en"}],"http:\/\/www.europeana.eu\/schemas\/edm\/dataProvider":[{"value":"DSpace","type":"literal","lang":"en"}],"https:\/\/open.library.ubc.ca\/terms#degreeCampus":[{"value":"UBCV","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/creator":[{"value":"Rose, Simon","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/issued":[{"value":"2011-03-10T19:44:52Z","type":"literal","lang":"en"},{"value":"2007","type":"literal","lang":"en"}],"http:\/\/vivoweb.org\/ontology\/core#relatedDegree":[{"value":"Master of Science - MSc","type":"literal","lang":"en"}],"https:\/\/open.library.ubc.ca\/terms#degreeGrantor":[{"value":"University of British Columbia","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/description":[{"value":"In this thesis we investigate a new and highly geometric approach to studying finite\r\nsubset spaces of the circle. By considering the circle as the boundary of the hyperbolic\r\nplane, we are able to use the full force of hyperbolic geometry\u2014in particular, its well-understood\r\ngroup of isometries\u2014to determine explicitely the structure of the first few\r\nconfiguration spaces of the circle S\u00b9. Once these are understood we then move onto\r\nstudying their union\u2014that is, exp\u2083(S\u00b9,)\u2014and in particular, we re-prove both an old\r\ntheorem of Bott and a newer (unpublished) result of E . \u0429\u0435\u043f\u0438\u043d (E. Shchepin) about\r\nthis space.","type":"literal","lang":"en"}],"http:\/\/www.europeana.eu\/schemas\/edm\/aggregatedCHO":[{"value":"https:\/\/circle.library.ubc.ca\/rest\/handle\/2429\/32327?expand=metadata","type":"literal","lang":"en"}],"http:\/\/www.w3.org\/2009\/08\/skos-reference\/skos.html#note":[{"value":"Finite subset spaces of the circle A hyperbolic approach by Simon Rose B.Sc , The University of Alberta, 2005. A THESIS S U B M I T T E D IN P A R T I A L F U L F I L M E N T OF T H E R E Q U I R E M E N T S FOR T H E D E G R E E OF Master of Science in The Faculty of Graduate Studies (Mathematics) The University Of British Columbia April , 2007 \u00a9 Simon Rose 2007 11 Abstract In this thesis we investigate a new and highly geometric approach to studying finite subset spaces of the circle. By considering the circle as the boundary of the hyperbolic plane, we are able to use the full force of hyperbolic geometry\u2014in particular, its well-understood group of isometries\u2014to determine explicitely the structure of the first few configuration spaces of the circle S1. Once these are understood we then move onto studying their union\u2014that is, exp3(51,)\u2014and in particular, we re-prove both an old theorem of Bott and a newer (unpublished) result of E . UJenHH (E. Shchepin) about this space. ' Ill Contents Abstract i i Contents i i i List of Figures v Acknowledgements v i 1 Introduction and Preliminaries 1 1.1 Introduction 1 1.2 Preliminaries 5 1.2.1 A rapid introduction to P 5 L 2 ( R ) . 5 1.2.2 Seifert-Fibred spaces 9 2 The analysis of exp 3 (5 1 ) 15 2.1 The topology and geometry of C^S1) 15 2.1.1 Coordinate-based description of topology 18 2.1.2 Coordinate-independent descriptions of topology 22 \u20222.1.3 Topology of the union e x p ^ S 1 ) 25 2.2 exp 3 (5 1 ) and the inclusion exp^S1) <^-> exp 3 (S' 1 ) 28 3 Further Research 35 i v Bibliography 39 V List of Figures 1.1 Exceptional fibres of the S1 action 13 1.2 The inclusions of C^S1) C 6 ( 5 X ) 14 2.1 arg(x + iy) : . . . \u2022 19 2.2 The homeomorphism between C2(5 1 ) and M. 20 2.3 The action of 7 on the S1 coordinate of PSL2(R) 21 2.4 Geomety of C2(S1) 2 4 2.5 Choice of Fundamental Domain 27 2.6 A neighbourhood of {p, q} . . . 29 2.7 The covering used for the Seifert-Van Kampen theorem 30 2.8 The generator b of ni(A f l B) 31 2.9 The homotopy. class of i*(b) . 31 2.10 The homotopy class of 32 2.11 Covering of B' 33 3.1 Isomorphisms due to exact sequences 38 vi Acknowledgements I would like to thank pretty much al l of the people that I have worked wi th through-out both my undergraduate and fledgeling graduate careers, and in particular my supervisor, Dr . Denis Sjerve, who has provided me wi th many ideas and insights, and corrected my typos. Beyond that, I would like to thank al l of the instructors for the courses I have taken both here and at the University of Alber ta , since without their tutelage I would not have been able to understand any of the text contained herein. I would also like to thank Dr . Volker Runde, who helped encourage me into higher studies, and without whom I never would have appreciated the true nature of that elusive e. I would also like to dedicate this work to my parents, who have been unfailingly supportive of me throughout my education. 1 Chapter 1 Introduction and Preliminaries 1.1 Introduction Since the mid 1900s, the study of finite subsets of topological spaces has cropped up in one guise or another\u2014initially by Borsuk [1], later corrected by Bot t [2] and more recently by the likes of Handel [3], Tuffley [11] and Mostovoy [9]. A few different definitions have been given in the literature (which are al l easily seen to be equivalent), but the one that we wi l l use for this thesis is the following. Definition 1.1.1 Let X be a topological space, and let exp f c (X) denote the set of all non-empty subsets of X of cardinality at most k. That is expk(X) := {S C X | 0 < | 5 | < k] There is a natural surjective map 7r : Xk -\u00bb expk(X) which takes (xi,...,xk) i\u2014> {x\\,... ,Xk}; we thus endow expk(X) wi th the quotient topology induced by this map. It is of course clear that under this topology, e x p x ( X ) = X. There are a number of results that can be proven about this space and its relation to X. First of all , the map X i\u2014> expk(X) is a homotopy functor from U, the category of topological spaces and continuous maps, to itself. More precisely, we have the following theorem. 2 Theorem 1.1.2 Let X,Y be topological spaces, let f,g : X \u2014> Y. If F : X x \/ \u2014>\u2022 Y is a homotopy from f to g, then the map F : expk(X) x Iexpk(Y) ({xu ... ,xk},t) t-+{F(xut),... ,F(xk,t)} is a homotopy from exp fc(\/) to expfe(g). From which it immediately follows that Coro l l a ry 1.1.3 The homotopy type o\/exp f c(X) depends only on that of X. There are also natural inclusions expk(X) <\u2014> expm(X) for k < m, taking the subset {x\\,..., Xk} i\u2014* {xi,..., Xk}\\ thus we have X ex P l (X) ^ exp 2(X) exp f c(X) ^ \u2022 \u2022 \u2022 with each expA.(X) embedded as a closed subset of exp m (X). The proofs of these results (as well as many other topological and homotopy-theoretic results) are in [3], which provides a good introduction to many of the basic properties of exp f c(X) (which he denotes as Sub(X, k)). It should also be noted that much of this is in marked contrast to the notion of a configuration space, which is not functorial (unless we suitably restrict our category); nor are there nice embeddings as above. The most famous result in the study of these spaces, however, comes from Bott's correction to Borsuk's initial paper. That is: Theorem 1.1.4 The space exp3(S'1) is homeomorphic to S3, the three-sphere. This has been proven so far in a number of different ways\u2014Bott uses an elaborate \"cut-and-paste\" style argument (in effect showing that it the union of tori together with a calculation of its fundamental group to show that it is a simply connected lens 3 space), Tuffley finds a decomposition of it as a A-complex (in the sense of [5]) and shows that it is a simply connected Seifert-fibered space, while Mostovoy ties it in with a result of Quillen about lattices in the plane. There are of course many other results about similar such spaces, primarily in [11] and [7], most notably the following result. Theorem 1.1.5 The homotopy type o\/exp f c(5 1) is that of an odd dimensional sphere; specifically, e x p ^ - e x p ^ S 1 ) - ^ - 1 This is proven in [7] using the notion of truncated product spaces\u2014these can be considered to be, in a certain sense, the free Zy^ set on points in our space. More specifically, these are given by TPn(X) := SPn(X)\/^ where SPn(X) is the n-th symmetric product of X defined to be the collection of unordered n-tuples in X\u2014that is, SPn(X) = {xi + \u2022 \u2022 \u2022 + xn\\xi G X}\u2014and we say that xi H h Xk-2 + 2x ~ Xi -\\ xk-2 (where we use the convention of writing an unordered collection of points as a sum), topologized accordingly. The reason that this is useful is that TPn(Sl) = K P n (see [8]) and so if we then note the homeomorphism ^ W \/ e x p ^ P O = TP^X)\/TPk_2(X) this then becomes We are then able to use the long exact sequence of homology groups to show that exp \/ c(5 1) is a homology sphere\u2014since it is simply connected it is then, homotopic to a sphere (by a standard argument). 4 Moreover, the fact that the exp functor is a homotopy functor has also been used in [12] and [13] to begin the determination of the homotopy type of exp \/ c(S) for E a closed surface. The idea is that if you consider a punctured surface, then this is homotopic to a wedge of copies of S1\u2014and from the understanding of exp fc(S'1) Tuffley is then able to prove results about expfc(r>), where Te is a graph consisting of wedges of \u00a3 circles. From this, he'uses a Mayer-Vietoris argument, covering a surface with k + 1 copies of Xi = E \\ {pi} (for distinct points pi), to determine information about the homology of the space exp f c(E) (this works since Xi = E \\ {pi,... , p\/c+i}, and so these cover exp f c(E)). In this thesis we intend to provide yet another proof Theorem 1.1.4, beginning with certain properties of PS , L 2 (M) . This method will generalize and provide methods of calculation not only of the homotopy type of higher dimensional analogues, but possibly even their homeomorphism type. The main difference in this approach as compared to previous ones lies in its inherent geometric nature. This heavy emphasis on the underlying geometry of the circle (or later, of higher dimensional spheres) and its connection to hyperbolic space affords us a much more specific understanding of the topology of the resulting space. In contrast, previous methods (for higher dimensional analogue's) were restricted to knowledge of the homology and homotopy groups of these spaces which permitted a knowledge of the homotopy type of these spaces and no more. No ta t ion For the duration of this thesis (unless otherwise noted) we will consider S1 to be both the quotiont of [0, n] in the usual manner, as well as the quotient ^\" X \/ lR > o ' d e P e n d m g on context. The two views are simply matters of convenience due to our working with PSL2(R), depending on our choice of how we describe the homeomorphism type of PSL2(M.), as will be seen later. We will denote the upper half-plane, R x M > 0 by H , considered as the subset of 5 complex numbers whose imaginary parts are strictly positive. We wi l l also use the notation Ck(X) :={SCX \\ \\S\\ = k} to denote the k-th unordered configuration space of X. It is of course clear that Not so clear, however, is just how this union behaves topologically. If we consider {xi,..., xk} \u00a3 Ck{X) and let Xi \u2014> Xj, then we wi l l end up wi th a point in Ck-i(X). To properly understand the topology of expk(X) in this context, we then need to study exactly how this gluing takes place\u2014which wi l l be the subject of most of this thesis. 1.2 Preliminaries 1.2.1 A rapid introduction to PSL2{R) We begin wi th the most basic definition of PSL2(R), the one most people wi l l have learned of in a basic linear algebra setting. Definition 1.2.1 Let SL2(R) denote the set of 2x2 real matrices of determinant 1. Then we define Note that this is equivalant to choosing al l matrices of positive determinant, and dividing by al l scalar multiples of the identity; that is, k expfc(X) = UCi (X) (1.1) PSL2(R) := SL2(R)\/\u00b1I PSL2{R) : a, b, c, d, G K, ad \u2014 bc > 0 > j 6 where \\c d) \\c dj for all A e R*. This characterization tends to be more useful, as it no longer forces us to ensure that our matrices have determinant 1 (which makes for neater formulae, if nothing else). There is yet another way of considering P S T ^ R ) which is, at its heart, the most useful of the views for our purposes (and follows fairly neatly from the previous comments)\u2014that is, as fractional linear transformations of P 1 and in particular as the group of orientation-preserving isometries of H , the upper half-plane. Purely as sets this is because we have Xaz + Xb A \/az + b\\ _ az + b Xcz + Xd X\\cz + dj cz + d and so we have a clear bijection between the elements of PSX 2(]R) and the fractional linear transformations with real coefficients. However, this correspondance is yet stronger; a quick calculation shows that faz + b\\ f az + 0\\ _ {aa + by)z + (a\/3 + b5) \\cz + d) \u00b0 V 7 2 + S J ~ (ca + di)z + (c\/3 + dS) and so our bijection is in fact a group isomorphism. This of course means that we can consider P S X 2 ( M ) as a subgroup of the full group of isometries of P 1 . However, what we find useful is the fact that since we insist on using real coefficients, it follows that P5 'L 2 (R) also acts on Sl = K U 00, the boundary o f i c P 1 . Even stronger, we have the following: L e m m a 1.2.2 P5X 2(]R) a c ^ 5 doubly transitively on Sl = K U 00. Moreover given three points p,q,r in S1 then there exists an element 7 6 P 5 L 2 ( R ) such that they map under 7 (preserving their cyclic ordering) to {0,1, 00}, or any cyclic permutation . thereof. 7 Proof Without loss of generality, we assume that our two distinct points (p, q) are in R . Consider the element ' 7 ( P , 9 ) U ) - \u00b1 7 \u2014 ^ q where the sign is chosen such that \u00b1 ( p \u2014 q) > 0. This maps p to 0 and q to oo. A s p, q were arbitrary, it follows that 7(~\\) \u00b07(p,g) takes the pair (p, q) to (a, b) as claimed. For the second part, note that the fractional linear transformation eW_(\u00a3zi)\u00a3z\u00a3 ( 1. 2 ) \\q \u2014 pjz \u2014 r takes the triplet (p, q, r) \\\u2014> (0,1, oo), and that post-composing this wi th z-1 1 = z cyclically permutes (0,1, oo) as claimed. Q.E.D. A s it turns out, this last fact wi l l be the key argument in our proof of Theorem 1.1.4. First we need to know a bit more about the topology of PSL2(M). Lemma 1.2.3 ,4s a topological space, PSL2(R) = H x S1. We wi l l provide two proofs of this lemma which wi l l both be used later as we examine two parallel proofs of the main theorem. Proof For any = ( \u00b0 ^ ) G PSL2(R), we can decompose it as the composition of a rotation about i (a fractional linear transformation of the form j|fij_) and a translation (one of the form az + (3). That is, ad\u2014be ac+bd c2+d2 c2+d2 | | | 'T 3) This yeilds us an explicit map 0 : PSL2(R) - ^ 1 x 5 ' given by a p\\ ( cos 9 s i n # \\ 0 1J \\--sm9 cos9J Similarly, we have the map HI x Sl \u2014> PSL2(R) by cos 9 sin 9 (x + iy,9) sin 9 cos 9 and these maps can be checked to be inverses of each other; They are clearly both continuous, and so the conclusion follows. Q.E.D. Second proof Given T G PSL2(R), we note that as T maps EI to itself that T(i) G EL az+b cz+d Also, note that if T(z) = 2*\u00b1J then dT . . ad \u2014 be 3rW = dz w (ci + d ) 2 which up to scaling is an element of 5 1 ; to see this, note that we have the liberty to choose c, d above such that ci + d is in the upper half-plane together wi th the (strictly) positive real axis, and so squaring it we see that we can indeed get any element in S1. Combining al l of the above, we define the map ^ : PSL2(M) \u2014> EI x S1 r ~ ( r W , f ( < ) which' is then easily seen to be a homeomorphism. Q.E.D. 9 1.2.2 Seifert-Fibred spaces For the purposes of this thesis, the simplest definition that we need of a Seifert-Fibred space is that of a space with a nice ^-act ion on it. Equivalently, we can consider it as a space that can be foliated by circles. More precisely, we can define a Seifert-fibred space in the following manner (We mostly follow [6]). A model Seifert fibring of the solid torus S1 x D2 is a decomposition of S1 x D2 into disjoint copies of S1 (called fibres) in the following way. If we consider S1 x D2 as a quotient of [0,7r] x D2, then instead of the usual identification of {0} x D2 and {IT} X D2 we identify them with a twist of 2np\/q (that is, we instead identify (0,a;) ~ (-7T, e2mp\/qx)). We then retain an S1 action in the obvious way (simply moving a point along its respective fibre), but due to the twist we end up with an extra detail\u2014if we take a point in S1 x D2 (other than one in the central fibre) and move it along the fibre than it returns to its starting point after q times the number of passes it would take a point in the central fibre to return to its starting point. With that in mind, we come to the following central definition. Def ini t ion 1.2.4 A Seifert-Manifold is a triple (M,F,ir) where M is a 3-manifold, F is a 2-dimensional surface (oriented or not, closed or not) and 7r : M \u2014> F is a map such that: (i) For each x G F, the preimage of x under n is homeomorphic to Sl. (ii) For each x G F there is a D2 neighbourhood of x such that ir~l(D2) is fibre-preserving diffeomorphic to a model Seifert fibring as described above. That is, M is an \"almost\" locally trivial S1 bundle\u2014if we stay away from certain exceptional fibres, then the resulting space is a locally trivial (in fact, trivial) S1 bundle. 10 Remark Note that there is a more general notion of a Seifert-Manifold in which F is allowed to have a boundary\u2014this corresponds to allowing a more general sort of model Seifert-fibring in which reflections as well as rotaions are allowed in the gluing process. W i t h the above definition an S1 action becomes immediately apparent; simply move a point along its fibre. Moreover, we can consider the space. F to be a quotient of M determined by collapsing each fibre to a point. Conversely, if we are given a sufficiently nice S1 action on a space M, then we obtain a map M \u2014\u2022 M\/gi which is a Seifert fibreing; M is clearly foliated by circles as well, the circles being the orbits of S1. Thus we can be justified in saying that Seifert Manifolds are in 1-1 correspondence wi th S1 actions on 3-manifolds. Now, there is no a priori reason why this definition should permit us to accurately classify 3-manifolds\u2014however, it turns out that the imposed structure is sufficient to provide quite a thorough classification of a great many manifolds, as follows. The first thing to do is to identify the types of fibres that occur in our manifold. If we consider the model Seifert fibring containing x on its central fibre, we have two cases. The first is that this tubular neighbourhood was obtained wi th a 2-xp\/q twist (with q ^ \u00b1 1 ) , and the second was that it wasn't. In the former case we call it an exceptional fibre, and in the latter, a regular fibre. Under the assumption that F be compact (if and only if M is also compact), it can be shown that there are only finitely many exceptional fibres in a space. Now, if we remove al l of these tubular neighbourhoods then we obtain a t r iv ia l S1 bundle over F; \\ ( D i U \u2022 \u2022 \u2022 U Dk)\u2014this is since principal S1 bundles over a space X 11 are in one-to-one correspondence with the elements of [X, BS1 ' ^ [x, CP\u00b0\u00b0; [X, K(Z, 2)] H2 (X,Z) which in our case can be easily seen to be zero. Thus to construct our manifold M , we consider the following information. Let g be the genus of our surface F, and let \u2022 \u2022 \u2022 -.Vkllk) be a collection of integers with gcd(p;, qf) = 1. The idea then is to glue in solid tori Tj along each boundary according to the homology relation where Hi is the meridian of T; and Ai and Bi are the respective generating homology classes of the i-th boundary component of F \\ (D\\ U \u2022 \u2022 \u2022 U Dk) x Sl. We then call (g;pi\/qi, \u2022 \u2022 \u2022 ,Pk\/Qk) the Seifert invariants of M. Conversely, given a collection of Seifert invariants (g;pi\/qi, \u2022 \u2022 \u2022 ,Pk\/qk), we denote by M(g;pi\/q1,... ,Pk\/qk) the Seifert manifold constructed from these invariants as described above. With this in mind, we have the following classification theorem for Seifert manifolds (cf [6]). Theorem 1.2.5 Let (M,F,n) be a Seifert manifold with F closed and orientable. Then 1. M is fibre-preserving diffeomorphic to some M(g;pi\/qi,... ,Pk\/qk) for some 9,Pi,Qi-2. M(g;pi\/q1,... ,pk\/qk) and M(g';pf1\/q[,... are fibre-preserving diffeomor-phic if and only if Hi ~ piAi + qiBi (1.4) (a) 9^9' 12 (b) Ignoring any of the Pi\/qi andp\\jq\\ which are integers (and not equal to cx), the remaining Pi\/qi (mod 1) are a permutation of the remaining p'j'q[ (mod 1). \u2022 k I \u2022 (c) ^ ^Pi\/qi \u2014 ^^p'i\/q'i, where we use the convention that I\/O = \u20141\/0 = oo i=l i=l and a + oo = co for any a G l U {oo}-Note that this is not a complete classification; there is still the case where F is either not closed or not orientable to deal with. There are also a number of manifolds (see [4], [6], and the remark below) which have multiple non-isomorphic fibrations. However, for the purposes of this thesis this case is sufficient. In particular though, we have the following. Theorem 1.2.6 The 3-sphere S3 is a Seifert-fibred manifold with Seifert invariants (0; 1\/2,-1\/3). Remark This is not the only fibreing of S3\u2014in fact, any p, q relatively prime will provide a fibreing with invariants (0; 1\/p, \u00b1l\/ C 3([0, TT\/2] \/Q ^ n ^ which is easily seen to be a homeomorphism. Figure 1.2: The inclusions of C^S1) ^ C6(S^) For the copy of C 2 (S' 1 ) , we instead consider T 2 to be the subset of points that make up the vertices of equilateral triangles. Yet again there is a clear map T 2 \u2014> C 2([0,7r\/3]\/g ^ which is a homeomorphism. Having seen these two cases, it is easy to see how to generalize this idea for arbitrary inclusions Cd(Sl) C^S\" 1) whenever d divides k. Note also that this means that we can learn quite a bit about these spaces by studying CP(S1) for p . prime. 15 Chapter 2 The analysis of e x p 3(5 1 ) 2.1 The topology and geometry of C^S1) The main structure of the proof of Theorem 1.1.4 is as follows. For any three points of S1 = E U o o there is an element of PSL2(M) (by lemma 1.2.2) which takes the points to {0,1, oo}, preserving cyclic ordering. This element is not unique; post-composing it wi th any element which cyclically permutes (0,1, oo) yields another possible choice. If we let T be the subgroup of P S L 2 ( R ) generated by al l elements cyclically permuting (0, l , o o ) , then this subgroup acts on P S X ^ R ) by left multiplication; if we quotient out by this action (choosing, in effect, the space of left cosets of T in P S X 2 ( R ) ) then we obtain the following result: Lemma 2.1.1 The subgroup o \/ P S , I \/ 2 ( M ) which cyclically permutes (0, l ,oo) is sim-ply the cyclic group T = generated by 7 = thus C 3 ( 5 1 ) ^ P 5 L 2 ( R ) \/ r B y similar reasoning we have that for any two points of Sl there is an element of P S X 2 ( R ) taking those points to (0, 00); if we then let E be the subgroup of P S X 2 ( R ) which fixes the set {0, 00} we similarly have the following: Lemma 2.1.2 The subgroup o \/ P S X 2 ( R ) which setwise fixes {0, 00} is generated by the elements r = \u2014 \\ and o\\ = Xz (for X G R>o \/). In matrix form these are the 16 elements of the form (? V ) and ( o ? ) > and they generate the subgroup and so we have C^S1) ^PSL2(R)\/E A n d of course, Ci(Sl) is simply the circle Sl. This tells us less than half of the story, however. We also need to understand how these quotients behave topologically, as well as determine how these three pieces glue together to form exp 3 (5' 1 ) (cf. eq (1.1)). We first need a quick lemma, however. Lemma 2.1.3 If a E PSL2(M) fixes three points, then a(z) \u2014;z for all z. Proof This follows since if we have , N az + b a(z) = : = z w cz + d then this is equivalent to cz2 + (d- a)z - b = 0 which of course has only two (or less) solutions unless c = b = 0,a = d. Q.E.D. Proof of lemmas 2.1.1,2.1.2 Let a ^ 1 be any element permuting the set {0, l , oo} (and of course preserving the cyclic ordering); note that as a3 has to fix this set, it must be the identity by the previous lemma (if a2 were the identity, then it would reverse orientations). Choose an appropriate power fc of a; such that (0,1, oo) maps under ak to (1, oo, 0)\u2014thus ak o 7 fixes (0,1, 00 ) and so by the lemma above, it must 17 be the identity. That is, either a = 7 _ 1 or a2 = 7 - 1 = 72. It then follows that r = (7) = z\/3. For the case of {0, 00}, it is clear that any element permuting these two points either fixes or swaps them. If it fixes them, then it has to be of the form Xz; otherwise it has to be of the form \u2014 j (in both cases, A > 0), which proves the lemmas. Q.E.D. Before we move onto a topological description of these quotients, a. quick word about orientation should be mentioned. It may appear in the above like we are only quotienting out cyclic permutations of {0,1, 00}, and so we shouldn't get the full configuration space, which is in fact ((S1)3 \u2014 A ) w h e r e A is the fat diagonal. This is, however, not the case. There are two ways to see this. The first is that there is an implicit ordering of points around a circle, and that we simply choose those isometries which preserve that ordering. The second view is somewhat more explicit, however. In principle we should begin wi th the collection of all isometries of H\u2014 that is, the group G generated by PSL2{M.) and\u2022 f(z) = 1\/z\u2014and quotient out as before the subgroup of isometries which permute the set {0 ,1 , 00}. This subgroup can be shown to be isomorphic to S 3 = (a, b I a 3 = b2 = baba = 1), the permutations on three letters. Now, this group G is topologically the disjoint u n i o n o f two copies of P S 1 ! ^ (M)-one copy representing those elements which reverse orientation (ie those involving z), and the other those that preserve it. Thus when we quotient out by the action of b = 1\/z, it simply identifies the two copies of PSL2(R), and we are left wi th quotienting out the resultant by a = 7 (as above). Thus our ini t ia l choice of PSL2(R), despite its restriction to orientation preserving isometries, is in fact the correct one. 18 We will now begin with a topological description of these configuration spaces. However, we will present two different methods of looking at them, one involving the natural coordinates obtained from PSL2(R) and the second more coordinate independent, involving the second proof of lemma 1.2.3. 2.1.1 Coordinate-based description of topology We begin with C^S 1 1 ) , the simplest of the two. Propos i t ion 2.1.4 C2(S1), described as the quotient PS I L 2 (M)\/\u2014 above, is homeo-< morphic to the open Mobius band M.. Proof Recall that S is the group generated by r and the o\\ (for A > 0), subject to the relations and so in particular from the first of those it suffices to consider the actions of o\\ and r separately. Writing both of these as matrices we have and so examining the action of the former on an element of P 5 L 2 ( M ) we have that TOXT = ox 1 = CTA-I CA<7ji = CAM (2.1) 0\"A \u2022 \u2014 sin 9 cos 9 cos 9 sin 9 Xy Xx 0 1 \u2014 sin 9 cos 9 cos 9 sin 9 19 and thus v ia our action we have that, as elements of M x S1, (x + iy, 9) ~ (\\(x + iy), 6) for any A > 0. Thus if we quotient out by this action we find that PSL2 (0,7r) x S1 v ia the map (see figure 2.1) [x + iy, 9] ^ (0,9) where the square brackets denote the equivalence class, and 4> = axg(x + iy). x + iy Figure 2.1: arg(x + iy) A s for the action of r , we first note that by (1.3) we have y x 0 1 | x2+y2 x2+y2 x -y and so combining these two actions, and noting that \/ ) ( _5\u00b0?n # cose) corresponds to the angle 9 \u2014 . Proof Recall that T = (7) where 7 = = (\\ ~Q ) . We begin by computing the action of 7, and note that 7 ' and thus if we let 0. Next, we see that and so this element here is in F as claimed. (ii) axg(z \u2014 1) < 9 < ix In this case we look at (2.2b). Similar to the first case, we have that 9 \u2014 arg(z \u2014 1) > 0. Moreover, we have that and thus the claim follows. W i t h F identified as a fundamental domain, it is easy to see that this space is homeomorphic to Q above. Simply define a map ^ ( S * 1 ) \u2014> Q by mapping the appropriate (z, 9) G F to (z, a r \\ , 9); this is clearly a homeomorphism. Q . E . D . 2.1.2 Coordinate-independent descriptions of topology In this section we simply re-prove propositions 2.1.4 and 2.1.5 using more geometric rather than coordinate based methods. Proof 2 of proposition 2.1.4 A s before, we have that E is generated by r and the o\\, subject to the relations given in (2.1), and so it suffices to consider the actions of ox and r separately. > 9 \u2014 arg(z) > 9 - arg(z - 1) 23 We again consider the action of o~\\ first. Now we have both ( a A o T ) ( 0 = A(T(t)) d(o~\\ oT) dT ^z\u2014{%) = ~dz and so the action of o\\ is given by o\\ \u2022 (z, 9) = (Xz, 9). If we then quotient out by the action of the subgroup of E generated by the o\\'s we find where the angle t,.\u00a3(i) \u2014> 1, while ^ (z ) = d^+r)2' s m c e w e c a n i g n o r e scaling, stays constant. We can use this to prove the first part of our gluing process. Proposition 2.1.6 The space exp2(<5'1) = C ^ S 1 ) U C^S* 1 ) is homeomorphic to the closed Mobius band Ai*. Proof We consider the closed Mobius band to be the quotient of [0, IT] x S1 modulo the action of Z v i a (cj), 9) ~ (ir \u2014 (j), 9 \u2014 20) (cf. the second proof of proposition 2.1.4). We then have a clear embedding of C 2 ( 5 : ) <\u2014\u00bb\u2022 Ai*. Now, from the comments above it is easy to see that as p \u2014> r, 0 \u2014> 0 (see figure 2.1) and 9 stays constant\u2014and thus that Ci(Sl) U C2(S1) = Ai* as claimed. 26 Q.E.D. We now need to move on to the situation with three points. Recalling back to lemma 1.2.2 (and in particular, equation (1.2)) our triple {p, q, r} (with p < q < r, without loss of generality) maps to the element 'q \u2014 r\\ z \u2014 p \\q-pj z - r which, described in terms of equation (1.3) becomes ( ( q - r ) ( p - r ) ( g - r ) ( l + p r ) \\ \/ A ( , - p ) ( l + r 2 ) ( 9 - p ) ( l + r 2 ) (2 3) 0 1 r) We note again that as in the case of two points, the position in the S1 coordinate only depends on a single one of these points\u2014in this case, r. Now, the gluing together of exp2(S1) and C^S1) is somewhat of a surprise and is strongly reminiscent of the notion of a blowup from Algebraic Geometry. Recall that the blowup of a point p in an n-dimensional variety V is a space BLP(V) together with a map ir : BLP(V) \u2014> V which separates the lines through V; that is, away from 7r _ 1 (p) this map is a homeomorphism, while 7r _ 1 (p ) is a copy of (n \u2014 l)-dimensional projective space. The key idea, of course, is that the distinct lines through a point become separated in the resulting space, and this is what we will see when we glue exp^S 1 ) onto C 3 ( 5 1 ) . Before we move on though, we should first once and for all select a region of PS'L 2(]R) to use as our fundamental domain for the action of T; that region will be the one shown in figure 2.5, crossed with S1 and with top and bottom edges identified as per the identifications given in proposition 2.1.5. Note also that the round corners are exaggerated for reasons which will momentarily become clear. To aid in our description, we will assume that it is the point q which tends towards either p or r. That being the case, it should be noted that as q varies, the quantity 27 i Figure 2.5: Choice of Fundamental Domain ^ varies between \u2014oo and 0. A s such (see equation (2.3)), by fixing both p and r we trace out a path in a particular H slice which happens to be a straight line from the point 0 + i0 of slope ^ j ^ - Lett ing q \u2014> r (for simplicity's sake) we approach either 0 + iQ or 1 + zO, depending on the sign of (Consider our choice of fundamental domain). Then the Mobius band is glued on to C3(Sl) entirely at the points 0 -MO and 1 + iO\u2014however, the point which we end up at on the Mobius band depends on the slope of the path we take towards these points, and so much like, a blowup we find that these points are in fact separated by the set of lines passing through them, which are then glued to the corresponding point on the open Mobius band. Bu t what about C^S1) = d(M*), and what of the edge running from 0 + iO to 1 + iO? The first thing to note is that as the union exp3( exp 3 (5 1 ) = S3 is the trefoil knot. Proof The majority of this proof wi l l rely on calculating the fundamental groups of exp 3 (S' 1 ) and exp 3 (5 ' 1 ) \\ exp 1 (S ' 1 ) , relying on classification theorems to show the above result. The main tool wi l l be the Seifert-Van Kampen theorem. From the covering shown in figure 2.7, the Seifert-Van Kampen theorem yields the following pushout of groups. 7Ti(A n B) \u2014 ^ 7Ti(B) 3* TTI(A) \u2014 7 T 1 ( e x p 3 ( 5 1 ) ) where A deformation retracts onto a circle (and so it\\(A) = (s)), and B deformation retracts onto M* ^ S1 (hence Tt\\(B) = \u2022(\u00a3)); thus we have that Tt\\(exp3(S'1)) = {s,t \\ R). It remains to determine what the relations R are. 30 2 T t 2 Figure 2.7: The covering used for the Seifert-Van Kampen theorem Now, A f l B is simply the \"boundary\" of C3(SL); that is, up to homotopy it is simply a torus T2. Thus its fundamental group is (a) \u00a9 (b) where a is the generator in the S1 direction, and b is the meridional generator. We can explicitely describe this homotopy torus in terms of points on the un-derlying circle S1 in the following manner. The longitudinal direction (ie the one corresponding to a above) is given, as expected, simply by rotation of points along S1; as we are avoiding the exceptional fibre, there is nothing unusual here and we need a full rotation at any given point to return to the starting point. Now, we obtain the other generator b (demonstrated in figure 2.8) simply by rotating each point in a counter-clockwise manner to the next point along. It is easy to see that this commutes wi th a, and that together these two paths make a torus. So to determine the relations R, we first examine i*(o) and j*(a), the simplest of the two to deal with. Now, as the generator of TTX(A) is the path along the exceptional fibre from 8 = 0 to 8 = | , it is easy to see that j*(a) = s3. The exact same reasoning shows that i*(a) = t 2 , and so we have the relation that s3 = t2. So for the meridional generator, b, we have the situation shown in figure 2.9 (cf. 31 Figure 2.8: The generator b of n^A f l B) figure 2.2) which can easily be seen to be homotopic to the generator t of TTI(B); thus it only remains to see what happens to j*(6) (shown in figure 2.10) to fully understand what 7 r i ( exp 3 (5 ' 1 ) ) is. Whi le it would be tempting to suggest that it simply collapses to a homotopically t r iv ia l path, this is not indeed the case. i*{b) L t Figure 2.9: The homotopy class of i*(6) If we restrict the front end of this path to have S1 coordinate of 0, then recalling the proof of Proposit ion 2.1.5 we find that as we contract our path towards the center (that is, the exceptional fibre). of A the S1 coordinate of our back end begins to recede-until finally, when our path has been deformed completely to the center we find that it has become a path from \u2014 | to 0; that is, the generator s of TX\\(A). A s an aside, it is worth noting that figure 2.8 gives an alternate geometric idea as 32 2 ^ 6 2 \\ \/ \\ \/ L _ I Figure 2.10: The homotopy class of j*(b) to why j*(b) is the generator of it\\(A). If we perturb that diagram so that our three points are equally spaced about the circle, then it is easy to see that the description of the path b is exactly the path which generates ~K\\(A). Combining al l of this together, we find that 7Ti ( exp 3 (5 1 ) ) = (s,t \\ s3 = t2, s = t) = 1 and so e x p 3 ( 5 1 ) is simply connected. From [10] it follows immediately that as a simply connected Seifert fibred space, this must be homeomorphic to S3. For brevity we wi l l now define X := exp 3 (S' 1 ) \\ e x p 1 ( S ' 1 ) . Now, for the calculation of iri(X) the majority of the details above sti l l hold through\u2014the only difference is that what was labelled as B above (now to be denoted B') has become slightly different. In the calculation of 7Ti ( e x p 3 ( 5 ' 1 ) ) , we claimed that B deformation retracts onto M*; this fails for B'. Cla im: TVI(B') = (t,u | [t2,u] = 1), where t is the generator of ni(Ai) and u is simply the image of the meridional generator in B'. 33 From this claim it follows that \u2022Ki(X) = {s,t,u | [t2,u] = l , s 3 = t2,s = u) = (s,t\\ [t2,s] = l,s3 = t2) = (s,t\\ s 3 . = t2) Now, to see that this implies that the inclusion exp 1 (5 1 ) <\u2014> exp 3 (S' 1 ) is the trefoil knot, we proceed as follows. The first thing is to note that the center of the Mobius band\u2014its exceptional fibre\u2014is unkotted in exp 3(S' : L). This is due to the fact that 7ri (C , 3 (5 1 ) ) = Z . Thus if we consider a tubular neighbourhood of this subset we obtain a torus in exp 3 (S ' 1 )\u2014and the intersection of the boundary of this torus wi th the Mobius band is thus a torus knot which is isotopic to exp 1 (5 ' 1 ) . We can now use the fundamental group to say that it is a (2, 3) torus knot, or a trefoil knot as claimed. Proof of claim: Let us examine B' a little more closely. Figure 2.11 shows a Slice of B', separated into open sets U,V. V Figure 2.11: Covering of B' Now, U ~ T2, and V ~ M. Lastly, U C\\V ~ 5 1 , and so we end up with the following pushout to calculate 7Ti (_\u00a3?'): 34 (*> \u2014 ( A ) \u00a9 (b) Tn(B') from which it follows that TTI(B') 2* (a, b, c | [a, b] = 1, c 2 = a) ^(6,c|[c2)6] = l ) as claimed; Clearly, c is the generator of ir-i(M), and b is the meridional generator and so the full claim follows. Q . E . D . Chapter 3 35 Further Research Having determined the homeomorphism type of expA.(S' 1) for k = 1,2,3, the next obvious goal is either to determine the homeomorphism type of these spaces for higher and higher values of k, or alternately, to move on to see if the method generalizes for higher dimensional spheres. The former generalization would conceivably involve considering certain bundles over P S X 2 ( R )\u2014 r e c a l l that in P S X ^ R ) we are l imited to choosing fractional linear transformations which take at most three arbitrary points to a select group of points, and as such we cannot directly continue the process used above. However, if we let {p < q < r < s} \u20ac C^S1), then there remains still, a fractional linear transformation which takes three of these points to {0,1 , 00} as considered before. What we can then do is consider what happens to that fourth point. If we let T be this given transformation, then T(s) G HI and in particular, it lies on the geodesic between (say) 0 and 00. Thus for fixed p < q < r there is an R degree of freedom in choosing s. If we consider these points as ordered, then we have an R bundle over the ordered configuration spacs F3(Sl), and so we simply have to consider what happens when we quotient out by the action of the group of isometries which permute these points. This works in general; in fact for sufficiently nice spaces X, if we let Fk(X) denote the fc-th ordered configuration space of X, then we obtain a sequence of fibrations 36 given by X \\ {Pl,... ,pfc_!} <-> Fk(X) A Fk^(X) where the projection map n is given by (xi,..., xk) >\u2014\u2022 ( x i , . . . , z^-i)- It should be noted that for X = Sn, this is in fact a fibre bundle. This being said, the generalization that we intend to follow .is that of considering higher dimensional spheres first. If we consider S2 in particular, then S2 is the boundary of H 3 and more importantly, the group of isometries of this spaces is then going to be given by PSL2(C)\u2014as such the general methodology implemented above, as well as a number of the calculations used, will still be valid for this case, making it a more natural generalization to approach first. This leads us to examine yet again the first step. What is the topology of PSL2{C)1 We push this question aside for the moment and see what we can determine about the spaces Ci(S2) = F^S2)\/^.- We can begin with at least obtaining a rough idea using the fibrations given above. From the first one S2\\{*}^>W2(S2)^F1(S2) = S2 we obtain that F2(S2) ~ 5 2 ; the second fibration is then (up to homotopy) . S1 -> F3(S2) S2 and so we can use either the Serre spectral sequence to compute the homology or the long exact sequence of homotopy groups to help understand this space. In the latter approach, since ^(S*1) = 0 for i > 1, we immediately find that ^ ( S 2 ) ) ^ MS2) for a l H > 2, as well as a (somewhat short) exact sequence 0 - 7T 2 ( F 3 ( 5 2 ) ) - 7T 2 ( 5 2 ) - > T T x t S 1 ) - TTl(F3(S2)) - 0 37 or 0 - n2(F3(S2)) - Z ^ Z \u2014 7 n ( F 3 ( 5 2 ) ) - 0 and so ^ ( ^ ( S 2 ) ) = ker(fc) and 7Ti ( ^ ( S 2 ) ) = coker(fc). So determining the nature of this map k tells us al l of the homotopy groups of F3(S2). So what is kl Wel l , to track it down we have to examing a chain of isomorphisms; namely n2(F3(S2), S2 \\ {0, oo}) a n2(F2(S2), (0, oo)) ^ T T 2 ( F 2 ( 5 2 ) , 5 2 \\ { 0 } ) = 7T 2 ( 5 2 ) all of which come from the homotopy exact sequences and isomorphisms in the dia-gram in figure 3.1, where the vertical column comes from the exact sequence of rela-tive homotopy groups, and the horizontal isomorphisms come from the isomorphsism 7 r n ( X , A) = Trn(B) for a fibration, and from the homeomorphism Fi(X) = X. If we then trace the generator of n2(S2) back through al l of these isomorphisms, we find that k must simply be multiplication by 0. This of course implies that ^ ( F ^ ^ Z ^ n ^ S 2 ) ) . Remark This can also be seen by noting that it is necessary that 7Ti (F^S2)) = Z . In fact, we can describe a generator explicitly. Let (0,1, oo) G \/^(IP 1) be the chosen basepoint; then the path t H-\u00bb (0 , e 2 7 n t , oo ) is a generator of an infinite cyclic subgroup of 7Ti (F3(S2)). A s this must also be a quotient of Z , it follows that the map k in the exact sequence above must be 0. 38 . ^ ( 5 2 \\ { 0 \u00bb TT2(F3(S2),S2\\{Q,OO}) TT2(F 2(S 2),(0,OO)) at n2(F2(S2),S2\\{0}) n2(Fi(S2),(y) = 7r2(S2) *i(S2\\{0}) Figure 3.1: Isomorphisms due to exact sequences 39 Bibliography [1] K . Borsuk. O n the third symmetric potency of the circumference. Fund. Math., 36:236-244, 1949. R. Bott . O n the third symmetric potency of Si. Fund. Math., 39:264-268, 1952. D . Handel. Some homotopy properties of spaces of finite subsets of topological spaces. Houston J. of Math, 26:747-764, 2000. A . Hatcher. Basic topology of 3-manifolds. In preparation, available on the web at h t t p : \/ \/ w w w . m a t h . C o r n e l l . e d u \/ ~ h a t c h e r \/ . A . Hatcher. Algebraic Topology. Cambridge University Press, 2002. M . Jankins and W . D . Neumann. Lectures on Seifert Manifolds. Brandeis Lecture Notes, 1983. S. Ka l l e l and D . Sjerve. Finite subset spaces and a spectral sequence of biro. J . Mostovoy. Geometry of truncated symmetric products and real roots of real polynomials. Bull. London Math. Soc, 30:159-165, 1998. J . Mostovoy. Lattices in C and finite subsets of a circle. Amer. Math. Monthly, 111:357-360, 2004. H . Seifert and W . Threlfall. A Textbook of Topology, pages 359-422. Harcourt Brace Jovanovich, 1980. Translated from the 1934 German edition. 40 [11] C. Tuffley. Finite subset spaces of S1. Alg. & Geom. Topology, 2:1119-1145, 2002. [12] C. Tuffley. Finite subset spaces of graphs and punctured surfaces. Alg. & Geom. Topology, 3:873-904, 2003. [13] Christopher Tuffley. Fini te subset spaces of closed surfaces, 2003. ","type":"literal","lang":"en"}],"http:\/\/www.europeana.eu\/schemas\/edm\/hasType":[{"value":"Thesis\/Dissertation","type":"literal","lang":"en"}],"http:\/\/www.europeana.eu\/schemas\/edm\/isShownAt":[{"value":"10.14288\/1.0080474","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/language":[{"value":"eng","type":"literal","lang":"en"}],"https:\/\/open.library.ubc.ca\/terms#degreeDiscipline":[{"value":"Mathematics","type":"literal","lang":"en"}],"http:\/\/www.europeana.eu\/schemas\/edm\/provider":[{"value":"Vancouver : University of British Columbia Library","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/publisher":[{"value":"University of British Columbia","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/rights":[{"value":"For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https:\/\/open.library.ubc.ca\/terms_of_use.","type":"literal","lang":"en"}],"https:\/\/open.library.ubc.ca\/terms#scholarLevel":[{"value":"Graduate","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/title":[{"value":"Finite subset spaces of the circle","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/type":[{"value":"Text","type":"literal","lang":"en"}],"https:\/\/open.library.ubc.ca\/terms#identifierURI":[{"value":"http:\/\/hdl.handle.net\/2429\/32327","type":"literal","lang":"en"}]}}