[Paper Review] Vassiliev invariants and knots modulo pure braid subgroups

Theodore Stanford|ArXiv.org|May 20, 1998

Geometric and Algebraic Topology16 references16 citations

TL;DR

This paper establishes a precise algebraic characterization of Vassiliev invariants of knots by showing that two knots have identical Vassiliev invariants of order less than $ n $ if and only if they are equivalent modulo the $ n $th term of the lower central series of a pure braid group. The key contribution is a duality between finite-type invariants and group-theoretic structures in braid groups, unifying quantum invariants with classical group theory and extending to derived series and other subgroup filtrations.

ABSTRACT

We show that two knots have matching Vassiliev invariants of order less than n if and only if they are equivalent modulo the nth group of the lower central series of some pure braid group, thus characterizing Vassiliev's knot invariants in terms of the structure of the braid groups. We also prove some results about knots modulo the nth derived subgroups of the pure braid groups, and about knots modulo braid subgroups in general.

Motivation & Objective

• To establish a precise algebraic characterization of Vassiliev invariants using the lower central series of pure braid groups.
• To unify quantum invariants (like the Jones polynomial) with classical group-theoretic structures in braid groups.
• To extend the characterization to derived series and other subgroup filtrations of pure braid groups.
• To show that knots with matching invariants of order $<n$ are related by a single braid replacement in $\mathrm{LCS}_n(P_k)$.
• To prove that $\mathrm{LCS}_n$-equivalence and $V_n$-equivalence are equivalent relations on knots.

Proposed method

• Define $V_n$-equivalence as equality of all Vassiliev invariants of order less than $n$.
• Define $\mathrm{LCS}_n$-equivalence via braid replacements using elements from the $n$th term of the lower central series of pure braid groups.
• Use the group ring $\mathbb{Z}B_k$ and the augmentation ideal $I_k$ of $\mathbb{Z}P_k$ to formalize Vassiliev invariants as vanishing on $I_k^n$.
• Prove that $\mathrm{LCS}_n$-equivalence implies $V_n$-equivalence using the structure of iterated commutators in pure braid groups.
• Use induction and conjugation in $B_3$ to generate elements of $\mathrm{DS}_n(P_3)$, showing closure under group operations.
• Construct infinite families of prime, alternating knots within each $\mathrm{DS}_n$-equivalence class using braid insertions.

Experimental results

Research questions

• RQ1 When do two knots have identical Vassiliev invariants of order less than $n$?
• RQ2 Can the equivalence of knots with matching finite-type invariants be characterized algebraically via braid group subgroups?
• RQ3 How do the lower central series and derived series of pure braid groups relate to the structure of Vassiliev invariants?
• RQ4 Is it possible to relate two such knots via a single braid replacement in a pure braid group?
• RQ5 Do $\mathrm{LCS}_n$-equivalence and $V_n$-equivalence coincide for all knots?

Key findings

• Two knots are $V_n$-equivalent if and only if they are $\mathrm{LCS}_n$-equivalent, meaning they differ by a single braid replacement in $\mathrm{LCS}_n(P_k)$ for some $k$.
• The $\mathrm{LCS}_n$-equivalence relation is an equivalence relation, and the set of $\mathrm{LCS}_n$-equivalence classes of knots forms a group under connected sum.
• For any $n>0$, there exist infinite families of prime, alternating knots within each $\mathrm{LCS}_n$-equivalence class.
• The derived series $\mathrm{DS}_n(P_k)$ yields a finer equivalence relation than $\mathrm{LCS}_n(P_k)$, and $\mathrm{DS}_n$-equivalence classes also form groups under connected sum.
• The quotients $\mathrm{LCS}_n(P_k)/\mathrm{LCS}_{n+1}(P_k)$ are finitely generated abelian, while $\mathrm{DS}_n(P_k)/\mathrm{DS}_{n+1}(P_k)$ are abelian but not finitely generated.
• Elements of $\mathrm{DS}_n(P_3)$ include words of the form $awa$, $awB$, $Bwa$, $BwB$, $awaD$, $awBD$, $BwaD$, and $dBwa$, closed under conjugation and commutator operations.