Rail knotoids
Dimitrios Kodokostas, Sofia Lambropoulou

TL;DR
This paper introduces rail knotoids, a new concept in knot theory, establishing a correspondence between rail isotopy of arcs in three-dimensional space and planar knotoid diagram equivalence, with connections to handlebody knot theory.
Contribution
It defines rail knotoid diagrams and proves their equivalence to rail isotopy in 3D space, linking it to the knot theory of genus 2 handlebodies.
Findings
Rail isotopy in 3D corresponds to planar diagram equivalence.
Introduces rail knotoids as a new knot theory concept.
Connects rail isotopy to handlebody knot theory.
Abstract
We work on the notions of rail arcs and rail isotopy in , and we introduce the notions of rail knotoid diagrams and their equivalence. Our main result is that two rail arcs in are rail isotopic if and only if their knotoid diagram projections onto the plane of the two lines which we call rails, are equivalent. We also make a connection between the rail isotopy in and the knot theory of the handlebody of genus .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGeometric and Algebraic Topology · Advanced Numerical Analysis Techniques · Homotopy and Cohomology in Algebraic Topology
Rail knotoids
Dimitrios Kodokostas
Department of Mathematics, National Technical University of Athens, Zografou campus, GR-15780 Athens, Greece.
and
Sofia Lambropoulou
Department of Mathematics, National Technical University of Athens, Zografou campus, GR-15780 Athens, Greece.
[email protected] http://www.math.ntua.gr/$\sim$sofia Dedicated to Louis H. Kauffman for his 70th birthday
Abstract.
We work on the notions of rail arcs and rail isotopy in , and we introduce the notions of rail knotoid diagrams and their equivalence. Our main result is that two rail arcs in are rail isotopic if and only if their knotoid diagram projections to the plane of two lines which we call rails, are equivalent. We also make a connection between the rail isotopy in and the knot theory of the handlebody of genus .
Key words and phrases:
rail arc, rail isotopy, rail knotoid diagram, rail knotoid, knotoid handlebody of genus 2
2010 Mathematics Subject Classification:
57M27, 57M25
Introduction
We study isotopies in between arcs that have their endpoints on two fixed parallel lines (we call them rails), that allow the endpoints to move freely on the rails but do not allow any other point of the arcs to touch them. We call such arcs as rail arcs and such isotopies among them as rail isotopies. As we remarked in [15], it turns out that rail isotopies are connected to the knot theory of the handlebody of genus 2. Rail arcs and rail isotopies are convenient renamings of what in [9] are called open arcs and line isotopies respectively. It was proved in [9] that rail isotopies can be studied diagrammatically with the notion of knotoid diagram which is a kind of generalization of knot diagram. A planar knotoid diagram is what one gets by projecting a rail arc onto a plane perpendicular to the rails (keeping track of over/under data at crossings).
Here we develop a new diagrammatic setting, which we call rail knotoid diagram, by projecting rail arcs onto the plane of the rails, and we prove that rail isotopy corresponds to (gives rise and comes from) an appropriately defined equivalence between such diagrams. Although we do not make use of any previous result on knotoids, the current article belongs in the general theory about them, and familiarizing with knotoids helps in putting the current work into context. Thus in §3 we recall some basic facts about knotoids. In §1 we introduce the basic notions of rail arcs and rail isotopy between such arcs and we develop the notion of triangle move for studying such isotopies. In §2 we remark on the connection of the study of rail isotopy to the study of knot theory in the handlebody of genus 2. In §4 we introduce and study rail knotoid diagrams. We define a notion of equivalence between such diagrams and we prove that two rail arcs are rail isotopic if and only if their rail knotoid diagrams are equivalent.
We will be working in the piecewise linear (p.l.) category, thus all curves will be p.l. curves, all maps will be p.l. maps etc. Due to the usual p.l. approximation theorems for the analogous smooth objects, our results hold in the smooth category as well.
1. Rail isotopy
Henceforth will be considered equipped with two given parallel lines (in this order) which we will call as rails. We define:
Definition 1**.**
A rail arc is any oriented, connected, embedded arc in with its interior in , its first endpoint on and the last on . We call two rail arcs as rail isotopic, if there exists an isotopy of taking one onto the other (thus are connected by a homotopy of embeddings in ), so that each rail maps onto itself (not necessarily pointwise) throughout the isotopy. In particular, this implies that at each time throughout the isotopy, the image of the arc is a rail arc, and each endpoint remains on the same rail, but with the freedom to move up and down on it. We call such an isotopy as a rail isotopy in .
Similarly to the case of isotopy between p.l. knots in , rail isotopy between p.l. rail arcs can be effected via a finite sequence of triangle moves or elementary moves: a rail arc is modified so that it either replaces its edge by two new edges , or vice versa, where the triangle does not intersect or the rails at any other point (see Figure 1) or else it replaces edge with , where lie on the same rail and the triangle has no other common points with the arc , and no other common point with the rails other than segment . When it will be necessary to distinguish the second kind of move from the first one, we will be calling it as a space slide move. Each triangle move, which from now on will be denoted as the triangle itself, is actually the restriction on an edge (or on two consecutive edges) of the result of an isotopy in which fixes all points in the complement of the interior of a closed -ball neighborhood of (with the vertices of on the boundary of the ball if we wish). This can readily be made to keep the rails fixed (although not necessarily pointwise) which means it is a rail isotopy. So instead of rail isotopies between arcs, we can indistinguishably use, if we wish, triangle moves. We talk in general about triangle moves in without any reference to rail arcs, as long as the triangles do not intersect the rails as explained above. For a triangle move replacing edge by edges , its inverse move is the triangle move replacing edges by edge ; the inverse of is .
If are the triangles for a sequence of triangle moves in and corresponding isotopies in space, instead of writing we can write , and say that is the composite move of the triangle moves (in this order). We call the last ones as submoves of the former. If are the triangles for a sequence of triangle moves for getting from , we say is a composite move for and write . Let us note that a triangle move in performed in an edge of a rail arc is not necessary a triangle move of the arc itself as the triangle of the move may interfere with the rest of the arc. Similarly, whenever we get a rail arc from another rail arc via a sequence of triangle moves , it is not always true that we can replace any by other moves in that compose to it and still claim that we get form , since for example the ’s may interfere with the rest of . But clearly, we can do so in case the triangles of the ’s are just part of . Also, two moves on distinct edges of an arc whose triangles have no common points other than possibly a common vertex of , can be performed in either order and we can think of them as being performed simultaneously. We call two such moves as compatible for and extend the definition to any finite number of moves when each is performed on its own edge or pair of edges of and any two of their triangles have nothing else in common other than possibly a vertex of . Such moves can be performed in any order; rigorously, this means that their composition is defined in any order, and the result is always the same.
Finally, applying to an arc a sequence of moves, and then performing in reverse order their inverses, we return to the original arc. Thus:
Lemma 1**.**
For triangle moves and rail arcs so that , the following are true:
[TABLE]
Any rail arc without its endpoints lies in and we call it as open rail arc. The boundary of an open rail arc as a subset of consists of two points, one on and the other on . We call an isotopy of as rail isotopy, if it moves one open rail arc onto another, keeping at all times the image of the open rail arc as an open rail arc (the boundary points of the images of the rail arc considered as subsets of , are onto the rails).
Clearly, the definitions imply that each rail arc corresponds to a unique open rail arc and vice versa (the first lies inside , and the second inside ), and also that a rail isotopy of rail arcs gives rise to a rail isotopy of open rail arcs and vice versa (the first takes place inside , and the second inside ).
2. Rail isotopy and handlebodies
The space is homeomorphic to the interior of a handlebody of genus 2, where is an annular thickening of a figure eight plane curve, with boundary three circles, say . Let be a homeomorphism of the two manifolds, sending points close to to points close to . Then it is meaningful to repeat the definitions for rails, rail arcs, open rail arcs and rail isotopies, replacing (i) by , (ii) by and (iii) by for .
With these definitions, rail isotopy in corresponds by to rail isotopy in . But the first rail isotopy, clearly corresponds (gives rise in the natural way, and vice versa) to rail isotopy in , where now we allow the isotopies to touch the part of the boundary of the handlebody of genus two, retaining the rest of the above mentioned properties about keeping endpoints on the cylinders . And as already said, the second rail isotopy above, corresponds (gives rise in a natural way, and vice versa) to the rail isotopy of . Summarizing:
Proposition 1**.**
Rail isotopies in are in one to one correspondence with rail isotopies in .
Let us now notice that any knot in is isotopic to some knot with a unique point on and a unique point on . Let us call as rail knot, its points on as rail points and the two arcs of with endpoints the rail point as its corresponding rail arcs. For two rail knots , we can modify any isotopy of one onto the other so as at each stage its image is a rail knot. We get then a rail isotopy of the two rail arcs of to the two rail arcs of . Throughout this isotopy, the images of the two arcs are disjoint except for the two rail points of the first arc which have the same images as the two rail points of the second. Let us in general, call two rail isotopies of two rail arcs with the same endpoints, as matching whenever these two properties hold. Then the converse of the first observation about knots holds, and summarizing we get:
Proposition 2**.**
Knot isotopies in are in one to one correspondence with matching rail isotopies of two rail arcs with the same endpoints.
3. A reminder on knotoids
In this section we recall some facts about knotoids. A knotoid diagram in an oriented surface is an immersion of the unit interval in with a finite number of double points each of which is a transversal self-intersection endowed with over/under data. These are the crossings of . The images of [math] and are two distinct points called the endpoints of and are specifically called leg and head, respectively, so that is naturally oriented from its leg to its head. The trivial knotoid diagram is assumed to be an immersed arc without any self-intersections. See Figure 3 for some examples.
On the set of knotoid diagrams in the usual local moves are allowed away from the endpoints. Namely the three Reidemeister moves together with planar isotopy, which includes also the swing moves for the endpoints, whereby an endpoint can be pulled within its region, without crossing any other arc of the diagram. See Figure 4. All these moves generate an equivalence relation in the set of knotoid diagrams in and the equivalence classes are called knotoids.
The moves consisting of pulling the arc adjacent to an endpoint over or under another arc, as shown in Figure 5, are the forbidden moves in the theory. Notice that, if both forbidden moves were allowed, any knotoid diagram in any surface could be clearly turned into the trivial knotoid diagram.
The theory of knotoids was introduced by Turaev [17] in 2010. The theory of knotoids in the 2-sphere (spherical knotoids) extends classical knot theory and also proposes a new diagrammatic approach to classical knot theory [17]. This approach promises reducing of the computational complexity of knot invariants, see [17, 4]. In [17] basic properties of knotoids were studied, including the introduction of several invariants of knotoids in the 2-sphere, such as the complexity (or height [9]) and the Jones/bracket polynomial. Knotoids in were classified by Bartholomew in [2] up to 5 crossings by using Turaev’s generalization of the bracket polynomial for knotoids. There is also a recent classification table for prime knotoids of positive complexity with up to 5 crossings [16], obtained by using the correspondence between knotoids in and knots in the thickened torus. New invariants for knotoids were introduced in [8, 9] in analogy with invariants from virtual knot theory.
Planar knotoids surject to spherical knotoids, but do not inject [17]. For example, the first two illustrations of Figure 3 are equivalent as spherical knotoids but distinct as planar ones. This means that planar knotoids provide a much richer combinatorial structure. This fact has interesting implications in the study of proteins. Indeed, recently knotoids have been studied in the field of biochemistry as they suggest new topological models for open protein chains [5, 6, 7]. Such studies are enabled due to the following lifting of knotoids to open space curves (what we call rail arcs), proposed by Gügümcü and Kauffman in [9]. Namely, an open space curve in projects to a planar knotoid diagram when projected along the two lines passing through its endpoints (what we call rails) and are perpendicular to a chosen projection plane, and this curve can be viewed as a lifting of the diagram. Figure 6 illustrates two such projections. The method in [5, 6, 7] is to project an open protein chain to several planes and to consider all possible knotoid types obtained this way, choosing the dominant one for representing the protein. Then, the invariants introduced in [17, 8, 9] are used for determining its topological type.
A line isotopy in [9] between two open space curves is what we call rail isotopy, and Gügümcü and Kauffman have proved (in our new terminology) the following:
Theorem**.**
Two rail arcs are rail isotopic if and only if their knotoid diagram projections in a plane perpendicular to the rails are equivalent.
In [15] we observed that this lifting of knotoids in 3-space is related to the knot theory of the handlebody of genus 2. Some other recent works on knotoids include: the theory of braidoids [8, 11, 12], a study of biquandle coloring invariants [13], the study of knots that are knotoid equivalent [1] and the construction of double branched covers of knotoids [3]. For a survey on the subject the interested reader may consult [10].
4. Rail isotopy and rail knotoids
We are now going to investigate rail isotopy in in a new diagrammatic setting by projecting the rail arcs to the plane defined by the rails , which we can call as rail plane. Figure 7 conveys a feeling of the difference between the new setting (rightmost figure) and that of the usual planar knotoids (leftmost figure).
Let us note that projections of rail arcs onto planes can be as bad as projections of knots to planes, but clearly any rail arc is rail isotopic to one with a generic projection to any given plane, meaning it has only a finite number of intersection points with itself and the rails, all of them double points. Thus from now on we can restrict attention to such projections. Keeping track of the over/under crossings at the double points of the onto the plane of the rails , we get a generic immersion of the unit interval in the plane with its endpoints on the two rails. This projection is actually just a planar knotoid diagram on , whose endpoints are on the rails (the leg on and the head on ).
So first we define:
Definition 2**.**
A planar rail knotoid diagram or just rail knotoid diagram is an immersion of the unit interval in the rail plane of the rails with only a finite number of transversal intersection points with itself and the rails. All intersection points, except for the endpoints, are double points with additional over/under data. The endpoints, the first one on and the second one on , are trivalent.
Two rail knotoid diagrams on are rail equivalent whenever one can be obtained from the other via a finite sequence of the rail knotoid equivalence moves defined locally in Figure 8, which include the usual Reidemester moves and their versions where parts of the rails are involved, along with slide slide moves which involve the rails and the endpoints of the rail knotoids, and finally some planar rail isotopy moves or just* planar isotopies* of .
Clearly, equivalence between rail knotoid diagrams as defined is indeed an equivalence relation in the set of all planar rail knotoid diagrams. We call the equivalence classes as planar rail knotoids or simply as rail knotoids.
Although rather obvious, it is no harm to call upon some more terminology: if a move is applied to a diagram resulting to a diagram , and is applied to resulting to , we call as successive to , we say that they compose and write , and we also say that their composition is applied to resulting to . Similarly we define the notion of a sequence of successive moves (or just a sequence of moves), and of their composition.
We prefer the planar isotopies of Figure 8 instead of plane isotopies in , so that the above equivalence relation which we’ll try to investigate can get an entirely diagrammatic setting.
For a triangle move between two rail arcs in , let us denote the projection on of the edges of the triangle , keeping track of over/under data with respect to the rails and to the projections of . Let us call as nice whenever is a finite composition of Reidermeister, slide or planar isotopy moves between . And let us call which exchanges edge with edges as good, whenever the following entering-exiting condition is satisfied: for the entering and exiting edges (if any) of (and ) do not intersect the interior of . The following is true:
Lemma 2**.**
Any triangle move between two rail arcs is a composition of other triangle moves , each being a nice or good one, with triangles satisfying for all .
Proof.
Let be a move which, say for definiteness, replaces edge of by edges of . If on it happens for example that the entering edge, say , intersects the interior of , then by small triangle moves we put a new vertex on at a point nearby on edge . We take care that the triangle of each one of these moves is a tiny triangle part of which projects its vertices away from edges of other than and whose projection on contains no vertices of other than . Let be the composition of these moves. Let be a point close to on the segment , and let be the triangle move replacing by . Let be the triangle move replacing by . Let be the triangle move replacing by . Then (no question here about if these moves compose).
Note now that each submove of projects on to a planar isotopy of type or , thus is a nice move. Also, choosing appropriately close to , the projection is an move, thus is a nice move. Finally are good moves with respect to their entering edge. Since the triangle of and all of ’s is a subset of we would have finished, if only were good with respect to their exiting edge as well.
If still any one of is not a good move, then working similarly for it, but this time for the exiting edge, we write it as a composition of submoves which are nice or satisfy the exiting edge condition. Since for the latter moves the entering edge condition is automatically satisfied, they are good, and by Lemma 1 we are done.
If is a space slide move, observe that one of the entering or exiting conditions is automatically satisfied as there exists no such edge for the move. Also, let be the edge that become performing the move, and be part of a rail. The arguments developed above work for the vertex with the slight modification that is not replaced by the two edges , but rather just by the sigle edge . ∎
Lemma 3**.**
Any good triangle move between two rail arcs is a finite composition of nice moves with triangles satisfying .
Proof.
Let us call the projection of what is left in common after removing the non-common points of on . We consider two cases:
Case (I). The move exchanges the edge with the edges between and (it replaces by or vice versa). Then no side of the triangle can be part of a rail, and the move is not a slide move.
Since is good, the entering and exiting edges (if any) on , say and , do not intersect the interior of . But the rails, as well as the projection might do. As always our projections keep track of over/under data.
Since no rail and no arc of pierces triangle , the parts of that intersect are equipped with data rendering them either entirely over or entirely under . The vertices and crossing points of in are finite and have to appear in the interior of . Thus in the interior of we can consider small enough, disjoint triangles around each one of these vertices and crossings, and we can extend these triangles to a finite triangulation of the whole triangle , taking care of putting no vertex or side of the triangulation on . Then each triangle of the triangulation contains a part of falling to one of four types: (i) contains a single crossing point of with branches through it that intersect two sides of at interior points, (ii) contains a single vertex of and parts of the two edges with endpoint this vertex, that intersect one or two sides of at interior points, (iii) contains only a part of an edge that intersect two sides of at interior points, (iv) contains no no point of . Constructing the triangulation, it is convenient to consider triangles of types (i), (ii) that look as in Figure 10.
Let us notice that the triangulation by the ’s of , implies a triangulation of by triangles ’s that project onto the ’s on . Let us also notice that by Lemma 1, it is legitimate to perform consecutive moves in each one of the ’s. And let for definiteness, the move replaces by . Then since the triangles of the ’s have as their union, we can arrive at the same result of replacing by performing moves through the ’s starting from triangles with sides on , and ending up with those with sides on .
The moves, which are moves between arcs in space, project on to corresponding moves between the projected arcs on the plane. But such a move for a triangle of type (i) is either an move composed with a planar isotopy 1 move, or it decomposes to an move, an move, and some planar isotopies (Figure 11). Similary, for of type (ii) the corresponding move is either an move or it decomposes to some planar isotopies; for of type (iii) the corresponding move is an isotopy 1 move, an isotopy 3 move, or decomposes to an and some isotopies; whereas for of type (iv) the corresponding move is a planar isotopy. Thus each is a nice move and we are done.
Case (II). is a space slide move. Then it does not exchange an edge by two others or vice versa as above, but it instead replaces in space one position of the initial or final edge of by another position, say from to with on a rail .
We spot all crossing points of with . If any, we call these points in increasing distance from as . Let be an interior point in the segment for . We decompose move to a sequence of moves through the triangles ; we are allowed to, by Lemma 1. We’ll prove that each one of these moves is as required, and then by Lemma 1 we’ll get that is also as required and we will be done. It is enough to prove that the move through satisfies our Lemma, since the reasoning will apply to all other triangles in this sequence as well. To this end:
and project on onto themselves. Let us call the projection of as . We triangulate so that one of the triangles is , where is the projection of a point on chosen so close to the rail so that contains no crossings of arcs of . Let us consider the following be moves in space: in triangle that replaces by , in triangle that replaces by (a slide move), and in triangle that replaces by . Then . But by Case (I), we know that are as required by our Lemma, whereas projects to a slide move thus it is also as required by our Lemma. Since the triangles of these moves are part of the triangle of move , Lemma 1 implies that is as required and we are done. ∎
So if is a triangle move between two rail arcs and a decomposition to nice and good moves as assured in Lemma 2, then Lemma 1 allows us to replace in the decomposition of , any good move with a product of nice moves as in Lemma 3. Thus we proved:
Lemma 4**.**
Any triangle move between two rail arcs is a finite composition of nice moves with triangles satisfying .
So if the two rail arcs are rail isotopic, thus related by a finite sequence of triangle moves, we can replace by Lemma 1 any one of these moves by a sequence of moves as assured in Lemma 3, and we get:
Corollary 1**.**
If the two rail arcs are rail isotopic, then they are related by a finite sequence of nice moves.
The following is a special case of (one part of) the main Theorem that follows.
Lemma 5**.**
If are two rail arcs with exactly the same (pointwise) projection on the plane of the rails, then there exists a rail isotopy between the arcs.
Proof.
If necessary, we subdivide the two arcs so that they get the same number of vertices and every vertex of each one of them lies on the same vertical line (with respect to ) with a vertex of the other. Since this subdivision can be performed via triangle moves, the resulting arcs are related to the original ones via isotopies. Pointwise the subdivided arcs have not changed.
We perform a further subdivision of as thus: if are two edges of whose projections have a crossing point on , and the corresponding edges of with the same projections on , then we chose on two nearby points on each of the two sides of and lift them vertically to two points on each of as new vertices; and similarly for . We do so for every crossing point on the projections on , and remaining very close to each crossing point, the segments on the old edges between the new vertices, remain disjoint, even if they happen to appear on the same old edge. Since the insertion of all these new vertices can be performed via triangle moves, the new arcs are related to , and then to the original, ones via isotopies. Pointwise the subdivided arcs have not changed.
So actually we need to show that there exists an isotopy between . This is not that hard to see, but it is rather technical:
have the same number of vertices, paired so that any one of the first, along with its pair from the second lie on the same vertical line. Let’s call such vertices as corresponding. Let us also call two edges, one from each arc, as corresponding whenever their endpoints are corresponding. We cannot just slide each vertex of on its vertical (w.r.t. to ) line to make it take the place of the corresponding vertex of because this causes a sliding of the issuing edges from these vertices, and these edges may be obstructed by other edges below them. Even if we try to slide all vertices at once in order to prevent such obstructions, it is not clear at al that such a simultaneous slide will have the desired result. So we deal first with the possible obstructions. Throughout below, we think of as the fixed ideal position to push to. And we perform isotopies on space changing the position of , but the ideal position of remains fixed.
Obstructions occur whenever edges of project on forming crossing points. We’ll deal first with the crossing points of two projected edges, ignoring any crossing points of a projected edge with the rails.
If is a crossing point of the common projection of on (Figure 13), then on the first arc there exist consecutive edges on a line segment and also exist consecutive edges on another line segment, with the projections of containing . Let on a line segment, and on another line segment be the corresponding edges on the second arc of the edges and respectively. Let be the vertical plane to containing the edges , and the vertical plane containing the corresponding edges . Call the zones on that lie on and between the vertical lines passing from the endpoints of for . And call the zones on that lie on and between the vertical lines passing from the endpoints of for . Because of our construction of the second subdivision above, a small solid infinite cylinder (surface union its interior) contains and nothing more of . Similarly, an infinite solid cylinder contains and nothing more of . Now, are segments intersecting the vertical line through at points respectively. Make an axis and compare relative positions of the points using their coordinates. For definiteness, let be above (i.e. have greater coordinate). Since carry the same over/under data, should be above too. In we perform a vertical (w.r.t. ) push in up until is made to coincide with . Then coincides with , and the points of both lie below ((a) of Figure 14 cannot happen). Then the edges define in the zone on their plane , a quadrangle either as edges or as diagonals. In both cases, we can push the edge vertically inside (Figure 14 (b)), until it coincides with without disturbing edge that lies above.
We take care to perform the above vertical pushes as p.l. isotopies in space fixing everything on the surface and outside cylinder . As a result, in their new positions coincide with , and change their carrier lines, all projections on remain as before the isotopy. Performing for each crossing point such isotopies consecutively, and even all at once, we get a new , say . Some of its vertices still may not coincide with those of . So at the exterior of the union of the ’s we perform a simultaneous vertical pushing of all vertices of that do not already coincide with their corresponding vertices of until they do coincide. This push is not obstructed by edges crossing the moving ones, but it can in principal be obstructed by the rails. Nevertheless, for corresponding edges, say of , the common projection to is for both an underpassing or an overpassing for the crossing rail. This means that both pairs of corresponding endpoints-vertices, form vertical segments that do not intersect the rails, and as parallel segments, they form a quadrilateral not containing the rails. So the push of such vertices takes place in these quadrilaterals and is not obstructed by the rails. As above we perform this push as a p.l. isotopy which does not disturb those vertices which were previously made to coincide with their corresponding of , and we are done. ∎
We can now prove the following:
Theorem 3**.**
Two rail arcs in are rail isotopic iff their rail knotoid diagram projections on the plane of the rails are rail equivalent. In other words, rail isotopy in corresponds to rail equivalence on (rail arcs are isotopic iff they correspond to the same rail knotoid).
Proof.
If are rail arcs which are rail isotopic in , then by Corollary 1 there exists a rail isotopy between them expressed by a finite sequence of nice triangle moves. By definition, the projection of any such move is a Reidemeister or slide move or a planar isotopy move. Thus are equivalent rail knotoid diagram projections as wanted.
Let for two arcs in , their corresponding rail knotoid diagram projections on differ by a single Reidemeister move, slide move or planar isotopy move . In each case one can readily check that there exist a few obvious triangles in space so that for their projected moves on it is wehereas in space coincides with , thus are rail isotopic as wanted. Let us notice that no matter what kind of move is, the ’s indeed provide us with triangle moves in space: when the rails are not involved in the result is immediate, and whenever a part of a rail is involved in , the ’s either do not have common points with the rails, or they have a whole side on a rail, thus by the definition of a triangle move, we get the required result.
In the general case of two rail arcs in with equivalent rail knotoid diagram projections on , we note that comes from via a finite sequence of Reidemeister moves, slide moves or planar isotopies. Let on be the diagrams obtained consecutively by such a sequence of moves, and let in space, be arcs with projections the ’s respectively. Then by what we proved just above, there exist a space isotopy between any and the next one , thus there exists such an isotopy between and . But and share the same projection on . Thus Lemma 5 assures the existence of an isotopy between and , and we finally get a desired isotopy between and . ∎
5. Rail knotoids and theta-curves
Closing this article, it is worth mentioning that a rail arc together with the two rails is a kind of a trivalent graph embedded in the 3-space , containing the end points of the rail arc as its only two vertices, the rail arc as an edge, and the four half-lines of the rails emanating from the two vertices, as infinitely extended edges. Clearly there is a direct connection of these graphs with the -curves, where a theta-curve is a graph with the form of the Greek letter , embedded in the 3-sphere or the 3-space as a trivalent graph with only two vertices and exactly three edges (upper, middle, lower) each one of which joins the two vertices [18], [14] [19]. From our infinitely extended trivalent graph, one gets a theta-curve as in Figure 15, where the two horizontal line segments joining the two rails are chosen far away from the rail arc (say outside a 3-disk containing the rail arc), one segment on either side (on each rail, the corresponding endpoint of the rail arc lies between the endpoints of the two horizontal segments). Conversely, from a -curve we can get a rail knotoid as follows: from each one of the upper and lower edges of the -curve, we first delete an arc from its interior leaving two small disjoint arcs touching one vertex each, then we make the two arcs around each vertex into a line segment, and finally make the two segments parallel extending them indefinitely to form the parallel lines of the rails; the middle edge of the theta-curve becomes a rail arc. These remarks suggest the possibility of exchanging information between the theory of rail knotoids and the theory of theta-curves. Theta-curves exhibit a richness of properties and recently, Turaev has connected them to the spherical knotoids as well [17].
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Adams, C., Henrich, A., Kearney, K., and Scoville, N., Knots related by knotoids. To appear in American Mathematical Monthly (2019).
- 2[2] Bartholomew, A. Andrew Bartholomew’s Mathematics Page: Knotoids. http://www.layer 8.co.uk/maths/knotoids/index.htm.
- 3[3] Barbensi, A., Buck, D., Harrington, H.A., and Lackenby M., Double branched covers of knotoids. Ar Xiv:1811.09121 [math.GT] (2018).
- 4[4] Daikoku, K., Sakai, K., and Takase, M., On a move reducing the genus of a knot diagram. In Indiana University Mathematics Journal 61.3 (2012), pp. 1111–1127. ISSN: 00222518, 19435258. url: http://www.jstor.org/stable/24904076.
- 5[5] Goundaroulis, D., Dorier, J., Benedetti, F., and Stasiak, A., Studies of global and local entanglements of individual protein chains using the concept of knotoids. Sci. Reports (2017), 7 , 6309.
- 6[6] Goundaroulis, D., Gügümcü, N., Lambropoulou, S., Dorier, J., Stasiak A., and Kauffman L.H., Topological models for open knotted protein chains using the concepts of knotoids and bonded knotoids. Polymers , Special issue on Knotted and Catenated Polymers, Dusan Racko and Andrzej Stasiak Eds. (2017), 9(9) , 444, DOI: 10.3390/polym 9090444.
- 7[7] Dabrowski-Tumanski, P., Rubach, P., Goundaroulis, D., Dorier, J., Sułkowski, P., Millett, K.C., Rawdon, E.J., Stasiak, A., and Sułkowska, J.I., Knot Prot 2.0: a database of proteins with knots and other entangled structures, Nucleic Acids Research 1 (2018). DOI: 10.1093/nar/gky 1140.
- 8[8] Gügümcü, N., On knotoids, braidoids and their applications, Ph D thesis , National Technical U. Athens, (2017).
