Arxiv:1701.03999V1 [Math.GT] 15 Jan 2017 Eeaie Nntignme Favrulko Sflos O Any for Follows: As Knot Virtual a of Number Unknotting Generalized One
Total Page:16
File Type:pdf, Size:1020Kb
VIRTUAL UNKNOTTING NUMBERS OF CERTAIN VIRTUAL TORUS KNOTS MASAHARU ISHIKAWA AND HIROKAZU YANAGI Abstract. The virtual unknotting number of a virtual knot is the minimal number of crossing changes that makes the virtual knot to be the unknot, which is defined only for virtual knots virtually homotopic to the unknot. We focus on the virtual knot obtained from the standard (p, q)-torus knot diagram by replacing all crossings on one overstrand into virtual crossings and prove that its virtual unknotting number is equal to the unknotting number of the (p, q)-torus knot, i.e. it is (p − 1)(q − 1)/2. 1. Introduction The notion of virtual knots was introduced by Kauffman in [7] as a generalization of classical knots. A virtual knot diagram is a diagram obtained from a knot diagram by changing some of crossings into, so-called, virtual crossings. A virtual crossing is depicted by a small circle around the crossing point, for example see Figure 1 below. Two virtual knot diagrams are said to be equivalent if they are related by isotopy of diagrams and generalized Reidemeister moves shown in Figure 2. An equivalence class, or a diagram in this equivalent class, is called a virtual knot. We can also define a virtual knot as an embedding of a circle into a thickened surface. If a virtual knot can be modified into the unknot by generalized Reidemeiter moves and crossing changes then we say that the virtual knot is virtually null-homotopic. Here a crossing change is an operation which replaces an overstand at a classical crossing into an understrand. Remark that there exist virtual knots which cannot be modified into the unknot by only crossing changes. There are several unknotting operations for virtual knots. For example, an operation which replaces a classical crossing of a diagram of a virtual knot by a virtual crossing is called a virtualization∗, and any virtual knot can be modified into the unknot by applying arXiv:1701.03999v1 [math.GT] 15 Jan 2017 virtualizations successively. A forbidden move, introduced by Goussarov, Polyak and Viro [2], is also known as an unknotting operation [6, 13]. A forbidden detour move, which is essentially introduced in [6, 13], is also, see [16]. In [1], Byberi and Chernov introduced the notion of the virtual unknotting number for virtually null-homotopic virtual knots [1]. The virtual unknotting number vu(K) of a virtually null-homotopic virtual knot K is the minimal number of crossing changes needed to modify K into the unknot. They studied virtual unknotting numbers for virtual knots with virtual bridge number one. Recently, in [9], Kaur, Kamada, Kawauchi and Prabhakar introduced the notion of the generalized unknotting number of a virtual knot as follows: For any virtual knot diagram, 2010 Mathematics Subject Classification. Primary 57M25; Secondary 57M27. Key words and phrases. unknotting number, virtual knot. ∗The terminology “virtualization” is used in [8] for a different operation. 1 2 MASAHARUISHIKAWAANDHIROKAZUYANAGI there exists a sequence of virtualizations and crossing changes such that the virtual knot is modified into a virtual knot diagram virtually homotopic to the unknot. For such a sequence s for a virtual knot K, let vs and cs denote the number of virtualizations and crossing changes in the sequence, respectively. Then the generalized unknotting number U(K) of a virtual knot K is defined by the minimal pair (vs,cs) among such sequences and choices of diagrams of K, where the minimality is defined by the lexicographic order. For example, min{(2, 0), (0, 1)} = (0, 1). In [9], they determined the generalized unknot- ting numbers of virtual knots obtained from the standard (2,p)-torus knot diagrams by changing odd number of classical crossings into virtual crossings, and also those of vir- tual knots obtained from the standard twisted knot diagrams by changing some specific crossings into virtual crossings. In this paper, we study the virtual unknotting numbers for a certain class of virtual knots obtained from the standard torus knot diagrams by applying virtualizations. Let D(Tp,q) be the standard (p, q)-torus knot diagram, where p is the braid index and p,q > 0. Here we do not care in which side we close the braid since we think of it as a diagram 2 on S . The diagram has q overstrands and we label them by a1, a2,...,aq in a canonical order. Fix an integer n ∈{1,...,q} and virtualize all classical crossings at which ai passes n as an overstrand for i = 1,...,n. We denote the obtained virtual knot by V Tp,q. Note n n that the supporting genus of V Tp,q is at most one and this implies that V Tp,q is virtually null-homotopic, see Remark 3.1. 1 Figure 1. The closure of this braid is V T7,3. The following is our main theorem. 1 Theorem 1.1. The virtual unknotting number of the virtual knot V Tp,q is (p − 1)(q − 1) vu(V T 1 )= . p,q 2 We will prove this theorem by the same method as in [1]: the lower bound is given by the P -invariant and the upper bound is done by demonstrating an unknotting sequence explicitly. At the beginning of this study, we checked the lower bounds of the virtual unknotting numbers for a few virtual knots obtained from the standard torus knot diagrams by applying virtualizations. We may call such knots virtual torus knots. It is well-known that the unknotting number of the (p, q)-torus knot is (p − 1)(q − 1)/2, which was conjectured by Milnor [12] and proved by Kronheimer and Mrowka [10]. Examining a few examples, VIRTUAL UNKNOTTING NUMBERS OF CERTAIN VIRTUAL TORUS KNOTS 3 1 we found that the virtual unknotting number of V Tp,q is exactly same as the unknotting number of the (p, q)-torus knot, which brought us the above theorem. On the other hand, 2 for the virtual knot V Tp,q, we are not sure if the lower bound obtained by the P -invariant attains the virtual unknotting number or not. This will be discussed in Section 5.1. If we choose the virtualization on the standard torus knot diagram randomly, then the obtained virtual knot may not be virtually homotopic to the unknot, see Section 5.2. The authors would like to thank Andrei Vesnin for telling us the result of Kaur, Ka- mada, Kawauchi and Prabhakar. They also thank Shin Sato for telling them the fact mentioned in Remark 3.1 and thank Vladimir Chernov and Seiichi Kamada for helpful comments. The first author is supported by the Grant-in-Aid for Scientific Research (C), JSPS KAKENHI Grant Number 16K05140. 2. Preliminaries 2.1. Sign at a classical crossing. For a virtual knot diagram D, we assign an orienta- tion to the virtual knot. We say that a classical crossing of D is positive if the understrand passes though the crossing from the right to the left with respect to the overstrand. Oth- erwise, it is said to be negative. The sign sign(c) at a crossing point c is defined to be +1 if it is positive and −1 otherwise. A crossing change changes a positive crossing into a negative one and vice-versa. 2.2. Generalized Reidemeister moves. The local moves of virtual knot diagrams de- scribed in Figure 2 are called generalized Reidemeister moves. The moves R1, R2, R3 are called classical Reidemeister moves. It is known that two classical knot diagrams represent the same knot if and only if these diagrams are related by classical Reidemeister moves. For virtual knots, we have four additional moves VR1, VR2, VR3 and MR. The moves VR1, VR2, VR3 are called virtual Reidemeister moves and the move MR is called a mixed Reidemeister move. By definition, two virtual knot diagrams represent the same virtual knot if and only if these diagrams are related by generalized Reidemeister moves. Two virtual knots are said to be virtually homotopic if they are related by isotopy, gen- eralized Reidemeister moves and crossing changes. If a virtual knot is virtually homotopic to the unknot then we say that it is virtually null-homotopic. 3. Upper bound 3.1. Virtual knot (i, j, k). Let i, j and k be integers such that 0 < j and 0 ≤ k < 1 i. We denote by V Bi,j the virtual braid diagram obtained from the braid part of the standard diagram of the (i, j)-torus link by changing all classical crossings on the left- 1 most overstrand into virtual crossings. For example, the braid in Figure 1 is V B7,3. Let Bk be the braid given by σkσk−1 ··· σ2σ1 as shown in Figure 3, where we read the braid words from the left to the right. We denote by (i, j, k) the virtual link diagram obtained 1 as the closure of the product of V Bi,j and Bk. Hereafter, we always assume that (i, j, k) is a virtual knot, that is, it has only one link component. Remark 3.1. It is known by Masuda in [11, Lemma 5.8] that if the supporting genus of a virtual knot is at most one then it is virtually null-homotopic. The proof is done by realizing the virtual knot as a knot on a torus and straightening it in the torus. If it is 4 MASAHARUISHIKAWAANDHIROKAZUYANAGI Îʽ ʽ ʽ Îʾ ʾ ÎÊ¿ Ê¿ ÅÊ Figure 2. Generalized Reidemeister moves. ½ ¾ i : bÖaid iÒdeÜ k Figure 3. The braid Bk. homotopic to a straight line in the torus then the corresponding virtual knot is virtually homotopic to the unknot.