We construct new invariant polynomial for long virtual knots. It is a generalization of Alexander polynomial. We designate it by \zeta meaning an analogy with \zeta-polynomial for virtual links. A degree of \zeta-polynomial estimates a virtual crossing number. We describe some application of \zeta-polynomial for the study of minimal long virtual diagrams with respect number of virtual crossings.
By a long virtual knot diagram we mean a smooth immersion f:\mathbb{R}\rightarrow\mathbb{R}^2 such that:
1) outside some big circle, we have f(t)=(t,0);
2) each intersection point is double and transverse;
3) each intersection point is endowed with classical (with a choice for underpass and overpass specified) or virtual crossing structure.
A long virtual knot is an equivalence class of long virtual knot diagrams modulo generalized Reidemeister moves.
By an arc of a long virtual knot diagram we mean a connected component of the set, obtained from the diagram by deleting all virtual crossings (at classical crossing the undercrossing pair of edges of the diagram is thought to be disjoint as it is usually illustrated).
We say that two arcs a, a' belong to the same long arc if there exists a sequence of arcs a = a_{1},\dots, a_{n+1} = a' and virtual crossings c_{1},\dots,c_{n} such that for i = 1,\dots, n the arcs a_{i},a_{i+1} are incident to c_i from opposite sides.
An incidence coefficient [v:a]\in T=\mathbb{Z}[p,p^{-1},q,q^{-1}]/((p-1)(p-q),(q-1)(p-q)) of classical crossing v and arc a is defined as a sum of some of three polynomials: [v:a]={\varepsilon}_1 1+{\varepsilon}_2 (t^{sgn\,v}-1)+{\varepsilon}_3(-t^{sgn\,v}), where {\varepsilon}_i\in\{0,1\},i=1,2,3; t=p if v is early overcrossing, t=q if v is early undercrossing; sgn\,v denotes local writhe number of v. We set {\varepsilon}_1=1\Leftrightarrow arc a is emanating from v; {\varepsilon}_2=1\Leftrightarrow a is passing over v; {\varepsilon}_3=1\Leftrightarrow a is coming into v. If v and a are not incident we set [v:a]=0.
If virtual diagrams D,D^{\prime} are equivalent then \zeta(D^{\prime})=q^{r}\zeta(D) for some integer r.
The invariance of \zeta for Reidemeister moves \Omega_1^{\prime},\Omega_2^{\prime},\Omega_3^{\prime} is evident. The checking of invariance for \Omega^{\prime} and \Omega_2 is similar to the case of \zeta-polynomial for virtual link (see [MyBookEng],[MyBook]).
There are two types of the first Reidemeister move \Omega_1: {\Omega}_1^p, if we have early overcrossing, and {\Omega}_1^q, if we have early undercrossing. It easy to calculate that \zeta({\Omega}_1^p(D))=\zeta(D), \zeta({\Omega}_1^q(D))=q^{\pm 1}\zeta(D).
It is convenient to use the Laplace theorem (about determinants) to check that det\, A(\Omega_3(D))=det\,A(D). We check equality for 10 pair of 3\times3-minors of matrices A(\Omega_3(D)) and det\,A(D). Two of these pairs give equalities only if we set (p-1)(p-q)=0,(q-1)(p-q)=0.
Let k be the number of virtual crossings on a long virtual diagram D. Then deg_s\,\zeta(D)\leqslant k.
If deg_s\,\zeta(D)=k then D has minimal virtual crossing number.
The s^k-th coefficient of \zeta(D) is equal to det\,B, where B_{ij}=[v_i:a_j] if \exists\, a_j\subset{\gamma}^j s.t. deg\,a_j=#of increasing virtual crossings on \gamma^j, and B_{ij}=0 otherwise, i,j=1,...,n.
In Figure we draw long virtual diagram D_{r,l} which closure is unknot. Arcs a_j, j=1,...,n, are marked by thick lines. By Theorem 1.3 the s^k-th coefficient of \zeta(D) is equal to |[v_i:a_j]|_{i,j=1,...,n}= q^{r+l}(qp^{-1}-1)=q-p\neq 0 in the ring T. Consequently, D_{r,l} is minimal by Corollary 1.1.
If D is a minimal long virtual diagram with respect number of virtual crossings, K is a long classical knot diagram, then D*K is also minimal.
(the particular case of Conjecture)
If D is a minimal long virtual diagram s.t. deg_s\,\zeta(D) is equal to virtual crossing number of D, K is a long classical knot diagram, then D*K is minimal.
By Lemma 1.1 \zeta(D*K)=\zeta_{-}(D*K)+\zeta_{+}(D*K)= -\zeta_{-}(D)\zeta_{-}(K)+\zeta_{+}(D)\zeta_{+}(K)= \zeta_{+}(K)\zeta(D), because \zeta(K)=0. Consequently, deg_s\,\zeta(D*K)=deg_s\,\zeta(D) if \zeta_{+}(K)\in T is not zero divisor.
It easy to check that \zeta_{+}(K)|_{p=1,\,q=1}=\pm \Delta(K)|_{t=1}, where \Delta denotes Alexander polynomial. It is known that \Delta(K)|_{t=1}=\pm 1. Hence, by Lemma 1.2 \zeta_{+}(K) is not zero divisor, because \zeta_{+}(K)|_{p=1,\,q=1}\neq 0.
\zeta_{-}(D_1*D_2)=-\zeta_{-}(D_1)\zeta_{-}(D_2); \zeta_{+}(D_1*D_2)=\zeta_{+}(D_1)\zeta_{+}(D_2).
x\in T=\mathbb{Z}[p,p^{-1},q,q^{-1}]/((p-1)(p-q),(q-1)(p-q)) is zero divisor \Leftrightarrow x|_{p=1,\,q=1}=0.
The text on this page is from arXiv:0906.4245v1 by Afanasiev Denis, under the licence CC0 1.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/0906/0906.4245.jsonl.