Vassiliev Spectral Sequence

• The Vassiliev spectral sequence is a tool that applies a complexity filtration on a simplicial resolution of the discriminant to approximate the cohomology of knot spaces.
• It connects finite-type invariants with combinatorial weight systems by revealing how graded diagonal components correspond to Sinha’s embedding calculus after a degree shift.
• Unstable and combinatorial models extend the method through explicit cell structures and refined derivatives, enabling deeper insights into singular knot configurations.

The Vassiliev spectral sequence is the spectral sequence associated to the complexity filtration on a simplicial resolution of the discriminant of singular knots. In the long-knot setting, it approximates the cohomology of knot spaces by replacing the discriminant of singular maps with a filtered resolution whose strata record multiple-point and critical-point data. Its diagonal part is tied to finite-type invariants, while modern comparison results place it in direct correspondence with Sinha’s embedding-calculus spectral sequence after a degree shift (Moriya, 28 Sep 2025). Earlier work formulated this relation at the level of the Vassiliev $E_1$-page and the Sinha $E_2$-page and used it to study collapse and non-collapse phenomena for spaces of knots in $\mathbb R^m$ (Marino et al., 23 Apr 2025).

1. Discriminant, simplicial resolution, and complexity filtration

For long knots in $\mathbb R^3$, the relevant knot space is

$$K_3=\{\, f:\mathbb{R}\to\mathbb{R}^3 \text{ smooth embedding, standard outside a compact set}\,\}.$$

A standard entry point is a finite-dimensional approximation $I_n$ of the space of polynomial maps $\mathbb R\to\mathbb R^3$, together with the discriminant $\mathrm{Sing}\subset I_n$ of singular maps. By Alexander duality,

$H^*(I_n-\mathrm{Sing}) \cong H_*(\mathrm{Sing}^*).$

The Vassiliev construction resolves $\mathrm{Sing}^*$ by a filtered space $E_2$0, or by its compactified variant $E_2$1, whose simplices encode graphs and labels describing multiple points and derivative-degeneracy conditions. The resulting spectral sequence is the spectral sequence of the complexity filtration

$E_2$2

where complexity measures the singular conditions represented by the graph or classed configuration (Moriya, 28 Sep 2025).

This formulation distinguishes reduced and unreduced versions. In the stable limit, these are denoted $E_2$3 and $E_2$4, and they differ only in bidegree $E_2$5. The unstable finite-dimensional models are relabeled by

$E_2$6

and the stable sequence is obtained by passage to the limit over $E_2$7 in the stable range (Moriya, 28 Sep 2025).

2. Diagonal terms, finite-type invariants, and weight systems

The Vassiliev spectral sequence was introduced as a tool for approximating the cohomology of spaces of knots in $E_2$8 via resolutions of singularities, and in degree $E_2$9 it detects finite-type invariants (Marino et al., 23 Apr 2025). Its diagonal part is the locus where finite-type information appears in the most classical form.

The modern formulation identifies the diagonal piece with the map

$\mathbb R^m$0

where $\mathbb R^m$1 is the space of finite type $\mathbb R^m$2 invariants and $\mathbb R^m$3 is the space of weight systems of weight $\mathbb R^m$4, dual to chord diagrams modulo $\mathbb R^m$5 and $\mathbb R^m$6 relations. Over $\mathbb R^m$7, degeneration of the diagonal part yields equality between these spaces (Moriya, 28 Sep 2025).

A sharper criterion is available over a principal ideal domain. The equality

$\mathbb R^m$8

holds if and only if the diagonal part

$\mathbb R^m$9

of the Sinha spectral sequence degenerates at $\mathbb R^3$0; equivalently, one may express the condition in terms of degeneration in bidegrees $\mathbb R^3$1 for $\mathbb R^3$2 (Moriya, 28 Sep 2025). This reframes the classical finite-type problem as a spectral-sequence degeneration statement.

3. Unstable and combinatorial models

A distinct but closely related development is the unstable Vassiliev theory built from plumbers’ knots. In that setting, the space of all $\mathbb R^3$3-move plumbers’ maps is

$\mathbb R^3$4

and the subspace $\mathbb R^3$5 consists of maps whose distant pipes do not intersect. The stabilization maps

$\mathbb R^3$6

produce a directed system whose limit has the weak homotopy type of the space of long knots. The discriminant is

$\mathbb R^3$7

and it admits an explicit cell structure indexed by singularity data (Giusti, 2011).

The geometric resolution is the homotopy colimit

$\mathbb R^3$8

which is homotopy equivalent to the original discriminant and carries a refined cell structure. The complexity filtration is defined on the whole singularity structure of the model: simple curves have complexity equal to the number of transverse double points, triple points have complexity $\mathbb R^3$9, and more degenerate singularities inherit complexity recursively from boundary incidence (Giusti, 2011).

This filtration produces the homology spectral sequence

$$K_3=\{\, f:\mathbb{R}\to\mathbb{R}^3 \text{ smooth embedding, standard outside a compact set}\,\}.$$0

and, after reindexing by

$$K_3=\{\, f:\mathbb{R}\to\mathbb{R}^3 \text{ smooth embedding, standard outside a compact set}\,\}.$$1

a cohomological sequence $$K_3=\{\, f:\mathbb{R}\to\mathbb{R}^3 \text{ smooth embedding, standard outside a compact set}\,\}.$$2 converging to $$K_3=\{\, f:\mathbb{R}\to\mathbb{R}^3 \text{ smooth embedding, standard outside a compact set}\,\}.$$3 via Alexander duality (Giusti, 2011).

A major feature of this model is the extension of the Vassiliev derivative to all singularity types of plumbers’ curves. For a singular cell $$K_3=\{\, f:\mathbb{R}\to\mathbb{R}^3 \text{ smooth embedding, standard outside a compact set}\,\}.$$4, the generalized derivative is defined by

$$K_3=\{\, f:\mathbb{R}\to\mathbb{R}^3 \text{ smooth embedding, standard outside a compact set}\,\}.$$5

and stable cells recover the classical Birman–Lin / Bar-Natan derivative. The corresponding Alexander dual chain representative is the “Vassiliev–Taylor series”

$$K_3=\{\, f:\mathbb{R}\to\mathbb{R}^3 \text{ smooth embedding, standard outside a compact set}\,\}.$$6

In the inverse limit, finite type invariants appear in the usual complexity line: $$K_3=\{\, f:\mathbb{R}\to\mathbb{R}^3 \text{ smooth embedding, standard outside a compact set}\,\}.$$7 for sufficiently large $$K_3=\{\, f:\mathbb{R}\to\mathbb{R}^3 \text{ smooth embedding, standard outside a compact set}\,\}.$$8 (Giusti, 2011).

4. Comparison with the Sinha spectral sequence

A central modern theme is the comparison between the Vassiliev spectral sequence and the Sinha spectral sequence arising from the cosimplicial Kontsevich spaces $$K_3=\{\, f:\mathbb{R}\to\mathbb{R}^3 \text{ smooth embedding, standard outside a compact set}\,\}.$$9. Earlier formulations stated that the Sinha sequence agrees, up to a bigrading shift, with the Vassiliev sequence on the relevant early page: the second page of Sinha coincides with the first page of Vassiliev, up to regrading (Marino, 29 May 2025). In the notation used for long knots in $I_n$0, this comparison was also described as the agreement of the Sinha $I_n$1-page with the Vassiliev $I_n$2-page for all $I_n$3 (Marino et al., 23 Apr 2025).

For $I_n$4, a stronger statement is now available over a field. The standard degree shift is

$I_n$5

and with this shift the Vassiliev spectral sequence and the Sinha spectral sequence have isomorphic pages as abstract bigraded $I_n$6-vector spaces, hence also isomorphic $I_n$7-pages (Moriya, 28 Sep 2025).

This comparison changes the status of several earlier statements. Before the field-level comparison was proved, work in dimension $I_n$8 treated the equivalence with the Vassiliev spectral sequence as conjectural on the Sinha side (Marino et al., 23 Apr 2025). The later comparison theorem for $I_n$9 over a field converts that conjectural relationship into a pagewise identification in the stable setting (Moriya, 28 Sep 2025).

5. Collapse, non-collapse, and coefficient dependence

The rational behavior of the Vassiliev spectral sequence is controlled by comparison with the Sinha sequence. For $\mathbb R\to\mathbb R^3$0 and rational coefficients, the Sinha and Vassiliev sequences converge to the same limit because both collapse early (Marino, 29 May 2025). In the long-knot case $\mathbb R\to\mathbb R^3$1, the pagewise comparison over a field implies the rational degeneration statement

$\mathbb R\to\mathbb R^3$2

and this includes the non-diagonal part (Moriya, 28 Sep 2025).

This statement strengthens the classical diagonal picture. The diagonal rational degeneration had long been tied to Kontsevich’s work on weight systems; the newer comparison result extends rational degeneration to the full spectral sequence, not merely the diagonal line (Moriya, 28 Sep 2025).

Positive-characteristic behavior is different. For the Sinha homology spectral sequence of long knots in $\mathbb R\to\mathbb R^3$3 with $\mathbb R\to\mathbb R^3$4-coefficients, an explicit computation exhibits a nontrivial differential

$\mathbb R\to\mathbb R^3$5

proving that the sequence does not collapse at page $\mathbb R\to\mathbb R^3$6 (Marino et al., 23 Apr 2025). That paper presented the implication for the Vassiliev spectral sequence as conjectural, because the $\mathbb R\to\mathbb R^3$7 comparison had not yet been established there. In light of the later field-level comparison for $\mathbb R\to\mathbb R^3$8, this suggests that the corresponding non-collapse phenomenon transfers to the Vassiliev side as well (Moriya, 28 Sep 2025).

The coefficient dependence is thus structural rather than incidental: over $\mathbb R\to\mathbb R^3$9, early collapse is enforced by comparison with formality-based results on the Sinha side, whereas over $\mathrm{Sing}\subset I_n$0 explicit higher differentials survive (Marino et al., 23 Apr 2025).

6. Broader spectral-sequence context

The Vassiliev spectral sequence belongs to a wider family of filtrational constructions built from singular strata, coincidence loci, and multiple-point spaces. A sheaf-theoretic spectral sequence for a stratified space

$\mathrm{Sing}\subset I_n$1

has

$\mathrm{Sing}\subset I_n$2

and was explicitly described as “close in spirit” to Vassiliev’s work (Petersen, 2016).

In the configuration-space case, stratifying $\mathrm{Sing}\subset I_n$3 by diagonal coincidence patterns yields the partition lattice $\mathrm{Sing}\subset I_n$4, and the corresponding page becomes

$\mathrm{Sing}\subset I_n$5

recovering the Poincaré dual of the Cohen–Taylor spectral sequence and, in a second variant, the Bendersky–Gitler spectral sequence (Petersen, 2016). This places the Vassiliev method within a general poset-and-strata formalism rather than a single knot-theoretic construction.

A closely related perspective appears in image-computing spectral sequences. For a triangulable map $\mathrm{Sing}\subset I_n$6, one has

$\mathrm{Sing}\subset I_n$7

where $\mathrm{Sing}\subset I_n$8 are fibred products and $\mathrm{Sing}\subset I_n$9 are strict multiple point spaces. Goryunov’s proof of the ICSS passed through a semi-simplicial realization inspired by Vassiliev’s resolutions of discriminants, while the newer simplicial double-complex proof avoids constructing that geometric realization explicitly (Cisneros-Molina et al., 2019).

In this broader setting, the Vassiliev spectral sequence is best viewed as the knot-theoretic instance of a resolution-by-singularities paradigm: one replaces a complicated discriminant or image by a filtered object whose associated graded terms are combinatorial or stratified enough to compute, and whose differentials encode how singular strata assemble into the ambient moduli problem.