---
title: Vassiliev Spectral Sequence
url: https://www.emergentmind.com/topics/vassiliev-spectral-sequence
type: topic
---

# Vassiliev Spectral Sequence

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 [2509.23766]. 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\) [2504.16785].

## 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 \(\mathcal E\), or by its compactified variant \(\bar{\mathcal E}\), 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
\[
F_0 \subset F_1 \subset \cdots \subset F_k \subset \cdots \subset E^*,
\]
where complexity measures the singular conditions represented by the graph or classed configuration [2509.23766].

This formulation distinguishes reduced and unreduced versions. In the stable limit, these are denoted \(E_r\) and \(\bar E_r\), and they differ only in bidegree \((0,0)\). The unstable finite-dimensional models are relabeled by
\[
(p,q)\mapsto (-p,\,6n-q-1),
\]
and the stable sequence is obtained by passage to the limit over \(n\) in the stable range [2509.23766].

## 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 \(\mathbb R^m\) via resolutions of singularities, and in degree \(0\) it detects finite-type invariants [2504.16785]. 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
\[
V_n/V_{n-1}\hookrightarrow W_n,
\]
where \(V_n\) is the space of finite type \(n\) invariants and \(W_n\) is the space of weight systems of weight \(n\), dual to chord diagrams modulo \(1T\) and \(4T\) relations. Over \(\mathbb Q\), degeneration of the diagonal part yields equality between these spaces [2509.23766].

A sharper criterion is available over a principal ideal domain. The equality
\[
V_n/V_{n-1}=W_n
\]
holds if and only if the diagonal part
\[
\mathrm{Di}_{\le 2n} E_r^{1,2}
\]
of the Sinha spectral sequence degenerates at \(E_2\); equivalently, one may express the condition in terms of degeneration in bidegrees \((-i,i)\) for \(i\le 2n\) [2509.23766]. 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 \(m\)-move plumbers’ maps is
\[
P_m \cong \big((0,1)^3\big)^{m-1},
\]
and the subspace \(K_m\subseteq P_m\) consists of maps whose distant pipes do not intersect. The stabilization maps
\[
\iota_m:P_m\to P_{m+1}
\]
produce a directed system whose limit has the weak homotopy type of the space of long knots. The discriminant is
\[
S_m=P_m\setminus K_m,
\]
and it admits an explicit cell structure indexed by singularity data [1107.4717].

The geometric resolution is the homotopy colimit
\[
S_m=\operatorname{hocolim} B_m,
\]
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 \(2\), and more degenerate singularities inherit complexity recursively from boundary incidence [1107.4717].

This filtration produces the homology spectral sequence
\[
E^0_{p',q'}(m)=\left(F_{p'}/F_{p'-1}\right) C_{q'-p'}(S_m),
\]
and, after reindexing by
\[
p=-p',\qquad q=(3m-4)-q'+2p',
\]
a cohomological sequence \(E_r^{p,q}(m)\) converging to \(\bar H^*(K_m)\) via Alexander duality [1107.4717].

A major feature of this model is the extension of the Vassiliev derivative to all singularity types of plumbers’ curves. For a singular cell \((\sigma;C;\rho)\), the generalized derivative is defined by
\[
d_{(\ ; C;\rho)}([\alpha])=[\alpha]\bigl(\delta_C((\ ;C;\rho))\bigr),
\]
and stable cells recover the classical Birman–Lin / Bar-Natan derivative. The corresponding Alexander dual chain representative is the “Vassiliev–Taylor series”
\[
\tilde{\alpha}^\vee = \sum_{e\in C_{3m-4}(S_m)} (-1)^{o(e)}\, d_e([\alpha]).
\]
In the inverse limit, finite type invariants appear in the usual complexity line:
\[
\mathcal{FT}_n \subseteq E_\infty^{-n,n}(m)
\]
for sufficiently large \(m\) [1107.4717].

## 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 \(Konts_m(\bullet)\). 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 [2505.22958]. In the notation used for long knots in \(\mathbb R^3\), this comparison was also described as the agreement of the Sinha \(E^2\)-page with the Vassiliev \(E^1\)-page for all \(m\ge 2\) [2504.16785].

For \(K_3\), a stronger statement is now available over a field. The standard degree shift is
\[
(-p,q)\longleftrightarrow (q-3p,\,2p),
\]
and with this shift the Vassiliev spectral sequence and the Sinha spectral sequence have isomorphic pages as abstract bigraded \(k\)-vector spaces, hence also isomorphic \(E_\infty\)-pages [2509.23766].

This comparison changes the status of several earlier statements. Before the field-level comparison was proved, work in dimension \(3\) treated the equivalence with the Vassiliev spectral sequence as conjectural on the Sinha side [2504.16785]. The later comparison theorem for \(K_3\) over a field converts that conjectural relationship into a pagewise identification in the stable setting [2509.23766].

## 5. Collapse, non-collapse, and coefficient dependence

The rational behavior of the Vassiliev spectral sequence is controlled by comparison with the Sinha sequence. For \(m\ge 4\) and rational coefficients, the Sinha and Vassiliev sequences converge to the same limit because both collapse early [2505.22958]. In the long-knot case \(K_3\), the pagewise comparison over a field implies the rational degeneration statement
\[
\text{the Vassiliev spectral sequence degenerates at }E_1\text{ for }k=\mathbb Q,
\]
and this includes the non-diagonal part [2509.23766].

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 [2509.23766].

Positive-characteristic behavior is different. For the Sinha homology spectral sequence of long knots in \(\mathbb R^3\) with \(\mathbb F_2\)-coefficients, an explicit computation exhibits a nontrivial differential
\[
d^3:E^3_{6,8}\to E^3_{9,10},
\]
proving that the sequence does not collapse at page \(3\) [2504.16785]. That paper presented the implication for the Vassiliev spectral sequence as conjectural, because the \(m=3\) comparison had not yet been established there. In light of the later field-level comparison for \(K_3\), this suggests that the corresponding non-collapse phenomenon transfers to the Vassiliev side as well [2509.23766].

The coefficient dependence is thus structural rather than incidental: over \(\mathbb Q\), early collapse is enforced by comparison with formality-based results on the Sinha side, whereas over \(\mathbb F_2\) explicit higher differentials survive [2504.16785].

## 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
\[
X=\bigcup_{\beta\in P}S_\beta
\]
has
\[
E_1^{pq}
=
\bigoplus_{\substack{\beta\in P\ \sigma(\beta)=p}}
\bigoplus_{i+j=p+q-2}
H_c^j(\overline S_\beta,\widetilde H^i(0,\beta;R))
\Longrightarrow
H_c^{p+q}(S_0,R),
\]
and was explicitly described as “close in spirit” to Vassiliev’s work [1603.01137].

In the configuration-space case, stratifying \(M^n\) by diagonal coincidence patterns yields the partition lattice \(\Pi_n\), and the corresponding page becomes
\[
E_1^{pq}
=
\bigoplus_{\substack{\beta\in \Pi_n\ \rho(\beta)=p}}
\widetilde H^{p-2}(0,\beta)\otimes H_c^q(M^{n-p},\ )
\Longrightarrow
H_c^{p+q}(F(M,n),\ ),
\]
recovering the Poincaré dual of the Cohen–Taylor spectral sequence and, in a second variant, the Bendersky–Gitler spectral sequence [1603.01137]. 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 \(f:X\to Y\), one has
\[
{}^{II}E^1_{p,q}=H_q(W_{p+1}(f)) \Rightarrow H_{p+q}(Y),
\qquad
{}^{II}E^1_{p,q}=AH_q(D_{p+1}(f)) \Rightarrow H_{p+q}(Y),
\]
where \(W_k(f)\) are fibred products and \(D_k(f)\) 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 [1911.11095].

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.

Source: https://www.emergentmind.com/topics/vassiliev-spectral-sequence