Pairings of combinatorial 1-cocycles with loops in knot spaces

We show that the evaluations of combinatorial 1-cocycles defined by Gauss diagrams with a triangle on the canonical loops in the space of long knots are finite type invariants. Using Gauss diagrams, we construct two $\mathbb{Z}$-valued combinatorial 1-cocycles ${\beta }_1,{\beta }_2$ and a $\mathbb{Z}/2\mathbb{Z}$-valued 1-cocycle ${\beta }_3$ on the space of long knots and prove their cocyclicity by verifying their invariance under higher Reidemeister moves coming from the codimension-two singularities of plane curves. We show that they represent genuinely new 1-cohomology classes and compute their pairings with the rotation, rolling, half rolling, bracket and half bracket loops. A key new feature is that ${\beta }_1$ and ${\beta }_2$ can pair nontrivially with bracket and half-bracket loops. We conjecture that $({\alpha }_3^1,{\beta }_1,{\beta }_2)$ over $\mathbb{Q}$, and their mod 2 reductions together with ${\beta }_3$ over $\mathbb{Z}/2\mathbb{Z}$, form bases of degree-one cohomology up to order 4 in the sense of Vassiliev. In addition, we show that the reparametrization loop is homotopic to the rolling loop concatenated with the rotation loop in $\mathrm{Emb}(S^1,S^3)$. Finally, we give the criteria for a 1-cohomology class in the long knot space to descend to 1-cohomology classes in $\mathrm{Emb}(S^1,S^3)$ and $\mathrm{Emb}(S^1,S^3)/{\mathrm{Diff}}^{+}(S^1)$. Using these criteria, we show that ${\beta }_1$ descends to a nontrivial 1-cohomology class in $\mathrm{Emb}(S^1,S^3)$, while ${\beta }_1\mathrm{mod}2$ and ${\beta }_3$ descend to linearly independent nontrivial 1-cohomology classes in $\mathrm{Emb}(S^1,S^3)/{\mathrm{Diff}}^{+}(S^1)$.