Abstract:Scannell and Sinha considered a spectral sequence to calculate the rational homotopy groups of spaces of long knots in n-dimensional Euclidean space, for n greater than or equal to 4. At the end of their paper they conjecture that when n is odd, the terms on the antidiagonal on the second page precisely give the space of primitive Feynman diagrams related to the theory of Vassiliev invariants. In this paper we prove that conjecture. This has the application that the path components of the terms of the Taylor tower for the space of classical long knots are in one-to-one correspondence with quotients of the module of Feynman diagrams, even though the Taylor tower does not actually converge. This provides strong evidence that the stages of the Taylor tower give rise to universal Vassiliev knot invariants in each degree.
What problem does this paper attempt to address?
The problem that this paper attempts to solve mainly revolves around a conjecture in the spectral sequence calculation of long knot spaces proposed by Scannell and Sinha. Specifically, when the dimension \(n\) is odd, the paper proves that the terms on the diagonal of the \(E_2\) page of the spectral sequence precisely correspond to the space of irreducible Feynman diagrams in the Vassiliev invariant theory. This result provides strong evidence indicating that each stage of the Taylor tower can produce universal Vassiliev knot invariants at each degree.
### Background and Objectives of the Paper
1. **Research Object**: The paper focuses on the embedding space \(\text{Emb}(R, R^n)\), that is, long knots in \(R^n\). These knots are fixed as a straight line outside a compact set.
2. **Homotopy - theoretical Approximation**: According to the work of Goodwillie and his collaborators, a mapping from the long - knot space to the homotopy - theoretical approximation space \(AM_k\) can be defined:
\[
ev_k: \text{Emb}(R, R^n)\to AM_k
\]
When \(n\geq4\), as \(k\) increases, the degree of isomorphism induced by this mapping in homology and homotopy becomes larger and larger.
3. **Classical Case**: For the classical three - dimensional case \(n = 3\), although the Taylor tower does not converge, the path components of its various stages are in one - to - one correspondence with the quotient space of Feynman graph modules. This provides strong evidence for the universality of Vassiliev knot invariants.
### Main Contributions
1. **Proving the Conjecture**: The paper proves the conjecture of Scannell and Sinha, that is, when \(n\) is odd, the terms on the diagonal of the \(E_2\) page of the spectral sequence precisely correspond to the space \(AI_k\) of irreducible Feynman diagrams.
\[
E_2^{-n, d(k - 1)+1}\cong AI_k\otimes\mathbb{Q}
\]
2. **New Representation Method**: The paper provides a new representation method to describe the space \(AI_k\) of irreducible Feynman diagrams by connecting trivalent trees and modulo specific relations (such as STU2, IHX and AS relations).
3. **Application**: This result not only verifies the accuracy of the spectral sequence calculation but also provides a new perspective for understanding the structure of Vassiliev invariants.
### Methods and Techniques
1. **Spectral Sequence Analysis**: The paper analyzes in detail the spectral sequence calculation proposed by Scannell and Sinha, especially the diagonal terms of the \(E_2\) page.
2. **Graph Theory and Algebraic Structure**: By introducing a new graph - theoretic representation method, the paper redefines the space of irreducible Feynman diagrams and proves the equivalence between these new representations and the original ones.
3. **Homotopy Theory**: Using tools and techniques in homotopy theory, the paper proves the equivalence between the diagonal terms of the \(E_2\) page of the spectral sequence and the Feynman diagram space.
### Conclusion
The paper successfully proves the conjecture of Scannell and Sinha, providing new evidence and support for the theory of Vassiliev invariants. This result not only deepens the understanding of long - knot spaces but also provides new directions and tools for future research.