Abstract:We prove that if n\ge1, then an (n+1)-component Brunnian link L in a connected, oriented 3-manifold is C_n-equivalent to an unlink. We also prove that if n\ge2, then L can not be distinguished from an unlink by any Goussarov-Vassiliev finite type invariant of degree<2n.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly revolve around the relationships among Brunnian links, claspers (Y - graphs in the theory of embedded graph surgery), and Goussarov - Vassiliev finite - type invariants. Specifically, the author Kazu Habiro proves the following two key results in the paper:
1. **Theorem 2**: For any connected, oriented 3 - manifold \(M\), if \(n\geq1\), then every Brunnian link consisting of \(n + 1\) components is \(C_{n}\)-equivalent to an unlink in \(M\). Here, \(C_{n}\)-equivalence means that one link can be transformed into another link through a \(C_{n}\)-move (a kind of local transformation).
2. **Theorem 3**: For \(n\geq2\), any Brunnian link \(L\) consisting of \(n + 1\) components in \(M\) and the unlink \(U\) with \((n + 1)\) components satisfy \(L - U\in J_{2n}\), which means that \(L\) and \(U\) cannot be distinguished by any Goussarov - Vassiliev finite - type invariant of order less than \(2n\).
### Formula Explanation
To understand these conclusions more clearly, we define some related mathematical concepts and formulas:
- **\(C_{n}\)-equivalence**: Two links \(L\) and \(L'\) are \(C_{n}\)-equivalent if they can be transformed into each other through a series of \(C_{n}\)-moves. Formally, this is expressed as \(L - L'\in J_{n}\), where \(J_{n}\) is the subgroup generated by all \(n\)-fold alternating sums of links.
- **Goussarov - Vassiliev finite - type invariants**: This is an invariant of links, which takes the value of zero on certain "singular links". Specifically, an abelian - group - valued link invariant is called of \(n\)-th order if it takes the value of zero on \(J_{n + 1}\).
- **\(J_{n}\)**: This is a subgroup of the free abelian group \(ZL\), generated by all \(n\)-fold alternating sums of links. Formally, \(J_{n}\) is generated by the \(n\)-fold alternating sums of all "singular links" with \(n\) double points.
### Significance of Solving the Problems
The importance of these results lies in that they provide a new method to understand and classify Brunnian links, especially in the study of high - dimensional topology and quantum invariants. By introducing the concept of \(C_{n}\)-equivalence, the author is able to prove that these links are "simple" in a sense, that is, they can be simplified to an unlink through a finite number of local transformations. Moreover, Theorem 3 shows that Brunnian links have some special properties, so that they cannot be distinguished by low - order Goussarov - Vassiliev invariants, which is of great significance for studying the topological properties of links.
### Summary
The main contribution of this paper is to provide a new framework for studying Brunnian links by introducing the concepts of \(C_{n}\)-equivalence and claspers, and to prove the unique properties of these links under high - order Goussarov - Vassiliev invariants. This not only deepens the understanding of Brunnian links, but also provides new tools and perspectives for further studying the topological structure of links.