Namespaces
Variants
Actions

Cobordism of knots

From Encyclopedia of Mathematics
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.


knot cobordism (proper bordism of knots, see Bordism)

An equivalence relation on the set of knots, weaker than the isotopy type relation. Two smooth $ n $- dimensional knots $ K _ {1} = ( S ^ {n + 2 } , k _ {1} ^ {n} ) $ and $ K _ {2} = ( S ^ {n + 2 } , k _ {2} ^ {n} ) $ are said to be cobordant if there exists a smooth oriented $ ( n + 1 ) $- dimensional submanifold $ V $ of $ [ 0, 1] \times S ^ {n + 2 } $, where $ V $ is homeomorphic to $ [ 0, 1] \times S ^ {n} $ and $ \partial V = V \cap \{ 0, 1 \} \times ( S ^ {n + 2 } ) = ( 0 \times k _ {1} ) \cup ( 1 \times - k _ {2} ) $. Here the minus sign indicates the opposite orientation. Knots cobordant to the trivial knot are called cobordant to zero, or slice knots. The set of (cobordance) equivalence classes of $ n $- dimensional smooth knots is denoted by $ C _ {n} $. The operation of connected sum defines on $ C _ {n} $ an Abelian group structure. The inverse of the knot cobordism class $ ( S ^ {n + 2 } , k ^ {n} ) $ is the knot cobordism class $ (- S ^ {n + 2 } , - k ^ {n} ) $.

For every even $ n $ the group $ C _ {n} $ is zero. The knot cobordism class of an odd-dimensional knot is defined by its Seifert matrix. A square integral matrix $ A $ is called cobordant to zero if it is unimodularly congruent to a matrix of the form

$$ \left \| \begin{array}{ll} 0 &N _ {1} \\ N _ {2} &N _ {3} \\ \end{array} \right \| , $$

where $ N _ {1} , N _ {2} , N _ {3} $ are square matrices of the same dimensions and 0 is the zero matrix. Two square matrices $ A _ {1} $ and $ A _ {2} $ are called cobordant if the matrix

$$ \left \| \begin{array}{lr} A _ {1} & 0 \\ 0 &- A _ {2} \\ \end{array} \ \right \| $$

is cobordant to zero. A square integral matrix $ A $ is called an $ \epsilon $- matrix, where $ \epsilon = + 1 $ or $ - 1 $, if $ \mathop{\rm det} ( A + \epsilon A ^ \prime ) = \pm 1 $. The Seifert matrix of every $ ( 2q - 1) $- dimensional knot is a $ (- 1) ^ {q} $- matrix. For every $ \epsilon $ the cobordance relation is an equivalence relation on the set of all $ \epsilon $- matrices. The set of equivalence classes is denoted by $ G _ \epsilon $. The operation of direct sum defines on $ G _ \epsilon $ an Abelian group structure. One has the Levine homomorphism $ \phi _ {q} : C _ {2q - 1 } \rightarrow G _ {(- 1) ^ {q} } $ which associates with the cobordism class of the knot $ K $ the cobordism class of the Seifert matrix of $ K $. The Levine homomorphism is an isomorphism for all $ q \geq 3 $. The homomorphism $ \phi _ {2} : C _ {3} \rightarrow G _ {+} 1 $ is a monomorphism, its image is a subgroup of index 2 in $ G _ {+} 1 $, consisting of the class of $ (+ 1) $- matrices $ A $ for which the signature of $ A + A ^ \prime $ is divisible by 16. The homomorphism $ \phi _ {1} : C _ {+} 1 \rightarrow G _ {-} 1 $ is an epimorphism; its kernel is non-trivial.

For a study of the structure of the groups $ G _ {+} 1 $ and $ G _ {-} 1 $ and for the construction of a complete system of invariants of knot cobordism classes one makes use of the following construction. An isometric structure over a field $ F $ is a pair $ (\langle , \rangle; T) $ consisting of a non-degenerate quadratic form $ \langle , \rangle $ given on a finite-dimensional vector space $ V $ over $ F $ and an isometry $ T: V \rightarrow V $. An isometric structure $ (\langle , \rangle; T) $ is called cobordant to zero if $ V $ contains a totally-isotropic subspace of half its dimension that is invariant under $ T $. The operation of orthogonal sum of forms and direct sum of isometries defines an operation $ \perp $ on the set of isometric structures. Two isometric structures $ (\langle , \rangle; T) $ and $ (\langle , \rangle ^ \prime ; T ^ { \prime } ) $ are called cobordant if the isometric structure $ (\langle , \rangle; T) \perp (- \langle , \rangle ^ \prime ; T ^ { \prime } ) $ is cobordant to zero. Let $ G _ {F} $ be the set of cobordism classes of isometric structures $ (\langle , \rangle; T) $ satisfying the condition $ \Delta _ {T} ( 1) \times \Delta _ {T} (- 1) \neq 0 $, where $ \Delta _ {T} ( t) $ is the characteristic polynomial of the isometry $ T $. In the study of the groups $ G _ {+} 1 $ and $ G _ {-} 1 $ an important role is played by the imbeddings $ \chi _ {+} : G _ {+} 1 \rightarrow G _ {Q} $ and $ \chi _ {-} : G _ {-} 1 \rightarrow G _ {Q} $, which are constructed as follows. Every cobordism class of $ \epsilon $- matrices contains a non-degenerate matrix. If $ A $ is a non-degenerate $ \epsilon $- matrix, put $ B = - A ^ {-} 1 A ^ \prime $, $ Q = A + A ^ \prime $ and let $ (\langle , \rangle; T) $ be the isometric structure whose form $ \langle , \rangle $ has the given matrix $ Q $, while its isometry $ T $ has the matrix $ B $. This gives a well-defined homomorphism $ \chi _ \epsilon $ with $ \mathop{\rm ker} \chi _ \epsilon = 0 $.

Let $ \alpha = (\langle , \rangle; T) $ be an isometric structure on a vector space $ V $ and let $ \lambda \in F [ t] $. Denote by $ V _ \lambda $ the $ \lambda $- primary component of $ V $, i.e. $ V _ \lambda = \mathop{\rm ker} \lambda ( T) ^ {N} $ for large $ N $. A polynomial $ \lambda ( t) = t ^ {k} + a _ {1} t ^ {k - 1 } + \dots + 1 $ is called reciprocal if $ a _ {i} = a _ {k - i } $ for all $ i $. For each irreducible reciprocal polynomial $ \lambda \in \mathbf Q [ t] $ denote by $ \epsilon _ \lambda ( \alpha ) $ the exponent, reduced modulo 2, with which $ \lambda $ divides the characteristic polynomial $ \Delta _ {T} $ of the isometry $ T $. For every reciprocal polynomial $ \lambda \in \mathbf R [ t] $ irreducible over $ \mathbf R [ t] $, denote by $ \sigma _ \lambda ( \alpha ) $ the signature of the restriction of $ \langle , \rangle $ to $ ( V \otimes \mathbf R ) _ \lambda $. For each prime number $ p $ and each reciprocal polynomial $ \lambda \in \mathbf Q _ {p} [ t] $ irreducible over $ \mathbf Q _ {p} [ t] $, denote by $ \langle , \rangle _ \lambda ^ {p} $ the restriction of $ \langle , \rangle $ to $ ( V \otimes \mathbf Q _ {p} ) _ \lambda $, where $ \mathbf Q _ {p} $ is the field of $ p $- adic numbers. Put

$$ \mu _ \lambda ^ {p} ( \alpha ) = \ (- 1, 1) ^ {r ( r + 3) / 2 } ( \mathop{\rm det} \langle , \rangle _ \lambda ^ {p} , - 1 ) ^ {r} S (\langle , \rangle _ \lambda ^ {p} ), $$

where $ ( , ) $ is the Hilbert symbol in $ \mathbf Q _ {p} $, $ S $ is the Hasse symbol and $ 2r $ is the rank of $ \langle , \rangle _ \lambda ^ {p} $. Two isometric structures $ \alpha $ and $ \beta $ are cobordant if and only if $ \epsilon _ \lambda ( \alpha ) = \epsilon _ \lambda ( \beta ) $, $ \sigma _ \lambda ( \alpha ) = \sigma _ \lambda ( \beta ) $ and $ \mu _ \lambda ^ {p} ( \alpha ) = \mu _ \lambda ^ {p} ( \beta ) $ for all $ \lambda $ and $ p $ for which these invariants are defined (cf. [3], [4]).

The compositions of the Levine homomorphism, the homomorphism $ \chi $ and the functions $ \epsilon _ \lambda , \sigma _ \lambda , \mu _ \lambda ^ {p} $ associate with every odd-dimensional knot $ K $ the numbers $ \epsilon _ \lambda ( K) \in \{ 0, 1 \} $, $ \sigma _ \lambda ( K) \in \mathbf Z $, $ \mu _ \lambda ^ {p} ( K) \in \{ - 1, 1 \} $. Two $ ( 2q - 1) $- dimensional knots $ K _ {1} $ and $ K _ {2} $, where $ q > 1 $, are cobordant if and only if

$$ \epsilon _ \lambda ( K _ {1} ) = \ \epsilon ( K _ {2} ),\ \ \sigma _ \lambda ( K _ {1} ) = \ \sigma _ \lambda ( K _ {2} ),\ \ \mu _ \lambda ^ {p} ( K _ {1} ) = \ \mu _ \lambda ^ {p} ( K _ {2} ) $$

for all $ \lambda $ and $ p $ for which these invariants are defined. $ \sum \sigma _ \lambda ( K) $ is equal to the signature of the knot $ K $( cf. Knots and links, quadratic forms of), where the sum is extended over all $ \lambda ( t) $ of the form $ t ^ {2} - 2t \cos \theta + 1 $, where $ 0 < \theta < \pi $, and in the sum only a finite number of terms are distinct from zero.

Similarly one defines the group of locally flat or piecewise-linear knot cobordisms, denoted by $ C _ {n} ^ { \mathop{\rm TOP} } $ and $ C _ {n} ^ { \mathop{\rm PL} } $, respectively. For all $ n $ one has an isomorphism $ C _ {n} ^ { \mathop{\rm PL} } \approx C _ {n} $. The natural mapping $ C _ {n} \rightarrow C _ {n} ^ { \mathop{\rm TOP} } $ is an isomorphism for $ n > 3 $, while for $ n = 3 $ it is a monomorphism with an image of index 2. This means, in particular, that there exists a non-smooth locally flat topologically three-dimensional knot in $ S ^ {5} $( cf. [5]).

The theory of cobordism of knots is connected with the study of singularities of not locally flat or piecewise-linear imbeddings of codimension 2. If $ P $ is an $ ( n + 2 ) $- dimensional oriented manifold, imbedded as a subcomplex in an $ ( n + 3 ) $- dimensional manifold $ M $, $ x \in P $, and $ N $ is a small star-shaped neighbourhood of $ x $ in $ M $, then the singularity of the imbedding of $ P $ in $ M $ at $ x $ may be measured as follows. The boundary $ \partial N $ is an $ ( n + 2 ) $- dimensional sphere, the orientation of which is defined by that of $ M $; $ P \cap \partial N $ is an $ n $- dimensional sphere the orientation of which is defined by that of $ P $. This defines an $ n $- dimensional knot $ ( \partial N, \partial N \cap P) $, called the singularity of the imbedding $ P \subset M $ at the point $ x $.

References

[1] R.H. Fox, J.W. Milnor, "Singularities of 2-spheres in 4-space and cobordism of knots" Osaka Math. J. , 3 (1966) pp. 257–267 MR0211392 Zbl 0146.45501
[2] M.A. Kervaire, "Les noeuds de dimensions supérieures" Bull. Soc. Math. France , 93 (1965) pp. 225–271 MR0189052 Zbl 0141.21201
[3] J. Levine, "Knot cobordism groups in codimension 2" Comment. Math. Helv. , 44 (1969) pp. 229–244
[4] J. Levine, "Invariants of knot cobordism" Invent. Math. , 8 (1969) pp. 98–110 MR0253348 Zbl 0179.52401
[5] S.E. Capell, J.L. Shaneson, "Topological knots and knot cobordism" Topology , 12 (1973) pp. 33–40 MR321099
[6] N.W. Stoltzfus, "Unraveling the integral knot concordance group" Mem. Amer. Math. Soc. , 12 (1977) pp. 192 MR0467764 Zbl 0366.57005

Comments

Another term for cobordance of knots is concordance of knots, and correspondingly one has the knot concordance group.

References

[a1] L.H. Kaufmann, "On knots" , Princeton Univ. Press (1987)
How to Cite This Entry:
Cobordism of knots. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Cobordism_of_knots&oldid=46375
This article was adapted from an original article by M.Sh. Farber (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article