DOCSLIB.ORG

Khovanov Homology and Virtual Knot Cobordism

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Khovanov Homology and Virtual Knot Cobordism Khovanov Homology and Virtual Knot Cobordism Louis H. Kauffman, UIC [16], and Bar-Natan’s emphasis on tangle cobordisms [2]. We use similar considera- tions [i1n6]o,uarndpaBpare-rN[a1ta0n]’s. emphasis on tangle cobordisms [2]. We use similar considera- tions in our paper [10]. TwoTkweoykmeyomtiovtaivtaintinggiiddeeaassaarereinivnovlvoeldviendfiinndinfigndthiengKhtohveanKovhionvvarniaonvt. inFivrsatriant. First of all, one would like to categorify a link polynomial such as K . There are many of all, one would like to categorify a link polynomial su⟨ch⟩ as K . There are many meanminegansintogsthtoethtertmermccaatteeggorriiffyy, ,bubtuhtehreetrheetqhueesqt uisetsotfiinsdtoa wfianydtoaewxp⟨areyss⟩tothexlipnkress the link polynomial as a graded Euler characteristic K = χ H(K) for some homology polynomial as a graded Euler characteris⟨tic⟩ K q=⟨ χ ⟩H(K) for some homology theory associat[e1d6],wanitdhBaKr-Na.tan’s emKhovanovphasis on tang leHomologycobordisms [2]. We quse similar considera- theory associatedtiownsiitnhour⟨Kpap⟩e.r [10]. ⟨ ⟩ ⟨ ⟩ ⟨ ⟩ The bracket pTowlyonkoeymmiaoltiv[a7ti]ngmiodedaeslarfeorinvtholeveJdoinnefisndpionglytnheoKmhioavlan[4ov, i5n,va6ri,a1nt7. ]Fiisrstusually described by thoef aellx, poanenswioounld like to categorify a link polynomial such as K . There are many The bracket pmoelayningos tmo tihae lter[m7c]atmegooridfye, blutfhoerettheequJeost nisetosfipndoalwy⟨anyo⟩tomexiparelss[t4he,li5nk, 6, 17] is usually polynomial as a graded Euler characteristic K = χ H(K) for some homology described by the expansion ⟨ 1⟩ q⟨ ⟩ theory associated with K =. A + A− (4) ⟨ ⟨ ⟩ ⟩ ⟨ ⟩ ⟨ ⟩ The bracket polynomial [7] model for the Jones poly1nomial [4, 5, 6, 17] is usually and we have = A + A− (4) described by the ex⟨pansion⟩ ⟨ ⟩ ⟨ ⟩ 2 2 1 K = ( =AA A+−A−) K (4) (5) and we have ⟨ ⃝⟩ ⟨ ⟩− ⟨ −⟩ ⟨⟨ ⟩⟩ and we have 3 = ( A )22 2 2 (6) K⟨ K⟩ = (=−( AA ⟨ A−⟩A) −K ) K (5) (5) ⟨ ⃝⟨⟩ ⃝⟩ −− −− ⟨ ⟩ ⟨ ⟩ = ( 3A3) (6) =⟨ ( ⟩ A−− ) ⟨ ⟩ (7) ⟨ ⟩ − ⟨ 3 ⟩ = ( A3 ) (6) = ( A− ) (7) Letting c(K) denote the numb⟨er of⟨⟩cro⟩ ssin−gs in⟨th⟨e⟩ dia⟩gram K, if we replace K c(K) 1 ⟨ ⟩ by A− K , aLnedttinthgec(nKr)edpelnaocteethAe nbuymberqo−f cr,ostshinegsbirnatchke edtiawgraimll Kbe, ifrewwe reipttleacne iKn the fol- ⟨ ⟩ c(K) − 1 3 ⟨ ⟩ lowing form: by A− K , and then replace A=by( q−A,−the b)racket will be rewritten in the fol- (7) lowing form⟨ : ⟩ ⟨ ⟩ −− ⟨ ⟩ = = q q (8) (8) ⟨ ⟩ ⟨ ⟨ ⟩ ⟩⟨ −⟩ −⟨ ⟨ ⟩⟩ 1 1 Letting c(K)wditeh not=e (tqh+eq−nu).mIt ibs ueserfuol tfo ucsreothsissfionrmgosf tihne btrahceketdstiaategsurmamfor tKhe s,akief we replace K with = (q +q⟨−⃝⟩). It is useful to use this form of the bracket state sum for the sake ofct(hKe⟨⃝)gr⟩ading oifnthtehgeraKdihngovinatnhoe vKhhoovamnoovlohogmyo(lotgoyb(teo1bdeedsecsrcirbibeedd bbeelolwo)w. W).eWsheallschoanltilnuceontinue ⟨ ⟩ by A− K , atonrdefetrhtoetnhe rsmepooltahicnges lAabelbedyq (orqA−1 i,n ttheeorbigrinaacl bkraectkewt foirlml ublaetionr)eaws ritten in the fol- ⟨ ⟩ −1 − lowintgo freofremr t:o theBs-msmoooothhiinnggs.sWleabsheolueld fqurt(hoerrnAote−thatinwethusee tohreiwgienll-aklnobwrancckonevtenftoiornmouf leant-ion) as B-smoothings.haWncedsshtaoteuslwdhfeurerathneernhnanocteedtshtaatet hwaseaulasbeeltohfe1 woreXll-oknneaocwh nof citos ncovmepnotnioennt of en- 1 hanced states wloohpesr.eWaenthennrheaganrcdethde svtaalute oh=fathsealoloapbqe+l oq−f q1asotrheXsumonofethaecvhalouef oiftsa ciorcmleponent (8) labeled with a 1 (the va⟨lue is q⟩) adde⟨d to the⟩va−lue of⟨a circl⟩e labeled with an X (the 1 1 loops. We thenvarleuge1aisrqd−th).eWveaclouueldohfavtehceholoseonpthqe m+orqe−neutarasl tlahbeelsuofm+1ofantdhe1vsaolutheatof a circle with = (q +q− ). It is useful to use this form of the brac−ket state sum for the sake labeled with a 1 (the value is q) added t+o1the value of a circle labeled with an X (the ⟨⃝⟩ 1 q +1 1 of thevagluraedisinq−g i)n. WtheecoKuhldohvaavneochvohseonmthoelmo⇐gor⇒ye (nteou⇐tbr⇒ael ldabeeslcsroifb+ed1 abnedlow1)s.oWthaet shall continue and 1 − to refer to the smoothings labele+d1 q (1or A− in the original bracket formulation) as q q− +1 1 1X, ⇐⇒⇐⇒ −⇐⇒⇐⇒ B-smoothings. Wbuet, ssinhcoe aunladlgefburaritnhvoelvrinngo1taendtXhantatuwralely uapspeeartshlaeterw, wee ltalk-ektnhios fwormn ocfonvention of en- hanceadndstates whleabreelinagnfroemnthheabengcinenidng.state has a label of 1 or X on each of its component 1 q− 1 X, 1 loops. We then regard the value of ⇐th⇒e l−oop⇐q⇒+ q− as the sum of the value of a circle labelebdut,wsinthceaan1a(lgtheberavainlvuoelviisngq1) andddXedntaotutrhalelyvaaplpueearsoflaaterc, iwrcelteakleabtheilsefdorwmiothf an X (the 1 valuelaisbeqli−ng )fr.oWm ethecobueglidnnhiangv.e chosen the more neutral labels of +1 and 1 so that 5 − q+1 +1 1 ⇐⇒ ⇐⇒ and 1 q− 5 1 X, ⇐⇒ − ⇐⇒ but, since an algebra involving 1 and X naturally appears later, we take this form of labeling from the beginning. 5 Cubism The bracket states form a category. How can we obtain topological information from this category? [16], and Bar-Natan’s emphasis on tangle cobordisms [2]. We use similar considera- tions in our paper [10]. Two key motivating ideas are involved in finding the Khovanov invariant. First of all, one would like to categorify a link polynomial such as K . There are many meanings to the term categorify, but here the quest is to find a w⟨ay ⟩to express the link polynomial as a graded Euler characteristic K = χq H(K) for some homology theory associated with K . ⟨ ⟩ ⟨ ⟩ ⟨ ⟩ The bracket polynomial [7] model for the Jones polynomial [4, 5, 6, 17] is usually described by the expansion 1 = A + A− (4) ⟨ ⟩ ⟨ ⟩ ⟨ ⟩ and we have 2 2 K = ( A A− ) K (5) ⟨ ⃝⟩ − − ⟨ ⟩ = ( A3) (6) Exploration: ⟨Examine⟩ the− Bracket⟨ ⟩ Polynomial for Clues.3 = ( A− ) (7) Let ⟨c(K) =⟩ number− of crossings⟨ ⟩on link K. -c(K) -1 Letting c(K) denote the nFormum bAe r o f c<K>ros sandin greplaces in t hAe byd i-qa g r .am K, if we replace K c(K) 1 ⟨ ⟩ by A− K , and then repThenlace theA skeinby relationq− , tforhe <K>bra cwillke t will be rewritten in the fol- lowing form⟨ : ⟩ be replaced− by: = q (8) ⟨ ⟩ ⟨ ⟩ − ⟨ ⟩ 1 with = (q +q− ). It is useful to use this form of the bracket state sum for the sake of the⟨⃝gr⟩ading in the Khovanov homology (to be described below). We shall continue 1 to refer to the smoothings labeled q (or A− in the original bracket formulation) as B-smoothings. We should further note that we use the well-known convention of en- hanced states where an enhanced state has a label of 1 or X on each of its component 1 loops. We then regard the value of the loop q + q− as the sum of the value of a circle labeled with a 1 (the value is q) added to the value of a circle labeled with an X (the 1 value is q− ). We could have chosen the more neutral labels of +1 and 1 so that − q+1 +1 1 ⇐⇒ ⇐⇒ and 1 q− 1 X, ⇐⇒ − ⇐⇒ but, since an algebra involving 1 and X naturally appears later, we take this form of labeling from the beginning. 5 Use enhanced states by labeling each loop with +1 or -1. +1 -1 = + -1 q + q + - = + = q + q-1 + + = + - = qq + + qq-1 + q -1 q + q -1 q -1 - + -1 + = qq + 2 + (qq) - - -1 2 + = (q + q ) 1 with a 1 (the value is q) added to the value of a circle labeled with an X (the value is q− ). We could have chosen the more neutral labels of +1 and 1 so that − q+1 +1 1 ⇐⇒Enhanced⇐ ⇒States and q 1 1 X, − 1 with a 1 (the value is q) added to the value of a circle⇐⇒ −labeled⇐⇒with an X (the value is q− ). We could have chosenbut, sincethe manorealgebraneutralinlabelsvolvingof1+1andandX naturally1 so that appears later, we take this form of labeling from the beginning. − q+1 +1 1 To see how the Khovanov grading arises,⇐consider⇒ ⇐the⇒ form of the expansion of this version of the andbracket polynonmial in enhanced states. We have the formula as a sum over enhanced states s : 1 Forq reasons− that will1 soonX become, apparent, we let K-1 be=⇐ denoted⇒ −( by1)⇐ Xn⇒B and(s) q+1j( sbe) denoted by 1. but, since an algebra involving 1 and X⟨naturally⟩ s appears− later, we take this form of labeling from the beginning. ! where nB(s) is the number of B-type smoothings in s, λ(s) is the number of loops in s labeled 1 minus theTnumbero see hoowf loopsthe KlabeledhovanovXgrading, and j(sarises,) = nBc(onsiders) + λ(sthe). Tformhis cofan thebe reewrittenxpansionin othef thisfollovwingersionform:of the bracket polynonmial in enhanced states. We have the formula as a sum over enhanced states s : K = ( 1)iqjdim( ij) ⟨ ⟩ − n (s) j(Cs) K = !i ,j ( 1) B q ⟨ ⟩ s − where we define ij to be the linear span (ove!r k = Z/2Z as we will work with mod 2 coefficients) of C wherethe setnofB(senhanced) is the numberstates withof Bn-typeB(s) smoothings= i and j(s)in=s,jλ. (Thens) is thethe numbernumberooffsluchoopsstatesin s labeledis the dimension1 minus thedimnumber( ij). of loops labeled X, and j(s) = nB(s) + λ(s). This can be rewritten in the following form: C i j ij We would like to have a bigraded compleK x=composed( 1)ofq dimthe (ij with) a differential ⟨ ⟩ i ,j − C C ! ∂ : ij i+1 j. where we define ij to be the linear span (overCk =−→Z/C2Z as we will work with mod 2 coefficients) of C theThesetdifofferentialenhancedshouldstatesincreasewith nBthe(s)homolo= i andgicalj(sg)rading= j. Theni by 1theandnumberpreservoef thesuchquantumstates isgrtheadingdimensionj. Then dimwe (couldij). write C j i ij j j K = q ( 1) dim( ) = q χ( • ), We would like to have a bigraded⟨ ⟩ complex composed− of theC ij with a difCferential !j !i C !j j ij i+1 j j where χ( • ) is the Euler characteristic of∂the: subcomplex .• for a fixed value of j. C C −→ C C TheThisdifformulaferentialwshouldould constituteincrease tahecatehomologorificationgical groadingf the bracki by 1etandpolynomial.preserve theBeloquantumw, we shallgradingsee jh.oThenw the weoriginalcould wKhoritevanov differential ∂ is uniquely determined by the restriction that j(∂s) = j(s) for each j i ij j j j enhanced state s.
Load more

Recommended publications
  • Coloring Link Diagrams and Conway-Type Polynomial of Braids
    COLORING LINK DIAGRAMS AND CONWAY-TYPE POLYNOMIAL OF BRAIDS MICHAEL BRANDENBURSKY Abstract. In this paper we define and present a simple combinato- rial formula for a 3-variable Laurent polynomial invariant I(a; z; t) of conjugacy classes in Artin braid group Bm. We show that the Laurent polynomial I(a; z; t) satisfies the Conway skein relation and the coef- −k ficients of the 1-variable polynomial t I(a; z; t)ja=1;t=0 are Vassiliev invariants of braids. 1. Introduction. In this work we consider link invariants arising from the Alexander-Conway and HOMFLY-PT polynomials. The HOMFLY-PT polynomial P (L) is an invariant of an oriented link L (see for example [10], [18], [23]). It is a Laurent polynomial in two variables a and z, which satisfies the following skein relation: ( ) ( ) ( ) (1) aP − a−1P = zP : + − 0 The HOMFLY-PT polynomial is normalized( in) the following way. If Or is r−1 a−a−1 the r-component unlink, then P (Or) = z . The Conway polyno- mial r may be defined as r(L) := P (L)ja=1. This polynomial is a renor- malized version of the Alexander polynomial (see for example [9], [17]). All coefficients of r are finite type or Vassiliev invariants. Recently, invariants of conjugacy classes of braids received a considerable attention, since in some cases they define quasi-morphisms on braid groups and induce quasi-morphisms on certain groups of diffeomorphisms of smooth manifolds, see for example [3, 6, 7, 8, 11, 12, 14, 15, 19, 20]. In this paper we present a certain combinatorial construction of a 3-variable Laurent polynomial invariant I(a; z; t) of conjugacy classes in Artin braid group Bm.
    [Show full text]
  • Lecture 1 Knots and Links, Reidemeister Moves, Alexander–Conway Polynomial
    Lecture 1 Knots and links, Reidemeister moves, Alexander–Conway polynomial 1.1. Main definitions A(nonoriented) knot is defined as a closed broken line without self-intersections in Euclidean space R3.A(nonoriented) link is a set of pairwise nonintertsecting closed broken lines without self-intersections in R3; the set may be empty or consist of one element, so that a knot is a particular case of a link. An oriented knot or link is a knot or link supplied with an orientation of its line(s), i.e., with a chosen direction for going around its line(s). Some well known knots and links are shown in the figure below. (The lines representing the knots and links appear to be smooth curves rather than broken lines – this is because the edges of the broken lines and the angle between successive edges are tiny and not distinguished by the human eye :-). (a) (b) (c) (d) (e) (f) (g) Figure 1.1. Examples of knots and links The knot (a) is the right trefoil, (b), the left trefoil (it is the mirror image of (a)), (c) is the eight knot), (d) is the granny knot; 1 2 the link (e) is called the Hopf link, (f) is the Whitehead link, and (g) is known as the Borromeo rings. Two knots (or links) K, K0 are called equivalent) if there exists a finite sequence of ∆-moves taking K to K0, a ∆-move being one of the transformations shown in Figure 1.2; note that such a transformation may be performed only if triangle ABC does not intersect any other part of the line(s).
    [Show full text]
  • New Skein Invariants of Links
    NEW SKEIN INVARIANTS OF LINKS LOUIS H. KAUFFMAN AND SOFIA LAMBROPOULOU Abstract. We introduce new skein invariants of links based on a procedure where we first apply the skein relation only to crossings of distinct components, so as to produce collections of unlinked knots. We then evaluate the resulting knots using a given invariant. A skein invariant can be computed on each link solely by the use of skein relations and a set of initial conditions. The new procedure, remarkably, leads to generalizations of the known skein invariants. We make skein invariants of classical links, H[R], K[Q] and D[T ], based on the invariants of knots, R, Q and T , denoting the regular isotopy version of the Homflypt polynomial, the Kauffman polynomial and the Dubrovnik polynomial. We provide skein theoretic proofs of the well- definedness of these invariants. These invariants are also reformulated into summations of the generating invariants (R, Q, T ) on sublinks of a given link L, obtained by partitioning L into collections of sublinks. Contents Introduction1 1. Previous work9 2. Skein theory for the generalized invariants 11 3. Closed combinatorial formulae for the generalized invariants 28 4. Conclusions 38 5. Discussing mathematical directions and applications 38 References 40 Introduction Skein theory was introduced by John Horton Conway in his remarkable paper [16] and in numerous conversations and lectures that Conway gave in the wake of publishing this paper. He not only discovered a remarkable normalized recursive method to compute the classical Alexander polynomial, but he formulated a generalized invariant of knots and links that is called skein theory.
    [Show full text]
  • An Introduction to Knot Theory
    An Introduction to Knot Theory Matt Skerritt (c9903032) June 27, 2003 1 Introduction A knot, mathematically speaking, is a closed curve sitting in three dimensional space that does not intersect itself. Intuitively if we were to take a piece of string, cord, or the like, tie a knot in it and then glue the loose ends together, we would have a knot. It should be impossible to untangle the knot without cutting the string somewhere. The use of the word `should' here is quite deliberate, however. It is possible, if we have not tangled the string very well, that we will be able to untangle the mess we created and end up with just a circle of string. Of course, this circle of string still ¯ts the de¯nition of a closed curve sitting in three dimensional space and so is still a knot, but it's not very interesting. We call such a knot the trivial knot or the unknot. Knots come in many shapes and sizes from small and simple like the unknot through to large and tangled and messy, and beyond (and everything in between). The biggest questions to a knot theorist are \are these two knots the same or di®erent" or even more importantly \is there an easy way to tell if two knots are the same or di®erent". This is the heart of knot theory. Merely looking at two tangled messes is almost never su±cient to tell them apart, at least not in any interesting cases. Consider the following four images for example.
    [Show full text]
  • Alexander-Conway and Jones Polynomials∗
    CS E6204 Lectures 9b and 10 Alexander-Conway and Jones Polynomials∗ Abstract Before the 1920's, there were a few scattered papers concerning knots, notably by K. F Gauss and by Max Dehn. Knot theory emerged as a distinct branch of topology under the influence of J. W. Alexander. Emil Artin, Kurt Reidemeister, and Herbert Seifert were other important pioneers. Knot theory came into ma- turity in the 1940's and 1950's under the influence of Ralph Fox. Calculating knot polynomials is a standard way to de- cide whether two knots are equivalent. We now turn to knot polynomials, as presented by Kunio Mura- sugi, a distinguished knot theorist, with supplements on the classical Alexander matrix and knot colorings from Knot Theory, by Charles Livingston. * Extracted from Chapters 6 and 11 of Knot Theory and Its Applications, by Kunio Murasugi (Univ. of Toronto). 1 Knots and Graphs 2 Selections from Murasugi x6.2 The Alexander-Conway polynomial x6.3 Basic properties of the A-C polynomial x11.1 The Jones polynomial x11.2 Basic properties of the Jones polynomial Knots and Graphs 3 1 The Alexander-Conway polynomial Calculating Alexander polynomials used to be a tedious chore, since it involved the evaluation of determinants. Conway made it easy by showing that they could be defined by a skein relation. The Alexander-Conway polynomial rK(z) for a knot K is a Laurent polynomial in z, which means it may have terms in which z has a negative exponent. Axiom 1: If K is the trivial knot, then rK(z) = 1.
    [Show full text]
  • A Knot Polynomial Invariant for Analysis of Topology of RNA Stems and Protein Disulfide Bonds
    Mol. Based Math. Biol. 2017; 5:21–30 Research Article Open Access Wei Tian, Xue Lei, Louis H. Kauffman, and Jie Liang* A Knot Polynomial Invariant for Analysis of Topology of RNA Stems and Protein Disulfide Bonds DOI 10.1515/mlbmb-2017-0002 Received January 4, 2017; accepted March 30, 2017 Abstract: Knot polynomials have been used to detect and classify knots in biomolecules. Computation of knot polynomials in DNA and protein molecules have revealed the existence of knotted structures, and pro- vided important insight into their topological structures. However, conventional knot polynomials are not well suited to study RNA molecules, as RNA structures are determined by stem regions which are not taken into account in conventional knot polynomials. In this study, we develop a new class of knot polynomials specifically designed to study RNA molecules, which considers stem regions. We demonstrate that ourknot polynomials have direct structural relation with RNA molecules, and can be used to classify the topology of RNA secondary structures. Furthermore, we point out that these knot polynomials can be used to model the topological effects of disulfide bonds in protein molecules. Keywords: Topological knot, RNA molecules, Knot polynomials 1 Introduction 3 A topological knot may exist in a closed curve embedded in R . As topological invariants, knot polynomials are used to detect the existence of knots and to classify them [1, 2, 4]. Knot polynomials can be computed for a DNA or a protein molecule: the trace of the DNA duplex or the protein backbone is first closed off such that the topology of the molecule is otherwise unaffected [3].
    [Show full text]
  • Skein Theory and Algebraic Geometry for the Two-Variable Kauffman Invariant of Links
    University of Massachusetts Amherst ScholarWorks@UMass Amherst Doctoral Dissertations Dissertations and Theses November 2016 Skein Theory and Algebraic Geometry for the Two-Variable Kauffman Invariant of Links Thomas Shelly University of Massachusetts Amherst Follow this and additional works at: https://scholarworks.umass.edu/dissertations_2 Part of the Algebraic Geometry Commons Recommended Citation Shelly, Thomas, "Skein Theory and Algebraic Geometry for the Two-Variable Kauffman Invariant of Links" (2016). Doctoral Dissertations. 804. https://doi.org/10.7275/8997645.0 https://scholarworks.umass.edu/dissertations_2/804 This Open Access Dissertation is brought to you for free and open access by the Dissertations and Theses at ScholarWorks@UMass Amherst. It has been accepted for inclusion in Doctoral Dissertations by an authorized administrator of ScholarWorks@UMass Amherst. For more information, please contact [email protected]. SKEIN THEORY AND ALGEBRAIC GEOMETRY FOR THE TWO-VARIABLE KAUFFMAN INVARIANT OF LINKS A Dissertation Presented by THOMAS SHELLY Submitted to the Graduate School of the University of Massachusetts Amherst in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY September 2016 Department of Mathematics and Statistics c Copyright by Thomas Shelly 2016 All Rights Reserved SKEIN THEORY AND ALGEBRAIC GEOMETRY FOR THE TWO-VARIABLE KAUFFMAN INVARIANT OF LINKS A Dissertation Presented by THOMAS SHELLY Approved as to style and content by: Alexei Oblomkov, Chair Tom Braden, Member Inan¸cBaykur, Member Andrew McGregor Computer Science, Outside Member Farshid Hajir, Department Head Mathematics and Statistics DEDICATION To Nikki, of course. ACKNOWLEDGEMENTS I am greatly indebted to my advisor, Alexei Oblomkov, for his guidance, sup- port, and generosity.
    [Show full text]
  • Colored HOMFLY Polynomials of Genus-2 Pretzel Knots
    Colored HOMFLY Polynomials of Genus-2 Pretzel Knots William Qin mentor: Yakov Kononov Millburn High School October 18, 2020 MIT PRIMES Conference William Qin Colored HOMFLY of Pretzel Knots October 2020 1 / 17 (a) Closure of a Braid (b) One Branch of a Double-Fat Diagram Figure: Different knot presentations Knots Definition (Knot) A knot is an embedding from a circle to R3 up to any continuous transformation, most simply defined. William Qin Colored HOMFLY of Pretzel Knots October 2020 2 / 17 (b) One Branch of a Double-Fat Diagram Figure: Different knot presentations Knots Definition (Knot) A knot is an embedding from a circle to R3 up to any continuous transformation, most simply defined. (a) Closure of a Braid William Qin Colored HOMFLY of Pretzel Knots October 2020 2 / 17 Knots Definition (Knot) A knot is an embedding from a circle to R3 up to any continuous transformation, most simply defined. (a) Closure of a Braid (b) One Branch of a Double-Fat Diagram Figure: Different knot presentations William Qin Colored HOMFLY of Pretzel Knots October 2020 2 / 17 Knot Classification Definition (Pretzel Knots) A pretzel knot is a knot of the form shown. The parameters used here are the numbers of twists in the ellipses. We can have many ellipses. Figure: An illustration of a genus g pretzel knot William Qin Colored HOMFLY of Pretzel Knots October 2020 3 / 17 Reidemeister Moves Proposition (Reidemeister Moves) If and only if a sequence of Reidemeister moves can transform one knot or link to another, they are equivalent. The three Reidemeister moves are illustrated below.
    [Show full text]
  • Torus Links and the Bracket Polynomial by Paul Corbitt [email protected] Advisor: Dr
    Torus Links and the Bracket Polynomial By Paul Corbitt [email protected] Advisor: Dr. Michael McLendon [email protected] April 2004 Washington College Department of Mathematics and Computer Science A picture of some torus knots and links. The first several (n,2) links have dots in their center. [1] 1 Table of Contents Abstract 3 Chapter 1: Knots and Links 4 History of Knots and Links 4 Applications of Knots and Links 7 Classifications of Knots 8 Chapter 2: Mathematics of Knots and Links 11 Knot Polynomials 11 Developing the Bracket Polynomial 14 Chapter 3: Torus Knots and Links 16 Properties of Torus Links 16 Drawing Torus Links 18 Writhe of Torus Link 19 Chapter 4: Computing the Bracket Polynomial Of (n,2) Links 21 Computation of Bracket Polynomial 21 Recurrence Relation 23 Conclusion 27 Appendix A: Maple Code 28 Appendix B: Bracket Polynomial to n=20 29 Appendix C: Braids and (n,2) Torus Links 31 Appendix D: Proof of Invariance Under R III 33 Bibliography 34 Picture Credits 35 2 Abstract In this paper torus knots and links will be investigated. Links is a more generic term than knots, so a reference to links includes knots. First an overview of the study of links is given. Then a method of analysis called the bracket polynomial is introduced. A specific class called (n,2) torus links are selected for analysis. Finally, a recurrence relation is found for the bracket polynomial of the (n,2) links. A complete list of sources consulted is provided in the bibliography. 3 Chapter 1: Knots and Links Knot theory belongs to a branch of mathematics called topology.
    [Show full text]
  • Unsolved Problems in Virtual Knot Theory and Combinatorial Knot
    Unsolved Problems in Virtual Knot Theory and Combinatorial Knot Theory Roger Fenn Department of Mathematics, University of Sussex, England [email protected] Denis P. Ilyutko Department of Mechanics and Mathematics, Moscow State University, Russia [email protected] Louis H. Kauffman Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago, USA kauff[email protected] Vassily O. Manturov Department of Fundamental Sciences, Bauman Moscow State Technical University, Russia and Laboratory of Quantum Topology, Chelyabinsk State University, Russia [email protected] arXiv:1409.2823v1 [math.GT] 9 Sep 2014 Abstract This paper is a concise introduction to virtual knot theory, coupled with a list of research problems in this field. 1 Contents 1 Introduction 2 2 Knot Theories 3 2.1 Virtualknottheory.......................... 3 2.2 Flatvirtualknotsandlinks . 4 2.3 Interpretation of virtual knots as stable classes of links in thickened surfaces ................................ 7 3 Switching and Virtualizing 8 4 Atoms 11 5 Biquandles 12 5.1 Mainconstructions .......................... 12 5.2 TheAlexanderbiquandle . 15 6 Biracks, Biquandles etc: 16 6.1 Maindefinitions ........................... 16 6.2 Homology of biracks and biquandles . 20 7 Graph-links 21 8 A List of Problems 23 8.1 Problems in and related with virtual knot theory . 23 8.2 Problemsonvirtualknotcobordism . 39 8.2.1 Virtual surfaces in four-space . 40 8.2.2 Virtual Khovanov homology . 46 8.2.3 Band-passing and other problems . 46 8.2.4 Questions from Micah W. Chrisman . 47 8.3 QuestionsfromV.Bardakov. 47 8.4 QuestionsfromKareneChu . 48 8.5 QuestionsfromMicahW.Chrisman . 50 8.5.1 Finite-type invariants . 50 8.5.2 Prime decompositions of long virtual knots .
    [Show full text]
  • Generalized Multivariable Alexander Invariants for Virtual Knots and Links
    Generalized Multivariable Alexander Invariants for Virtual Knots and Links by Alex P. Miller Thesis Supervisor: Professor Arkady Vaintrob A thesis submitted to the Clark Honors College and the Department of Mathematics at the University of Oregon in partial fulfillment of the requirements for the degree of Bachelor of Arts in Mathematics with honors JUNE 2012 Abstract Virtual knot theory was introduced by Louis Kauffman in 1996 as a generalization of classical knot theory. This has motivated the development of invariants for virtual knots which gener- alize classical knot invariants. After providing an overview of knot theory, we study Alexander invariants (i.e., module, polynomial) and their generalization to virtual knots. Several papers ([Saw],[SW1],[Ma1],[KR],[FJK],[ BF]) have previously addressed this topic to varying ex- tents. The title of this paper has dual meaning: Based on the work of[ FJK], we describe an intuitive approach to discovering a two variable polynomial invariant ∆i(s; t) which we call the generalized Alexander polynomial|named such because setting s = 1 returns the classical Alexander polynomial (Section6). Furthermore, after showing how the invariants discussed by other authors are specializations of this polynomial (Section7), we introduce a formulation of the generalized multivariable Alexander polynomial ∆i(s; t1; : : : ; tl) for virtual links in a manner which is not presently found in the literature (Section8). Lastly, we use[ Pol] to more efficiently address the subtleties of oriented Reidemeister moves involved in establishing the invariance of the aforementioned polynomials (Section9). key words: multivariable Alexander polynomial, multivariable biquandle, virtual links, Alexan- der switch 1 ACKNOWLEDGEMENTS I would like to thank Professor Arkady Vaintrob for inspiring my interest in topology, being a helpful teacher and faculty adviser, and volunteering his own time to help me with this project.
    [Show full text]
  • Multi-Skein Invariants for Welded and Extended Welded Knots and Links
    Background Setup Results Multi-Skein Invariants for Welded and Extended Welded Knots and Links Nick Backes, Megan Kaiser, Tim Leafblad, Emma I.C. Peterson Faculty Mentor: D. N. Yetter University of Minnesota, North Central College, Truman State University, University of Minnesota, Kansas State University July 20, 2019 N. Backes, M. Kaiser, T. Leafblad, E. I. C. Peterson 1 / 35 Background Setup Results Overview • Background • Knots and Links • Reidemeister Moves • Invariants • Setup • Yang-Type Skein Relation • Results • Welded • Extended Welded N. Backes, M. Kaiser, T. Leafblad, E. I. C. Peterson 2 / 35 Background Knots and Links Setup Reidemeister Moves Results Invariants Knots What is a mathematical knot? • Tie a knot on a string and splice the ends together 3 • A classical knot is an embedding of the circle into R up to ambient isotopy • A link is an embedding of a disjoint union of circles • Useful to represent as a two-dimensional diagram N. Backes, M. Kaiser, T. Leafblad, E. I. C. Peterson 3 / 35 Background Knots and Links Setup Reidemeister Moves Results Invariants Diagram Examples1 1 C. Even-Zohar. Models of random knots. Journal of Applied and Computational Topology, 1(2), 263-296 (2017). doi:10.1007/s41468-017-0007-8. N. Backes, M. Kaiser, T. Leafblad, E. I. C. Peterson 4 / 35 Background Knots and Links Setup Reidemeister Moves Results Invariants Types of Crossings Feature Diagram 4-Dimensional2 Positive Crossing Negative Crossing Virtual Crossing Wen Mark 2 C. Damiani. A journey through loop braid groups. Arxiv preprint arXiv:1605.02323 (2016). N. Backes, M. Kaiser, T. Leafblad, E. I.
    [Show full text]