Searcharxiv⌕ Search

arXiv subjects

Noboru Ito

Publications and source records attributed to Noboru Ito.

At least 37 records · Page 2Linked to original sources
arXiv2022

Variations of Milnor's triple linking number

Topological polymers have various topological types, and they are expressed by graphs. However, the Jones polynomial, we have a difficulty to compute it; computational time is growing exponentially with respect to the crossing number. The simplest Vassiliev invariant is the linking number and thus we will seek a next simple one is as the Milnor's triple linking number. In this paper, we introduce simple Gauss diagram formulas of Vassiliev invariants of Milnor type. These are non-torsion valued, whereas the base-point-free Milnor's triple linking number is usually torsion-valued.

math.GT↗
arXiv2022

$\mathfrak{gl}(1 \vert 1)$-Alexander polynomial for $3$-manifolds

As an extension of Reshetikhin and Turaev's invariant, Costantino, Geer and Patureau-Mirand constructed $3$-manifold invariants in the setting of relative $G$-modular categories, which include both semisimple and non-semisimple ribbon tensor categories as examples. In this paper, we follow their method to construct a $3$-manifold invariant from Viro's $\mathfrak{gl}(1\vert 1)$-Alexander polynomial. We take lens spaces $L(7, 1)$ and $L(7, 2)$ as examples to show that this invariant can distinguish homotopy equivalent manifolds.

math.GT↗
arXiv2022

On Type II Reidemeister moves of links

Östlund (2001) showed that all planar isotopy invariants of generic plane curves that are unchanged under cusp moves and triple point moves, and of finite degree (in self-tangency moves) are trivial. Here the term "of finite degree" means Arnold-Vassiliev type. It implies the conjecture, which was often called Östlund conjecture: "Types I and III Reidemeister moves are sufficient to describe a homotopy from any generic immersion from the circle into the plain to the standard embedding of the circle". Although counterexamples are known nowadays, there had been no (easy computable) function that detects the difference between the counterexample and the standard embedding on the plain. However, we introduce a desired function (Gauss diagram formula) is found for the two-component case.

math.GT↗
arXiv2022

On elementary moves of singular Legendrian knots

We have two results. First, we give 96 generating sets oriented singular Reidemeister moves; it is an answer to a question by Bataineh, Khaled, Elhamdadi, and Hajij who give a generating set of oriented singular Reidemeister moves using their computation. Second, in the theory of plane curve and Legendrian knots introduced by V. I. Arnold, we select which moves survive as those of Legendrian singular knots and fronts diagrammatically and explicitly.

math.GT↗
arXiv2021

New invariants of Legendrian knots

We give new functions of Legendrian knots derived from Legendrian fronts. These are integer-valued linear functions that are alike the Arnold basic invariant of plane curves. Various generalizations of the Arnold basic invariant have been known. In this paper, we give another extension of Arnold's idea.

math.GT↗
arXiv2021

Any nontrivial knot projection with no triple chords has a monogon or a bigon

A generic immersion of a circle into a $2$-sphere is often studied as a projection of a knot; it is called a knot projection. A chord diagram is a configuration of paired points on a circle; traditionally, the two points of each pair are connected by a chord. A triple chord is a chord diagram consisting of three chords, each of which intersects the other chords. Every knot projection obtains a chord diagram in which every pair of points corresponds to the inverse image of a double point. In this paper, we show that for any knot projection $P$, if its chord diagram contains no triple chord, then there exists a finite sequence from $P$ to a simple closed curve such that the sequence consists of flat Reidemeister moves, each of which decreases $1$-gons or strong $2$-gons, where a strong $2$-gon is a $2$-gon oriented by an orientation of $P$.

math.GT↗
arXiv2021

The tabulation of prime knot projections with their mirror images up to eight double points

This paper provides the complete table of prime knot projections with their mirror images, without redundancy, up to eight double points systematically thorough a finite procedure by flypes. In this paper, we show how to tabulate the knot projections up to eight double points by listing tangles with at most four double points by an approach with respect to rational tangles of J. H. Conway. In other words, for a given prime knot projection of an alternating knot, we show how to enumerate possible projections of the alternating knot. Also to tabulate knot projections up to ambient isotopy, we introduce arrow diagrams (oriented Gauss diagrams) of knot projections having no over/under information of each crossing, which were originally introduced as arrow diagrams of knot diagrams by M. Polyak and O. Viro. Each arrow diagram of a knot projection completely detects the difference between the knot projection and its mirror image.

math.GT↗
arXiv2020

Jones polynomials of long virtual knots

This paper defines versions of the Jones polynomial and Khovanov homology by using several maps from the set of Gauss diagrams to its variant. Through calculation of some examples, this paper also shows that these versions behave differently from the original ones.

math.GT↗
arXiv2020

Space of chord diagrams on spherical curves

In this paper, we give a definition of $\mathbb{Z}$-valued functions from the ambient isotopy classes of spherical/plane curves derived from chord diagrams, denoted by $\sum_i α_i x_i$. Then, we introduce certain elements of the free $\mathbb{Z}$-module generated by the chord diagrams with at most $l$ chords, called relators of Type (I) ((SII), (WII), (SIII), or (WIII), resp.), and introduce another function $\sum_i α_i \tilde{x}_i$ derived from $\sum_i α_i x_i$. The main result (Theorem~1) shows that if $\sum_i α_i \tilde{x}_i$ vanishes for the relators of Type (I) ((SII), (WII), (SIII), or (WIII), resp.), then $\sum_i α_i x_i$ is invariant under the Reidemeister move of type RI (strong RII, weak RII, strong RIII, or weak RIII, resp.) that is defined in [Ito-Takimura (2013), J. Knot Theory Ramifications].

math.GT↗
arXiv2020

Thirty-two equivalence relations on knot projections

We consider 32 homotopy classifications of knot projections (images of generic immersions from a circle into a 2-sphere). These 32 equivalence relations are obtained based on which moves are forbidden among the five type of Reidemeister moves. We show that 32 cases contain 20 non-trivial cases that are mutually different. To complete the proof, we obtain new tools, i.e., new invariants.

math.GT↗
arXiv2020

Strong and weak (1, 3) homotopies on knot Projections

Strong and weak (1, 3) homotopies are equivalence relations on knot projections, defined by the first flat Reidemeister move and each of two different types of the third flat Reidemeister moves. In this paper, we introduce the cross chord number that is the minimal number of double points of chords of a chord diagram. Cross chord numbers induce a strong (1, 3) invariant. We show that Hanaki's trivializing number is a weak (1, 3) invariant. We give a complete classification of knot projections having trivializing number two up to the first flat Reidemeister moves using cross chord numbers and the positive resolutions of double points. Two knot projections with trivializing number two are both weak (1, 3) homotopy equivalent and strong (1, 3) homotopy equivalent if and only if they can be related by only the first flat Reidemeister moves. Finally, we determine the strong (1, 3) homotopy equivalence class containing the trivial knot projection and other classes of knot projections.

math.GT↗
arXiv2020

On a nontrivial knot projection under (1, 3) homotopy

In 2001, Östlund formulated the question: are Reidemeister moves of types 1 and 3 sufficient to describe a homotopy from any generic immersion of a circle in a two-dimensional plane to an embedding of the circle? The positive answer to this question was treated as a conjecture (Östlund conjecture). In 2014, Hagge and Yazinski disproved the conjecture by showing the first counterexample with a minimal crossing number of 16. This example is naturally extended to counterexamples with given even minimal crossing numbers more than 14. This paper obtains the first counterexample with a minimal crossing number of 15. This example is naturally extended to counterexamples with given odd minimal crossing numbers more than 13.

math.GT↗
arXiv2020

Circle arrangements of link projections

An oriented link projection is the image of a generic immersion of oriented circles into the 2-sphere. The circle arrangement of a link projection is a disjoint union of unoriented circles on the 2-sphere obtained by orientation-incoherent smoothing at each crossing point. We show that two oriented link projections have the same circle arrangement if and only if they are transformed into each other by certain local moves. We also show that every odd (resp. even) component link has a link projection whose circle arrangement consists of exactly one (resp. two) circles.

math.GT↗
arXiv2020

Strong and weak (1, 2) homotopies on knot projections and new invariants

Every second flat Reidemeister move of knot projections can be decomposed into two types thorough an inverse or direct self-tangency modification, respectively called strong or weak, when orientations of the knot projections are arbitrarily provided. Further, we introduce the notions of strong and weak (1, 2) homotopies; we define that two knot projections are strongly (resp. weakly) (1, 2) homotopic if and only if two knot projections are related by a finite sequence of first and strong (resp. weak) second flat Reidemeister moves. This paper gives a new necessary and sufficient condition that two knot projections are not strongly (1, 2) homotopic. Similarly, we obtain a new necessary and sufficient condition in the weak (1, 2) homotopy case. We also define a new integer-valued strong (1, 2) homotopy invariant. Using it, we show that the set of the non-trivial prime knot projections without 1-gons that can be trivialized under strong (1, 2) homotopy is disjoint from that of weak (1, 2) homotopy. We also investigate topological properties of the new invariant and give its generalization, a comparison of our invariants and Arnold invariants, and a table of invariants.

math.GT↗
arXiv2020

RII number of knot projections

Every knot projection is simplified to the trivial spherical curve not increasing double points by using deformations of types 1, 2, and 3 which are analogies of Reidemeister moves of types 1, 2, and 3 on knot diagrams. We introduce RII number of a knot projection that is the minimum number of deformations of negative type 2 among such sequences. By definition, it is invariant under deformations of types 1 and 3. This is motivated by Östlund conjecture: Deformations of type 1 and 3 are sufficient to describe a homotopy from any generic immersion of a circle in a two dimensional plane to an embedding of the circle (2001), which implies RII number always would be zero. However, Hagge and Yazinski disproved the conjecture by showing the first counterexample with 16 double points, which implies that RII number is nontrivial. This paper shows that RII number can be any nonnegative number.

math.GT↗
arXiv2020

Crosscap number and knot projections

We introduce an unknotting-type number of knot projections that gives an upper bound of the crosscap number of knots. We determine the set of knot projections with the unknotting-type number at most two, and this result implies classical and new results that determine the set of alternating knots with the crosscap number at most two.

math.GT↗
arXiv2020

On $n$-trivialities of classical and virtual knots for some unknotting operations

In this paper, we introduce a new nontrivial filtration, called F-order, for classical and virtual knot invariants; this filtration produces filtered knot invariants, which are called finite type invariants similar to Vassiliev knot invariants. Finite type invariants introduced by Goussarov, Polyak, and Viro are well-known, and we call them finite type invariants of GPV-order. We show that for any positive integer $n$ and for any classical knot $K$, there exist infinitely many of nontrivial classical knots, all of whose finite type invariants of GPV-order $< n$, coincide with those of $K$ (Theorem 1). Further, we show that for any positive integer n, there exists a nontrivial virtual knot whose finite type invariants of our F-order $< n$ coincide with those of the trivial knot (Theorem 2). In order to prove Theorem 1 (Theorem 2, resp.), we define an n-triviality via a certain unknotting operation, called virtualization (forbidden moves, resp.), and for any positive integer n, find an n-trivial classical knot (virtual knot, resp.).

math.GT↗