Elements of Homotopy Theory

Total Page:16

File Type:pdf, Size:1020Kb

Elements of Homotopy Theory ELEMENTS OF HOMOTOPY THEORY Carlos Prieto∗ ∗ Instituto de Matem´aticas,UNAM 2010 Date of version: January 8, 2010 Preface Topology is qualitative geometry. Ignoring dimensions, several geometric objects give rise to the same topological object. Homotopy theory considers even more geometric objects as equivalent objects. For instance, in homotopy theory, a solid ball of any dimension and a point are considered as equivalent, also a solid torus and a circle are equivalent from the point of view of homotopy theory. This loss of precision is compensated by the effectiveness of the algebraic invariants that are defined in terms of homotopy. The problem of deciding if two spaces are homeomorphic or not is, no doubt, the central problem in topology. We call this the homeomorphism problem. It was not until the creation of algebraic topology that it was possible to give a reasonable answer to such a problem. Now it is not only because of the conceptual simplicity of point-set topology and its adequate symbology, but thanks to the powerful tool provided by algebra and its most convenient functorial relationship to topology that this effectiveness is achieved. For instance, if two spaces have different algebraic invariants, then they cannot be equivalent from the homotopical viewpoint. Therefore, they cannot be homeomorphic either. What we now know as algebraic topology was probably started with the Anal- ysis Situs, Paris, 1895, and its five Compl´ements (Complements), Palermo, 1899; London, 1900; Paris, 1902; Paris, 1902, and Palermo, 1904, of Henri Poincar´e.In the first, he notes that \geometry is the art of reasoning well with badly made figures." And further he says: \Yes, without doubt, but with one condition. The proportions of the figures might be grossly altered, but their elements must not be interchanged and must preserve their relative situation. In other terms, one does not have to worry about quantitative properties, but one must respect the qualitative properties, that is to say precisely those which are the concern of Analysis Situs." Indeed, other works of Poincar´econtain as much interesting topology as the just referred to. This is the case for his memoir on the qualitative theory of differential equations, that includes the famous formula of the Poincar´eindex. This formula describes in topological terms the famous Euler formula, and constitutes one of the first steps in algebraic topology. In these works Poincar´econsiders already maps on manifolds such as, for instance, vector fields, whose indexes determine vii viii Preface the Euler characteristic in his index formula. It is Poincar´etoo who generalizes the question on the classification of manifolds having in mind the classification of the orientable surfaces considered by Moebius in Theorie der elementaren Ver- wandtschaft (Theory of elementary relationship), Leipzig, 1863. This classification problem was also solved by Jordan in Sur la d´eformationdes Surfaces (On the deformation of surfaces), Paris, 1866, who, by classifying surfaces solved an im- portant homeomorphism problem. Jordan studied also the homotopy classes of closed paths, that is, the first notions of the fundamental group, inspired by Riemann, who already had ana- lyzed the behavior of integrals of holomorphic differential forms and therewith the concept of homological equivalence between closed paths. This book has the purpose of presenting the topics that, from my own point of view, are the basic topics of algebraic topology that some way should be learnt by any undergraduate student interested in this area or affine areas in mathematics. The design of the text is as follows. We start with a small Chapter 1, which deals with some basic concepts of general topology, followed by four substantial chapters, each of which is divided into several sections that are distinguished by their double numbering (1.1, 1.2, 2.1, ::: ). Definitions, propositions, theorems, remarks, formulas, exercises, etc., are designated with triple numbering (1.1.1, 1.1.2, ::: ). Exercises are an important part of the text, since many of them are intended to carry the reader further along the lines already developed in order to prove results that are either important by themselves or relevant for future topics. Most of these are numbered, but occasionally they are identified inside the text by italics (exercise). After the chapter on basic concepts, the book starts with the concept of a topological manifold, then one constructs all closed surfaces and stresses the im- portance of algebraic invariants as tools to distinguish topological spaces. Other low dimensional manifolds are analyzed; in particular, one proves that in dimen- sion one the only manifolds are the interval, the circle, the half line, and the line. Then using the Heegaard decomposition, it is shown how 3-dimensional manifolds can be analyzed. We state (with no proof) the important Freedman theorem on the classification of simply connected 4-manifolds and finish presenting other man- ifolds that are important in different branches of mathematics, such as the Stiefel and the Grassmann manifolds. Further on, the elements of homotopy theory are presented. In particular, the mappings of the circle into itself are analyzed introducing the important concept of degree. Homotopy equivalence of spaces is introduced and studied, as a coarser concept than that of homeomorphism. The fundamental group is the first properly algebraic invariant introduced and Preface ix then one gives the proof of the Seifert{van Kampen theorem that allows to compute the fundamental group of a space if one knows the groups of some of its parts. We use this important theorem to compute the fundamental groups of all closed surfaces, as well as of some orientable 3-manifolds, whose Heegaard decomposition is known. Thereafter, covering maps are introduced. This is an essential tool to analyze, from a different point of view, the fundamental group. In the last chapter a short introduction to knot theory is presented, where one sees instances of the usefulness of the several algebraic invariants. On the one hand, the Jones polynomial is presented, and on the other, as an application of the fundamental group, the group of a knot is defined. In this point I want recognize the big impact in this book of all experts that directly or indirectly have influenced my education as a mathematician and as a topologist. At the UNAM Guillermo Torres and Roberto V´azquezwere decisive. Later on, in my doctoral studies in Heidelberg, Germany, I had the privilege of receiving directly the teaching of Albrecht Dold and Dieter Puppe; and indirectly, through several German topology books, of other people, among which I owe a mention to Ralph St¨ocker and Heiner Zieschang's [23], as well as to that of Tammo tom Dieck [7]. Mexico City, Mexico Carlos Prieto Winter 2010 x Table of Contents Contents Preface vii Introduction xiii 1 Basic concepts 1 1.1 Some examples . 1 1.2 Special constructions . 5 1.3 Path connectedness . 13 1.4 Group actions . 18 2 Manifolds 23 2.1 Topological manifolds . 23 2.2 Surfaces . 34 2.3 More low-dimensional manifolds . 48 2.4 Classical groups . 56 3 Homotopy 67 3.1 The homotopy concept . 67 3.2 Homotopy of mappings of the circle into itself . 79 3.3 Homotopy equivalence . 92 3.4 Homotopy extension . 103 3.5 Domain invariance . 109 xi xii Table of Contents 4 The fundamental group 113 4.1 Definition and general properties . 113 4.2 The fundamental group of the circle . 125 4.3 The Seifert{van Kampen theorem . 130 4.4 Applications of the Seifert{van Kampen theorem . 141 5 Covering maps 151 5.1 Definitions and examples . 151 5.2 Lifting properties . 161 5.3 Universal covering maps . 170 5.4 Deck transformations . 179 5.5 Classification of covering maps over paracompact spaces . 184 6 Knots and links 193 6.1 1-manifolds and knots . 193 6.2 Reidemeister moves . 197 6.3 Knots and colors . 200 6.4 Knots, links, and polynomials . 205 6.5 The knot group . 212 References 221 Alphabetical index 222 Symbols 233 Introduction The object of this book is to introduce algebraic topology. But the first ques- tion is, what is topology? This is not an easy question to answer. Trying to define a branch of mathematics in a concise sentence is complicated. However, we may describe topology as that branch of mathematics that studies continuous defor- mations of geometrical objects. The purpose of topology is to classify objects, or at least to give methods in order to distinguish between objects that are not homeomorphic; that is, between objects that cannot be obtained from each other through a continuous deformation. It also provides techniques to study topological structures in objects arising in very different fields of mathematics. The concepts of \deformation," \continuity," and \homeomorphism" will be fundamental through- out the text. However, even not having yet precise definitions, we shall introduce in what follows several examples, that intuitively illustrate those concepts. Figure 0.1 shows three topological spaces; namely, a sphere surface with its poles deleted, another sphere with its polar caps removed (including the polar circles), and a cylinder with its top and bottom removed (including the edges). These three objects can clearly be deformed to each other; hence topology would not distinguish them. Figure 0.1 A sphere with no poles, a sphere with no polar caps and circles, and a cylinder with no edges Figure 0.2 shows the surface of a torus (a \doughnut") and a sphere surface with a handle attached. Each one of these figures is clearly a deformation of the xiii xiv Introduction other. However, it is intuitively clear that the topological object shown in three forms in Figure 0.1 cannot be deformed to the topological object shown in two forms in Figure 0.2.
Recommended publications
  • Complete Invariant Graphs of Alternating Knots
    Complete invariant graphs of alternating knots Christian Soulié First submission: April 2004 (revision 1) Abstract : Chord diagrams and related enlacement graphs of alternating knots are enhanced to obtain complete invariant graphs including chirality detection. Moreover, the equivalence by common enlacement graph is specified and the neighborhood graph is defined for general purpose and for special application to the knots. I - Introduction : Chord diagrams are enhanced to integrate the state sum of all flype moves and then produce an invariant graph for alternating knots. By adding local writhe attribute to these graphs, chiral types of knots are distinguished. The resulting chord-weighted graph is a complete invariant of alternating knots. Condensed chord diagrams and condensed enlacement graphs are introduced and a new type of graph of general purpose is defined : the neighborhood graph. The enlacement graph is enriched by local writhe and chord orientation. Hence this enhanced graph distinguishes mutant alternating knots. As invariant by flype it is also invariant for all alternating knots. The equivalence class of knots with the same enlacement graph is fully specified and extended mutation with flype of tangles is defined. On this way, two enhanced graphs are proposed as complete invariants of alternating knots. I - Introduction II - Definitions and condensed graphs II-1 Knots II-2 Sign of crossing points II-3 Chord diagrams II-4 Enlacement graphs II-5 Condensed graphs III - Realizability and construction III - 1 Realizability
    [Show full text]
  • A Knot-Vice's Guide to Untangling Knot Theory, Undergraduate
    A Knot-vice’s Guide to Untangling Knot Theory Rebecca Hardenbrook Department of Mathematics University of Utah Rebecca Hardenbrook A Knot-vice’s Guide to Untangling Knot Theory 1 / 26 What is Not a Knot? Rebecca Hardenbrook A Knot-vice’s Guide to Untangling Knot Theory 2 / 26 What is a Knot? 2 A knot is an embedding of the circle in the Euclidean plane (R ). 3 Also defined as a closed, non-self-intersecting curve in R . 2 Represented by knot projections in R . Rebecca Hardenbrook A Knot-vice’s Guide to Untangling Knot Theory 3 / 26 Why Knots? Late nineteenth century chemists and physicists believed that a substance known as aether existed throughout all of space. Could knots represent the elements? Rebecca Hardenbrook A Knot-vice’s Guide to Untangling Knot Theory 4 / 26 Why Knots? Rebecca Hardenbrook A Knot-vice’s Guide to Untangling Knot Theory 5 / 26 Why Knots? Unfortunately, no. Nevertheless, mathematicians continued to study knots! Rebecca Hardenbrook A Knot-vice’s Guide to Untangling Knot Theory 6 / 26 Current Applications Natural knotting in DNA molecules (1980s). Credit: K. Kimura et al. (1999) Rebecca Hardenbrook A Knot-vice’s Guide to Untangling Knot Theory 7 / 26 Current Applications Chemical synthesis of knotted molecules – Dietrich-Buchecker and Sauvage (1988). Credit: J. Guo et al. (2010) Rebecca Hardenbrook A Knot-vice’s Guide to Untangling Knot Theory 8 / 26 Current Applications Use of lattice models, e.g. the Ising model (1925), and planar projection of knots to find a knot invariant via statistical mechanics. Credit: D. Chicherin, V.P.
    [Show full text]
  • A Symmetry Motivated Link Table
    Preprints (www.preprints.org) | NOT PEER-REVIEWED | Posted: 15 August 2018 doi:10.20944/preprints201808.0265.v1 Peer-reviewed version available at Symmetry 2018, 10, 604; doi:10.3390/sym10110604 Article A Symmetry Motivated Link Table Shawn Witte1, Michelle Flanner2 and Mariel Vazquez1,2 1 UC Davis Mathematics 2 UC Davis Microbiology and Molecular Genetics * Correspondence: [email protected] Abstract: Proper identification of oriented knots and 2-component links requires a precise link 1 nomenclature. Motivated by questions arising in DNA topology, this study aims to produce a 2 nomenclature unambiguous with respect to link symmetries. For knots, this involves distinguishing 3 a knot type from its mirror image. In the case of 2-component links, there are up to sixteen possible 4 symmetry types for each topology. The study revisits the methods previously used to disambiguate 5 chiral knots and extends them to oriented 2-component links with up to nine crossings. Monte Carlo 6 simulations are used to report on writhe, a geometric indicator of chirality. There are ninety-two 7 prime 2-component links with up to nine crossings. Guided by geometrical data, linking number and 8 the symmetry groups of 2-component links, a canonical link diagram for each link type is proposed. 9 2 2 2 2 2 2 All diagrams but six were unambiguously chosen (815, 95, 934, 935, 939, and 941). We include complete 10 tables for prime knots with up to ten crossings and prime links with up to nine crossings. We also 11 prove a result on the behavior of the writhe under local lattice moves.
    [Show full text]
  • Knots: a Handout for Mathcircles
    Knots: a handout for mathcircles Mladen Bestvina February 2003 1 Knots Informally, a knot is a knotted loop of string. You can create one easily enough in one of the following ways: • Take an extension cord, tie a knot in it, and then plug one end into the other. • Let your cat play with a ball of yarn for a while. Then find the two ends (good luck!) and tie them together. This is usually a very complicated knot. • Draw a diagram such as those pictured below. Such a diagram is a called a knot diagram or a knot projection. Trefoil and the figure 8 knot 1 The above two knots are the world's simplest knots. At the end of the handout you can see many more pictures of knots (from Robert Scharein's web site). The same picture contains many links as well. A link consists of several loops of string. Some links are so famous that they have names. For 2 2 3 example, 21 is the Hopf link, 51 is the Whitehead link, and 62 are the Bor- romean rings. They have the feature that individual strings (or components in mathematical parlance) are untangled (or unknotted) but you can't pull the strings apart without cutting. A bit of terminology: A crossing is a place where the knot crosses itself. The first number in knot's \name" is the number of crossings. Can you figure out the meaning of the other number(s)? 2 Reidemeister moves There are many knot diagrams representing the same knot. For example, both diagrams below represent the unknot.
    [Show full text]
  • CALIFORNIA STATE UNIVERSITY, NORTHRIDGE P-Coloring Of
    CALIFORNIA STATE UNIVERSITY, NORTHRIDGE P-Coloring of Pretzel Knots A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in Mathematics By Robert Ostrander December 2013 The thesis of Robert Ostrander is approved: |||||||||||||||||| |||||||| Dr. Alberto Candel Date |||||||||||||||||| |||||||| Dr. Terry Fuller Date |||||||||||||||||| |||||||| Dr. Magnhild Lien, Chair Date California State University, Northridge ii Dedications I dedicate this thesis to my family and friends for all the help and support they have given me. iii Acknowledgments iv Table of Contents Signature Page ii Dedications iii Acknowledgements iv Abstract vi Introduction 1 1 Definitions and Background 2 1.1 Knots . .2 1.1.1 Composition of knots . .4 1.1.2 Links . .5 1.1.3 Torus Knots . .6 1.1.4 Reidemeister Moves . .7 2 Properties of Knots 9 2.0.5 Knot Invariants . .9 3 p-Coloring of Pretzel Knots 19 3.0.6 Pretzel Knots . 19 3.0.7 (p1, p2, p3) Pretzel Knots . 23 3.0.8 Applications of Theorem 6 . 30 3.0.9 (p1, p2, p3, p4) Pretzel Knots . 31 Appendix 49 v Abstract P coloring of Pretzel Knots by Robert Ostrander Master of Science in Mathematics In this thesis we give a brief introduction to knot theory. We define knot invariants and give examples of different types of knot invariants which can be used to distinguish knots. We look at colorability of knots and generalize this to p-colorability. We focus on 3-strand pretzel knots and apply techniques of linear algebra to prove theorems about p-colorability of these knots.
    [Show full text]
  • Knot Tricolorability Danielle Brushaber & Mckenzie Hennen
    Knot Tricolorability Danielle Brushaber & McKenzie Hennen Faculty Mentor: Carolyn Otto University of Wisconsin-Eau Claire Problem & Importance Definitions Knot Theory, a field of Topology, can be used to Basic Knot Definitions Linear Algebra Definitions model and understand how enzymes (called topoi- Knot- a curve in R3 that is non-intersecting and closed, similar to a circle but somerases) work in DNA processes to untangle or Matrix of a knot- each intersection’s equation determines a row in a matrix. For example, using WH3 , the equation could be tangled up. Consider a tangled string attached at the ends. 1 repair strands of DNA. In a human cell nucleus, the 2a − b − c = 0 would make one row of a matrix. a Knot invariant b DNA is linear, so the knots can slip off the end, - a characteristic of a knot. Useful for distinguishing when two c Determinant- A property of a square matrix. We used the program Maple to find the determinant, as the matrices are n and it is difficult to recognize what the enzymes do. knots are different. Tricolorable-For a knot to be tricolorable, the three lines involved in an intersec- as large as 26 × 26. In the case of the Trefoil knot, finding the determinant by hand is conducted in the following way: a b c First, look at the number in the top left corner and disregard the adjacent column and row. Repeat this step However, the DNA in mito- tion must either be 3 different colors or all 1 color . Tricolorability is a 2 − − =0 2 −1 −1 b a c with the second number in the first row and once more with the last number in the first row.
    [Show full text]
  • How Can We Say 2 Knots Are Not the Same?
    How can we say 2 knots are not the same? SHRUTHI SRIDHAR What’s a knot? A knot is a smooth embedding of the circle S1 in IR3. A link is a smooth embedding of the disjoint union of more than one circle Intuitively, it’s a string knotted up with ends joined up. We represent it on a plane using curves and ‘crossings’. The unknot A ‘figure-8’ knot A ‘wild’ knot (not a knot for us) Hopf Link Two knots or links are the same if they have an ambient isotopy between them. Representing a knot Knots are represented on the plane with strands and crossings where 2 strands cross. We call this picture a knot diagram. Knots can have more than one representation. Reidemeister moves Operations on knot diagrams that don’t change the knot or link Reidemeister moves Theorem: (Reidemeister 1926) Two knot diagrams are of the same knot if and only if one can be obtained from the other through a series of Reidemeister moves. Crossing Number The minimum number of crossings required to represent a knot or link is called its crossing number. Knots arranged by crossing number: Knot Invariants A knot/link invariant is a property of a knot/link that is independent of representation. Trivial Examples: • Crossing number • Knot Representations / ~ where 2 representations are equivalent via Reidemester moves Tricolorability We say a knot is tricolorable if the strands in any projection can be colored with 3 colors such that every crossing has 1 or 3 colors and or the coloring uses more than one color.
    [Show full text]
  • UW Math Circle May 26Th, 2016
    UW Math Circle May 26th, 2016 We think of a knot (or link) as a piece of string (or multiple pieces of string) that we can stretch and move around in space{ we just aren't allowed to cut the string. We draw a knot on piece of paper by arranging it so that there are two strands at every crossing and by indicating which strand is above the other. We say two knots are equivalent if we can arrange them so that they are the same. 1. Which of these knots do you think are equivalent? Some of these have names: the first is the unkot, the next is the trefoil, and the third is the figure eight knot. 2. Find a way to determine all the knots that have just one crossing when you draw them in the plane. Show that all of them are equivalent to an unknotted circle. The Reidemeister moves are operations we can do on a diagram of a knot to get a diagram of an equivalent knot. In fact, you can get every equivalent digram by doing Reidemeister moves, and by moving the strands around without changing the crossings. Here are the Reidemeister moves (we also include the mirror images of these moves). We want to have a way to distinguish knots and links from one another, so we want to extract some information from a digram that doesn't change when we do Reidemeister moves. Say that a crossing is postively oriented if it you can rotate it so it looks like the left hand picture, and negatively oriented if you can rotate it so it looks like the right hand picture (this depends on the orientation you give the knot/link!) For a link with two components, define the linking number to be the absolute value of the number of positively oriented crossings between the two different components of the link minus the number of negatively oriented crossings between the two different components, #positive crossings − #negative crossings divided by two.
    [Show full text]
  • Knot and Link Tricolorability Danielle Brushaber Mckenzie Hennen Molly Petersen Faculty Mentor: Carolyn Otto University of Wisconsin-Eau Claire
    Knot and Link Tricolorability Danielle Brushaber McKenzie Hennen Molly Petersen Faculty Mentor: Carolyn Otto University of Wisconsin-Eau Claire Problem & Importance Colorability Tables of Characteristics Theorem: For WH 51 with n twists, WH 5 is tricolorable when Knot Theory, a field of Topology, can be used to model Original Knot The unknot is not tricolorable, therefore anything that is tri- 1 colorable cannot be the unknot. The prime factors of the and understand how enzymes (called topoisomerases) work n = 3k + 1 where k ∈ N ∪ {0}. in DNA processes to untangle or repair strands of DNA. In a determinant of the knot or link provides the colorability. For human cell nucleus, the DNA is linear, so the knots can slip off example, if a knot’s determinant is 21, it is 3-colorable (tricol- orable), and 7-colorable. This is known by the theorem that Proof the end, and it is difficult to recognize what the enzymes do. Consider WH 5 where n is the number of the determinant of a knot is 0 mod n if and only if the knot 1 However, the DNA in mitochon- full positive twists. n is n-colorable. dria is circular, along with prokary- Link Colorability Det(L) Unknot/Link (n = 1...n = k) otic cells (bacteria), so the enzyme L Number Theorem: If det(L) = 0, then L is WOLOG, let WH 51 be colored in this way, processes are more noticeable in 3 3 3 1 n 1 n-colorable for all n. excluding coloring the twist component. knots in this type of DNA.
    [Show full text]
  • An Odd Analog of Plamenevskaya's Invariant of Transverse
    AN ODD ANALOG OF PLAMENEVSKAYA'S INVARIANT OF TRANSVERSE KNOTS by GABRIEL MONTES DE OCA A DISSERTATION Presented to the Department of Mathematics and the Graduate School of the University of Oregon in partial fulfillment of the requirements for the degree of Doctor of Philosophy September 2020 DISSERTATION APPROVAL PAGE Student: Gabriel Montes de Oca Title: An Odd Analog of Plamenevskaya's Invariant of Transverse Knots This dissertation has been accepted and approved in partial fulfillment of the requirements for the Doctor of Philosophy degree in the Department of Mathematics by: Robert Lipshitz Chair Daniel Dugger Core Member Nicholas Proudfoot Core Member Micah Warren Core Member James Brau Institutional Representative and Kate Mondloch Interim Vice Provost and Dean of the Graduate School Original approval signatures are on file with the University of Oregon Graduate School. Degree awarded September 2020 ii c 2020 Gabriel Montes de Oca iii DISSERTATION ABSTRACT Gabriel Montes de Oca Doctor of Philosophy Department of Mathematics September 2020 Title: An Odd Analog of Plamenevskaya's Invariant of Transverse Knots Plamenevskaya defined an invariant of transverse links as a distinguished class in the even Khovanov homology of a link. We define an analog of Plamenevskaya's invariant in the odd Khovanov homology of Ozsv´ath,Rasmussen, and Szab´o. We show that the analog is also an invariant of transverse links and has similar properties to Plamenevskaya's invariant. We also show that the analog invariant can be identified with an equivalent invariant in the reduced odd Khovanov homology. We demonstrate computations of the invariant on various transverse knot pairs with the same topological knot type and self-linking number.
    [Show full text]
  • Bracket Calculations -- Pdf Download
    Knot Theory Notes - Detecting Links With The Jones Polynonmial by Louis H. Kau®man 1 Some Elementary Calculations The formula for the bracket model of the Jones polynomial can be indicated as follows: The letter chi, Â, denotes a crossing in a link diagram. The barred letter denotes the mirror image of this ¯rst crossing. A crossing in a diagram for the knot or link is expanded into two possible states by either smoothing (reconnecting) the crossing horizontally, , or 2 2 vertically ><. Any closed loop (without crossings) in the plane has value ± = A ³A¡ : ¡ ¡ 1  = A + A¡ >< ³ 1  = A¡ + A >< : ³ One useful consequence of these formulas is the following switching formula 1 2 2 A A¡  = (A A¡ ) : ¡ ¡ ³ Note that in these conventions the A-smoothing of  is ; while the A-smoothing of  is >< : Properly interpreted, the switching formula abo³ve says that you can switch a crossing and smooth it either way and obtain a three diagram relation. This is useful since some computations will simplify quite quickly with the proper choices of switching and smoothing. Remember that it is necessary to keep track of the diagrams up to regular isotopy (the equivalence relation generated by the second and third Reidemeister moves). Here is an example. View Figure 1. K U U' Figure 1 { Trefoil and Two Relatives You see in Figure 1, a trefoil diagram K, an unknot diagram U and another unknot diagram U 0: Applying the switching formula, we have 1 2 2 A¡ K AU = (A¡ A )U 0 ¡ ¡ 3 3 2 6 and U = A and U 0 = ( A¡ ) = A¡ : Thus ¡ ¡ 1 3 2 2 6 A¡ K A( A ) = (A¡ A )A¡ : ¡ ¡ ¡ Hence 1 4 8 4 A¡ K = A + A¡ A¡ : ¡ ¡ Thus 5 3 7 K = A A¡ + A¡ : ¡ ¡ This is the bracket polynomial of the trefoil diagram K: We have used to same symbol for the diagram and for its polynomial.
    [Show full text]
  • On Cosmetic Surgery on Knots K
    Cosmetic surgery on knots On cosmetic surgery on knots K. Ichihara Introduction 3-manifold Dehn surgery Cosmetic Surgery Kazuhiro Ichihara Conjecture Known Facts Examples Nihon University Criteria College of Humanities and Sciences Results (1) Jones polynomial 2-bridge knot Hanselman's result Finite type invariants Based on Joint work with Recent progress Tetsuya Ito (Kyoto Univ.), In Dae Jong (Kindai Univ.), Results (2) Genus one alternating knots Thomas Mattman (CSU, Chico), Toshio Saito (Joetsu Univ. of Edu.), Cosmetic Banding and Zhongtao Wu (CUHK) How To Check? The 67th Topology Symposium - Online, MSJ. Oct 13, 2020. 1 / 36 Cosmetic surgery Papers on knots I (with Toshio Saito) K. Ichihara Cosmetic surgery and the SL(2; C) Casson invariant for 2-bridge knots. Introduction 3-manifold Hiroshima Math. J. 48 (2018), no. 1, 21-37. Dehn surgery Cosmetic Surgery I (with In Dae Jong (Appendix by Hidetoshi Masai)) Conjecture Known Facts Cosmetic banding on knots and links. Examples Osaka J. Math. 55 (2018), no. 4, 731-745. Criteria Results (1) I (with Zhongtao Wu) Jones polynomial 2-bridge knot A note on Jones polynomial and cosmetic surgery. Hanselman's result Finite type invariants Comm. Anal. Geom. 27 (2019), no.5, 1087{1104. Recent progress I (with Toshio Saito and Tetsuya Ito) Results (2) Genus one alternating Chirally cosmetic surgeries and Casson invariants. knots Cosmetic Banding To appear in Tokyo J. Math. How To Check? I (with In Dae Jong, Thomas W. Mattman, Toshio Saito) Two-bridge knots admit no purely cosmetic surgeries. To appear in Algebr. Geom. Topol. 2 / 36 Table of contents Introduction Jones polynomial 3-manifold 2-bridge knot Dehn surgery Hanselman's result Finite type invariants Cosmetic Surgery Conjecture Recent progress Known Facts Results (2) [Chirally cosmetic surgery] Examples Alternating knot of genus one Criteria Cosmetic Banding Results (1) [Purely cosmetic surgery] How To Check? Cosmetic surgery Classification of 3-manifolds on knots K.
    [Show full text]