-
New invariants for virtual knots via spanning surfaces
Authors:
András Juhász,
Louis H. Kauffman,
Eiji Ogasa
Abstract:
We define three different types of spanning surfaces for knots in thickened surfaces. We use these to introduce new Seifert matrices, Alexander-type polynomials, genera, and a signature invariant. One of these Alexander polynomials extends to virtual knots and can obstruct a virtual knot from being classical. Furthermore, it can distinguish a knot in a thickened surface from its mirror up to isoto…
▽ More
We define three different types of spanning surfaces for knots in thickened surfaces. We use these to introduce new Seifert matrices, Alexander-type polynomials, genera, and a signature invariant. One of these Alexander polynomials extends to virtual knots and can obstruct a virtual knot from being classical. Furthermore, it can distinguish a knot in a thickened surface from its mirror up to isotopy. We also propose several constructions of Heegaard Floer homology for knots in thickened surfaces, and give examples why they are not stabilization invariant. However, we can define Floer homology for virtual knots by taking a minimal genus representative. Finally, we use the Behrens-Golla $δ$-invariant to obstruct a knot from being a stabilization of another.
△ Less
Submitted 17 April, 2024; v1 submitted 17 July, 2022;
originally announced July 2022.
-
Quantum Invariants of Links and 3-Manifolds with Boundary defined via Virtual Links: Calculation of some examples
Authors:
Heather A. Dye,
Louis H. Kauffman,
Eiji Ogasa
Abstract:
In the prequel of this paper, Kauffman and Ogasa introduced new topological quantum invariants of compact oriented 3-manifolds with boundary where the boundary is a disjoint union of two identical surfaces. The invariants are constructed via surgery on manifolds of the form $F \times I$ where $I$ denotes the unit interval. Since virtual knots and links are represented as links in such thickened su…
▽ More
In the prequel of this paper, Kauffman and Ogasa introduced new topological quantum invariants of compact oriented 3-manifolds with boundary where the boundary is a disjoint union of two identical surfaces. The invariants are constructed via surgery on manifolds of the form $F \times I$ where $I$ denotes the unit interval. Since virtual knots and links are represented as links in such thickened surfaces, we are able also to construct invariants in terms of virtual link diagrams (planar diagrams with virtual crossings).
These invariants are new, nontrivial, and calculable examples of quantum invariants of 3-manifolds with non-vacuous boundary.
Since virtual knots and links are represented by embeddings of circles in thickened surfaces, we refer to embeddings of circles in the 3-sphere as {\it classical links}. Classical links are the same as virtual links that can be represented in a thickened 2-sphere and it is a fact that classical links, up to isotopy, embed in the collection of virtual links taken up to isotopy. We give a new invariant of classical links in the 3-sphere in the following sense: Consider a link $L$ in $S^3$ of two components. The complement of a tubular neighborhood of $L$ is a manifold whose boundary consists in two copies of a torus. Our invariants apply to this case of bounded manifold and give new invariants of the given link of two components. Invariants of knots are also obtained.
In this paper we calculate the topological quantum invariants of some examples explicitly. We conclude from our examples that our invariant is new and strong enough to distinguish some classical knots from one another.
We also explain how different Our topological quantum invariants of 3-manifolds with boundary and the Reshetikhin-Turaev invariants are. (See the body for detail).
△ Less
Submitted 23 March, 2022;
originally announced March 2022.
-
Khovanov-Lipshitz-Sarkar homotopy type for links in thickened surfaces and those in $S^3$ with new modulis
Authors:
Louis H. Kauffman,
Igor Mikhailovich Nikonov,
Eiji Ogasa
Abstract:
We define a family of Khovanov-Lipshitz-Sarkar stable homotopy types for the homotopical Khovanov homology of links in thickened surfaces indexed by moduli space systems. This family includes the Khovanov-Lipshitz-Sarkar stable homotopy type for the homotopical Khovanov homology of links in higher genus surfaces (see the content of the paper for the definition). The question whether different choi…
▽ More
We define a family of Khovanov-Lipshitz-Sarkar stable homotopy types for the homotopical Khovanov homology of links in thickened surfaces indexed by moduli space systems. This family includes the Khovanov-Lipshitz-Sarkar stable homotopy type for the homotopical Khovanov homology of links in higher genus surfaces (see the content of the paper for the definition). The question whether different choices of moduli spaces lead to the same stable homotopy type is open.
△ Less
Submitted 19 September, 2021;
originally announced September 2021.
-
Quantum Invariants of Links and 3-Manifolds with Boundary defined via Virtual Links
Authors:
Louis H. Kauffman,
Eiji Ogasa
Abstract:
We introduce new topological quantum invariants of compact oriented 3-manifolds with boundary where the boundary is a disjoint union of two identical surfaces. The invariants are constructed via surgery on manifolds of the form $F \times I$ where $I$ denotes the unit interval. Since virtual knots and links are represented as links in such thickened surfaces, we are able also to construct invariant…
▽ More
We introduce new topological quantum invariants of compact oriented 3-manifolds with boundary where the boundary is a disjoint union of two identical surfaces. The invariants are constructed via surgery on manifolds of the form $F \times I$ where $I$ denotes the unit interval. Since virtual knots and links are represented as links in such thickened surfaces, we are able also to construct invariants in terms of virtual link diagrams (planar diagrams with virtual crossings).
These invariants are the first meaningful, nontrivial, and calculable examples of quantum invariants of 3-manifolds with non-vacuous boundary.
We give a new invariant of classical links in the 3-sphere in the following sense: Consider a link $L$ in $S^3$ of two components. The complement of a tubular neighborhood of $L$ is a manifold whose boundary consists in two copies of a torus. Our invariants apply to this case of bounded manifold and give new invariants of the given link of two components. Invariants of knots are also obtained.
△ Less
Submitted 21 April, 2023; v1 submitted 30 August, 2021;
originally announced August 2021.
-
Khovanov-Lipshitz-Sarkar homotopy type for links in thickened higher genus surfaces
Authors:
Louis H. Kauffman,
Igor Mikhailovich Nikonov,
Eiji Ogasa
Abstract:
We discuss links in thickened surfaces. We define the Khovanov-Lipshitz-Sarkar stable homotopy type and the Steenrod square for the homotopical Khovanov homology of links in thickened surfaces with genus$>1$.
A surface means a closed oriented surface unless otherwise stated. Of course, a surface may or may not be the sphere. A thickened surface means a product manifold of a surface and the inter…
▽ More
We discuss links in thickened surfaces. We define the Khovanov-Lipshitz-Sarkar stable homotopy type and the Steenrod square for the homotopical Khovanov homology of links in thickened surfaces with genus$>1$.
A surface means a closed oriented surface unless otherwise stated. Of course, a surface may or may not be the sphere. A thickened surface means a product manifold of a surface and the interval. A link in a thickened surface (respectively, a 3-manifold) means a submanifold of a thickened surface (respectively, a 3-manifold) which is diffeomorphic to a disjoint collection of circles.
Our Khovanov-Lipshitz-Sarkar stable homotopy type and our Steenrod square of links in thickened surfaces with genus$>1$ are stronger than the homotopical Khovanov homology of links in thickened surfaces with genus$>1$.
It is the first meaningful Khovanov-Lipshitz-Sarkar stable homotopy type of links in 3-manifolds other than the 3-sphere.
We point out that our theory has a different feature in the torus case.
△ Less
Submitted 11 August, 2021; v1 submitted 17 July, 2020;
originally announced July 2020.
-
Steenrod square for virtual links toward Khovanov-Lipshitz-Sarkar stable homotopy type for virtual links
Authors:
Louis H. Kauffman,
Eiji Ogasa
Abstract:
We define a second Steenrod square for virtual links, which is stronger than Khovanov homology for virtual links, toward constructing Khovanov-Lipshitz-Sarkar stable homotopy type for virtual links. This induces the first meaningful nontrivial example of the second Steenrod square operator on the Khovanov homology for links in a 3-manifold other than the 3-sphere.
We define a second Steenrod square for virtual links, which is stronger than Khovanov homology for virtual links, toward constructing Khovanov-Lipshitz-Sarkar stable homotopy type for virtual links. This induces the first meaningful nontrivial example of the second Steenrod square operator on the Khovanov homology for links in a 3-manifold other than the 3-sphere.
△ Less
Submitted 18 August, 2022; v1 submitted 21 January, 2020;
originally announced January 2020.
-
A spinning construction for virtual 1-knots and 2-knots, and the fiberwise and welded equivalence of virtual 1-knots
Authors:
Louis H. Kauffman,
Eiji Ogasa,
Jonathan Schneider
Abstract:
We succeed to generalize spun knots of classical 1-knots to the virtual 1-knot case by using the `spinning construction'. That, is, we prove the following: Let $Q$ be a spun knot of a virtual 1-knot $K$ by our method. The embedding type $Q$ in $S^4$ depends only on $K$. Furthermore we prove the following: The submanifolds, $Q$ and the embedded torus made from $K,$ defined by Satoh's method, in…
▽ More
We succeed to generalize spun knots of classical 1-knots to the virtual 1-knot case by using the `spinning construction'. That, is, we prove the following: Let $Q$ be a spun knot of a virtual 1-knot $K$ by our method. The embedding type $Q$ in $S^4$ depends only on $K$. Furthermore we prove the following: The submanifolds, $Q$ and the embedded torus made from $K,$ defined by Satoh's method, in $S^4$ are isotopic.
We succeed to generalize the above construction to the virtual 2-knot case. Note that Satoh's method says nothing about the virtual 2-knot case. Rourke's interpretation of Satoh's method is that one puts `fiber-circles' on each point of each virtual 1-knot diagram. If there is no virtual branch point in a virtual 2-knot diagram, our way gives such fiber-circles to each point of the virtual 2-knot diagram. We prove the following: If a virtual 2-knot diagram $α$ has a virtual branch point, $α$ cannot be covered by such fiber-circles.
We obtain a new equivalence relation, the $\mathcal E$-equivalence relation of the set of virtual 2-knot diagrams, by using our spinning construction. We prove that there are virtual 2-knot diagrams that are virtually nonequivalent but are $\mathcal E$-equivalent.
Although Rourke claimed that two virtual 1-knot diagrams $α$ and $β$ are fiberwise equivalent if and only if $α$ and $β$ are welded equivalent, we state that this claim is wrong. We prove that two virtual 1-knot diagrams $α$ and $β$ are fiberwise equivalent if and only if $α$ and $β$ are rotational welded equivalent.
△ Less
Submitted 9 August, 2018;
originally announced August 2018.
-
Some properties of ordinary sense slice 1-links: Some answers to the problem (26) of Fox
Authors:
Eiji Ogasa
Abstract:
We prove that, for any ordinary sense slice 1-link $L$, we can define the Arf invariant and Arf(L)=0. We prove that, for any m-component 1-link L_1, there exists a 3m-component ordinary sense slaice 1-link L_2 of which L_1 is a sublink.
We prove that, for any ordinary sense slice 1-link $L$, we can define the Arf invariant and Arf(L)=0. We prove that, for any m-component 1-link L_1, there exists a 3m-component ordinary sense slaice 1-link L_2 of which L_1 is a sublink.
△ Less
Submitted 12 March, 2018;
originally announced March 2018.
-
Nonribbon 2-links all of whose components are trivial knots and some of whose band-sums are nonribbon knots
Authors:
Eiji Ogasa
Abstract:
There is a nonribbon 2-link all of whose components are trivial 2-knots and one of whose band-sums is a nonribbon 2-knot.
There is a nonribbon 2-link all of whose components are trivial 2-knots and one of whose band-sums is a nonribbon 2-knot.
△ Less
Submitted 12 March, 2018;
originally announced March 2018.
-
The intersection of three spheres in a sphere and a new application of the Sato-Levine invariant
Authors:
Eiji Ogasa
Abstract:
Take transverse immersions f from a disjoint unin of the three 4-spheres $S^4_1$, $S^4_2$, and $S^4_3$ into $S^6$ with the following properties:
(1) The restriction of $f$ to $S^4_i$ is an embedding,
(2) The intersection of $f(S^4_i)$ and $f(S^4_j)$ is not empty and connected,
(3)The intersection among $f(S^4_1)$, $f(S^4_2)$, and $f(S^4_3)$ is not empty.
Then we obtain three surface-links…
▽ More
Take transverse immersions f from a disjoint unin of the three 4-spheres $S^4_1$, $S^4_2$, and $S^4_3$ into $S^6$ with the following properties:
(1) The restriction of $f$ to $S^4_i$ is an embedding,
(2) The intersection of $f(S^4_i)$ and $f(S^4_j)$ is not empty and connected,
(3)The intersection among $f(S^4_1)$, $f(S^4_2)$, and $f(S^4_3)$ is not empty.
Then we obtain three surface-links $L_i=(S^4_i\cap S^4_j, S^4_i\cap S^4_k)$ in $S^4_i$, where $(i,j,k)=(1,2,3), (2,3,1), (3,1,2).$ We prove that, we have the equality $β(L_1)+β(L_2)+β(L_3)=0$, where $β(L_i)$ is the Sato-Levine invariant of $L_i$, if all $L_i$ are semi-boundary links.
△ Less
Submitted 1 June, 2018; v1 submitted 10 March, 2018;
originally announced March 2018.
-
Intersectional pairs of $n$-knots, local moves of $n$-knots, and their associated invariants of $n$-knots
Authors:
Eiji Ogasa
Abstract:
Let $n$ be an integer$\geqq0$. Let $S^{n+2}_1$ (respectively, $S^{n+2}_2$) be the $(n+2)$-sphere embedded in the $(n+4)$-sphere $S^{n+4}$. Let $S^{n+2}_1$ and $S^{n+2}_2$ intersect transversely. Suppose that the smooth submanifold, $S^{n+2}_1 \cap S^{n+2}_2$ in $S^{n+2}_i$ is PL homeomophic to the $n$-sphere. Then $S^{n+2}_1$ and $S^{n+2}_2$ in $S^{n+2}_i$ is an $n$-knot $K_i$. We say that the pai…
▽ More
Let $n$ be an integer$\geqq0$. Let $S^{n+2}_1$ (respectively, $S^{n+2}_2$) be the $(n+2)$-sphere embedded in the $(n+4)$-sphere $S^{n+4}$. Let $S^{n+2}_1$ and $S^{n+2}_2$ intersect transversely. Suppose that the smooth submanifold, $S^{n+2}_1 \cap S^{n+2}_2$ in $S^{n+2}_i$ is PL homeomophic to the $n$-sphere. Then $S^{n+2}_1$ and $S^{n+2}_2$ in $S^{n+2}_i$ is an $n$-knot $K_i$. We say that the pair $(K_1,K_2)$ of n-knots is realizable.
We consider the following problem in this paper. Let $A_1$ and $A_2$ be n-knots. Is the pair $(A_1,A_2)$ of $n$-knots realizable?
We give a complete characterization.
△ Less
Submitted 1 June, 2018; v1 submitted 9 March, 2018;
originally announced March 2018.
-
Singularities of the projections of $n$-dimensional knots
Authors:
Eiji Ogasa
Abstract:
Let n be aninteger>4. There is a smoothly knotted n-dimensional sphere in (n+2)-space such that the singular point set of its projection in (n+1)-space consists of double points and that the components of the singular point set are two. (The sphere is knotted in the sense that it does not bound any embedded (n+1)-ball in (n+2)-space.) Furthermore, the projection is not the projection of any unknot…
▽ More
Let n be aninteger>4. There is a smoothly knotted n-dimensional sphere in (n+2)-space such that the singular point set of its projection in (n+1)-space consists of double points and that the components of the singular point set are two. (The sphere is knotted in the sense that it does not bound any embedded (n+1)-ball in (n+2)-space.) Furthermore, the projection is not the projection of any unknotted sphere in the (n+2)-space. There are two inequivalent embeddings of an n-manifold in the (n+2)-space such that the projection of one of these in (n+1)-space has no double points and the projection of the other has a connected embedded double point set.
△ Less
Submitted 12 March, 2018; v1 submitted 8 March, 2018;
originally announced March 2018.
-
Link cobordism and the intersection of slice discs
Authors:
Eiji Ogasa
Abstract:
It is well-known that all 2-knots are slice. Are all 2-links slice? This is an outstanding open question. In this paper we prove the following: For any 2-component 2-link (J,K)in the 4-sphere which bounds the 5-ball B^5, there is an embedded disc 2-disc D^2_J (respectively, D^2_K) in B^5 with the following properties: J (respectively K) bounds D^2_J (respectively, D^2_K).
D^2_J and D^2_K interse…
▽ More
It is well-known that all 2-knots are slice. Are all 2-links slice? This is an outstanding open question. In this paper we prove the following: For any 2-component 2-link (J,K)in the 4-sphere which bounds the 5-ball B^5, there is an embedded disc 2-disc D^2_J (respectively, D^2_K) in B^5 with the following properties: J (respectively K) bounds D^2_J (respectively, D^2_K).
D^2_J and D^2_K intersect transversely. the intersection of D^2_J and D^2_K in D^2_J (respectively, D^2_K) is a trivial 1-knot.
△ Less
Submitted 7 March, 2018;
originally announced March 2018.
-
Ribbon-move-unknotting-number-two 2-knots, pass-move-unknotting-number-two 1-knots, and high dimensional analogue
Authors:
Eiji Ogasa
Abstract:
The (ordinary) unknotting-number of 1-dimensional knots, which is defined by using the crossing-change, is a very basic and important invariant. It is very natural to consider the `unknotting-number' associated with other local-moves on n-dimensional knots, where n is a natural number. In this paper we prove the following facts.
For the ribbon-move on 2-knots, which is a kind of local-move on kn…
▽ More
The (ordinary) unknotting-number of 1-dimensional knots, which is defined by using the crossing-change, is a very basic and important invariant. It is very natural to consider the `unknotting-number' associated with other local-moves on n-dimensional knots, where n is a natural number. In this paper we prove the following facts.
For the ribbon-move on 2-knots, which is a kind of local-move on knots, we have the following: There is a ribbon-move-unknotting-number-two 2-knot. The ribbon-move-unknotting-number of 2-knots is unbounded.
For the pass-move on 1-knots, which is a kind of local-move on knots, we have the following: There is a pass-move-unknotting-number-two 1-knot whose (ordinary) unknotting-number is 4. For any natural number n, there is a 1-knot whose pass-move-unknotting-number is>n and whose (ordinary) unknotting-number is 4n.
For the high-dimensional-pass-move on high-dimensional knots, which is a kind of local-move on knots, we have the following: There is a (2k+1, 2k+2)-pass-move-unknotting-number-two (4k+2)-knot. The (2k+1, 2k+2)-pass-move-unknotting-number of (4k+2)-knot is unbounded. There is a (2k+1, 2k+1)-pass-move-unknotting-number-two (4k+1)-knot. The (2k+1, 2k+1)-pass-move-unknotting-number of (4k+1)-knot is unbounded. There is a (4k+1)-knot whose twist-move-unknotting-number is n for any natural number n.
△ Less
Submitted 10 December, 2016;
originally announced December 2016.
-
A new pair of non-cobordant surface-links which the Orr invariant, the Cochran sequence, the Sato-Levine invariant, and the alinking number cannot find
Authors:
Eiji Ogasa
Abstract:
We submit a new way to detect pairs of non-cobordant surface-links. We find a new example of a pair of non-cobordant surface-links with the following properties: Orr invariant, Cochran sequence, Sato-Levine invariant, the alinking number and one of Stallings's theorems cannot distinguish them. However our new way can distinguish them.
We submit a new way to detect pairs of non-cobordant surface-links. We find a new example of a pair of non-cobordant surface-links with the following properties: Orr invariant, Cochran sequence, Sato-Levine invariant, the alinking number and one of Stallings's theorems cannot distinguish them. However our new way can distinguish them.
△ Less
Submitted 27 March, 2017; v1 submitted 22 May, 2016;
originally announced May 2016.
-
Local-move-identities for the Z[t,t^{-1}]-Alexander polynomials of 2-links, the alinking number, and high dimensional analogues
Authors:
Eiji Ogasa
Abstract:
A well-known identity (Alex+) - (Alex-)=(t^{1/2}-t^{-1/2}) (Alex0) holds for three 1-links L+, L-, and L0 which satisfy a famous local-move-relation.
We prove a new local-move-identity for the Z[t,t^{-1}]-Alexander polynomials of 2-links, which is a 2-dimensional analogue of the 1-dimensional one. In the 1-dimensional link case there is a well-known relation between the Alexander-Conway polynomi…
▽ More
A well-known identity (Alex+) - (Alex-)=(t^{1/2}-t^{-1/2}) (Alex0) holds for three 1-links L+, L-, and L0 which satisfy a famous local-move-relation.
We prove a new local-move-identity for the Z[t,t^{-1}]-Alexander polynomials of 2-links, which is a 2-dimensional analogue of the 1-dimensional one. In the 1-dimensional link case there is a well-known relation between the Alexander-Conway polynomial and the linking number. As its 2-dimensional analogue, we find a relation between the Z[t,t^{-1}]-Alexander polynomials of 2-links and the alinking number of 2-links. We show high dimensional analogues of these results. Furthermore we prove that in the 2-dimensional case we cannot normalize the Z[t,t^{-1}]-Alexander polynomials to be compatible with our identity but that in a high-dimensional case we can do that to be compatible with our new identity.
△ Less
Submitted 24 February, 2016;
originally announced February 2016.
-
Brieskorn submanifolds, Local moves on knots, and knot products
Authors:
Louis H. Kauffman,
Eiji Ogasa
Abstract:
We prove the following: Let $2p + 1$ be no less than 5 and $p$ be a natural number. Let $K$ and $J$ be closed, oriented, $(2p+1)$-dimensional connected, $(p-1)$-connected, simple submanifolds of the standard $(2p+3)$-sphere. Then $K$ is equivalent to $J$ if and only if a Seifert matrix associated with a simple Seifert hypersurface for $K$ is $(-1)^p$-$S$-equivalent to that for $J$.
We also discu…
▽ More
We prove the following: Let $2p + 1$ be no less than 5 and $p$ be a natural number. Let $K$ and $J$ be closed, oriented, $(2p+1)$-dimensional connected, $(p-1)$-connected, simple submanifolds of the standard $(2p+3)$-sphere. Then $K$ is equivalent to $J$ if and only if a Seifert matrix associated with a simple Seifert hypersurface for $K$ is $(-1)^p$-$S$-equivalent to that for $J$.
We also discuss the $2p+1=3$ case. This result implies one of our main results: Let $μ$ be a natural number. A 1-link $A$ is pass-move equivalent to a 1-link $B$ if and only if the knot product of $A$ and $μ$ copies of the Hopf link is $(2μ+1, 2μ+1)$-pass-move equivalent to that of B and $μ$ copies of the Hopf link.
It also implies the other of them: Two-fold cyclic suspension commutes with the performance of the twist move for spherical $(2k+1)$-knots ($2k+1>4$).
Furthemroe we prove the following: Let $2p+1$ be no less than 5 and p be a natural number. Let $K$ be a closed oriented $(2p+1)$-dimensionalsubmanifold of the standard $(2p+3)$-sphere. Then $K$ is a Brieskorn submanifold if and only if $K$ is connected, $(p-1)$-connected, simple and has a $(p+1)$-Seifert matrix associated with a simple Seifert hypersurface that is $(-1)^p$-$S$-equivalent to a Kauffman-Neumann-type, or a KN-type (See the body of the paper for a definition.) We also discuss the $2p+1=3$ case.
△ Less
Submitted 1 June, 2018; v1 submitted 6 April, 2015;
originally announced April 2015.
-
Local moves on knots and products of knots II
Authors:
Louis H. Kauffman,
Eiji Ogasa
Abstract:
We use the terms, knot product and local move, as defined in the text of the paper. Let $n$ be an integer$\geqq3$. Let $\mathcal S_n$ be the set of simple spherical $n$-knots in $S^{n+2}$. Let $m$ be an integer$\geqq4$. We prove that the map $j:\mathcal S_{2m}\to\mathcal S_{2m+4}$ is bijective, where $j(K)=K\otimes$Hopf, and Hopf denotes the Hopf link.
Let $J$ and $K$ be 1-links in $S^3$. Suppos…
▽ More
We use the terms, knot product and local move, as defined in the text of the paper. Let $n$ be an integer$\geqq3$. Let $\mathcal S_n$ be the set of simple spherical $n$-knots in $S^{n+2}$. Let $m$ be an integer$\geqq4$. We prove that the map $j:\mathcal S_{2m}\to\mathcal S_{2m+4}$ is bijective, where $j(K)=K\otimes$Hopf, and Hopf denotes the Hopf link.
Let $J$ and $K$ be 1-links in $S^3$. Suppose that $J$ is obtained from $K$ by a single pass-move, which is a local-move on 1-links. Let $k$ be a positive integer. Let $P\otimes^kQ$ denote the knot product $P\otimes\underbrace{Q\otimes...\otimes Q}_k$. We prove the following: The $(4k+1)$-dimensional submanifold $J\otimes^k{\rm Hopf}$ $\subset S^{4k+3}$ is obtained from $K\otimes^k{\rm Hopf}$ by a single $(2k+1,2k+1)$-pass-move, which is a local-move on $(4k+1)$-submanifolds contained in $S^{4k+3}$. See the body of the paper for the definitions of all local moves in this abstract.
We prove the following: Let $a,b,a',b'$ and $k$ be positive integers. If the $(a,b)$ torus link is pass-move equivalent to the $(a',b')$ torus link, then the Brieskorn manifold $Σ(a,b,\underbrace{2,...,2}_{2k})$ is diffeomorphic to $Σ(a',b',\underbrace{2,...,2}_{2k})$ as abstract manifolds.
Let $J$ and $K$ be (not necessarily connected or spherical) 2-dimensional closed oriented submanifolds in $S^4$. Suppose that $J$ is obtained from $K$ by a single ribbon-move, which is a local-move on 2-dimensional submanifolds contained in $S^4$. Let $k$ be an integer$\geq2$. We prove the following: The $(4k+2)$-submanifold $J\otimes^k{\rm Hopf}$ $\subset S^{4k+4}$ is obtained from $K\otimes^k{\rm Hopf}$ by a single $(2k+1,2k+2)$-pass-move, which is a local-move on $(4k+2)$-dimensional submanifolds contained in $S^{4k+4}$.
△ Less
Submitted 6 April, 2018; v1 submitted 20 June, 2014;
originally announced June 2014.
-
Introduction to high dimensional knots
Authors:
Eiji Ogasa
Abstract:
This is an introductory article on high dimensional knots for the beginners. High dimensional knot theory is an exciting field. It is a field of knot theory, which is one of topology and is connected with many ones. In this article we use few literal expressions, equations, functions, etc. We barely suppose that the readers have studied manifolds, homology theory, or topics beyond them.
Is there…
▽ More
This is an introductory article on high dimensional knots for the beginners. High dimensional knot theory is an exciting field. It is a field of knot theory, which is one of topology and is connected with many ones. In this article we use few literal expressions, equations, functions, etc. We barely suppose that the readers have studied manifolds, homology theory, or topics beyond them.
Is there a nontrivial high dimensional knot? We first answer this question. After that, we explain local moves on high dimensional knots and the projections of high dimensional knots.
△ Less
Submitted 11 April, 2018; v1 submitted 22 April, 2013;
originally announced April 2013.
-
Make your Boy surface
Authors:
Eiji Ogasa
Abstract:
This is an introductory article about the Boy surface. Boy found 1901 that $\mathbb{R}P^2$ can be immersed into $\mathbb{R}^3$, and published it. (The image of) the immersion is called the Boy surface after Boy's discovery. We have created a way to construct the Boy surface by using a pair of scissors, a piece of paper, and a strip of scotch tape. In this article we introduce the way. Furthermore,…
▽ More
This is an introductory article about the Boy surface. Boy found 1901 that $\mathbb{R}P^2$ can be immersed into $\mathbb{R}^3$, and published it. (The image of) the immersion is called the Boy surface after Boy's discovery. We have created a way to construct the Boy surface by using a pair of scissors, a piece of paper, and a strip of scotch tape. In this article we introduce the way. Furthermore, we make a movie to show the paper-craft actually, and put it in a website. One can find the website by typing in the author's name or the title of this article in the search engine.
△ Less
Submitted 18 October, 2020; v1 submitted 26 March, 2013;
originally announced March 2013.
-
Local moves on knots and products of knots
Authors:
Louis H. Kauffman,
Eiji Ogasa
Abstract:
We show several relations between local moves on 1-dimensional knots and those on high dimensional knots related by products of knots.
We show several relations between local moves on 1-dimensional knots and those on high dimensional knots related by products of knots.
△ Less
Submitted 31 July, 2013; v1 submitted 17 October, 2012;
originally announced October 2012.
-
A new obstruction for ribbon-moves of 2-knots: 2-knots fibred by the punctured 3-tori and 2-knots bounded by homology spheres
Authors:
Eiji Ogasa
Abstract:
This paper gives a new obstruction for ribbon-move equivalence of 2-knots.
Let $K$ and $K'$ be 2-knots. Let $K$ and $K'$ are ribbon-move equivalent. One corollary to our main theorem is as follows. A 2-dimensional fibered knot whose fiber is the punctured 3-dimensional torus is not ribbon-move equivalent to any 2-dimensional knot whose Seifert hypersurface is a punctured homology sphere.
This paper gives a new obstruction for ribbon-move equivalence of 2-knots.
Let $K$ and $K'$ be 2-knots. Let $K$ and $K'$ are ribbon-move equivalent. One corollary to our main theorem is as follows. A 2-dimensional fibered knot whose fiber is the punctured 3-dimensional torus is not ribbon-move equivalent to any 2-dimensional knot whose Seifert hypersurface is a punctured homology sphere.
△ Less
Submitted 11 March, 2010;
originally announced March 2010.
-
A new invariant associated with decompositions of manifolds
Authors:
Eiji Ogasa
Abstract:
We introduce a new topological invariant, which is a nonnegative integer, of compact manifolds with boundaries associated with a kind of decomposition of them. Let M and N be m-dimensional compact connected manifolds with boundaries. The new invariant of any boundary union of M and N is less than or equal to that of M (resp. that of N).
We introduce a new topological invariant, which is a nonnegative integer, of compact manifolds with boundaries associated with a kind of decomposition of them. Let M and N be m-dimensional compact connected manifolds with boundaries. The new invariant of any boundary union of M and N is less than or equal to that of M (resp. that of N).
△ Less
Submitted 15 October, 2013; v1 submitted 14 December, 2005;
originally announced December 2005.
-
Local move formulae for \\the Alexander polynomials of $n$-knots
Authors:
Eiji Ogasa
Abstract:
It is well-known:Suppose there are three 1-dimensional links $K_+$, $K_-$, $K_0$ such that $K_+$, $K_-$, and $K_0$ coincide out of a 3-ball $B$ trivially embedded in $S^3$ and that $K_+\cap B$, $K_-\cap B$, and $K_0\cap B$ are drawn as follows. Then $Δ_{K_+}-Δ_{K_+}=(t-1)\cdotΔ_{K_0}$, where $Δ_{K}$ is the Alexander polynomial of $K$.
We know similar formulae of other invariants of 1-dimension…
▽ More
It is well-known:Suppose there are three 1-dimensional links $K_+$, $K_-$, $K_0$ such that $K_+$, $K_-$, and $K_0$ coincide out of a 3-ball $B$ trivially embedded in $S^3$ and that $K_+\cap B$, $K_-\cap B$, and $K_0\cap B$ are drawn as follows. Then $Δ_{K_+}-Δ_{K_+}=(t-1)\cdotΔ_{K_0}$, where $Δ_{K}$ is the Alexander polynomial of $K$.
We know similar formulae of other invariants of 1-dimensional knots and links. (The Jones polynomial etc.)
It is natural to ask: Suppose there are two $n$-dimensional knots $K_+$, $K_-$ and a submanifold $K_0$ such that $K_+$, $K_-$, and $K_0$ coincide out of a $n$-ball $B$ trivially embedded in $S^{n+2}$. Then is there a relation in $K_+\cap B$, $K_-\cap B$, and $K_0\cap B$ with the following property(*)? (*)If $K_+$, $K_-$, and $K_0$ satisfy this relation, an invariant of $K_+$, that of $K_-$, and that of $K_0$ satisfy a fixed relation.
In this paper we pove there are such a relation where $K_+$, $K_-$, and $K_0$ satisfy the formula $Δ_{K_+}-Δ_{K_+}=(t-1)\cdotΔ_{K_0}$, where $Δ_{K}$ is a polynomial to represent the Alexander polynomial of $K$.
We show another relation where $K_+$, $K_-$, and $K_0$ satisfy the formula ${\mathrm{Arf}}K_+-{\mathrm{Arf}}K_-=\{|bP_{4k+2}\cap I(K_0)|+1\}mod 2,$ where (1)$I()$ is the inertia group. and $I(K_0)$ is the inertia group of a smooth manifold which is orientation preserving diffeomorphic to $K_0$. (2)For a group $G$, $|G|$ denote the order of $G$. A local move formula is a relation of an invariant of a few knots related by a local move as above.
△ Less
Submitted 8 December, 2005;
originally announced December 2005.
-
'Topological parallel world' constructed by modification of space-time along observables
Authors:
Eiji Ogasa
Abstract:
We introduce a new concept, `(topological) (vacuum) parallel world, ' which is a new tool to research submanifolds. Roughly speaking, `Observables in (T)QFT' is equal to `a (topological) modification of space-time.' In other words, we give a new interpretation of observables. We give some examples associated with the Alexander polynomial, the Jones polynomial.
We introduce a new concept, `(topological) (vacuum) parallel world, ' which is a new tool to research submanifolds. Roughly speaking, `Observables in (T)QFT' is equal to `a (topological) modification of space-time.' In other words, we give a new interpretation of observables. We give some examples associated with the Alexander polynomial, the Jones polynomial.
△ Less
Submitted 22 September, 2004;
originally announced September 2004.
-
Ribbon-moves of 2-knots: the torsion linking pairing and the $\widetildeη$-invariants of 2-knots
Authors:
Eiji Ogasa
Abstract:
We discuss the ribbon-move for 2-knots, which is a local move. Let $K$ and $K'$ be 2-knots. Then we have: Suppose that $K$ and $K'$ are ribbon-move equivalent.
(1) Let ${\mathrm {Tor}} H_1(\widetilde X_K; {\Z})$ (resp. ${\mathrm {Tor}} H_1(\widetilde X_{K'}; {\Z})$) be the $\Z$-torsion submodule of the Alexander module $H_1(\widetilde X_K; {\Z})$ (resp. $H_1(\widetilde X_{K'}; {\Z})$). Then…
▽ More
We discuss the ribbon-move for 2-knots, which is a local move. Let $K$ and $K'$ be 2-knots. Then we have: Suppose that $K$ and $K'$ are ribbon-move equivalent.
(1) Let ${\mathrm {Tor}} H_1(\widetilde X_K; {\Z})$ (resp. ${\mathrm {Tor}} H_1(\widetilde X_{K'}; {\Z})$) be the $\Z$-torsion submodule of the Alexander module $H_1(\widetilde X_K; {\Z})$ (resp. $H_1(\widetilde X_{K'}; {\Z})$). Then ${\mathrm {Tor}} H_1(\widetilde X_K; {\Z})$ is isomorphic to ${\mathrm {Tor}} H_1(\widetilde X_{K'}; {\Z})$ not only as $\Z$-modules but also as ${\Z}[t,t^{-1}]$-modules.
(2) The Farber-Levine pairing for $K$ is equivalent to that for $K'$.
(3) The set of the values of the $\Q/\Z$-valued $\tildeη$ invariants for $K$ is equivalent to that for $K'$.
△ Less
Submitted 9 July, 2004;
originally announced July 2004.
-
Remarks on $n$-dimensional Feynman diagrams, for example, which will appear in M-theory and in F-theory
Authors:
Eiji Ogasa
Abstract:
We state some remarks on `$n$-dimensional Feynman diagrams' ($n\in\N$). There are different features between in the case of $n$-dimensional Feynman diagrams($n\geqq3$) and in the 1-, 2-dimensional case.
We state some remarks on `$n$-dimensional Feynman diagrams' ($n\in\N$). There are different features between in the case of $n$-dimensional Feynman diagrams($n\geqq3$) and in the 1-, 2-dimensional case.
△ Less
Submitted 28 January, 2004;
originally announced January 2004.
-
Supersymmetry, homology with twisted coefficients and n-dimensional knots
Authors:
Eiji Ogasa
Abstract:
Let $n$ be any natural number. Let $K$ be any $n$-dimensional knot in $S^{n+2}$. We define a supersymmetric quantum system for $K$ with the following properties. We firstly construct a set of functional spaces (spaces of fermionic \{resp. bosonic\} states) and a set of operators (supersymmetric infinitesimal transformations) in an explicit way. Thus we obtain a set of the Witten indexes for $K$.…
▽ More
Let $n$ be any natural number. Let $K$ be any $n$-dimensional knot in $S^{n+2}$. We define a supersymmetric quantum system for $K$ with the following properties. We firstly construct a set of functional spaces (spaces of fermionic \{resp. bosonic\} states) and a set of operators (supersymmetric infinitesimal transformations) in an explicit way. Thus we obtain a set of the Witten indexes for $K$. Our Witten indexes are topological invariants for $n$-dimensional knots. Our Witten indexes are not zero in general. If $K$ is equivalent to the trivial knot, all of our Witten indexes are zero. Our Witten indexes restrict the Alexander polynomials of $n$-knots. If one of our Witten indexes for an $n$-knot $K$ is nonzero, then one of the Alexander polynomials of $K$ is nontrivial. Our Witten indexes are connected with homology with twisted coefficients. Roughly speaking, our Witten indexes have path integral representation by using a usual manner of supersymmetric theory.
△ Less
Submitted 16 November, 2003;
originally announced November 2003.
-
n-dimensional links, their components, and their band-sums
Authors:
Eiji Ogasa
Abstract:
We prove the following results (1) (2) (3) on relations between $n$-links and their components. (1) Let L=(L_1, L_2) be a (4k+1)-link (4k+1\geq 5). Then we have Arf L=Arf L_1+Arf L_2. (2) Let L=(L_1, L_2) be a (4k+3)-link (4k+3\geq3). Then we have σL=σL_1+σL_2. (3) Let n\geq1. Then there is a nonribbon n-link L=(L_1, L_2) such that L_i is a trivial knot.
We prove the following results (4) (5)…
▽ More
We prove the following results (1) (2) (3) on relations between $n$-links and their components. (1) Let L=(L_1, L_2) be a (4k+1)-link (4k+1\geq 5). Then we have Arf L=Arf L_1+Arf L_2. (2) Let L=(L_1, L_2) be a (4k+3)-link (4k+3\geq3). Then we have σL=σL_1+σL_2. (3) Let n\geq1. Then there is a nonribbon n-link L=(L_1, L_2) such that L_i is a trivial knot.
We prove the following results (4) (5) (6) (7) on band-sums of n-links. (4) Let L=(L_1, L_2) be a (4k+1)-link (4k+1\geq 5). Let K be a band-sum of L. Then we have Arf K=Arf L_1+Arf L_2. (5) Let L=(L_1, L_2) be a (4k+3)-link (4k+3\geq3). Let K be a band-sum of L. Then we have σK=σL_1+ σL_2.
The above (4)(5) imply the following (6). (6) Let 2m+1\geq3. There is a set of three (2m+1)-knots K_0, K_1, K_2 with the following property: K_0 is not any band-sum of any n-link L=(L_1, L_2) such that L_i is equivalent to K_i (i=1,2). (7) Let n\geq1. Then there is an n-link L=(L_1, L_2) such that L_i is a trivial knot (i=1,2) and that a band-sum of $L$ is a nonribbon knot.
We prove a 1-dimensional version of (1). (8) Let L=(L_1, L_2) be a proper 1-link. Then Arf L =Arf L_1+ Arf L_2+{1/2}\{β^*(L)$+mod4 $\{{1/2}lk (L)\}\}
=Arf L_1+Arf L_2+mod2 \{λ(L)\}, where β^*(L) is the Saito-Sato-Levine invariant and λ(L) is the Kirk-Livingston invariant.
△ Less
Submitted 21 November, 2000;
originally announced November 2000.
-
Ribbon-moves of 2-links preserve the μ-invariant of 2-links
Authors:
Eiji Ogasa
Abstract:
We introduce ribbon-moves of 2-knots, which are operations to make 2-knots into new 2-knots by local operations in B^4. (We do not assume the new knots is not equivalent to the old ones.)
Let L_1 and L_2 be 2-links. Then the following hold. (1) If L_1 is ribbon-move equivalent to L_2, then we have μ(L_1)=μ(L_2).
(2) Suppose that L_1 is ribbon-move equivalent to L_2. Let W_i be arbitrary Seif…
▽ More
We introduce ribbon-moves of 2-knots, which are operations to make 2-knots into new 2-knots by local operations in B^4. (We do not assume the new knots is not equivalent to the old ones.)
Let L_1 and L_2 be 2-links. Then the following hold. (1) If L_1 is ribbon-move equivalent to L_2, then we have μ(L_1)=μ(L_2).
(2) Suppose that L_1 is ribbon-move equivalent to L_2. Let W_i be arbitrary Seifert hypersurfaces for L_i. Then the torsion part of H_1(W_1)+H_1(W_2) is congruent to G+G for a finite abelian group G.
(3) Not all 2-knots are ribbon-move equivalent to the trivial 2-knot.
(4) The inverse of (1) is not true.
(5) The inverse of (2) is not true.
Let L=(L_1,L_2) be a sublink of homology boundary link. Then we have: (i) L is ribbon-move equivalent to a boundary link. (ii) μ(L)= μ(L_1) + μ(L_2).
We would point out the following facts by analogy of the discussions of finite type invariants of 1-knots although they are very easy observations. By the above result (1), we have: the μ-invariant of 2-links is an order zero finite type invariant associated with ribbon-moves and there is a 2-knot whose μ-invariant is not zero. The mod 2 alinking number of (S^2, T^2)-links is an order one finite type invariant associated with the ribbon-moves and there is an (S^2, T^2)-link whose mod 2 alinking number is not zero.
△ Less
Submitted 2 April, 2000;
originally announced April 2000.
-
Ribbon-moves of 2-knots: the Farber-Levine pairing and the Atiyah-Patodi-Singer-Casson-Gordon-Ruberman $\widetildeη$-invariants of 2-knots
Authors:
Eiji Ogasa
Abstract:
Let K and K' be 2-knots. Suppose that K and K' are ribbon-move equivalent. Then the Farber-Levine pairing for K is equivalent to that for K' and the (Z-)torsion part of the first Alexander module of $K$ is isomorphic to that of K' as Z[Z] modules.
Let K be a 2-knot which is ribbon-move equivalent to the trivial knot. Then the Atiyah-Patodi-Singer-Casson-Gordon-Ruberman Q/Z-valued \widetildeη-i…
▽ More
Let K and K' be 2-knots. Suppose that K and K' are ribbon-move equivalent. Then the Farber-Levine pairing for K is equivalent to that for K' and the (Z-)torsion part of the first Alexander module of $K$ is isomorphic to that of K' as Z[Z] modules.
Let K be a 2-knot which is ribbon-move equivalent to the trivial knot. Then the Atiyah-Patodi-Singer-Casson-Gordon-Ruberman Q/Z-valued \widetildeη-invariants of K for Z_d is zero. (d is a natural number. d>2.).
△ Less
Submitted 2 April, 2000;
originally announced April 2000.
-
The intersection of spheres in a sphere and a new geometric meaning of the Arf invariant
Authors:
Eiji Ogasa
Abstract:
Let S^3_i be a 3-sphere embedded in the 5-sphere S^5 (i=1,2). Let S^3_1 and S^3_2 intersect transversely. Then the intersection C of S^3_1 and S^3_2 is a disjoint collection of circles. Thus we obtain a pair of 1-links, C in S^3_i (i=1,2), and a pair of 3-knots, S^3_i in S^5 (i=1,2). Conversely let (L_1,L_2) be a pair of 1-links and (X_1,X_2) be a pair of 3-knots. It is natural to ask whether th…
▽ More
Let S^3_i be a 3-sphere embedded in the 5-sphere S^5 (i=1,2). Let S^3_1 and S^3_2 intersect transversely. Then the intersection C of S^3_1 and S^3_2 is a disjoint collection of circles. Thus we obtain a pair of 1-links, C in S^3_i (i=1,2), and a pair of 3-knots, S^3_i in S^5 (i=1,2). Conversely let (L_1,L_2) be a pair of 1-links and (X_1,X_2) be a pair of 3-knots. It is natural to ask whether the pair of 1-links (L_1,L_2) is obtained as the intersection of the 3-knots X_1 and X_2 as above. We give a complete answer to this question. Our answer gives a new geometric meaning of the Arf invariant of 1-links.
Let f be a smooth transverse immersion S^3 into S^5. Then the self-intersection C consists of double points. Suppose that C is a single circle in S^5. Then f^{-1}(C) in S^3 is a 1-knot or a 2-component 1-link. There is a similar realization problem. We give a complete answer to this question.
△ Less
Submitted 15 March, 2000;
originally announced March 2000.
-
The projections of n-knots which are not the projection of any unknotted knot
Authors:
Eiji Ogasa
Abstract:
Let n be any integer greater than two. We prove that there exists a projection P having the following properties. (1) P is not the projection of any unknotted knot. (2) The singular point set of P consists of double points. (3) P is the projection of an n-knot which is diffeomorphic to the standard sphere.
We prove there exists an immersed n-sphere (in R^{n+1}\times{0}) which is not the projec…
▽ More
Let n be any integer greater than two. We prove that there exists a projection P having the following properties. (1) P is not the projection of any unknotted knot. (2) The singular point set of P consists of double points. (3) P is the projection of an n-knot which is diffeomorphic to the standard sphere.
We prove there exists an immersed n-sphere (in R^{n+1}\times{0}) which is not the projection of any n-knot (n>2). Note that the second theorem is different from the first one.
△ Less
Submitted 15 March, 2000;
originally announced March 2000.