Open 3-Manifolds Which Are Connected Sums of Closed Ones Laurent Bessières, Gérard Besson, Sylvain Maillot

Total Page:16

File Type:pdf, Size:1020Kb

Open 3-Manifolds Which Are Connected Sums of Closed Ones Laurent Bessières, Gérard Besson, Sylvain Maillot Open 3-manifolds which are connected sums of closed ones Laurent Bessières, Gérard Besson, Sylvain Maillot To cite this version: Laurent Bessières, Gérard Besson, Sylvain Maillot. Open 3-manifolds which are connected sums of closed ones. 2020. hal-02462552 HAL Id: hal-02462552 https://hal.archives-ouvertes.fr/hal-02462552 Preprint submitted on 31 Jan 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Open 3-manifolds which are connected sums of closed ones Laurent Bessieres` Gerard´ Besson Sylvain Maillot January 30, 2020 Abstract We consider open, oriented 3-manifolds which are infinite connected sums of closed 3-manifolds. We introduce some topological invariants for these manifolds and obtain a classification in the case where there are only finitely many summands up to diffeomorphism. This result encompasses both the Kneser-Milnor Prime De- composition Theorem for closed 3-manifolds and the Kerekj´ art´ o-Richards´ classifi- cation theorem for open surfaces. Keywords. Topology of 3-manifolds 1 Introduction In [Sco77], P. Scott studied decompositions of open 3-manifolds as (possibly infinite) connected sums of prime manifolds which may or may not be compact. He gave exam- ples of open 3-manifolds that do not have such decompositions. By contrast, in [BBM11] the authors proved that open 3-manifolds which carry certain Riemannian metrics of pos- itive scalar curvature do admit such decompositions, and in addition all summands are compact. In order to recall the result, we introduce some terminology. L. Bessieres:` Institut de Mathematiques´ de Bordeaux, Universite´ de Bordeaux, 33405 Talence, FRANCE; e-mail: [email protected] G. Besson: Institut Fourier, Universite´ Grenoble Alpes, 100 rue des maths, 38610 Gieres,` France; e- mail: [email protected] S. Maillot: Institut Montpellierain´ Alexander Grothendieck, CNRS, Universite´ de Montpellier; e-mail: [email protected] Mathematics Subject Classification (2010): 57Mxx,57N10 1 Open 3-manifolds which are connected sums of closed ones 2 Throughout the paper, we work in the category of smooth, oriented 3-manifolds. We say that two oriented 3-manifolds M1;M2 are isomorphic if there exists an orientation- preserving diffeomorphism from M1 to M2. For convenience we say that a 3-manifold N has spherical boundary if every component of @N (if any) is a 2-sphere. Then there is a unique manifold, up to isomorphism, obtained by gluing a 3-ball to every boundary component of N. This operation is called capping-off. The capped-off manifold is denoted by Nb. Definition 1.1. Let X be a class of connected oriented 3-manifolds without boundary. An oriented 3-manifold M is said to be decomposable over X if M contains a locally finite collection of pairwise disjoint embedded 2-spheres fSig such that for every connected component C of M split along fSig, the capped-off manifold Cb is isomorphic to some member of X or to S3. The main result of [BBM11] can be formulated as follows: if M is an open 3-manifold which admits a complete Riemannian metric of bounded geometry and uniformly positive scalar curvature, then there exists a finite familly F of spherical manifolds such that M is decomposable over F [fS2 ×S1g. This begs the question of whether such manifolds, and more generally 3-manifolds which are decomposable over some finite collection of closed 3-manifolds, can be classified. In this paper we show that this is the case, using a set of invariants inspired by the work of Kerekj´ art´ o´ [Ker23] and Richards [Ric63] to classify open surfaces:3 the space of ends of M together with a colouring depending on whether a given closed prime 3-manifold appears infinitely many times in any neighbourhood of this end or not. Recall that a closed 3-manifold K is prime if it is connected, not diffeomorphic to S3, 3 and whenever K is diffeomorphic to M1#M2, one of the Mi’s is diffeomorphic to S . In this paper we shall use the word ‘prime’ only for closed manifolds. The class of oriented prime 3-manifolds will be denoted by P. Let K be a (possibly disconnected) compact oriented 3-manifold with spherical bound- ary. For each P 2 P, we denote by nP (K) the sum over all connected components L of K of the number of summands isomorphic to P in the Kneser-Milnor decomposition of the capped-off manifold Lb. Thus the Kneser-Milnor theorem implies: every closed oriented 3-manifold is decomposable over some finite collection of prime oriented 3-manifolds, and two closed, connected, oriented 3-manifolds K1;K2 are isomorphic if and only if nP (K1) = nP (K2) for every P 2 P. We now come to the definition of our invariants. Let P be an oriented prime 3- manifold. Let U be an open oriented 3-manifold.Then we define nP (U) 2 N [ f1g 3While the Kerekj´ art´ o-Richards´ theorem also applies to nonorientable surfaces, in this paper we restrict attention to orientable manifolds for simplicity. Open 3-manifolds which are connected sums of closed ones 3 as the supremum of the numbers nP (K) where K ranges over all compact submanifolds of U with spherical boundary. Let M be an open connected oriented 3-manifold. An end e of M has colour P if for every neighbourhood U of e, with compact boundary, the number nP (U) is nonzero. (Then it is actually infinite, see below.) The set of ends of M of colour P is denoted by EP (M). By Lemma 3.2 below, it is a closed subset of E(M). Note that an end may have several colours, i.e. EP (M) \ EP 0 (M) can be nonempty for 0 P; P 2 P. In fact, the closed subsets EP (M) can be quite arbitrary by our realisation theorem, Theorem 2.5 below. Let M; M 0 be open connected oriented 3-manifolds. A map φ : E(M) ! E(M 0) is 0 called colour-preserving if for every P 2 P, we have φ(EP (M)) = EP (M ). Theorem 1.2 (Main theorem). Let X be a finite collection of prime oriented 3-manifolds. Let M; M 0 be open connected oriented 3-manifolds which are decomposable over X . Then M is isomorphic to M 0 if and only if the following conditions hold: 0 (1) For every P 2 P, the numbers nP (M) and nP (M ) are equal. (2) There is a colour-preserving homeomorphism φ : E(M) ! E(M 0). Remark 1.3. 1. By Thereom 2.3 and Proposition 2.4 below, it suffices in Condi- tion (1) to assume this for all P 2 X [ fS2 × S1g, since all the other numbers vanish. 2. Example 1 below shows that the finiteness assumption on X is necessary. 3. In the case where nP (M) < 1 for all P 2 P, the manifold is determined, up to isomorphism, by E(M) and the numbers nP (M). To conclude this introduction, let us mention that the notion of infinite connected sum is also useful in large dimensions, see e.g. [Why01]. The paper is organized as follows: in Section 2, we recall, in a slight more precise form, the notion of connected sum of closed manifolds along a possibly infinite graph, discussed in [BBM11, BBMM], and explain the relationship between this notion and de- composability. We state Theorem 2.3, which allows to turn the graph into a tree, possibly at the expense of adding S2 × S1 summands. We also state Proposition 2.4 and Theo- rem 2.5, and give Example 1 mentioned above. In Section 3, we discuss the properties of special exhaustions of decomposable 3-manifolds called spherical exhaustions, which play an important role in all the subsequent proofs. Proposition 2.4 and Theorem 2.5 are proved there. Section 4 is devoted to the proof of Theorem 2.3. Section 5 is dedicated to the proof of Theorem 1.2. Some concluding remarks are gathered in Section 6. We finish Open 3-manifolds which are connected sums of closed ones 4 with an appendix reviewing the theory of spaces of ends. Acknowledgment: this work began during ANR project GTO ANR-12-BS01-0004 and completed during ANR project CCEM ANR-17-CE40-0034. 2 Connected sums along graphs In this section we reformulate our notion of decomposable manifolds in terms of perform- ing connected sums of possibly infinitely many closed oriented manifolds along some locally finite graph. This was discussed in previous articles of the authors and F. C. Mar- ques [BBM11, BBMM] (cf. [Sco77].) Here though, we need to be more precise regarding orientations, and fix some notation for future use. Let I be a subset of N and X = fXkgk2I be a family of closed connected oriented 3 3-manifolds. By convention we assume henceforth that 0 2 I and X0 = S .A coloured graph is a pair (G; f) where G is a locally finite connected graph, possibly with loops, with vertex set V (G) and f is a map from V (G) to I. Construction. For each vertex v 2 V (G), let Yv be a copy of Xf(v) with d(v) disjoint open 3-balls removed, where d(v) is the degree of v.
Recommended publications
  • Natural Cadmium Is Made up of a Number of Isotopes with Different Abundances: Cd106 (1.25%), Cd110 (12.49%), Cd111 (12.8%), Cd
    CLASSROOM Natural cadmium is made up of a number of isotopes with different abundances: Cd106 (1.25%), Cd110 (12.49%), Cd111 (12.8%), Cd 112 (24.13%), Cd113 (12.22%), Cd114(28.73%), Cd116 (7.49%). Of these Cd113 is the main neutron absorber; it has an absorption cross section of 2065 barns for thermal neutrons (a barn is equal to 10–24 sq.cm), and the cross section is a measure of the extent of reaction. When Cd113 absorbs a neutron, it forms Cd114 with a prompt release of γ radiation. There is not much energy release in this reaction. Cd114 can again absorb a neutron to form Cd115, but the cross section for this reaction is very small. Cd115 is a β-emitter C V Sundaram, National (with a half-life of 53hrs) and gets transformed to Indium-115 Institute of Advanced Studies, Indian Institute of Science which is a stable isotope. In none of these cases is there any large Campus, Bangalore 560 012, release of energy, nor is there any release of fresh neutrons to India. propagate any chain reaction. Vishwambhar Pati The Möbius Strip Indian Statistical Institute Bangalore 560059, India The Möbius strip is easy enough to construct. Just take a strip of paper and glue its ends after giving it a twist, as shown in Figure 1a. As you might have gathered from popular accounts, this surface, which we shall call M, has no inside or outside. If you started painting one “side” red and the other “side” blue, you would come to a point where blue and red bump into each other.
    [Show full text]
  • Recognizing Surfaces
    RECOGNIZING SURFACES Ivo Nikolov and Alexandru I. Suciu Mathematics Department College of Arts and Sciences Northeastern University Abstract The subject of this poster is the interplay between the topology and the combinatorics of surfaces. The main problem of Topology is to classify spaces up to continuous deformations, known as homeomorphisms. Under certain conditions, topological invariants that capture qualitative and quantitative properties of spaces lead to the enumeration of homeomorphism types. Surfaces are some of the simplest, yet most interesting topological objects. The poster focuses on the main topological invariants of two-dimensional manifolds—orientability, number of boundary components, genus, and Euler characteristic—and how these invariants solve the classification problem for compact surfaces. The poster introduces a Java applet that was written in Fall, 1998 as a class project for a Topology I course. It implements an algorithm that determines the homeomorphism type of a closed surface from a combinatorial description as a polygon with edges identified in pairs. The input for the applet is a string of integers, encoding the edge identifications. The output of the applet consists of three topological invariants that completely classify the resulting surface. Topology of Surfaces Topology is the abstraction of certain geometrical ideas, such as continuity and closeness. Roughly speaking, topol- ogy is the exploration of manifolds, and of the properties that remain invariant under continuous, invertible transforma- tions, known as homeomorphisms. The basic problem is to classify manifolds according to homeomorphism type. In higher dimensions, this is an impossible task, but, in low di- mensions, it can be done. Surfaces are some of the simplest, yet most interesting topological objects.
    [Show full text]
  • Floer Homology, Gauge Theory, and Low-Dimensional Topology
    Floer Homology, Gauge Theory, and Low-Dimensional Topology Clay Mathematics Proceedings Volume 5 Floer Homology, Gauge Theory, and Low-Dimensional Topology Proceedings of the Clay Mathematics Institute 2004 Summer School Alfréd Rényi Institute of Mathematics Budapest, Hungary June 5–26, 2004 David A. Ellwood Peter S. Ozsváth András I. Stipsicz Zoltán Szabó Editors American Mathematical Society Clay Mathematics Institute 2000 Mathematics Subject Classification. Primary 57R17, 57R55, 57R57, 57R58, 53D05, 53D40, 57M27, 14J26. The cover illustrates a Kinoshita-Terasaka knot (a knot with trivial Alexander polyno- mial), and two Kauffman states. These states represent the two generators of the Heegaard Floer homology of the knot in its topmost filtration level. The fact that these elements are homologically non-trivial can be used to show that the Seifert genus of this knot is two, a result first proved by David Gabai. Library of Congress Cataloging-in-Publication Data Clay Mathematics Institute. Summer School (2004 : Budapest, Hungary) Floer homology, gauge theory, and low-dimensional topology : proceedings of the Clay Mathe- matics Institute 2004 Summer School, Alfr´ed R´enyi Institute of Mathematics, Budapest, Hungary, June 5–26, 2004 / David A. Ellwood ...[et al.], editors. p. cm. — (Clay mathematics proceedings, ISSN 1534-6455 ; v. 5) ISBN 0-8218-3845-8 (alk. paper) 1. Low-dimensional topology—Congresses. 2. Symplectic geometry—Congresses. 3. Homol- ogy theory—Congresses. 4. Gauge fields (Physics)—Congresses. I. Ellwood, D. (David), 1966– II. Title. III. Series. QA612.14.C55 2004 514.22—dc22 2006042815 Copying and reprinting. Material in this book may be reproduced by any means for educa- tional and scientific purposes without fee or permission with the exception of reproduction by ser- vices that collect fees for delivery of documents and provided that the customary acknowledgment of the source is given.
    [Show full text]
  • Commentary on Thurston's Work on Foliations
    COMMENTARY ON FOLIATIONS* Quoting Thurston's definition of foliation [F11]. \Given a large supply of some sort of fabric, what kinds of manifolds can be made from it, in a way that the patterns match up along the seams? This is a very general question, which has been studied by diverse means in differential topology and differential geometry. ... A foliation is a manifold made out of striped fabric - with infintely thin stripes, having no space between them. The complete stripes, or leaves, of the foliation are submanifolds; if the leaves have codimension k, the foliation is called a codimension k foliation. In order that a manifold admit a codimension- k foliation, it must have a plane field of dimension (n − k)." Such a foliation is called an (n − k)-dimensional foliation. The first definitive result in the subject, the so called Frobenius integrability theorem [Fr], concerns a necessary and sufficient condition for a plane field to be the tangent field of a foliation. See [Spi] Chapter 6 for a modern treatment. As Frobenius himself notes [Sa], a first proof was given by Deahna [De]. While this work was published in 1840, it took another hundred years before a geometric/topological theory of foliations was introduced. This was pioneered by Ehresmann and Reeb in a series of Comptes Rendus papers starting with [ER] that was quickly followed by Reeb's foundational 1948 thesis [Re1]. See Haefliger [Ha4] for a detailed account of developments in this period. Reeb [Re1] himself notes that the 1-dimensional theory had already undergone considerable development through the work of Poincare [P], Bendixson [Be], Kaplan [Ka] and others.
    [Show full text]
  • Classification of 3-Manifolds with Certain Spines*1 )
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 205, 1975 CLASSIFICATIONOF 3-MANIFOLDSWITH CERTAIN SPINES*1 ) BY RICHARD S. STEVENS ABSTRACT. Given the group presentation <p= (a, b\ambn, apbq) With m, n, p, q & 0, we construct the corresponding 2-complex Ky. We prove the following theorems. THEOREM 7. Jf isa spine of a closed orientable 3-manifold if and only if (i) \m\ = \p\ = 1 or \n\ = \q\ = 1, or (") (m, p) = (n, q) = 1. Further, if (ii) holds but (i) does not, then the manifold is unique. THEOREM 10. If M is a closed orientable 3-manifold having K^ as a spine and \ = \mq — np\ then M is a lens space L\ % where (\,fc) = 1 except when X = 0 in which case M = S2 X S1. It is well known that every connected compact orientable 3-manifold with or without boundary has a spine that is a 2-complex with a single vertex. Such 2-complexes correspond very naturally to group presentations, the 1-cells corre- sponding to generators and the 2-cells corresponding to relators. In the case of a closed orientable 3-manifold, there are equally many 1-cells and 2-cells in the spine, i.e., equally many generators and relators in the corresponding presentation. Given a group presentation one is motivated to ask the following questions: (1) Is the corresponding 2-complex a spine of a compact orientable 3-manifold? (2) If there are equally many generators and relators, is the 2-complex a spine of a closed orientable 3-manifold? (3) Can we say what manifold(s) have the 2-complex as a spine? L.
    [Show full text]
  • Manifolds: Where Do We Come From? What Are We? Where Are We Going
    Manifolds: Where Do We Come From? What Are We? Where Are We Going Misha Gromov September 13, 2010 Contents 1 Ideas and Definitions. 2 2 Homotopies and Obstructions. 4 3 Generic Pullbacks. 9 4 Duality and the Signature. 12 5 The Signature and Bordisms. 25 6 Exotic Spheres. 36 7 Isotopies and Intersections. 39 8 Handles and h-Cobordisms. 46 9 Manifolds under Surgery. 49 1 10 Elliptic Wings and Parabolic Flows. 53 11 Crystals, Liposomes and Drosophila. 58 12 Acknowledgments. 63 13 Bibliography. 63 Abstract Descendants of algebraic kingdoms of high dimensions, enchanted by the magic of Thurston and Donaldson, lost in the whirlpools of the Ricci flow, topologists dream of an ideal land of manifolds { perfect crystals of mathematical structure which would capture our vague mental images of geometric spaces. We browse through the ideas inherited from the past hoping to penetrate through the fog which conceals the future. 1 Ideas and Definitions. We are fascinated by knots and links. Where does this feeling of beauty and mystery come from? To get a glimpse at the answer let us move by 25 million years in time. 25 106 is, roughly, what separates us from orangutans: 12 million years to our common ancestor on the phylogenetic tree and then 12 million years back by another× branch of the tree to the present day orangutans. But are there topologists among orangutans? Yes, there definitely are: many orangutans are good at "proving" the triv- iality of elaborate knots, e.g. they fast master the art of untying boats from their mooring when they fancy taking rides downstream in a river, much to the annoyance of people making these knots with a different purpose in mind.
    [Show full text]
  • Boundary Volume and Length Spectra of Riemannian Manifolds: What the Middle Degree Hodge Spectrum Doesn’T Reveal Tome 53, No 7 (2003), P
    R AN IE N R A U L E O S F D T E U L T I ’ I T N S ANNALES DE L’INSTITUT FOURIER Carolyn S. GORDON & Juan Pablo ROSSETTI Boundary volume and length spectra of Riemannian manifolds: what the middle degree Hodge spectrum doesn’t reveal Tome 53, no 7 (2003), p. 2297-2314. <http://aif.cedram.org/item?id=AIF_2003__53_7_2297_0> © Association des Annales de l’institut Fourier, 2003, tous droits réservés. L’accès aux articles de la revue « Annales de l’institut Fourier » (http://aif.cedram.org/), implique l’accord avec les conditions générales d’utilisation (http://aif.cedram.org/legal/). Toute re- production en tout ou partie cet article sous quelque forme que ce soit pour tout usage autre que l’utilisation à fin strictement per- sonnelle du copiste est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. cedram Article mis en ligne dans le cadre du Centre de diffusion des revues académiques de mathématiques http://www.cedram.org/ 2297- BOUNDARY VOLUME AND LENGTH SPECTRA OF RIEMANNIAN MANIFOLDS: WHAT THE MIDDLE DEGREE HODGE SPECTRUM DOESN’T REVEAL by C.S. GORDON and J.P. ROSSETTI (1) To what extent does spectral data associated with the Hodge Laplacian dd* + d*d on a compact Riemannian manifold M determine the geometry and topology of M? Let specp (M) denote the spectrum of the Hodge Laplacian acting on the space of p-forms on M, with absolute boundary conditions in case the boundary of M is non-empty.
    [Show full text]
  • Recent Advances in Topological Manifolds
    Recent Advances in Topological Manifolds Part III course of A. J. Casson, notes by Andrew Ranicki Cambridge, Lent 1971 Introduction A topological n-manifold is a Hausdorff space which is locally n-Euclidean (like Rn). No progress was made in their study (unlike that in PL and differentiable manifolds) until 1968 when Kirby, Siebenmann and Wall solved most questions for high dimensional manifolds (at least as much as for the PL and differentiable cases). Question: can compact n-manifolds be triangulated? Yes, if n 6 3 (Moise 1950's). This is unknown in general. However, there exist manifolds (of dimension > 5) which don't have PL structures. (They might still have triangulations in which links of simplices aren't PL spheres.) There is machinery for deciding whether manifolds of di- mension > 5 have a PL structure. Not much is known about 4-manifolds in the topological, differentiable, and PL cases. n n+1 Question 2: the generalized Sch¨onfliestheorem. Let B = x 2 R : kxk 6 1 , n n+1 n n S = x 2 R : kxk = 1 . Given an embedding f : B ! S (i.e. a 1-1 con- tinuous map), is Sn n f(Bn) =∼ Bn? No{the Alexander horned sphere. n n+1 0 n n ∼ n Let λB = x 2 R : kxk 6 λ . Question 2 : is S n f(λB ) = B (where 0 < λ < 1)? Yes. In 1960, Morton Brown, Mazur, and Morse proved the following: if g : Sn−1× n n n−1 [−1; 1] ! S is an embedding, then S ng(S ×f0g) has 2 components, D1;D2, ∼ ∼ n 0 such that D1 = D2 = B , which implies 2 as a corollary.
    [Show full text]
  • Notes on Geometry and Topology
    Lecture Notes on Geometry and Topology Kevin Zhou [email protected] These notes cover geometry and topology in physics. They focus on how the mathematics is applied, in the context of particle physics and condensed matter, with little emphasis on rigorous proofs. For instance, no point-set topology is developed or assumed. The primary sources were: • Nakahara, Geometry, Topology, and Physics. The standard textbook on the subject for physi- cists. Covers the usual material (simplicial homology, homotopy groups, de Rham cohomology, bundles), with extra chapters on advanced subjects like characteristic classes and index theo- rems. The material is developed clearly, but there are many errata, and the most comprehensive list is available here. At MIT I co-led an undergraduate reading group on this book with Matt DeCross, who wrote problem sets available here. • Robert Littlejon's Physics 250 notes. These notes primarily follow Nakahara, with some extra physical applications. They are generally more careful and precise. • Nash and Sen, Topology and Geometry for Physicists. A shorter alternative to Nakahara which covers the usual material from a slightly more mathematical perspective. For instance, topological spaces are defined, and excision and long exact sequences are used. However, many propositions are left unproven, and some purported proofs are invalid. • Schutz, Geometrical Methods of Mathematical Physics. A basic introduction to differential geometry that focuses on differential forms. • Baez, Gauge Fields, Knots, and Gravity. Covers differential geometry and fiber bundles as applied in gauge theory. Like Nash and Sen, it has a \math-style" presentation, but not rigorous proofs. Also contains neat applications to Chern-Simons theory and knot theory.
    [Show full text]
  • Arxiv:1509.03920V2 [Cond-Mat.Str-El] 10 Mar 2016 I.Smayaddsuso 16 Discussion and Summary VII
    Topological Phases on Non-orientable Surfaces: Twisting by Parity Symmetry AtMa P.O. Chan,1 Jeffrey C.Y. Teo,2 and Shinsei Ryu1 1Institute for Condensed Matter Theory and Department of Physics, University of Illinois at Urbana-Champaign, 1110 West Green St, Urbana IL 61801 2Department of Physics, University of Virginia, Charlottesville, VA 22904, USA We discuss (2+1)D topological phases on non-orientable spatial surfaces, such as M¨obius strip, real projective plane and Klein bottle, etc., which are obtained by twisting the parent topological phases by their underlying parity symmetries through introducing parity defects. We construct the ground states on arbitrary non-orientable closed manifolds and calculate the ground state degeneracy. Such degeneracy is shown to be robust against continuous deformation of the underlying manifold. We also study the action of the mapping class group on the multiplet of ground states on the Klein bottle. The physical properties of the topological states on non-orientable surfaces are deeply related to the parity symmetric anyons which do not have a notion of orientation in their statistics. For example, the number of ground states on the real projective plane equals the root of the number of distinguishable parity symmetric anyons, while the ground state degeneracy on the Klein bottle equals the total number of parity symmetric anyons; In deforming the Klein bottle, the Dehn twist encodes the topological spins whereas the Y-homeomorphism tells the particle-hole relation of the parity symmetric anyons. CONTENTS I. INTRODUCTION I. Introduction 1 One of the most striking discoveries in condensed mat- A.Overview 2 ter physics in the last few decades has been topolog- B.Organizationofthepaper 3 ical states of matter1–4, in which the characterization of order goes beyond the paradigm of Landau’s sym- II.
    [Show full text]
  • Arxiv:Math/9703211V1
    ON A COMPUTER RECOGNITION OF 3-MANIFOLDS SERGEI V. MATVEEV Abstract. We describe theoretical backgrounds for a computer program that rec- ognizes all closed orientable 3-manifolds up to complexity 8. The program can treat also not necessarily closed 3-manifolds of bigger complexities, but here some unrec- ognizable (by the program) 3-manifolds may occur. Introduction Let M be an orientable 3-manifold such that ∂M is either empty or consists of tori. Then, modulo W. Thurston geometrization conjecture [Scott 1983], M can be decomposed in a unique way into graph-manifolds and hyperbolic pieces. The classification of graph-manifolds is well-known [Waldhausen 1967], and a list of cusped hyperbolic manifolds up to complexity 7 is contained in [Hildebrand, Weeks 1989]. If we possess an information how the pieces are glued together, we can get an explicit description of M as a sum of geometric pieces. Usually such a presentation is sufficient for understanding the intrinsic structure of M; it allows one to label M with a name that distinguishes it from all other manifolds. We describe theoretical backgrounds and a general scheme of a computer algorithm that realizes in part the procedure. Particularly, for all closed orientable manifolds up to complexity 8 (all of them are graph-manifolds, see [Matveev 1990]) the algorithm gives an exact answer. The paper is based on a talk at MSRI workshop on computational and algorithmic methods in three-dimensional topology (March 10-14, 1997). The author wishes to thank MSRI for a friendly atmosphere and good conditions of work. arXiv:math/9703211v1 [math.GT] 26 Mar 1997 1.
    [Show full text]
  • Algebraic Topology - Homework 2
    Algebraic Topology - Homework 2 Problem 1. Show that the Klein bottle can be cut into two Mobius strips that intersect along their boundaries. Problem 2. Show that a projective plane contains a Mobius strip. Problem 3. The boundary of a disk D is a circle @D. The boundary of a Mobius strip M is a circle @M. Let ∼ be the equivalence relation defined by the identifying each point on the circle @D bijectively to a point on the circle @M. Let X be the quotient space (D [ M)= ∼. What is this quotient space homeomorphic to? Show this using cut-and-paste techniques. Problem 4. Show that the connected sum of two tori can be expressed as a quotient space of an octagonal disk with sides identified according to the word aba−1b−1cdc−1d−1: Then considering the eight vertices of the octagon, how many points do they represent on the surface. Problem 5. Find a representation of the connected sum of g tori as a quotient space of a polygonal disk with sides identified in pairs. Do the same thing for a connected sum of n projective planes. In each case give the corresponding word that describes this identification. Problem 6. (a) Show that the square disks with edges pasted together according to the words aabb and aba−1b result in homeomorphic surfaces. Hint: Cut along one of the diagonals and glue the two triangular disks together along one of the original edges. (b) Vague question: What does this tell you about some spaces that you know? Problem 7.
    [Show full text]