A refined 1-cocycle for regular isotopies and the refined tangle equations

Imagine you have two pieces of string. They look tangled in very different ways on your kitchen table. You want to know: Are these actually the same knot, just twisted differently? Or are they fundamentally different shapes that can never be untangled into one another?

Mathematicians have been trying to answer this for a long time. Usually, they use "invariants"—mathematical formulas that give a specific number or code to a knot. If the numbers match, the knots might be the same. If they don't, they are definitely different. But sometimes, different knots give the same number, leaving mathematicians stuck.

This paper, by Thomas Fiedler, introduces a new, super-powered tool to solve this puzzle. Here is the breakdown using simple analogies.

1. The Problem: The "Telescoping" Effect

Imagine you are trying to measure the "twistiness" of a knot by sliding a small, rigid ring (let's call it a probe) along the length of the string.

In previous versions of this math, when the probe slid over a crossing in the knot, it would create a temporary "glitch" (a double point). The math was designed so that if the probe slid over a "good" crossing and then a "bad" crossing, the glitches would cancel each other out perfectly. It was like a telescope collapsing: the measurement went up, then immediately down, returning to zero.

Because of this "telescoping effect," the old math often resulted in a total score of zero, giving no useful information. It was like trying to weigh a feather on a scale that automatically subtracts the weight of the air around it.

2. The Innovation: Adding a "Shadow" (The Longitude)

Fiedler's big idea is to stop looking at the knot in isolation. Instead, he imagines the knot is a red rope, and right next to it, running perfectly parallel, is a black rope (called a "longitude").

Think of it like a train track. The red rope is the train, and the black rope is the track it runs on. They are tied together at the ends, but they never touch in the middle.

Now, when you slide your probe (which is actually a double-stranded loop, like a pair of socks) along this red-and-black system, something magical happens:

The probe interacts with the red rope.
It also interacts with the black rope.
Crucially, the "glitches" created by the red rope and the black rope no longer cancel each other out.

The "telescope" is broken. The measurement stays open. Instead of collapsing to zero, the math now produces a complex, colorful polynomial (a fancy algebraic expression with $x$ 's and numbers).

3. The "Refined Tangle Equations"

The paper introduces a new set of rules called the Refined Tangle Equations.

Think of this like a detective's ledger.

The Left Side: You calculate the "score" of your knot diagram before you start twisting it.
The Right Side: You calculate the "score" after you twist it into a new shape.
The Equation: The paper says these two scores must be equal if the knots are actually the same.

But here is the cool part: The equation doesn't just say "Equal" or "Not Equal." It lists exactly how the knot changed. It tells you:

"You had to cross a red strand over a black strand 3 times."
"You had to undo a specific type of knot 2 times."
"The coefficients (the numbers in the equation) tell you the 'cost' of these moves."

If you try to turn Knot A into Knot B, and the math says "This equation has no solution," then Knot A and Knot B are definitely different. You can't turn one into the other, no matter how hard you try.

4. Why This Matters

Quantitative Information: Old tools just said "Different." This new tool says, "They are different, and here is the exact list of impossible moves required to make them the same."
Breaking the Deadlock: By adding the "black rope" (the longitude), the math stops canceling itself out. It creates a new layer of detail that previous tools missed.
The "Fingerprint": The result is a unique polynomial fingerprint for every knot. If two knots have different fingerprints, they are different. If they have the same fingerprint, they are likely the same (though the paper admits we need computers to check the really hard cases).

Summary Analogy

Imagine trying to tell if two messy piles of yarn are the same.

Old Method: You count the number of loops. If the count is the same, you guess they are the same. (But two different piles can have the same loop count).
Fiedler's Method: You wrap a second, contrasting color of yarn around the first one. Then, you slide a sensor along the bundle. Because of the second color, the sensor picks up subtle differences in how the strands cross over and under each other. The sensor doesn't just give a number; it prints out a recipe of exactly how the strands interact. If the recipes don't match, the piles are definitely different.

This paper provides the mathematical "recipe book" and the new sensor technology to finally distinguish knots that were previously impossible to tell apart.

Here is a detailed technical summary of the paper "A refined 1-cocycle for regular isotopies and the refined tangle equations" by Thomas Fiedler.

1. Problem Statement

The paper addresses the challenge of distinguishing long knots (and classical knots) that are regularly isotopic but potentially distinct under more refined invariants. While existing combinatorial 1-cocycles (such as $LR_{reg}$ ) and tangle equations provide tools to analyze knot isotopies, they often suffer from "telescoping effects" where contributions cancel out, rendering the invariants trivial or insufficient for distinguishing certain knots.

Specifically, the author seeks to:

Refine the existing combinatorial 1-cocycle $LR_{reg}$ to take values in a module over Laurent polynomials $\mathbb{Z}[x, x^{-1}]$ rather than just integers.
Incorporate the longitude (a parallel strand) into the knot diagram to break the telescoping cancellation effect.
Derive "refined tangle equations" that provide quantitative information about the specific sequence of Reidemeister moves required to transform one knot diagram into another.

2. Methodology

A. Mathematical Framework

Moduli Spaces: The author defines topological moduli spaces ( $M, M_0, M_+, M_-$ ) representing regular isotopy classes of long knot diagrams, including those with exactly one ordinary double point (singular knots).
Gauss Diagrams: The analysis relies heavily on Gauss diagrams to track crossings, signs, and the position of the point at infinity ( $\infty$ ).
Singularization: The core mechanism involves "singularizing" crossings. When a crossing is a 0-crossing (where the circle component goes from over-cross to under-cross), it is replaced by a double point (singularity).
- $t^+$ : Positive double point.
- $t^-$ : Negative double point.
Weights ( $W_1$ ): The author defines linear weights based on f-crossings. A crossing $q$ is an f-crossing for a distinguished crossing $d$ if the under-crossing of $q$ lies on the arc from $\infty$ to the over-crossing of $d$ . The weight $W_1(d)$ is the sum of signs of all such f-crossings.

B. Construction of the Refined 1-Cocycle

The paper introduces a new 1-cocycle, $LR_{reg}(x)$ , which takes values in the free $\mathbb{Z}[x, x^{-1}]$ -module generated by regular isotopy classes of singular tangles.

Definition: For a generic arc $s$ in the moduli space, the cocycle is a sum over Reidemeister moves (Type II and Type III) occurring along the arc.
Formula: The value is a weighted sum of singularizations:
$LR_{reg}(x)(s) = \sum \text{sign}(p) \cdot x^{W} \cdot (\text{singularization})$
The exponent $W$ involves the linear weights $W_1(d)$ and $W_1(ml)$ (where $ml$ is the "middle-lowest" crossing in a triple crossing). Crucially, the term $(w(hm)-1)/2$ is added to the exponent to correct for specific global types of triple crossings.

C. The 2-Cable and Longitude Extension

To overcome the limitations of standard long knots, the author considers the 2-cable of a knot $D$ (denoted $2D$), consisting of:

A red component (the knot itself).
A black component (the parallel longitude).

Two new 1-cocycles are defined:

$LR_{reg}^{red}(x)$ : Tracks singularities arising from red-red crossings.
$LR_{reg}^{black-red}(x)$ : Tracks singularities arising from black-under/red-over crossings (which are automatically 0-crossings).

D. The Push Arc and Tangle Equations

The author evaluates these cocycles on a specific path called the push arc, where an auxiliary 2-cable $2K $is pushed monotonically from one end of the knot$ 2D$ to the other.

The Equation: If $D$ and $D'$ are regularly isotopic, the difference in the cocycle values between the start and end of the push arc yields the Refined Tangle Equation:
$LR(2K, 2D) - LR(2K, 2D') = \sum_i D_i \left( \sum_j a_{i,j} (x^{b_{i,j} + w_1(K) + w(K)} - x^{b_{i,j}}) \right)$
Here, $D_i$ are singular tangles, and the coefficients are Laurent polynomials depending on the writhe ( $w$ ) and 1-crossing sum ( $w_1$ ) of the auxiliary knot $K$ .

3. Key Contributions

Refinement to Polynomial Coefficients: The paper elevates the combinatorial 1-cocycle from integer coefficients to Laurent polynomials in $\mathbb{Z}[x, x^{-1}]$ . This allows for a more granular tracking of how weights change during isotopy.
Breaking the Telescoping Effect:
- In standard long knots, pushing an auxiliary knot $K$ over a 0-crossing often results in a "telescoping effect" where contributions from different Reidemeister moves cancel out perfectly (summing to zero), making the invariant trivial.
- By adding the longitude (black strand), the author demonstrates that the weights $W_1$ change differently for red-red vs. black-red interactions. Specifically, the presence of the black strand prevents certain crossings from being f-crossings in the same way, breaking the symmetry that causes cancellation.
Quantitative Isotopy Information: The refined tangle equations provide specific data ( $D_i, a_{i,j}, b_{i,j}$ ) about any regular isotopy connecting two diagrams. If no solution exists for the equations, the diagrams represent different knots.
New Invariants for Oriented Knots: The paper suggests that applying morphisms (smoothing or crossing changes) to the resulting singular string links could yield invariants capable of detecting the orientation of long knots, a property not detected by known finite type invariants of degree 7.

4. Results

Theorem 1: Proves that $LR_{reg}^{red}(x)$ and $LR_{reg}^{black-red}(x)$ are valid 1-cocycles.
Proof of Cocycle Property: The author verifies that these cocycles satisfy the positive tetrahedron equation, cube equations, and commutation relations. This involves detailed case-by-case analysis of Reidemeister moves (Types II and III) and showing that contributions along the meridian of a quadruple crossing cancel out appropriately.
Non-Triviality: The paper argues that for the case where $w_1(K) + w(K) = 0$ , the refined cocycle values become knot invariants. The breaking of the telescoping effect implies these invariants are likely non-trivial and can distinguish knots that standard invariants cannot.
Tangle Equations: The derivation of the refined tangle equations shows that the difference between two isotopic diagrams is a linear combination of singular tangles with polynomial coefficients dependent on the auxiliary knot's topology.

5. Significance

Knot Distinction: This work provides a powerful new tool for distinguishing knots. If the refined tangle equations have no solution for a pair of diagrams, they represent distinct knots.
Quantization of Invariants: The shift from integer to polynomial coefficients represents an "elementary quantization" of the original 1-cocycle, potentially linking to quantum invariants (like HOMFLYPT) in a more direct combinatorial way.
Orientation Sensitivity: The method offers a potential pathway to constructing invariants that detect the orientation of long knots, a notoriously difficult problem in knot theory.
Future Directions: The author notes that while the theoretical framework is complete, practical application requires computer programs to calculate examples and verify the non-triviality of the invariants on specific knot pairs. The paper also conjectures further generalizations using Vassiliev invariants.

In summary, Fiedler's paper advances the theory of combinatorial 1-cocycles by introducing polynomial weights and utilizing the knot's longitude to eliminate cancellation effects, resulting in a refined set of tangle equations capable of providing deep quantitative insights into knot isotopies.